原文：Sam Martin

编译：Crush

关键要点：

• 由于缺乏智能合约支持，与其他通用 L2 相比，ZkSync 1.0 的采用率低，使得 rollup 在代币转移和交换之外的效用最小

• Matter Labs 团队的目标是于 10 月 28 日在主网上推出他们的 alpha zkEVM，这使他们成为第一个推出兼容 EVM 的通用智能合约 ZK rollup 的团队

• 第一个启动 zkEVM 的团队可能会获得显著的先发优势，特别是如果以太坊交易费用的飙升将用户推离基础层

• zkSync 团队相信他们在降低硬件要求方面取得了重大突破，这样能更容易成为证明过程的积极参与者

• zkSync 的最终目标是通过他们的证明技术和蓬勃发展的 L3 生态系统驱动的意志，同时保持以扩展以太坊为焦点的目标

由 Matter Labs 于 2020 年推出的 ZkSync 1.0 是一种零知识 Rollup（ZKR），它依赖于以太坊的安全性，主要用于代币交换或转移。

它不支持智能合约，因此今天 zkSync 1.0 上可用的产品是有限的，导致相对于其他以太坊扩展解决方案的采用率较低。Matter Labs 团队希望通过在 10 月 28 日在主网上启动他们的 alpha zkSync 2.0（一个 zkEVM）来解决这个问题。

此外，Matter Labs 宣布将在 2023 年第一季度在测试网上推出 L3。

ZkSync 1.0

尽管缺乏对智能合约的支持，ZkSync 1.0 已经成功吸引了超过 5400万美元的资金。zkSync 上的大部分 TVL 是 ETH 和各种稳定币，因为网络上除了代币转移和交换之外缺乏实用性，而且 NFT 铸造未能获得显著的吸引力。

许多拥有 Rollup 资金的用户可能会为不可避免的代币空投做准备，这应该可以捕捉到 zkSync 经济的未来增长。Optimism 和 Arbitrum 是两个最受欢迎的以太坊扩展解决方案，鉴于它们已经支持智能合约这一事实，它们看到了更多的用户活动。

虽然日交易量不是一个完美的指标，但它却侧面反映了 zkSync 因为不支持智能合约而错过的交易量有多少。

zkSync 上的所有资金都在以太坊上的智能合约中得到保护，计算和存储在链下执行。交易被成批打包，在以太坊上结算，以在所有 L2 交易者之间平摊 Gas 成本，然后同时结算。

Rollup 中发生的所有状态更改都作为 Calldata（调用数据） 以及确保状态更改有效的 SNARK 证明发布到以太坊。发布到以太坊的调用数据使任何人都可以重建 L2 状态，并且这比将整个 L2 状态存储在 EVM 上要便宜得多。

与以太坊基础层相比，SNARK 能够以经济高效且及时的方式（即时确认和 15 分钟完成）验证大批量交易，并为 zkSync 提供巨大的交易吞吐量（例如 2000 tps 和 15 tps 的差距）。

ZKR 提供了许多优于其他扩展架构的优势。ZKR 继承了以太坊的安全性，而像 Ronin 网络这样的侧链则受制于其自身验证器集中的漏洞。

ZKR 也不依赖像 Optimism 或 Arbitrum 这样的欺诈证明，诚实的第三方必须监控区块中的恶意交易，并需要 7 天的挑战期来延迟资金提取。

此外，无论验证者集（validator set）的状态如何，ZKR 上的资金总是可以由其合法所有者取回，这与要求验证者安全监控提款的等离子链（plasma chains）的情况不同。

zkEVM 的机会

Scroll、zkSync 和 Polygon 之间的 zkEVM 竞赛一直在升温，但 zkSync 看起来会在 10 月底推出其主网 alpha 版。先发优势对于团队取得成功有着不小的潜在影响，这一点是无法忽略的。

MATIC 于 2017 年作为首批 EVM 兼容链之一推出，然后于 2021 年 2 月更名为 Polygon，并在以太坊交易费用飞涨的情况下吸引了大量 dApp 和用户。

通过重新部署类似的代码，将应用程序迁移到 EVM 兼容链相对容易。无论哪个团队率先推出 zkEVM，都可能会看到 dApp 部署和用户活动的爆炸式增长，从而像 Polygon 在 2021 年那样建立强大的网络效应。

如前所述，侧链的安全性不如 ZKR，而领先的 ETH L2、Arbitrum 和 Optimism 都是 Optimism Rollup，其官方桥需要 7 天的退出期。L2 的采用继续占据上风，L2 支付给以太坊的总 gas 一直呈上升趋势。鉴于 zkEVM 的安全性和 UX 优于其以太坊侧链和Optimism Rollup 同行，zkEVM 的推出将成为这一趋势的顺风车。

ZkSync 的愿景

ZkSync 2.0 的主网 alpha 发布将仅限于注册项目以参与公平发布的开发者。选择排除用户是为了确保 dApp 团队有足够的时间来确保其产品的顺利运行，保护用户免受任何错误的影响，并给 Matter Labs 团队更多的时间来迭代他们的 zkEVM 的设计。

值得注意的是，Starkware 的 Starknet 是另一个处于 alpha 阶段的通用 ZKR 智能合约链，Starknet 使用他们自己的针对 ZKR 优化的语言 Cairo，而不是专注于 EVM 兼容性。

然而，Wrap 正在开发一个 Solidity 到 Cairo 的