[論文レビュー] Hot-Stuff the Linear, Optimal-Resilience, One-Message BFT Devil.

Ittai Abraham, Guy Golan Gueta+1 more|arXiv (Cornell University)|Mar 13, 2018

Distributed systems and fault tolerance被引用数 33

ひとこと要約

Hot-Stuff は、$ n = 3f+1 $ レプリカを対象としたビザンチンフォールト耐性（BFT）コンセンサスプロトコルであり、1ラウンドあたり線形の通信複雑性を達成し、合計コストを $ O(n^2) $ に削減しながら、$ f $ 個のビザンチンフォールトに対して最適なレジリエンスを維持する。1種類のメッセージタイプと簡潔な設計を採用しており、非同期下でも安全であり、同期下では進行を保証する。

ABSTRACT

We describe a protocol called `Hot-Stuff the Linear, Optimal-Resilience, One-Message BFT Devil' (in short, Hot-Stuff) for $n = 3f+1$ replicas, of which $2f+1$ are honest, to agree on a replicated, ever-changing state. The protocol is always safe against a threshold $f$ of Byzantine failures, even when the system is asynchronous. Progress is guaranteed under periods of synchrony. The per-round communication cost in Hot-Stuff is linear, hence $O(n^2)$ overall cost to a decision during periods of synchrony, an improvement of $O(n^2)$ over previous asynchronous BFT protocols. Hot-Stuff uses one type of message exchange, and is succinctly described in under twenty lines of pseudo-code.

研究の動機と目的

• $ n = 3f+1 $ レプリカからなるシステムにおいて、$ f $ 個のビザンチンフォールト耐性を達成する最適なレジリエンスを持つBFTコンセンサスプロトコルの設計。
• 従来の非同期BFTプロトコルと比較して、1ラウンドあたりの通信コストを線形複雑性に低減すること。
• 長時間にわたる非同期状態下でも安全を保証し、悪意ある条件下でも一貫性を維持すること。
• 1種類のメッセージ交換のみを用いることでプロトコル設計を簡素化し、簡潔な実装を可能とすること。

提案手法

• プロトコルは、プライマリレプリカがブロックを提示し、クorumに基づく投票によってコンセンサスに到達するビューに基づくアプローチを採用する。
• 2段階の投票メカニズム（前準備段階と準備段階）を採用し、1ラウンドあたり1つのメッセージで通信オーバーヘッドを低減する。
• 有効な意思決定を形成するために、$ 2f+1 $ 個の前準備済みおよび準備済みの投票に基づくクorum証明書を活用する。
• 増加するシーケンス番号を持つ準備済みブロックのチェーンを用いることで、ライブネスを維持し、フォークを防ぐ。
• 1ビューごとに1つのブロックしかコミットされないことを保証することで、二重送信を防ぎ、安全を確保する。
• プロトコルは非同期下で安全であることが形式的に証明されており、同期下では進行が保証され、最小限のメッセージ交換に依存する。

実験結果

リサーチクエスチョン

• RQ1 BFTプロトコルは、最適なレジリエンスを維持しながら、1ラウンドあたり線形の通信複雑性を達成できるか？
• RQ2 1つのメッセージ交換パターンを用いることで、ビザンチン環境下で安全とライブネスの両方を達成できるか？
• RQ3 無期限の非同期状態下でも安全を保証でき、同期状態でのみ進行が保証されるBFTプロトコルは可能か？
• RQ4 最小限のコード量で実装可能な簡潔で形式的に検証可能なBFTプロトコルを設計できるか？

主な発見

• Hot-Stuff は、同期状態が続く間、時間経過に伴い $ O(n^2) $ の合計通信コストを達成し、従来のプロトコルと比較して $ O(n^2) $ 倍の改善を実現する。
• 非同期状態下にあっても、$ f $ 個のビザンチンフォールトに対して安全を保証し、悪意ある条件下でも一貫性を維持する。
• システムが同期状態に入ると進行が保証され、有利な条件下でのライブネスを確保する。
• プロトコルは1種類のメッセージのみを用い、20行未満の擬似コードで簡潔に実装可能である。
• プロトコルの設計は形式的に検証可能であり、クorum保護付きのブロックチェーンを用いることでフォークを防ぎ、一貫性を確保する。