zkVM 設計

RISC Zero zkVM を用いた集計証明パイプラインの全体設計を解説します。

この部に含まれる章

• zkVM の基礎 — zkVM の概念、RISC Zero の選択理由、データフロー、保証境界
• ゲストプログラム — zkVM 内で実行される検証・集計ロジック
• ホストと証明生成 — ホストプログラムと同期/非同期の証明パス
• 検証サービス — Rust ベースのレシート検証
• Image ID — ゲストバイナリの暗号的識別子と管理