通常、モデルが「これが結果です」と言ったら、正しく実行されたと信じる必要があります。 推論の証明により、システムは計算が実際に行われたことを示す暗号学的証拠を生成します。

2/ 「信じてくれ」じゃない。 「これがログです」という意味ではありません。 このモデルはこの入力で実行され、これが証明です。