PBFT算法流程补充（二）：算法正确性证实及优化

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

>>阅读原文<<