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

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

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

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

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

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

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

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

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

金色财经正式上线EOS专属频道:12月23日消息,金色财经已正式上线EOS专属频道,主要将EOS的科普知识、最新动态、节点提案全部集合,让投资者轻松掌握EOS生态资源模型科普、DeFi最新玩法等。

据悉,目前已入驻项目包括:TokenPocket、imToken、MYKEY、Newdex、PIZZA、Defibox、Organix,超级节点有:EOS佳能、eosinfstones、big.one等。

欢迎EOS各大项目方申请入驻并发布一手动态消息。详情见原文链接。[2020/12/23 16:12:56]

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

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

BFT

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

金色晚报|7月14日晚间重要动态一览:12:00-21:00关键词:江苏、PayPal、火币、USDT、KNC、量子链

1. 江苏首个省级区块链专项扶持政策出台。

2. 支付巨头PayPal正在监控加密资产领域的发展。

3. 报告:火币上半年流入454万个BTC。

4. 新加坡金融管理局牵头的区块链计划“乌敏岛项目”完成测试工作。

5. 2020移动互联网蓝皮书:区块链基础设施已成为产业发展重点。

6. Bitfinex CTO:USDT可在未来几年继续赋能区块链领域不断增长的企业和创新。

7. Kyber Network已启动链上治理投票,近24%的KNC代币已被质押。

8. Chainlink本周宣布数项合作,包括Meter.io、Nexo Finance及DigiTxio。

9. 量子链将在区块高度680,000进行硬分叉升级。[2020/7/14]

PBFT

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

金色相对论 | 彭上坤:现在的监管其实是把暗网隔离了:在今日举行的金色相对论中,针对“Filecoin会不会遇到监管问题?然后影响Filecoin的落地应用”的问题,嘉楠区块链 技术负责人彭上坤表示,监管确实是一个潜在的隐患,我们现在的监管其实是把暗网隔离了,filecoin如果带来一个完全自由的互联网,等于打开暗网的盒子。但是也有方法途径可以来做好预防:比如建立审查或验证机制,通过奖惩措施,引导大家存储合法的数据,从Filcoin的源头上做好监控,然后发现问题后,就可以追溯到数据提供的源头。[2020/5/20]

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

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

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

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

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

金色午报 | 1月21日午间重要动态一览:7:00-12:00关键词:湖北、印度储备银行、赣服通3.0、青岛农商银行、BSV、EOS VM

1. 湖北省政府工作报告:强化区块链等新型通用技术引领带动。

2. 福建:积极推动区块链等技术在制造业领域应用与融合发展。

3. 印度储备银行:并未禁止加密货币交易,只是对银行等受监管实体隔离以避免风险。

4. 济南市市长:济南片区正探索实施区块链人工智能审批等政务服务新模式。

5. 江西:“赣服通”3.0版将创新运用区块链新技术。

6. 青岛农商银行开立山东首单银行区块链电子投标保函。

7. 2019年全年矿池平均赚矿工费428.53万美元,七大矿池年收入过千万

8. BSV创世纪升级技术变更:将恢复OP_RETURN的功能,不再支持P2SH地址。

9. EOS社区:出块节点开始测试EOS VM,性能大幅提升。

10. BTC现报8666美元,近24小时上涨0.15%,市值为1570.76亿美元。[2020/1/21]

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

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

金色财经独家分析 区块链技术目前还无法在游戏行业实现规模化落地:目前区块链技术在游戏行业炙手可热,各个企业都在游戏领域中布局区块链技术,如小米、网易等公司,但目前做出来的区块链游戏模式仅能完成较为简单的买卖操作,或者是作为一个去中心化的充值方式来进行应用,尚未出现高即时性的游戏内容。其中最主要原因在于区块链的数值返还时间较长,难以应用在高即时性的游戏中,并且区块链的底层技术目前对于游戏开发所需要的性能、开发环境、不同类型产品的支持都无法满足开发者的需求,由此可见区块链技术目前在游戏领域中还无法实现规模化落地应用。不过区块链技术与游戏结合的潜力是无穷的,最重要的是,区块链技术与游戏的结合最终会把游戏的权利交还给玩家,不再会有类似于游戏公司倒闭,玩家的所有物品消失的现象。[2018/3/26]

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

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

地球链

波场WEB:去中心化的网络并不是去中心化的

加密货币的狂热支持者者宣扬Web3的优点,他们表示未来我们在网上做的一切都将由区块链提供动力。Web3的支持者说,互联网的下一次迭代将把大部分权力交给用户,而不是由大型私人公司管理互联网上的言论.

[0:15ms0-2:59ms