[論文レビュー] Robustness and efficiency of leaderless probabilistic consensus protocols within Byzantine infrastructures

Angelo Capossele, Sebastian Müller+1 more|arXiv (Cornell University)|Nov 20, 2019

Distributed systems and fault tolerance参考文献 36被引用数 13

ひとこと要約

この論文は、局所的なランダム化と適応的停止ルールを用いて、Byzantineネットワークにおける耐障害性を向上させるリーダーレスで確率的なコンセンサスプロトコル（FPC）を提案する。最適なランダム性が悪意あるノードに対する耐性を著しく向上させ、10%までの悪意ある制御と部分的ネットワーク可視性下でも高い整合性と合意率を達成できることを示している。

ABSTRACT

This paper investigates leaderless binary majority consensus protocols with low computational complexity in noisy Byzantine infrastructures. Using computer simulations, we show that explicit randomization of the consensus protocol can significantly increase the robustness towards faulty and malicious nodes. We identify the optimal amount of randomness for various Byzantine attack strategies on different kinds of network topologies.

研究の動機と目的

• 計算オーバーヘッドを最小限に抑えて、リーダーレスな2値多数決コンセンサスプロトコルの耐障害性を向上させること。
• 中央集権的調整や故障検出に依存せずに、ランダマイゼーションが故障および悪意あるノードに対する耐性をどのように向上させるかを調査すること。
• 局所的な停止ルールを設計し、自主的終了を可能にするとともに、高い合意率と整合性率を維持すること。
• 非対称な誤動作タイプ（0-および1-整合性障害）の影響を分析し、それに応じてしきい値を最適化すること。
• 部分的ネットワーク可視性および異なる悪意ある戦略（慎重型および破壊的行動）下でのプロトコル性能を評価すること。

提案手法

• 局所的に生成されたまたは信頼できるランダム数を用いて、確率的意思決定を導入する簡略化されたFast Probabilistic Consensus（FPC）プロトコルを提案する。
• ノードが十分な局所的合意に達すると自主的に終了する局所的停止ルールを実装し、グローバルな調整の必要性を排除する。
• 最初のラウンドで0.5より大きい固定クォーラムしきい値を適用し、0と1の結果の非対称な重要性を反映させることで、特定の誤動作タイプに対する耐性を向上させる。
• 部分的ノード可視性を想定した小世界ネットワークトポロジーのシミュレーションにWatts-Strogatzモデルを適用し、ネットワーク認識の現実的評価を可能にする。
• 制御された悪意ある戦略下で合意、終了、整合性障害率を測定するために、統計的有意性を伴うシミュレーションベースの評価を実施する。
• 慎重型（一貫した応答）および破壊的行動（一貫しない応答）の2つの悪意あるモデルを評価し、最悪ケースの耐障害性を検証する。

実験結果

リサーチクエスチョン

• RQ1 故障検出が行われないリーダーレスコンセンサスプロトコルにおいて、ランダマイゼーションはByzantineネットワークの耐障害性をどのように向上させるか？
• RQ2 異なる悪意ある戦略下で、合意率と整合性率を最大化し、障害率を最小限に抑える最適なランダム性のレベルは何か？
• RQ3 部分的ネットワーク可視性（例：50%ノード認識）は、プロトコルの収束性と信頼性にどのように影響するか？
• RQ4 整合性または合意障害が発生しない範囲で、プロトコルは最大10%の悪意あるノード制御にどれほど耐えられるか？
• RQ5 非対称な誤動作タイプ（0-対比して1-整合性障害）は、コンセンサスプロトコルの設計と性能にどのように影響を与えるか？

主な発見

• ランダムしきい値が最適に調整されていれば、10%までのノードが悪意ある状況下でも、高い合意率と整合性率を達成できる。
• ランダマイゼーションは、慎重型および破壊的悪意ある戦略の影響を著しく低減し、特に終了および合意障害の発生を防止する。
• 50%のネットワーク認識下でも、リンググラフ上でのプロトコルは強力な性能を維持し、エッジのランダム再接続によりさらに性能が向上する。
• ノード1つあたりの平均メッセージ複雑度が一定であり、ネットワークサイズが増加するに従い、総メッセージ複雑度はO(n)に比例してスケーリングする。
• 悪意あるノードが一時的にランダム数生成を制御しても、プロトコルは耐障害性を保ち、障害を引き起こさずに僅かにコンセンサスの遅延を引き起こすにとどまる。
• ランダムしきい値の範囲を狭めることで耐障害性が向上し、しきい値が0.5に近づくほど、より多くのByzantineノードを耐えられるようになる。