Reserve Depletion and Security Runway in Proof-of-Stake Systems

技術要約：プルーフ・オブ・ステーク（PoS）システムにおけるリザーブの枯渇とセキュリティ・ランウェイ

問題提起
プルーフ・オブ・ステーク（PoS）ブロックチェーンは、バリデーター報酬のために、トランザクション手数料と有限のリザーブ（準備金）という二重の資金調達メカニズムに依存することが多い。この設計は、「ダイナミック・ハンドオフ（動的な受け渡し）」の問題を生じさせる。プロトコルの初期段階では、通常、トランザクション手数料は目標とするセキュリティレベル（アクティブ・ステーク）を維持するには不十分であり、リザーブからの補助が必要となる。利用が進むにつれ、手数料がセキュリティを自律的に維持するのに十分なものになることが期待される。

中心となる課題は、この移行期間を通じてセキュリティを維持するために、リザーブが十分な「ランウェイ（滑走路）」を提供できるかどうかを判断することである。本論文では、二つの脆弱性の源泉を特定している。

1. 需要の不確実性： トランザクション手数料による収入は、ブロックスペースに対するユーザー需要に依存するため、確率的である。
2. 価格リスク： リザーブはネイティブトークンで保持されるが、バリデーターのコストは外部の基準通貨（numeraire）で発生する。トークン単位では十分に見えるリザーブであっても、トークン価格の下落後には不十分になる可能性がある。

ガバナンスは、名目上のリザーブ残高や定常状態の報酬比率のみに依存することはできない。名目上のリザーブが大きいプロトコルであっても、価格や需要のショックが発生すれば、差し迫ったセキュリティ崩壊に直面する可能性がある。一方で、減少中のリザーブを持つプロトコルであっても、手数料がすでに自立のための閾値を越えていれば、安全である可能性がある。本論文は、この移行期においてプロトコルが安全な運用を保証できる条件を定式化し、いつ移行が失敗するかを定義することを目的としている。

手法
著者らは、$N$ 個の戦略的バリデーターを含む離散時間確率モデルを構築している。

• 状態変数： システムの状態 $X_t = (R_t, \text{Price}_t, \text{FeeMax}_t)$ は、リザーブ残高 ($R_t$)、外部基準通貨におけるトークン価格 ($\text{Price}_t$)、および需要のシフターであるユーザーが支払ってもよいと考える最大手数料 ($\text{FeeMax}_t$) で構成される。
• バリデーターの行動： バリデーターは、報酬（手数料 + リザーブからの支払い）と二次的な運用コストのバランスを取りながら、効用を最大化するように参加レベル（アクティブ・ステーク）を選択する。
• 均衡概念： 分析は、対称的なナッシュ均衡を導出するための静的なステージゲームから始まり、それを動的な設定へと拡張する。動的な設定では、手数料収入と支払いに基づいてリザーブが進化する。
• 前方参照型への拡張： モデルは、現在の参加が将来のリザーブ残高や継続価値にどのように影響するかを考慮する、有限ホライゾンのマルコフ・ゲームへと拡張される。
• 確率的ダイナミクス： 定量的分析のため、モデルはトークン価格については幾何ブラウン運動、需要については離散時間対数正規分布へと特化される。

主な貢献と結果

1. 閉形式の静的均衡：
   本論文は、バリデーターの参加ゲームを閉形式で解き（定理3）、対称的なナッシュ均衡の存在と一意性を証明している。均衡における総体的なセキュリティレベル $s^*$ は、トークン価格とリザーブ残高の積 ($\text{Price} \cdot R$) に依存することが示されており、固定されたリザーブ量のセキュリティ価値が状態依存的であることを強調している。

2. 状態依存的なリザーブ閾値：
   主要な理論的貢献は、正確で状態依存的なリザーブ閾値 $\text{SecureR}(\text{Price}, \text{FeeMax}; s)$ の導出である（定理10）。任意の目標セキュリティレベル $s$ に対して、この閾値は、現在の価格と需要の下でそのセキュリティレベルを維持するために必要な最小限のリザーブ残高を表す。

   • 三つの領域： この閾値は状態空間を以下の三つに分割する。
     1. 実行不可能（Infeasibility）： 需要が低すぎるため、無限のリザーブがあっても目標とするセキュリティレベルを維持できない。
     2. リザーブ依存型セキュリティ（Reserve-Dependent Security）： リザーブが閾値を超えている場合にのみ、目標が達成可能となる。
     3. 手数料のみによるセキュリティ（Fee-Only Security）： 需要が十分に高いため、閾値がゼロとなり、リザーブはセキュリティにとって冗長となる。

3. ヒット・タイム問題としてのダイナミック・ハンドオフ：
   リザーブによる資金調達から手数料によるセキュリティへの移行は、ヒット・タイム（到達時間）問題として定式化されている（命題13）。

   • 失敗時刻 ($\tau_{\text{fail}}$)： リザーブが状態依存的な閾値を下回る最初の時刻。
   • ハンドオフ時刻 ($\tau_{\text{hand}}$)： システムが「手数料のみ」の領域に入る最初の時刻（閾値がゼロになる）。
   • 成功条件： ハンドオフが成功するのは、$\tau_{\text{hand}} < \tau_{\text{fail}}$ が成立する場合に限られる。

4. ストレス・テストによる保証：
   著者らは、保守的な有限ホライゾンのストレス・テスト保証を導出している（定理15）。価格と需要の信頼区間の下限を使用することで、将来のキャッシュフロー（手数料収入）を無視して保守的に計算し、指定された確率でセキュリティを確保する決定論的なリザーブ要件を算出できる。対数正規分布のダイナミクスの下では、失敗確率と期待ハンドオフ時間に関する明示的な境界が提供される（定理30、命題31）。

5. 前方参照型バリデーター：
   マルコフ拡張において、本論文はマルコフ完全均衡の存在を証明し（定理22）、動的な一次条件を導出している（命題25）。この条件は、現在の参加が将来のリザーブ蓄積にどのように影響するかを捉えている。結果として、前方参照型のインセンティブは均衡セキュリティレベルを修正するものの、根本的な「ランウェイ」の論理（セキュリティはリザーブが状態依存のカットオフ値を超えているかどうかに依存する）は維持されることが示されている（命題27）。

意義と主張
本論文は、PoSシステムにおける「リザーブ・ハンドオフ」問題を特異的に分離した、最初の扱いやすい均衡フレームワークを提供すると主張している。その主要な意義は、リザーブの妥当性の評価を、静的な指標（例：現在のバーンレートに基づく「数年分のランウェイ」）から、状態依存的なランウェイ分析へと転換させている点にある。

著者らは次のように主張している：

• リザーブは中立ではない： そのセキュリティ価値は、トークン価格や需要によって変動する。大きな名目上のリザーブは、逆ショックに対するセキュリティを保証するものではない。
• 閾値が重要である： ガバナンスは、単なるリザーブ残高ではなく、状態依存的な閾値を監視すべきである。需要が「手数料のみ」の閾値を越えたとき、リザーブはセキュリティ上の目的において冗長となる。
• 政策的含意： リザーブ政策は、名目的な枯渇日のみによって評価されるべきではない。このフレームワークを用いることで、状態ごとの遷移経路を「ストレス・テスト」することが可能となり、リザーブの妥当性を確率的なヒット・タイム問題へと変換できる。

最後に、現在のモデルは固定された政策パラメータ（$\theta$ および $\rho$）を想定しているが、将来的には、ランウェイを延長したり失敗リスクを軽減したりするために、これらのパラメータが状態変数に応じて動的に反応する適応型リザーブ政策を探索できる可能性があると述べている。