[論文レビュー] Byzantine Lattice Agreement in Asynchronous Systems

Xiong Zheng, Vijay K. Garg|arXiv (Cornell University)|Feb 17, 2020

Distributed systems and fault tolerance参考文献 28被引用数 6

ひとこと要約

この論文は、デジタル署名なしで f < n/5 のByzantine障害を耐容し、デジタル署名ありで f < n/3 を耐容する非同期メッセージ渡しシステムにおけるByzantineラティス合意（BLA）の O(log f) ラウンドアルゴリズムを提示する。解決策は、信頼性の高いブロードキャストと認証メッセージに依存する新しいByzantine耐性分類手順を用い、プロセスをスレーブおよびマスターサブグループに再帰的にグループ化することで、ジョイン半順序集合における出力の比較可能性、下方妥当性、上方妥当性を保証する。

ABSTRACT

We study the Byzantine lattice agreement (BLA) problem in asynchronous distributed message passing systems. In the BLA problem, each process proposes a value from a join semi-lattice and needs to output a value also in the lattice such that all output values of correct processes lie on a chain despite the presence of Byzantine processes. We present an algorithm for this problem with round complexity of O(log f) which tolerates f < n/5 Byzantine failures in the asynchronous setting without digital signatures, where n is the number of processes. This is the first algorithm which has logarithmic round complexity for this problem in asynchronous setting. Before our work, Di Luna et al give an algorithm for this problem which takes O(f) rounds and tolerates f < n/3 Byzantine failures. We also show how this algorithm can be modified to work in the authenticated setting (i.e., with digital signatures) to tolerate f < n/3 Byzantine failures.

研究の動機と目的

• 非同期分散システムにおけるByzantine障害下でのByzantineラティス合意（BLA）問題を解決すること。
• 非認証および認証設定の両方で、最適なラウンド複雑度 O(log f) を達成すること。
• f < n/5（非認証）または f < n/3（認証）のByzantineプロセスが存在する場合でも、妥当性および比較可能性の性質を維持するレジリエントな解決策を提供すること。
• Byzantine環境下で原子的スナップショットオブジェクトおよび線形的可視性を有するレプリカ状態機械を実装するために実用的であることを可能にすること。

提案手法

• 値の比較に基づき、プロセスをスレーブおよびマスターのサブグループに再帰的に分割する、Byzantine耐性分類手順を設計する。
• Byzantineプロセスの存在下でもメッセージ配信および整合性を保証するため、認証メッセージを用いた信頼性の高いブロードキャスト（RB）プリミティブを採用する。
• 偽造を防止し、メッセージ配信および値の伝搬における整合性を保証するため、署名付きメッセージと署名検証を用いる。
• 値の伝搬を制御し、再帰的ラウンド全体で正しさを保証するため、しきい値パラメータを用いた階層的分類木を適用する。
• 書き込み-読み取りおよびマスター-スレーブ分類ステップを導入し、プロセスの役割を特定し、値を伝搬しながらラティス性質を維持する。
• ジョイン半順序集合構造を活用し、出力が下方妥当性（入力 ≤ 出力）および上方妥当性（出力 ≤ 全入力と最大 t 個のByzantine値の join）を満たすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 デジタル署名なしで f < n/5 のByzantine障害を許容する非同期システムにおいて、Byzantineラティス合意を O(log f) ラウンドで解けるか？
• RQ2 認証システムにおいて、O(log f) ラウンド複雑度を維持したまま、耐性を f < n/3 まで向上させられるか？
• RQ3 信頼性の高いブロードキャストメカニズムをどのようにByzantine障害に耐性を持たせ、正しい値分類を保証できるか？
• RQ4 分類手順は、Byzantineプロセスが存在する状況下で、比較可能性および妥当性を保証するために果たす役割は何か？
• RQ5 Byzantineラティス合意において、低ラウンド複雑度と高い耐性の両方を達成することは可能か？

主な発見

• 非認証環境では、f < n/5 のByzantine障害を許容する非同期システムにおけるByzantineラティス合意の O(log f) ラウンドアルゴリズムが提示された。
• 認証環境では、デジタル署名と認証付き信頼性の高いブロードキャストを用いることで、O(log f) ラウンドで f < n/3 のByzantine障害を許容する。
• 信頼性の高いブロードキャストとメッセージ署名検証に基づく再帰的分類手順を用いることで、プロセスをスレーブおよびマスターのグループに正しく分類する。
• 分類手順の正しさは、(p1)〜(p11)の性質を用いて証明され、特にスレーブグループの値集合のサイズがしきい値 k で有界であり、マスターバリューがスレーブバリューを支配することを含む。
• アルゴリズムは下方妥当性（正しく動作するプロセスについて xi ≤ yi）および上方妥当性（B がByzantine値の集合のとき ⊔{yi} ≤ ⊔({xi} ∪ B)）を保証する。
• 総メッセージ複雑度は O(n² log f) であり、与えられたラウンド複雑度と障害耐性に対して効率的である。