宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > 酷币下载 > 正文

模块化结构下 EIP-4844 的设计逻辑

作者:

时间:1900/1/1 0:00:00

引入

合并(TheMerge)的关键里程碑已于9月15日完成,根据Vitalik在2021年底发布的以太坊协议开发路线图,下一个重要阶段是TheSurge——解决以太坊可扩展性问题,降低交易费并提高吞吐量。TheSurge围绕以rollup为中心的路线图开发,在继承以太坊网络安全性的同时,进一步提高L2rollup的可扩展性。

cr:https://twitter.com/ethereumcn/status/1466731320537612296?s=46&t=9yOAkX-0nd_xvSJIJ8_Pmw

本文主要介绍这一技术路线图中的一个关键工作:EIP-4844Proto-danksharding,它如何使得rollup所需要使用的数据变得更加便宜以及获得更多存储数据的容量(capacity)。EIP-4844是对以太坊网络的一次升级,它将使得rollup的开销降低10-100倍。它通过向以太坊引入一种新的交易类型来实现,这种交易类型携带短暂存在的blob数据。这种新的数据存储方式是为了存放rollup的一些数据,它会比目前calldata的方式便宜得多。此外,4844是完整版Danksharding(在前面的基础上再扩容10-100倍!)的前提条件。

以太坊分片技术路线图

对于以太坊分片设计的现状,前以太坊基金会开发者Protolambda做了一个简洁的描述:

带有“crosslink”的可执行的“分片链”已被淘汰,而是更新为:在信标链中实现EVM;使用“数据可用性采样”的以rollup为中心的以太坊路线图,扩容以太坊基础层而无需增加应用环境的复杂性。

之所以做这样的简化,主要有两个原因:

孙宇晨:将出于娱乐目的交易迷因币,不构成任何财务建议:5月11日消息,波场TRON创始人、火必Huobi全球顾问委员会成员孙宇晨在推特表示,将通过其公开地址积极交易迷因币(meme coins)和有前途的项目,并将承担这些交易的所有潜在损失,所赚取的利润将全部捐赠给慈善机构。

孙宇晨特别提示,他的投资仅出于娱乐目的,不构成财务建议,并且不能保证相关项目在包括Huobi和Poloniex的任何交易所上市。[2023/5/11 14:57:24]

避免添加更多的L1复杂性。分片的规范已重写多次,许多研究都过于抽象乃至实现的日子遥遥无期,并且让L1变得僵化。而如果能够巧用封装复杂性和应用区块链模块化结构,以太坊基础层作为rollup的数据可用性层,将计算的重任交给作为执行层的L2。这样L1只专注于解决数据问题,不同的rollup团队解决各自的开发问题,从而大大地提升扩容的效率。封装复杂性和模块化在以太坊上的应用

模块化区块链是扩容中一个非常重要的概念。模块化意味着“封装复杂性”,这允许我们在不同的模块中添加可扩展性。根据Vitalik的文章《协议设计中的封装复杂性和系统复杂性权衡》中的解释,当一个系统包含着一些复杂的子系统,但对外提供一个简单的“接口”时,就会出现“封装复杂性”;当系统的不同部分甚至不能完全分离,并且相互之间具有复杂作用时,就会出现“系统复杂性”。

2020年10月,Vitalik发布了文章《以Rollup为中心的以太坊路线图》,确定了为L2rollup扩容协议保驾护航的基本思路:将执行层(L2)和数据层(L1)分离,以太坊共识层(L1)为其提供安全保障。

分离执行层和数据层的好处是,数据层的发展可以保持相对稳定,而执行层(即rollup)则可以更加多自主性、更加创新地快速迭代,无需获得L1核心开发者社区的的许可进行升级。

上面简单介绍了以rollup为中心的以太坊路线图中的区块链分层情况,那在PoW与PoS、L1与L2之间的模块化架构是怎样的呢?

支付巨头Visa加密负责人:自去年1月波场月活用户量一直高于以太坊、Polygon、Optimism与Arbitrum之和:金色财经报道,据支付巨头Visa公司加密负责人Cuy Sheffield在社交媒体披露数据显示,波场在新兴市场已得到广泛采用,此外2022年1月至2023年1月期间,波场月活用户量一直高于以太坊、Polygon、Optimism与Arbitrum月活用户量之和。此外,Polygon、Optimism与Arbitrum三个以太坊L2链上稳定币支付的活跃用户量同比增长超500%,说明当前仍处于稳定币支付的早期阶段。[2023/2/27 12:31:41]

cr:Protolambda

图中展示了合并前的单一型PoW链vs.合并后的L1共识层(PoS)和L1执行层(EVM)之间的模块化关系。而PoS和EVM之间的合并技术是通过一个叫做”EngineAPI“的东西实现的。下图是合并后完整客户端的样子,中间的API使得以太坊共识层(PoS)和执行层(PoW)之间可以实现通信。这是以太坊主网上的首个模块化设计。

cr:DannyRyan

那么L1和L2之间是如何连接的呢?

cr:Protolambda

可以看到上图中,L1和L2之间会有一个API,它们分别是两套软件。

Jack Dorsey:基于分布式社媒协议Nostr的社交产品Damus和Amethyst正式上线:2月1日消息,Twitter 联合创始人Jack Dorsey发推称,基于去中心化社交媒体协议Nostr的社交产品Damus已上线苹果App Store。根据应用界面 ,Damus支持的闪电小费支付平台包括Strike、Cash App、Muun、Blue Wallet、Wallet of Satoshi、Zebedee、Zeus LN、LNLink、Phoenix、Breez、Bitcoin Beach、Blixt Wallet、River。[2023/2/1 11:40:50]

cr:Protolambda

这是以太坊加上欺诈证明和有效性证明之后的示意图,相当于将L2作为一个执行层连接以太坊EVM,然后你维持当前的L2执行层。但这也会有一个问题,因为就算可以堆叠执行层,但是这样效率不高,所以我们需要一个数据层。

cr:Protolambda

如上示意图,L1作为数据层,L2负责执行计算。

数据可用性是扩容的关键瓶颈

以太坊目前面临的一大瓶颈就是数据可用性,这是我们接下来一年里增加可扩展性所需要提高的范畴。

首先我们看一笔rollup交易包含哪些开销:

执行开销(网络中所有节点执行交易并且验证其有效性的开销)存储/状态开销(使用新的值更新区块链“数据库”的开销)数据可用性开销(将数据发布至L1的开销)其中,前两笔开销都是Rollup网络上的花费,占总开销的比例非常低。而数据可用性开销才是扩容的关键瓶颈。

我们为什么需要这种数据呢?

保证数据的可用性可以让任何人都可以无需许可地重构状态。

多位加密行业人士入选2023年度北美福布斯30位30岁以下精英榜:11月30日消息,多位加密行业人士入选2023年度北美福布斯30位30岁以下精英榜,其中包括Avalanche联合创始人Kevin Sekniqi、Jump Crypto总裁Kanav?Kariya以及Uniswap创始人Hayden Adams等。(福布斯)[2022/11/30 21:11:16]

L2提供的可扩展性是通过将执行检查和保证数据安全这两项工作分离而获得的。这让我们有机会同步以及获取验证状态的数据,而这个过程中定序器不会对其有直接影响。

目前,rollup上传数据到L1都是以calldata的形式。这种方式非常贵,calldata是一种没有修剪过的非常没有效率的数据形式,需要以一种迂回的方式将数据存放在以太坊,一个非0字节就需要花费16gas。所以出现了两种粗暴的降低这种开销的方法:

calldata压缩,不少rollup项目都已经开始研究压缩calldata的算法并集成到他们的系统中。EIP-4488,将每个非0字节的calldata开销从16gas降低到3gas。但是使用calldata的方式始终是不可持续的,因为这会带来L2不需要的遗留开销。那么有没有更优雅的方法呢?

数据可用性、数据可恢复性、长期数据可用性等等这些不同类型的名词,它们之间的差异就是可用性的时长各不同。譬如说,你希望这些数据的可用时间足够长来挑战定序者、重构状态。事实上,你不需要数据是永远可用的。在以太坊的假设中,存储超过一年的数据,用户可能在某个地方找到它,可能会将它同步到某个点,而不需要一直追溯到创世区块。

而EIP-4844这个提案则是让我们能够对数据做一些修剪,因为在这个提案下,数据只需要保留其可用性足够长的时间,让诚实的网络参与者重构完整状态并且挑战定序器。

EIP-4844Proto-danksharding

EIP-4844提议什么呢?

将数据可用性添加至以太坊且不会破坏可组合性,也就是说我们可以在L1有一个执行层,同时可以在上面添加数据可用性。

公链Aergo启动规模为1000万美元的AERGO Venture Fund:4月28日消息,韩国公链Aergo宣布启动规模为1000万美元的AERGO Venture Fund,将为直接构建在Aergo的项目提供资金支持,旨在推动Aergo生态发展。Aergo表示,新基金将扩大投资范围,包括GameFi,SocialFi、EduFi和其他Web3机会。

Aergo由韩国区块链公司Blocko成立于2014年,2018年开发区块链主网Aergo,并发行了同名加密货币AERGO。[2022/4/28 2:37:32]

cr:Protolambda

如图所示,我们现在有L1共识层、L1执行层、L1数据层、L2执行层。在这样的分层架构下,我们获得了封装性,然后我们不同的团队可以针对不同的问题,并单独地提高某一层的可扩展性。

引入新的交易类型Blob-carryingTransaction

EIP-4844引入一种新的交易类型,这种交易类型与普通以太坊交易相比多了一个blob的位置用来存放L2的数据。比较独特的是,Blob数据在一个月之后就会被节点删除,从而很大地节省了存储空间。

那么我们如何添加这种数据呢?

图:一个“Blob”的生命周期,cr:Protolambda

我们称这种数据为“blob”,这是一种非常模糊的数据形式,类似于一种字符串。“Blob”会被附加到一笔交易中,这笔交易就像其他交易一样在以太坊系统中运行。

但附加的内容具有自己的生命周期。请看上图图示:首先,rollup运营者会纳入普通的交易,生成L2交易捆,目前是通过calldata的方式将交易batch直接发送至L1。而有了4844之后,新增了一种携带“blob”数据的交易类型“blob交易”。这个“blob交易”负责支付交易费,将承诺(commitment)包含进交易中以有效地证明该blob中存在的任意数据。但是附加的内容(即blob数据)本身是与“blob交易”分离的,可以把这种数据看作是一个挎斗(sidecar)。

(Sidecar在不改变主应用的情况下,会起来一个辅助应用,来辅助主应用做一些基础性的甚至是额外的工作。这个sidecar通常是和主应用部署在一起,所以在同样环境下运行。这其中还有一些性能上的考虑,sidecar如果和主程序网络通信上有延迟就会造成性能问题。这个辅助应用不一定属于应用程序的一部分,而只是与应用相连接。这就像是挎斗摩托车,每个摩托车都有自己独立的辅助部分,它随着主应用启动或停止。因为sidecar其实是一个独立的服务,我们可以在上面做很多东西,例如sidecar之间相互通信、或者通过统一的节点控制sidecar,形成网络服务ServiceMesh。来源:https://blog.csdn.net/lxlmycsdnfree/article/details/126286243)

blobdatavs.calldata

要想知道两者的区别,我们首先要了解以太坊合并前以及合并后的区块组成。

cr:DannyRyan

上图为合并后的信标区块,执行层被包裹在共识层里,而EL最核心的部分就是ExecutionPayload(执行负载)。

EL和CL分别负责两个主要功能,前者执行EVM,后者负责PoS共识。信标区块中包含EL?的ExecutionPayload,外层的状态根为信标链状态的更新,EL内的状态根则是EVM账户状态更新。

现在我们重新来看Calldata和blobdata之间的区别。

首先,这两种数据类型有不同的生命周期。Calldata存在于“executionpayload”中(普通的L1交易),而blob数据存储于共识层中。也就是说“blob”存储在一个Prysm节点或者Lighthouse节点中,而不是在Geth中。然后这些共识层节点会在特定一段时间之后对blob数据进行修剪。

“Blob”在网络的运作流程如下图所示:

cr:Protolambda

定序器提供数据->L1敲定数据->将Blobsidecar从Blob交易中分离出来->Blob交易中的执行发生在ExecutionPayload中->rollup验证状态所需要的数据则去到另一侧的数据库中,L2验证者可以下载这些sidecar并同步L2。Blob有两个显著的特点:

第一就是不被合约读取,下图是一笔blob交易的样子,可以看到EVM不会读取blob。

cr:Protolambda

就像前面所介绍那样,blobdata存储在共识层节点中,和calldata需要被合约读取所消耗的资源相比要便宜得多。

第二就是,一个月后,共识层节点会对blob内的值进行删除。区块空间一直以来主要都由交易占用着,而随着L2的发展,L1基础层转而成为L2的数据层,calldat就会占用更多的区块空间。能够定期删除blob数据的话,可以很好地解决L1状态膨胀的问题。

总结

随着Rollup技术的逐渐完善,数据可用性成为各个解决方案更进一步扩容的瓶颈。而L1作为一个为Rollup保驾护航的基础层,它不仅可以为rollup提供安全保障,还可以充当rollup的数据层,让可扩展性实现指数级的提升。Proto-danksharding作为完整版Danksharding的前提条件,通过引入携带“blobdata”的交易类型这样的一个新设计,让基础层更无压力地存放L2数据,同时不影响数据可用性的安全性。

OPinParis:Protolambda介绍EIP-4844

https://www.youtube.com/watch?v=KQ_kIlxg3QA

《以太坊分片设计的历史回顾和未来路线图》

https://www.ethereum.cn/Eth2/sharding-design-history

《Rollup的大補帖:Proto-Danksharding》

https://medium.com/taipei-ethereum-meetup/rollup-and-the-boost-from-proto-danksharding-85d2fe0566b6

EIP-4844提案规范

https://eips.ethereum.org/EIPS/eip-4844

以Rollup为中心的以太坊路线图

https://www.ethereum.cn/a-rollup-centric-ethereum-roadmap

标签:BLO以太坊ROLROLLBlock-Logic以太坊价格今日行情实时TROLLBNBroll币可以roll坐骑吗

酷币下载热门资讯
Amber Group: 需要加速的零知识证明

1.简介 零知识证明允许一方在不透露任何额外信息的情况下向另一方证明给定的声明是正确的。它自然可以用来保护隐私,在隐藏所有细节的情况下证明某些交易是有效的。某些特定零知识证明协议的另一个重要属性是可以高效地验证零知识证明.

1900/1/1 0:00:00
巴比特巴比特 | 元宇宙每日必读:武汉发布促进元宇宙产业创新发展实施方案,武汉的元宇宙要这么干!

摘要:根据《武汉市促进元宇宙产业创新发展实施方案》,其力争到2025年,创建2个以上高水平元宇宙产业基地,3个以上元宇宙重点平台,聚焦重点行业领域,打造50个以上元宇宙典型应用场景和项目,培育引进200个以上元宇宙创新企业.

1900/1/1 0:00:00
头条观察 | 5年后的加密市场将会是什么样?

近几年来,加密行业正处于巨大的创新和技术进步时期,同时也是一个混乱的时期。在短时间内,加密行业的基本面很难有巨大的改变,但是如果我们把时间拉长到5年,或许能够去猜想一些发展的趋势变化.

1900/1/1 0:00:00
OP Research:Wallet、CEX和DAPP,谁才是Web3未来的流量入口

一、入口的发展历史 当前Web3.0行业整体暂时处于发展的早期,和传统的Web2.0行业相比,流量的攫取还暂时处于较为原始的阶段,通常以一种较为粗犷的方式进行.

1900/1/1 0:00:00
币安与 FTX 交锋白热化 原因是什么?FTX 会暴雷吗?

随着?CoinDesk曝出Alameda财务数据,此事虽然与币安无关,但币安的攻击从未停止。币安联合创始人何一对该事件表示:“币安不给无抵押贷款,不参与交易,不瞎买公司,不瞎花钱赞助,20%FTX的股权已经卖出,抬头做人,低头做事.

1900/1/1 0:00:00
深入探讨去中心化可扩展性:了解以太坊扩展路线图的一些里程碑升级

从A到KZG,以太坊这台世界计算机的合并后路线图综合指南:Pro-Danksharding(EIP-4844)提议者-构建者分离Danksharding对去中心化可扩展性的深入探讨.

1900/1/1 0:00:00