[论文解读] Byzantine Convex Consensus: An Optimal Algorithm

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

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

一句话总结

本文提出了一种最优异步拜占庭凸共识（BCC）算法，使无故障节点能够在其输入的凸包内就一个凸多面体达成一致，该多面体在对抗性条件下实现了最优容错能力和最大输出多面体尺寸。该算法通过验证平均和基于矩阵的收敛机制，确保在 $\epsilon$-一致性和通过包含一个关键多面体 $I_Z$ 实现最优性。

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.

研究动机与目标

• 解决异步拜占庭凸共识（BCC）中实现最优输出多面体尺寸的开放问题。
• 通过保证在拜占庭故障的对抗条件下，共识多面体尽可能大，扩展先前关于BCC的研究。
• 确保算法在 $n \geq (d+2)f + 1$ 个节点下实现最优容错，与已知下界一致。
• 为BCC中的输出多面体提供正式定义与最优性证明，解决先前工作中遗留的开放问题。
• 设计一种分布式算法，在异步条件下具备拜占庭故障时的合法性、$\epsilon$-一致性与终止性。

提出的方法

• 提出一种名为最优验证平均的新算法，利用无故障节点的验证消息集构建稳定的输入核心。
• 将关键多面体 $I_Z$ 定义为所有 $|X_Z| - f$ 个验证输入子集的凸包的交集，作为共识输出的下界。
• 使用随时间演化的矩阵加权平均，通过转移矩阵 $\mathbf{M}^*_{ik}$ 建模状态演化，利用收缩因子 $\alpha < 1$ 确保收敛。
• 应用Hausdorff距离度量来衡量无故障节点间输出多面体的一致性，保证在有限轮次后实现 $\epsilon$-一致性。
• 利用无故障包含性（Fault-free Containment）性质，确保所有无故障节点至少共享 $n-f$ 条验证消息，从而实现一致的多面体构建。
• 在 $t_{\text{end}}$ 轮后终止算法，其中 $\alpha^{t_{\text{end}}} \sqrt{dn^2 \max(U^2, \mu^2)} < \epsilon$，确保收敛有界。

实验结果

研究问题

• RQ1 能否设计一种异步拜占庭凸共识算法，在对抗性条件下产生尽可能大的输出多面体？
• RQ2 是否可能在BCC中实现最优容错，同时保证输出多面体的尺寸在所有其他BCC算法中最大？
• RQ3 允许最优BCC可解的最小系统条件（以 $n$、$f$ 和 $d$ 表示）是什么？所提出的算法是否达到该界限？
• RQ4 如何构建一个多面体，使其保证包含于任何正确BCC算法的输出中，从而支持最优性证明？
• RQ5 能否通过矩阵收缩和欧几里得距离度量，对共识过程的收敛性进行形式化有界，以确保 $\epsilon$-一致性？

主要发现

• 所提出的最优验证平均算法保证，每个无故障节点的输出多面体均包含多面体 $I_Z$，即所有 $|X_Z| - f$ 个验证输入子集的凸包的交集。
• 该算法在所有无故障节点之间实现 $\epsilon$-一致性，任意两个此类多面体之间的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$ 一样大。