[论文解读] Byzantine Agreement with Faulty Majority using Bounded Broadcast

Jeffrey Considine, Leonid A. Levin+1 more|arXiv (Cornell University)|Dec 26, 2000

Distributed systems and fault tolerance参考文献 12被引用 4

一句话总结

本文提出一种拜占庭一致性协议，通过使用 k-泛洪信道（k-cast channels）——即对 k 个参与方的认证可靠通信——证明了广播的实现条件为且仅当 2f < kh，其中 f 为故障参与方数量，h 为正确参与方数量。该协议利用信任图和对消息的递归一致协议，确保在敌对控制下仍能保持一致输出。

ABSTRACT

Byzantine Agreement introduced in [Pease, Shostak, Lamport, 80] is a widely used building block of reliable distributed protocols. It simulates broadcast despite the presence of faulty parties within the network, traditionally using only private unicast links. Under such conditions, Byzantine Agreement requires more than 2/3 of the parties to be compliant. [Fitzi, Maurer, 00], constructed a Byzantine Agreement protocol for any compliant majority based on an additional primitive allowing transmission to any two parties simultaneously. They proposed a problem of generalizing these results to wider channels and fewer compliant parties. We prove that 2f &lt; kh condition is necessary and sufficient for implementing broadcast with h compliant and f faulty parties using k-cast channels.

研究动机与目标

• 为解决传统拜占庭一致性协议的局限性（即要求正确多数，故障比例低于 1/3），通过在故障参与方超过正确参与方时仍能实现可靠广播。
• 将先前针对三参与方广播原原子的成果推广至更广泛的通信信道，特别是 k-泛洪信道，以减少对私有信道的依赖。
• 确定在容许故障多数的情况下，拜占庭一致性仍可实现的最小通信假设（即 k-泛洪信道）。
• 在给定 h 个正确参与方和 k-泛洪信道的条件下，建立对可容忍故障参与方数量的紧致边界。

提出的方法

• 引入 k-泛洪信道原原子，使发送方可单次传输可靠且认证地广播至恰好 k 个接收方。
• 构建信任图，其中节点代表参与方，边表示对来自发送方消息的一致报告；图中的团（clique）代表一组正确参与方。
• 应用剪枝过程，移除不属于任何双中心星形结构（bi-star，即两个中心连接所有节点）的边，仅保留可能属于正确团的边。
• 在消息上应用递归拜占庭一致性协议：每个参与方分发其接收到的所有消息，其他参与方递归运行协议以就这些消息达成一致。
• 采用基于链的敌手策略以证明下界：若 2f ≥ kh，敌手可通过在 (k,h)-链中隔离发送方副本，构造冲突视图。
• 依赖于结构性质：连接两个不同发送方簇 S₀ 和 S₁ 的任意路径必须涉及超过 k 个接收方，这意味着存在 (k,h)-链，从而推出 2f ≥ kh。

实验结果

研究问题

• RQ1 实现容错多数的拜占庭一致性所需的最小通信原原子是什么？
• RQ2 当故障参与方数量超过正确参与方数量时，使用 k-泛洪信道在何种条件下可实现可靠广播？
• RQ3 是否存在关于可容忍故障参与方数量的紧致边界，该边界以正确参与方数量和 k-泛洪信道大小表示？
• RQ4 在多数为故障的情况下，能否通过 k-泛洪信道保持广播与一致性之间的等价性？

主要发现

• 条件 2f < kh 是使用 k-泛洪信道实现拜占庭一致性的必要且充分条件，其中 f 为故障参与方数量，h 为正确参与方数量。
• 当 2f ≥ kh 时，敌手可构造 (k,h)-环或 (k,h)-链，以制造冲突视图，从而破坏任何一致性协议。
• 即使参与方总数少于 h + f，协议仍可成功运行，前提是若发送方故障，则缺失参与方被视为故障，并通过在消息上递归达成一致来构建一致的信任图。
• 信任图中连接两个不同发送方簇 S₀ 和 S₁ 的路径意味着存在 (k,h)-链，这要求 2f ≥ kh，与假设 2f < kh 矛盾。
• 信任图剪枝过程确保仅保留在潜在正确团（通过双中心星形结构）中的边，从而支持对一致输出的检测。
• 协议保证所有正确参与方输出相同值；若存在路径通往发送方簇 S_m，则输出 m；否则输出 0。