[論文レビュー] Leaderless Byzantine Fault Tolerant Consensus.

Jianyu Niu, Chen Feng|arXiv (Cornell University)|Dec 3, 2020

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

ひとこと要約

この論文では、リーダーの協調とビュー同期を排除することで、ノードが自主的にブロックを提案するのを可能にする、リーダーレスなバシルト・フォールトトレラント（BFT）コンセンサスプロトコルであるLBFTを提案する。チェーン構造、パイプライン処理、高度な暗号技術を活用することで、リーダー基盤のプロトコルよりも大幅に実装の単純さを向上させつつ、O(n)またはO(n log n)のメッセージ複雑性を達成する。

ABSTRACT

Byzantine fault tolerant (BFT) consensus has recently gained much attention because of its intriguing connection with blockchains. Several state-of-the-art BFT consensus protocols have been proposed in the age of blockchains such as Tendermint [5], Pala [9], Streamlet [8], HotStuff [23], and Fast-HotStuff [17]. These protocols are all leader-based (i.e., protocols run in a series of views, and each view has a delegated node called the leader to coordinate all consensus decisions). To make progress, leader-based BFT protocols usually rely on view synchronization, which is an ad-hoc way of rotating the leader and synchronizing nodes to the same view with the leader for enough overlap time. However, many studies and system implementations show that existing methods of view synchronization are complicated and bug-prone [2], [15], [16], [19]. In this paper, we aim to design a leaderless Byzantine fault tolerant (LBFT) protocol, in which nodes simply compete to propose blocks (containing a batch of clients' requests) without the need of explicit coordination through view synchronization. LBFT also enjoys several other desirable features emphasized recently by the research community, such as the chain structure, pipelining techniques, and advanced cryptography [5], [6], [9], [17], [23]. With these efforts, LBFT can achieve both good performance (e.g., O(n)or O(nlog(n)) message complexity) and prominent simplicity.

研究の動機と目的

• 既存のリーダー基盤BFTプロトコルにおけるビュー同期メカニズムの複雑さとバグの原因となる点を解消する。
• 指定されたリーダーや明示的なビュー同期が不要な、バシルトフォールトトレラントコンセンサスプロトコルを設計する。
• 高いパフォーマンスと低メッセージ複雑性を実現しながら、プロトコルの単純さを維持する。
• パイプライン処理やチェーン構造といった構造的最適化と、現代の暗号技術を統合して効率性を向上させる。

提案手法

• リーダー基盤の協調をリーダーレスモデルに置き換え、ノードがビュー同期を必要とせずに自主的にブロックを提案できるようにする。
• ブロックを組織化し、ネットワーク全体で一貫性を保つためにチェーンベースの構造を用いる。
• 複数のコンセンサスラウンドを同時に処理できるパイプライン技術を適用し、スループットを向上させる。
• 中央協調者に依存せずに、提案の正当性と整合性を保証するための高度な暗号技術を活用する。
• リーダーのローテーションやビュー変更の必要性を排除するため、進行は競争的なブロック提案と検証を通じて達成されるようにプロトコルを設計する。
• 通信パターンの最適化と冗長なメッセージ交換の削減により、メッセージ複雑性がO(n)またはO(n log n)のまま保たれるようにする。

実験結果

リサーチクエスチョン

• RQ1 リーダー基盤の代替手段として、リーダーレスBFTコンセンサスプロトコルは、高いパフォーマンスと実装の単純さを両立できるか？
• RQ2 ビザンチンフォールトが存在する状況でも、ライブネスとセーフティを維持しつつ、ビュー同期のオーバーヘッドをどのように排除できるか？
• RQ3 パイプライン処理とチェーン構造は、リーダーレスBFTプロトコルにおけるメッセージ複雑性をどの程度低減できるか？
• RQ4 協調が不要な設計において、高度な暗号技術を効果的に統合することで、セキュリティを確保できるか？

主な発見

• LBFTはビュー同期の必要性を排除し、プロトコルの複雑さと障害の原因となるポイントを大幅に削減した。
• プロトコルはO(n)またはO(n log n)のメッセージ複雑性を達成しており、最先端のリーダー基盤プロトコルと同等またはそれ以上の効率性を実現した。
• リーダーの役割を排除することで、リーダー関連の攻撃や障害に対する耐性が向上し、フォールトトレラント性が強化された。
• チェーン構造とパイプライン処理の統合により、協調のオーバーヘッドがなく、効率的なブロック処理と高いスループットが実現された。
• 強いセキュリティ保証と実用的なパフォーマンスを備えたリーダーレス設計が、BFTコンセンサスにおいて実現可能であることが示された。