[論文レビュー] Optimizing Exit Queues for Proof-Of-Stake Blockchains: A Mechanism Design Approach

Mike Neuder, Mallesh M. Pai+1 more|arXiv (Cornell University)|Jan 1, 2024

Blockchain Technology Applications and Security被引用数 1

ひとこと要約

この論文は、プルーフ・オブ・ステーク（PoS）ブロックチェーンにおける退出キュー最適化のためのメカニズム設計フレームワークを提案し、MINSLACK—歴史的退出履歴とセキュリティ制約に基づいて引き出し容量を動的に調整する、先着順の状態保持型キュー—を導入する。MINSLACKが同質的ステーカーに対して最適であることを証明し、時間感受性の異なるステーカーを想定した優先度ベースのメカニズム（PRIO-MINSLACK や α-MINSLACK）に拡張することで、セキュリティを維持したまま不満度を顕著に低減する。

ABSTRACT

Byzantine fault-tolerant consensus protocols have provable safety and liveness properties for static validator sets. In practice, however, the validator set changes over time, potentially eroding the protocol's security guarantees. For example, systems with accountable safety may lose some of that accountability over time as adversarial validators exit. As a result, protocols must rate limit entry and exit so that the set changes slowly enough to ensure security. Here, the system designer faces a fundamental trade-off. Slower exits increase friction, making it less attractive to stake in the first place. Faster exits provide more utility to stakers but weaken the protocol's security. This paper provides the first systematic study of exit queues for Proof-of-Stake blockchains. Given a collection of validator-set consistency constraints imposed by the protocol, the social planner's goal is to provide a constrained-optimal mechanism that minimizes disutility for the participants. We introduce the MINSLACK mechanism, a dynamic capacity first-come-first-served queue in which the amount of stake that can exit in a period depends on the number of previous exits and the consistency constraints. We show that MINSLACK is optimal when stakers equally value the processing of their withdrawal. When stakers values are heterogeneous, the optimal mechanism resembles a priority queue with dynamic capacity. However, this mechanism must reserve exit capacity for the future in case a staker with a much higher need for liquidity arrives. We conclude with a survey of known consistency constraints and highlight the diversity of existing exit mechanisms.

研究の動機と目的

• 動的バリデーター集合におけるステーキングプロトコルのセキュリティと参加者の流動性のトレードオフを形式的に定式化すること。
• セキュリティと利便性に顕著な影響を与えるにもかかわらず、プルーフ・オブ・ステークシステムにおける退出キュー設計の形式的取り扱いが不足している問題に対処すること。
• プロトコルレベルの整合性および安全性制約を満たしつつ、ステーカーの不満度を最小化する制約付き最適メカニズムの開発。
• 既存の退出メカニズムを調査し、理論的最適設計と比較して劣る、あるいはあまりに硬直的な設計が実世界のプロトコルに見られる問題を特定することで、理論と実践の橋渡しをすること。

提案手法

• セキュリティ要件をバリデーター集合の進化に関する整合性制約としてモデル化することで、退出キュー問題を制約付き最適化問題として形式化する。
• 過去の退出履歴とプロトコル制約に応じてエポックごとの引き出し容量が変動する、状態保持型で先着順のキューであるMINSLACKを導入する。
• 遅延による不満度を時間感受性の関数としてモデル化することで、異質的ステーカーを扱うための優先度キューメカニズムにモデルを拡張する。
• 異質的ケースをマーカフ決定過程（MDP）としてモデル化し、動的ビックリーアクター・クラーク・グローヴズ（VCG）メカニズムを用いて効率的割り当てを導出する。
• 実用的で支払いによる優先順位を提供するMINSLACKの変種としてPRIO-MINSLACKを提案し、将来の緊急退出のための容量を確保するα-MINSLACKを提示する。
• 数値シミュレーションを用いて、さまざまなメカニズムの性能を比較し、不満度と待機時間の削減を定量的に評価する。

実験結果

リサーチクエスチョン

• RQ1 バリデーター集合の整合性制約が有効に作用する状況下で、時間感受性が均一なステーカーを対象としたPoSブロックチェーンにおける退出キュー管理の最適メカニズムは何か？
• RQ2 一部の参加者が緊急の流動性を必要とするなど、遅延による不満度に差が生じる場合、退出キューメカニズムはどのように再設計すべきか？
• RQ3 歴史的退出パターンと将来の不確実性に基づく動的容量割り当ては、セキュリティを損なわずシステム全体の不満度を最小化するために果たす役割は何か？
• RQ4 緊急退出リクエストの到着プロセスが厚尾分布を示す状況下で、将来の高優先度退出のための容量をどう確保できるか？
• RQ5 主要ブロックチェーン（例：イーサリアム）における現実世界の退出メカニズムは、理論的最適設計とどの程度整合しているか？

主な発見

• 同質的ステーカーに対してMINSLACKは、バリデーター集合の整合性制約下で制約付き最適なメカニズムであることが証明され、不満度を最小化する。
• 異質的ステーカーに対しては、時間感受性の高い参加者が速やかな退出を支払える優先度ベースのメカニズム（例：PRIO-MINSLACK）により、全体の不満度が低減され、社会的福祉が向上する。
• 将来の緊急リクエストのための退出容量を確保するメカニズムが最適であることが示され、α-MINSLACKの例から、未定の将来需要に対しても柔軟性を維持できることが明らかになった。
• 数値結果から、MINSLACKはイーサリアムの固定エポックキューと比較して平均待機時間を顕著に短縮することが示された。
• 本研究では、理論的に優位な社会的福祉を達成できる支払いによる優先順位メカニズムが、現存する主要な生産ブロックチェーンでは採用されていないことが判明した。
• 著者らは、現在の実世界のメカニズムが理論的効率フロンティアに達していないことが多く、退出キュー設計における大幅な改善の余地があると特定した。