ZK Validator：2022年零知识证明领域回顾

随着 2022 年接近尾声，我们想整理一份关于零知识技术领域进展的报告。 对于整个行业来说，这是忙碌的一年，但我们可以自信地说，2022 年将是零知识证明取得突破的一年。

我们将涵盖以下部分：

公共利益

根据 Google Trends 数据，2022 年搜索“零知识证明”的兴趣将激增，即使在严酷的下半年熊市中，兴趣依然保持上升趋势。

深入挖掘数据，关键字“SNARKs”在全球每月的搜索量在 100,000 到 1,000,000 之间，同比增长 900%。 此外，Decrypt 和 Coindesk 等主要区块链媒体似乎也对 2022 年的零知识空间更感兴趣。就 Decrypt 而言，在 2021 年期间，它仅发表了 18 篇包含“零知识证明”一词的文章”，而这一数字在 2022 年跃升至 60 篇。Coindesk 也不例外，在 2022 年撰写了 81 篇与零知识证明相关的文章，比 2021 年多了 54 篇。

融资

投资者也跳上了 ZK 列车。 今年，我们计算出至少超过 7.25 亿美元的资金用于“纯零知识”玩家。 其中包括 Aleo、Aztec、Scroll、RiscZero、Matter Labs、Elusiv 和 Mina Protocol。 最大的两轮融资是 Aleo 和 Matter Labs，各融资 2 亿美元，其次是 Aztec 的 1 亿美元。 除了私募股权融资外，一些基金会还承诺提供资金，以促进各自生态系统中零知识应用的发展。 Polkadot 发布 Pioneers The Prize 计划，奖励 993,286 DOT，特别关注零知识技术。 此外，NEAR 基金会在 Tornado Cash 事件后启动了一项资助计划，以支持 ZK 项目。

同时，由零知识项目和 ZKV 等组织组成的联盟发起了 ZPrize 计划，奖金高达 700 万美元。 这些竞赛旨在挑战与促进ZK技术在关键通用算法的性能、库的可用性和多样性等各个领域发展的目标相一致。 今年，Gitcoin ZK Side Rounds 进行了三轮比赛，奖金总额为 466,000 美元。 在所有轮次中，不同的公共产品项目筹集了近 100 万美元。 这些 Side Rounds 主要关注提高可用性的工具，以及创建将用户带入 ZK 领域的新应用程序。 几个团队参与了这项计划以太坊基于pow算法叫，包括 ZKV、0xParc、Gnosis、Anoma、Penumbra、Mina、Geometry、Aztec 等。

zk(E)VM 之年

Youtube链接：虽然2022年有很多突破，但今年的流行语可能是零知识虚拟机（zkVM）和零知识以太坊虚拟机（zkEVM）。 许多项目都在此基础上构建变体，因为它们被视为以太坊区块链的高度可行的扩展解决方案。 去年夏天，在巴黎举行的 EthCC 活动期间，各个团队围绕这些解决方案发表了大量声明。 在那次活动中，Polygon 推出了他们的 zkEVM。 Polygon 的 zkEVM 不同于传统的 zk rollup，旨在实现与以太坊虚拟机的操作码级兼容，并提供更快、更便宜的交易。 自7月公布后，已更新数次。 最新消息是，12 月 21 日发布了主网之前的最终版本，即公共测试网。另一方面，zkSync 也在 EthCC 上宣布，他们将在 10 月份将他们的 zkVM，zkSync 2.0 推向主网。 虽然他们最终发布了一个非常精简的版本（Baby Alpha），但 zkSync 2.0 将提供一些主要差异点，例如帐户抽象、对 Solidity 和 Vyper 的支持以及 LLVM 编译器。 更多的玩家也出现了。 最著名的公告之一是 RiscZero 构建了一个“通用零知识虚拟机”。 此外，正在以太坊上构建基于 zkEVM 的 zkRollup 的 Scroll 推出了具有演示功能的 Pre-Alpha 测试网（也在 EthCC 期间宣布！）。

测试网变得越来越快

随着零知识技术在区块链行业的普及，三个有前途的玩家向主网迈出了重要一步。 今年最后一个季度，Aleo 进行了重大改进并推出了他们的 Testnet 3，该测试网分为三个阶段。 此版本允许开发人员开始在网络上编写、部署和执行 Aleo 程序。 此外，它还引入了一种新的共识算法 AleoBFT，它将 PoS 共识算法（基于 DiemBFT）与 PoW 的证明者激励方案相结合。

另一个在他们的测试网上取得进展的参与者是 Namada，它是 Anoma 的一个分支实例，它将隐私资产带入 Cosmos 生态系统。 他们使用 ZKV 作为验证器的一部分运行隐私测试网，并于 12 月 20 日启动了他们的第一个公共测试网。 最后但同样重要的是，我们也一直在关注 Penumbra 的发展，这是 Cosmos 的支持隐私的去中心化交易所 (DEX)。 在 2022 年期间，Penumbra 遵循快速发布的理念推出了 35 个版本的公共测试网。 在此过程中，该团队引入了重要的改进，例如新颖的分层承诺树，一种可以将 Penumbra 加速 4,000 倍的 Merkle 树以太坊基于pow算法叫，以及他们用于 Penumbra 系统的 Poseidon 哈希的零知识证明友好实例 Poseidon377。

ZK跨链桥

Youtube 链接：尽管处于非常早期的阶段，但有几个项目在 ZK 领域取得了进展。 我们指的是 ZK 跨链桥——一种无需信任的跨链桥接解决方案。 它们旨在取代其他桥接架构，这是 2022 年的主要安全问题之一。2022 年 10 月，Succinct 推出了第一个演示。 此版本连接了 Goerli（以太坊测试网）和 Gnosis 链，允许用户将“Succinct 代币”（他们创建的 ERC-20 代币）存入 Goerli 存款合约，并在 Gnosis 链上接收铸造的 Succinct 代币。 同样在 10 月，zkBridge 发表了一篇关于他们在斯坦福构建的解决方案的论文。 沿着这条线的另一个新颖概念是 zkIBC 的诞生。 该解决方案旨在使用零知识证明将 Cosmos 签名的链间通信协议 (IBC) 引入以太坊。 本质上，他们基于以太坊上轻客户端状态的 zk-snark 状态证明验证，构建信任最小化、可互操作的消息传递协议。

新语言

在零知识项目中，暴露了两种新的语言。 2022 年初，Aleo 推出 LEO； 一种受 Rust 启发的静态类型编程语言，专为编写隐私应用程序而构建。 此外，在 10 月，Aztec 发布了他们的 Noir 语言。 Noir 是一种基于 Rust 的领域特定语言 (DSL)，用于创建和验证零知识证明。

引入可信设置

可信设置仪式（TCS，可信设置仪式）也是年终叙事的一部分。 对于外行来说，TSC 是一组参与者协作生成一组加密参数的过程，每次运行某些加密协议时都必须使用这些参数。 经过 TSC 的项目是 Namada 和 Manta。 前者共有 2,510 人参加了仪式，而后者则有超过 3,559 名贡献者参与了这一过程。 据说以太坊基金会还计划在 2023 年初进行可信设置。

从应用程序到 zkApps

11 月中旬，Mina Protocol 发起了一项旨在促进所谓 zkApps 开发的计划，zkApps 是一种智能合约，允许开发人员利用 Mina 的零知识技术。 这标志着 ZK 领域的一个重要里程碑，因为它可能会释放出大量使用零知识的创新和用例浪潮，并且由于用于构建 zkApps 的 SnarkyJS 库，它可能会吸引超过 83,000 名 Typescript 开发人员中的一些人。

优酷链接：

社区在成长

随着零知识证明的采用增加，对这项技术感兴趣的人数显着增加。 ZK Hack 和 zkSummit 是社区的两个标志性活动，两次活动都聚集了 2500 多人。 这些活动的一大亮点是多个生态项目的聚集，以及生态新人接触重要项目的机会。

研究很重要

认为零知识仅限于区块链行业是错误的。 一般研究正在兴起。 学术界围绕这个主题发表了大量论文。 据谷歌学术统计，零知识研究仅在 2022 年就产生了 67,100 篇文章，比 2021 年增加了 2,000 篇。但是，自 2018 年以来，该领域的论文数量大幅下降。

综上所述

我们的一年到此结束！ 虽然过去一年的大部分叙述都围绕可扩展性展开，但我们预计在未来几个月内会看到一波使用零知识的以隐私为中心的协议浪潮。 2022年是零知识证明取得突破的一年：ZK技术正从研究走向区块链行业和现实世界的其他领域。 我们认为这是一个更大可能性的开始。