[論文レビュー] BBCA-CHAIN: Low Latency, High Throughput BFT Consensus on a DAG

Dahlia Malkhi, Chrysoula Stathakopoulou+1 more|arXiv (Cornell University)|Oct 10, 2023

Distributed systems and fault tolerance被引用数 5

ひとこと要約

BBCA-CHAIN は、BBCA を用いてベーシック・コンシステントブロードキャスト（CBC）を拡張し、完全採用（Complete-Adopt）の意味論を導入することで、有向非巡回グラフ（DAG）上に低遅延・高スループットなバシルト・フォールトトレラント（BFT）合意プロトコルを構築する。投票ブロックや人工的なレイヤーを排除し、1回のメッセージ往復で直接ブロックをコミット可能にし、部分的に同期的な環境下で200ms未満の最終性を達成し、論理が単純化された高スループットな性能を実現する。

ABSTRACT

This paper presents a partially synchronous BFT consensus protocol powered by BBCA, a lightly modified Byzantine Consistent Broadcast (BCB) primitive. BBCA provides a Complete-Adopt semantic through an added probing interface to allow either aborting the broadcast by correct nodes or exclusively, adopting the message consistently in case of a potential delivery. It does not introduce any extra types of messages or additional communication costs to BCB. BBCA is harnessed into BBCA-CHAIN to make direct commits on a chained backbone of a causally ordered graph of blocks, without any additional voting blocks or artificial layering. With the help of Complete-Adopt, the additional knowledge gained from the underlying BCB completely removes the voting latency in popular DAG-based protocols. At the same time, causal ordering allows nodes to propose blocks in parallel and achieve high throughput. BBCA-CHAIN thus closes up the gap between protocols built by consistent broadcasts (e.g., Bullshark) to those without such an abstraction (e.g., PBFT/HotStuff), emphasizing their shared fundamental principles. Using a Bracha-style BCB as an example, we fully specify BBCA-CHAIN with simplicity, serving as a solid basis for high-performance replication systems (and blockchains).

研究の動機と目的

• CBC ベースのプロトコル（例：Bullshark）と PBFT/HotStuff の間のパフォーマンス格差を埋めるために、DAG 上で低遅延・高スループットな合意を実現すること。
• 人工的な投票レイヤーや特殊なブロックタイプを排除することで、DAG ベースの合意ロジックを単純化すること。
• 投票を修正された CBC 原 primitive に統合することで、複数ラウンドの依存関係を回避し、合意の遅延を低減すること。
• 因果的順序と軽量なプローブインターフェースを組み合わせ、並列でのブロック提案とコミットを可能にすること。
• 高パフォーマンスなレプリケーションシステムやブロックチェーンのための単純で形式的に定義された基盤を提供すること。

提案手法

• 完全採用インターフェースを備えた、修正されたバシルト・コンシステントブロードキャスト（CBC）原 primitive である BBCA を導入し、ローカルなクorum プローブによってブロードキャストが完了するかどうかを判断できるようにする。
• BBCA を用いてバックボーンブロックを1回のメッセージ往復で直接コミットし、別個の投票ブロックやレイヤー構造の必要性を排除する。
• 因果的順序を用いてノードが並列でブロックを提案できるようにし、バックボーン以外のブロックは通信コストを低減するためベストエフォートブロードキャスト（BEB）を用いる。
• 完全採用の意味論を活用し、強い不変性を抽出する：クorum のノードがすべて「採用しない」とプローブした場合、いかなる正常ノードもブロードキャストを完了しない。
• ビュー単位のプロトコルを設計し、リーダーが生成するブロックのみが BBCA を使用し、他のブロックは BEB を介して配布することで通信コストを最小限に抑える。
• 完全に形式的に定義された Bracha 方式の CBC を基盤として BBCA-CHAIN を完全に指定し、部分的に同期的なモデル下で単純さと正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 DAG 上の BFT 合意プロトコルは、最小限の遅延で 200ms 未満の最終性を達成しながらも、高スループットを維持できるか？
• RQ2 DAG ベースの合意における投票ロジックをブロードキャスト原 primitive 内部に統合し、別個の投票ブロックや人工的レイヤーの必要性を排除できるか？
• RQ3 完全採用インターフェースを備えた修正 CBC 原 primitive は、安全性和とライブネスを損なわず、1回のメッセージで直接ブロックをコミットできるか？
• RQ4 因果的順序と軽量なプローブメカニズムを統合することで、部分的に同期的なネットワーク下で高スループットと低遅延を両立できるか？
• RQ5 BBCA を基盤とする簡素化された合意設計は、Bullshark のような複雑な DAG プロトコルに匹敵またはそれを上回るパフォーマンスを発揮できるか、かつ実装の複雑さを低減できるか？

主な発見

• BBCA-CHAIN は、Bullshark が4回の CBC ラウンドを要するのに対し、ブロックコミット遅延を1回の BBCA ブロードキャストの往復にまで短縮した。
• 投票ブロックや人工的レイヤーの排除により、最新の DAG プロトコルと比較して遅延が最大75％まで低減された。
• 提案者がクォーラムの応答を逐次待つ必要がなくなったため、スループットが顕著に向上した。
• 完全採用インターフェースにより、追加通信なしにクォーラムレベルの知識を抽出可能であり、プローブはローカルな状態チェックに過ぎない。
• BBCA-CHAIN は高い並列性をサポートする：バックボーン以外のブロックはベストエフォートブロードキャスト（BEB）でブロードキャストされ、通信コストが低減され、効率的なパイプライン処理が可能になる。
• プロトコルは Bracha 方式の CBC を基盤として形式的に定義されており、高パフォーマンスなレプリケーションシステムのための単純で正しく、拡張可能な基盤を提供する。