BFT技能即拜占庭容错技能

链客，专为开发者而生，有问必答！

此文章来自链客区块链技术问答社区，未经容许拒绝转载。

BFT技能即拜占庭容错技能，是一类分布式计算范畴的容错技能。称号拜占庭是一个泛指，它表明着计算机范畴，在这个范畴内会有不少问题，如硬件过错、网络拥堵或停止以及遭到歹意进犯等等，形成计算机网络可能出现的混乱。BFT技能即是为了使混乱状态抵达共同性。

拜占庭将军问题

BFT技能的由来源于一个叫拜占庭将军问题。

拜占庭坐落现在的土耳其的伊斯坦布尔，是东罗马帝国的首都，因为当时拜占庭罗马帝国疆土辽阔，每支戎行的驻地分隔很远，将军们只能靠信使传递音讯。发做战争时，将军们有必要制定统一的行动方案。但是，这些将军中有叛徒，叛徒指望通过影响统一行动方案的制定与传播，损坏忠实的将军们共同的行动方案。所以，将军们有必要有一个预约的方法协议，使一切忠实的将军可以达到共同，并且少许几个叛徒不能使忠实的将军作出过错的方案。也即是说，拜占庭将军问题的本质即是要寻觅一个方法，使得将军们能在一个有叛徒的非信赖环境中创建对战斗方案的共同，拜占庭问题就此构成。

拜占庭将军问题（Byzantine Generals Problem），首先由Leslie Lamport与另外两人在1982年提出，很简单的故事模型，却困扰了计算机科学家们数十年。

咱们将拜占庭将军问题简化一下，一切忠实的将军都可以让别的将军接纳到本身的实在乎图，并最终共同行动；而形式化的要求即是，“共同性”与“正确性”。

共同性：每一个忠实的将军有必要收到相同的指令值vi（vi是第i个将军的指令）

正确性：假如第i个将军是忠实的，那么他发送的指令和每一个忠实将军收到的vi相同。

Lamport 对拜占庭将军的问题的研究代表，当 n > 3m 时，即叛徒的个数 m 小于将军总数的 n 的 1/3 时，通过口头同步通信（假定通信是牢靠的），可以结构一块儿满意“共同性”和“正确性”的解决方法，即将军们可以达到共同的指令。

BFT理论算法

BFT即拜占庭容错体系，英文全称是Byzantine Fault Tolerance，是一种理论上解决拜占庭问题的方法，并不是有用，不过基于BFT理论延伸出了其余共同机制。

区块链网络的记帐共同和拜占庭将军的问题是类似的。参与共同记帐的每个节点至关于将军，节点之间的音讯传递至关于信使，某些节点可能因为各类缘由而产生过错的信息传递给其余节点。通常这些发做故障的节点被称为拜占庭节点，而正常的节点即为非拜占庭节点。

假定分布式体系具备n台节点，并假定整个体系拜占庭节点不超过m台（n ≥ 3m + 1），拜占庭容错体系需求满意以下两个条件：

一切非拜占庭节点使用相同的输入信息，产生相同的结果。在区块链体系中，可以理解为，随机数相同、区块算法相同、原帐本相同的时分，计算结果相同。

假如输入的信息正确，那么一切非拜占庭节点有必要接纳这个音讯，并计算相应的结果。在区块链体系中，可以理解为，非拜占庭节点需求对客户的恳求进行计算并生成区块。

另外，拜占庭容错体系需求达到以下两个目标：

安全性：任何现已完成的恳求都不会被更改，它可以在之后恳求看到。在区块链体系中，可以理解为，现已生成的帐本不行篡改，并且可以被节点随时检查。

活性：可以承受并且履行非拜占庭客户端的恳求，不会被任何因素影响而致使非拜占庭客户端的恳求不能履行。在区块链体系中，可以理解为，体系需求继续生成区块，为用户记帐，这主要靠挖矿的激励机制来保证。

在剖析拜占庭问题的时分，假定信道是可信的。拓宽开来，在拜占庭容错体系，遍布采用的假定条件包含：

拜占庭节点的行为可以是任意的，拜占庭节点之间可以共谋；

节点之间的过错是不相关的；

节点之间通过异步网络链接，网络中的音讯可能丢失、乱序并延时抵达，但大部分协议假定音讯在有限的时间里能传抵达目的地；

节点之间传递的信息，第三方可以嗅探到，但是不能篡改、假造信息的内容和损坏信息的完整性。