上个月,我们宣布了OptimisticEthereum历史上最重大的升级——OVM2.0。最近,我们将OptimisticKovan迁移了,使其真正能够一键部署以及提高了其稳定性。并且,将在未来的三周内上线主网,
但是本文并不是关于一键部署或者渐进式改善。
本文主要介绍了EVMEquivalence(完全与以太坊虚拟机规范相一致)将如何成为L2领域的下一个通用标准。
Optimistic争议协议的简史
首先,一起来回顾一下rollup的发展历史。
Rollup的开端
OptimisticL2解决方案都与争议有关。如果你认为以太坊是一个全能的、去中心化的法庭,那么L2扩容的核心观点便是:“不要去法庭兑现支票——如果支票被退回再去。”
实际上,可扩展性的研究在过去六年可以归结为一件事:什么样的“拒付支票”可以被强制执行。首先,只有一组预先商定的参与可以在彼此之间进行交易(状态通道)。接着就是,任何人都可以交易,但也有可能被审查(plasma)。终于,我们把审查问题也解决了(rollups)。
在rollup之前,我们已经知道如何在所有这些模型上运行智能合约——只是没有任何意义。毕竟谁想要在几个朋友之间运行Uniswap或者要被审查一周呢?而rollup能够承诺给我们提供真实的、类似于以太坊交互体验的L2。
兼容时代
当然,仅仅“承诺”提供一个真实的、类似于以太坊交互体验的L2,并不代表能够真正创建实现。在构建首个L2AMMUnipig时,我们必须使用与rollup争议合约兼容的自定义代码重新创建Uniswap——而不是利用EVM本身来构建。
Doodles联创:Doodles 2将于明年开启内测,测试网合约已部署:12月19日消息,NFT系列Doodles联合创始人Jordan Castro在官方Discord宣布,Dooplicator的效用公布和GenesisBox的开图将于2023年1月后陆续进行,同时Doodles2也将于明年开启内测。
Castro表示,过去一年通过探索其他区块链和Layer2网络,已为Doodles2找到完美归宿,目前测试网合约已部署,同时本周将发布Doodles 2角色预览。此外,Castro就产品延迟推出向社区致歉,并指出延误的主要原因在于对产品性能有高标准,同时还存在一些技术/架构上的决策和业务方面的考虑。[2022/12/19 21:54:01]
由于Uniswap的设计相对简单,上述的构建方式是可行的。然而连Solidity这么基础的东西都不能再用了,实在不是一个好兆头。对于非开发者来说,Uniswap是目前最简单的DeFi智能合约之一,如果连Uniswap也要大改一番才能方便地实现兼容rollup,这真不是一个好现象。
到目前为止,以太坊的发展速度之快,早已超过了逃逸速度(escapevelocity)。呈指数级增长的以太坊生态系统根本无法围绕非EVM接口进行重新架构。因此,L2除了要提供“原始”规模之外,它还要确保L1的法院系统与EVM的差异最小化。这迫使rollup同时在以下两个方面开创先河:
构建可扩展的、产品级别的rollup基础设施
解决长期以来就让人难以接受的的EVM-in-EVM(在EVM里构建EVM)问题。
以太坊的图灵完备性(Turing-completeness)意味着它确实可以解决这些问题,但在我们的研究过程中,我们发现,如果想要在合理的时间范围内将以太坊迁移到L2上,我们需要牺牲一些东西,做出妥协。
这种妥协也就是我们后来所称的EVM兼容性(EVM“Compatibility”)。
EVM兼容性的论点很简单:只要以太坊的应用程序可以合理地移植到rollup上运行——不管这是如何在幕后完成的——我们就可以追上以太坊的逃逸速度。
SushiSwap自上周以来收入增长了61.52%:金色财经报道,根据Messari数据,SushiSwap在过去 7 天多个方面出现了增长。此外,自上周以来,Sushiwap的收入增长了 61.52% 。流动资金池交易和交易量也出现增长。但SushiSwap在矿池价值方面低于Uniswap。
尽管SushiSwap的正面和负面因素相互矛盾,但其TVL保持相对稳定。尽管过去几个月TVL略有降低,但自过去几周以来,SushiSwap的TVL的整体走势持平。截至发稿时,SushiSwap锁定的总价值为4.9147亿美元。此外,自9月以来,SushiSwap网络上每天的平均新用户数持续下降。[2022/10/23 16:36:15]
“这算是兼容性吗?”
乘风破浪
起初,这种妥协取得了一些成功。在2020年,由于许多用户从以太坊转移到了其他L1竞争链上(这些链打着“费用低廉”的幌子而罔顾安全性和价值),我们竞相推出了OVM。在今年1月份,Optimism上线主网,10个月过去了,我们已经处理了数百万笔交易,为用户节省了数亿美元的交易费。
但是以太坊网络效应产生的逃逸速度有多种形式,并从以太坊L1的交易活动飙升这个现象可以看出,其他L1链和L2所缺乏的是:以太坊L1所拥有的基础设施。过去六年来,遍布世界的以太坊社区成员合力将以太坊从一个简化的原型变成一个更加完善的系统:
成千上万的开发工具已深度集成到EVM中。
价值数十亿美元的公司的出现,只为了给以太坊的节点软件提供服务以及完善其运行。
以太坊本身的交易处理速度越来越快了。
安全团队:GMT发生Rug pull,价格下跌87%以上:金色财经消息,据CertiK Alert数据监测,GMT发生Rug pull,价格下跌了87%以上,13亿枚GMT被转移其相关营销钱包的EOA。BSC:0x59375348e069Fa7E0eb58B98F72d2dEE078259c9,请保持警惕。[2022/8/27 12:52:26]
以太坊网络效应的浪潮只会越来越大。由于一切都是开源的,人们可能会期望这些巨大的胜利同样也能在L2上发生。
然而并没有达到大家的预期。
EVM兼容性(EVMcompatibility)与EVM等同性(EVMequivalence)是有区别的,仅仅满足于兼容性意味着你被迫修改(甚至需要完全重新实现)以太坊的基础设施也依赖的低级代码。如果L2想要从以太坊基础设施网络效应所带来的浪潮中获得一些好处,它们必须要具有EVM等同性。
在OptimisticEthereum上线并运行发展之后,我们发现越来越多以太坊工具难以部署在OptimisticEthereum系统上,这是由于我们老旧的EVM兼容性设计理念造成的。
我们知道我们能做得更好。为了真正让大众用上OE,我们需要的不仅仅是与EVM合约兼容;相反,我们要做到从根本上实现与EVM本身等同。
EVM等同性能够帮助填补以太坊L1的基础设施网络效应和以太坊L2的执行环境之间的缺口。
EVM等同性:借助以太坊的EVM应用浪潮
什么是EVM等同性?
简而言之:EVM等同性也就是与以太坊黄皮书的规范(该协议的正式定义)完全相符。根据定义,L1以太坊软件必须符合该规范。
邮件营销服务Mailchimp再次禁止加密公司进行营销:金色财经报道,在使用时事通讯服务四年后,Decrypt 的时事通讯周二被Mailchimp 禁止。该通讯主要涵盖以加密货币为重点的新闻,并且似乎符合 Mailchimp 封禁的标准。
自 2018 年以来,这家电子邮件营销公司和服务提供商以“高于平均水平的滥用投诉”为由,禁止数字资产公司使用其平台进行营销。
(blockworks)[2022/8/10 12:14:14]
深入到最本质来说,这意味着现有的以太坊堆栈也将要与L2系统集成。每一个调试器、每一个工具链以及每个节点实现都要和L2集成。我们相信,任何提供任何EVM开发体验的L2都必须满足这一标准——一丁点达不到标准都不可接受。
为什么需要EVM等同性?
从最开始,我们就在以太坊最具有鲁棒性和最普遍的实现“Geth”上构建了我们的软件——这是我们实现产品级的以太坊L2的唯一可行途径。OVMv1引入了一种容器化系统(containerizationsystem),它基于Geth的EVM构建,有助于避免在L1上繁琐地重新实现整个EVM。
这种组合在早期取得了一些胜利,但由于EVM并不原生地支持容器化,所以这不是免费的。即使对于我们以Geth为中心的团队,这些变化也开始累积起来。随着OptimisticEthereum的发展,EVM等同性的力量不容忽视:
像Solidity、Vyper和Hardhat等项目无私地致力于开发OVM版本的开发工具,但我们这样做冒着将这些已经资源受限的团队分散的风险。这给我们上了一课,团队需要投入相当的人力来维护非EVM等同的代码库。
随着每一行代码的改变,采用像Erigon这样的实验性实现变得更加困难。也就是说,我们总是需要花人力来负责集成未来的客户端实现
与现有的超级优化版本相比,重新实现部分EVM带来了一些gas开销。这告诉我们,最小化gas成本需要EVM等同性的设计方案。
是时候寻求更优的解决方法了,尽管这需要单调乏味的工作。
华尔街日报:三箭资本正考虑出售资产以获得救助:6月17日消息,三箭资本正考虑出售资产以获得救助。三箭联合创始人Kyle Davies在接受采访时表示,在接受采访时表示,已聘请法律和财务顾问帮助为其投资者和贷方制定解决方案。我们一直是加密货币的信徒,现在仍然是,我们致力于解决问题,并为我们所有的投资者找到一个公平的解决方案。(华尔街日报)[2022/6/17 4:35:18]
如何实现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
什么是以太坊虚拟机(EVM)?以太坊虚拟机是一种轻量级虚拟机,用于在以太坊网络上运行各种智能合约。EVM的功能不同于Windows等传统操作系统,后者一次只能在一台机器上运行.
1900/1/1 0:00:00“基建法案”签署生效的过程11月15日,美国总统拜登正式签署了“(1)”,意味着该法案已经正式生效.
1900/1/1 0:00:00“元宇宙概念股开盘走高,某某企业股价涨超多少多少”,“百度、腾讯……申请元宇宙商标”,从元宇宙走红到现在,坊间对类似的新闻已经习以为常,即使元宇宙被单独列为一个板块还不到两个月时间.
1900/1/1 0:00:00自比特币在2009年横空出世以来,数字货币的迅猛发展引发了全球范围内普遍关注。根据维基百科的定义,数字货币是指在数字计算机系统与互联网上管理、存储与交易的货币或相关资产.
1900/1/1 0:00:0011月13日消息,美国证券交易交易委员会宣布对Terra开发公司TerraformLabs和其联合创始人兼首席执行官DoKwon提起传票执法行动,要求Terra遵守有关文件和证词的调查传票.
1900/1/1 0:00:00经过数次延迟,美国证券交易委员会今天还是拒绝了投资公司VanEck推出直接跟踪比特币价格的ETF申请。在有关其决定的文件中,SEC再次提到了对比特币现货市场恐存在“欺诈和操纵”的担忧.
1900/1/1 0:00:00