基于零知识证明的全链互操作性协议 zkOmnichain 是区块链与 Web3 的圣杯，其重要性非同一般。

撰文：康水跃，Fox Tech 与 Way Network 创始人、丹阳投资董事长

前言：zkRollup 属于 Layer2 赛道，旨在解决以太坊拥堵问题；zkOmnichain 则属于 Layer0 赛道，旨在建造整个 Web3 网络。但由于 Ethereum 体系的声量巨大，大家的注意力都集中在 zkRollup 上，而忽视了 zkOmnichain。基于零知识证明的全链互操作性协议 zkOmnichain 是区块链与 Web3 的圣杯，其重要性非同一般。

如果以太坊本身的市场占有率能长年维持在 70% 以上，那么 Omnichain 本身就是一个伪概念。然而，以太坊不可能永远维持在 70% 的市占率。下图是 2020 年 8 月到 2023 年 2 月份以太坊 TVL 占比走势。以太坊最新的市场占有率是 59.24%。虽然 Web3 的链层基础设施会长时间保持“一超多强”的格局，且以太坊本身技术升级不断，但是随着 zkRollup、opRollup 这类以太坊 Layer2 对 Layer1 的流量吸收，随着 BNB Chain、Polygon 等挑战者的强势增长，随着 Atpos、Sui 等新公链的迅速崛起，随着 Cosmos 体系的星火燎原，我们将会在 2025 年之后看到以太坊本身的市场份额长时间低于 50%。

图 1: 2020 年 8 月到 2023 年 2 月份以太坊 TVL 占比，数据来源：https://defillama.com

2020 年 DeFi 夏天之后的几乎所有应用都是通过最原始的各链逐一单独部署实现多链状态。这种简单粗暴的方式不仅给开发者在部署与运营上带来不小的麻烦，而且还会造成流动性在各条链上严重割裂、相同 Token 的链间价格差异巨大两大问题。

Application 实现全链覆盖的路径除了上述原始方式之外，有以下三条主要路径：第一条路径也是第一代跨链产品的常见路径，即 Application 经由一条居间共识协议与起始链、目标链进行互操作，Appplicatio 通常不部署在这条居间链上，典型的代表是自成体系的 Cosmos、Polkadot，以及 Multichain、Celer、Wormhole、Thorchain、Axelar；第二条路径是通过 Optimistic 机制来完成与其余各链的互操作。这类路径细分下来的典型代表，有采用 Optimistic Verification

& Fraud Proofs 的 Synapse、Nomad、Hyperlane，以及采用 Optimistic Oracle & None Proofs 的 LayerZero、Across；第三条路径是，Application 通过基于零知识证明的全链互操作协议 zkOmnichain 与其余各链进行互操作，典型的代表是从 Cosmos 体系走出来的 Electron、Polymer、Succinct，专注于 NFT 跨链的 Overearlity，以及致力于提供通用解决方案的 Way Network。

图 2: 历代跨链协议的比较

最后还有一条路径是，Application 部署到一条全新的智能合约公链之后，通过这条链与其余各条链进行互操作，典型代表是 ZetaChain 和 Map Protocol。这是一条开发与运营都很重的路径。首先要解决与第一代产品一样会面临的 EVM 公链跨异构链时的账本对齐难题，其次因为与现有智能合约公链功能重叠，所以必然需要与它们直接竞争抢夺 Application 资源。但不管是走哪条路径，都在做同样一件事，即将单链应用转化为全链应用。

第一代中间链（共识协议）模式，验证节点多了则慢，少了则不安全，且节点运营特别重，难以成为担当 Web3 Network Fabric 大任。这样一来，我们就只能将注意力放在非中间链（共识协议）模式，重点考察第二代产品模式 opOmnichain 与第三代产品模式 zkOmnichain。

图 3: OP 与 ZK 全链互操作性协议的比较

全链互操作性协议 Layer0 赛道像以太坊扩容方案 Layer2 赛道一样，形成了 OP 和 ZK 两大类解决方案。我们首先来看 OP 方案里头的 Optimistic Oracle 子模式，该模式下的 LayerZero 使用 Chainlink 预言机，而 Chainlink 项目方也有自己的跨链互操作性协议 (Cross-Chain Interoperability Protocol, CCIP)，两个项目方既合作又竞争。Across 则使用 UMA 作为预言机，而 UMA 与 Across 是属于同一个团队的两个项目。

这类方案无法实现真正意义上的去中心化，且不具备共享安全性 Shared Security。Shared Securit 是指在给定基础设施上运行的特定 Token 或 Application 不能自由选择其安全模型，而必须遵守基础设施提供的任何安全需求。所有的 Layer1、Layer2 都具备 Shared Security，Layer0 也应当具备 Shared Security，而不能是 Isolated Security，因为只有这样，才能为终端用户提供统一的底层安全保障，而无论他们使用的是哪个应用程序，无论应用程序的内部安全策略是什么。基础设施里“基础”二字即是这个意思。

此外，上述 Optimistic Oracle 有着严格的信任假设，终端用户必须相信 Oracle 不会胡乱验证。此时，Oracle 即是该模式下的 A Third Trusted Party。用户必须相信 Oracle 与 Relayer 不会合谋做恶盗取用户资产。而且，这类方案并不会产生任何欺诈证明 Fraud Proofs 或者有效性证明 Validity Proofs 也没有链上验证 Proofs 之说。种种弊端与问题，L2BEAT、Nomad、Way Network 等团队均曾撰文指出，这里不再讨论。

我们接下来看 OP 方案里头的 Optimistic Verification 子模式，这种模式比上述 Optimistic Oracle 更加严谨审慎，会产生 Fraud Proofs。消息在源链上乐观地签名，由链下 Validator 组成的网络负责在强制执的乐观窗口期 Optimistic Window (Timeout Period) 内向目标链提交欺诈证明。在这个窗口期内，欺诈消息可能会受到挑战。如果注意到任何错误，Validator 可以检查和否决消息并禁止任何欺诈交易。相比于第一代产品的外部验证网络依赖于诚实多数假设而言，Optimistic Verification 依赖于单一诚实验证者假设。乐观验证只需要有一个发起 Change 的诚实 Validator 就能守卫系统的安全。但 Tradeoff 正是这个窗口期带来的延迟。好在这个 Latency 不像 opRollup 那么长，不用等 7 天，而是等几十分钟，比如 Nomad 就设置了 30 分钟的 Timeout Period。

我们最后再来看最重要的 zkOmnichain，该模式属于 Zero-Knowledge Verification，具备更好的鲁棒性 Robustness。zkOmnichain 就像 zkRollup 一样，也会产生有效性证明 Validity Proofs。其中很重要的环节是调用 Sum-Check Protocol 模块，在链下做证明 (Sum)，在链上做验证 (Check)。经过这种非常严谨的数学与密码学验证，来实现完备性 Completeness 与公正性 Soundness。至于简洁性 Succinctness，则可以采用 Groth16 来进一步压缩 Proof Size。例如，Way Network 的 zkSpark 所产生的原始 Proof Size 大约是 100KB，但经过 Groth16 压缩之后可以降至 130B。

图 4 : Way Network zkPark Sum-Check Protocol

正是有了 zkOmnichain 这种“强密码学”的全链互操作性协议，我们终于能够实现基础设施产品的最高标准，即去掉任何第三方受信主体的去信任化 Trustless，去掉任何中心特权主体的去中心化 Decentralized。随着 zkOmnichain 的出现，我们终于看到了从“链”变为“网”的可能性，看到了建造一个能支持大规模全链应用部署到各条智能合约公链的基础设施 Layer0 的可行性。 

基于 zkOmnichain 的全链应用会带来哪些变化？首先是去掉了第一代跨链产品里头的居间链 Intermediate Chain，消减了昂贵验证节点运营成本；其次是去掉了 Intermediate Token 居间代币以及 Wrapped/Pegged Token 衍生代币，用户无需信这些代币就可以完成 Native Token 跨链交易。最后是去掉了第三方受信主体 Oracle 预言机，这一举措的意义有助于提高全链网络的韧性。基于 zkOmnichain 的全链应用，既不依赖于居间链，又不依赖于预言机，同时也没有居间代币与衍生代币。它以严密的数学、密码学进行有效性证明，并在链上做验证的方式来实现去中心化 Decentralized 和去信任化 Trustless 的目标，实现像比特币网络一样的 peer-to-peer 全链通讯。

从 Singlechain 到 Multichain 再到 Omnichain，这是 Web3 大浪潮的基本走向，届时全链应用将不再像现在一样稀稀疏疏，而是将普遍存在。基于 zkOmnichain 的应用有着更高的跨链安全性，更低的通讯成本，以及更快的通讯速度，因此也就更容易获得成功。

图 5 : 基于 zkOmnichain 的全链应用

过去一段时间，旨在将各条区块链连接成名副其实的 Web3 的全链互操作性协议层出不穷。对照 Web2 的语境， Cosmos 相当于构建了一个 Local Area Network (LAN) ，Way Network 则致力于构建 Wide Area Network (WAN) 乃至 Internet。判断该类产品好坏的标准，不在于该协议能接入的链的多少或者其他东西，而在于接入方式是否具备中本聪共识，即 Decentralized 和 Trustless，因为这是“1”，其他是“0”，没有 1，再多的 0 都没有用。

结语：可以预见，全链应用将在未来三年里逐步取代单链 / 多链应用成为 Web3 应用的主流部署模式，而 zkOmnichain Interoperability Protocol 是实现这一进程的关键技术手段和基础设施。很快，我们将看到基于 zkOmnichain 的全链 AMM 应用、全链 Lending 应用、全链 SocialFi，全链 NFT 等等如雨后春笋不断冒出。