BFT:金色观察|共识算法的进步方式_BBFT

近两年,随着以太坊等公链的生态发展,应用已经非常之多了,Defi、NFT这些应用虽然比较“简易”,但链上整体操作量之大,让用户和开发者还是很相信以太坊的处理能力和其他公链的处理能力的。

不过,其他公链目前和以太坊相比,一个重要的优势就是以太坊gas费太高,其他公链的gas费极低。

主要原因在于共识算法,以太坊仍是在用1.0链做交易验证,也就是使用PoW算法,而其他公链大部分都使用了PoS或者改进的PoS、PoW。

本文中我们将分析几种共识算法,来展现不同算法的区别。

一个分布式系统是由多个节点组成,节点之间需要网络发送消息通信,根据它们遵循的协议在某个任务消息达成共识并一致执行。这个过程中会出现很多类型的错误,

第一类错误是节点崩溃、网络故障、丢包等,这种错误类型的节点是没有恶意的,属于非拜占庭错误。

第二类错误是节点可能是恶意的,不遵守协议规则。例如验证者节点可以延迟或拒绝网络中的消息、可以提出无效块、可以向不同的对等体发送不同的消息。在最坏的情况下,恶意节点可能会相互协作。这些被称为拜占庭错误。

考虑到这两种错误,系统始终徐亚保持两个属性:安全性(safety)和活跃性(liveness)。

足球元宇宙项目TOPGOAL宣布获得DWF Labs数百万美元投资:4月4日消息,足球元宇宙项目 TOPGOAL 宣布获得 DWF Labs 数百万美元投资,DWF Labs 是一家 Web3 风险投资公司和数字资产做市商。公告称这项投资将使 TOPGOAL 能够建立一个由人工智能和区块链技术驱动的足球元宇宙,进一步实现其将体育带入 Web3 并创造新的数字和虚拟体验的愿景。[2023/4/4 13:44:22]

安全性:在以上两类错误发生时,共识系统不能产生错误的结果。在区块链的语义下,指的是不会产生双重花费和分叉。

活跃性:系统一直能持续产生提交,在区块链的语义下,指的是共识会持续进行,不会卡住。假如一个区块链系统的共识卡在了某个高度,那么新的交易是没有回应的,也就是不满足liveness。

BFT

BFT(拜占庭容错协议)是一种即使系统中存在恶意节点也能保证分布式系统的安全性和活跃性的协议。根据Lamport论文,所有BFT协议都有一个基本假设:节点总数大于3f时,恶意节点最大为f,诚实节点可以达成一致的正确结果。

PBFT

实用拜占庭容错算法是现实世界里首批能够同时处理第一类和第二类错误的拜占庭容错协议之一,基于部分同步模型,解决了之前BFT类算法效率不高的问题,将算法复杂度由节点数的指数级降低到节点数的平方级,使得拜占庭容错算法在实际系统应用中变得可行。

风投机构 Spartan Group 将推出 2 亿美元元宇宙基金,聚焦“数字所有权”:3月10日消息,加密风险投资公司Spartan Group 将推出 2 亿美元Metaverse(元宇宙)基金,该基金将专注于在元宇宙中建设的项目,特别是支持“数字所有权”的虚拟世界。Spartan Group 普通合伙人 Jason Choi 表示,Axie Infinity的例子表明,在这种 NFT 元宇宙游戏垂直领域,与 DeFi 项目显然存在不同类型的用户。

具体而言,Spartan Group 的新基金专注于 Metaverse 的三个不同层面:基础设施层、体验层和“增值层”,后者包括游戏公会和 NFT 市场等处于虚拟世界外部的项目类型。The Spartan Group 总部位于亚洲,投资组合包括 1inch、Acala、Synthetix 等。(The Block)[2022/3/10 13:47:46]

PBFT正常流程为3阶段协议:

pre-prepare:主节点广播预准备消息到各副本节点(Replica)

prepare:该阶段是各个节点告诉其他节点我已经知道了这个消息,一旦某个节点收到了包含n-f个prepare消息则进入prepared状态

三星堆元宇宙典藏主题系列今日上线:金色财经报道,三星堆元宇宙典藏主题系列今日发布,其中包含万象、燎祭、幻城系列典藏卡。三个主题下均有九款文物藏品,每款限量发售30份。总计发行810份典藏卡,不增发。用户随机盲盒式抢购,用户不限购。2022年2月14日,上午十点开放限时限量发售。该藏品是基于科证区块链技术协议发行的数字藏品,由四川省文物考古研究院、三星堆博物馆联合发行。[2022/2/14 9:50:09]

commit:该阶段是各个节点以及知道其他节点知道了这个消息,一旦某个节点收到了n-f个commit消息则进入committed状态

视图切换是PBFT最为关键的设计,当主节点挂了或者副本节点集体认为主节点是问题节点时,就会触发ViewChange事件,开始viewchange阶段。

通信复杂度给PBFT的共识效率带来了严重的影响,极大地制约了PBFT的可扩展性。

如何把通信复杂度降低提高共识效率,是BFT共识协议在区块链场景中面临的挑战。针对BFT共识效率的优化方法,具有以下几类:聚合签名、通信机制优化、view-change流程优化。

PBFT,SBFT等协议具有独立的view-change流程,当主节点出问题后才触发。而在Tendermint、HostStuff等协议中没有显式的view-change流程,view-change流程合入正常流程中,因此提高了view-change的效率,将view-change的通信复杂度降低。

元宇宙概念股继续走强:11月24日消息,佳创视讯拉升封板,金运激光、川网传媒、GQY视讯、大富科技等此前涨停,奥雅设计、锋尚文化、新媒股份、丝路视觉、中青宝等继续冲高。(财联社)[2021/11/24 7:08:30]

Tendermint将roundchange(和viewchange类似)合入正常流程中,因此roundchange和正常的区块消息commit流程一样,不像PBFT一样有单独的viewchange流程,因此通信复杂度也就降低。

HotStuff参考Tendermint,也将视图切换流程和正常流程进行合并,即不再有单独的视图切换流程。通过引入二阶段投票锁定区块,并采用leader节点集合BLS聚合签名的方式,

Hotstuff将传统BFT的两轮的同步BFT改为三轮的链式BFT,没有明确的prepare,commit共识阶段,每个区块只需要进行一轮QC,后一个区块的prepare阶段为前一个区块的pre-commit阶段,后一个区块的pre-commit阶段为前一个区块的commit阶段。每次出块的时候都只需要低通信复杂度,通过两轮的通信复杂度,达到了之前的效果。

微软CEO纳德拉:企业元宇宙是融合数字世界和物理世界的基础设施堆栈的新层:近日,微软董事长兼CEO萨提亚·纳德拉(Satya Nadella)在全球合作伙伴大会Inspire上官宣了企业元宇宙(Enterprise Metaverse)解决方案。通过微软HoloLens、Mesh、Azure云、Azure Digital Twins等帮助企业客户实现数字世界与现实世界融为一体。Nadella表示:企业元宇宙是为了融合数字世界和物理世界,而创建出来的基础设施堆栈的新层。该平台融汇了物联网、数字孪生和混合现实。使用我们的元宇宙堆栈,你可以从数字孪生开始,建立一个丰富的物理或逻辑数字模型,无论是资产、产品还是复杂环境,都能跨越人、地、物及其相互作用。数字孪生实时绑定物理世界,你可以使用混合现实,监视环境并在其中协作。你可以运行模拟,可以应用人工智能,来分析和预测未来状态。他还说:玛氏和埃森哲已经在使用我们的元宇宙堆栈,通过复杂的数字模拟,实现供应链数字化和优化生产。在法国,政府人员求助于我们的合作伙伴Cosmo Tech和SystemaX,来建模和模拟一个地区的增长。他们使用Azure数字孪生和我们的数据和分析服务,确定应将新资源部署在何处,以及它们会对地区电网产生什么影响。[2021/8/20 22:26:15]

PBFT、Tendermint等协议具有即时确定(InstantFinality)的特性,几乎不可能出现分叉。在PBFT中,每个区块被确认后才能出下一个区块,Tendermint还提出区块锁定的概念,进一步确保了区块的即时确定性,即在某个round阶段,节点对区块消息投了pre-commit票,则在下一个round中,该节点也只能给该区块消息投pre-commit票,除非收到新proposer的针对某个区块消息的解锁证明。

这类BFT共识协议本质上是一个同步系统,将区块的生产和确认紧密耦合,一个区块确认后才能生产下一个区块,需要在块与块间等待最大的可能网络延迟,共识效率受到很大的限制。

PlatON:CBFT

CBFT基于部分同步网状通信模型,提出了一个三阶段共识的并行拜占庭容错协议。网状的通信模型更适合公网的弱网环境。

CBFT的正常流程和Hotstuff类似,分为prepare,pre-comit,commit和decide几个阶段。但CBFT还作了关键的改进:在一个视图窗口内可以连续提议多个区块,下一个区块的产生不用等上一个区块达到QC;而且各个节点可以在接收上一个区块投票的同时,并行执行下个区块的交易,以pipeline的方式对区块进行投票确认,从而极大提高了出块速度。

CBFT有自适配的视图切换机制:在一个视图窗口内,节点接收到足够多的区块以及赞成票时,会自动进行窗口切换,切换到下一个窗口,无需进行viewchange投票。除此之外,节点会启动viewchange流程,并且在viewchange阶段引入了和Hotstuff一样的二阶段锁定投票规则,同时使用BLS聚合签名,可以在低的通信复杂度内完成视图窗口切换。

CBFT只在正常流程之外才会进行viewchange,因此相比HotStuff会有更少的视图切换开销。

CBFT共识中,每430个区块就会更新验证人集合,更新规则如下:

新验证人可能由于网络连接或区块不同步等原因不能参与共识,因此我们每次替换不超过14个节点,如果候选验证人不足14个,替换的数量为候选验证人的总数。使用VRF从候选验证人中随机选出新验证人。

Conflux:GHAST

Conflux可以实现与比特币和以太坊相同水平的去中心化和安全性,但在交易吞吐量和最终延迟方面提供了两个数量级以上的改进。

主要优势在于共识协议、认证存储和交易中继协议。在Conflux分类帐中,块被组织为树形图,其中每个块引用一些其他块,其中一个是其父块。仅查看与父边链接的块,账本似乎是一个树结构,而查看所有块,它似乎是一个有向无环图。这也是将Conflux的账本结构称为Tree-Graph的原因。

Conflux的共识算法,称为Greedy-Heaviest-Adaptive-SubTree(GHAST),通过在账本中的父树上应用最重子树规则,使区块链网络中的所有节点能够一致地就区块的枢轴链达成一致,进而基于枢轴链就所有区块的总顺序达成共识。GHAST还允许Conflux节点检测一些可能损害活跃性的攻击,即确认交易的能力,并通过自适应调整块的权重来阻止这些攻击。

Tree-Graph账本和GHAST共识算法使Conflux节点能够快速生成新块,而不必担心账本中存在分叉可能会损害网络的安全性,从而使系统能够同时实现高吞吐量以及低交易确认延迟。

其他思路

Dfinity

Dfinity更改共识算法上,将传统的共识节点全部参与共识计算修改为通过计算随机数选取部分节点完成共识计算,这是加快共识验证的一个步骤。而更核心的是选中的共识节点是通过非交互式的BSL算法确认交易,意味着不会经历BFT类共识的节点间反复交互的过程,而达到类似“并行”加速的效果。

IOTA

IOTA对算法的修改比较彻底,对比区块链,IOTA使用Tangle数据结构形成总帐本Tangle特点是每个事务都附加到两个先前的事务里,所以要完全消除了原有区块链链式结构对确认时间的依赖。这就形成了交易的无限关联确认结构,可以达到并行效果。

Filecoin

Filecoin在并行上的修订,是在对存储任务的并行处理,因为Filecoin的存储部分,会对存储数据完全进行计算,这个过程极为漫长。所以并行和提速非常之重要,目前,其采用的是更新后的NSE算法。

拆分NSE算法可以看到的是,当处理数据时,会对数据进行分window和分layer层的处理,处理完成后才会进行下一步数据存储以及后续的Post证明打包。采用NSE后,在layer的处理部分,layer间没有过多依赖,所以可以形成并行处理效果,可以总结为并行提速的调整。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

[0:0ms0-5:235ms