形式陈述

拜占庭可靠广播允许发送者和部分接收者任意偏离协议，仍要求正确进程满足完整性、一致性和终止性质。常见异步 Bracha 广播在认证信道、$n>3f$$n>3f$ 下用 echo/ready 阈值实现：若正确发送者广播 $v$$v$，所有正确进程最终交付 $v$$v$；任意两个正确进程不会交付不同值。具体阈值随模型定义而变。

直觉

即使发送者对不同人说不同话，正确进程也要通过相互转述和法定人数把分歧压成至多一个共同结果。

例子与边界

崩溃故障下的可靠广播不足以抵抗恶意进程伪造或选择性发送。数字签名模型可改变容错阈值和协议结构。若发送者是恶意的，协议通常只保证一致交付或共同不交付，不保证某个预先指定的“真实值”。

推论与应用

该原语是异步拜占庭共识、可靠多播和区块链协议的基础模块。

参考资料

• Gabriel Bracha, Asynchronous Byzantine Agreement Protocols, Information and Computation 75(2), 1987，pp. 130–143。
• Nancy A. Lynch, Distributed Algorithms, Morgan Kaufmann, 1996，Chs. 1–25。