火星链 火星链
Ctrl+D收藏火星链
首页 > USDC > 正文

UPS:Vitalik:扩展 Rollups 的分步路线图

作者:

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

撰文:VitalikButerin,以太坊联合创始人

对于以太坊而言,Rollups?是短中期,也可能是长期的唯一无须信任的可扩展性解决方案。以太坊L1上的交易费在几个月以来一直很高,现在更迫切的是采取一切必要的行动,帮助推动整个生态系统转移到Rollups。Rollups已经大大降低了许多以太坊用户的费用:l2fees.info?网站时常显示Optimism和Arbitrum网络的费用要比以太坊基础层本身低了约3-8倍,而zk-Rollups有着更好的数据压缩,并且可以避免包含签名,因此其费用要比以太坊基础层低约40-100倍。?

然而,对于许多用户来说,即便是这些(Rollups中的)费用也还是太过昂贵了。很长一段时间以来,?数据分片?(datasharding)被认为是解决当前形式的Rollups的长期不足的解决方案,数据分片有望在以太坊链上为Rollups增加大约1-2MB/s的专用数据空间。本文描述了实现该解决方案的一条实用的路径,能够尽可能快地为Rollups解锁数据空间,并随着时间的推移增加更多额外的空间和安全性。?

Step1:扩展交易calldata

?目前现有的Rollups使用了交易calldata。因此,如果我们想要在无需让各个Rollups团队做出任何额外工作的情况下,在短期内提升Rollups的容量并降低成本,我们应该降低交易calldata的Gas成本。当前的平均区块大小还远没有达到威胁以太坊网络稳定性的大小,因此这样做是有可能安全的,尽管可能需要一些额外的逻辑来预防非常不安全的边缘情况。?

40余省市区发布120余项元宇宙扶持政策:4月13日消息,据不完全统计发现,目前全国已有40余省市区政府发布120余项元宇宙建设规划和扶持政策,助推元宇宙与各行业的深度融合。2022年6月底,《上海市培育“元宇宙”新赛道行动方案(2022~2025年)》发布。这是全国第一次从省级层面印发的元宇宙专项行动计划。北京希望在3年内将城市副中心通州区打造成以文旅内容为特色的元宇宙应用示范区,培育、引进100家以上的元宇宙生态链企业,形成30项以上的应用场景项目。广州发布了粤港澳大湾区首个“元宇宙10条”。[2023/4/14 14:02:32]

参见?EIP-4488提案,或者另一个(更简单但效果更温和的)?EIP-4490提案。?

EIP-4488:https://github.com/ethereum/EIPs/pull/4488EIP-4490:https://github.com/ethereum/EIPs/pull/4490?EIP4488应该能将每个slot?可用于Rollups的数据空间增加至理论上最大约1MB,并将Rollups上的成本降低约5倍。这可以比后面的步骤更快地实现。?

Step2:几条分片

加密钱包Xverse、Hiro将于本周更新版本,支持从Ordinals地址直接提取比特币:3月9日消息,据官方推特,针对TwelveFold拍卖退款BTC无法提现问题,加密钱包Xverse以及Hiro发布公告称,将于本周更新版本,支持用户从Ordinals地址直接提取比特币。

此前消息,Yuga Labs将TwelveFold拍卖退款BTC发送至用户提供的Ordinals地址,并铸成了铭文,导致部分用户无法及时提现。[2023/3/9 12:52:03]

?与此同时,我们可以开始做一些工作来推出“适当的”分片。想要以完整(功能)的形式实现分片还需要很长的时间,但我们能做的是可以一步步地实现它,并从每一步中获益。首先自然是要实现分片规范的“业务逻辑”,但需要使最先上线的分片数量非常低?(比如4条分片),以此来避免围绕分片网络的大多数难点。每条分片将在其自己的子网络中广播。默认情况下,验证者将信任委员会,但如果他们愿意,他们可以选择在每个子网络中,但只有当他们看到了信标区块确认的任何分片区块的全部数据时,他们才会接收该信标区块。?

分片规范本身并不是特别困难;它与最近发布的Altair硬分叉有着类似规模的样板代码更改(Altair的信标变更规范文件是728行,分片的信标变更规范文件是888行),因此可以合理地预计它可以在与Altair的实现和部署类似的时间框架内实现。?

空头机构香橼:继续做空ETH,相信其与FTX一样存在常识性的缺陷:11月16日消息,美国知名空头机构香橼(Citron Research)在推特上分享有关FTX事件的看法。香橼称,FBI没有对民主党的第二大捐款人进行为期两个小时的检查。这是国家安全的问题。“这再次点燃了我们做空的火焰……我们继续做空ETH,因为我们相信这个市值1300亿美元的代币和整个SBF故事一样,具有很多常识性的缺陷。”[2022/11/16 13:13:29]

为了使分片数据(shardeddata)实际上可被Rollups使用,Rollups将需要能够使其证明?(proofs)进入到分片数据中。有两个选择:?

增加?BEACONBLOCKROOT?操作码;Rollups将增加代码来验证根植于历史信标链区块根的默克尔证明?(Merkleproofs);增加面向未来的状态和历史访问预编译,这样当承诺方案(commitmentscheme)在未来发生改变时,Rollups就不需要更改它们的代码。?这将使得每个slot?的Rollup数据空间增加至约2MB?(每个分片250kB*4个分片,再加上上文Step1中扩大的calldata)。?

Step3:N条分片,由委员会保护

Revolut CEO:其原生Token Revcoin计划在明年初推出:金色财经报道,数字银行Revolut首席执行官Nik Storonsky在里斯本Web峰会上接受采访时表示,Revolut的新即时通讯功能昨天在英国和欧洲经济区推出,将支持NFT作为个人资料头像,Storonsky还表示,其原生Token Revcoin计划在明年初推出,类似于航空公司AirMiles计划的方式发挥作用。Revolut还在开发一个非托管DeFi钱包,它将作为一个独立的应用程序运行。[2022/11/3 12:14:34]

?将活跃分片的数量从4条增加到64条。此时分片数据将进入子网络,因此届时的P2P层必须已经足够牢固,使得将其分割成更多数量的子网络变得可行。数据可用性的安全性将基于大多数(验证者)诚实假设,依赖于委员会的安全性。?

这将使得每个slot?的Rollup数据空间增加至约16MB?(每条分片250kB*64条分片);我们假设此时Rollups将已经从以太坊执行链中迁移出来。?

Step4:数据可用性抽样(DAS)

?添加数据可用性抽样?(DAS)以确保更高级别的安全性,使得即便是在大多数(验证者)不诚实的攻击情况下,用户也能够得到保护。数据可用性抽样可以分阶段来进行:首先,以非约束性的方式来允许网络对其进行测试,然后将其作为接收信标区块的必要条件,甚至可能先在某些客户端上进行。?

ensmaxisnft.eth以111.69 ETH价格成交,创该系列历史第5高交易记录:金色财经报道,据NFTGo.io最新数据显示,ensmaxisnft.eth已经以111.69 ETH(约合166,371.69美元)价格成交,创下以太坊域名服务ETH计价交易额历史第5高记录。截至目前,ENS交易总额达到1.0303亿美元,市值约为6885万美元,过去24小时交易额为390,448.43美元,增幅为43.61%。[2022/7/28 2:42:27]

一旦完全引入了数据可用性抽样,分片的铺展就完成了。?

基于分片的OptimisticRollups和ZKRollups

?当前的以太坊与实施分片之后的以太坊的一个主要区别就是,在分片的世界里,Rollup数据实际上不可能成为向智能合约提交Rollup区块的交易的一部分。相反,Rollup数据的发布与Rollup区块的提交将必须是分开的:首先,数据发布将把数据放到链上(也就是放到分片链中),然后区块提交将会提交区块头以及一个指向底层数据的证明。?

Optimism和Arbitrum已经为Rollup区块的提交使用了一种两步式设计,因此这对二者来说都将是一个很小的代码更改。?

?对于ZKRollups,事情有点棘手,因为提交交易需要提供一个直接对数据进行操作的证明。它们可以通过?ZK-SNARK?来证明分片中的数据与信标链上的承诺相匹配,但这一操作是非常昂贵的。幸运的是,还有更便宜的替代方案。?

如果该ZK-SNARK是一个基于BLS12-381的?PLONK证明,那么它们可以简单地直接将分片数据承诺作为输入来进行打包。BLS12-381分片数据承诺是一个KZG承诺,与?PLONK?中的承诺类型相同,因此可以作为公共输入直接传递到证明中。?

如果ZK-SNARK使用了一些不同的机制(或者即便是BLS12-381PLONK但有着一个更大的可信设置),那么它可以包含自己的数据承诺,并使用一个等效性证明(proofofequivalence)来验证该证明中的承诺与信标链中的承诺是对相同数据的承诺。?

分片世界中,谁将存储历史数据?

?增加数据空间的一个必要条件是移除以太坊核心协议负责永久性维护达成共识的所有数据的属性。因为这些数据量太大了。例如:?

EIP-4488理论上带来的最大链大小是每12秒的slot为大约1,262,861字节,也即每年大约3.0TB,但实际上每年更有可能是约250-1000GB,尤其是在开始阶段。4条分片(每个slot为1MB)每年会增加额外的约2.5TB。64条分片(每个slot为16MB)每年将带来总计为约40TB的存储。?大多数用户的硬盘驱动器的大小在256GB和2TB之间,1TB似乎是中间值。下图是一项针对计算机硬盘空间有多大而在一组区块链研究员中开展的内部调查的结果:?

?这意味着用户当前可以运行一个节点,但如果此路线图的任何一部分如果不进行修改就实施,那么用户将无法运行节点。当然还有更大的驱动器可用,但用户将必须竭力去购买它们,这大大增加了运行节点的复杂性。当前主要的解决方案是?EIP-4444,此提案消除了节点运营者存储超过1年的区块或收据的这一责任。在分片的情况下,这个1年的时长将很可能进一步缩短,而且节点将只需要负责他们积极参与的子网络上的分片。?

这就提出了一个问题:如果以太坊核心协议不存储这些数据,谁来存储??

首先,重要的是要记住,即使有了分片,数据量也不会那么大。是的,每年40TB确实超出了运行“默认”消费硬件的个人的能力(事实上,即便每年1TB也还是如此)。然而,对于一个愿意投入一些资源并想办法来存储这些数据的人来说,这是在其可接受的范围内的。当前一台48TB的HDD(硬盘驱动器)的售价是1729美元,一台14TB的是约420美元。出于可以获得质押奖励,某个运行了1个32ETH验证者插槽的人可能会愿意支付并存储分片实施之后的整条链。因此,实际上,「没有人会存储某个分片的一些历史数据以至于这些数据完全丢失」的这种情况似乎是不可能出现的。?

那么谁将存储这些数据?我的一些想法:?

个人和机构志愿者;区块浏览器(etherchain.org、etherscan.io、amberdata.io等等)将肯定会存储所有数据,因为向用户提供数据是它们的业务模式。RollupDAOs指定并付费给参与者来存储并提供与他们的Rollup相关的历史数据。历史数据可以通过种子(torrents)进行上传和共享。客户端可以自愿选择随机存储区块链的0.05%的历史数据(使用纠删码,这样只有当许多客户端在同一时间离线时才会丢失一小块数据)。PortalNetwork?中的客户端可以随机存储一部分区块链历史数据,且PortalNetwork会自动将数据请求导向存储了该数据的节点。可以在协议中激励历史数据的存储。像?TheGraph?这样的协议可以创建激励市场,其中的客户端向服务器支付费用,从而获取历史数据和证明其正确性的默克尔证明。这就激励了人们和机构来运行存储历史数据的服务器,并按需提供这些数据。这些解决方案中的一些方案(个人和机构志愿者、区块浏览器)已经是可用的了。而当前的P2P种子场景更是一个主要由志愿者驱动和存储大量内容的生态系统的绝佳例子。其他基于协议的方案要更加强大,因为它们提供了激励机制,但它们可能需要更长的时间来进行开发。从长期来看,通过这些L2协议来访问历史数据,可能要比通过当前的以太坊协议更加有效。

标签:ROLROLLUPS以太坊ROLCTROLLWELUPS币以太坊交易平台合法吗

USDC热门资讯
BAN:速览Bancor V3新特性:即时完全无常损失保护和独立BNT汇总池等

上周,一份关于UniswapV3无常损失的报告显示,UniswapV3中80%的资金池无常损失要多于交易费收入,高达一半的LP用户的净收益还不如HODLer.

1900/1/1 0:00:00
以太坊:去中心化虚拟货币交易所全面退出大陆

文博寄语:??每一个人在成长的过程中,都会遇到这样或那样困难、挫折。我想,怎样对待这些困难和挫折是至关重要的。面对这些困难,我们应该用什么样的眼光看待它,又是用怎样的行动去克服它、战胜它.

1900/1/1 0:00:00
Shiba Inu:丁君羡:BTC砸盘在拉回 走强但别追多 今日视频解析

  BTC:大饼昨天凌晨最低53300附近,破了之前的低点后开始一波拉升,跟我之前说的53000接多位置只差了300点。目前整体的结构来看,上周五的黑天鹅事情基本消化完毕.

1900/1/1 0:00:00
COI:Coinbase的下一站:成为加密行业的AWS

原文来源:福布斯作者:StevenEhrlich编译:James曾几何时,亚马逊只是一家“单纯”的电子商务公司,谁能想到数年之后,这家总部位于西雅图的电商巨头核心业务之一居然是云服务AWS.

1900/1/1 0:00:00
SOL:两手都抓 是否都硬?Solana上DeFi和NFT的头部项目

作者:北辰Solana生态目前已经有了500多个项目,从DeFi到到NFT,现在都有不少。虽然每个细分赛道的最新项目大多雷同,纯属凑数,不过头部项目还是非常非常亮眼.

1900/1/1 0:00:00
HAI:解析预言机运算-通过数据传输和链下计算 提升底层区块链网络的基础架构

重点摘要预言机的功能不仅是单纯将外部数据传输至区块链,还可以为智能合约展开新型的信任最小化链下计算,即“预言机运算”.

1900/1/1 0:00:00