共识要让诚实参与者对状态或操作顺序达成一致。它的保证依赖参与资格、故障数量、消息认证和网络条件。把“区块链解决了拜占庭问题”当作无条件结论，会把这些关键前提隐藏起来。
判断归属：AI 候选整合。 协议事实据公开来源；法定人数交集算式为本页展示的数学推理，不代替完整协议证明。
先区分三种职责#
开放网络需要抗女巫机制，避免一个人通过制造大量身份获得任意影响力；还需要提议者选择、冲突历史选择或最终性协议。PoW 让竞争受计算资源约束，PoS 让参与受质押及惩罚约束。它们不是脱离其他规则就能工作的完整共识协议。以太坊机制文档明确区分抗女巫与链选择。
PoS 也不是“权益最高的节点总会获胜”。以太坊按协议随机选择提议者，并用投票、分叉选择和最终性机制共同维护状态。PoW 的历史选择则与累计工作量有关，不能只比较区块条数。两种方案都把安全性与资源、激励和网络条件绑定起来。
PBFT 的法定人数为何需要交集#
拜占庭故障包括任意偏离协议的行为，例如向不同接收者发送冲突消息。加密提供机密性，认证帮助识别消息来源；它们本身都不能决定冲突消息中该接受哪一个。
PBFT 原论文的经典设置为 ，至多 个副本故障。考虑两个大小为 的集合：
交集中至少包含一个诚实副本。因此，若协议约束诚实副本不能为冲突状态作出相互矛盾的有效承诺，两个冲突结果就不能同时依靠完全不相交的诚实支持被确认。交集是安全论证的一部分，还必须说明消息阶段、已接受状态如何跨 view change 保留等条件。客户端接受回复的 门槛，与副本内部的法定人数也不是同一件事。
安全性要求不确认冲突结果；活性要求最终继续推进。故障上界并不能让消息永久不可达时仍然持续确认。不能把“至少三分之二诚实”简化成任意消息模型下都有效的投票口诀。
许可身份带来哪些权衡#
PoA 将出块资格交给授权集合，使资格识别更直接，但安全和治理会依赖授权管理。授权者不一定永远固定：Clique 设计允许投票增删签名者，限制签块频率，并讨论恶意签名者和并发块。某一节点离线是否停链，必须按具体协议和剩余资格判断。
所谓“三难困境”在这里适合作为设计权衡提示：扩大参与、提高负载、限制硬件门槛、保持容错条件会相互影响。没有明确模型与证明时，不应把它写成所有区块链的普遍数学不可能定理；也不能因一次小规模吞吐量不降，就宣称同时解决三个目标。
Links#
- 推广：扩容安全说明把执行移出主链后还要检查哪些保证。
- 特例：公开声誉辅助共识研究应在其协议假设下评估。
- 相似但不同：多智能体局部决策讨论策略协调；策略性能与账本共识安全需要分别证明。