検証パイプライン

投票の完全性を 4 段階で検証するパイプラインの設計と実装を解説します。

この部に含まれる章

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