1/ 通常，当一个模型说“这是结果”时，你必须相信它运行正确。 通过推理证明，系统生成加密证明，证明计算确实发生了。

2/ 不是“相信我，兄弟”。 不是“这里是日志”。 只是：这个模型在这个输入上运行，这里是证明。