AWS アーキテクチャ

この部は、STARK Ballot Simulator を AWS 上で動かす場合の runtime 境界とサービス責務を説明します。まず AWS runtime 境界を読み、公開仕様として扱う範囲を確認してください。

AWS runtime は、Terraform 管理の静的フロントエンド、Hono/API ランタイム、DynamoDB ストア、非同期プローバー、検証 worker、private proof artifact storage で構成されます。この部はそれぞれの責務分担を説明します。

ここでいう public は「秘密を含まず第三者検証に使える」という機密性の分類です（無認証公開ではありません。定義は公開境界）。 bundle / report の通常取得経路は capability 保護 API です（公開境界 > bundle と report の取得経路）。

この部の章

AWS runtime 境界：公開仕様として扱う runtime 境界、artifact 境界、扱わない情報
現行構成とサービス一覧：runtime 管理境界、環境分離、主要サービスの責務
トポロジー：レイヤ別のサービス構成と通信フロー
非同期プローバー：SQS → Step Functions → ECS による証明パイプライン
可観測性設計：verdict authority と分離した構造化ログ、検出、相関、通知境界
イメージ署名：AWS Signer managed signing と deployment preflight / ECS 実行前の暗号学的検証
Terraform：IaC による root ownership、recovery selection、deployment / release authority、runtime wiring

想定読者: 公開仕様として AWS runtime の責務分担を把握したい読者
前提: AWS の基本サービス（S3 / SQS / Step Functions / ECS）、CloudFront / KMS / CodePipeline などの配信・デプロイ系サービス、Terraform の概念を把握していること