はじめに

このドキュメントは、STARK Ballot Simulator の公開向けガイドです。

目的

• システムの全体像を短時間で把握できるようにする
• 暗号プロトコルと検証パイプラインの設計根拠を説明する
• 検証手順を再現できる情報を提供する

想定読者

• 暗号検証・監査に関心のある技術者
• 本アプリケーションに興味のある技術者

本書の読み方

1. まず 全体像 でシステムの概要を掴む
2. 暗号プロトコル でコミットメント・Merkle ツリー等の基盤を理解する
3. zkVM 設計 でゲストプログラムと証明生成の仕組みを学ぶ
4. 検証パイプライン で 4 段階検証モデルの全体を把握する
5. 改ざんシナリオ で教育的シミュレーションの動作を確認する
6. AWS アーキテクチャ で非同期証明インフラを理解する
7. API リファレンス でエンドポイント仕様を参照する
8. 実際に検証する場合は 第三者検証ガイド で bundle.zip を使ったローカル検証手順を実行する
9. 設計上の判断については 設計判断 を参照する
10. 設計根拠の一次資料は 参考文献 を参照する