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