PBFT算法流程补充(二):算法正确性证明及优化

本文为万向区块链技术中心研究组撰写,文章尝试对PBFT算法的正确性证明以及算法优化等内容作一个介绍。 1. PBFT算法正确性证明 本部分介绍PBFT算法的正确性证明。 1.1 安全性(Safety)证明 PBFT算法提供的安全性(safety)的具体含义是,对于所有本地确认(commit locally)的客户端请求来说,系统中所有正常副本节点都会就这些请求的消息序号达成一致。 上述的“达成一致”,其含义又分为两种: 同一视图中的消息序号一致:对于所有在同一视图中本地确认的客户端请求来说,各正常副本节点就其消息序号会达成一致。 新旧视图中的消息序号一致:对于在新旧视图中本地确认的客户端