视图戳复制

VR 用 view 编号区分历代 primary，用 operation 编号定位日志顺序。正常视图中 primary 只在操作获得 quorum 后提交；视图变更从相交 quorum 收集日志，选择包含最先进安全前缀的新 primary 状态。由于任意两个 $f+1$ quorum 在 $2f+1$ 副本中相交，已获提交证据的操作不会在新视图中全部消失。

$2f+1$ 副本可容忍 $f$ 个崩溃。客户端请求需带唯一编号以避免重试导致重复执行。视图号和操作号共同形成 viewstamp。VR 处理崩溃故障公理库崩溃故障Crash failure进程停止执行且此后不再采取步骤的故障。，不自动抵抗拜占庭副本。

三副本容忍一个崩溃。primary 将操作号 10 复制到自身与一个 backup 后形成多数；即使随后崩溃，新视图的两个参与者至少包含这两个中的一个，view-change 记录可把操作 10 带入新日志。客户端重试同一请求时，唯一 client-id/request-number 使副本返回缓存结果而不重复执行。若副本可发送冲突伪造日志，崩溃版 VR 的 quorum 假设不足，需要 BFT 协议。

VR 用 view 编号、operation 编号、正常复制与 view change 具体维护复制日志，再由状态机复制公理库状态机复制State machine replication · SMR让多个副本按同一确定顺序执行命令，从而实现容错服务。应用 committed 操作。它与 Paxos、Raft公理库Raft 共识协议Raft consensus algorithm以任期、选主和复制日志实现崩溃容错共识的协议。共享 quorum 相交这一安全骨架；VR 的语义中心是 primary 更替时怎样继承证据，而不是再次定义复制日志接口。

安全依赖日志证据跨视图保留，活性则依赖最终稳定的时序公理库部分同步模型Partial synchrony · Partially synchronous system时间界存在但其数值或开始生效时刻不为算法预先掌握的分布式系统模型。与正确 primary。工程实现还需 checkpoint、日志截断、客户端去重和成员配置变更，才能把论文级安全前缀变成持久服务。