Moving from trust to verification