什么是 pBFT算法
哦也X5
发表于 2023-1-7 11:35:18
399
0
0
Practical Byzantine Fault Tolerance ,实用拜占庭容错。
什么是 BFT?; V0 T. X' D, U* j
Byzantine Fault Tolerance ,拜占庭将军问题。& ^+ `9 K" |& R. C5 Q5 x4 d
拜占庭将军的问题是什么?& R5 E! m+ K! F+ e" \
简单地说,是一种少数服从多数的问题。拜占庭罗马帝国的每块封地都驻扎一支由将军统领的军队,将军与将军之间只能靠信差传递消息。在战争时期,拜占庭军队只有占据人数优势情况下,才能夺取目标的胜利。但在军队内有可能存有叛徒,当敌军与之联合起来大于忠诚将军数量时,进攻就会失败。
pBFT 算法的提出主要是为了解决拜占庭将军问题。. V, k: g$ ^$ K' |% L
要解决这个问题的前提是通信必须是可靠的,如果通信不可靠则问题无解。而拜占庭将军问题中通过通信不可靠而试图达成一致的结果几乎不可能或者非常困难。所以要在通信可靠的前提下来解决此问题。也就是在系统上有一些恶意组件不断发送错误信息的情况下让系统依旧正常运行的能力。$ y- V) u- m% _$ Z* h& e5 r( {+ f
pBFT 原理
在系统中有一个节点会被当做主节点,而其他节点都是子节点。系统内的所有节点都会相互通信,最终目标是大家能以少数服从多数的原则达成数据的共识。
达成共识的过程8 a: |: c4 g+ Z( m% c, }; x. D D3 p
第一步,客户端发一个请求给主节点去执行某个操作;% F/ ~ P8 O9 o2 s
第二步,主节点通信给各个子节点;) x# p+ f8 w& y# z8 B1 z! N
第三步,所有节点通过算法并把结果返回给客户端;% l& m0 k8 N2 l% u1 _8 w$ K
第四步,当客户端「收到结果」后,过程结束;
第四步中收到结果时的最大容错节点数; o% C( u* G& U* \* T) }5 Y
假设 n 是总节点数,f 为有问题的节点,问题包括两种,一种是故障节点 f,一种是作恶节点 f。故障节点收到通信后不会返回结果,作恶节点收到通信后会返回错误的结果。在统计返回节点数时,有问题的节点 f 会被排除在外,所以只要正确通信数大于作恶节点数 f 即可保证本次通信正常,即 f + 1 个正确节点,也就是说总节点数n 包括 f + 1 个正确节点,f 个作恶节点和 f 个故障节点,即 3f + 1 = n,因此pBFT算法支持的最大容错节点数是 f = (n-1)/3,也就是超过 1/3 的节点数即可。6 Z+ Q6 c# r& X. F
" m5 p7 {' f6 ]- m/ y: W f
第三步中的pBFT算法
其中8 a. }4 V1 J( ^% N2 Q
C代表客户端,0,1,2,3 代表节点的编号,4 ^( |* G4 L+ _! M* A5 |8 {2 t; L
打叉的3代表故障节点或者是问题节点,这里表现为故障节点。
0 是主节点。* ^7 B# x, N4 e Q
算法的核心三个阶段分别是8 j9 N4 A. ^& ?# \5 s' d
pre-prepare预准备,由于主节点不会发布两条内容不同的通信,则如果收到节点编号相同而内容不同的通信,子节点会选择拒绝请求。
prepare 准备,由于同时有n个节点接受请求进行通信,所以在一定时间范围内,如果收到超过 2f 个不同节点的 prepare 消息,就代表 prepare 阶段已经完成。% T& m6 `0 N$ z, `4 E) f
commit提交,和prepare同理,当收到 2f+1 个 commit 消息后(包括自己),代表大多数节点已经进入 commit 阶段,这一阶段已经达成共识,于是节点就会执行请求,写入数据。/ o3 l, F+ `4 E
有关其他技术3 D# Z# w/ t5 L% T! w
checkpoint 、stable checkpoint和高低水位+ u% ?: [4 Y; p' i( ?
checkpoint,是当前节点处理的最新请求序号。比如一个节点正在共识的一个请求编号是1,那么对于这个节点,它的 checkpoint 就是1。
stable checkpoint,是已经共识完成的最大请求序号。也就是 f + 1个节点请求编号是10 ,那么stable checkpoint就是10。( g5 \9 ^) C+ t! j: v8 X9 k, P
stable checkpoint为的是减少内存占用。当稳定是stable checkpoint是10 ,那么代表 10 号之前的记录已经共识过的了,可以删掉了。8 r% u/ j* i) Q- o2 W
stable checkpoint 可以设置一个范围,即水位,他的最小值叫下水位,最大值就高水位,他们的差 L 可以自定义。为了减少各个节点之间最大请求序号的差。假设水位是 50 ~ 100,当 a 节点到达100后,会等待 b 节点到达接近 100 时,自动更新水位范围,比如变成 100 ~ 150。这样节点就可以基本同步重新进行操作了。6 J2 j# c3 w2 C" Z( R2 N K: _2 ~1 d
更换主节点8 X* e! C' O N# p
当主节点出现故障,就会触发 ViewChange + 1 事件viewchange 会有三个阶段,分别是
view-change , 从节点认为主节点有问题时,会向其它节点发送 view-change 消息,当前存活的节点编号最小的节点将成为新的主节点。4 H0 M D5 e3 O" r$ K$ O7 ]' c+ \
view-change-ack ,新的主节点收到 2f 个 view-change 消息,则证明 view-change有效,并广播new-view 消息。( c) r( d, c& F3 u2 G1 C9 H" v) s4 h
new-view ,新主节点会继续执行上个视图未处理完的请求,其它节点验证 new-view 消息通过后,就会处理执行pbft 过程并进入ViewChange + 1。
pBFT 的优点+ ^- ?1 F0 S. l/ w- d+ m% y; T
高效,由于各个节点达成共识是在同一时刻决定的首先,所以pBFT 无需等待确认。
节能,因为 pBFT 是无需挖矿的,所以pBFT 不用耗能。/ w; j, Y! K+ j2 K
pBFT 的缺点
中心化,由于要保证各个节点间的频繁的通信,所以节点数不能太多。& A, ?8 I( r, b$ a5 d
门槛高,由于pBFT 不能防止女巫攻击,也就无法防御一个恶意用户用多个账户来进行共识的造假行为,所以需要审核加入节点。
所以 pBFT 比较适合需审批的联盟链,不太适合做无条件加入的公链。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
成为第一个吐槽的人