Castro 与 Liskov（1999）：Practical Byzantine Fault Tolerance

书目

#

Miguel Castro、Barbara Liskov，Practical Byzantine Fault Tolerance，OSDI 1999，pp. 173–186。USENIX 论文入口。

本轮读取

#

2026-10-12 读取官方摘要、HTML 第 4 节开头与 4.1 节：The Algorithm。确认确定性状态机复制、$3f+1$ 副本设置、primary/backups、view change 以及客户端等待 $f+1$ 个一致回复。第 2、3 节链接存在，但本轮正文获取不完整，不能称读完系统模型或完整安全性/活性证明。

使用边界

#

共识笔记中的法定人数交集式是本库独立展示的基本算术推导；并不代替 PBFT 完整协议证明。没有复现实验，也不把论文中的 NFS 性能结果推广成区块链性能。