拜占庭将军问题

定义

拜占庭将军问题由 Leslie Lamport、Robert Shostak、Marshall Pease 于 1982 年提出，用围城将军通过信使协商进攻的比喻，刻画分布式系统中存在"任意作恶"节点（发送矛盾或伪造消息）时达成一致的难题。

核心结论

在口头消息（无签名）模型下，容忍 f 个拜占庭节点至少需要 3f+1 个节点；若使用不可伪造的数字签名，则可放宽该限制。

应用

拜占庭容错（BFT）是区块链与高安全系统的理论基石：PBFT、Tendermint、HotStuff 等协议均以此为目标模型，比特币的工作量证明则以经济成本间接解决开放网络中的拜占庭问题。与之相对，Paxos、Raft 只处理崩溃故障（非拜占庭），因此所需节点更少、性能更高。