[論文レビュー] FnF-BFT: Exploring Performance Limits of BFT Protocols

Zeta Avarikioti, Lioba Heimbach+4 more|arXiv (Cornell University)|Sep 4, 2020

Distributed systems and fault tolerance参考文献 34被引用数 4

ひとこと要約

FnF-BFT は、すべてのレプリカが同時にリクエストを提案できるようにすることで、シングルリーダーのボトルネックを解消する、新しい並列リーダー型 Byzantine fault-tolerant (BFT) プロトコルである。これにより、線形通信複雑性を達成し、Byzantine 攻撃に対しても定数倍の性能耐性を実現する。FnF-BFT は、特にスケーリング時に HotStuff より最大 1.5 倍のスループットを達成し、悪意ある故障下での最良スループットに対する理論的下限は 16/27 である。

ABSTRACT

We introduce FnF-BFT, a parallel-leader byzantine fault-tolerant state-machine replication protocol for the partially synchronous model with theoretical performance bounds during synchrony. By allowing all replicas to act as leaders and propose requests independently, FnF-BFT parallelizes the execution of requests. Leader parallelization distributes the load over the entire network -- increasing throughput by overcoming the single-leader bottleneck. We further use historical data to ensure that well-performing replicas are in command. FnF-BFT's communication complexity is linear in the number of replicas during synchrony and thus competitive with state-of-the-art protocols. Finally, with FnF-BFT, we introduce a BFT protocol with performance guarantees in stable network conditions under truly byzantine attacks. A prototype implementation of \prot outperforms (state-of-the-art) HotStuff's throughput, especially as replicas increase, showcasing \prot's significantly improved scaling capabilities.

研究の動機と目的

• 従来の BFT プロトコルにおけるシングルリーダーのボトルネックが引き起こすスケーラビリティの制限を解消すること。
• 任意の Byzantine 動作下でも高いスループットと強いセキュリティ保証を維持できる BFT プロトコルを設計すること。
• 「Byzantine 耐性性能」として、悪意ある攻撃下でのスループットに定数下限を保証するという定式化と達成。
• 並列リーダー実行が、安全・活性性を損なわず、効率的にスケーリング可能であることを示すこと。
• 実世界の環境下で、HotStuff や他の最先端プロトコルを上回る性能を示すプロトタイプ実装を提供すること。

提案手法

• すべてのレプリカが独立してリクエストを提案できる並列リーダーアーキテクチャを導入し、ネットワーク全体に負荷を分散する。
• 履歴的なパフォーマンスデータを活用して、高い性能を示すレプリカをリーダーとして選定し、効率性と一貫性を向上させる。
• BLS 閾値署名とウォーターマークベースのエポックメカニズムを用いて、部分的に同期的モデル下での安全・活性性を保証する。
• GST 後のアーリエートドアクティベータ複雑性を分析し、O(n) の通信複雑性を示し、HotStuff と同等の効率性を達成することを確認する。
• プロトタイプは libhotstuff を基盤とし、並列リーダー論理と BLS 署名をサポートするために約 2000 行のコードを変更した。
• 公平な比較のため、マルチスレッドの HotStuff と同一設定下で、決定論的かつシングルスレッドの実装を採用した。

実験結果

リサーチクエスチョン

• RQ1 シングルリーダーのボトルネックを排除することで、BFT プロトコルが高スループットと強固な故障耐性を達成できるか。
• RQ2 任意の Byzantine 動作下での BFT プロトコルの理論的パフォーマンス下限は何か、そしてそれを形式的に保証できるか。
• RQ3 並列リーダー実行は、部分的に同期的ネットワークにおける通信複雑性とスケーラビリティにどのように影響するか。
• RQ4 現実の Byzantine 攻撃下でも、安全・活性性を保ちながら高スループットを維持できるか。
• RQ5 実際の環境下で、並列リーダー型 BFT プロトコルは、HotStuff のような最先端の逐次リーダー型プロトコルと比較して、どのように性能を発揮するか。

主な発見

• FnF-BFT は、Byzantine 耐性性能比 16/27 を達成しており、悪意ある攻撃下でのスループットが、最良状態時の 16/27 以上であることを保証する。
• 部分的に同期的モデル下でも、FnF-BFT は O(n) の通信複雑性を維持しており、HotStuff などの最先端プロトコルと同等の競争力を持つ。
• プロトタイプ評価では、マルチスレッドの HotStuff より最低 1.1 倍、シングルスレッドの HotStuff より最低 1.5 倍のスループットを達成しており、レプリカ数が増加する際の性能向上が顕著である。
• 平均ラテンシは両プロトコルで類似したスケーリングを示しており、最大 61 レプリカでも最終性遅延が低く抑えられている。
• 性能向上は特にスケーリング時に顕著であり、HotStuff より優れた水平スケーリング能力を示している。
• 実装により、計算コスト（アクティベータ複雑性）が主なボトル neck であることが確認されたが、FnF-BFT は並列化によってこれを効果的に管理している。