零基础一文读懂分布式系统(16)_区块链是一种分布式系统。不了解分布式

如果你对在 Finality 和 Liveness 间寻找平衡感兴趣，可以去研究 Casper FFG 共识，它有 Liveness 的一部分，也有 Finality 的一部分。同时你也会发现 Casper FFG 的 PoS 与 Tendermint 的 PoS 的不同。

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

两个定理：FLP 不可能原理；CAP 不可能定理。

两种容错能力：宕机容错；拜占庭容错。

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

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

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

文中会有因简化和类比带来的不准确以及不全面之处，还望理解，谢谢指正。

参考资料：1.《How Does Distributed Consensus Work?》， Preethi Kasireddy；中文版本：《分布式共识的工作原理》， by EthFans ，由 Ray、阿剑、IAN LIU、stormpang、安仔翻译2.《WHAT WE TALK ABOUT WHEN WE TALK ABOUT DISTRIBUTED SYSTEMS》， Alvaro Videla3.《Time Clocks and the Ordering of Events in a Distributed System》， Leslie Lamport4.《The Byzantine Generals Problem》， LESLIE LAMPORT、ROBERT SHOSTAK、MARSHALL PEASE5.《Paxos Made Simple》， Leslie Lamport6.《Bitcoin: A Peer-to-Peer Electronic Cash System》， Satoshi Nakamoto