号称“区块链灵魂”的共识机制,要发生巨大演变?

转载
2121 天前
10968
白话区块链

来源:白话区块链    作者:本体研究院


共识算法是近年来分布式系统研究的热点,也是区块链技术的核心要素。

如何理解共识算法的重要性及评价体系?如何认清当前主流的共识算法及背后的发展脉络?接下来,共识算法发展的趋势与阻碍又是什么?


01

共识算法及评价体系

共识算法主要是解决分布式系统中,多个节点之间对某个状态达成一致性结果的问题。分布式系统由多个服务节点共同完成对事务的处理,分布式系统中多个副本对外呈现的数据状态需要保持一致性。

但是,由于节点的不可靠性和节点间通讯的不稳定性,甚至节点作恶,伪造信息,使得节点之间出现数据状态不一致性的问题。通过共识算法,可以将多个不可靠的单独节点组建成一个可靠的分布式系统,实现数据状态的一致性,提高系统的可靠性。

区块链系统本身就是一个超大规模的分布式系统,但又与传统的分布式系统存在明显区别。区块链系统建立在去中心化的点对点网络基础之上,在整个系统中没有中央权威,由共识算法实现在分散的节点间对交易的处理顺序达成一致,这是共识算法在区块链系统中起到的最主要作用。

另外,与企业分布式系统不同,区块链系统中的共识算法还承担着区块链系统中激励模型和治理模型中的部分功能,包括每个区块中对哪些矿工进行激励发放、网络中所有交易手续费的结算和分配、区块链网络共识周期的切换等。

共识算法根据容错能力不同,即在考虑节点故障不响应的情况下,再考虑节点是否会伪造信息进行恶意响应,可以分为:CFT(Crash Fault Tolerance,故障容错)类和BFT(Byzantine Fault Tolerance,拜占庭容错)类共识算法。

CFT共识算法,只保证分布式系统中节点发生宕机错误时,整个分布式系统的可靠性;当系统中节点违反共识协议的时候(比如:被黑客攻占、数据被恶意篡改等),将无法保障分布式系统的可靠性。因此,CFT共识算法目前主要应用在企业内部的封闭式分布式系统中,目前流行的CFT共识算法主要有Paxos算法及其衍生的Raft共识算法。

采用BFT共识算法的分布式系统,即使系统中的节点发生了任意类型的错误,只要发生错误的节点少于一定比例,整个系统的可靠性就可以保证。因此,在开放式分布式系统中,比如区块链网络,必须采用BFT共识算法。

在区块链网络发展前,BFT共识算法主要为PBFT共识算法(实用拜占庭容错共识算法),目前也有部分联盟链采用PBFT共识算法。由于公有链的开放性,任意节点都可以随时参与和退出网络并都有作恶的可能,近两年公有链的快速发展也带动了BFT共识算法的巨大进步。


另外,因为共识算法都建立在底层的网络模型基础上,所以从网络同步模型的角度来看,共识算法可以分为三种,即同步共识算法、半同步共识算法和异步共识算法。

同步共识算法要求网络中任一消息能够在已知的限定时间内到达所有的共识节点。因此,主要应用在限定规模的网络环境中,大多数联盟链采用同步共识算法。

异步共识算法对于消息在网络中的传播延迟没有任何限制,消息可以在无限长时间后才发送到其他共识节点上。由于FLP不可能定理(在网络可靠,存在节点失效,即便只有一个的最小化异步模型系统中,不存在一个可以解决一致性问题的确定性算法),异步共识算法无法确定性保证共识终局,因此,几乎没有高效的全异步共识算法,即使Bitcoin的PoW算法也是基于同步网络保证一致性,基于异步网络保证可用性。

半同步共识算法在前两者之间做了权衡,要求网络中消息在某限定时间后到达所有共识节点的概率与时间的关系是已知的。目前,主流的区块链共识算法都是基于半同步的网络模型,即半同步共识算法。


评价一个区块链共识算法的优劣,可以从以下四个方面进行,即:容错性能、终局性性能、扩展性(消息复杂度)以及网络模型性能。

容错性能:指共识算法的容错能力。在区块链中,特别是公有链中,由于节点间存在利益博弈,同时又是一个非中心化的网络状态,其共识算法必须支持节点作恶的容错,所以区块链的共识算法必然是BFT算法。

终局性性能:指区块链网络对一个候选区块完成终局一致性所需要的时间,这对于面向用户的DApp应用是非常重要的参数。

扩展性:指区块链网络节点数目与共识算法性能的相关关系。比如,PBFT算法随着节点数目增加,完成一轮共识需要在网络中传播的消息数目呈平方比例增加,因此PBFT算法无法支持大规模网络。

共识算法的网络模型性能,对其容错性能和终局性能都有很大的影响。在区块链大规模网络条件下,同步共识算法要求所有节点在规定时间内响应来自其他节点的消息,否则将被认为是故障节点,因此受网络波动影响较大,从而进一步导致算法容错性能的降低;而由于FLP不可能定理,异步共识算法无法给出确定的终局性性能,所以,当前主流区块链共识算法都是基于半同步模型。


02

当前主流的共识算法

在区块链发展初期,主流区块链网络都是基于PoW共识算法,包括比特币以太坊莱特币等。

由于PoW存在挖矿的资源浪费问题,2017年后基于PoS的共识算法研究得到了迅猛的发展,并在2018年各种基于PoS共识算法的公有链中逐步上线。

对于当前主流共识算法可以采用如下几种方式分类:

一、基于挖矿方式分类:

1、PoW : 所有节点通过解决某个计算难题(例如哈希难题)参与共识,包括:比特币、以太坊、莱特币。

2、PoS:所有节点通过质押Token的方式参与共识,包括:EOS的DPoS、DFINITY、VBFT。

二、基于终局性分类:

1、GHOST:PoW、Ethereum-PoS。

2、BFT:Tendermint、EOS DPoS、Algorand、DFINITY、VBFT。

三、基于节点选择方式:

1、所有节点参与:PoW、Ethereum PoS、Tendermint。

2、随机选择部分节点参与:Algorand、Dfinity、VBFT。


▲ 主流共识算法比较

从上述的分类过程中,我们可以看出当前区块链共识算法在性能、扩展性、去中心化等方向上的演进过程。

比特币采用了PoW共识算法,通过计算哈希难题和最长链规则,实现去中心化的共识算法。随着比特币网络规模的增大,后续区块在网络传播中延迟增加,基于最长链规则造成了大量的伪分叉,浪费了网络中的算力和PoW共识算法的性能。

针对伪分叉问题,区块链社区后续提出了通过DAG方式扩展PoW共识算法,比如:PHANTOM,Conflux等。但是,针对于PoW的算力浪费问题,区块链社区后续更多地转向基于PoS的共识算法。

以太坊也计划逐渐减少PoW激励,直至最终完全取消PoW的共识机制,完成到PoS共识算法的切换。同时,也有许多新兴区块链平台采用了PoS共识机制,其中最著名是EOS的DPoS共识算法。

与此同时,随着区块链应用的增加,区块链共识算法的扩展性问题也日益凸显。图灵奖获得者Micali教授提出了Algorand算法,提出基于VRF随机选择部分节点参与共识的方式,通过BFT的方式极大降低了共识算法的消息复杂度,在保证去中心化安全性的同时实现共识算法的可扩展性。

在此基础之上,VBFT等共识算法增加了PoS治理机制,并基于此解决了随机节点选择的抽样陷阱问题,在保证算法扩展性的同时,实现优秀的终局性性能。

混合共识算法也值得介绍。单一共识算法由于其本身具有的局限性,例如PoW共识速度偏慢,区块链研究者尝试将两种或者多种共识算法融合起来,取长补短,达到更好的共识特性。

一般来说,混合共识有PoW+PoS、PoW+BFT以及PoS+BFT等种类。新一代的共识算法,比如Algorand、DFINITY、 BUMO的BU Firework,以及Ontology的VBFT,都属于混合共识算法。


03

共识算法的发展趋势

总体来看,目前主流共识算法逐渐由PoW转向PoS共识算法,采用VRF随机选择节点的方式实现算法的扩展性。另外,Avalanche共识算法也采用随机选择节点的方式,实现区块链共识算法的扩展性,不过目前还没有上线的区块链采用此共识算法。

随着对区块链共识算法的研究,区块链技术社区发现,在互联网规模的网络中可达到的性能上限不仅取决于共识算法的性能参数,更取决于在此规模的网络中完成消息传播的时间延迟等物理上限。

因此,主流区块链的研究团队将下一步区块链网络性能扩展方向投向了分片技术、状态通道和二层网络等方向。