引入
合并(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为中心的以太坊路线图,扩容以太坊基础层而无需增加应用环境的复杂性。
之所以做这样的简化,主要有两个原因:
去中心化基础设施提供商Intuition正在构建全栈解决方案Git for knowledge:7月21日消息,据Polygon Ventures发推称,Intuition正在构建一个全栈解决方案,将去中心化存储、身份组合于W3C可验证声明和DID等开放协议上,使用户能够克隆新的知识词典和扩大集体理解范围。[2023/7/21 11:08:35]
避免添加更多的L1复杂性。分片的规范已重写多次,许多研究都过于抽象乃至实现的日子遥遥无期,并且让L1变得僵化。而如果能够巧用封装复杂性和应用区块链模块化结构,以太坊基础层作为rollup的数据可用性层,将计算的重任交给作为执行层的L2。这样L1只专注于解决数据问题,不同的rollup团队解决各自的开发问题,从而大大地提升扩容的效率。封装复杂性和模块化在以太坊上的应用
模块化区块链是扩容中一个非常重要的概念。模块化意味着“封装复杂性”,这允许我们在不同的模块中添加可扩展性。根据Vitalik的文章《协议设计中的封装复杂性和系统复杂性权衡》中的解释,当一个系统包含着一些复杂的子系统,但对外提供一个简单的“接口”时,就会出现“封装复杂性”;当系统的不同部分甚至不能完全分离,并且相互之间具有复杂作用时,就会出现“系统复杂性”。
2020年10月,Vitalik发布了文章《以Rollup为中心的以太坊路线图》,确定了为L2rollup扩容协议保驾护航的基本思路:将执行层(L2)和数据层(L1)分离,以太坊共识层(L1)为其提供安全保障。
分离执行层和数据层的好处是,数据层的发展可以保持相对稳定,而执行层(即rollup)则可以更加多自主性、更加创新地快速迭代,无需获得L1核心开发者社区的的许可进行升级。
上面简单介绍了以rollup为中心的以太坊路线图中的区块链分层情况,那在PoW与PoS、L1与L2之间的模块化架构是怎样的呢?
朝鲜已经建立影子劳动队被用来进行大规模的加密货币黑客攻击:金色财经报道,据美国官员称,朝鲜已经建立了一支由数千名IT工人组成的影子劳动队。这支影子劳动队与朝鲜的网络犯罪行动有关,并被用来进行大规模的加密货币黑客攻击。些影子工人去年瞄准了一名Sky Mavis工程师,在LinkedIn上冒充招聘人员。在一次电话交谈后,影子工作人员给了他一份文件,作为招聘过程的一部分,让他审查。该文件包含恶意代码,使朝鲜黑客得以闯入Sky Mavis,并在Ronin桥黑客事件中窃取了超过6亿美元的资金。
报告指出,为了渗透到加密公司,朝鲜黑客雇佣了西方的前台人员。这些前台人员通过面试接受加密公司的聘用,一旦被录用,他们会对产品进行小的改动,使其变得脆弱,然后黑客接管。根据 Chainalysis 的数据,在这些影子员工的帮助下,朝鲜黑客在过去五年中窃取了超过 30 亿美元。[2023/6/12 21:30:59]
cr:Protolambda
图中展示了合并前的单一型PoW链vs.合并后的L1共识层(PoS)和L1执行层(EVM)之间的模块化关系。而PoS和EVM之间的合并技术是通过一个叫做”EngineAPI“的东西实现的。下图是合并后完整客户端的样子,中间的API使得以太坊共识层(PoS)和执行层(PoW)之间可以实现通信。这是以太坊主网上的首个模块化设计。
cr:DannyRyan
那么L1和L2之间是如何连接的呢?
Mark Cuban:发币后释放全部供应并通过DeFi提供流动性,可实现真正去中心化:5月24日消息,NBA达拉斯独行侠队老板Mark Cuban对最近发布的一条推文发表了评论,该推文涉及美国SEC称Filecoin(FIL)为证券,并就这一问题致函灰度。Cuban表示,加密货币发行平台的一种可能情况是,他们释放全部代币供应,而不保留一部分作为财库。发行的代币应该用于使用DeFi提供流动性,发行代币的原始实体应该解散。他认为,在这种情况下,“真正的去中心化”是存在的,而SEC等监管机构将无法“关闭代币”,指责它是一种证券,就像对待XRP、FIL和其他加密货币一样。[2023/5/24 22:14:51]
cr:Protolambda
可以看到上图中,L1和L2之间会有一个API,它们分别是两套软件。
cr:Protolambda
这是以太坊加上欺诈证明和有效性证明之后的示意图,相当于将L2作为一个执行层连接以太坊EVM,然后你维持当前的L2执行层。但这也会有一个问题,因为就算可以堆叠执行层,但是这样效率不高,所以我们需要一个数据层。
cr:Protolambda
如上示意图,L1作为数据层,L2负责执行计算。
数据可用性是扩容的关键瓶颈
以太坊目前面临的一大瓶颈就是数据可用性,这是我们接下来一年里增加可扩展性所需要提高的范畴。
DOS Labs推出专为游戏工作室开发的Avalanche子网:金色财经报道,Web3游戏工作室DOS Labs推出专为游戏工作室开发的Avalanche子网,该子网将支持交易平台、资产管理工具等,并为游戏开发者提供SDK支持以快速且低成本地将Web3功能集成到游戏中,从而降低Web3游戏开发的门槛。[2023/2/14 12:05:05]
首先我们看一笔rollup交易包含哪些开销:
执行开销(网络中所有节点执行交易并且验证其有效性的开销)存储/状态开销(使用新的值更新区块链“数据库”的开销)数据可用性开销(将数据发布至L1的开销)其中,前两笔开销都是Rollup网络上的花费,占总开销的比例非常低。而数据可用性开销才是扩容的关键瓶颈。
我们为什么需要这种数据呢?
保证数据的可用性可以让任何人都可以无需许可地重构状态。
L2提供的可扩展性是通过将执行检查和保证数据安全这两项工作分离而获得的。这让我们有机会同步以及获取验证状态的数据,而这个过程中定序器不会对其有直接影响。
目前,rollup上传数据到L1都是以calldata的形式。这种方式非常贵,calldata是一种没有修剪过的非常没有效率的数据形式,需要以一种迂回的方式将数据存放在以太坊,一个非0字节就需要花费16gas。所以出现了两种粗暴的降低这种开销的方法:
calldata压缩,不少rollup项目都已经开始研究压缩calldata的算法并集成到他们的系统中。EIP-4488,将每个非0字节的calldata开销从16gas降低到3gas。但是使用calldata的方式始终是不可持续的,因为这会带来L2不需要的遗留开销。那么有没有更优雅的方法呢?
数据可用性、数据可恢复性、长期数据可用性等等这些不同类型的名词,它们之间的差异就是可用性的时长各不同。譬如说,你希望这些数据的可用时间足够长来挑战定序者、重构状态。事实上,你不需要数据是永远可用的。在以太坊的假设中,存储超过一年的数据,用户可能在某个地方找到它,可能会将它同步到某个点,而不需要一直追溯到创世区块。
美国联邦贸易委员会正试图阻止微软收购动视暴雪:12月13日消息,美国联邦贸易委员会 (FTC) 正试图阻止微软收购游戏开发商动视暴雪(Activision Blizzard),以促进高性能游戏机和订阅服务的公平竞争。微软 CEO 兼董事长 Satya Nadella 此前曾表示,收购将“在元宇宙平台的发展中发挥关键作用”。在最近的起诉中,联邦贸易委员会辩称,微软和索尼已经通过 XBOX 和 Play Station 游戏机“控制”了高性能游戏行业,收购动视暴雪将增强微软在该领域的实力。(Cointelegraph)
?[2022/12/13 21:42:17]
而EIP-4844这个提案则是让我们能够对数据做一些修剪,因为在这个提案下,数据只需要保留其可用性足够长的时间,让诚实的网络参与者重构完整状态并且挑战定序器。
EIP-4844Proto-danksharding
EIP-4844提议什么呢?
将数据可用性添加至以太坊且不会破坏可组合性,也就是说我们可以在L1有一个执行层,同时可以在上面添加数据可用性。
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
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。