[論文レビュー] BoLD: Fast and Cheap Dispute Resolution

Mario Moisés Álvarez, Henry Arneson+13 more|arXiv (Cornell University)|Jan 1, 2024

Dispute Resolution and Class Actions被引用数 1

ひとこと要約

BoLDは、レイヤー2ブロックチェーン向けの画期的な紛争解決プロトコルであり、元のArbitrumプロトコルを、より効率的で遅延攻撃に強く、リソース消費が少ない設計に置き換える。トーナメントベースのチャレンジメカニズムを採用し、最適化されたタイミングとステーキングにより、解決完了時間が一定となり、誠実な参加者の計算負荷が低減される。同時に、攻撃者は解決を遅らせるために著しく多くのリソースを費やすことになる。

ABSTRACT

BoLD is a new dispute resolution protocol that is designed to replace the originally deployed Arbitrum dispute resolution protocol. Unlike that protocol, BoLD is resistant to delay attacks. It achieves this resistance without a significant increase in onchain computation costs and with reduced staking costs.

研究の動機と目的

• オンチェーンの計算コストやステーキングコストを増加させることなく、遅延攻撃に耐性を持つ紛争解決プロトコルの設計。
• 特にリソース枯渇攻撃や言語遮断攻撃に対する誠実な参加者のリソース負荷を軽減すること。
• 元のArbitrum紛争解決プロトコルを、より効率的で安全な代替手段に置き換えること。
• 再帰的チャレンジ構造を用いて、複数の抽象レベルにわたるスケーラブルな紛争解決を可能にすること。
• 完成時間の一定性を最適化しながら、大規模な紛争状況における誠実参加者の計算負荷を最小限に抑えること。

提案手法

• 参加者がラウンドごとに競い合い、紛争を解決するトーナメントベースのチャレンジメカニズムを採用。試合は2進またはm進構造で進行。
• 直前のラウンドが完了する前に次のラウンドを開始できるハイブリッドタイミング方式を採用。これにより、全体の遅延が (T + D)⌈logm(1 + NA)⌉ + T に短縮される。
• 「シングルレベル」BoLDバージョンを導入。固定参加者数の1つのチャレンジと、決定論的な手順の進行を採用。
• 多段階拡張を適用。各段階で再帰的チャレンジを用い、階層的精錬により複雑な紛争を効率的に解決。
• 悪意ある参加者が不釣り合いに高いリソースコストを負担するようステーキングモデルを設計。これにより、遅延攻撃や言語遮断攻撃の抑止が可能に。
• タイマー管理戦略を導入。直前の試合に勝利したプレイヤーであれば、次のラウンドへの早期参加を許可。安全を損なわず、スループットを向上。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、オンチェーンの計算コストやステーキングコストを増加させずに、遅延攻撃に耐性を持つ紛争解決プロトコルを設計できるか？
• RQ2 大規模な紛争解決において、完了時間と誠実参加者の計算負荷の最適なトレードオフは何か？
• RQ3 複数ラウンドにわたるトーナメントベースのチャレンジメカニズムを、正しさやセキュリティを損なわずに安全に並列化できるか？
• RQ4 実際のL1環境下で、攻撃的な言語遮断や順序付け攻撃が加わった場合、プロトコルはどのように動作するか？
• RQ5 再帰的チャレンジ精錬をサポートする多段階紛争解決プロトコルの性能特性は何か？

主な発見

• BoLDは、主張数に依存しない一定の完了時間 (T + D)⌈logm(1 + NA)⌉ + T を達成。紛争解決の予測可能性が保証される。
• 誠実参加者の計算コストは m⌈logm(1 + NA)⌉ に比例し、主張数が多い状況下では従来のプロトコルと比べて顕著に低減される。
• 多段階設定下では、攻撃者がステーキングおよびリソース消費を NA^L の割合で増加させる必要があるため、遅延攻撃は著しく高コストになる。
• ハイブリッドタイミング方式により、ラウンドの早期開始を可能にし、完成時間を短縮。安全を損なわず、効率性が向上。
• 多段階BoLDは一定時間で完了し、誠実参加者の計算コストは NA^L に比例する。一方、多段階Cartesiは ⌈log2(1 + NA)⌉^L の順次試合を要し、指数的遅延が生じる。
• 攻撃的な言語遮断や順序付けが加わった状況下でも、安全を維持。制限なしのゲームで達成可能なすべての結果が、最終ラウンド後に言語遮断が発生する制限付きゲームでも達成可能であることを証明。