更新时间:2021-10-28 17:42:01点击:121
原文来自Optimism PBC。
上个月,我们宣布了Optimistic Ethereum历史上最重要的技术升级。 最近,我们将Optimistic Kovan转为真正的一键部署,从而提高了稳定性。 主网络的升级将在三周内跟进。
但是,本文不是关于一键部署或逐步改进的。
这是一篇文章,相信EvmEquivalence——和EVM规格完全一致的——将成为第2层(L2 )的下一个通用标准。
首先,让我们回顾一下我们采用的现代Rollup的发展路径。
事实上,过去6年的扩展性研究归结于可以执行什么样的“退回检验”。 最初,只有一组事先商定的各方可以相互交易(请参见。 之后,任何人都可以进行交易,但也有可能被审查(Plasma! 中显示了当前的缩放比例。 最终,我们又解决了审查问题(Rollup! 中显示了当前的缩放比例。
在Rollup之前,我们知道如何在所有这些型号上运行智能合约——。 这个没有什么意义。 谁想只在几个朋友之间运行Uniswap? 或者想以可以接受长达一周审查的方法执行吗? Rollups承诺提供可与以太坊媲美的真正的L2体验。
因为Uniswap的设计比较简单,所以这是可能的,但是如果基本变量(如Solidity变量)不可用,这就不是好兆头。 对于非开发人员来说,Uniswap是目前最简单的DeFi智能合约之一,在Uniswap中也需要进行大修,以便开箱即可使用。 这不是好兆头。
迄今为止,以太坊远远超过了逃逸速度。 指数增长的生态系统无法以EVM以外的接口为中心进行重构。 因此,除了提供“原始”的规模之外,L2还有责任确保L1法院系统与EVM的差异最小。 这使得Rollup在两个方面同时处于领先地位。
构建可扩展、高效的Rollup基础架构。 解决长期以来臭名昭著的EVM-in-EVM问题。 伊萨利姆的图灵完整性意味着我们知道它可以完成,但在我们的研究过程中,我们明白了在合理的时间范围内需要牺牲一些东西才能把伊萨利姆带到L2。
这种牺牲被称为EVM的“兼容性”。
论点很简单。 如果伊萨利APP能够被合理地移植到Rollup上执行3354,那么无论它如何在幕后完成的——,都能够捕捉到伊萨利姆的逃脱速度。
“这兼容吗? ”
但是,以太网效应带来的逃逸速度有各种各样的形式,我们急剧增加的使用量凸显了以太网L1的其他L1和L2不足的构成要素——基础设施。 在过去的六年里,以太坊的全球社区从准系统的原型开始如下。
成千上万的开发工具深入集成到EVM中。 数十亿美元的企业的出现只是为了节点软件的服务和改善。 伊萨利姆本身越来越快了。 以太网效应的浪潮只会越来越大。 由于一切都是开源的,这些巨大的胜利可能也适用于以太坊L2。
但是没有那么多。
EVM的兼容性与EVM不等同。 只满足兼容性意味着,以太网的支持基础设施也必须修改或完全重新实现依赖的低级代码。 L2要想在以太网的基础设施网络效应浪潮中冲浪,就需要实现EVM的等效性。
随着Optimistic Ethereum的发展,我们发现,由于EVM兼容性设计的古老理念,越来越多的以太坊工具持续大幅发现了自身。
我知道可以做得更好。 真正支持普通用户所需的不仅与EVM合同兼容,而且与EVM本身基本相同。
EVM等价性是填补以太网L1的基础设施网络效果和以太网L2的执行环境之间的差距的方式。
这意味着3354最深处的3354个现有以太网堆栈现在也将与L2系统集成。 每个调试器。 各工具链。 每个节点的实现。 所有提供EVM体验的L2都认为,必须满足该标准的——的缺失是不可接受的。
从第
虽然这个组合取得了一些早期的胜利,但由于EVM本身不支持集装箱化,所以不是免费的。 对于我们专注于Geth的队伍来说,这些变化也开始累积。 随着Optimistic Ethereum的发展,等价性的惊人力量不容忽视:
诸如Solidity、Vyper和Hardhat等项目无私地致力于开发OVM版本的开发工具,但却冒着分散这些资源有限的团队的风险。 这表明团队需要投入人力资源来始终维持非等价的代码库。 随着各行代码的变化,采用Erigon这样的实验性实现变得更加困难。 这表明需要始终致力于整合未来的客户端实现。 与现有超优化版本相比,重新实施部分EVM将引入gas成本。 这表明,要使gas成本最小化,需要与EVM同等的设计理念。 是时候寻求更好的方法了。
分离块的生成和执行
是的——实际上必须对L2以太坊做一些改变。 特别是块的生成方法。 在L1中,节点使用工作负载证明共识机制来确定块; 在L2中,批量交易的概念通过批量发送到“母链”(L1以太坊)中来应用。 如果L2使用自己的工作量证明书,这又会变成L1! 所以“等价性”在这个层面上基本上是荒谬的。
区块链模块化的一个核心模型是将共识和事务执行分开,即——,有不同的流程来确定和执行以下区块: 可以借这个模型在L2中使用。 基本上,它只接受L1块,为Rollup事务处理它们,并定义一个函数,将L2块-格式输出为与L1块完全相同。 从此,L2执行可以定义为与L1同等。
在
实践证明,ETH2集成需要与EVM等效的Rollup进行完全相同的抽象。 信标链提供了与L1对Rollup所做的完全相同的“父链”角色。 这使得在L2中使用L1客户机变得非常简单。
但从短期来看,我们今天需要一些可行的方法——。 一个解决方案是用索力实现完美的EVM等效实现,但由于EVM是复杂的野兽,拥有许多VM命令,因此这是一个重要的任务。 此外,未来的EVM更新也需要在Solidity中重新实施。
我们的解决方案:不在联盟中实施EVM,而是实施具有更小、更简单指令集的VM,并在欺诈证明过程中在该VM上运行EVM。 为此,需要轻松编译现有的EVM解释器(如geth ),并在更简单的VM上运行。
简单地说,允许Geth本身在有争议的环境中工作。 由于Geth与EVM等同,因此该环境也一样。 这样,您就可以跳过在链条上重新实施EVM,并验证系统未来的EVM升级。
我们正在与最喜欢的编译器专家George Hotz合作,构建第一个EVM等效证明系统。 目前,进展令人兴奋的——这个系统已经可以运行伦敦硬叉以来的所有L1块了。 欺诈证明了执行L1块是一个有趣的违反直觉的想法。 但是,这是等价性所必需的
关于这个方法还有很多令人兴奋的事情,剩下的留在今后的帖子里!
以太坊要实现以Rollup为中心的未来,Rollup必须成为以太坊中心。
这是等效性提供的。
诈骗的证据模型死了。 诈骗证明模式万岁。
这个以geth为中心的模块化设计不仅仅是我们使用的优雅的实现。 这是朝着防止欺诈基础设施商品化迈出的一大步。 今天,要安全地设计和启动Rollup,必须深入了解L2冲突游戏以及它们如何与节点软件协作。 这大大限制了创新——对世界的想象,所有网络开发人员都必须成为IP网络、系统管理和微芯片制造的专家。
未来的Rollup将变得非常简单,不需要L2专家部署。 这意味着L2将提供安全内容,而不是竞争如何提供或不提供安全。 这包括竞争。
性能、稳定性、正常运行时间网络效应、生态系统专业化、社区MEV预防和交易排名工具总之,这意味着EVM的同等rollup正在向中心化竞争。 这是整个生态系统民主化的一大胜利,也是使我们整个行业更加脆弱,抵制审查的重要一步。
这意味着我们的团队终于可以集中在我们核心竞争力——最重要的部分——上,构建世界上前所未有的最快、最可靠、最安全的L2 Geth。
伊利亚姆兼容性的束缚被解除了。
EVM等效性的力量归结为标准化。
在多链世界中,“一次创建,无处部署”至关重要。
许多“兼容”链在每个链上略有不同,从而导致碎片化。 从处理一个代码库需要单独的EVM专家团队开始,到每个链都需要一个基于代码的EVM专家团队。
甚至在第一次发布EVM时,Vitalik也与Javascript进行了比较。 这个类比在这种情况下表现得特别好。 在互联网初期,Web浏览器之间的不兼容性困扰着Web开发,导致开发者和生态系统的碎片化。
Web3涉及调整和开源标准,等效性为明显出现的标准提供——EVM——,避免重复过去的错误。
即使这个标准不断发展,我们的诈骗证明方法也意味着L2可以顺利合作发展。 L1和L2手牵手向前移动。
这一点的好处是,双向——的几乎所有以太网EIP都被L2采用,Rollup成为了令人兴奋的创新实时测试环境。 想象一下位于激励测试网络和主网络之间的Rollup在外部证明新的事务类型、预编译和EOF,并在它们升级到L1之前测试不可预测的结果。
DeFi最大的障碍之一是,不能随心所欲地测试和取代DeFi的现场环境。 不能在测试网络上“重新创建”DeFi。 因此,在想要测试变更时,始终“用实际产品进行测试”。
通过EVM的等效性,可以在实时环境中测试EIP,从而更安全、长期地改善整个以太网环境。 不需要“交叉叉”。
我们最近开始了公共物品资助的实验。 100万美元的合同收入很快就会奖励给对以太坊有用的公共产品! 有人问为什么这笔钱不仅流向了Optimistic Ethereum生态系统,还流向了整个以太坊。
通过重新理解EVM的等价性,我们想理解为什么是同一个生态系统。
layer 2长期承诺多链以太坊的未来,充满活力地深入这个新的网络空间前沿。 预计这些链条将是多样和丰富的,但与EVM等效的与以太坊的新连接——不仅仅是作为结算层,而是处于它们构成的最深层次。
这条路都是以太的,而且是永远的。
我们是帮助我们实现和分享这个目标的不可思议的社区成员,Ansgar Dietrichs、David Hoffman、George Hotz、Georgios Konstantopoulos、Liggios !