技術的概要：有用な証明（PoUA）

1. 問題定義

本論文は、「証明ネイティブチェーン」（コンテンツの真正性、AI 出力の帰属、サプライチェーンの追跡可能性など、暗号学的証明の生成と検証が主要な経済活動であるブロックチェーン）のコンセンサスメカニズムにおいて、根本的なミスマッチが存在することを特定している。

現在のプルーフ・オブ・ステーク（PoS）システムは、汎用的な状態遷移向けに設計されている。これらのシステムでは、バリデーターが特定のアプリケーションワークロードを正しく処理するか、それを選択的に検閲するかに関わらず、手数料を獲得する。その結果、十分な資本を持つ敵対者は、ステークを取得し、特定の証明スキーマを検閲するか、証明の再順序付けから MEV を抽出しても、標準的なスラッシング条件をトリガーすることなく行動できる。チェーンの経済的セキュリティは、その支配的なワークロードの正しさと無関係なままとなる。

論文は、汎用的な L1 上で証明コントラクトをホストするチェーンは、コンセンサスインセンティブが証明作業自体から切り離されているため、そのワークロードを効果的に防御できないと主張している。

2. 手法：有用な証明（PoUA）

PoUA は、バリデーターの影響力を、有効な証明作業の処理履歴に直接結びつけるように設計されたコンセンサス重み付けプリミティブである。これは、基盤となる BFT プリミティブ（例：Tendermint 型の楽観的最終性）の代替ものではなく、バリデーターの重みの計算方法を修正するレイヤーである。

コアメカニズム

バリデーターの重み（$w_v$）は、束縛されたステーク（$s_v$）と非転送性のレピュテーションスコア（$r_v$）の積として計算される：
$$w_v(t) = s_v(t) \cdot r_v(t)$$

• レピュテーションの蓄積: レピュテーションは、バリデーターの有効な証明処理への貢献に基づいて増加する。更新関数は加法的かつ有界である：
  $$r_v(t+E) = \text{clip}_{[r_{min}, r_{max}]}(r_v(t) + \eta \cdot g_v(t) - \lambda \cdot b_v(t))$$
  ここで、$g_v$ は提案者および投票者役割に分割された、有効な証明処理の手数料加重指標であり、$b_v$ は不良行動スコアである。
• 非転送性: レピュテーションはチェーン上のバリデーターのアイデンティティに内在するものであり、転送または分離することはできない。
• 有界区間: $r_{min} > 0$ は新規バリデーターにゼロでない重みを保証し（コールドスタートのロックアウトを防止）、$r_{max} < \infty$ は権力の runaway な集中を防止する。

複合敵対者への防御

論文は、「複合敵対者」（資本を持ち、証明者セットと提出者アドレスを制御してレピュテーションを農耕できる攻撃者）に対処する。PoUA は 6 層の防御を採用する：

1. レイヤー 1（形式的）: 提出者アドレスが提案者アドレスと一致する証明を除外する。
2. レイヤー 2（形式的）: 提出者アドレスが提案者からトランザクショングラフ距離 $d$ 以内にある証明を除外する（単純な資金ルーティングを防止）。
3. レイヤー 3（経済的）: 各証明手数料の割合 $\tau_{burn}$ を回収不能な宛先（例：バーンアドレス）へ送信する。これにより、レピュテーションを研磨するコストに形式的な下限が生まれる。
4. レイヤー 4（ヒューリスティック）: 研磨パターンの統計的検出（スキーマの集中、グラフ密度）。
5. レイヤー 5（ガバナンス）: 誤検出に対する上诉プロセス。
6. レイヤー 6（将来）: ステークグラフの独立性に関するゼロ知識証明。

3. 主要な貢献

形式的セキュリティと攻撃コスト・プレミアム

論文は、資本敵対者に対する形式的な攻撃コスト・プレミアム（$\kappa$）を導出する。安定した健全なチェーンにおいて、コンセンサス重みの割合 $\rho$ を獲得するコストは、平均的な誠実なレピュテーションと最小レピュテーションの比率によって乗算される：
$$\kappa = \frac{\bar{r}_H}{r_{min}}$$
推奨パラメータ（$r_{max}/r_{min} \in [4, 10]$）を用いると、PoUA は同等の純粋ステーク PoS チェーンと比較して、攻撃コストに対して4 倍から 10 倍の乗法的プレミアムを提供する。この「堀」は第 5.3 節で形式化されている。

研磨コストの上限（補題 1）

中心的な貢献として、複合敵対者がレピュテーションを研磨するために支払わなければならない回収不能な手数料の形式的な下限を確立する補題 1 が挙げられる。攻撃者がレイヤー 1 と 2 を回避した場合でも、レイヤー 3 のバーンにより以下が保証される：
$$F_{net, \text{per member}} \geq \frac{\tau_{burn} \cdot \Delta r}{\eta \cdot \alpha_{eff}(m, k)}$$
これにより、レピュテーション農耕に対する防御は、単なるヒューリスティックな議論から経済的なものへと転換される。

インセンティブの整合性

論文は、バリデーターを利益最大化者としてモデル化する。レピュテーションは非転送性であり、将来の収益（ブロック報酬および手数料を通じて）を表すため、バリデーターをスラッシュすることは、現在のボンドだけでなく将来の収益フローも破壊すると論じる。この「時間ロック」されたインセンティブ整合性は、純粋ステーク PoS には存在しない。

実装と統合

論文は、Sovereign SDKロールアップフレームワークへの具体的な統合仕様を提供し、以下の点を詳述している：

• バリデーター選択および投票重み付けの修正。
• レピュテーション状態の格納（バリデーターあたり 32 バイト）。
• ガバナンス介入なしで手数料市場のドリフトに対応するための、$\tau_{burn}$、$\eta$、および$\lambda$の適応的パラメータ再基準化メカニズム。

4. 結果と検証

論文は、参照シミュレーター（prototypes/poua-sim/）から導出された結果を提示する：

• 攻撃コスト: モンテカルロシミュレーションは解析的な$\kappa$曲線を確認し、異なるバリデーターセットサイズ（50 から 1000 バリデーター）全体で 4 倍から 10 倍のプレミアムが維持されることを示している。
• 層状防御: 戦略探索ヒートマップは、個々の防御レイヤー（例：レイヤー 1 のみ）は回避可能であるが、すべてのレイヤーの組み合わせは、研磨戦略の報酬を基準値（$r_{min}$）まで崩壊させることを示している。
• 遷移状態: 論文は、プレミアムが定常状態の天井よりも低い「ウォームアップ」および「回復」期間を定量化し、チェーンの立ち上げおよびスラッシュ後の回復に関する運用ガイダンスを提供している。

5. 意義と主張

本論文は、PoUA を新しい暗号学的プリミティブではなく、証明ネイティブチェーンに特化して調整された既存の概念（レピュテーション加重コンセンサス、有用な作業証明、レストーキング）の合成として位置づけている。

• 控えめな主張: 著者は明示的に、PoUA がすべての合理的逸脱に対する完全な暗号学的セキュリティ証明を提供するものではないと述べている。複合敵対者に対する防御は、ヒューリスティック検出（レイヤー 4）およびガバナンス（レイヤー 5）によって支えられた形式的な経済的床（補題 1）に依存している。
• 範囲: このメカニズムは、ワークロードが証明生産であるチェーン向けに設計されている。論文は汎用的なスマートコントラクトを明示的に除外しており、それらを追加することは PoUA が提供する特定のセキュリティ・モアを希薄化すると論じている。
• 差別化: 主要チェーンからのステークを再利用するレストーキング（EigenLayer）とは異なり、PoUA はセキュリティ予算が証明ワークロードにサイズ設定され、整合されているネイティブなコンセンサスメカニズムを構築する。有用な作業証明（Filecoin/Helium）とは異なり、外部ハードウェア証明を必要としない。「有用な作業」は、署名検証を通じてプロトコルレベルで検証可能である。

論文は、PoUA が、メカニズムが devnet 較正および外部レビューを通じてストレステストされる限り、汎用的な L1 がコンセンサスレイヤーを再構築することなく複製できない、証明ネイティブチェーンに対する防御可能なセキュリティプロファイルを提供すると結論づけている。