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

本文为万向区块链技术中心研究组撰写，文章尝试对PBFT算法的正确性证明以及算法优化等内容作一个介绍。

1. PBFT算法正确性证明

本部分介绍PBFT算法的正确性证明。

1.1 安全性（Safety）证明

PBFT算法提供的安全性（safety）的具体含义是，对于所有本地确认（commit locally）的客户端请求来说，系统中所有正常副本节点都会就这些请求的消息序号达成一致。

上述的“达成一致”，其含义又分为两种：

同一视图中的消息序号一致：对于所有在同一视图中本地确认的客户端请求来说，各正常副本节点就其消息序号会达成一致。
新旧视图中的消息序号一致：对于在新旧视图中本地确认的客户端请求来说，各正常副本节点就其消息序号会达成一致。

接下来分别证明上述两种“一致”是成立的。

1. 在同一视图中，任何一个请求 m ，如果其已经本地确认过，也就是说，至少对于某一个正常副本节点 i 来说，prepared(m, v, n, i) 为 true , 之前已经证明过，此时，对于任意的正常副本节点 j （j也可以是 i） 来说，prepared(m’, v, n, j) 都为 false 。这里 m’ 是不同于 m 的另一个请求，也就是说 D(m’) 不等于 D(m) 。这就意味着对于所有在同一视图中本地确认的客户端请求来说，各正常副本节点就其消息序号会达成一致，第一个性质成立。

2. 现在考虑存在视图变更的情况。首先，在视图 v 中，对于任意一个请求 m