[論文レビュー] Iterative Approximate Byzantine Consensus in Arbitrary Directed Graphs - Part II: Synchronous and Asynchronous Systems

Nitin H. Vaidya, Lewis Tseng+1 more|arXiv (Cornell University)|Feb 28, 2012

Distributed systems and fault tolerance参考文献 5被引用数 8

ひとこと要約

本稿は、同期的および非同期的システム下で、任意の有向グラフにおける反復的近似Byzantine合意（IABC）のための、新しい必要十分条件を提示する。この条件は、ソース成分と縮小グラフに基づくより直感的なグラフ理論的条件であり、f個までのByzantine障害が存在する状況下でも、指数関数的誤差減衰を伴うIABCアルゴリズムの収束を保証する。

ABSTRACT

This report contains two related sets of results with different assumptions on synchrony. The first part is about iterative algorithms in synchronous systems. Following our previous work on synchronous iterative approximate Byzantine consensus (IABC) algorithms, we provide a more intuitive tight necessary and sufficient condition for the existence of such algorithms in synchronous networks1. We believe this condition and the previous results also hold in partially asynchronous algorithmic model. In the second part of the report, we explore the problem in asynchronous networks. While the traditional Byzantine consensus is not solvable in asynchronous systems, approximate Byzantine consensus can be solved using iterative algorithms.

研究の動機と目的

• 同期的システム下で、任意の有向グラフにおける反復的近似Byzantine合意（IABC）アルゴリズムの存在について、より直感的な必要十分条件を確立すること。
• 従来のByzantine合意が不可能であるが近似合意が可能な非同期システムへ、IABCフレームワークを拡張すること。
• ネットワーク構造、特にソース成分と縮小グラフの役割が、Byzantine障害下でも合意を可能にする要因であることを形式化すること。
• 新しい条件の下でIABCアルゴリズムの収束を証明し、明示的な誤差減衰率を定量的に示すこと。
• 結果が部分的に非同期モデルへ拡張可能であることを示し、現実の分散システムへの適用範囲を広げること。

提案手法

• 強連結成分（SCC）へのグラフ分解を導入し、その分解グラフ（H^d）を定義する。これは有向無閉路グラフ（DAG）である。
• ソース成分を、分解グラフ内にインバウンドエッジを持たないSCCとして定義する。これにより、情報伝搬の出発点が保証される。
• 各非故障ノードから最大f個のインバウンドリンクを削除することで、縮小グラフG_Fを構築する。これにより、Byzantineノードの最悪影響がモデル化される。
• 区間境界を用いた再帰的解析を適用する：非故障ノード全体における最大値U[t]（上限）と最小値μ[t]（下限）の差が時間とともに減少することを示す。
• 伝搬条件を用いる：集合Rが集合Lに伝搬する場合、各伝搬ステップで状態区間の幅が少なくとも(1 - α^l / 2)の要因で縮小される。
• 伝搬遅延l(τ_{i-1})を用いて定義される再帰的列τ_iを用い、収束時間をバウンディングする。これにより、合意誤差の指数関数的減衰が証明される。

実験結果

リサーチクエスチョン

• RQ1 同期的システム下で、任意の有向グラフにおけるIABCアルゴリズムの存在について、より直感的な必要十分条件は何か？
• RQ2 従来のByzantine合意が不可能な非同期システムにおいて、IABC問題はどのように解決可能か？
• RQ3 ネットワークグラフのどの構造的性質（例えば、ソース成分、接続性）が、f個のByzantine障害が存在する状況下でもIABCの収束を可能にするか？
• RQ4 同期的および非同期的設定下で、IABCの収束特性を明示的な誤差減衰率で定量的に示せるか？
• RQ5 結果はどの程度部分的に非同期モデルへ拡張可能か？

主な発見

• 同期的システム下でのIABCについて、ソース成分と縮小グラフに基づく、より直感的な新しい必要十分条件が確立された。
• この条件は、非故障ノードをL, R, C, F（F ≤ f）に分割する任意のケースについて、C∪R ⇒ L または L∪C ⇒ R のいずれかが成立することを要請する。これにより、重要な集合間での情報伝搬が保証される。
• 非同期システム下でも、IABCは反復的アルゴリズムを用いて解けることが示され、同じグラフ理論的条件下で収束が証明された。
• 合意誤差U[t] - μ[t]は時間とともに指数関数的に減少し、各伝搬ステップで(1 - α^l / 2)の要因でバウンディングされる。ここでα ∈ (0,1]、lは伝搬遅延である。
• 任意のε > 0に対して、有限時間τ内に収束が保証され、U[τ] - μ[τ] ≤ εを満たす。また、t ≥ τのすべての時点で誤差は有界のまま保たれる。
• f個までのByzantineノードの最悪行動、すなわちシステム状態およびアルゴリズム設計の完全な知識を有する状況に対しても、結果は頑健である。