拜占庭将军问题：一次可视化讲解

可视化讲解区分了两种经典问题：两将军问题中信道会丢消息，拜占庭将军问题中信道可靠但有人撒谎。结论是若消息可能丢失，双方永远无法确定彼此一致；若有人可能撒谎，则需 n ≥ 3f + 1，即 4 位将军才能容忍 1 个叛徒。现实系统靠数字签名、时限（如 PBFT 需 3f + 1 台机器）或工作量证明来改变规则，而非突破这些限制。