让以太坊成为标准:EVM 等同性介绍

上个月,我们宣布了OptimisticEthereum历史上最重大的升级——OVM2.0。最近,我们将OptimisticKovan迁移了,使其真正能够一键部署以及提高了其稳定性。并且,将在未来的三周内上线主网,

但是本文并不是关于一键部署或者渐进式改善。

本文主要介绍了EVMEquivalence(完全与以太坊虚拟机规范相一致)将如何成为L2领域的下一个通用标准。

Optimistic争议协议的简史

首先,一起来回顾一下rollup的发展历史。

Rollup的开端

OptimisticL2解决方案都与争议有关。如果你认为以太坊是一个全能的、去中心化的法庭,那么L2扩容的核心观点便是:“不要去法庭兑现支票——如果支票被退回再去。”

实际上,可扩展性的研究在过去六年可以归结为一件事:什么样的“拒付支票”可以被强制执行。首先,只有一组预先商定的参与可以在彼此之间进行交易(状态通道)。接着就是,任何人都可以交易,但也有可能被审查(plasma)。终于,我们把审查问题也解决了(rollups)。

在rollup之前,我们已经知道如何在所有这些模型上运行智能合约——只是没有任何意义。毕竟谁想要在几个朋友之间运行Uniswap或者要被审查一周呢?而rollup能够承诺给我们提供真实的、类似于以太坊交互体验的L2。

兼容时代

当然,仅仅“承诺”提供一个真实的、类似于以太坊交互体验的L2,并不代表能够真正创建实现。在构建首个L2AMMUnipig时,我们必须使用与rollup争议合约兼容的自定义代码重新创建Uniswap——而不是利用EVM本身来构建。

杭州西湖区出台关于打造元宇宙产业高地的扶持意见:金色财经报道,近日,杭州西湖区出台《西湖区关于打造元宇宙产业高地的扶持意见》,为推动西湖区以元宇宙产业为代表的未来产业发展,助力打造文三数字生活街区成为引领全国的示范数字街区,拓展西湖区元宇宙产业知名度和影响力,提供了“真金白银”的支撑动力。

此次出台的政策从三个方面,加大对元宇宙技术创新方面的补贴力度,营造良好的创新科研氛围,增强产业发展源动力。其中包括对于元宇宙产业相关企业围绕数字孪生、人工智能、增强现实/虚拟现实/混合现实(AR/VR/MR)、区块链等核心底层技术研发,经认定给予研发项目技术研发费最高30%、单个项目最高200万元的补贴等。

此外新政策中也有不少条款面向该方面进行优惠与扶持。包括明确了对元宇宙相关特色产业园(平台)建设的扶持力度。经认定为国家级、省级的特色产业园(平台),一次性奖励产业园(平台)200万元、100万元。《意见》还强化了对元宇宙产业人才的引育扶持力度。实施西湖区“英才计划”,对海内外元宇宙产业领域高层人才来西湖区创新创业的,给予最高500-1000万元的创业启动资金支持。(央广网)[2022/11/8 12:31:32]

由于Uniswap的设计相对简单,上述的构建方式是可行的。然而连Solidity这么基础的东西都不能再用了,实在不是一个好兆头。对于非开发者来说,Uniswap是目前最简单的DeFi智能合约之一,如果连Uniswap也要大改一番才能方便地实现兼容rollup,这真不是一个好现象。

到目前为止,以太坊的发展速度之快,早已超过了逃逸速度(escapevelocity)。呈指数级增长的以太坊生态系统根本无法围绕非EVM接口进行重新架构。因此,L2除了要提供“原始”规模之外,它还要确保L1的法院系统与EVM的差异最小化。这迫使rollup同时在以下两个方面开创先河:

构建可扩展的、产品级别的rollup基础设施

解决长期以来就让人难以接受的的EVM-in-EVM(在EVM里构建EVM)问题。

以太坊的图灵完备性(Turing-completeness)意味着它确实可以解决这些问题,但在我们的研究过程中,我们发现,如果想要在合理的时间范围内将以太坊迁移到L2上,我们需要牺牲一些东西,做出妥协。

Optimism生态去中心化永续合约协议Pika Protocol公布OP代币分配计划:金色财经消息,Optimism生态去中心化永续合约协议Pika Protocol公布OP代币分配计划,其中将用15万枚OP奖励给协议原有支持者(30%)和未来交易者(70%);将60万枚代币用作流动性激励,其中20%给早期支持者,80%给未来用户;15万枚OP用作赠款,早期贡献者占比10%,未来奖励占比90%。其中早期支持者的4.5万枚(15万枚的30%)OP奖励已于2022年7月16日完成快照,所有在该日期之前支付至少10美元交易费的交易者都有资格获得,且每支付1 USDC费用将奖励0.306枚OP,大于1000 USDC的交易者每人则将获得306枚OP奖励。[2022/8/30 12:56:54]

这种妥协也就是我们后来所称的EVM兼容性(EVM“Compatibility”)。

EVM兼容性的论点很简单:只要以太坊的应用程序可以合理地移植到rollup上运行——不管这是如何在幕后完成的——我们就可以追上以太坊的逃逸速度。

“这算是兼容性吗?”

乘风破浪

起初,这种妥协取得了一些成功。在2020年,由于许多用户从以太坊转移到了其他L1竞争链上(这些链打着“费用低廉”的幌子而罔顾安全性和价值),我们竞相推出了OVM。在今年1月份,Optimism上线主网,10个月过去了,我们已经处理了数百万笔交易,为用户节省了数亿美元的交易费。

但是以太坊网络效应产生的逃逸速度有多种形式,并从以太坊L1的交易活动飙升这个现象可以看出,其他L1链和L2所缺乏的是:以太坊L1所拥有的基础设施。过去六年来,遍布世界的以太坊社区成员合力将以太坊从一个简化的原型变成一个更加完善的系统:

Dogechain链上总锁仓量超1815万美元,24小时涨幅为13.15%:金色财经消息,据DeFiLlama数据显示,Dogechain链上总锁仓量已达1815万美元,24小时涨幅为13.15%。

其中DEX项目KibbleSwap TVL达695万美元,为Dogechain链上TVL最高项目。[2022/8/27 12:52:54]

成千上万的开发工具已深度集成到EVM中。

价值数十亿美元的公司的出现,只为了给以太坊的节点软件提供服务以及完善其运行。

以太坊本身的交易处理速度越来越快了。

以太坊网络效应的浪潮只会越来越大。由于一切都是开源的,人们可能会期望这些巨大的胜利同样也能在L2上发生。

然而并没有达到大家的预期。

EVM兼容性(EVMcompatibility)与EVM等同性(EVMequivalence)是有区别的,仅仅满足于兼容性意味着你被迫修改(甚至需要完全重新实现)以太坊的基础设施也依赖的低级代码。如果L2想要从以太坊基础设施网络效应所带来的浪潮中获得一些好处,它们必须要具有EVM等同性。

在OptimisticEthereum上线并运行发展之后,我们发现越来越多以太坊工具难以部署在OptimisticEthereum系统上,这是由于我们老旧的EVM兼容性设计理念造成的。

我们知道我们能做得更好。为了真正让大众用上OE,我们需要的不仅仅是与EVM合约兼容;相反,我们要做到从根本上实现与EVM本身等同。

EVM等同性能够帮助填补以太坊L1的基础设施网络效应和以太坊L2的执行环境之间的缺口。

EVM等同性:借助以太坊的EVM应用浪潮

网易旗下《阴阳师》手游推出数字藏品馆及大熊猫卡片数字藏品:4月29日消息,据官方微博,4月26日,网易旗下《阴阳师》手游官方宣布“阴阳师数字藏品馆”即将上线。据了解,首批数字藏品将聚焦大熊猫公益,出售大熊猫卡片礼包和大熊猫卡片数字藏品的全部收益,都将捐赠给中国大熊猫保护研究中心,用于大熊猫公益项目活动的展开。根据官方介绍,本次出售的大熊猫公益NFT卡片共有七大主题,每个主题各发行365张公益卡片,分别一一对应2022年6月1日-2023年5月31日之间的每一天。其中,二十四节气对应的日期卡片为“特典卡片”,其售价会高于普通卡片。官方强调,大熊猫卡片·数字藏品为绑定个人账号的虚拟道具,暂不可交易、转让他人。[2022/4/29 2:39:38]

什么是EVM等同性?

简而言之:EVM等同性也就是与以太坊黄皮书的规范(该协议的正式定义)完全相符。根据定义,L1以太坊软件必须符合该规范。

深入到最本质来说,这意味着现有的以太坊堆栈也将要与L2系统集成。每一个调试器、每一个工具链以及每个节点实现都要和L2集成。我们相信,任何提供任何EVM开发体验的L2都必须满足这一标准——一丁点达不到标准都不可接受。

为什么需要EVM等同性?

从最开始,我们就在以太坊最具有鲁棒性和最普遍的实现“Geth”上构建了我们的软件——这是我们实现产品级的以太坊L2的唯一可行途径。OVMv1引入了一种容器化系统(containerfmjdizationsystem),它基于Geth的EVM构建,有助于避免在L1上繁琐地重新实现整个EVM。

这种组合在早期取得了一些胜利,但由于EVM并不原生地支持容器化,所以这不是免费的。即使对于我们以Geth为中心的团队,这些变化也开始累积起来。随着OptimisticEthereum的发展,EVM等同性的力量不容忽视:

像Solidity、Vyper和Hardhat等项目无私地致力于开发OVM版本的开发工具,但我们这样做冒着将这些已经资源受限的团队分散的风险。这给我们上了一课,团队需要投入相当的人力来维护非EVM等同的代码库。

NEAR生态DEX Tonic完成500万美元融资,Electric Capital和MOVE Capital领投:4月26日消息,NEAR 生态 DEX Tonic 宣布完成 500 万美元融资,Electric Capital 和 MOVE Capital 领投,参投方包括 dao5、Framework Ventures、NetZero Capital、Daedalus、Bixin Ventures,以及做市商 GSR、Wintermute、Flow Traders、Cumberland 和 Jane Street。

Tonic成立于2022年1月,正在构建一个去中心化协议,用于快速、无缝地交易NEAR和Aurora上的任何资产,将首先在NEAR上构建一个开源订单簿DEX。[2022/4/27 5:13:41]

随着每一行代码的改变,采用像Erigon这样的实验性实现变得更加困难。也就是说,我们总是需要花人力来负责集成未来的客户端实现

与现有的超级优化版本相比,重新实现部分EVM带来了一些gas开销。这告诉我们,最小化gas成本需要EVM等同性的设计方案。

是时候寻求更优的解决方法了,尽管这需要单调乏味的工作。

如何实现EVM等同性?

幸好,比起在EVM中繁琐地重新实现EVM,我们找到了更好的办法。这就是你要做的。

将区块产生和执行分离

在实践中,我们确实需要对L2化的以太坊进行一些更改:尤其是如何产生区块。在L1上,节点通过PoW共识机制来确定区块;在L2上,通过将批量交易的batches发送到“父链”(L1以太坊)上来应用这些交易。如果某个L2使用它自己的PoW,那么它将变成一个L1!所以,从这个层面来说,这种“等同性”毫无意义。

区块链模块化的一个核心模式就是将共识与执行分离——也就是说,确定和执行下一个区块的过程不同。我们可以借用这个模式在L2中使用。基本上,我们只需定义一个函数:接收L1区块,对其中的rollup交易进行处理,然后产生L2区块——与L1区块的格式完全相同。这之后,L2的执行便可以定义为等同于L1。

Eth2MergeAPI

那么,现有L1客户端实现中的共识/执行模块化的现状如何?好吧:它即将要在所有以太坊实现中标准化。

事实证明,ETH2合并和具有EVM等同性的rollup需要同一种抽象:信标链之于PoW链的“父链”角色与L1之于rollup的角色完全相同。这将使得在L2中使用L1客户端变得非常简单。

执行标准

好了,我们已经介绍了为什么EVM等同性能够让我们实现一个强大的、模块化概念以及完成一个及其简单的客户端实现。但我们如何在链上执行这种操作呢?首先,这种模块化的强大之处在于其灵活性——只要某个解决方案等同于EVM,我们就能够用它。这意味着不管是对欺诈证明的改进,还是EVM等同的零知识证明(如果可行的话),都可以轻松地嵌入现有的链下堆栈中。

然而,在短期内,我们目前需要一些可行的方案——我们找到了。有一个方案是这样的,在Solidity中实现一个完美的EVM等同实现,但是EVM十分复杂,含有许多VM指令,因此这是一项十分浩大的任务。此外,未来对EVM的更新也必须在Solidity中重新实现。

我们的解决方案是:不是在Solidity中实现EVM,而是实现一个具有更小、更简单指令集的VM,并在欺诈证明期间在该VM中运行EVM。为此,我们必须简单地编译一个现有的EVM编译器,例如geth,以便在更简单的VM中运行。

太长不读:我们允许Geth本身在一个争议友好的环境中运行。由于Geth具有EVM等同性,它的环境也如此。这样的话,我们就不用在链上重新实现EVM,并针对EVM未来的升级对系统进行未来验证。

我们正在与我们最喜欢的编译器专家GeorgeHotz合作,共同构建首个EVM-等同证明系统。进展令人兴奋——自伦敦硬分叉以来,系统已经可以运行所有L1块。通过欺诈证明运行L1区块是一个有趣的、反直觉的想法——但这正式EVM等同性所需要的!

哇——关于这种方案还有很多令人兴奋的事情要说,但我们必须把剩下的内容留给以后的帖子!

展望以太坊的未来

如果以太坊要实现其以rollup为中心的愿景,那么rollup必须以以太坊为中心。

这便是EVM等同性所提供的。

欺诈证明永垂不朽

这种以Geth为中心的模块化设计不仅是供我们使用的优雅实现——这将朝着大众化欺诈证明基础设施的目标迈出一大步。目前,想要安全地设计并推出一款rollup,需要深入了解L2的争议博弈设计,以及它们如何与节点软件协同运作。这极大地限制了大家的创新空间——想象一下,如果每个web开发者还必须成为IP网络、系统管理和微芯片制造方面的专家,这多让人崩溃啊。

未来的rollup将非常简单,以至于不需要L2专家来部署。这意味着,L2将不再在“如何”或“是否”提供安全性上竞争,而是在它们提供的安全性内容方面竞争。竞争的内容包括:

性能、稳定性和正常运行时间

网络效应、生态系统专门化和社区

抗MEV性以及定序工具

总而言之,这意味着具有EVM等同性的各个rollup会就其去中心化的程度竞争。这是整个生态系统民主化的巨大胜利,这也将使得整个行业更加反脆弱和抗审查。

这也意味着我们的团队终于可以专注于我们的核心能力——这也是最重要的部分——构建世界上最快、最可靠、最安全的L2Geth。

以太坊兼容性的束缚已经解除。

让以太坊成为标准

EVM等同性的的威力归根到底就是它帮我们实现了标准化。

在一个多链的世界中,“一份代码走天下”变得尤其关键。一次性编写好代码,就可以在任意链上部署,这听起来不是很吸引吗?

拥有许多“兼容”的链,每条链都略有不同,这会导致碎片化:从需要单个EVM专家团队处理单个代码库,到需要为每条链的每个代码库组建EVM专家团队。

Vitalik将EVM比作Javascript(甚至在他第一次公开EVM的时候就提出了这个概念),这个类比在这种情况下得到了很好的体现。在互联网的早期,浏览器之间的不兼容性(说得就是你,IE浏览器)困扰着web开发,并导致开发者和生态系统分裂。

Web3是关于协调和开源标准的,而等同性让EVM有望成为标准?——以避免重复过去的错误。

即使这个标准不断发展,我们的L2也可以毫不费力地协同发展。L1和L2携手向前发展,锁死。

这种好处是双向的——几乎所有的以太坊EIP都可以在L2上应用,并且rollup将成为一个令人兴奋的全新创新实时测试环境。想象一个位于激励测试网和主网之间的rollup,在自然环境下验证新的交易类型、预编译和EOFs,在它们广播至L1之前测试不可预见的结果。

DeFi最大的其中一个障碍就是,随心所欲地测试,没有东西可以替代DeFi的实时环境。你无法在一个测试网上“重新创建”DeFi,所以当你想测试更改时,总是需要“在产品中测试”。

EVM等同性允许我们在实时环境中测试EIP,并对以太坊整体环境进行更安全、长期的改进,而无需进行“硬分叉”。

以太坊是我们永远的重心

我们最近启动了关于追溯性公共物品募资机制的首个实验。100万美元的协议收入将很快分配给有利于以太坊生态发展的公共物品!有些人问我们,为什么这些钱会分配给整个以太坊系统,而不是仅仅分配给OptimisticEthereum生态系统。

希望通过本文理解了EVM等同性后,大家能明白为什么:我们源自相同的生态系统。

Layer2长期以来都承诺推动以太坊成为一个多链的系统,充满活力的城市深入探索这个新网络空间的边界。虽然我们可以预期这些链是多样化且丰富的,但EVM等同性为这些链和以太坊之间带来了新的连接——不仅仅是作为结算层,而是成为其组成的最深层次部分。

来源|OptimismPBCBlog

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

DYDXA16Z合伙人对话Coinlist创始人Naval:WEB3.0的奇迹

“最聪明的人,现在每个周末会做的事,恰恰是所有其他人,在未来十年的每个工作日,将要做的事。”——AndreessenHorowitz合伙人ChrisDixon近期,由天使投资人兼热门播客主TimFerriss主持的《TheTimFer.

Gateio一文读懂拜登政府发布的「稳定币报告」

来源|Forkast?News 编译?|白泽研究院 稳定币监管的紧张局势在美国已经酝酿了一段时间。美国证券交易委员会主席GaryGensler一直主张对稳定币进行监管,并对整个加密市场进行更多监管.

[0:0ms0-2:592ms