[論文レビュー] Fast-HotStuff: A Fast and Resilient HotStuff Protocol

Mohammad M. Jalalzai, Jianyu Niu+2 more|arXiv (Cornell University)|Oct 22, 2020

Distributed systems and fault tolerance参考文献 35被引用数 26

ひとこと要約

Fast-HotStuff は、遅延を低減し、フォーク攻撃に対してより強固な二ラウンド型 Byzantine Fault Tolerant (BFT) コンセンサスプロトコルであり、ビュー変更時にブロックに小さな条件付きオーバーヘッドを追加することで、HotStuff よりも迅速な回復と全体的な遅延低減を実現する。特に性能攻撃下でも、HotStuff よりも優れた性能を発揮する。

ABSTRACT

The HotStuff protocol is a breakthrough in Byzantine Fault Tolerant (BFT) consensus that enjoys both responsiveness and linear view change. It creatively adds an additional round to classic BFT protocols (like PBFT) using two rounds. This brings us to an interesting question: Is this additional round really necessary in practice? In this paper, we answer this question by designing a new two-round BFT protocol called Fast-HotStuff, which enjoys responsiveness and efficient view change that is comparable to linear view change in terms of performance. Compared to (three-round) HotStuff, Fast-HotStuff has lower latency and is more robust against performance attacks that HotStuff is susceptible to.

研究の動機と目的

• ビュー変更時に特に顕著な高遅延と性能攻撃に対する脆弱性を有する HotStuff プロトコルの課題を解決すること。
• ビュー変更のオーバーヘッドを最小限に抑えつつ、応答性と線形メッセージ複雑性を維持すること。
• HotStuff のパイプライン化ブロック提案を悪用するフォーク攻撃に対する耐性を強化すること。
• 悪意あるプライマリが動作する状況でも、最小限の追加通信コストで二ラウンドコンセンサスを達成すること。
• 正常時および障害発生時においても、高い性能と低遅延を維持できることを実証すること。

提案手法

• 三チェーンルールに代わる二チェーンコミットルールを導入し、通信の二ラウンドでコンセンサスを達成する。
• プライマリ障害時にのみ、$O(n^2)$ の認証子を条件付きでブロックに追加することで、フォーク攻撃を防止する。
• 効率的な検証のためのしきい値署名を採用し、ラグランジュ補間の計算コストを最適化によって管理する。
• 悪意あるプライマリがビュー変更中に追加のラウンドを強制できないようにすることで、性能攻撃に対して耐性を持つようにプロトコルを設計する。
• 攻撃表面を制限し、公平なブロック提案機会を保証するため、ローテーション型プライマリメカニズムを導入する。
• ビュー変更時の署名検証に処理する署名数を削減することで最適化し、DiemBFT(v4) よりも $O(n)$ の改善を達成する。

実験結果

リサーチクエスチョン

• RQ1 二ラウンド型 BFT プロトコルは、ビュー変更効率を損なわず、低遅延とフォーク攻撃に対する耐性を両立できるか？
• RQ2 ビュー変更時にのみ追加される小さな条件付き $O(n^2)$ オーバーヘッドが、全体のプロトコル性能とセキュリティに与える影響は何か？
• RQ3 フォーク攻撃下で、Fast-HotStuff は HotStuff よりもどれほど遅延とスループットにおいて優れているか？
• RQ4 悪意あるプライマリがコンセンサスの遅延を試みる状況下でも、プロトコルは応答性と線形ビュー変更を維持できるか？
• RQ5 提案されたプロトコルにおいて、計算コスト（例：ラグランジュ補間）と通信効率のトレードオフはどのようなものか？

主な発見

• Fast-HotStuff は通信の二ラウンドでコンセンサスを達成し、HotStuff の三ラウンド構造に比べて遅延を低減する。
• フォーク攻撃下でも、Fast-HotStuff は遅延とスループットの両面で HotStuff を上回る性能を発揮する。これは、ビュー変更時にのみ $O(n^2)$ の認証子を追加するにもかかわらず同様である。
• Fast-HotStuff のビュー変更オーバーヘッドは、DiemBFT(v4) よりも $O(n)$ 低い。これにより、署名検証コストと帯域幅使用量が顕著に削減される。
• Fast-HotStuff は、HotStuff や Wendy が追加のラウンドを強制される可能性がある性能攻撃に対しても耐性を示し、一貫した回復時間を維持する。
• しきい値署名構築におけるラグランジュ補間の二次コストがあるにもかかわらず、通信量と検証負荷が削減されているため、全体のプロトコル性能は依然として優れている。
• 実験結果により、$O(n^2)$ オーバーヘッドがブロックに含まれる状況でも、Fast-HotStuff は障害回復時において HotStuff よりも低い遅延を維持することが確認された。