[論文レビュー] Byzantine Consensus Is Θ(n²): The Dolev-Reischuk Bound Is Tight Even in Partial Synchrony!

Pierre Civit, Muhammad Ayaz Dzulfikar+5 more|arXiv (Cornell University)|Jan 1, 2022

Distributed systems and fault tolerance被引用数 5

ひとこと要約

本論文は、最適なO(n²)通信複雑性とO(f)ラティンシーを備えた部分的同期型Byzantine合意プロトコルであるSQadを提示する。これは、分散システム分野における長年のギャップを埋めるものであり、通信複雑性がO(n²)で、ラティンシーがO(f)であるRareSyncと呼ばれるビュー同期化プロトコルを導入することで実現された。このプロトコルにより、部分的同期環境下でもByzantine故障が発生しても効率的なリーダー主導型合意が可能になる。

ABSTRACT

The Dolev-Reischuk bound says that any deterministic Byzantine consensus protocol has (at least) quadratic communication complexity in the worst case. While it has been shown that the bound is tight in synchronous environments, it is still unknown whether a consensus protocol with quadratic communication complexity can be obtained in partial synchrony. Until now, the most efficient known solutions for Byzantine consensus in partially synchronous settings had cubic communication complexity (e.g., HotStuff, binary DBFT). This paper closes the existing gap by introducing SQuad, a partially synchronous Byzantine consensus protocol with quadratic worst-case communication complexity. In addition, SQuad is optimally-resilient and achieves linear worst-case latency complexity. The key technical contribution underlying SQuad lies in the way we solve view synchronization, the problem of bringing all correct processes to the same view with a correct leader for sufficiently long. Concretely, we present RareSync, a view synchronization protocol with quadratic communication complexity and linear latency complexity, which we utilize in order to obtain SQuad.

研究の動機と目的

• 部分的同期システムにおける通信複雑性がO(n²)であるByzantine合意が達成可能かどうかという未解決問題に取り組む。
• 部分的同期における既知のDolev-Reischuk下界（Ω(n²)）と、最高水準の上界（O(n³)）との間のギャップを埋める。
• 理論的下界と一致するが、最適な耐故障性と低ラティンシーを維持する合意プロトコルを設計する。
• 部分的同期環境下でも効率的なリーダー主導型合意を可能にする、新たなビュー同期化メカニズムを開発する。

提案手法

• 2段階アーキテクチャ（ビュー・コアとビュー・シンクロナイザー）に基づく、部分的同期型Byzantine合意プロトコルSQadを導入する。
• すべての正しく動作するプロセスが正しいリーダーとともに同じビューに収束することを保証する、通信量O(n²)、ラティンシーO(f)のビュー同期化プロトコルRareSyncを設計する。
• エポックベースの調整を用いて、ビュー間でのプロセス同期を図り、冗長な通信を最小限に抑える。
• 決定の検証とライブネスの確保のための証明書フェーズを活用し、メッセージに暗号的証明書を搭載して二重発言（equivocation）を防ぐ。
• プロセスが異なる時刻に開始されたり、時計のずれが生じたりしても、Byzantine故障下で正当性、合意性、終了性が保たれることを証明する。
• 実行を段階に分解して通信量とラティンシーの複雑性を分析する：GST前、GST、GST後。これにより、合計の通信複雑性がO(n²)、ラティンシーがO(f)のまま保たれることを示す。

実験結果

リサーチクエスチョン

• RQ1 決定的Byzantine合意プロトコルは、部分的同期システムにおいてO(n²)の通信複雑性を達成可能か？
• RQ2 部分的同期における通信複雑性のDolev-Reischuk下界Ω(n²)はタイトか？
• RQ3 O(n²)の通信量とO(f)のラティンシーを持つビュー同期化プロトコルを設計可能か？ これにより、部分的同期環境下で最適な合意が実現可能か？
• RQ4 最適なビュー同期化とリーダー主導型ビュー・コアの組み合わせにより、理論的下界に一致する合意プロトコルが得られるか？
• RQ5 このようなプロトコルは、最適な耐故障性（最大f件の故障プロセス）を維持しながら、線形ラティンシーを達成可能か？

主な発見

• SQadは、Dolev-Reischuk下界と一致するO(n²)の最悪時通信複雑性を達成し、部分的同期下でもこの下界がタイトであることを証明した。
• プロトコルはO(f)の最悪時ラティンシーを達成しており、f件の故障プロセスを伴うByzantine合意において最適である。
• ビュー同期化プロトコルであるRareSyncは、O(f)時間とO(n²)通信量で、すべての正しく動作するプロセスが正しいリーダーとともに同じビューに収束することを保証する。
• プロトコルは最適な耐故障性を備え、最大f件のByzantine故障を許容しながらも、正しさとライブネスを維持する。
• 分析により、プロセスがGST以降に実行を開始しても、エポック遷移とメッセージ数が有界であるため、通信複雑性がO(n²)のまま保たれることを示した。
• すべての決定に暗号的証明書を添付することで、正当性と合意性が維持され、二重発言が防止される。