[論文レビュー] Breaking the O(n^2) Bit Barrier: Scalable Byzantine agreement with an Adaptive Adversary

Valerie King, Jared Saia|arXiv (Cornell University)|Feb 24, 2010

Distributed systems and fault tolerance参考文献 19被引用数 46

ひとこと要約

この論文は、各プロセッサあたりの通信量を $\tilde{O}(n^{1/2})$ ビットに削減することで、適応的で急き立てられる敵対者に対しても高い確率で成功する、スケーラブルなバシニンスキー合意プロトコルを提示する。このプロトコルは、新規のグローバルコイン部分列プリミティブと効率的なメッセージ集約を活用し、$O(n^2)$ の通信障壁を打ち破り、最小限のオーバーヘッドで大規模ネットワークにおける実用的合意を可能にする。

ABSTRACT

We describe an algorithm for Byzantine agreement that is scalable in the sense that each processor sends only $ ilde{O}(\sqrt{n})$ bits, where $n$ is the total number of processors. Our algorithm succeeds with high probability against an \emph{adaptive adversary}, which can take over processors at any time during the protocol, up to the point of taking over arbitrarily close to a 1/3 fraction. We assume synchronous communication but a \emph{rushing} adversary. Moreover, our algorithm works in the presence of flooding: processors controlled by the adversary can send out any number of messages. We assume the existence of private channels between all pairs of processors but make no other cryptographic assumptions. Finally, our algorithm has latency that is polylogarithmic in $n$. To the best of our knowledge, ours is the first algorithm to solve Byzantine agreement against an adaptive adversary, while requiring $o(n^{2})$ total bits of communication.

研究の動機と目的

• 従来 $O(n^2)$ ビットでスケーリングするバシニンスキー合意プロトコルにおける高い通信オーバーヘッドという長年の課題に取り組むこと。
• 実行中における任意の時点で最大 $1/3 - \epsilon$ のプロセッサを破壊可能な適応的敵対者に対しても、効率的かつ正しく動作するプロトコルを設計すること。
• 適応的破壊に対して正しく保証されつつ、サブ2次式の通信複雑性を達成し、同期的かつプライベートチャネルモデルで低遅延と強い正しさ保証を維持すること。
• ピアツーピアシステム、クラウドコンピューティング、センサーネットワークなどの大規模ネットワークにおけるバシニンスキー合意の実用的導入を可能にすること。
• $\tilde{O}(\sqrt{n})$ の通信量で十分であることを示すこと。

提案手法

• 2段階のアプローチを採用：まずグローバルコイン部分列プリミティブを用いてほぼ至る所での合意を達成し、次に合意値をすべての健全プロセッサに伝搬する。
• 健全プロセッサの $1 - 1/\log n$ の割合が合意する多項対数長の均一乱数ビット列を生成するグローバルコイン部分列問題を導入する。
• プロセッサが知識のあるノードにラベルを送信するランダム化されたリクエスト・レスポンスメカニズムを採用し、チェルノフ不等式を用いて高い確率での正しさを保証する。
• マコフ不等式とチェルノフ不等式を適用して、プロセッサの過負荷およびメッセージ衝突の確率を抑え、スケーラビリティを確保する。
• 鍵となる技術として、プライベートチャネルと急き立てられる敵対者モデルを採用し、敵対者が自らのメッセージを送る前にすべての健全メッセージを観測できるが、依然として高い確率でプロトコルが成功することを保証する。
• サブルーチンの並列実行とプロセッサ間でのランダム値の効率的集約を活用することで、多項対数時間内にアルゴリズムを実行する。

実験結果

リサーチクエスチョン

• RQ1 適応的敵対者に対して $o(n^2)$ ビットの合計通信量でバシニンスキー合意を達成できるか？
• RQ2 適応的破壊に対しても正しく保証されつつ、各プロセッサあたり $\tilde{O}(\sqrt{n})$ の通信量で動作するプロトコルを設計できるか？
• RQ3 多項対数長かつ健全プロセッサ間で高い合意確率を持つグローバルコイン部分列プリミティブを構築できるか？
• RQ4 適応的で急き立てられる敵対者のもとで、バシニンスキー合意に必要な最小通信複雑性は何か？
• RQ5 これらの技術を、サブ2次式の通信量を有する安全なマルチパーティ計算に拡張できるか？

主な発見

• プロトコルは各プロセッサあたり $\tilde{O}(\sqrt{n})$ ビットの通信量でバシニンスキー合意を達成し、$O(n^2)$ の通信障壁を打ち破った。
• 適応的敵対者が最大 $1/3 - \epsilon$ のプロセッサを制御する状況下でも、成功確率が $1 - 1/n^c$（任意の定数 $c$）である高い確率で成功する。
• アルゴリズムは多項対数時間内に実行され、具体的には $O(\operatorname{polylog}(n))$ ラウンドで実行され、低遅延を実現する。
• グローバルコイン部分列プリミティブは長さ $\tilde{O}(\log n)$ の列を生成し、そのうち $\Omega(\log n)$ ビットの均一乱数ビットが、$1 - 1/\log n$ の健全プロセッサが合意する。
• 1ループでの失敗確率は $n^{-2c}$ で抑えられ、プロトコルを $O(\epsilon \log n)$ 回繰り返すことで、全体の失敗確率を $1 - 1/n^c$ に低減できる。
• すべてのプロセッサが合意に至る「至る所バシニンスキー合意」プロトコルは、最終段階での効率的な集約により、全合意を達成しても依然として各プロセッサあたり $\tilde{O}(\sqrt{n})$ の通信コストを維持する。