テクニカルサマリー：ブロックチェーンにおける弾力性のあるアラートプロトコル

1. 問題提起

スマートコントラクトは1,700億ドルを超える価値をブロックチェーン上で保護しており、外部イベント（例：資産価格の変化、オフチェーン計算の結果）に関するタイムリーなアラートにますます依存するようになっています。既存のアラートメカニズムは、**贈収賄による抑制攻撃（bribery-based suppression attacks）**に対して脆弱です。これは、敵対者が参加者に支払いをすることで沈黙を守らせる攻撃です。先行研究ではアラートを発生させるためのインセンティブについては分析されていますが、それを抑制するための経済学的なモデル化は行われていませんでした。

核心となる課題は、**アラート問題（Alerting Problem）**です。すなわち、$n$ 個の合理的なノードに対し、敵対者が賄賂を提示して逸脱を図ったとしても、タイムリーにアラートを発生させるようインセンティブを与えるプロトコルを設計することです。目標は、贈収賄耐性（bribery resistance）、つまり、オンチェーンにアラートが公開されるのを阻止するために敵対者が支払わなければならない総額を最大化することです。

2. 手法とモデル

著者らは、以下の要素を含むクリプトエコノミック・ゲームとしてこの問題を定式化しています。

• 参加者: $n$ 個の合理的なノードの集合、プロトコルオペレーター、および合理的な敵対者。
• メカニズム: ノードは担保としてトークンをステークします。スマートコントラクト（$AlertingContract$）は、条件を満たしているにもかかわらずアラートを出さなかったノードに対してペナルティ$\lambda$を課します。オペレーターは一定の予算$c$ でコントラクトに資金を提供します。
• 敵対者: ノードに対して、アラートを出さないよう個人的な賄賂 $\beta_i$ を提示できます。敵対者は、アラートが公開されなかった場合に利益 $G$ を得ます。
• 仮定: 本研究は、ステーク/ペナルティが各ノードに対して一定（$n$ に依存しない）であり、オペレーターの予算が一定であるプロトコルを検討しています。

本論文では、3つの異なるプロトコル設計を分析し、その均衡結果と贈収賄耐性を決定しています。

1. バーン型ペナルティ・プロトコル（Burned-Penalty Protocol）: 非アラート者がスラッシュ（資産没収）され、ペナルティが（再分配されず）バーンされるベースライン。
2. 同時アラート・ゲーム（Simultaneous Alerting Game）: 全てのノードが他者の行動を観察することなく、同時に行動する理論的なゲーム。
3. 逐次アラート・プロトコル（Sequential Alerting Protocol）: ノードが特定の順序に従って行動し、以前のアクションを観察するメカニズム。

3. 主な貢献と結果

A. 贈収賄耐性の理論的上界

本論文は、あらゆる $(c, \lambda)$-アラートプロトコルにおける贈収賄耐性の根本的な限界を確立しています。

• 結果: 最大の贈収賄耐性は $\Theta(n^2)$ です。
• 理由: 一定のペナルティを持つ任意のプロトコルにおいて、アラートを出すノードが得られる最大報酬は、他の全 $n-1$ 個のノードからのペナルティの合計とオペレーターの予算の和（$\lambda(n-1) + c$）によって制限されます。$n$ 個のノードすべてに沈黙を守らせるために、敵対者は各ノードに対してこの最大潜在報酬をわずかに上回る額を提示しなければなりません。したがって、総コストはおよそ $n \times \lambda n = \Theta(n^2)$ となります。
• ベースラインの失敗: 単純なプロトコル（例：固定報酬 $c$ をアラート作成者に分割する形式）は、$\Theta(n)$ の耐性しか達成できず、大規模なスケールでのアラート抑制を敵対者が実行することを経済的に容易にしてしまいます。

B. 同時アラート・ゲーム

著者らは、ノードが賄賂の提示を観察した後に同時にアクションを選択するゲームを設計しています。

• 均衡分析:
  • もし賄賂 $\beta_i \ge \lambda(n-1)$ であれば、「NoAlert（アラートなし）」が支配戦略となります。
  • もし賄賂 $\beta_i \le \lambda$ であれば、「Alert（アラートあり）」が支配戦略となります。
  • 中間領域（$\lambda < \beta_i < \lambda(n-1)$）では、対称的な純粋戦略ナッシュ均衡は存在しません。
• 混合戦略の結果: この範囲内におけるいかなる混合戦略均衡においても、敵対者の期待効用は、彼らの利得 $G < \lambda n(n-1)$ である場合、非正（non-positive）となります。
• 結論: 同時ゲームは $\Theta(n^2)$ の贈収賄耐性を達成し、理論的な上界に漸近的に一致します。

C. プロトコルの実装

本論文では、異なるトレードオフを持つ3つのプロトコル実装を提示しています。

1. ロックステップ・アラート・プロトコル（Lockstep Alerting Protocol）

• 仮定: 厳格なネットワーク同期（トランザクションが送信から正確に $\Delta_{write}$ ステップ後に付加される）。
• メカニズム: ノードは単一のタイムステップでアラートを送信します。コントラクトは特定のブロックへの包含を検証します。
• パフォーマンス: 定数時間のファイナリティ。
• オーバーヘッド: アラートが必要な場合は最大 $n$ 個のトランザクション（線形ストレージ）を必要とし、不要な場合は 0 です。
• 耐性: $\Theta(n^2)$ を達成します。

2. TEEベース・アラート・プロトコル（TEE-Based Alerting Protocol）

• 仮定: 標準的な有界遅延同期 ＋ 信頼実行環境（TEE）。
• メカニズム: **コミット・リビール（Commit-Reveal）**スキームを使用します。ノードは、**出版証明（Proof of Publication: PoP）**プリミティブを強制するTEEを使用してアクションをコミットします。これにより、決定フェーズ中に情報漏洩を防ぐため、ノードが（特定のブロック数経過するまで）アクションを明示したり、早期に結託して明示したりすることを防ぎます。
• パフォーマンス: 定数時間のファイナリティ。
• オーバーヘッド: $2n$ 個のトランザクション（線形ストレージ）を必要とします。
• 耐性: $\Theta(n^2)$ を達成します。

3. 逐次アラート・プロトコル（Sequential Alerting Protocol）

• 仮定: 厳格な同期やTEEを必要としません。
• メカニズム: ノードには個別のタイムスロットが割り当てられます。ノードは、前のノードの行動を観察した後、自身のスロットでのみアラートを出すことができます。ノードがアラートを出した場合、プロトコルは終了します。
• 報酬構造: 最初にアラートを出したノードは、それより前のスロットでアラートを出さなかった全ノードの累積ペナルティを受け取ります。
• パフォーマンス: 最悪実行時間は $O(n)$（線タイム）です。
• オーバーヘッド: 定数ストレージ（$O(1)$）。アラートが発生しない場合は 0 トランザクション、発生する場合は 1 トランザクションを必要とします。
• 耐性: $\Theta(n^2)$（具体的には $\lambda n(n-1)/2$）を達成しますが、これは同時ゲームの上界の半分ですが、依然として漸近的に最適です。

4. 重要性と主張

本論文は、以下の点で最初であると主張しています。

1. アラート問題を、賄賂を支払う敵対者を伴うクリプトエコノミック・ゲームとして定式化したこと。
2. このようなプロトコルの最大達成可能な贈収賄耐性が二次的（$\Theta(n^2)$）であることを証明したこと。
3. この上界に漸近的に一致する同時ゲームを設計したこと。
4. レイテンシ、オンチェーンストレージ、および信頼の仮定に対して異なるトレードオフを提供しながら、漸近的に最適な贈収賄耐性を維持する3つの実用的なインスタンス（Lockstep, TEE-based, および Sequential）を指定したこと。

著者らは、既存のシステム（例：楽観的ロールアップ、オラクルネットワーク）が、大規模な贈収賄の試みに耐えうる経済的に安全なアラートシステムを構築するための、線形コストのメカニズムに依存していることが多いと強調しています。彼らの研究は、これらに対して高い耐性を持つ、高度に安全なアラートシステムを構築するための豊かな設計空間を提供します。

5. 限界と範囲

• 分析は、合理的なアクターおよび特定のゲーム理論的仮定（例：PPTアドバーサリ、標準的な暗号学的仮定）に基づいています。
• TEEベースのプロトコルは、信頼されたハードウェアのセキュリティ、およびチェックポイント後に単一のノードや敵対者によってブロックチェーンがフォークできないという仮定に依存しています。
• 本論文は抽象的なモデルに焦点を当てており、特定の展開されたプロトコルの評価や、即時導入のためのシステム固有のパラメータの提供は行っていません。
• 逐次プロトコルは、ストレージ効率のために時間計算量（$O(n)$）を犠牲にしており、これはレイテンシに敏感なアプリケーションにおいて制約となる可能性があります。