实用拜占庭容错

PBFT 的两轮副本投票分别建立“足够多节点接受同一序号—摘要”与“足够多节点知道该接受状态已广泛形成”。quorum 计数保证证书交叠，协议规则则保证交集中的正确节点不为同一视图、序号支持冲突值；view change 再携带 prepared 证据，使新 primary 不能遗忘已经获得安全锁定的请求。

$f=1$ 时需 4 个副本：达到 prepared 需要一条匹配 pre-prepare 与来自两个不同备份的 prepare，本地提交还需三条匹配 commit。primary 停顿或作恶会触发 view change，由新 primary 依据带证据的历史继续。PBFT 的 safety 不依赖已知消息延迟界；liveness 需要网络最终足够及时且正确 primary 最终稳定。消息认证阻止冒充正确副本，但故障副本仍能签发冲突消息。协议假设副本执行确定性操作或以受控方式处理非确定性。

当 $f=1$ 时四副本中的任意三个提交 quorum 相交至少两副本，其中至少一个正确；因此两份冲突提交证书不可能同时形成。恶意 primary 可向不同备份发送不同摘要，但正确备份只对与其 pre-prepare 匹配的值 prepare，无法凑出两组合法证书。客户端通常等待 $f+1$ 个相同回复，保证其中至少一个来自正确副本；只收到单个签名回复不足以排除 Byzantine 欺骗。

拜占庭故障公理库拜占庭故障Byzantine failure故障进程可任意偏离协议并向不同接收者发送矛盾信息。下的状态机复制公理库状态机复制State machine replication · SMR让多个副本按同一确定顺序执行命令，从而实现容错服务。由认证消息与 quorum 证书实现，底层是消息传递公理库消息传递系统Message-passing system进程仅通过发送和接收消息交互的分布式模型。。PBFT 的正常路径、checkpoint 与 view change 成为后续 BFT 协议的基线；经典正常路径需要副本间二次量级通信，后续协议常围绕降低消息数、延迟和副本开销改进。安全性依赖交集与锁定规则，活性则依赖部分同步公理库部分同步模型Partial synchrony · Partially synchronous system时间界存在但其数值或开始生效时刻不为算法预先掌握的分布式系统模型。和正确主节点，二者不能用“有 $3f+1$ 副本”一句话同时推出。