プログラムの開発(ゲストコード) RISC Zero zkVM 用にコンパイルし、そのイメージ ID を取得します zkVM 内でプログラムを実行します -- プロデュース:公開出力のジャーナル、暗号化証明であるシール これらを領収書にまとめます(ジャーナルとシール) 必要な場所で領収書を共有 予期される画像 ID を使用して verify() を呼び出して検証します。 結果。 領収書を持っている人は誰でも、計算全体を自分で再実行しなくても、既知の画像 ID に一致するコードの変更されていない実行から出力 (ジャーナル) が取得されたことを確認できます