原文标题:《TheRaceforzkEVMsExplained》
作者:GrantGriffith
编译:Azuma,Odaily星球日报
10月28日,由MatterLabs构建的以太坊扩容解决方案正式发布了zkSync2.0的第一阶段BabyAlpha,虽然出于测试需求,该网络暂时不会向外部参与者开放,但作为首个启动主网的EVM兼容型zk-rollup,zkSync2.0的上线对于整个以太坊生态的扩容“长征”来说仍是一次值得纪念的里程碑时刻。
在下文中,分析师GrantGriffith以通俗的语言解析了zkEVM的重要意义,并对比了包括zkSync2.0在内的多家致力于实现zkEVM的项目,可帮助读者较轻松了解zkEVM这场竞赛的格局及最新动态。
zk-rollup,尤其是与以太坊虚拟机兼容的zk-rollup一直都被视为是以太坊扩容道路上的圣杯。虽然我们暂时还没能完全走通这条路,但多家项目最新的开发成果显示,这一曾经看起来还需要数年之遥的事情似乎已经触手可及了。竞赛已然拉开帷幕,让我们一起来见证吧。
Aave社区关于“在Polygon zkEVM主网上部署V3 MVP版本”的ARFC提案已获投票通过:3月31日消息,据投票页面显示,Aave社区关于“在Polygon zkEVM主网上部署V3 MVP版本”的ARFC提案(ARFC提案通常被视为“温度检查”)以100%的支持率获得投票通过,将进入正式的链上投票。该提案指出部署 Aave V3 开发工作量较小,但为了减少风险,该提案建议限制流入资产,并设置保守的风险参数,使开发和风险服务提供商对zkEVM网络进行更深入的分析。该提案建议只加入三个抵押品(WETH、WMATIC 和 USDC)和一个可借贷资产(USDC),以减少风险。
自2022年10月起,Aave V3已成功部署在zkEVM测试网,运行约 6 个月。zkEVM是Polygon团队开发的L2解决方案,与EVM等效。Polygon zkEVM主网Beta版已于近日上线。[2023/3/31 13:36:54]
为什么zkEVM很重要?
首先我们来回顾一个问题,为什么当前明明是optimistic-rollup的TVL更高,但市场却普遍更认可zk-rollup?
V神在Polygon zkEVM主网完成了其第一笔交易:金色财经报道,据Polygon Labs开发工程师steph.polygon在社交媒体透露,以太坊联合创始人Vitalik Buterin已在Polygon zkEVM主网上完成了其第一笔交易,交易哈希:0x18db0b46e46777b5b369460be229b0704abe7d24bf88dbfee99054c43b0c121c,交易额为0.005 ETH,交易费0.0003367104 ETH,gas费用0.0000000152 ETH。[2023/3/27 13:29:22]
答案是,尽管这两种形式的rollup在可扩展性和tps方面都可带来巨大的改进,但zk-rollup在事务确认和安全性方面具有显著优势,相较于optimistic-rollup,zk-rollup通常会被认为更加安全,因为它的安全性依赖于无需信任的加密技术,而非依赖于网络参与者可以诚实地提交欺诈证明。当然了,optimistic-rollup也有自己的优势,比如它不需要通过在专用机器上执行复杂的计算来生成证明。
除了这些区别之外,zk-rollup和optimistic-rollup在理论上差异并不大,但也仅仅是理论上而已,因为就现实情况来看暂时只有optimistic-rollup可以与EVM实现良好兼容,这使得当前optimistic-rollup系项目的生态发展进度暂时领先于zk-rollup系项目。
Ankr将在Polygon zkEVM推出后提供RPC连接:3月17日消息,Web3 基础设施提供商 Ankr 将在 3 月 27 日 Polygon zkEVM 推出后提供 RPC 连接,Ankr 还将通过启动 RPC 连接到 zkEVM 测试网与主网,使开发者能够在以太坊扩容方案上建设。[2023/3/18 13:11:28]
所有的公共区块链都存在着一个共同的目标——为了在生态采用方面尽早实现网络效应,需要尽可能快速地获取开发者以及用户——这正是EVM兼容性所能带来的便利。
EVM兼容性是一个与智能合约的编写和部署方式相关的概念,如果一个区块链被认为是与EVM兼容的,那就意味着它的智能合约是按照符合EVM特定规则的方式编写的。用更通俗的话来说就是,如果你复制、粘贴一套在以太坊网络上可读的代码,并将其部署到其它链上,如果该链支持且可处理这些转置的代码,它就会被认为是具有EVM兼容性的。考虑到以太坊无可比拟的开发者欢迎程度,兼容EVM被认为可以减少开发者入驻的阻碍,从而有效推进新链的生态发展速度。
这里需要再提一个新概念——EVM等效性。简而言之,EVM等效性比EVM兼容性更进一步,这意味着新链智能合约的编写和部署完全符合EVM规范,实现真正的“即插即用”。相比之下,早期市场所强调的EVM兼容性并不要求实现最精确的EVM“等效”。
Polygon zkEVM主网Beta版将于3月27日发布:金色财经报道,Polygon zkEVM主网Beta版将于3月27日发布,Polygon并没有具体说明测试版网络将包含哪些内容,但表示团队将在未来几周内发布更多细节。
去年10月,Polygon上线了其zkEVM测试网,该测试网为其ZK rollup部署了以太坊虚拟机(EVM),允许以太坊开发人员从主区块链转移他们的智能合约,而无需使用不同的语言重新编程。去年12月,Polygon zkEVM上线最终测试网版本。[2023/2/15 12:07:08]
参赛选手们
鉴于零知识技术和证明的复杂性,以太坊最初的设计并没有考虑ZK友好性,这导致开发通用zkEVM需要攻克大量难题。然而,创新的大门正在被推开,让我们来看看哪些项目正在领跑吧。
PolygonzkEVM
10月10日,Polygon宣布启动了PolygonzkEVM的公共测试网。这是Polygon在零知识证明技术这条路上疯狂出招后而实现的最新成果。该测试网目前正处于压力测试模式,Polygon鼓励用户在网络上部署合约并帮助发现潜在的错误。
Polygon zkEVM最后一个测试网现已上线:12月25日消息,Polygon zkEVM发推表示,具有显着性能升级的最终测试网现已上线,主网即将到来。
自Polygon zkEVM的公共测试网于10月推出以来,已经处理了21,966个txs,生成并验证了14,930个ZK证明,创建了10,508个钱包地址等。[2022/12/25 22:06:15]
根据CoinDesk此前的报道,预计PolygonzkEVM将在2023年初的某个时间推出主网。
从EVM兼容程度上看,尽管Polygon正在努力达到EVM等效性的级别,但暂时还没有完全实现。截至发文,虽然已支持了所有的EVM操作码,但该项目的Github代码库显示其暂时只测出了97%的兼容性覆盖程度。在这一点是,Polygon一直围绕着“EVM等效”亮点而做的品牌宣发也招致了一些批评,因为社区正越来越在意“完全等效”与“高度兼容”之间的区别。
zkSync
与Polygon类似,由MatterLabs创建的zkSync近期了做了大量关于zkEVM的宣发。10月28日,zkSync2.0刚刚上线了主网第一阶段BabyAlpha,成为了第一个部署主网的zkEVM解决方案。不过,该主网暂时还还不支持任何外部项目,团队正在继续进行压力测试,以确保一切能够按预期执行。
根据zkSync官方披露的路线图,第一阶段后的下一阶段为FairOnboardingAlpha,开发者能够移植到zkSync并开始在网络上构建应用。当前,包括Uniswap在内的超100家项目已表态有意在zkSync2.0上部署其应用程序。再往后的阶段是FullLaunchAlpha,届时网络对所有人完全开放,预计这将发生在年底左右。
从EVM兼容程度上看,zkSync2.0正在朝着EVM兼容的方向发展。就目前来看,zkSync2.0的兼容性程度或许会低于Polygon,因为Polygon已通过支持所有的EVM操作码来实现了“操作码级别的等效””,但zkSync2.0暂时并没有明确支持。尽管这种偏差可能会给zkSync2.0带来其他一些优势,但如果整体兼容性较低,可能会在开发者迁移方面带来更多的摩擦。
Scroll
当在EthCC2022上宣布正致力于实现zkEVM时,Scroll的知名度或许并不如其它一些竞争对手。不过,这并不意味着我们可以忽视这一项目。几周前,Scroll已宣布升级其alpha测试网,支持了智能合约的部署,此次升级给了开发者们第一次与Scroll基础设施交互的机会。预计接下来Scroll将会推出一个更大规模的alpha测试网,并对所有用户开放。
EVM兼容程度上,与PolygonzkEVM一样,Scroll也在努力实现EVM的完全等效,这包括了直接支持每个EVM操作码。然而,Scroll暂时也还没有完成所有核心工作。
StarkNet
当谈及ZK-STARK技术时,Starkware无疑是先驱。StarkNetalpha早在2021年11月就已在以太坊主网上发布,且已有100多个项目正在该平台上建设。
EVM兼容程度方面,与其他一些rollup项目不同,StarkNet所使用的基础智能合约语言并不是Solidity,而是Cairo,因此其本身并不与EVM兼容。不过,该团队正在积极地构建一些提高兼容性的方法,Nethermind的Warp项目正在构建一个Solidity-Cairo的“编译器”,它允许使用Solidity编写的项目将其代码库“一键”翻译成Cairo,以便在StarkNet上部署。该“编译器”仍在开发中,一旦生效,它将使StarkNet实现与zkSync2.0相似的EVM兼容级别。
值得注意的是,几天前Starkware刚刚推出了一个名为Kakarot的新产品,这是一个基于Cairo编写的EVM。它将能够在StarkNet上运行以太坊的智能合约,将EVM的兼容性程度提高到当前Polygon和Scroll所处的级别。关于该产品的细节仍然很少,Starkware一直在强调9000这个数字,虽然具体意义尚且不明,但大概率是在指tps。
Taiko等新项目
并非所有致力于zkEVM项目都能像前边几家项目那样已经拿出了切实的成果。比如Taiko,这是当前在zkEVM领域耕耘的最新项目之一,该项目几周前首次分享了其白皮书,其愿景是构建EVM等效的zk-rollup,从而为开发者、用户和基础设施提供者在采用方面创造最平稳的路径。
显然,包括Taiko在内的许多其他项目都还处于真正的“早期阶段”。
小结
需要在文末特点说明的一点是,在Polygon、zkSync和Scroll于EthCC2022公布其最新进展之后,VitalikButerin曾发表了一篇根据兼容性级别来区分不同类型的rollup的文章,文章基本覆盖了前文提到的几大rollup。
Vitalik的一个核心观点是,EVM兼容性的差异并不一定意味着一个rollup更好或更差。我们需要考量其它一些权衡因素,兼容性较低的rollup可能会在吸引开发者方面存在一定劣势,但与此同时这或许也会带来其它的一些灵活性优势。在分析不同的rollup时需要牢记这一点,当某个zkEVM不寻求EVM等效性时,它是否还能拿出其他的优势来证明这一取舍是合理的?什么才是最佳的路径,市场暂时仍然没有答案,不同的项目正在探索不同的方向,这对整个行业是有益的。
事实上,随着先驱项目们逐渐迈向主网,在未来的几个月和几年里,我预计将有无数更多的项目带着他们自己的方案进入市场。考虑到zkEVM的发展还处于早期阶段,市场之上仍有着许多的空间供新项目们进入。在未来的一段时间里,观察这一赛道会如何发展,赢家是谁,将是一件很有趣的事情。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。