编者按：10月28日，由MatterLabs构建的以太坊扩容解决方案正式发布了?zkSync?2.0的第一阶段BabyAlpha，虽然出于测试需求，该网络暂时不会向外部参与者开放，但作为首个启动主网的EVM兼容型zk-rollup，zkSync2.0的上线对于整个以太坊生态的扩容“长征”来说仍是一次值得纪念的里程碑时刻。
在下文中，分析师GrantGriffith以通俗的语言解析了zkEVM的重要意义，并对比了包括zkSync2.0在内的多家致力于实现zkEVM的项目，可帮助读者较轻松了解zkEVM这场竞赛的格局及最新动态。
下文内容由Odaily星球日报编译，存在一定删改。
zk-rollup，尤其是与以太坊虚拟机兼容的zk-rollup一直都被视为是以太坊扩容道路上的圣杯。虽然我们暂时还没能完全走通这条路，但多家项目最新的开发成果显示，这一曾经看起来还需要数年之遥的事情似乎已经触手可及了。竞赛已然拉开帷幕，让我们一起来见证吧。
为什么zkEVM很重要？
首先我们来回顾一个问题，为什么当前明明是?optimistic-rollup的TVL更高，但市场却普遍更认可?zk-rollup？
答案是，尽管这两种形式的?rollup?在可扩展性和tps方面都可带来巨大的改进，但?zk-rollup?在事务确认和安全性方面具有显著优势，相较于?optimistic-rollup，zk-rollup?通常会被认为更加安全，因为它的安全性依赖于无需信任的加密技术，而非依赖于网络参与者可以诚实地提交欺诈证明。当然了，optimistic-rollup也有自己的优势，比如它不需要通过在专用机器上执行复杂的计算来生成证明。
除了这些区别之外，zk-rollup和?optimistic-rollup在理论上差异并不大，但也仅仅是理论上而已，因为就现实情况来看暂时只有?optimistic-rollup可以与EVM实现良好兼容，这使得当前?optimistic-rollup系项目的生态发展进度暂时领先于?zk-rollup系项目。
所有的公共区块链都存在着一个共同的目标——为了在生态采用方面尽早实现网络效应，需要尽可能快速地获取开发者以及用户——这正是EVM兼容性所能带来的便利。
EVM兼容性是一个与智能合约的编写和部署方式相关的概念，如果一个区块链被认为是与EVM兼容的，那就意味着它的智能合约是按照符合EVM特定规则的方式编写的。用更通俗的话来说就是，如果你复制、粘贴一套在以太坊网络上可读的代码，并将其部署到其它链上，如果该链支持且可处理这些转置的代码，它就会被认为是具有EVM兼容性的。考虑到以太坊无可比拟的开发者欢迎程度，兼容EVM被认为可以减少开发者入驻的阻碍，从而有效推进新链的生态发展速度。
这里需要再提一个新概念——EVM等效性。简而言之，EVM等效性比EVM兼容性更进一步，这意味着新链智能合约的编写和部署完全符合EVM规范，实现真正的“即插即用”。相比之下，早期市场所强调的EVM兼容性并不要求实现最精确的EVM“等效”。
参赛选手们
鉴于零知识技术和证明的复杂性，以太坊最初的设计并没有考虑ZK友好性，这导致开发通用zkEVM需要攻克大量难题。然而，创新的大门正在被推开，让我们来看看哪些项目正在领跑吧。
Polygon?zkEVM
10月10日，Polygon?宣布启动了PolygonzkEVM的公共测试网。这是Polygon在零知识证明技术这条路上疯狂出招后而实现的最新成果。该测试网目前正处于压力测试模式，Polygon鼓励用户在网络上部署合约并帮助发现潜在的错误。
根据CoinDesk此前的报道，预计?PolygonzkEVM将在2023年初的某个时间推出主网。
从EVM兼容程度上看，尽管Polygon正在努力达到EVM等效性的级别，但暂时还没有完全实现。截至发文，虽然已支持了所有的EVM操作码，但该项目的Github代码库显示其暂时只测出了97%的兼容性覆盖程度。在这一点是，Polygon一直围绕着“EVM等效”亮点而做的品牌宣发也招致了一些批评，因为社区正越来越在意“完全等效”与“高度兼容”之间的区别。
zkSync
与Polygon类似，由MatterLabs创建的?zkSync近期了做了大量关于?zkEVM的宣发。10月28日，zkSync?2.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公布其最新进展之后，Vitalik?Buterin曾发表了一篇根据兼容性级别来区分不同类型的rollup的文章，文章基本覆盖了前文提到的几大rollup。
Vitalik的一个核心观点是，EVM兼容性的差异并不一定意味着一个rollup更好或更差。我们需要考量其它一些权衡因素，兼容性较低的rollup可能会在吸引开发者方面存在一定劣势，但与此同时这或许也会带来其它的一些灵活性优势。在分析不同的rollup时需要牢记这一点，当某个zkEVM不寻求EVM等效性时，它是否还能拿出其他的优势来证明这一取舍是合理的？什么才是最佳的路径，市场暂时仍然没有答案，不同的项目正在探索不同的方向，这对整个行业是有益的。
事实上，随着先驱项目们逐渐迈向主网，在未来的几个月和几年里，我预计将有无数更多的项目带着他们自己的方案进入市场。考虑到zkEVM的发展还处于早期阶段，市场之上仍有着许多的空间供新项目们进入。在未来的一段时间里，观察这一赛道会如何发展，赢家是谁，将是一件很有趣的事情。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。