两军问题

拜占庭将军问题和两军问题是分布式系统共识机制的核心理论。两军问题证明在不可靠通信下无法确保绝对一致性，而拜占庭问题则探讨存在恶意节点时的容错方案，提出当系统节点数Z≥3X+1（X为故障节点）时可通过BFT算法达成共识。区块链采用拜占庭容错类算法（如PBFT、PoW、PoS）解决节点互不信任问题，非拜占庭算法（如Paxos、Raft）则适用于可控企业系统。这些理论为区块链分布式网络提供了关键数学基础。