[論文レビュー] Byzantine Convex Consensus: An Optimal Algorithm

Lewis Tseng, Nitin H. Vaidya|arXiv (Cornell University)|Jul 4, 2013

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

ひとこと要約

この論文は、敵対的条件下でも、故障のないノードが入力の凸包内にあり、最適な故障耐性と最大の出力多面体サイズを達成する、最適な非同期Byzantine凸共鳴（BCC）アルゴリズムを提示する。アルゴリズムは、検証済み平均化と行列ベースの収束を用い、臨界的多面体 $I_Z$ の包含を通じて $\epsilon$-合意と最適性を保証する。

ABSTRACT

Much of the past work on asynchronous approximate Byzantine consensus has assumed scalar inputs at the nodes [4, 8]. Recent work has yielded approximate Byzantine consensus algorithms for the case when the input at each node is a d-dimensional vector, and the nodes must reach consensus on a vector in the convex hull of the input vectors at the fault-free nodes [9, 13]. The d-dimensional vectors can be equivalently viewed as points in the d-dimensional Euclidean space. Thus, the algorithms in [9, 13] require the fault-free nodes to decide on a point in the d-dimensional space. In our recent work [arXiv:/1307.1051], we proposed a generalization of the consensus problem, namely Byzantine convex consensus (BCC), which allows the decision to be a convex polytope in the d-dimensional space, such that the decided polytope is within the convex hull of the input vectors at the fault-free nodes. We also presented an asynchronous approximate BCC algorithm. In this paper, we propose a new BCC algorithm with optimal fault-tolerance that also agrees on a convex polytope that is as large as possible under adversarial conditions. Our prior work [arXiv:/1307.1051] does not guarantee the optimality of the output polytope.

研究の動機と目的

• 非同期Byzantine凸共鳴（BCC）において、最適な出力多面体サイズを達成するという未解決問題に取り組む。
• BCCに関する先行研究を拡張し、敵対的Byzantine故障下でも、共鳴多面体が可能な限り大きく保証されるようにする。
• 故障耐性が最適となるように、$n \geq (d+2)f + 1$ 個のノードを用いることで、既知の下界と一致する。
• BCCにおける出力多面体の最適性について、形式的な定義と証明を提供し、先行研究における未解決問題を解決する。
• 非同期状態下でByzantine故障が存在する条件下でも、有効性、$\epsilon$-合意、終了を満たす分散アルゴリズムを設計する。

提案手法

• 故障のないノードからの検証済みメッセージ集合を用いて、安定な入力コアを構築する、新しいアルゴリズム「最適検証平均化」を導入する。
• キーポリトープ $I_Z$ を定義し、検証済み入力の $|X_Z| - f$ 部分集合のすべての凸包の共通部分として定義する。これは共鳴出力の下界を表す。
• 時間経過に伴う行列重み付き平均化を用い、遷移行列 $\mathbf{M}^*_{ik}$ を用いて状態の進化をモデル化し、収束を収縮係数 $\alpha < 1$ を用いて保証する。
• 故障のないノード間の出力多面体の合意度を測るために、Hausdorff距離測度を用い、有限ラウンド後に $\epsilon$-合意が保証される。
• 故障のない包含性（Fault-free Containment）特性を活用し、すべての故障のないノードが少なくとも $n-f$ 個の検証済みメッセージを共有できることを保証し、一貫性のある多面体構築を可能にする。
• 収束が有界であることを保証するため、$\alpha^{t_{\text{end}}} \sqrt{dn^2 \max(U^2, \mu^2)} < \epsilon$ を満たす最小の整数 $t_{\text{end}}$ ラウンド後にアルゴリズムを終了させる。

実験結果

リサーチクエスチョン

• RQ1 敵対的条件下でも、最大の出力多面体を生成できる非同期Byzantine凸共鳴アルゴリズムを設計することは可能か？
• RQ2 Byzantine故障が存在する中で、最適な故障耐性を達成しつつ、他のすべてのBCCアルゴリズムと比較して出力多面体が最大であることを保証することは可能か？
• RQ3 最適BCCが解けるために必要な最小のシステム条件（$n$, $f$, $d$ に関して）は何か？ また、提案されたアルゴリズムはこの境界を満たしているか？
• RQ4 いかなる正しいBCCアルゴリズムの出力に必ず含まれる多面体を構築する方法は何か？ これにより最適性の証明が可能になる。
• RQ5 行列収縮とユークリッド距離測度を用いて、共鳴プロセスの収束を形式的に境界づけることは可能か？ これにより $\epsilon$-合意が保証される。

主な発見

• 提案された最適検証平均化アルゴリズムは、各故障のないノードにおける出力多面体が、検証済み入力の $|X_Z| - f$ 部分集合のすべての凸包の共通部分である多面体 $I_Z$ を含むことを保証する。
• アルゴリズムは、すべての故障のないノード間で $\epsilon$-合意を達成し、任意の2つの出力多面体間のHausdorff距離が $t_{\text{end}}$ ラウンド後に $\epsilon$ 以下に抑えられることを保証する。
• 出力多面体は、同じ敵対的条件下で他のいかなるBCCアルゴリズムよりも大きな出力多面体を生成できないという意味で、形式的に最適であることが証明されている。
• アルゴリズムは有限時間で終了し、$t_{\text{end}}$ ラウンドは $\alpha^{t_{\text{end}}} \sqrt{dn^2 \max(U^2, \mu^2)} < \epsilon$ を満たす最小の整数として定義され、収束が保証される。
• 下界 $n \geq (d+2)f + 1$ は、BCCの解法にとって必要かつ十分であり、アルゴリズムはこの境界を満たし、最適な故障耐性を達成する。
• 証明により、すべての故障のないノード $i$ およびすべてのラウンド $t \geq 0$ に対して $I_Z \subseteq h_i[t]$ が成り立つことが示され、出力多面体が常に $I_Z$ 以上であることが保証される。