[論文レビュー] Byzantine Agreement with Faulty Majority using Bounded Broadcast

Jeffrey Considine, Leonid A. Levin+1 more|arXiv (Cornell University)|Dec 26, 2000

Distributed systems and fault tolerance参考文献 12被引用数 4

ひとこと要約

この論文は、k-キャストチャネル（k人への認証済み信頼性のある通信）を用いて、不正な多数（1/3未満の健全な多数でない）を許容するバシルトゥン合意プロトコルを提示している。ここで、f が不正な参加者の数、h が健全な参加者の数であるとき、ブロードキャストが実装可能であるのは 2f < kh が成り立つ場合に限ることを証明している。プロトコルは信頼グラフとメッセージに対する再帰的合意を用いて、攻撃的制御下でも一貫した出力を保証する。

ABSTRACT

Byzantine Agreement introduced in [Pease, Shostak, Lamport, 80] is a widely used building block of reliable distributed protocols. It simulates broadcast despite the presence of faulty parties within the network, traditionally using only private unicast links. Under such conditions, Byzantine Agreement requires more than 2/3 of the parties to be compliant. [Fitzi, Maurer, 00], constructed a Byzantine Agreement protocol for any compliant majority based on an additional primitive allowing transmission to any two parties simultaneously. They proposed a problem of generalizing these results to wider channels and fewer compliant parties. We prove that 2f &lt; kh condition is necessary and sufficient for implementing broadcast with h compliant and f faulty parties using k-cast channels.

研究の動機と目的

• 従来のバシルトゥン合意が健全な多数（不正が1/3未満）を要することに起因する制限を克服し、不正な参加者が健全な参加者を上回る状況でも信頼性のあるブロードキャストを可能にすること。
• 3参加者用のブロードキャストプリミティブの先行研究を、特にプライベートチャネルに依存しない広域通信チャネル（k-キャストチャネル）に一般化すること。
• 不正多数を許容するバシルトゥン合意が可能となる最小限の通信仮定（k-キャスト）を同定すること。
• h 健全参加者と k-キャストチャネルが与えられたもとで、耐えられる不正参加者の数にタイトな境界を確立すること。

提案手法

• 送信者が一度の送信で正確に k 人の受信者に認証済みで信頼性のあるブロードキャストを可能にする k-キャストチャネルプリミティブを導入する。
• 参加者をノードとし、送信者から受信したメッセージの報告が一貫する関係をエッジとする信頼グラフを構築する；グラフ内のクリークは健全な参加者グループを表す。
• 二中心のスターブリッジ（両中心がすべてのノードに接続されたスターブリッジ）に属するエッジのみを保持するプリーニングプロセスを適用し、健全なクリークに属する可能性のあるエッジのみを残す。
• メッセージに対する再帰的バシルトゥン合意を用いる：各参加者は受信したすべてのメッセージを配布し、他の参加者はそれらのメッセージについて再帰的にプロトコルを実行して合意を得る。
• 下界を証明するためにチェーンベースの敵対戦略を用いる：2f ≥ kh ならば、敵は (k,h)-チェーンに送信者コピーを隔離することで、矛盾する視点を生成できる。
• 2つの異なる送信者クラスタ S₀ と S₁ を結ぶ任意の経路は、k 人以上の受信者を含む必要があることから、(k,h)-チェーンが存在し、結果として 2f ≥ kh が導かれる。

実験結果

リサーチクエスチョン

• RQ1 不正多数を許容するバシルトゥン合意を実現するために必要な最小限の通信プリミティブは何か？
• RQ2 不正参加者の数が健全参加者を上回る状況で、k-キャストチャネルを用いて信頼性のあるブロードキャストを達成できる条件は何か？
• RQ3 健全参加者数と k-キャストチャネルのサイズを用いて、耐えられる不正参加者の数にタイトな境界が存在するか？
• RQ4 不正多数の状況下でも、k-キャストチャネルを用いてブロードキャストとコンセンサスの等価性を保てるか？

主な発見

• f が不正参加者の数、h が健全参加者の数であるとき、k-キャストチャネルを用いたバシルトゥン合意を実装するための必要十分条件は 2f < kh である。
• 2f ≥ kh ならば、敵は (k,h)-リングまたは (k,h)-チェーンを構築して矛盾する視点を生成でき、あらゆる合意プロトコルを破壊できる。
• 送信者が不正である場合、欠落している参加者を不正とみなす限り、h + f 人未満の参加者でもプロトコルは成功する。メッセージに対する再帰的合意を用いて一貫した信頼グラフを構築する。
• 信頼グラフにおいて2つの異なる送信者クラスタ S₀ と S₁ を結ぶ経路が存在するならば、(k,h)-チェーンが存在し、2f ≥ kh が導かれる。これは 2f < kh の仮定に矛盾する。
• 信頼グラフのプリーニングプロセスにより、二中心スターブリッジを通じて潜在的な健全なクリークに属するエッジのみが保持され、一貫した出力の検出が可能になる。
• プロトコルは、すべての健全参加者が同一の値を出力することを保証し、送信者クラスタ S_m への経路が存在する場合は m を出力し、そうでない場合は 0 を出力する。