本文来自Substack，原文作者：tolks，由 Odaily星球日报译者 Katie 辜编译。
在过去的几个月里，借助零知识证明的区块链扩容方案正加速涌现，资金投入和开发进度也大幅提升。
不少从业者坚信当 ZK-rollup（ZKRs）技术大规模落地时，加密生态系统将取得进步。虽然全面实施到链上或许还需要 5-10 年的时间，但在接下来的几个月里，我们将看到完全兼容的 ZKR 技术支持链上应用。
本文先带大家回顾近期零知识证明领域的发展，一览当前 ZK 主要玩家的定位、代币情况及发展脉络，借此，我们可以明显感知到 ZK 未来已来。
ZK 概述
Rollup 扩容方案专注于降低链上的费用（主要指以太坊），对于将 L1 扩展到数亿级别用户来说至关重要。虽然使用欺诈证明（fraud proofs）的 Optimistic Rollups（Arbitrum、Optimism）现在是较佳选择，但使用链外计算的 ZKRs 将是未来的最佳选择。
V 神曾总结道：“随着 ZK-SNARK 技术的改进，从中长期来看，ZK rollups 将脱颖而出。”ZKRs 实现了与 Optimistic rollups 相同的目标，同时为用户提供了隐私选项并增加了可扩展性。正如 EthHub 所述，“ZK 通过减少交易中持有的数据量，减少了验证区块的计算和存储资源，不要求我们对所有数据有任何了解。”
简单来说，ZK 技术允许用户证明他们拥有或知道某些东西，而不需要提供任何关于该东西是什么或有多少的信息。在俄乌战争引发的经济制裁后，ZK 技术也备受关注，人们对隐私交易的热情和需求正在增加。
来源：Matter Labs
ZK 技术落地新进展
这小半年，ZK 领域飞速发展，重要事件包括：
3 月 10 日，StarkWare（L2 解决方案）正进行 1 亿美元融资，估值 60 亿美元。此前，StarkWare 曾在 2021 年 11 月融资 5000 万美元，估值 20 亿美元。
3 月 8 日，智能合约钱包 Argent 宣布全面开放 Layer 2 账户注册，注册候补名单中的超过 50 万用户可以访问其以太坊 zkSync 网络 Layer 2 钱包。
3 月 7 日，Immutable 融资 2 亿美元，估值 25 亿美元。
3 月 7 日，Web3 应用程序扩展和隐私系统 Espresso Systems 完成 3200 万美元融资，其正在开发 Layer1 基础设施，通过将 PoS 共识协议与 zkRollup 机制相结合，以更高效的方式捆绑多笔交易，从而提供快速、低费用的交易。
2 月 22 日，zkSync 开发商 Matter Labs 在以太坊的测试网推出 zkEVM，2021 年 11 月其融资了 5000 万美元。
2 月 22 日，StarkWare 构建的 StarkNet 发布，并将在下半年转入社区运行。
2 月 7 日，Polygon 获得了他们最近一轮 4.5 亿美元的融资，将扩大其 ZK 技术业务。
2 月 7 日，ZK 技术区块链公司 Aleo 融资 2 亿美元，估值 14.5 亿美元。
2 月 3 日，GameStop 与 Immutable X 合作建立他们的 NFT 市场，并宣布为他们的生态系统投资 1 亿美元。
1 月 7 日，Matter Labs 和 BitDAO 发起了一个 2 亿美元的 DAO，继续为 zkSync 生态系统扩展和核心基础设施建设。
2021 年 12 月 10 日，Polygon 以 4 亿美元收购零知识技术开发商 Mir，将其更名为 Polygon Zero。Polygon 在去年 8 月还以 2.5 亿美元收购了 Hermez Network，这是另一个 ZK rollup 扩展解决方案，合并了他们的代币 MATIC 和 HEZ。
2021 年 12 月 16 日，Aztec Network 完成 1700 万美元 A 轮融资。
ZK 系 7 位主要玩家
1. StarkWare 研发的产品主要有： StarkNet、StarkEx。
（1）StarkNet
StarkNet 是 ZK-Rollup L2 解决方案，去年 11 月 29 日其使用 ZK-STARKs 的方案在以太坊主网发布。
2 月 23 日，StarkNet 宣布其最新版本 StarkNet Alpha，称该扩展解决方案已经准备好用于应用程序构建和交易。最近，StarkNet 宣布与 Aave、Opera Browser、DeversiFi 和 Argent 等协议建立合作关系。
代币：预计在今年下半年空投给早期用户。
（2）StarkEx
StarkEx 是一个通过编程语言 Cairo 构建的可扩展性引擎，2020 年 6 月起在主网上运行，目前被 DeversiFi、Immutable X、dYdX 和 Sorare 采用。
根据 StarkWare 的数据，StarkEx 从 3 月 9 日起，TVL 达 11 亿美元，交易笔数为 1.23 亿，累计价值 4620 亿美元。
代币：将最终由社区运行。但我假设这是在 StarkNet 代币上线后不久，大概也是在下半年空投给早期用户。
2. zkSync
zkSync 是由 Matter Labs 开发、使用 ZK-SNARKs 的 ZK-rollup，自 2020 年 6 月以来一直在运行。2 月 22 日，zkSync 宣布其 2.0 已经上线，并且是在以太坊测试网中第一个兼容了 EVM 的 ZK Rollup。“去年 5 月，我们展示了 zkSync 的 zkEVM 愿景，一个无需许可、图灵完备的 ZK Rollup，它将允许开发者使用以太坊本地编程语言 Solidity 的高度可扩展的 L2 环境，以低成本构建和部署 DApp。”
下面是关于 zkSync 2.0 当前特性的更多细节：
（1）支持 ECDSA 签名。与第一个版本的 zkSync 和大多数 ZK rollup 不同，注册用户的私钥不需要特殊操作。在 L2 中，任何帐户都可以使用 L1 使用的私钥来管理。
（2）支持 Solidity 0.8.x。部署现有代码库，几乎不需要任何更改。
（3）Web3 API，完全兼容以太坊。这允许与现有的索引器、浏览器等无缝集成。
（4）支持以太坊加密原语。zkSync 本地支持 kecak2569 sha256。
（5）安全帽插件。允许开发者在 zkSync 上轻松测试和开发智能合约。
（6）LI 至 L2的智能合约消息。允许开发者将数据从以太坊 L1 传递到 zkSync 上的智能合约，提供运行各种智能合约所需的信息。
关于 zkSync 的更多信息，可以查看其项目生态系统与 ZK 解决方案，并参考 Dune Analytics 的 zkSync 交易数据、TVL、存取 zkSync 的其它信息。
根据官方文件，zkSync 将发行代币，但具体时间未知。
3. Immutable X（IMX）
由 StarkWare 的 StarkEx 支持，Immutable X 是 ZK 技术支持的领先协议之一，具有游戏和 NFT 领域应用程序。Immutable X 称自己“坚持为市场、游戏和应用程序提供零 gas 手续费、即时交易、碳中和的 NFT”。Immutable X 已成立多年，并完成了大量的开发和优化。
基于 IMX 的产品包括 Gods Unchained、Illuvium（$ILV）和 TikTok 的热门系列。
2 月 3 日，GameStop 宣布将在 Immutable X 的基础上创建 NFT 市场，并投资 1 亿美元用于支持其生态系统内的游戏开发。
Immutable X 代币为 IMX。
4. Polygon（MATIC）
Polygon 目前在开发三个独立的 ZK-rollup 扩容方案：
（1）Polygon Miden：一个基于 stark 的zk-Rollup，支持任意智能合约。
（2）Polygon Zero：提供 Rollup 和 Validium 模式，带来更高的吞吐量和更低的费用。
（3）Polygon Hermez：一个开源的 zk-Rollup，从安全、低成本和可用性三方面优化代币交易。
遗憾的是，Polygon 的 ZK rollups 套件的详细路线图很难获得。
5. Espresso Systems
Espresso 在 3 月 6 日正式亮相，宣布了融资情况，并介绍了他们的愿景。扩容和隐私解决方案 Espresso 将自己描述为“一个结合了 PoS 共识和 ZK-rollup 机制的 L1”。
Espresso Systems 发布了 CAPE（以太坊可配置资产隐私），这是一个 EVM 应用程序，允许用户自定义谁可以看到所有权细节和资产移动情况，并能够在 CAPE 内 wrap和 unwrap 当前的 ERC-20 代币。CAPE 将在未来几周部署到 Rinkeby 测试网。
6. Aztec Network
使用 zk-SNARKs 的 L2 扩展解决方案——保护 ERC-20 代币交易和其它 DeFi 交互的隐私，目前已部署在 Goerli 测试网。
zk.money 是由 Aztec 开发的核心应用程序，允许 MetMask 用户秘密发送 DAI 和 ETH，团队希望在今年晚些时候实现全面的钱包级别的资产隐私。
7. Aleo
Aleo 是一个启用 ZK 的私有链，默认情况下，它处理链外交易，然后由网络节点验证。
Aleo 在 2 月 7 日 完成 2 亿美元 B 轮融资 ，正在测试网阶段，计划在今年 Q3 上线主网。
ZK 的突破性潜力
我相信，从业者们在 ZK 领域所做的研究和探索非常重要，它将从根本上改变未来 20 年的计算方式。ZK 允许我们构建模块化应用程序，明确了隐私的边界（用户有权同意泄露哪些信息）。这对于常规应用来说也是种巨大的力量。
落回区块链行业，当前 ZK 系的领导者是 zkSync 和 StarkWare（StarkEx/StarkNet），它们都将在今年发行代币。从它们的融资轮和当前估值来看，需求将是巨大的，这些协议和其它 L2 会激励用户和流动性的迁移。虽然我们还需要几个月的时间才能在微观层面上看到这一点（在宏观层面上则需要几年的时间），但 ZK 技术很可能会彻底改变区块链的未来。
