拜占庭将军问题

拜占庭将军问题

拜占庭容错技术来源于拜占庭将军问题。 拜占庭将军问题是Leslie Lamport在20世纪80年代提出的一个假象问题 [1] 。 拜占庭是东罗马帝国的首都， 由于当时拜占庭罗马帝国国土辽阔， 每支军队的驻地分隔很远， 将军们只能靠信使传递消息。 发生战争时， 将军们必须制订统一的行动计划。 然而， 这些将军中有叛徒， 叛徒希望通过影响统一行动计划的制定与传播，破坏忠诚的将军们一致的行动计划。 因此， 将军们必须有一个预定的方法协议， 使所有忠诚的将军能够达成一致， 而且少数几个叛徒不能使忠诚的将军做出错误的计划。 也就是说， 拜占庭将军问题的实质就是要寻找一个方法， 使得将军们能在一个有叛徒的非信任环境中建立对战斗计划的共识。 在分布式系统中， 特别是在区块链网络环境中， 也和拜占庭将军的环境类似， 有运行正常的服务器（ 类似忠诚的拜占庭将军） ， 有故障的服务器， 还有破坏者的服务器（ 类似叛变的拜占庭将军） 。 共识算法的核心是在正常的节点间形成对网络状态的共识.

求解拜占庭将军问题， 隐含要满足以下两个条件：
1. 每个忠诚的将军必须收到相同的命令值vi（ vi是第i个将军的命令） 。
2. 如果第i个将军是忠诚的，那么他发送的命令和每个忠诚将军收到的vi相同。