拜占庭故障

崩溃故障是沉默地退出，拜占庭故障则是主动制造彼此不一致的现实。引入这个模型的动机是"最坏情况抽象"：内存位翻转、软件 bug、被攻陷的节点、恶意运营者——与其逐一枚举故障形态并分别设防，不如假设故障节点由一个全知的对手操纵，凡在此假设下仍正确的协议，对一切较弱的故障自动免疫。有效的心智图像是一场有内奸的会议：内奸可以对每个人说不同的话，正确成员的任务不是识别谎言的内容，而是依靠"足够多的相互转述"让谎言自相矛盾、无法同时欺骗过半数视角。与第一印象不同，难点不在"有人说谎"，而在正确进程之间的信息本身因此变得不可传递——A 转述"B 说了 $x$"时，听者无法分辨是 B 说谎还是 A 说谎。

最典型的行为是 equivocation（两面话）：一个故障副本向节点 A 声称"提交 0"，同时向节点 B 声称"提交 1"。若协议让节点直接采信收到的第一条消息，A 与 B 将做出矛盾决定；因此许多拜占庭协议要求节点在行动前收集达到特定法定人数的相互印证，具体门槛由任务、认证方式与同步模型决定。经典无数字签名的口头消息模型中，$n>3f$ 的必要性可在 $n=3$、$f=1$ 的三方场景中看到雏形：正确的两方各自面对"另外两方说法冲突"的局面，且与对手构造的其他故障场景不可区分，因而无法安全决定。

两条边界需要分辨。其一，数字签名公理库数字签名Digital signature由私钥签名、公开验证并提供不可伪造性的认证机制。能防止转述过程中的伪造——A 无法凭空捏造"B 签名说了 $x$"——从而改变可解性门槛与协议结构；但签名阻止不了持有私钥的故障节点亲自签署两份矛盾声明，equivocation 依然存在，阈值与协议必须重新分析。其二，把丢包、软件 bug 或被攻陷节点笼统称作 Byzantine 之前，必须先写清对手能力与信道假设：标准模型通常仍假设对手不能破解密码学原语、不能在认证信道上冒充正确进程，"任意行为"是在这些约束之内的任意。

拜占庭模型是对抗环境下协议设计的基准：复制状态机、区块链、航空航天冗余控制都以它为威胁模型。理论侧，它催生了拜占庭可靠广播公理库拜占庭可靠广播Byzantine reliable broadcast · Byzantine broadcast即使发送者或接收者存在拜占庭故障，正确进程仍满足一致交付性质的广播原语。、拜占庭共识公理库分布式共识Distributed consensus · Consensus problem多个进程在可能故障和通信延迟下对一个值达成一致的任务。与可验证秘密共享公理库秘密共享Secret sharing把秘密分成份额，使授权集合可恢复而非授权集合不获信息。等原语，各自带有依模型而异的容错阈值；工程侧，实用拜占庭容错公理库实用拜占庭容错Practical Byzantine Fault Tolerance · PBFT在部分同步网络与至多 f 个拜占庭副本下使用 3f+1 副本实现状态机复制的协议。（PBFT）证明了 $n=3f+1$ 副本的状态机复制公理库状态机复制State machine replication · SMR让多个副本按同一确定顺序执行命令，从而实现容错服务。可以达到实用性能，成为其后大量 BFT 系统与许可链共识的原型。与崩溃故障公理库崩溃故障Crash failure进程停止执行且此后不再采取步骤的故障。模型对照阅读，可以清楚看到"故障假设每加强一档，协议需要的冗余与通信就上一个台阶"这条主线。