OIN:Vitalik：解析Rollups的扩展方案——数据分片_COI

本文描述了实现该解决方案的一条实用的路径。

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

Vitalik Buterin：由于安全问题只用少量ETH质押:金色财经报道，以太坊联合创始人Vitalik Buterin由于担心安全问题和保持安全的复杂性，他只用少量的ETH质押。Buterin在Bankless Podcast上表示，他并没有把他所有的以太坊质押，只是 \"相当小的一部分\"，因为在网络上安全投资需要多重签名，这仍然是一个棘手的过程。如果你把你的ETH质押，访问它的钥匙必须在某个在线系统上公开。为了安全起见，它必须是一个多重签名，而用于抵押的多重签名仍然相当难以设置，它在很多方面都变得很复杂。[2023/6/30 22:10:38]

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

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

EIP-4488：

https://github.com/ethereum/EIPs/pull/4488

ZK-EVM Kakarot完成pre-seed轮融资，Vitalik、StarkWare等参投:6月2日消息，zkEVM 开发平台 Kakarot 完成Pre-Seed 轮融资，StarkWare、LambdaClass 和天使投资人 Vitalik、Nicolas Bacca、Rand Hindi 等参投。

Kakarot zkEVM 是 Cairo 实施的 EVM，利用 STARK 证明来证明交易和区块，确保透明度和安全性。据介绍，Kakarot zkEVM 发展分为三个阶段：1、作为 EVM 存在于 Starknet L2 上；2、和 Starknet 定序器 Madara 合力创建第 3 层 zkEVM；3、Kakarot 和 Madara 组合启用类型 1 zkEVM。[2023/6/2 11:54:47]

EIP-4490：

https://github.com/ethereum/EIPs/pull/4490

EIP4488应该能将每个slot可用于Rollups的数据空间增加至理论上最大约1MB，并将Rollups上的成本降低约5倍。这可以比后面的步骤更快地实现。

Step2:几条分片

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

Vitalik Buterin：FTX的欺诈行为比Mt.Gox和Luna更严重:11月12日消息，以太坊创始人Vitalik Buterin第一次对FTX崩盘事件发表直接评论，称FTX的欺诈行为比Mt.Gox和Luna更严重，Mt.Gox看起来很粗狂，但从未过份粉饰自己，Luna也是如此，FTX则相反，它完全是在做合规的美德信号（与合规不一样），第二种欺诈行为比第一种更严重。[2022/11/12 12:54:27]

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

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

增加BEACONBLOCKROOT操作码；Rollups将增加代码来验证根植于历史信标链区块根的默克尔证明(Merkleproofs)；

增加面向未来的状态和历史访问预编译，这样当承诺方案(commitmentscheme)在未来发生改变时，Rollups就不需要更改它们的代码。

制药巨头辉瑞正申请加入VitaDAO并将捐赠50万美元:金色财经报道，据医药生命研究去中心自治组织VitaDAO透露，制药巨头辉瑞（Pfizer）正在积极拥抱区块链技术并对延长生命的药物研究表达了强烈兴趣。为此，Pfizer Ventures执行董事兼合伙人Michael Baran和Early-Stage External Scientific Networks负责人Linda Lohr在VitaDAO社区发起了一项提案，旨在向VitaDAO捐款50万美元并加入VitaDAO治理，辉瑞计划支持VitaDAO的方式包括：访问交易流、支持知识产权孵化和IP商业化、以及发展社区。截至目前100%的选票支持辉瑞加入VitaDAO，如果一切顺利，这家制药巨头将在今年10月中旬加入。[2022/9/13 13:27:24]

这将使得每个slot的Rollup数据空间增加至约2MB(每个分片250kB*4个分片，再加上上文Step1中扩大的calldata)。

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

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

以太坊创始人Vitalik指责Instagram和Facebook允许虚假账户在平台上存在:以太坊的创始人Vitalik Buterin一直在处理大量欺诈的Twitter模仿者，这些犯试图从天真的投资者那里盗取密码，而最近V神的注意力被Instagram和Facebook转移了。这他在推特上批评Facebook和Instagram，因为他们的平台上存在明显的虚假账户。[2018/3/30]

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

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

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

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

基于分片的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协议来访问历史数据，可能要比通过当前的以太坊协议更加有效。

标签：OINCOICOINDCOBitcoinSavingHOMIECOIN币Canada CoinWorldcoin币app下载

BNB热门资讯