首页 > 区块链 > 区块链 > 为什么EVM等效性好?
什么是EVM等效性?
简而言之:EVM等效性完全符合以太坊黄皮书,即协议的正式定义。根据定义,L1以太坊软件必须符合该规范。
这意味着——深入到最深处——现有的以太坊堆栈现在也将与L2系统集成。每一个调试器。每一个工具链。每个节点的实现。我们相信任何L2提供任何EVM体验都必须达到这个标准-任何不足都是不可接受的。
为什么EVM等效性好?
OVM v1引入了一个容器化系统,它位于Geth的EVM之上,有助于避免在L1上冗长地重新实现整个EVM。
这种组合在早期取得了一些胜利,但由于EVM本身不支持容器化,所以它不是免费的。随着Optimistic 以太坊的发展,不可忽视的等价性的力量不容忽视:
像Solidity、Vyper和Hardhat这样的项目都在开发他们的OVM版本的开发工具,
随着每一行代码的改变,采用像Erigon这样的实验性实现变得越来越困难。这告诉我们,我们总是需要投入大量的精力来集成未来的客户端实现。
与现有的超优化版本相比,重新实现EVM的某些部分会带来gas开销。这让我们认识到,要实现气体成本的最小化,就必须采用EVM等效设计理念。
现在是时候寻求一种更好的方法了。
我们如何实现EVM等效?
值得庆幸的是,我们找到了一种比在EVM中冗长地重新实现EVM更好的方法。
分离区块生成和执行
在实践中,我们确实需要对以太坊L2-ify做一些改变:特别是区块是如何生成的。在L1上,节点使用工作证明共识机制来确定区块;在L2上,批量交易通过发送到“父链”(L1以太坊)的批量应用。如果一个L2使用它自己的工作证明,那么它将是一个L1!所以在这个层面上,“等效性”根本就是无稽之谈。
区块链模块化的一个核心模式是将共识与执行分离——也就是说,XM官网xmforex-trading.com使用不同的流程来确定和执行下一个区块。我们可以借用这个模式在L2中使用。基本上,我们只需要定义一个函数,它接受L1区块,对它们进行Rollup处理,然后输出L2区块——格式与L1区块完全相同。从那以后,L2的执行可以被定义为等效于L1。
ETH2合并API
那么,现有L1客户端实现之间的共识/执行模块化的现状如何?它即将在所有以太坊实现中标准化。
事实证明,ETH2合并需要与EVM等效性Rollup完全相同的抽象:信标链提供与L1对Rollup完全相同的“父链”角色。这使得在L2中使用L1客户端变得非常简单。
执行标准
好了,我们已经讨论了为什么等效性为强大的、模块化的抽象和非常简单的客户端实现打开了大门。但是我们如何在链上执行这个呢?首先,模块化的强大之处在于它的灵活性——只要解决方案与EVM等效,我们就可以使用它。这意味着欺诈证明的改进,甚至是EVM等效性的零知识证明(当它们变得可行时),都可以被简单地放入现有的链下堆栈中。
不过,在短期内,我们今天需要一些可行的措施——我们已经发现了这一点。一种解决方案是在Solidity中实现一个完美的EVM等效实现,但EVM是一个包含许多VM指令的复杂工具,因此这是一项重要的任务。此外,未来对EVM的更新也必须在Solidity中重新实现。
我们的解决方案:不是在Solidity中实现EVM,而是用更小、更简单的指令集实现一个VM,并在欺诈证明期间在这个VM中运行EVM。为此,我们必须简单地编译一个现有的EVM解释器,例如geth,以便在更简单的VM中运行。
我们允许Geth本身在一个有争议的环境中运行。由于Geth是EVM等效的,所以环境也是如此。这使我们能够绕过在链上重新实现EVM,并使系统能够适应未来对EVM的升级。
以太坊的未来
如果以太坊要实现其以Rollup为中心的未来,那么Rollup必须以以太坊为中心。
这就是等效性所提供的。
欺诈证明
这种模块化的、以Geth为中心的设计不仅仅是一个可供我们使用的优雅的实现——它是向防欺诈基础设施商品化迈出的一大步。今天,安全地设计和启动一个Rollup需要对L2争议有深入的了解,以及它们如何与节点软件一起工作。这严重限制了创新——想象这样一个世界,每个web开发人员都必须是IP网络、系统管理和微芯片制造方面的专家。
未来的Rollup将非常简单,不需要L2专家来部署。这意味着L2将不再在如何或是否提供安全性上竞争,而是在提供安全性的内容上竞争。这包括在:
性能、稳定性和正常运行时间
网络效应、生态系统专业化和社区
MEV预防和测序工具
总之,这意味着EVM等效性的Rollup在去中心化上竞争。这是整个生态系统民主化的巨大胜利,也是使我们整个行业更加脆弱和抵制审查的重要一步。
这也意味着我们的团队最终可以专注于我们的核心竞争力——最重要的部分——打造世界上最快、最可靠、最安全的L2 Geth。
以太坊兼容性的枷锁已经解除。
ETHTheStandard
EVM等效性性的威力归结于标准化。
在多链的世界中,“一次编写,随处部署”变得至关重要。
拥有许多“兼容”链(每个链都略有不同)会导致碎片化:从需要单个EVM专家团队处理单个代码库,到需要为每个链的每个代码库组建EVM专家团队。
Vitalik在首次公开EVM时就将其与Javascript进行了比较,这种类比在本文中得到了很好的体现。在互联网的早期,浏览器之间的不兼容性困扰着网络开发,并导致开发者和生态系统分裂。
Web3完全是关于协调和开源标准的,而等效性为即将成为标准的EVM提供了一条路径,以避免重复过去的错误。
即使随着这个标准的发展,我们对欺诈证明的方法意味着L2可以毫不费力地协同发展。L1和L2手牵手一起前进。
这一好处是双向的——几乎所有以太坊EIP都可以在L2上被采用,并且Rollup成为一个激动人心的创新实时测试环境。想象一下,一个位于激励测试网和主网之间的Rollup,验证新的交易类型、预编译和EOF,在它们升级到L1之前测试不可预见的结果。
DeFi最大的障碍之一是,测试所有你想要的,无法取代 DeFi 的现场环境。你不能在测试网络上“重新创建”DeFi,所以当你想测试更改时,它总是“在产品中测试”。
EVM等效性允许我们在实时环境中测试EIP,并对整个以太坊环境做出更安全、长期的改进,而不需要“交叉硬分叉”。
L2早就承诺了一个多链以太坊的未来,充满活力的城市深入到这个新网络空间的前沿。虽然我们可以期待这些链是多样化和丰富的,但EVM 等效性引入了一种与以太坊的新连接——不仅仅是作为结算层,而是在其组成的最深层。
来自 “ ITPUB博客 ” ,链接:https://blog.itpub.net/69995368/viewspace-2840462/ ,如需转载,请注明出处,否则将追究法律责任。