作者：Jarrod Watts；编译：区块律动BlockBeats
以太坊扩容战争中，Optimistic rollups 因其 EVM 高度兼容甚至完全等效，导致该赛道的 Arbitrum 和 Optimism 在开发者采用上占据先天优势，其 L1 到 L2 无缝移植代码和丰富的开发工具可快速吸引开发者进驻并在平台上部署和创建应用。
与之对比，ZK 系则更难一些。其技术上固有的特性导致 ZK rollups 需要定制自己的虚拟机，这意味着项目方需要做更多的工作来「解释」来自 EVM 的代码甚至是从头开发编写全新代码。不过，目前包括 Taiko、Polygon、Linea、Scroll 和 ZkSync Era 的多个 ZK rollups 赛道项目均推出了自己的 zkEVM 实现。
作为扩容圣杯，zkEVM 对开发者的合约部署体验有至关重要的影响，面对面对琳琅满目的 ZK rollups 项目，开发者到底该如何选择？
本文编译了来自 Jarrod Watts 发布的推文总结，他是 Polygon 的开发者关系工程师，通过在当前热门的 ZK rollups 项目上部署智能合约（1 个 Solidity 智能合约和一个 NFT 合约），对 Taiko、Polygon、Linea、Scroll 和 ZkSync Era 等项目的 zkEVM 性能进行了实测，比较了其各自的优缺点和 L2 到 L1 到账时间，为想要尝试部署二层合约的开发者提供实测指南。
以下为来自 BlockBeats 的原文编译：
ZK-EVM 是什么以及我们为何需要它？在解读 ZK-EVM 是什么之前，先看看为何需要 ZK-EVM？
ZK Rollups 为以太坊带来扩展性和高性能，硬币的另一面是，ZK Rollups 解决方案与 EVM（以太坊虚拟机）不兼容，这意味着 ZK Rollups 方案仅能支持执行有限的操作，包括转账、铸币或销毁，并且还得为用户开发钱包等工具。
Polygon zkEVM已修复阻碍L1资产桥接至L2的漏洞，没有资金面临风险:5月29日消息，Scroll 区块链安全研究员 iczc 发推称，在 Polygon zkEVM 中发现一个漏洞，并获得来自 Web3 漏洞赏金平台 Immunefi L2 漏洞赏金。该漏洞导致从 L1 桥接至 Polygon zkEVM（L2）的资产无法在 L2 中正确认领，从而阻碍了 L1 至 L2 的资产迁移。
iczc 在处理认领交易（claim tx）预执行结果的代码逻辑中发现，恶意攻击者可以通过将 Gas 费设置为非零来绕过对认领交易的「isReverted」预执行检查，使其可以通过发送大量低成本的 claim 对定序器和验证器进行 DoS 攻击，从而增加计算开销。此外，交易不会在执行后立即从池中删除。状态从「待定」更新为「选定」，并继续存在于 PostgreSQL 数据库中。目前，只有一个可信的定序器能够从交易池中获取交易并执行它们。因此，另一个漏洞是通过发送一个失败的交易来恶意标记任何存款数。这将导致正确使用存款数的 认领交易被拒绝，因为存款数已经被使用。这使得新用户无法使用 L2 网络。Polygon zkEVM 团队通过删除认领交易的特定 gas 逻辑，修复了这一漏洞，没有资金面临风险。[2023/5/29 9:48:40]
因此，我们需要与 EVM 兼容的 ZK Rollups，为此，多家公司都开发了自己的 ZK-EVM。
ZK-EVM，即零知识 EVM，它是一种与零知识证明兼容的以太坊虚拟机实现。
ZK-EVM 主要功能是对以太坊 L2（第 2 层）上交易进行批量处理，并将该批量交易的「有效性证明」发回至以太坊 L1 上。通常，zkEVM 可以做以太坊主网的一切。它将 Solidity 或 Vyper 中人类可读的代码编译成字节码，执行智能合约，并更新区块链状态。
构建 EVM 兼容的 ZK Rollups 的难点在于，以太坊一开始的设计并没有考虑到 ZK 友好性。这意味着零知识证明需要大量的资源进行计算。
跨链互操作协议Celer已支持Polygon zkEVM:4月20日消息，跨链互操作协议Celer Network宣布其用于资产桥接的cBridge已集成Polygon zkEVM，最初支持在Polygon zkEVM和以太坊、Arbitrum、Optimism和BNBChain、Polygon、Avalanche、Fantom之间的ETH跨链桥接，目前cBridge上新ETH流动性池的大小限制为100枚ETH。[2023/4/20 14:15:13]
其中，某些 EVM 操作码 opcodes 尤为「ZK 不友好」，这导致各家公司最终设计出的 ZK-EVM 产品在 EVM 兼容性上各不相同。
opcodes 、字节码和 EVM 分别是什么？
科普时间到，操作码（opcodes）、字节码和 EVM 分别是什么？
首先，EVM 是以太坊上智能合约的运行环境。以太坊将所谓的「机器状态」以一种 trie 树形数据结构进行存储，每执行完一个区块中的交易后，该结构发生变化。
EVM 是有确定性的，这意味着在任何特定状态上执行一组指令都会产生相同的新状态。
根据以太坊开发者文档，一个旧的有效状态（S）+ 一组新的有效交易（T），以太坊将产生一个新的有效输出状态 S'
你可以将其看作是国际象棋这样的游戏。以太坊就像是一个棋盘，其中存在不同的游戏状态，在以太坊中，这种状态的可能性则是无限的。棋盘游戏都有自己特定的移动规则（对比以太坊上的交易），并且对哪类棋子执行哪些操作也有特定的限制。游戏玩家采取行动（对比的是用户在以太坊上提交交易），游戏（以太坊）制定和执行规则，从而在每个回合（对应区块时间）后产生一个新的棋盘（以太坊全局）状态。
进行以太坊或任何 EVM 兼容的区块链开发，需要使用 Solidity 编写智能合约。Solidity 是一种高级语言，其目的是人类可读，这样开发者就可以专注于编写代码，而非寄存器、内存地址、调用堆栈等抽象层面的东西。
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]
然而，EVM 却无法读取 Solidity。相反，它只能理解「字节码」（bytecode），这是一种二进制、机器可读的低级代码。
在 EVM 中，「字节码」（bytecode）代表的是一系列 EVM「操作码」（opcodes），操作码是程序的低级可读指令，代表的是可在 EVM 中执行的特定操作。
由于 Solidity 这样的高级语言无法在 EVM 中被直接执行，因此，我们需要一种方法将智能合约代码从人类可读的 Solidity 语言 操作码 字节码，然后由 EVM 执行，这就是编译器的工作。
当使用 Remix IDE 编译器对 Solidity 代码编译后，可看到该智能合约转换成的特定的操作码，并查看从该操作码生成的字节码。
以下是操作码：
Polygon：月底zkEVM主网Beta启动时Polygon钱包套件将获得支持:3月14日消息，Polygon宣布当Polygon zkEVM的主网Beta在本月晚些时候启动时，Polygon钱包套件也将在 Polygon zkEVM上可用。Polygon钱包套件将提供与Polygon zkEVM上的Polygon PoS几乎相同的用户体验，包括桥接、?Fast Finality、资产管理、无需映射等。此外，Matic.js SDK和Gas Station也将在Polygon zkEVM主网Beta推出后不久得到支持。
此前报道，Polygon将于3月27日发布zkEVM主网Beta版本。[2023/3/15 13:04:19]
以下是上面操作码对应的字节码。
通过将字节码转译成操作码，从而可获知字节码中包含哪些执行指令。
由于对 EVM 中一些特定操作码进行 ZK 证明的难度较高，导致市面上出现了不同兼容程度的 ZK-EVM，其中，有些 ZK-EVM 和 EVM 操作码集完全等效，有些对一些 EVM 操作码进行了部分修改，还有一种则具有完全不同的字节码。
不同类型的 ZK-EVM
由于一开始以太坊设计并没有考虑到 ZK 友好性，因此理论上，越接近以太坊设计，生成 ZK 证明就越困难且耗时。2022 年 8 月，以太坊创始人 Vitalik 曾发表博文「听 Vitalik 解读不同类型 ZK-EVM 的未来」，对不同 ZK-EVM 进行了分类。
在该文中，Vitalik 基于 EVM 兼容性和 ZK 证明生成时间（性能）两个维度对各类 ZK-EVM 进行了分类，Vitalik 在该图表中罗列了 四 种（半）类型，目前市面上所有 ZK-EVM 产品都可被囊括其中。
Polygon已开源Polygon zkEVM代码，即将上线公共测试网:金色财经报道，Polygon 已开源 Polygon zkEVM 的代码，并表示即将上线公共测试网，后续会发布更多文档来详细说明细节。据悉，Polygon zkEVM 可为开发人员和用户提供EVM 等效解决方案、高性能 zk 证明机制（zk-proofs）与以太坊主网级别的安全性[2022/7/20 2:26:17]
2，第二种类型完全与 EVM 等效，但更改了一些不同的内部表示形式，比如链状态的存储方式，以加速 ZK 证明的生成时间。目前，市面上没有这种类型的 ZK-EVM；不过，Polygon、Linea 和 Scroll 正在朝这个方向努力。
2.5，在类型 2 和类型 3 之间，还存在一个类型 2.5。这种类型完全与 EVM 等效，只不过增加了某类操作的 Gas 成本，以「大幅缩短最坏情况下的证明时间」。目前，市面上没有这种类型的 ZK-EVM；不过，一个名为 Kakarot 的新 ZK-EVM 项目正在朝这个方面发力。
3，类型 3 几乎与 EVM 等效，不过等效精确性上做出了一些让步，以进一步缩短证明时间并简化 EVM 的开发。目前，Polygon、 Linea 和 Scroll 属于这一类型。
4，类型 4 相当于 ZK-EVM 的高级语言，这一类 ZK-EVM 将智能合约的源代码编译为 ZK-SNARK 友好的语言，这将会带来更快的证明时间，相应的也会引发不兼容和限制等缺点。目前，zkSync Era 属于这一类型。
值得注意的是，将有效性证明发回以太坊 L1 所需时间就是用户将资金转回 L1 的时间。如果证明生成需要几个小时，则该用户在这几个小时内无法将资金桥接回 L1。
实战：Taiko、Polygon、Linea、Scroll 和 ZkSync Era 开发评测
理论知识复习完毕，以下是实战部分。
通过在 Taiko、Polygon、Linea、Scroll 和 ZkSync Era 上各自部署了 Solidity 智能合约和 NFT 合约，测试每个 ZK-EVM 的性能和存在的相应缺陷，作者还给出了可用的开发者资源，评估主要从开发者体验以及 L2 到 L1 的桥接时间两个维度进行。
Taiko ZK-EVM
Taiko 属于类型 1 ZK-EVM，目前处于测试网阶段。Taiko 可准确地处理以太坊的所有行为；使用相同的哈希函数、gas 价格和加密算法等。
操作过程：部署了一个简单的 Solidity 智能合约并通过使用 ThirdWeb 代理部署了一个简单的 NFT 集合。
类型 1 ZK-EVM 的缺点是，当一切都与以太坊完全相同时（即使在内部），生成证明需要很长时间。这意味着，用户将 ETH 从 Taiko L2 桥接回以太坊 L1 需要几个小时的处理时间（如下所示）。
Linea ZK-EVM
Linea 属于类型 3 ZK-EVM，Linea 目前还不能证明所有操作码或预编译；代表的是与以太坊不同的链内部状态，比如使用不同哈希函数。
部署的字节码与以太坊相同。
此次部署过程几乎无缝，可轻松部署两个智能合约，并与其进行交互。这与以太坊的行为相同；可使用现有工具和钱包部署智能合约、与其交互、铸造 NFT 等。
在撰写本文时，Linea 还未上线桥接前端界面。因此，只能直接调用桥接的智能合约函数。
Linea 文档中显示，ETH 的 L2 到 L1 桥接通常需要大约 15 分钟，但此次操作案例中大约花了几个小时。
Polygon ZK-EVM
Polygon ZK-EVM 属于类型 3 ZK-EVM，自今年 3 月底以来已启动主网。
Polygon zkEVM 在官方文档列出了 EVM 和 zkEVM 之间当前的所有差异。
Polygon 工程团队表示，除了改进证明生成和提款时间之外，未来还将尽快完成剩余的预编译，目标是成为 Vitalik 图表中的类型 2。
此次部署案例中，zkEVM 主网桥接十分顺利；L2 -> L1 桥接过程大约需要 1 小时。
Scroll
Scroll 属于类型 3 ZK-EVM，目前处于测试网阶段。Scroll 也在官方文档中列出了 ZK-EVM 与以太坊 EVM 之间的差异。
ZkSync Era
ZkSync Era 属于类型 4 ZK-EVM。与其他 ZK-EVM 完全不同，在 ZkSync Era 的 zkEVM 上部署的智能合约字节码与以太坊不同。
这让 ZkSync Era 提供一个独特的功能，即对帐户抽象（Account abstraction）的原生支持，这将带来不同的开发者体验。通常情况下，大多数加密钱包只是标准地址，可以发送和接收资金，并与智能合约互动。有了帐户抽象，加密钱包是定制化的，可以更复杂的方式设计，提供更广泛的功能。此外，该 zkEVM 仍允许开发者使用相同的高级语言，例如 Solidity。
虽然 ZkSync Era 的 ZK-EVM 与 EVM 差异较大，但 ZkSync Era 提供了一整套开发者最佳实践和注意事项。此外，开发者需要对开发流程进行一些小调整，以专门针对 ZkSync Era 进行构建。
比如，在下例中，必须使用自定义 zkSync 扩展安装和配置 Hardhat 环境，以生成可以部署到 Era ZK-EVM 的字节码。
编译生成了和以太坊完全不同的全新字节码，和以上的 ZK-EVM 生成的字节码完全不同。
值得注意的是，ThirdWeb 目前已经上线 zkSync Era ，为开发者提供更加方便的部署体验。
在这次操作中总共部署了两个智能合约，与它们进行交互，并将资产从 L2 发回 L1。目前，出于安全原因，从 ZkSync Era 主网到以太坊 L1 的提款有 24 小时的延迟。
Kakarot ZkEvm
另一个致力于实现 2.5 类型 ZK-EVM 的是 Kakarot ZkEvm，该项目在今年 6 月获得了包括 Vitalik Buterin 和 StarkWare 在内的多家机构的融资，Kakarot 计划于 2023 年晚些时候发布测试网。
结语
对于终端用户来说，谁赢得比赛并不重要，因为兼容 EVM 的 ZK 解决方案的进展是整个行业的一大胜利。对于各项目方而言，与其说是一场竞赛，不如说是探索不同方法来推进整个行业的进步，Vitalik 甚至还有一个「多证明者理论」，其基础前提是，不同的 Rollup 可以协同工作，从而增强以太坊的整体安全性。
归根结底，大家都希望以太坊能够成功。L2 扩容转型是 Vitalik 认为以太坊需要经历的三个技术转型之一。未来将如何发展，我们拭目以待。
区块律动BlockBeats
媒体专栏
阅读更多
金色财经
金色荐读
区块链骑士
金色财经 善欧巴
Block unicorn
Foresight News
深潮TechFlow
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。