两类共鸣算法：同步性假设；非确定性机制。

两种容错本领：宕机容错；拜占庭容错。

两种共鸣算法设计思路：Finality；Liveness。

文中会有因简化和类比带来的禁绝确以及不全面之处，还望领略，感谢指正。

区块链是一种

漫衍式系统的另一个要害问题是时序，，所有的共鸣算法都需要办理它，但因为是另一条线索故本文未做涉及，假如你想相识，可以从莱斯利·兰伯特博士（how old are you）的这篇论文开始：《Time, Clocks and the Ordering of Events in a Distributed System》。

最后对本文做一个小结，它主要包括以下内容：

假如你对在 Finality 和 Liveness 间寻找均衡感乐趣，可以去研究 Casper FFG 共鸣，它有 Liveness 的一部门，也有 Finality 的一部门。同时你也会发明 Casper FFG 的 PoS 与 Tendermint 的 PoS 的差异。

三个共鸣算法：Paxos、PBFT、中本聪共鸣。

两个定理：FLP 不行能道理；CAP 不行能定理。