拜占庭将军问题对现代分布式网络的启示
拜占庭帝国的古都曾是当时最强大、最富裕的城市之一，由于疆域辽阔，频繁面临外敌入侵和内部叛乱，派遣多支军队驻守边境，各军队由不同将军指挥，信息一致性成为关键难题。区块链网络则类似于拜占庭将军问题，分布式节点如同将军们，在不可靠环境下需达成交易和数据共识，二者密切相关。
两军问题
两军问题是拜占庭问题的特例，首次提出于1975年的一篇论文中，1978年由Jim Gray正式命名。该问题研究在不可靠通信链路上，两个将军如何通过信息交流达成一致攻击决策。设想两支军队分布于山谷两侧，只有一条山道相连，山谷中敌军实力强大，单独攻击必败，联合进攻方能取胜。通信链路的不稳定性让达成一致变得极其困难。
经典结论是无解，任何协议都不能保证双方必定同时发起攻击，但部分情况下可用相对可靠的协议如TCP三次握手，提升通信成功率。
拜占庭将军问题
拜占庭将军问题由图灵奖得主莱斯利·兰波特于1982年提出，描述在存在恶意节点和信息篡改的环境中，分布式系统如何实现一致性，拜占庭军队包围敌城，军队间通过通信兵传递消息，统一决策必须超过半数将军同意进攻，否则全军撤退。
将军中存在叛徒试图破坏协议，通信兵也可能伪造或丢失信息，使得消息传递环境极其不可靠。将拜占庭将军问题映射到分布式系统，节点数量Z中叛变节点数量X，系统能容忍错误并达成一致需要满足Z≥3X+1，系统错误分为非拜占庭错误（节点崩溃或不响应）和拜占庭错误（恶意篡改信息）。
共识算法分类
区块链由大量分散且相互不信任的节点组成，依靠共识算法保障数据一致性和防止链分叉，共识算法按容错类型分为非拜占庭容错（CFT）和拜占庭容错（BFT）两类。
非拜占庭容错共识算法
主要应对节点故障或断线等非恶意错误，适用于受控环境的分布式系统，如企业内部分布式应用，该类算法在面对恶意节点时无法保障系统安全，代表算法包括Paxos和Raft。
拜占庭容错共识算法
可容忍部分节点发生任意恶意行为，保证系统仍能达成共识，区块链公链如比特币、以太坊广泛采用该类算法，应对高度分散且不信任的节点环境，典型算法包括PBFT（实用拜占庭容错）、PoW（工作量证明）和PoS（权益证明）。
