[論文レビュー] Distributed Consensus Resilient to Both Crash Failures and Strategic Manipulations

Xiaohui Bei, Wei Chen+1 more|arXiv (Cornell University)|Mar 20, 2012

Distributed systems and fault tolerance参考文献 18被引用数 7

ひとこと要約

本稿では、同期的システムにおけるクラッシュ障害と合理的エージェントによる戦略的操作の両方に耐性を持つ、最初のコンSENSUSプロトコルを提示する。2名の共謀者を耐容する決定論的プロトコルと、最大$ n-1 $名の共謀者を耐容する確率的プロトコルを提案し、共謀に強いナッシュ均衡を用いて、操作や障害に対しても安定性を確保する。

ABSTRACT

In this paper, we study distributed consensus in synchronous systems subject to both unexpected crash failures and strategic manipulations by rational agents in the system. We adapt the concept of collusion-resistant Nash equilibrium to model protocols that are resilient to both crash failures and strategic manipulations of a group of colluding agents. For a system with $n$ distributed agents, we design a deterministic protocol that tolerates 2 colluding agents and a randomized protocol that tolerates $n - 1$ colluding agents, and both tolerate any number of failures. We also show that if colluders are allowed an extra communication round after each synchronous round, there is no protocol that can tolerate even 2 colluding agents and 1 crash failure.

研究の動機と目的

• クラッシュ障害と合理的エージェントによる戦略的操作を併存させる故障耐性コンセンサスにおけるギャップを埋める。
• エージェントが利益を得るために共謀して結果を操作しても、依然として安定かつ一貫性を保つプロトコルを設計する。
• 予期しないクラッシュ障害と自己中心的なエージェントによる意図的なプロトコル操作の両方に耐性を持つことを保証する。
• 共謀者間にプライベートな通信チャネルが存在する場合の耐性限界を調査する。
• 共謀耐性とプロトコル設計の理論的限界を確立する。

提案手法

• 共謀に強いナッシュ均衡の概念を応用し、合理的エージェントによる協調的操作に対して耐性を持つプロトコルをモデル化する。
• 2名までの共謀者と任意の数のクラッシュ障害を耐容する決定論的プロトコルを設計し、ラウンドベースの意思決定メカニズムを用いる。
• 共謀者を最大$ n-1 $名まで耐容するため、予測可能な操作経路を防ぐためにランダム化を導入する確率的プロトコルを開発する。
• 独裁者に基づく解析を用いてプロトコルの耐性を証明する：いかなる障害パターンに対しても、一意に意思決定者とされるエージェントが特定される。
• 不可能性結果を証明するため、共謀者間のプライベートな通信が検出不能な操作を可能にし、2名以上の共謀者に対して耐性を達成できないことを示す。
• ラウンドごとのメッセージ削除の議論を適用し、共謀者間にプライベートな通信が許可される任意のプロトコルが、2名以上の共謀者に対して耐性を持てないことを示す。

実験結果

リサーチクエスチョン

• RQ1 クラッシュ障害と合理的エージェントによる戦略的操作の両方に耐性を持つコンセンサスプロトコルを設計することは可能か？
• RQ2 クラッシュ障害を伴う同期的システムにおいて、コンセンサスプロトコルが耐容できる共謀者数の最大値は何か？
• RQ3 ランダム化を用いることで、$ n-1 $名の共謀者に対する耐性を達成することは可能か？
• RQ4 共謀者がプライベートな通信チャネルにアクセスできる場合、コンセンサスプロトコルの根本的限界は何か？
• RQ5 決定論的プロトコルは、クラッシュ障害と戦略的操作の両方に対して耐性を保ちつつ、2名を超える共謀者を耐容できるか？

主な発見

• 2名までの共謀者と任意の数のクラッシュ障害を耐容する決定論的コンセンサスプロトコルを提示し、構造的なラウンドベース意思決定プロセスにより耐性を達成する。
• $ n-1 $名までの共謀者を耐容する確率的コンセンサスプロトコルを設計し、ランダム化が戦略的操作に対するより強い耐性を可能にすることを示す。
• 共謀者間にプライベートな通信が存在する同期的システムにおいて、2名以上の共謀者と1件のクラッシュ障害を同時に耐容する任意の確率的プロトコルは存在しないことを証明する。
• 共謀者間にプライベートな通信が許可される任意のプロトコルは、ランダム化があっても2名以上の共謀者に対して耐性を持てないことが示され、検出不能なメッセージ省略攻撃が原因である。
• メッセージ削除を重要なラウンドで分析することで不可能性結果を確立し、共謀者が非対称なメッセージ受信を悪用して独裁者結果を変更できることを示す。
• 提案されたプロトコルのラウンド複雑度は$ 2f+2 $または$ 3f+4 $であり、標準のクラッシュのみ耐容プロトコルの$ f+1 $より高いことから、戦略的耐性のための妥当なトレードオフであることが示される。