原文精选：在全球时间上的不统一，给共识协议算法带来了很多限制。事实上，由于这些限制，许多关于分布式共识的文献都对是否能达成共识持悲观态度，有许多达成共识具备不可能性的结论已经被证实。一个经典案例就是“拜占庭将军问题”（Byzantine Generals Problem），这个经典难题是这样阐述的：拜占庭是东罗马帝国的首都，它的军队分成多个师，每个师都由一个将军统领。这些将军通过信使进行交流，来达成一个共同作战方案，有些将军可能是叛徒，想故意破坏这个过程，这会造成那些忠诚的将军也无法达成一个统一的作战计划。解决这个难题的办法就是让那些忠诚的将军在这样的情况下达成统一作战方案，而避免那些叛徒对作战方案的误导。事实证明，如果叛徒数量超过1/3时，这个难题将无法克服，那些忠臣的计划终会被叛徒们破坏。
读书笔记：
由于全球时间的不统一，大部分文献对于分布式共识是否能达成持悲观态度，有许多达成共识具备不可能性的结论已经被证实，其中一个经典案例就是“拜占庭将军问题”
原文精选：还有一个更为微妙的关于不可能性的结论，这就是著名的“Fischer-Lynch-Paterson不可能结果”，该名称以最初的作者而命名。该结果指出，在一定的条件下（包括节点行为具有确定性特征），甚至在只有一个缺陷的过程中，达成共识都是不可能的。
尽管有这些“不可能性结论”，还是有文献谈到了一些共识协议。比较著名的就是Paxos算法协议。Paxos算法做了一些妥协，一方面，Paxos算法能做到不产生不一致的结果；另一方面，Paxos算法所做的妥协是，在一定条件下（虽然是不常见的情形），该协议会死机卡住，从而无法继续运行。
读书笔记：
1，不可能性结论指出只要有一个节点有缺陷，就不可能达成共识。
2，Paxos算法一方面能做到不产生不一致的结果；另一方面就是在一定条件下，该协议会死机卡住，从而无法继续运行。
打破传统上的假设
原文精选：但好消息是，这些所谓的“不可能性结论”都是在一些特定的模式下才成立，这些结论是针对分布式数据库的研究，这些模型不能完全套用到比特币身上来，比特币本身就打破了很多原来分布式数据库所做的假设。这些结论其实从某一方面让我们更明白了那些特定模式，由此或许可以真正对分布式共识给出解决方案。
具有讽刺意义的是，就目前对共识的研究来说，比特币实际运行情况下远比理论上告诉我们的要好得多，这就是比特币让专家们跌破眼镜之处。我们看到分布式共识在比特币里运行良好，但我们还没有建立理论来充分解释为什么会这样，但无论如何，完善理论对将来的发展还是十分重要的，理论结果可以使我们预测，甚至预防未来可能的攻击和问题。我们一旦具备了较强的理论依据，来解释比特币分布式共识的良好运作机制，我们才能真正地对比特币的安全性和稳定性做出保证。
读书笔记：
1，比特币打破了很多原来分布式数据库所做的假设。
2，如果将来我们建立了一套完善的理论依据，来解释比特币分布式共识的良好运作机制，我们才能真正地对比特币的安全性和稳定性做出保证。
原文精选：比特币到底打破了经典模型里的哪些假设呢？ 第一，比特币引进了奖励的理念，这对分布式共识协议来说是一个全新的理念，这也只有在比特币里才可能实现，因为比特币也是个货币，所以人们自然而然地会为了金钱奖励而变得诚实起来。所以，比特币并没有真正解决分布式共识问题，它只是在特定货币系统下解决了这个问题而已。
第二，比特币体系包含随机性这个概念。在后面两节里我们将会看到，比特币的共识算法很大程度上依赖于随机性。此外，它也不再纠结于规定共识的起点与终点。相反，共识是通过一段较长的时间而达成的，在实际系统中，达成共识大约需要一个小时左右。但即使在一个小时以后，节点们也无法确定哪一个交易块应该进入总账本。但随着时间的流逝，我们对某一个块的认识与最终总体共识相吻合的概率将越来越大，观点出现分歧的概率按指数级下降。比特币在以上方面的不同，让它能够逾越传统理论关于分布式共识不可达成这一鸿沟。
读书笔记：
1，比特币并没有真正解决分布式共识问题，它只是在引入了奖励机制后，在特定货币系统下解决了这个问题。
2，比特币的共识算法很大程度上依赖于随机性，即随着时间的流逝，观点出现分歧的概率呈指数级下降，使比特币逾越了传统理论关于分布式共识不可达成这一鸿沟。
一叶之秋带你一分钟速读经典书籍，每天一分钟（只需阅读读书笔记部分），天天获新知。
一叶之秋——非著名股票分析师
CCTV证券资讯频道特邀分析师
币乎，币问内测作者；区分节点分析师
陀螺财经，币快报专栏作家
《区块链编年史》 《区块链重塑未来》系列作者
量价时空战法体系，一分钟读书俱乐部创始人
公众号：区块链项目评测
007er
网友评论