实用拜占庭容错

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 欺骗。

不能只把成员数改成 $n>3f+1$ 而保持所有门槛不变。例如 $f=1,n=5$ 时，三票集合 $\{A,B,C\}$ 与 $\{A,D,E\}$ 可能只在 Byzantine 节点 A 相交；它可分别支持冲突值，原先“交点含正确见证”的论证已经失效。扩大投票成员集需要同步重推 prepare、commit 与 view-change 的相交及可用性条件，不能从副本更多直接推出固定三票仍安全。

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

令 $n=3f+1$。只计一次正常视图、无重试请求按协议产生的消息，prepare 与 commit 的全体发送给出 $O(n^2)$ 条消息；每个副本为每个仍保留的请求记录 $O(n)$ 份匹配投票。总存储还取决于保留窗口、请求 payload、checkpoint、客户端记录与应用状态；认证数据的字节数和生成／验证工作另计。这个界不约束拜占庭节点任意发送的流量，也不提供总执行时间或重试次数上界。