[論文レビュー] Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR

Oded Naor, Idit Keidar|arXiv (Cornell University)|Jan 1, 2020

Distributed systems and fault tolerance被引用数 6

ひとこと要約

この論文は、ビザンチン状態機械複製（SMR）における期待線形メッセージ複雑性と期待定数ラテンシを達成する、新しいラウンド同期アルゴリズムを提示する。ビザンチン故障下でも性能を維持できる。リレーベースのしきい値署名メカニズムと遅延するプロセスを補助するメカニズムを用いることで、従来の解決策の二次的通信コストを排除し、初めてのエンドツーエンド線形ビザンチンSMRプロトコルを実現し、最適なパフォーマンスを達成する。

ABSTRACT

State Machine Replication (SMR) solutions often divide time into rounds, with a designated leader driving decisions in each round. Progress is guaranteed once all correct processes synchronize to the same round, and the leader of that round is correct. Recently suggested Byzantine SMR solutions such as HotStuff, Tendermint, and LibraBFT achieve progress with a linear message complexity and a constant time complexity once such round synchronization occurs. But round synchronization itself incurs an additional cost. By Dolev and Reischuk’s lower bound, any deterministic solution must have Ω(n²) communication complexity. Yet the question of randomized round synchronization with an expected linear message complexity remained open. We present an algorithm that, for the first time, achieves round synchronization with expected linear message complexity and expected constant latency. Existing protocols can use our round synchronization algorithm to solve Byzantine SMR with the same asymptotic performance.

研究の動機と目的

• 二次的通信コストを伴うラウンド同期によって引き起こされるビザンチンSMRプロトコルの性能ボトルネックを解消すること。
• 従来の解決策が二次的複雑性を有するか、または健全な障害にしか対応できない中で、ビザンチンラウンド同期の期待複雑性のギャップを埋めること。
• 無作為または強い敵対者モデル下で、ビザンチンプロセスが存在する状況においても、期待線形メッセージ複雑性と定数ラテンシを達成すること。
• HotStuff、Tendermint、LibraBFTなどの既存のSMRプロトコルに統合可能で、モジュール的かつ合成可能なソリューションを提供すること。
• 通信オーバーヘッドを最小限に抑えつつ、新規のリレーベースのしきい値署名とリカバリメカニズムにより、ビザンチン故障下でも正しさと進行性を保証すること。

提案手法

• 同期化論理を分離するため、ラウンド同期を同期化抽象化とローカル関数に分解する。
• 全プロセスにブロードキャストする代わりに、各プロセスが指定されたリレーエージェントにメッセージを送信するリレーベースのメッセージ配布を採用する。
• しきい値署名を用いて複数のメッセージを1つの定数サイズの署名に圧縮し、1ラウンドあたりO(n)に通信量を削減する。
• 遅延するプロセスが全対全ブロードキャストを経由せずに、O(n)のメッセージで現在のラウンドに追いつける「補助」メカニズムを導入する。
• リレーフォージェリーやリプレイ攻撃を防ぐために、各メッセージに意図されたリレーを署名する。
• リレー選択とメッセージ集約にランダム化を導入することで、ビザンチンリレーおよび悪意ある行動に対する耐性を確保する。

実験結果

リサーチクエスチョン

• RQ1 ビザンチンSMRにおけるラウンド同期は、期待線形メッセージ複雑性と定数ラテンシで達成可能か？
• RQ2 ビザンチン故障を耐容しつつ、ラウンド同期の期待通信コストを二次的以下に削減することは可能か？
• RQ3 リレーベースシステムは、ビザンチンリレーがメッセージを意図的に転送しないように防止できるか、メッセージ爆発を防げるか？
• RQ4 キャッチアップメカニズムにより、全対全通信を伴わずに遅延プロセスが効率的に同期できるか？
• RQ5 強い敵対者下でのラウンド同期の性能バウンダリーは何か？また、無限実行において期待値としてバウンデッドにできるか？

主な発見

• 提案されたアルゴリズムは、無作為敵対者下で、期待線形メッセージ複雑性と期待定数ラテンシを達成する。
• 強い敵対者下では、無限実行における平均期待メッセージ複雑性とラテンシが、それぞれ線形および定数の値でバウンデッドである。
• しきい値署名の使用により、プロセス数に関係なく、各メッセージは定数サイズで通信される。
• 補助メカニズムにより、遅延するプロセスは全対全ブロードキャストを回避して、O(n)のメッセージで現在のラウンドに追いつける。
• メッセージ署名としきい値ベースの集約により、悪意あるリレーを含むビザンチン故障に対しても耐性を示す。
• このソリューションは、ビザンチンSMRにおける重要な性能ギャップを埋め、HotStuff や LibraBFT などのプロトコルに対してエンドツーエンド線形複雑性を実現する。