[論文レビュー] Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency
Dumbo-NG は、品質特性を備えた多値検証付きビザンチン合意（MVBA）への直接還元により、並列な取引配布と非同期合意を可能にする、非同期ビザンチンフォールトトレラント（BFT）合意プロトコルの新規提案である。これにより、スループットとレイテンシのトレードオフが解消される。Dumbo より 4–8×、Speeding-Dumbo より 2–4×、sDumbo-DL より 2–3× の高いピークスループットを達成しながら、安定した低レイテンシを維持し、すべての誠実なノードの取引が保証されて出力されることを確保し、パフォーマンスコストを伴わずに検閲の脅威を排除する。
Despite recent progresses of practical asynchronous Byzantine fault tolerant (BFT) consensus, the state-of-the-art designs still suffer from suboptimal performance. Particularly, to obtain maximum throughput, most existing protocols with guaranteed linear amortized communication complexity require each participating node to broadcast a huge batch of transactions, which dramatically sacrifices latency. Worse still, the f slowest nodes' broadcasts might never be agreed to output and thus can be censored (where f is the number of faults). Implementable mitigation to the threat either uses computationally costly threshold encryption or incurs communication blow-up, thus causing further efficiency issues. We present Dumbo-NG, a novel asynchronous BFT consensus (atomic broadcast) to solve the remaining practical issues. Its technical core is a non-trivial direct reduction from asynchronous atomic broadcast to multi-valued validated Byzantine agreement (MVBA) with quality property. Most interestingly, the new protocol structure empowers completely concurrent execution of transaction dissemination and asynchronous agreement. This brings about two benefits: (i) the throughput-latency tension is resolved to approach peak throughput with minimal increase in latency; (ii) the transactions broadcasted by any honest node can be agreed to output, thus conquering the censorship threat with no extra cost. We implement Dumbo-NG and compare it to the state-of-the-art asynchronous BFT with guaranteed censorship resilience including Dumbo (CCS'20) and Speeding-Dumbo (NDSS'22). We also apply the techniques from Speeding-Dumbo to DispersedLedger (NSDI'22) and obtain an improved variant of DispersedLedger called sDumbo-DL for comprehensive comparison. Extensive experiments reveal: Dumbo-NG realizes better peak throughput performance and its latency can almost remain stable when throughput grows.
研究の動機と目的
- 実用的な非同期BFT合意において、高スループットを達成するには取引のバッチ処理が必要であり、レイテンシが犠牲になるという根本的な性能ボトルネックを解消すること。
- 既存プロトコルでは、ブロードキャスト遅延のため、f 個の遅延ノードの取引が合意に含まれないという検閲の脅威を排除すること。
- 取引配布と合意の実行を分離することで、並列実行を可能にし、スループットとレイテンシの緊張を解消すること。
- 通信の膨張や計算コストを増加させることなく、検閲耐性を実現し、すべての誠実なノードの取引が保証されて出力されることを確保すること。
- 記憶領域の上限が明確で、遅延または停止したノードの回復機構が効率的な生産環境向けプロトコルを設計すること。
提案手法
- 非自明な非同期アトミックブロードキャストから、品質特性を備えた多値検証付きビザンチン合意（MVBA）への直接還元を提案し、誠実なノードの出力を少なくとも 1/2 の確率で選択することを保証する。
- 信頼性のあるブロードキャストによる取引配布と、MVBAによる合意の分離を実現し、並列実行を可能にすることで、スループットとレイテンシの依存関係を排除する。
- GLL+22 の MVBA プロトコルを品質特性とともに基本的プリミティブとして採用し、強力なライブネス保証を備えた効率的で低レイテンシの合意を実現する。
- クォーラム証明書をメッセージに統合することで、遅延ノードが将来のメッセージをバッファリングすることなく同期できるようにし、メモリ圧力を軽減し、効率的な回復を可能にする。
- MVBA インスタンスの早期終了やメッセージバッファのクリーンアップを含む、記憶領域に上限がある実行パターンを設計することで、生産環境での記憶領域の上限を確保する。
- Speeding-Dumbo および DispersedLedger の技術を応用し、sDumbo-DL を構築して、Dumbo-NG の性能優位性を多様なネットワーク規模で検証する。
実験結果
リサーチクエスチョン
- RQ1非同期BFT合意が、ライブネスや検閲耐性を損なわず、高スループットと低レイテンシを両立できるか？
- RQ2取引配布と合意の実行を、セキュリティと効率性を保ったまま分離することは可能か？
- RQ3既存のBFTプロトコルにおける検閲の脅威（f 個の遅延ノードの取引が除外される）を、通信コストや計算コストを増加させることなく排除できるか？
- RQ4新規のMVBAベースの合意プロトコルのパフォーマンスは、ノード数が異なる地理的に分散したネットワークでどのようにスケーリングするか？
- RQ5記憶領域の上限があり、遅延や停止からの効率的回復が可能な生産環境でのデプロイに必要なシステムレベル最適化は何か？
主な発見
- Dumbo-NG は、16地域にまたがる最大64台のAWS EC2ノードを用いた実験で、Dumbo より 4–8× の高いピークスループットを達成した。
- Speeding-Dumbo より 2–4×、sDumbo-DL より 2–3× の高いスループットを達成し、異なるネットワーク規模において一貫したパフォーマンス向上を示した。
- Dumbo-NG のレイテンシは安定しており、スループットが増加しても他のテストプロトコルの中で最も低く、スループットに依存しないレイテンシ特性を確認した。
- 誠実なノードがブロードキャストしたすべての取引が保証されて出力され、追加の通信や計算コストを伴わず、従来のプロトコルに見られる検閲の脅威が排除された。
- メッセージのクリーンアップ、MVBA インスタンスの早期終了、クォーラム証明書に基づく同期により、記憶領域の上限を確保した。これにより、生産環境でのデプロイが可能になった。
- クォーラム証明書の統合により、遅延ノードが将来のメッセージをバッファリングすることなく効率的に回復でき、メモリオーバーヘッドが顕著に低減され、耐障害性が向上した。
より良い研究を、今すぐ始めましょう
論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。