ZkSync：一窥以太坊的未来

由 Matter Labs 于 2020 年推出的 ZkSync 1.0 是一种零知识汇总（ZKR），它依赖于以太坊的安全性，主要用于代币交换或转移。它不支持智能合约，因此今天 zkSync 1.0 上可用的产品是有限的，导致相对于其他以太坊扩展解决方案的采用率较低。Matter Labs 团队希望通过在 10 月 28 日在主网上启动他们的 alpha zkSync 2.0（一个 zkEVM）来解决这个问题。此外，Matter Labs 宣布将在 2023 年第一季度在测试网上推出 L3。

尽管缺乏对智能合约的支持，ZkSync 1.0 已经成功吸引了超过 5400万美元的资金。zkSync 上的大部分 TVL 是 ETH 和各种稳定币，因为网络上除了代币转移和交换之外缺乏实用性，而且 NFT 铸造未能获得显着的吸引力。许多拥有汇总资金的用户可能会为不可避免的代币空投做准备，这应该会抓住 zkSync 经济的未来增长。Optimism 和 Arbitrum 是两种最受欢迎的以太坊扩展解决方案，鉴于它们已经支持智能合约这一事实，它们看到了更多的用户活动。虽然每日交易量不是一个完美的指标，但它提供了一些关于 zkSync 因尚不支持智能合约而错过的活动量的洞察力。

 

 

zkSync 上的所有资金都在以太坊上的智能合约中得到保护，计算和存储在链下执行。交易被卷成一批，在以太坊上结算，以在所有 L2 交易者之间摊销天然气成本，然后同时结算。汇总中发生的所有状态更改都作为 calldata 以及确保状态更改有效的 SNARK 证明发布到以太坊。发布到以太坊的调用数据使任何人都可以重建 L2 状态，并且比将整个 L2 状态存储在 EVM 上要便宜得多。与以太坊基础层相比，SNARK 能够以经济高效且及时的方式（即时确认和 15 分钟完成）验证大批量交易，并为 zkSync 提供巨大的交易吞吐量提升（例如 ~2,000 和 ~15 tps分别）。

ZKR 提供了许多优于其他扩展架构的优势。ZKR 继承了以太坊的安全性，而像 Ronin 网络这样的侧链则受制于其自身验证器集中的漏洞。ZKR 也不依赖像 Optimism 或 Arbitrum 这样的欺诈证明，诚实的第三方必须监控区块中的恶意交易，并需要 7 天的挑战期来延迟资金提取。此外，无论验证者集的状态如何，ZKR 上的资金总是可以由其合法所有者取回，这与要求验证者安全监控提款的等离子链的情况不同。

Scroll、zkSync 和Polygon之间的 zkEVM 竞赛一直在升温，但 zkSync 看起来会在 10 月底推出其主网 alpha 版。很难低估先发优势对团队首先越过终点线的潜在影响。MATIC 于 2017 年作为首批 EVM 兼容链之一推出，然后于 2021 年 2 月更名为 Polygon，并在以太坊交易费用飞涨的情况下吸引了大量 dApp 和用户。通过重新部署类似的代码，将应用程序迁移到 EVM 兼容链相对容易。无论哪个团队率先推出 zkEVM，都可能会看到 dApp 部署和用户活动的爆炸式增长，从而像 Polygon 在 2021 年那样建立强大的网络效应。

 

 

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

 

ZkSync 2.0 的主网 alpha 发布将仅限于注册项目以参与公平发布的开发者。选择排除用户是为了确保 dApp 团队有足够的时间来确保其产品的顺利运行，保护用户免受任何错误的影响，并给 Matter Labs 团队更多的时间来迭代他们的 zkEVM 的设计。值得注意的是，Starkware 的 Starknet 是另一个处于 alpha 阶段的通用 ZKR 智能合约链。Starknet 使用他们自己的针对 ZKR 优化的语言 Cairo，而不是专注于 EVM 兼容性。然而，翘曲正在开发一个 Solidity 到 Cairo 的转译器，它可以将其放入与 zkSync 的 zkEVM 类似的存储桶中。Cairo 的开发人员工具、最佳安全实践和开源库将远远落后于 Solidity。此外，Polygon于 10 月 10 日在测试网上启动了他们的 zkEVM，尽管 zkSync 已经在测试网上运行了大约 9 个月。

ZkSync 通过将以太坊上的高级智能合约源代码 Solidity 编译为 Yul 来实现 EVM 的兼容性；一种中间语言，可以编译成不同虚拟机的字节码。然后使用LLVM编译器框架将 Yul 代码重新编译为为 zkSync 的 zkEVM 设计的自定义、电路兼容的字节码集。这种方法绕过需要通过直接从更高级别的代码开始对 EVM 执行中的所有步骤进行 zk 证明，从而在保持高性能的同时更容易分散证明过程。未来可以通过构建新的编译器前端来添加对 Rust、Javascript 或其他语言的支持，从而为其 zkEVM 架构增加灵活性。需要指出的是，zkEVM 与 EVM 兼容，并且在字节码级别上并不等同。因此，虽然几乎所有以太坊智能合约代码都可以直接移植到 rollup 中，但在一些异常情况下，一些代码需要更改并可能重新审核，以及调试工具如果不进行细微调整就无法兼容。

 

 

帐户抽象

在 zkEVM 中实现的对以太坊默认行为的主要增强是帐户抽象的想法。以太坊的核心架构支持两种类型的账户：外部拥有账户（EOA），即由私钥控制的公共地址，可用于签署交易（例如 Metamask 钱包），以及根据底层代码操作且无法发起的合约账户交易。这里的主要目标是将持有代币的账户与授权交易的签名者分离。

zkSync 的 zkEVM 中的 EOA 当然能够发起交易，但也能够像以太坊上的智能合约账户一样在其中实现任意逻辑。这就是所谓的“帐户抽象”，与EIP-4337非常相似，只是稍作修改，为用户提供更流畅的体验。可以补偿其他账户交易的账户称为 Paymasters。在实践中，Paymaster 账户应启用协议以代表其用户以 ETH 或各种 ERC-20 代币支付交易费用。随着用例的发现，帐户抽象可以为钱包提供商开辟一条新的创新途径。值得注意的是，这是一个仍在迭代中的新颖想法，用户应谨慎行事。

zkEVM 竞赛是目前 L2 的主要叙事，但值得商榷的是 zkSync 的 zkPorter。虽然 zkEVM 将为以太坊带来一个数量级的扩展，但仍然需要 ZKR 将数据发布到以太坊基础层，这降低了它们的潜在规模。zkPorter 的引入将 zkSync 的 zkEVM 牢牢地置于意志范畴，这意味着用户可以决定将他们的数据存储在链上还是链下。优先考虑安全性而不是吞吐量和极低交易费用的用户将选择在汇总上进行活动以保证数据可用性。优先考虑吞吐量和降低交易费用而不是安全性的用户将在 zkPorter 上进行他们的活动，其中数据发布并在链下可用。

所有 zkPorter 交易数据都将发布到 Guardian 网络，这是一个由最终的 zkSync 代币保护的权益证明网络。监护人将通过签署区块来跟踪 zkPorter 端的状态，以确认数据可用。恶意行为的监护人将被削减，这为数据可用性提供了加密经济保证。与 Optimistic rollups 相比，如果数据被移出链外，恶意操作员将能够窃取 rollup 上的任何资金，而邪恶的监护人只能冻结 zkPorter 状态，这反过来又会冻结他们自己的资金。此外，购买所有非质押的 zkSync 代币来发动此类攻击将花费大量资金，并在此过程中导致重大滑点。

zkSync 在 ZKR 和 zkPorter 方面采用的双账户方法将为用户提供一个全方位的目的地来进行他们的活动，同时保持高安全性保证。ZKR 和 zkPorter 双方的智能合约和账户将完全可以相互组合。例如，Aave 可以在 ZKR 上启动他们的合约代码以获得最大的安全性，但用户仍然可以通过他们在 zkPorter 端的账户与合约进行交互，以实现更低的费用和更高的吞吐量。zkPorter 的最终设计仍在进行中，因此计划可能会发生变化。

 

第 3 层

虽然没有太多信息可供公众使用，但 Matter Labs 最近宣布了他们的目标，即在 2023 年第一季度推出由其 zkEVM 提供支持的 Layer 3。被称为“机会”的 ZKR L3 很可能是有史以来第一个推出的 L3在测试网上。我们的愿景是拥有无数个完全可定制的“HyperChains”，它们都通过本地桥梁相互连接，从而将安全互操作性的理念变为现实。Pathfinder 将是高度实验性的，但它是新区块链扩展架构研发的合乎逻辑的下一步。

ZkSync 希望他们在不牺牲性能的情况下降低参与证明过程的硬件要求的突破将使其成为行业标准。这会将他们的 ZKR、zkPorter 和所有其他 zkSync L3 放在同一条电路上，并消除反复被利用的桥接攻击向量。尽管这一愿景雄心勃勃，但它将在交易成本和速度、开发人员和用户体验、互操作性和安全性方面提高 10-100 倍。剩下的主要问题有两个：在字节码级别上不等同于 EVM 的 L2 能否成为行业标准，竞争用户意识份额的 L2 和 L1 团队是否会抛开差异，将区块链扩展到大众？

ZkSync 长期以来一直是零知识密码学的先驱，他们在扩展以太坊的道路上继续开拓。他们在 10 月底之前在主网上推出了第一个 zkEVM，这可以为他们提供显着的先发优势，并使他们能够建立强大的网络效应。他们在 zkPorter 和 ZKR 方面使用可互操作帐户的两管齐下的方法是一种独特的策略，对开发人员和最终用户都有利。Matter Labs 为所有链创建标准证明者的愿景非常雄心勃勃，但如果他们实际上开发了迄今为止最先进的证明者，则可能会取得丰硕成果。这将为具有合理主权、高性能和安全互操作性的 L3 生态系统打开大门。与他们的策略相关的主要风险是他们为 zkEVM 选择的底层架构：在高级智能合约代码级别的以太坊兼容 ZKR，而不是字节码级别的 EVM 等效性，或者通过创建一种新的编程语言并完全消除 EVM 兼容性. 有团队在研究上述所有三种策略，只有时间才能证明谁做出了正确的赌注来扩展以太坊。