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

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

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

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

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

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

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

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

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

金色晨讯 | 10月2日隔夜重要动态一览:21:00-7:00关键词:委内瑞拉、CFTC、BitMEX、马耳他、数字欧元

1. 外媒:委内瑞拉将在以太坊上创建去中心化证券交易所;

2. 美国监管机构CFTC对BitMEX CEO Authur Hayes提起诉讼;

3. 美国司法部:BitMEX CTO 已被逮捕;

4. 美国财政部警告加密公司不要赔偿未知的勒索软件受害者;

5. 马耳他金融服务管理局就加密公司Arb Signals的注册声明提出异议;

6. 国商品期货交易委员会(CFTC)认为Bitmex机构违反反规定;

7. Coin Metrics联合创始人:Bitmex保险库有价值约20亿美元的比特币;

8. 调查:70%的的数字货币从业者在过去12个月中卖过数字货币;

9. “数字欧元”商标于9月22日被申请 目前尚未获批。[2020/10/2]

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

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

金色晚报 | 12月18日晚间重要动态一览:12:00-21:00关键词:央行数字货币、央视、MakerDAO、虚拟银行、华为

1. 新华网:“央行数字货币”或将在不久的未来破茧而出。

2. 深圳市金融监管局召开虚拟货币非法活动专项整治会议。

3. 央视再次报道打着 “区块链”旗号进行炒作的行为,警惕区块链。

4. 区块链+党建 智慧党建平台在长沙经开区上线。

5. MakerDAO:Maker系统经历过ETH超过90%的下跌 正常运行。

6. 香港金管局:首家虚拟银行在金融科技监管沙盒试营业。

7. 蚂蚁金服区块链业务总监施跃浪:区块链将成为数字经济的基础设施。

8. 广州市与华为签署战略合作协议,将推动区块链等新技术的发展。

9. 赛迪区块链研究院院长刘权:区块链技术的发展已到了4.0阶段。

10. 美联储理事:高达50%的比特币交易在某种程度上是违法的。[2019/12/18]

BFT

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

分析 | 金色盘面:PAY/BTC 破位下行:金色盘面分析师表示:PAY/BTC在经过昨天大幅反弹后,今天再次陷入跌势,破位下行,短线尚未看到止跌迹象。[2018/8/3]

PBFT

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

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

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

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

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

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

金色财经独家报道 比特黄金创始人廖翔再次回应双花攻击事件:通过暂时增加确认次数到20次以上,已经让攻击失效:金色财经独家报道,比特黄金创始人廖翔再次回应双花攻击事件说:“首先:感谢社区对比特金BTG项目的支持;

其次,比特金是开源、非盈利项目,pow机制都有被51%攻击的可能性,开发团队,诚实矿工,交易所,持币人需要紧密合作;

再次:双花发生后,团队快速检测到数据,与各交易所紧密合作,通过暂时增加确认次数到20次以上,已经让攻击失效。团队从4月就开始研究挖矿算法升级,正在落实升级挖矿算法,从技术上彻底杜绝51%攻击;51%攻击是犯罪行为。团队与各大交易所正在合作,收集证据。首先会与FBI合作。

最后,这次攻击是第一个成功的51%攻击。凸显去中心化矿工对生态的重要性。只有从技术上杜绝作恶的可能性,才可能彻底打击犯罪。比特金团队将用我们的努力,创新为整个社区做有益探索,同时欢迎更多人士加入。为更繁荣生态努力。后续有详细细节与分析披露。再次感谢你们的支持。”[2018/5/24]

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

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

金色财经讯:Overstock子公司t?正式宣布下个月将发行代币。根据声明将发行名为 tZERO的代币,将在公司开发的替代性交易系统(ATS)上进行交易。Overstock的CEO同时也是t?的主席对此次代币销售表示极大的期待。[2017/10/25]

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

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

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

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

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间没有过多依赖,所以可以形成并行处理效果,可以总结为并行提速的调整。

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

金星链

抹茶交易所NFT:浅析NFT如何成为Web3社交的基础?

这一期的灵感来自与@anonalyx的几次谈话,已经很久没有一个话题能让我如此兴奋了。本周我们讨论的是Web3的社交体验。这些想法非常新奇,我相信在后面几期里还会继续完善很多内容.

[0:15ms0-1:61ms