BFT 是什么？拜占庭容错的原理

结论先说

拜占庭容错（Byzantine Fault Tolerance，BFT）研究的是一个极端问题：在部分节点可能任意作恶（说谎、串通、对不同人说不同的话）的网络里，剩下的诚实节点如何对同一个结果达成一致。它的经典结论是：只有当故障节点少于总数的三分之一时，一致才可能。几乎所有现代 PoS 公链的共识层，本质上都是 BFT 问题加上经济激励的工程实现。

寓言：拜占庭将军问题

想象一支军队分驻多营，包围敌城：同时进攻能赢，只有一部分进攻则全灭。各营只能通过信使传令（进攻或撤退），但其中可能有叛将——叛将可以给不同营发不同的命令，甚至伪造别人的命令。忠诚的将军们要解决：在不知道谁是叛将、消息可能被篡改的情况下，如何让所有忠诚营做出同一个决定。这个 1982 年提出的思想实验给出了理论边界：如果叛将占比达到或超过 1/3，忠诚方无法保证一致——因为叛将可以把自己人分成两拨，分别配合两边，制造”两边都是多数”的假象。

三分之一为什么是上限

直觉证明：假设 n 个节点、f 个故障节点，要”一致”且”安全”。安全性要求任何故障节点联合都不能让诚实节点分裂成两个不同决定，这要求诚实节点数大于故障节点数的两倍，即 n-f > 2f，化简得 f < n/3。超过这个比例，攻击者可以伪造”多数票”：向一部分诚实节点报 A 得票过半，向另一部分报 B 得票过半，两边各自通过、却互不兼容。这就是为什么公链的验证者集中度讨论总绕不开”1/3 质押线”——它不是运营建议，是 BFT 的数学边界。

从理论到协议

原始 BFT 协议（如 PBFT）用多轮消息传递达成视图内一致：提案、预投票、承诺三个阶段，每阶段都要收到足够多（2f+1）的签名消息才推进。它能在 f < n/3 时保证安全与活性，但消息量随节点数平方增长，O(n²) 的通信让它只适合小规模、已知成员的网络——这正是早期金融联盟链的场景。公链把 BFT 改造为开放式版本：成员集合动态变化（质押进出）、用加权投票代替等权投票、用随机出块者选择代替固定提案人、用经济惩罚（slashing）把”作恶”的代价显性化。Tendermint、Casper FFG 等都是这条改造线上的代表性设计。

代价：延迟与通信

BFT 一致不是免费的。多轮消息意味着最终性有延迟（通常以秒计，取决于出块周期和投票窗口）；通信开销限制了单组委员会的规模，因此多数公链用”委员会轮转”（每段时间只让一部分验证者参与投票）来换取可扩展性。另外，BFT 协议对网络分区敏感：分区期间活性可能暂停（安全仍保持），恢复后需要状态恢复机制。这些特性解释了为什么”最终性”在公链里既是卖点又是调参对象——它不是共识的副产品，是被显式设计出来的。

和 PoW 的对照

PoW 的”最长链”规则不满足 BFT 意义的一致性：在算力对抗下，理论上任何确认数都可能被重组，安全是概率性的、随时间增强的。PoS+BFT 则给出确定性的最终化：一旦达到超级多数投票（如 2/3 质押），回滚需要多数质押者同时作恶并被罚没。两者不是谁对谁错：PoW 用物理成本换抗审查，PoS+BFT 用经济成本换最终性和效率，理解 BFT 是读懂后者安全模型的第一步。

风险提示

BFT 保证的是”协议层面的一致性”，不等于节点软件无漏洞、不等于经济攻击不发生。质押集中度（少数实体掌握 1/3 以上）、验证者离线率、委员会轮转的随机质量，都会让纸面 BFT 在现实中打折。评估一条公链时，共识参数（容错线、委员会大小、最终化规则）是可查的公开事实，但”实际去中心化程度”需要结合链上质押分布判断，且是动态的。