当前零知识扩展生态的概述

前言

在过去的几个月里，有关零知识项目的融资、开发和应用程序都加速浮出水面。许多资深的加密专家和机构，以及越来越多杰出的加密技术贡献者相信，当 ZK Rollups（ZKRs）技术大规模运行时，加密生态系统乃至整个世界，都将获得基于该技术的实质性进步。实现 ZKRs 的全面发展还需 5 -10 年时间，但在接下来的几个月里，我们将看到完全兼容 ZKRs 的区块链应用程序涌现。

这篇文章旨在回顾最近 ZKRs 生态的发展，明晰当前 ZK 项目的生态位置，以及了解一些项目 Token 发行的潜在时间线。本文没有解释、区分这些协议的技术细节，因为这需要对各项目方如何权衡在数据可用性、有效性、安全性、自动验证、去中心化程度和许多其它微小性能等方面做出解释，以及需要对每个协议的技术差异进行细致的讨论。

ZK 概述

Rollup 扩展的重点是减少区块链上的费用，这对将 L1 区块链技术扩展到数亿甚至数十亿用户规模来说至关重要。虽然使用欺诈证明（Fraud Proofs）的 Optimistic Rollups（Arbitrum/Optimism）正一定程度上的在解决这个问题，但长远来看，使用链下计算的 ZKRs 扩展是最佳选择。

Vitalik 在它的研究结论中说到：'从中长期来看，随着 ZK-SNARK 技术的改进，ZK Rollups 在所有情况下都将胜出。'

ZKRs 实现了与 Optimistic Rollups 相同的目的：为用户提供隐私选择的同时增加可扩展性。正如 EthHub 上所说：' ZK 通过减少交易中持有的数据量，来减少验证区块时需要的计算资源和存储资源，这将对整个数据生成零知识' 。通俗来说，即 ZK 技术允许用户证明他们拥有或知道某些东西，而无需提供任何关于该东西是什么或包含什么的信息。

加拿大引人注目的金融去平台化事件，以及俄罗斯入侵乌克兰引发的经济制裁，使人们对隐私交易的热情和需求再次兴起，ZK 技术备受关注。

图片来自 Matter Labs

近期 ZK 公告回顾

StarkWare 建立的 StarkNet 于 2 月 22 日完成启动，并将在下半年转向由社区控制。

Immutable X 以 25 亿美元的估值筹集了 2 亿美元的资金。

GameStop 与 Immutable X 合作建立了 NFT 市场，并宣布为此生态系统提供 1 亿美元的基金。

Aleo 是一个 ZK 技术支持的区块链，2 月 7 日以 14.5 亿美元的估值融资 2 亿美元。

zkSync 开发团队 Matter Labs 在 2021 年 11 月筹集了 5000 万美元，并于 2 月 22 日在以太坊的测试网推出了他们的 zk-EVM 。

2. Matter Labs 和 BitDAO 宣布成立一个 2 亿美元的 DAO，继续为 zkSync 生态系统的扩张和其核心基础设施的建设服务。
4. Polygon 以 4 亿美元的价格收购了 Mir Protocol 。
6. Polygon 之前在 8 月以 2.5 亿美元收购了另一个 ZK Rollup 扩展解决方案 Hermez Network，且合并了他们的代币 MATIC 和 HEZ，共计以 6.5 亿美元购买了该 ZK Rollup 协议。
8. Polygon 在 2 月 7 日完成了 4.5 亿美元的融资，以支持 ETH 扩展性的提升和 ZK 技术的运作。
10. 兼容 ZK 技术的 L1 Espresso经历了前期勤劳的开发，在 3 月 6 日脱颖而出，已融资 3200 万美元。
12. Aztec 网络在 2021 年 12 月获得 1700 万美元的 A 轮融资。
14. Argent 是 ETH DeFi 移动钱包，推出了由 zkSync 驱动的 L2 钱包，其等待名单上的人数超过50万。

当前玩家

• StarkWare— 构建了 StarkNet 和 StarkEx 。

• StarkNet
  • StarkNet 是一个基于 ZK-STARKs 的 L2 ZK-Rollup，于 2021 年 11 月 29 日首次登陆 ETH 主网，该团队一直在不遗余力地推出新的功能和更新。

• 2 月 23 日，StarkNet 的最新版本 StarkNet Alpha 问世，该扩展方案可直接用于应用程序的构建和交易。你可以查看 StarkNet 的网站以了解其生态系统当前的概况 [1] 。

• 最近，StarkNet 宣布了与 Aave、Opera Browser、DeversiFi 和 Argent 的合作

• Token 发行：预计今年下半年将向早期用户空投。

• StarkEx
  • StarkEx 是一个通过 Cairo 编程语言构建的可扩展虚拟机，自 2020 年 6 月部署到主网上以来，已被 DeversiFi、Immutable X、dYdX 和 Sorare 采用。

• 根据 StarkWare 披露的信息， 3 月 9 日对 StarkEx 使用情况的最新数据统计为： 11 亿美元的 TVL，1.23 亿笔交易，以及 4620 亿美元的累计价值。

• Token 发行：' 最终由社区管理 '。预计紧随 StarkNet Token 在今年下半年推出之后。StarkEx Token 也将对早期用户进行空投。

• zkSync
  • zkSync 是一个基于 ZK-SNARKs 的 ZK Rollup，由 Matter Labs 开发，于 2020 年 6 月上线。2 月 22 日 zkSync 宣布 zkSync 2.0 已经上线，并在以太坊测试网上实现了第一个 EVM 兼容的 ZK Rollup。

• zk-EVM 的意义正如团队的自述： '去年5月，我们提出了对 zkSync 的 zk-EVM 愿景，这是一个无需许可的、图灵完整的 ZK Rollup，将允许开发人员使用 Solidity 语言在一个低费用、高度可扩展的 L2 环境中构建和部署去中心化的应用程序。'

关于 zkSync 2.0 当前功能的其它细节

• 关于 zkSync 的更多信息，你可以查看他们用 ZK 解决方案建立的项目生态系统 [2] ，同时可参考 Dune Analytics zkSync 仪表板 [3] ，其中有关于交易、TVL、存款和提款到 zkSync 等信息的概述。

• Token 发行：根据的官方文件，确认会有代币存在，但无法预计上线时间。

• Immutable X
  • 由 StarkWare 的 StarkEx 支持，$IMX 是 ZK 技术支持的领先协议之一，拥有专注于游戏和 NFT 的应用程序。$IMX 对自己的描述是：' 在交易市场、游戏和应用程序中，体验零 Gas 费、即时交易、以及碳中和的 NFT，无需妥协'。

• 建立在 $IMX 之上的产品包括 Gods Unchained、Illuvium（$ILV）和 TikTok 的 Top Moments 系列。

• GameStop x Immutable X ： 2月3日，GameStop 宣布将基于 $IMX 建立 NFT 市场，设立 1 亿美元的基金专门用于支持在该生态系统内的游戏开发。GameStop 还表示，他们的计划包括在该市场上创建 ' 数十亿的低成本的、可轻松购买和出售的，游戏内部资产'。

• $IMX 已存在多年，完成了绝大部分必要的重型开发和提升，得以支撑游戏未来的规模，并支持允许 ZK 的 NFT 。

• Polygon（$ MATIC）
  • 目前有三个独立的 ZK Rollup 扩展方案正在开发中:Polygon Miden、Polygon Zero、Polygon Hermez 。

• Polygon 在 2021 年 8 月的博客中 [4] ，介绍了他们对 ZK 技术的承诺，对该领域 10 亿美元的财政拨款，以及对 ZK 技术的总体概述。

• Polygon 致力于通过 ZK 支持的解决方案来扩展 ETH ，从他们最近价值约 6.5 亿美元的收购中可得到证明。

• Espresso Systems
  • 3 月 6 日，Espresso经历了前期勤劳的开发，脱颖而出。

• Espresso 将自己描述为：' 一个结合了 POS 共识和 ZK Rollup 机制的 L1 区块链系统 '，将带来 '单一扩展性和隐私解决方案 '。

• 发布了 CAPE（Configurable Asset Privacy for Ethereum，以太坊可配置资产隐私），一个 EVM 应用程序。在此之上，用户可选择允许谁看到资产的所有权细节和资产的变动，并能够在 CAPE 内打包和解除当前的 ERC-20 Token。

• CAPE 将在未来几周部署到 Rinkeby 测试网，进一步阐释他们的 ZK 扩展解决方案。

• Aztec Network
  • 一个基于 zk-SNARKs 的 L2 ZK-Rollup 扩展解决方案，' 作为 ERC20 Token 转移和其它 DeFi 互动的隐私保护'。

• zk.money 是 Aztec 建立的核心应用程序，允许 MetMask 用户隐秘地发送 DAI 和 ETH，该团队希望今年晚些时候实现资产的全钱包级隐私。

• 目前部署在 Goerli 测试网。

• Aleo
  • Aleo 是一个支持 ZK 的隐私层区块链，' 在链外处理交易，然后由网络节点进行验证（而不是执行和重新执行）' 。

• Aleo 在 2 月 7 日的 B 轮融资中筹集了 2 亿美元，目前处于测试网阶段，计划于今年三季度开始着手主网推出。

结论

• 零知识证明处于月球数学、密码学和技术创新的前沿，推动我们的未来走向全球性的、24H / 7D 的、支持隐私的低费用交易。该领域目前的两个领导者是 zkSync 和 StarkWare （StarkEx / StarkNet），他们都已确认在今年某个时候发行 Token。

• 从上面各项目的融资轮次和当前的估值来看，市场对 ZKRs 的需求是巨大的。期待已久的 L2 和下游效应终将发生，因为这些协议和其它 L2s 都激励用户和流动性资金的迁移，这为其它协议施加了代币压力。虽然我们需要几个月的时间才能在微观层面上看到这一点（在宏观层面上则还需要几年），但 ZK 技术很可能会改变区块链行业的未来。

• 对更深入的对技术和实际应用的了解，建议阅读以下链接：
  • 文章 [5] 是Supercycled的一篇关于 ZK Rollup 的很棒的帖子，特别讲到了两个主要竞争对手 zkSync 和 StarkWare 之间的差异。
  • 文章 [6] 来自于 Espresso 的联合创始人Packy McCormick 和 Jill Gunter，介绍了 ZKRs 是什么和能实现什么的。
  • 文章 [7] 是EthHub 上介绍关于 ZK-SNARKs 和 ZK-STARKs 之间的区别。
  • 文章[8] 由Suzuha 解释了 ZK 允许的突破性潜力。
  • Vitalik 的博客 [9] 总是一个很好的资源，他曾多次写过关于 ZK 技术和 Rollup 的文章。
  • 文章[10] 是Polygon 对 Optimistic 和 ZK rollups 的详细分析。

本文涉及的可供阅读的链接：

[1] https://www.starknet-ecosystem.com/

[2] https://ecosystem.zksync.io/

[3] https://dune.xyz/kylin/Zksync

[4] https://blog.polygon.technology/the-polygon-thesis-strategic-focus-on-zk-technology-as-the-next-major-chapter-for-polygon-1b-treasury-allocation/

[5] https://twitter.com/_supercycled/status/1469242551836332032?s=20&t=zxECCXwItMt5u9CDsYjwwQ

[6] https://www.notboring.co/p/zero-knowledge?s=r

[7] https://docs.ethhub.io/ethereum-roadmap/layer-2-scaling/zk-starks/#differences-between-zk-snarks-and-zk-starks

[8] https://twitter.com/dystopiabreaker/status/1499864241108844544?s=20&t=7cfBomJMpNHQxGleoxWQzg

[9] https://vitalik.ca/

[10] https://blog.polygon.technology/the-polygon-thesis-strategic-focus-on-zk-technology-as-the-next-major-chapter-for-polygon-1b-treasury-allocation/