[論文レビュー] Good-case Latency of Byzantine Broadcast: A Complete Categorization

Ittai Abraham, Kartik Nayak+2 more|arXiv (Cornell University)|Feb 14, 2021

Distributed systems and fault tolerance参考文献 28被引用数 6

ひとこと要約

この論文は、認証付き設定下での同期的、部分的に同期的、非同期的モデルにおいて、Byzantine fault-tolerant broadcast の良いケース遅延を完全に特徴づけている。新しいプロトコル定式化—部分的に同期的Byzantine broadcast（psync-BB）—を導入し、タイトな境界を確立し、2ラウンドの良いケース遅延がかつてないほど 𝑛 ≥ 5𝑓 − 1 のときにのみ達成可能であることを示した。これにより、BFT SMRプロトコル設計および性能分析における長年の曖昧さが解消された。

ABSTRACT

This paper explores the problem good-case latency of Byzantine fault-tolerant broadcast, motivated by the real-world latency and performance of practical state machine replication protocols. The good-case latency measures the time it takes for all non-faulty parties to commit when the designated broadcaster is non-faulty. We provide a complete characterization of tight bounds on good-case latency, in the authenticated setting under synchrony, partial synchrony and asynchrony. Some of our new results may be surprising, e.g., 2-round PBFT-style partially synchronous Byzantine broadcast is possible if and only if $n\geq 5f-1$, and a tight bound for good-case latency under $n/3

研究の動機と目的

• 指定されたブロードキャスターが故障していない状況に注目し、Byzantine broadcast における良いケース遅延を形式的に定義し分析すること。
• BFT状態マシンレプリカション（BFT SMR）において、良いケース遅延（誠実なリーダー下）が最悪ケースよりも重要であることに鑲って、理論的境界と実用的性能のギャップを埋めること。
• PBFT などの単回の BFT SMR プロトコルをよりよくモデル化するため、新しいブロードキャスト抽象—部分的に同期的Byzantine broadcast（psync-BB）—を提案すること。
• 全耐故障度閾値（𝑓 < 𝑛/3、𝑛/3 ≤ 𝑓 < 𝑛/2、𝑓 ≥ 𝑛/2）と時間モデル（同期的、部分的に同期的、非同期的）における良いケース遅延のタイトで完全な分類を提供すること。

提案手法

• リーダー基盤のコンセンサスを伴う単回の BFT SMR をモデル化するため、新しいブロードキャストプリミティブである部分的に同期的Byzantine broadcast（psync-BB）を導入する。
• 同期的、部分的に同期的、非同期的の3つの時間モデルにおいて、良いケース遅延の下界と上界を、形式的還元とプロトコル構築を用いて確立する。
• 実際のメッセージ遅延 𝛿 と既知の上界 Δ を区別する洗練された時間モデルを採用し、同期化済みおよび非同期化されたプロトコル開始モデルの両方を検討する。
• 𝑛 ≥ 5𝑓 − 1 の下で、psync-BB のための新規2ラウンドプロトコルを構築し、同期的モデルにおいて最適な良いケース遅延 Δ + 1.5𝛿 を達成する。
• 通信コストを削減しつつ、実用的性能でほぼ最適な遅延を維持するためのサンプリングベースの最適化を適用する。
• 既知の不可能性結果と敵対的シミュレーションに基づく還元を用いて、特に非同期および部分的に同期的設定においてタイトな下界を証明する。

実験結果

リサーチクエスチョン

• RQ1 部分的に同期的Byzantine broadcast における良いケース遅延のタイトな下界は何か？ また、耐故障度閾値に依存する関係は？
• RQ2 𝑛 < 5𝑓 − 1 の場合、部分的に同期的Byzantine broadcast において2ラウンドの良いケースプロトコルが存在可能か？ 存在しない場合、必要な最小ラウンド数は？
• RQ3 同期的モデルにおいて、耐故障度閾値が 𝑓 > 𝑛/3 のとき、良いケース遅延はどのように変化するか？
• RQ4 最適プロトコルにおいて、通信複雑性と良いケース遅延の根本的トレードオフは何か？
• RQ5 非認証付き設定では結果はどのように変化するか？ また、現在の下界は依然としてタイトか？

主な発見

• 部分的に同期的Byzantine broadcast（psync-BB）において、2ラウンドの良いケース遅延がかつてないほど 𝑛 ≥ 5𝑓 − 1 のときにのみ必要かつ十分である。
• 部分的に同期的モデルにおいて、3ラウンドが 3𝑓 + 1 ≤ 𝑛 < 5𝑓 − 1 のとき必要かつ十分であり、PBFT の3ラウンド良いケース性能の最適性が解明された。
• 𝑛/3 < 𝑓 < 𝑛/2 の同期的モデルでは、良いケース遅延が Δ + 1.5𝛿 でタイトに境界づけられており、これは遅延上限 Δ の整数倍ではない。
• 誠実多数の場合（𝑓 < 𝑛/3）には、同期的モデルで良いケース遅延は正確に 2𝛿 であり、下界と一致する。
• 不誠実多数の場合（𝑓 ≥ 𝑛/2）には、良いケース遅延は下界 (⌊𝑛/(𝑛−𝑓)⌋ − 1)Δ と上界 𝑂(𝑛/(𝑛−𝑓))Δ で境界づけられる。
• 本論文は、PBFTにおける長年の曖昧さを解消した：𝑓 = 1 の場合、2ラウンドで十分（3ラウンドではない）であり、PBFT が3ラウンドで最適であるという一般的な仮定に反する。