改ざんシナリオ

STARK Ballot Simulator は、E2E 検証可能投票の教育的デモとして、正常系 S0 と改ざんシナリオ S1〜S5 を提供します。S1〜S5 は投票システムに対する特定の攻撃を模擬し、検証パイプラインがどのチェックで異常を検出するかを実演します。

この部に含まれる章

• シナリオ一覧 — S0〜S5 の定義、データフロー、実装上の扱い
• 検出メカニズム — シナリオ別に失敗するチェックと最終判定

想定読者と前提

• 想定読者: 検証パイプラインの教育的デモを試したい技術者
• 前提: 検証パイプライン の 4 段階モデルを把握していること

本章で扱わないもの

• 実世界の投票システムに対する攻撃手法の一般論
• 本番投票システム向けの脅威モデリングや対策ガイド
• S2/S4 を proof-tampering に変更するなど PoC スコープを超える攻撃シナリオ

関連する章

• 検証パイプライン — 各シナリオに対応するチェックの一覧
• 第三者検証ガイド — シナリオごとに生成された bundle.zip を監査する手順
• 用語集 — シナリオ・改ざんに関する用語定義