具有密集拜占庭错误的未知环上的共识
摘要：用Byzantine故障解决环上的共识问题的一个解决方案. 任何对$f$个Byzantine故障容忍的经典共识方案都需要$2f+1$个节点不相交路径. 由于环的连接有限, 这个限制要求故障之间的空间隔离. 我们的解决方案不需要这么多不相交路径, 并且可以容忍密集的故障. 具体而言, 我们考虑所有故障都出现在一列的情况. 我们解决的是仅自由列中的进程必须达成一致的共识版本. 我们证明了即使在该较弱的版本中, 如果该列可能完全故障的话是无法解决的. 然后, 我们提出了一个在至少一行是无故障的情况下的解决方案. 正确的进程共享方向, 但不知道其他进程的身份或环的尺寸. 通信是同步的. 为了实现我们的解决方案, 我们构建并证明了一个全对全广播算法$mathcal{BAT}$, 保证将消息传递给所有自由列中的进程. 我们使用这个算法来解决我们的弱共识问题. 我们的解决方案$mathcal{CBAT}$在$O(H+W)$轮内完成, 其中$H$和$W$分别是环的高度和宽度. 我们将我们的共识解决方案扩展到固定消息大小模型, 在该模型中运行时间为$O(H^3W^2)$轮. 如果故障只出现在一行而不是一列, 则我们的结果可以立即应用.
作者：Joseph Oglio and Kendric Hood and Gokarna Sharma and Mikhail Nesterenko
论文ID：2303.12870
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-08-10