Hi 游客

更多精彩,请登录!

比特池塘 区块链前沿 正文
拜占庭将军问题
& J% a) m: a& |  K8 g1 _3 y) t$ l& U大家最为熟知的两种共识机制分别是PoS(工作证明机制)与PoW(权益证明机制)。NEO在其基础上进行改进,拟定了一种新的共识机制,称为dBFT。+ H9 {; D- b; p% S1 ~3 b3 Q( |
# O+ y2 e/ X" I- \9 a3 e. Y
在对投票的正确结果进行判定时,拜占庭将军问题总会出现。假设拜占庭帝国的9位将军带领军队包围了古罗马,为了成功占领古罗马城,将军们面临两个选择,一是全体进攻,一是全体撤退,如有任何将军违背了共识决定,就会导致全军覆没。( `; W# U/ M7 V9 ^; N6 ]4 R  c8 ]
他们每天进行一次投票决定是进攻还是撤退,若某一决定的赞成率超过50%,便达成共识。因为每位将军所处的地理位置不同,因此他们会让信使将各自的投票通报给其他将军。) X. P6 }; J7 m3 x" _- x
这个体系存在固有缺陷。; z8 ]& i* L+ a0 o
首先,任意数量的拜占庭将军都可能受罗马人的贿赂成为拜占庭军队的叛徒,这些将军就称为叛变的将军。
( d: n4 V- `# O& E9 E其次,任何将军都可能做出不合适的决定,这些将军就称为判断不当的将军。
5 d! `  A4 @. o2 t2 t再者,通报将军指令的信使也可能受罗马人的贿赂叛变篡改投票结果,而且信使也可能无法通报信息或通报错误的信息。
5 m9 N5 l3 G/ d2 [4 [  }7 G**
- N: v. Q5 ~" i9 r( j拜占庭将军的情形可用来类比分布式计算系统所面临的问题:系统存在可能会造成生态瘫痪的不可信及不能正常工作的节点时怎样达成共识?*** f( `2 |" k, u: Y4 I* j
dBFT算法. Y0 Y! h5 s* M
有很多协议想要解决拜占庭将军的问题。如Hyperledger的工作证明机制就使用了PBFT算法。而NEO则使用dBFT算法来解决拜占庭将军的问题。NEO创始人之所以选择这个协议是因为与其他现有方案相比,它的可扩容性与性能更强。
4 Z3 v. l3 @& z. |可扩容性对于任何区块链来说都是一个主要问题。随着交易数量的增加以及网络规模的扩大,区块链必须相应地扩容。如果区块链不能根据需求扩容,就会导致交易延迟或交易无法处理。9 y$ |& r9 R8 `  @% D2 ~0 W
类比一下:假设有个国家叫NEO,这个国家的每位公民都有权选举领袖,也称为代表。代表负责制定国家法律。如果公民不同意代表对某部法律的投票决定,可以下次票选另一位代表。公民会告诉所有代表怎样做能让他们最为满意。每位代表必须追踪了解所有公民的需求并在账本上做好记录。满足公民的所有需求后才能通过法律,目的在于让公民满意。* [: z" ~+ G% K4 a5 w
需要通过法律时,就会从代表中随机选出一名发言人,这位发言人将根据公民的需求拟定法律。拟定法律时他会计算这部法律对国家的幸福指数(衡量幸福程度的指标)有何影响。接着,发言人将拟好的法律交给每位代表,每位代表先判断发言人的计算结果与它们的是否一致,再与其它代表商讨验证幸福指数的计算结果是否正确。如果66%的代表一致表示发言人计算的幸福指数是正确的,那么法律就此通过,大功告成。
- f4 p# Q2 z$ ]7 h, q; R: y  q* a% H, @3 @0 U
全体节点都是诚实的,达成100%共识,将对法律A(区块)进行验证。
* M1 T& p$ X! Q  D! R. t如果只有不到66%的代表达成共识,将随机选出一名新的发言人,再重复上述流程。这个体系旨在保护系统不受叛徒/坏人及无法行使职能的领袖(即没有恶意只是无法正确计算幸福指数的领袖)影响。
" A( K" ^1 D: a. {  V以此类推,对于NEO区块链而言,公民就是NEO持有者,大多数NEO持有者都是普通节点,他们只能转移或交易资产。8 {+ S, U$ \& W' L+ `4 P% N& G
就像NEO国的公民一样,他们不能参与区块验证。公民选出的代表就是NEO智能经济的记账节点。记账节点负责验证区块链上写入的每个区块。
2 _$ P$ a  P1 G4 g公民的需求就是NEO持有者进行的交易,法律代表区块链当前生成的区块,而幸福指数代表当前区块的哈希值。下面我们来了解下系统是如何实施保护的。
& i" O' R# e0 U- V$ Y6 ^7 y$ ~不诚实的发言人7 r, O: P: R% M: {4 k# @3 x7 m" P
鉴于发言人是随机选出的一名代表,因此他可能会不诚实或出现故障。在下文的案例中,发言人就给3名代表中的2名发送了恶意信息(法律B),同时给1名代表发送了正确信息(法律A)。! r% x' \( [6 i0 g$ V. ]
, r! T9 }  l. B
不诚实的发言人向左边的节点发送了正确信息(A),但向中间和右边的节点发送了恶意信息(B)
9 r7 p* i) {) ~# C* A  K7 j在这种情况下该法律议案无法通过。中间与右边的代表计算的幸福指数与发言人发送的不一致,因此就不能验证发言人拟定的法律,导致2人拒绝通过法律。左边的代表因接收了准确的法律,因此能确认幸福指数,继而成功完成1次验证。但本提议仍无法通过,因为不足66%的达成共识(还需要2票)。接着将随机选出一名新发言人,重新开始共识流程。% r% {; P4 \. E: l$ Q) n; i0 [
不诚实的代表  O% n1 e# w0 Z) M; O2 M
在此情况下,发言人是诚实的,但其中一名代表出现了异常。
+ K6 L# k( K# {! P3 N! `/ N1 N
( m& f3 d( R  q+ P/ B) M/ x0 ]右边的代表向其他代表发送了不正确的信息(B)
" Q) ?* _) x1 ]4 x! m: f这样,发言人拟定的法律A就可以获得验证,因为(左边与中间)诚实的代表都可以验证由诚实的发言人拟定的法律A,达成66%的共识。代表也可以判断到底是发言人向右边的节点说谎还是右边的节点不诚信。这点现在还不清楚,但公民可以根据相关数据审核各节点是否诚信/正常运作。这些信息有助于投票人判断哪个代表最信得过,继而选择把票投给哪个代表。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

wxf2017 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    27