Omnichain zkRollup 最终将为成为跨链甚至是全链应用的最终落脚地。

撰文：康水跃

区块链行业目前有无数的 Layer-1 项目，包括比特币、以太坊、BNB Chain、Polygon、Solana、Avalanche、Near、Fantom、Tron。即便在这个竞争激烈的时代，具有不同特点和优势的 L1 新公链也在相继出现，其技术也在不断迭代。我们预计未来包括 Aptos 和 Sui 在内是几乎所有 Layer1 终将拥抱 zkEVM-based 的 zkRollup，未来终将出现 Omnichain zkRollup。

新公链 Aptos/Sui 及 Move 智能合约语言

截至 2022 年，众多新兴工链中最受关注的则是所谓的 Diem L1 公链，包括主打 Move 智能合约语言的 Aptos、Sui。Aptos/Su 是由曾在 Meta（原 Facebook）开发 Diem（原 Libra）的工程师发起，Diem 是 Meta 公司专有区块链及其稳定币的名称。这些项目都继承着 Diem 的许多功能，同时与现有 L1 公链在性能、编程语言和机制方面具有不同的特点。

Aptos/Sui 所采用的编程语言 Move 的特点在于，它完全重新定义了「模块结构」，使代币、NFT、智能合约和其他资产能够使用单一的数据模块进行简洁的模块化定义。这一点是以太坊的 EVM 无法比拟的 -- 任何使用 EVM 开发过的人都会知道在 Solidity 中使用模块结构（和嵌套结构）是多么困难。考虑一下经典的重入攻击（Re-entrancy Attack）。这已经困扰了 EVM 体系的项目很长时间了，往往造成几百万、上千万美元的损失，由于 Move 语言采用的是基于资源的方法，所以 Move 不可能出现重入攻击。

Aptos/Sui 未来是否能作为主流公链脱颖而出，不仅跟所采用的语言有关，更是取决于未来链上项目的想象力。如果说 ETH 是一条 4 车道，虽然车道不宽但是川流不息人来人往，偶尔还夹杂着对拥堵路面的抱怨，那么 Aptos/Sui 就像是 8 车道的高速路，用上了最好的柏油最先进安全的信号灯，但是好像没有太多的流量。对于公链来说，一方面是技术的创新，另一方面则是公链上的项目对于公链本身流量的反哺，没有应用的公链即使技术再好也很难脱颖而出。

为了获得 EVM 体系的巨大流量，Aptos 和 Sui 终将拥抱 EVM 体系以及 Layer2 网络，特别是拥抱最先进的 zkEVM-Based zkRollup。

如何在 Aptos/Sui 上建立 zkEVM-based zkRollup

长期而言，zkRollup 将成为一个最简洁、高安全性、高效的扩容方案。从原理上而言，一个 zkRollup 可以部署在任何网络上（只要这个网络可以验证这个 zkRollup 发送的证明），所以我们必然可以在 Aptos/Sui 上建立一个 zkEVM 的 zkRollup。那么，这么做有什么好处呢？首先是吸纳来自 EVM 的开发者和用户，对于开发者而言，将产品部署在 Aptos/Sui 上的一个高兼容性的 zkEVM-based zkRollup 就像将产品部署在以太坊上或其他 EVM 兼容的链上相同，他们无需修改太多代码与设计。这意味着有了 zkRollup 后，在 EVM 生态中的开发者可以近乎零成本的将他们的应用迁移至 Aptos/Sui 的生态中。此时，只要有一微小的激励，都能够吸引大批 EVM 体系中的成功项目迁移部署，为 Aptos/Sui 带来一大批生态与场境。另一方面，对于用户而言，zkRollup 让用户进一步享受更低（甚至是无感）的手续费，并且有机会在交互速度和交费模式上获得接近传统应用的使用体验。这样的愿景无疑是令人兴奋的，所以我们如何在 Aptos/Sui 上建立一个 zkEVM-based zkRollup 呢？我们来看一下 Fox Tech 设计的通用型 zkEVM-based zkRollup 模型。

图 1: 通用型 zkEVM-based zkRollup

首先，我们需要一个 Sequencer，负责接收 zkRollup 上的交易，通过一个带有 EVM 的节点执行交易，以保证 EVM 兼容性，在这个过程中，Sequencer 还会产生一个易于证明的执行过程记录（Trace)，并将其发送给证明打包者 zkProver。zkProver 是一个拥有 zk-EVM 的证明生产者，zk-EVM 终有完整的根据 EVM 设计零知识证明电路，能验证执行记录的过程是否正确（即是否和 EVM 的执行规则相符），最终使用一套零知识证明算法生成零知识证明，并将证明发送至 Aptos/Sui 上。最后，我们还需要在 Aptos/Sui 上部署几份合约：我们需要一个托管 zkRollup 资产的合约，这份合约会管理资产在 Aptos/Sui 和 zkRollup 之间的流动。我们还需要一个验证合约用以验证 zkProver 发送的证明以及一份治理合约，管理权限问题（如记录 Prover 和登记 zkRollup 中的资产类型）。

Web3 网络终将出现 Omnichain zkRollup

未来 Web3 网络的生态将不是以太坊一家独大，而是多公链并存分庭抗礼，资产跨链与跨链交互因此成为重要的需求。如果考虑传统的跨链桥，如果先不论安全性，那么如果只有 3 条链时只需要 3 个跨链桥，但是如果有 5 条链时就需要 10 个跨链桥，有 20 条链时就需要近 200 个跨链桥才能实现这些链两两之间的直接通信。

因此，一个 Omnichain zkRollup 最终将为成为跨链甚至是全链应用的最终落脚地。在上述通用型 zkEVM-based zkRollup 的基础上，接入另外一个 Ominichain Interoperation Protocol（这是未来五年里非常重要的赛道，玩家有 LayerZero、HyperLane、Way Network 等），从而形成了所谓的 Omnichain zkRollup。它将汇集来自全链的资产流动性，扮演全链执行层的角色。它通过零知识证明确保交易的正确型，享受与全链总和等价的安全性。我们设想一个 Omnichain zkRollup 上将实现来自全链的资产与信息的完全可编程交互性，用户可以通过在此上发送交易以发起这样的交互，这些交互会改变来自各个链上的账户的状态，Omnichain zkRollup 会以块为单位计算并在各个链上更新状态，并提交状态更新的证明。

Omnichain zkRollup 的愿景中包含着无限的可能性，人们可以在其上部署汇集所有链的去中心化交易所；可以创造汇集全链用户的 GameFi 和 SocialFi；甚至是更多元、更多样、更没有边界的应用都将成为可能。