10 月 28 日,由 Matter Labs 构建的以太坊扩容解决方案正式发布了 zkSync 2.0 的第一阶段 Baby Alpha,虽然出于测试需求,该网络暂时不会向外部参与者开放,但作为首个启动主网的 EVM 兼容型 zk-rollup,zkSync 2.0 的上线对于整个以太坊生态的扩容“长征”来说仍是一次值得纪念的里程碑时刻。
(资料图)
在下文中,分析师 Grant Griffith 以通俗的语言解析了 zkEVM 的重要意义,并对比了包括 zkSync 2.0 在内的多家致力于实现 zkEVM 的项目,可帮助读者较轻松了解 zkEVM 这场竞赛的格局及最新动态。
下文内容由 Odaily 星球日报编译,存在一定删改。
zk-rollup,尤其是与以太坊虚拟机(EVM)兼容的 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 系项目。
所有的公共区块链(包括 rollup)都存在着一个共同的目标 —— 为了在生态采用方面尽早实现网络效应,需要尽可能快速地获取开发者以及用户 —— 这正是 EVM 兼容性所能带来的便利。
EVM 兼容性是一个与智能合约的编写和部署方式相关的概念,如果一个区块链被认为是与 EVM 兼容的,那就意味着它的智能合约(大体上)是按照符合 EVM 特定规则的方式编写的。用更通俗的话来说就是,如果你复制、粘贴一套在以太坊网络上可读的代码,并将其部署到其它链上,如果该链支持且可处理这些转置的代码,它就会被认为是具有 EVM 兼容性的。考虑到以太坊无可比拟的开发者欢迎程度,兼容 EVM 被认为可以减少开发者入驻的阻碍,从而有效推进新链的生态发展速度。
这里需要再提一个新概念 —— EVM 等效性。简而言之,EVM 等效性比 EVM 兼容性更进一步,这意味着新链智能合约的编写和部署完全符合 EVM 规范,实现真正的“即插即用”。相比之下,早期市场所强调的 EVM 兼容性并不要求实现最精确的 EVM “等效” (可能还是需要对代码进行一些少量的重写)。
鉴于零知识技术和证明的复杂性,以太坊最初的设计并没有考虑 ZK 友好性,这导致开发通用 zkEVM 需要攻克大量难题。然而,创新的大门正在被推开,让我们来看看哪些项目正在领跑吧。
PolygonzkEVM
10 月 10 日,Polygon宣布启动了 Polygon zkEVM 的公共测试网。这是 Polygon 在零知识证明技术这条路上疯狂出招后(包括收购 Mir Protocol,合并 Hermez 等等)而实现的最新成果。该测试网目前正处于压力测试模式,Polygon 鼓励用户在网络上部署合约并帮助发现潜在的错误。
根据 CoinDesk 此前的报道,预计Polygon zkEVM 将在 2023 年初的某个时间推出主网。
从 EVM 兼容程度上看,尽管 Polygon 正在努力达到 EVM 等效性的级别,但暂时还没有完全实现。截至发文,虽然已支持了所有的 EVM 操作码,但该项目的 Github 代码库显示其暂时只测出了 97% 的兼容性覆盖程度。在这一点是,Polygon 一直围绕着“EVM 等效”亮点而做的品牌宣发也招致了一些批评,因为社区正越来越在意“完全等效”与“高度兼容”之间的区别。
zkSync
与 Polygon 类似,由 Matter Labs 创建的 zkSync 近期了做了大量关于 zkEVM(zkSync 2.0)的宣发。10 月 28 日,zkSync 2.0刚刚上线了主网第一阶段 Baby Alpha,成为了第一个部署主网的 zkEVM 解决方案。不过,该主网暂时还还不支持任何外部项目,团队正在继续进行压力测试,以确保一切能够按预期执行。
根据 zkSync 官方披露的路线图,第一阶段后的下一阶段为 Fair Onboarding Alpha,开发者能够移植到 zkSync 并开始在网络上构建应用。当前,包括 Uniswap 在内的超 100 家项目已表态有意在 zkSync 2.0 上部署其应用程序。再往后的阶段是 Full Launch Alpha,届时网络对所有人完全开放,预计这将发生在年底左右。
从 EVM 兼容程度上看,zkSync 2.0 正在朝着 EVM 兼容的方向发展(并非等效)。就目前来看,zkSync 2.0 的兼容性程度或许会低于 Polygon,因为 Polygon 已通过支持所有的 EVM 操作码来实现了“操作码级别的等效””,但 zkSync 2.0 暂时并没有明确支持。尽管这种偏差可能会给 zkSync 2.0带来其他一些优势(比如更快的证明生成时间、更低的成本等),但如果整体兼容性较低,可能会在开发者迁移方面带来更多的摩擦。
Scroll
当在 EthCC 2022 上宣布正致力于实现 zkEVM 时,Scroll 的知名度或许并不如其它一些竞争对手。不过,这并不意味着我们可以忽视这一项目。几周前,Scroll 已宣布升级其 alpha 测试网,支持了智能合约的部署,此次升级给了开发者们第一次与 Scroll 基础设施交互的机会。预计接下来 Scroll 将会推出一个更大规模的 alpha 测试网,并对所有用户开放。
EVM 兼容程度上,与 Polygon zkEVM 一样,Scroll也在努力实现 EVM 的完全等效,这包括了直接支持每个 EVM 操作码。然而,Scroll 暂时也还没有完成所有核心工作。
StarkNet
当谈及 ZK-STARK 技术时,Starkware 无疑是先驱。StarkNet alpha 早在 2021 年 11 月就已在以太坊主网上发布,且已有 100 多个项目正在该平台上建设。
EVM 兼容程度方面,与其他一些 rollup 项目不同,StarkNet 所使用的基础智能合约语言并不是 Solidity,而是 Cairo,因此其本身并不与 EVM 兼容。不过,该团队正在积极地构建一些提高兼容性的方法,Nethermind 的 Warp 项目正在构建一个 Solidity – Cairo 的“编译器”,它允许使用 Solidity 编写的项目将其代码库“一键”翻译成 Cairo,以便在 StarkNet 上部署。该“编译器”仍在开发中,一旦生效,它将使 StarkNet 实现与 zkSync 2.0 相似的 EVM 兼容级别。
值得注意的是,几天前 Starkware 刚刚推出了一个名为 Kakarot 的新产品,这是一个基于 Cairo 编写的 EVM。它将能够在 StarkNet 上运行以太坊的智能合约,将 EVM 的兼容性程度提高到当前 Polygon 和 Scroll 所处的级别。关于该产品的细节仍然很少,Starkware 一直在强调 9000 这个数字,虽然具体意义尚且不明,但大概率是在指 tps。
Taiko 等新项目
并非所有致力于 zkEVM 项目都能像前边几家项目那样已经拿出了切实的成果。比如 Taiko,这是当前在 zkEVM 领域耕耘的最新项目之一,该项目几周前(10 月 7 日)首次分享了其白皮书,其愿景是构建 EVM 等效的 zk-rollup,从而为开发者、用户和基础设施提供者在采用方面创造最平稳的路径。
显然,包括 Taiko 在内的许多其他项目都还处于真正的“早期阶段”。
需要在文末特点说明的一点是,在 Polygon、zkSync 和 Scroll 于 EthCC 2022 公布其最新进展之后,VitalikButerin 曾发表了一篇根据兼容性级别来区分不同类型的 rollup 的文章,文章基本覆盖了前文提到的几大 rollup。
Vitalik 的一个核心观点是,EVM 兼容性的差异并不一定意味着一个 rollup 更好或更差。我们需要考量其它一些权衡因素,兼容性较低的 rollup 可能会在吸引开发者方面存在一定劣势,但与此同时这或许也会带来其它的一些灵活性优势。在分析不同的 rollup 时需要牢记这一点,当某个 zkEVM 不寻求 EVM 等效性时,它是否还能拿出其他的优势来证明这一取舍是合理的?什么才是最佳的路径,市场暂时仍然没有答案,不同的项目正在探索不同的方向,这对整个行业是有益的。
事实上,随着先驱项目们逐渐迈向主网,在未来的几个月和几年里,我预计将有无数更多的项目带着他们自己的方案进入市场。考虑到 zkEVM 的发展还处于早期阶段,市场之上仍有着许多的空间供新项目们进入。在未来的一段时间里,观察这一赛道会如何发展,赢家是谁,将是一件很有趣的事情。
延伸阅读:
对比Scroll与Hermez,理解zkVM与zkEVM;
https://www.odaily.news/post/5182736
Foresight Ventures:从Polygon zkEVM出发,理解zkEVM Rollup;
https://www.odaily.news/post/5181492
有关zkEVM,你需要知道的一切(一);
https://www.odaily.news/post/5180532
有关zkEVM,你需要知道的一切(二);
https://www.odaily.news/post/5180714
有关zkEVM,你需要知道的一切(三);
https://www.odaily.news/post/5180957
以太坊的Rollup Race:什么是「真正的」zkEVM?
https://www.odaily.news/post/5180605
本文来自微信公众号“Odaily”(ID:o-daily),作者:Grant Griffith,编译:Azuma,清一色财经经授权发布。
关于我们| 联系方式| 版权声明| 供稿服务| 友情链接
咕噜网 www.cngulu.com 版权所有,未经书面授权禁止使用
Copyright©2008-2020 By All Rights Reserved 皖ICP备2022009963号-10
联系我们: 39 60 29 14 2@qq.com