1/ 通常，當一個模型說「這是結果」時，你必須相信它運行正確。 透過推理證明，系統產生加密證明，證明計算確實發生了。

2/ 不是「相信我，兄弟」。 不是「這裡是日誌」。 只是：這個模型運行了，基於這個輸入，這裡是證據。