[論文レビュー] SoK: Decentralized Sequencers for Rollups

Shashank Motepalli, Luciano Freitas de Souza+1 more|arXiv (Cornell University)|Oct 5, 2023

Blockchain Technology Applications and Security被引用数 5

ひとこと要約

本論文は、ロールアップにおける分散型シーケンサーの包括的分析を提示し、現在のシステムにおける中央集権的リスクに対処するためのフレームワークを提案する。核心的な特性として、機能性、分散性、公平性、安全性、パフォーマンス、インcentive（インcentive）、相互運用性を特定し、委員会選定、コンセンサスメカニズム、報酬モデルといった主要な構成要素を提示。結論として、現在の設計はこれらの基準を完全に満たしていないことが判明する。

ABSTRACT

Rollups have emerged as a promising solution to enhance blockchain scalability, offering increased throughput, reduced latency, and lower transaction fees. However, they currently rely on a centralized sequencer to determine transaction ordering, compromising the decentralization principle of blockchain systems. Recognizing this, there is a clear need for decentralized sequencers in rollups. However, designing such a system is intricate. This paper presents a comprehensive exploration of decentralized sequencers in rollups, formulating their ideal properties, dissecting their core components, and synthesizing community insights. Our findings emphasize the imperative for an adept sequencer design, harmonizing with the overarching goals of the blockchain ecosystem, and setting a trajectory for subsequent research endeavors.

研究の動機と目的

• ロールアップにおける分散型シーケンサーの理想の特性を特定・形式化し、現在の設計における重要なギャップを解消すること。
• シーケンサーの核心的構成要素（委員会選定、コンセンサス、報酬メカニズムなど）を分析し、構造的な設計フレームワークを提示すること。
• コミュニティの知見と既存の提案を統合し、分散型シーケンサー設計における強み・弱み・未解決の課題を浮き彫りにすること。
• 現在のロールアップシステムが中央集権的シーケンサーに依存しているため、完全な分散性を達成できず、ライブネスと検閲のリスクが生じることを主張すること。
• 下位のL1ブロックチェーンの能力を上回る、あるいは同等のセキュリティ、パフォーマンス、公平性を実現するシーケンサー設計を提唱すること。

提案手法

• シーケンサーデザインを評価するための七次元フレームワークを提案：機能性、分散性、公平性、安全性、パフォーマンス、インcentive設計、相互運用性。
• 分散型シーケンサーの主要な構成要素を分析：委員会選定、シーケンシングポリシー、コンセンサスメカニズム、プロポーザー選定、報酬メカニズム、データ可用性、ガバナンス。
• PBS（プロポーザー・ビルダー分離）、PoNW（Nウィtness証明）、暗号化または秘密共有されたメモリプールといった既存の提案を評価し、プライバシーとセキュリティを強化する。
• 特に、シーケンサーやプローバーの役割が重複する場合のリスク、すなわち共謀や中央集権化の危険性を含めた役割分離のトレードオフを検討。
• MEVや検閲を防ぐために、ブラインド化されたランダムネス、しきい値暗号、秘密共有といったプライバシー保護技術を評価。
• 実世界のロールアップ実装（例：Arbitrum、zkSync、dYdX）を事例として用い、ライブネス、エスケープハッチ、障害回復メカニズムを評価。

実験結果

リサーチクエスチョン

• RQ1 ロールアップにおける分散型シーケンサーが、機能性、分散性、公平性、安全性、パフォーマンス、インcentive、相互運用性の各分野で満たすべき理想的な特性は何か？
• RQ2 故障したシーケンサーに代わる際、特にライブネスと障害・検閲に対する耐性を確保するため、分散型シーケンサーはどのようにアーキテクチャ設計されるべきか？
• RQ3 シーケンサーやプローバーの役割は分離すべきか、重複すべきか。セキュリティ、効率性、中央集権的リスクという観点から、それぞれのトレードオフは何か？
• RQ4 分散型シーケンサーにおいて、取引のプライバシーを確保しMEVを低減するための最も効果的な技術は何か？
• RQ5 現在実装済みのロールアップシステムは、提案された基準をどの程度満たしているのか。実際の運用において、その主な欠陥は何か？

主な発見

• 現在のロールアップは中央集権的シーケンサーに依存しており、ライブネスリスクと検閲の脆弱性を抱えており、唯一Arbitrum Oneが遅延的・制限付きのフェイルオーバーメカニズムを提供しているにとどまる。
• 現在の「エスケープハッチ」メカニズムはしばしば不十分であり、シーケンサーの承認や取引相手の liquidit（流動性）に依存しており、スマートコントラクトにロックされた資金をサポートしない。
• 実装済みの設計は、分散性、安全性、パフォーマンスのバランスを完全に満たすことはなく、理想の特性を満たしていない。
• シーケンサーやプローバーの役割の重複は、優先的扱いや共謀のリスクを引き起こし、公平性とセキュリティを損なう中央集権的リスクを生じさせる。
• 秘密共有技術はしきい値暗号に比べて低いオーバーヘッドを実現でき、DAGベースのコンセンサスにスムーズに統合可能である。一方、ブラインド化されたランダムネスは、共謀しない敵対者に対しては軽量なプライバシー保護を提供する。
• PBSモデルは競争的なブロック構築を可能にするが、プロポーザーとビルダーの共謀が生じるリスクを伴う。これにより、インcentive設計と検証設計に注意を払う必要があることが浮き彫りになった。