共识算法的形式化证明

所有的共识算法必须具备三个基本要求：

1.一致性 （safety）：所有参与共识的诚实的节点，得到的计算结果是相同的，而且是符合共识协议的。

2. 终局性 （liveness）：所有参与共识的诚实的节点，最终可以达成一致性结果。

3. 容错性 （fault tolerance）：在共识算法的成功执行过程中，可以容许参与共识的节点发生一些错误。

safety：something “bad” will never happen

liveness：something “good” will must happen (but we don’t know when)

区块链解读3-密码学

https://blog.csdn.net/sxjinmingjie/article/details/77119989

拜占庭协议的要求：

1. （共识性）最后一批诚实“验证者”输出的区块是相同的；

2. （一致性）如果一开始的“验证者”收到的候选区块都是v，那么BA★的最终输出也是v。