拜占庭将军问题

译文：所有人都知道X是不够的。我们还需要所有人都知道所有人都知道X，以及所有人都知道所有人都知道所有人都知道X，就像是在拜占庭将军问题里的那样——这是个分布式数据处理中的经典的困难问题。

我管拜占庭容错诞生直到比特币诞生这段时间内的所有BFT算法，包括像是后来诞生的但是还未受到比特币和区块链影响的BFT算法叫做传统BFT算法。这类算法包括著名的PBFT，也包括之前的不那么practical的BFT，和后PBFT时代中提出了“投机型”BFT的Zyzzyva。这类BFT算法的最大特点，就是他们并没有把区块链当做主要的应用场景（废话）。然后这类BFT算法我们又可以拿PBFT和Zyzzyva分成三个阶段。

上次我们讲到，比特币带来了一个新思路——用经济学和博弈论的原理约束节点，让他们不会作恶，于是整个问题重新回到了异步普通容错问题的轨道，于是整个问题的消息复杂度回到了O(N)，即，可扩展。关于扩展性问题我们到以后的文章里再深入说，在这里我们只说它和O(N^2)消息复杂度的传统容错算法，例如PBFT，的最大区别。

继续来读经典论文吧ヾ(◍°∇°◍)ﾉﾞ

文章深入探讨了许可链与真正区块链的区别，强调区块链的核心在于解决无许可环境下的拜占庭将军问题。作者提出真正区块链的四大支柱：无许可性、加密经济共识、不可篡改性和自我主权，并警告称许可型L1虽然在速度和合规上更易实现，但本质上是向集权主义的倒退。

为什么比特币 10 分钟出个块，每个块的大小 1 MB？

两军问题描述了在通信不可靠的情况下，两个将军如何达成一致共同进攻的问题。在计算机科学中，它揭示了在不可靠的网络环境中协同行动的困难性，如互联网。虽然理论上无解，但工程上可以通过增加冗余或重复确认等方式，将不确定性降低到可接受的程度，例如TCP协议的三次握手。

本文介绍了P2P系统中共识算法的重要性，特别深入探讨了实用拜占庭容错（pBFT）算法。文章通过拜占庭将军问题生动地阐述了在存在恶意节点的情况下达成共识的挑战，详细解析了pBFT算法的工作原理及其在区块链领域的应用，同时对比了pBFT与POW算法的优缺点，总结了pBFT适用于联盟链，不适用于公链的特点。

pBFT为什么不要三个阶段，看完你就知道。

本期我们的主题是eth2 背后的共识机制。Eth2 采用了一种新颖的方式来判断区块链的前部区块和组成区块。Eth2 混合了两种机制（LMD-GHOST 及 Casper FFG）以达成共识，不仅使得网络在正常运行时能够安全快速，并且在受到攻击时也能保障安全性。