検証パイプライン

投票の完全性を 4 段階に分けて検証するパイプラインを扱う部です。

この部に含まれる章

• 設計と実行フロー — 設計原則、パイプライン構造、実行フロー
• 4 段階検証モデル — 検証の全体設計と各段階の保証
• チェック一覧 — 全検証チェック ID とその判定ロジック
• バンドル構造 — 証明バンドルの公開可能・非公開アーティファクト
• ゲーティングロジック — 「Verified」表示の条件と不変条件

想定読者と前提

• 想定読者: /verify 画面の最終判定ロジックを把握したい監査者・実装者
• 前提: 暗号プロトコル と zkVM 設計 の概要を読み終えていること

本章で扱わないもの

• bundle.zip のローカル監査手順（第三者検証ガイド を参照）
• 改ざんシナリオごとの検出表（改ざんシナリオ を参照）
• UI コンポーネントや Storybook 配置の詳細

関連する章

• 暗号プロトコル — チェック対象となるプリミティブ
• zkVM 設計 — ジャーナルとレシートの構造
• 改ざんシナリオ — どのチェックがどの改ざんを検出するか
• 第三者検証ガイド — bundle.zip を使ったローカル監査
• 用語集 — チェック種別・ゲーティング用語の定義