PlatON的Giskard共识协议由概率性权益证明PPoS(PlatONproofofstake)和Giskard拜占庭容错协议-GiskardBFT(GiskardByzantineFaultTolerance)组成。PPoS使用质押、委托、随机选取的形式选出参与共识的验证节点,GiskardBFT使用类BFT算法实现区块的生产和验证。
本文我们将简单介绍PPoS共识和BFT理论,并分析PBFT算法特性及PBFT存在的问题,其后重点分析GiskardBFT借鉴PBFT、Tendermint、Hotstuff等共识协议的演进之路。
区块链技术本质脱离不开传统分布式系统。分布式一致性算法是传统分布式系统的一大难题,经过长期的研究和应用,诞生了如paxos、raft、zab等成熟安全的算法。
相比于传统的分布式系统,公共区块链中没有中心化的假设,任何节点都可以加入并自由访问所有的数据,因此公链中不可避免会存在恶意节点。所以,区块链系统中的共识机制不仅需要支持CFT(Crashfaulttolerance)还需要支持BFT(ByzantineFaultTolerance)。BFT是一个已经被研究得比较透彻的理论,PBFT是其中最为著名的实现算法,目前广泛应用于各大区块链系统中。
PlatON的Giskard共识协议由概率性权益证明PPoS(PlatONproofofstake)和Giskard拜占庭容错协议-GiskardBFT(GiskardByzantineFaultTolerance)组成。PPoS使用质押、委托、随机选取的形式选出参与共识的验证节点,GiskardBFT使用类BFT算法实现区块的生产和验证。
PPOS——验证节点选取
在介绍PPoS之前,我们先科普一下PoS,目前PoS共识方案可以分为四类:
PoS共识概述
Chain-Based
这是早期的一代PoS。根据持有token的数量伪随机地选择验证人进行区块生产。其中还有PoS+PoW方案,一般是PoW出块,通过PoS选择验证人进行验证,以太坊的Casper1.0也是一种混合PoS/PoW的方案,作为其从PoW转换到PoS的中间方案。
币安已在第11轮销毁中销毁了26.5亿个LUNC:金色财经报道,币安已在第11轮销毁中销毁了26.5亿个Terra Classic(LUNC)代币。币安销毁的LUNC代币总数现已超过355亿枚,其中社区销毁量超过680亿枚。交易员对销毁反应积极,LUNC的价格上涨了3%。根据7月1日执行的一笔交易,币安将26.5亿枚LUNC代币转移至销毁地址,减少了流通供应量。该交易还涉及交易费用1325万LUNC。每当网络上发生交易时,Terra Classic燃烧机制就会自动燃烧代币。销毁的代币数量与流通数量相关。这确保了代币的总供应量不断减少,假设其价值随着时间的推移而增加。
据Coingape报道,币安在6月份销毁了10.4亿个LUNC代币。尽管币安将LUNC现货和保证金交易费用的贡献从100%降低至50%,但社区对加密货币交易所及其首席执行官赵长鹏提供的支持表示感谢。[2023/7/2 22:13:17]
DPoS(DelegatedProofofStake)
委托权益证明。每个token持有人可以把权利委托给部分代表,由代表参与区块的生产和验证。
VRF(VerifiableRandomFunction)
可验证随机函数用于验证节点的随机选取。目前,Dfinity、Cardano和Algorand等采用了这种方案。
BFT(ByzantineFaultTolerance)
拜占庭容错。选出验证节点后通过运行BFT协议经过多轮投票确认区块完成共识。目前Tendermint、Stellar、Ontology、Zilliqa、NEO等都是采用这类共识算法。
PlatON的共识方案PPoS,也就是我们常说的概率性权益证明,它本质是一种PoS共识方案,根据节点的权益绘制成二项分布累积分布曲线,并使用VRF随机选取验证节点。
PPoS解决的关键核心点在于验证人的选取不仅与节点权益的大小有关,还兼具随机性,也就是说选出的验证节点不一定是权益最高的节点,权益较低的节点也有一定的选中概率。随机性算法可以保证选取的结果不可预测、不可操控且公平可靠。PPoS本质上是PoS+VRF方案的结合。
简单总结就是:PPoS提供了一种尽可能公平、随机地从众多参与节点中选取出若干验证节点的方案。
BFT——区块共识
数字投资机构Whampoa Digital拟部署1亿美元用于Web3投资:金色财经报道,新加坡家族办公室Whampoa Group宣布新成立数字投资机构Whampoa Digital,同时任命Sherwin Koh和Tim Tan担任联席投资主管,Sherwin Koh是早期以太坊和门罗币矿工,也投资过Decentraland和Polygo等产品,Tim Tan则是数字资产交易公司QCP Capital早期员工。Whampoa Digital未来将通过股权和代币投资于支持和促进Web3大规模采用的产品和服务,据悉在其扩大投资规模之前将先部署1亿美元资金。[2023/3/16 13:07:33]
验证节点被选举出来之后,运行共识协议进行区块生产和验证,整个过程需要节点之间相互协作,对区块进行相互确认,得出一致结论,达成区块共识。
上文中提到,区块链中的共识算法不仅需要考虑Crash节点,还需要考虑Byzantine节点。什么是拜占庭节点?我们从一个故事说起。
拜占庭将军问题
拜占庭罗马帝国国土辽阔,为了达到防御目的,每块封地都驻扎一支由将军统领的军队,每个军队都分隔很远,将军与将军之间只能靠信差传递消息。?
在战争的时候,拜占庭军队内所有将军必须达成一致的共识,决定是否有赢的机会才去攻打敌人的阵营。但是,在军队内有可能存有叛徒和敌军的间谍,左右将军们的决定影响将军们达成一致共识。在已知有将军是叛徒的情况下,其余忠诚的将军如何达成一致协议的问题,这就是拜占庭将军问题。
拜占庭将军问题所描述的是好的将军不知道其他将军是好的,还是坏的,但所有好的将军的目的是:行动一致,共同进退。所以,他们需要在策略上达成一致。
看到这里,相信大家对拜占庭节点也有了初步的理解。简单地说,在区块链系统中存在以下两类错误:
第一类错误是节点崩溃、网络故障、丢包等,这种错误类型的节点是没有恶意的,属于非拜占庭错误。
第二类错误是节点可能是恶意的,不遵守协议规则。例如验证者节点可以延迟或拒绝网络中的消息、领导者可以提出无效块或者节点可以向不同的对等体发送不同的消息。在最坏的情况下,恶意节点可能会相互协作。这些被统称为拜占庭错误。
要让这个问题有解,还需要先引入一个概念——分布式网络模型,按照分布式系统理论,分布式系统的网络模型分为三类:
币安、火必、Bitfinex 等加密公司承诺向土耳其提供援助:金色财经报道,土耳其、叙利亚发生大地震后,国际加密社区发出通过数字资产发送捐款的意愿,多个平台承诺提供支持。包括币安、Gate.io和Bitfinex在内的加密货币交易所表示,他们正在寻找发送支援的方法或已经开始准备援助包。加密货币交易所 BitGet 承诺提供 100 万土耳其里拉(约 53,000 美元)用于人道主义援助, 火必(Huobi Global)承诺提供 200 万里拉。此外,土耳其的区块链行业和研究机构提出了一份请愿书,要求当局允许土耳其接受基于加密的捐赠。[2023/2/7 11:50:44]
同步网络模型:节点所发出的消息,在一个确定的时间内,肯定会到达目标节点
异步网络模型:节点所发出的消息,不能确定一定会到达目标节点
部分同步网络模型:节点发出的消息,虽然会有延迟,但是最终会到达目标节点
拜占庭将军问题的解决,有一个十分重要的前提,那就是通信信道必须是可靠的。如果信道不能保证可靠,那么拜占庭问题无解。这也就是FLP不可能原理,即在异步网络模型假定下,共识算法不可能同时满足安全性和活跃性,也就是说,在一个不可靠的通信链路上试图通过通信以达成一致是基本不可能或者十分困难的。至于什么是安全性和活跃性,我们后面再说。
其实,拜占庭将军问题最早是由LeslieLamport在1982年发表的论文《TheByzantineGeneralsProblem》提出的,他证明了在将军总数大于3f,背叛者为f或者更少时,忠诚的将军可以达成命令上的一致,即3f+1<=n。而MiguelCastro和BarbaraLiskov在1999年发表的论文《PracticalByzantineFaultTolerance》中首次提出PBFT算法,该算法容错数量也满足3f+1<=n。
BFT是一个已经被研究得比较透彻的理论,它告诉我们,基于部分同步网络模型的假定,在不超过三分之一的故障节点和作恶节点情况下,非拜占庭节点之间可达到最终一致性。PBFT是其中最为著名的实现算法,意为实用拜占庭容错算法。目前,区块链的共识算法大多都是基于BFT的实现。GiskardBFT也是由PBFT演进而来。
PBFT算法在区块链共识的应用
PBFT算法被广泛应用于各类区块链共识,它不仅解决了共识过程中可能发生的拜占庭节点问题,同时也使系统始终能够保持两个属性:安全性和活跃性。
“Shiba Inu”谷歌搜索量下降至一年多以来低点:7月26日消息,投资者对Shiba Inu(SHIB)的兴趣目前与2021年的趋势形成了对比。数据显示,在过去的12个月里,全球范围内包含关键词“Shiba Inu”的谷歌搜索量在7月份下降到了一年多来的最低水平。
7月10日至16日这一周,Shiba Inu的搜索热度得分为4分(满分为100分),这是自2021年5月1日以来的最低水平。就在线搜索人数而言,SHIB最近的兴趣指数是5。
有趣的是,尽管全球范围内对Shiba Inu的兴趣有所下降,但某些国家仍对其仍表现出兴趣。荷兰投资者以100分高居榜首,美国投资者以98分紧随其后。尼日利亚、加拿大和澳大利亚的分数分别为89、84和81。(Finbold)[2022/7/26 2:39:07]
安全性:在Crash节点和Byzantine节点两类错误发生时,共识系统不能产生错误的结果。在区块链中,指的是不会产生双重花费和分叉。
活跃性:系统一直能持续产生提交,在区块链中,指的是共识会持续进行,不会卡住。假如一个区块链系统的共识不可持续,那么系统无法响应客户端新的交易请求,也就是不满足liveness。
我们直接以PBFT算法在区块链共识的应用为例,总结算法的核心流程:
PBFT的共识过程
由上图可知,PBFT是一个典型的三阶段提交算法:
pre-prepare:各节点负责接收区块、执行区块,产生区块投票签名,开始广播签名给所有共识节点
prepare:各节点负责收集签名,某节点收集满2*f的签名后,表明自身达到可以提交区块的状态,开始广播Commit包
Commit:各节点负责收集Commit包,某节点收集满2*f+1的Commit包后,直接将本地缓存的最新区块提交到数据库
看到这里,也许你会有以下疑问:
为什么不同阶段所需要的签名个数不同
对于prepare和commit阶段来说,考虑最坏的情况:我们假设收到f个是正常节点发过来的签名,也有f个是恶意节点发过来的,那么,第2*f+1个签名只可能是正常节点发过来的。由此可知,「大多数」正常的节点还是可以让系统工作下去的。所以2*f+1这个参数和n>=3f+1的要求是逻辑自洽的。而在prepare阶段,节点0发出消息即可认为确认消息,所以prepare阶段只需收集2*f个签名。
蚂蚁链最新授权专利提出版权授权“按需付费”:金色财经报道,近日,据incoPat专利数据库显示,一项名为《一种知识产权对应的数字资产申请方法》的专利获得国家知识产权局授权。该专利提出了一种“按量授权”的全新IP授权模式,用多少买多少,为中小商家低成本使用IP提供了可行路径。
据悉,该专利由蚂蚁链牵头申请。根据专利介绍,基于区块链建立IP授权系统,使用者可以结合自身需求按“使用次数”灵活的向版权方申请IP授权,每使用一次IP都会消耗区块链上的一个IP数字资产,对应失去了一次使用权。[2022/5/27 3:45:23]
为什么只有两阶段消息不能达成一致性
只有pre-prepare和prepare两个阶段消息是无法达成一致的。举例说明,假设没有commit阶段,节点1在prepare阶段收集满2*f的签名后,达到Prepared状态,然而这个Prepared仅是节点1的一个局部视角,不是全局一致,此时节点1不能保证其余节点都达到Prepared状态,如果少于f个非拜占庭节点成为Prepared状态,节点1又确认了该消息,那么系统就出现了不一致。
为什么三阶段消息可以达成一致性
说到这里,其实就很好理解为什么三阶段消息可以达成一致性,某节点收集满2*f+1的Commit包意味着有f+1个非拜占庭节点达成了Prepared状态,也就意味着「多数」节点已经认同了消息。
下面,我们再介绍PBFT的视图和视图切换流程。
PBFT共识算法使用视图view记录每个节点的共识状态,相同视图节点维护相同的Leader和Replicas节点列表。当Leader出现故障,为了保证协议活跃性,会发生视图切换,若视图切换成功(至少2*f+1个节点达到相同视图),则根据新的视图选出新leader。
话不多说,直接上视图切换流程图:
PBFT的视图切换流程
PBFT的视图切换流程也分为三个阶段:
view-change:各副本节点有问题时,会向其它节点发送view-change消息
view-change-ack:各节点接收到2*f+1个view-change消息后,选举当前存活的节点编号最小的节点成为新的主节点,并向该节点发送view-change-ack消息
new-view:当新的主节点收到2*f+1个其它节点的view-change-ack消息后,向其它节点广播new-view消息。注意:从节点不会发起new-view事件
通过对共识流程的分析,相信大家对view切换流程都能够很好地理解,这里我们不再赘述。接下来我们着重分析PBFT算法存在的问题,以及GiskardBFT改进优化。
PBFT存在的问题
通过对PBFT共识流程三阶段的详细分析,可以看到消息传输的开销很大。系统在尝试达成状态共识时,涉及到n个节点都需要广播消息到n-1个其它节点,因此算法通信复杂度达到O(n2),在节点数目为1000的情况下所需要交换的通信量为1,000,000。有实验得出当节点数量超过20时,算法的性能会急剧下降。
另外,在PBFT选举Leader的过程中,有可能经过多轮交互,选举出的Leader一直长时间运行,直到Leader节点出现故障才发起视图切换流程。但在区块链系统中,视图view表示一个共识单元,共识过程由一个接一个的view组成,每个view中由一个确定的提议人来主导共识协议,产生区块,其余验证人对区块进行投票签名达成共识。因为节点产生区块与利益相关,因此需要频繁地更换出块节点,也就是需要频繁地切换视图view,这势必会带来巨大的网络资源消耗。
GiskardBFT共识优化
所以我们基于BFT协议,结合区块链的特性,主要围绕着以下几点进行协议优化,设计了GiskardBFT。
view-change流程优化
所有的BFT协议都通过view-change来更换主节点。PBFT,SBFT等协议具有独立的view-change流程,当主节点出问题后才触发。而在Tendermint、HotStuff等协议中没有显式的view-change流程、view-change流程合入正常流程中,因此提高了view-change的效率,将view-change的通信复杂度降低。
GiskardBFT也是基于view的的共识协议,为降低通讯复杂度,GiskardBFT也没有显式的viewchange流程,而是把这个流程和正常出块流程结合。GiskardBFT约定每个提议节点在本视图内连续产生10个区块,并且每个区块都达成QC状态后,则自动切换到下一个view,不需要单独的view-change投票流程。
下图是显式的ViewChange流程,可以看到它并没有类似PBFT中的view-change-ack和new-view阶段,这两个流程被后续的prepareQC(n)进行代替。
GiskardBFTviewchange投票流程
总结一下,view-change流程优化的两个重点:
不需要显式的viewchange流程,减少投票动作。
没有view-change-ack和new-view阶段,而是结合区块链特性,由后续的prepareQC(n)对新的view进行「间接」确认。
应用BLS聚合签名
为了进一步减少消息通讯量,我们采用了聚合签名技术。业界主流的聚合签名方案是BLS聚合签名。BLS聚合签名是在BLS签名方案基础上的扩展方案。
在GiskardBFT中,我们把针对block和view-change消息的多个节点签名聚合成一个签名,可以简单地理解为:把多个节点的一段很长的签名「压缩」为一个签名。这种做法极大地降低了通讯量,对提高协议的通信效率也起到了很大的作用。
区块生产和验证并行化
此处优化是GiskardBFT的独到创新之处。这里的并行指的是:区块生产和区块验证的并行化。
上文提到,GiskardBFT是基于视图view的共识协议,每个提议节点在本视图内连续产生10个区块,并行流程如下:
提议节点在一个view内可以连续提议多个区块,下一个区块的产生不用等上一个区块达到QC状态。
验证人在接收上一个区块投票的同时,可以并行执行下个区块的交易。
这种做法极大提高出块速度,也提高了系统的共识性能。
引进pipeline方式对区块进行确认
在传统BFT主导的区块链系统中,每个区块的共识通常都需要经历明确的Pre-Commit和Commit阶段才最终确认:
Pre-Commit:当节点收到2*f+1个Prepare投票时会广播Pre-Commit,Pre-Commit可以看作对Prepare阶段的确认。
Commit:当收到2*f+1个Pre-Commit投票时,表明所有节点对指定消息达成一致,提交到本地磁盘。
GiskardBFT中的每个区块只有Prepare投票,没有明确的Pre-Commit和Commit阶段,那么区块如何达到最终的确认呢?GiskardBFT可看作Pipeline版本的BFT,每个prepareQC都是对前面区块更高阶段的确认。
GiskardBFT的区块确认流程
如图所示prepareQC(2)作为Block(1)的Pre-Commit阶段prepareQC(3)作为Block(1)的Commit阶段,Block(2)的Pre-Commit阶段。
简单来说,就是「省略」了PBFT的Commit阶段,这里读者可能有疑虑:前文不是明确给出结论,必须通过三阶段消息才能达成一致性?其实GiskardBFT不是真的没有Commit阶段,而是结合区块链特性,将下一个区块的QC状态作为上一个区块的Commit间接确认。
GiskardBFT结合区块链的链式结构,引进pipeline方式对区块进行确认,使得协议变得简洁而优美,能够很好地进行流程化作业,提高了协议的性能,另外也对协议的可扩展性留足了设计空间。
结语
目前,应用了Giskard共识协议的PlatON测试网、主网和Alaya网络都已经长时间稳定、高效运行,它的安全性和活跃性得到了充分的验证,同时Giskard共识对解决系统过于中心化,降低网络通信复杂度、消息复杂度,提升共识效率以及整个区块链的交易处理性能所起到的作用毋庸置疑。
在后期的协议版本中,我们将继续深入优化:验证人的选取不仅采用VRF,还计划结合可验证秘密分享PVSS、BLS等密码算法进一步增加随机性;引入分组共识再次提升算法的可扩展性,以高效支持更多的验证节点加入,增加网络的安全性和容错性。
来源:财联社 近日,富途证券、老虎证券纷纷宣布要进军加密货币行业,计划推出加密货币交易平台。老虎证券方面向《区块链日报》记者表示,确实在申请美国、新加坡等国家的相关牌照,将向海外客户提供加密货币服务.
1900/1/1 0:00:00金色财经6月5日讯,迈阿密将推出城市加密货币MiamiCoin,并将在6月8日上线。该代币由代币发行商CityCoin发行,将提供一种新的为喜爱的城市创建市政资产的方式.
1900/1/1 0:00:006月7日,工业和信息化部、中央网络安全和信息化委员会办公室联合发布《关于加快推动区块链技术应用和产业发展的指导意见》.
1900/1/1 0:00:00巴拉圭国会议员CarlosRejala计划下个月提交一项新法案,以吸引国际矿业公司和其他加密企业。 Rejala表示,该法案允许加密货币公司用加密货币为其巴拉圭业务提供资金,并将其加密货币利润资本化到当地银行.
1900/1/1 0:00:00最近的币圈,被马斯克搅得天翻地覆,马斯克的推特上充满了不定时炸弹,比特币价格也是被折腾得死去活来。6月4日,马斯克推特上发出了比特币+心碎的表情,比特币应声暴跌5000美元,市值缩水5000亿.
1900/1/1 0:00:00据TheBlock6月5日报道,区块链初创公司SnickerdoodleLabs在一轮种子融资中获得了230万美元的资金.
1900/1/1 0:00:00