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

作者：

时间：1900/1/1 0:00:00

原文：

作者：Zero Knowledge Validator

随着 2022 年即将结束，我们想整理一份关于零知识技术领域进展的报告。对于整个行业来说，今年是忙碌的一年，但我们可以自信地说，2022 年是零知识证明实现突破的一年。

我们将涵盖如下部分：

公众兴趣

根据谷歌趋势数据，2022 年人们对搜索“零知识证明”的兴趣激增，即使在今年下半年严酷的熊市中，兴趣也一直保持上升趋势。

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

ZK 初创公司 Polyhedra Network 完成 1500 万美元融资:金色财经报道，ZK 基础设施初创公司 Polyhedra Network 完成 1500 万美元 Pre-Series A 轮融资，Polychain Capital 领投。Polyhedra Network 正在构建一套专注于区块链互操作性、可扩展性和隐私的系统，包括促进跨链资产和数据传输的 zkBridge。

此前报道，2023 年 2 月份，Polyhedra Network 完成 1000 万美元融资，Binance Labs 和 Polychain Capital 领投。[2023/4/5 13:45:01]

融资

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

ZigZag 开始搭建基于 Mimblewimble 的 ZK rollup 支付系统:3月16日消息，ZigZag 开始搭建基于 Mimblewimble 的 ZK rollup 支付系统 ZigZag InvisibL3。该项目由 0xonurinanc 带领，旨在突破零识技术的极限，包括将现有的隐私技术扩展到更广泛的应用程序并构建 L3，使现有的 ZK 支持系统更强大。

据悉，官方团队表示，ZigZag InvisibL3 的最终目标是成为最好的隐私 DEX。[2022/3/16 13:59:25]

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

以太坊ZK Rollup扩容方案Hermez上线USDT:Hermez Network上线USDT稳定币。通过在Hermez上推出USDT，以太坊上的Gas费压力有望减轻。此前消息，以太坊ZK Rollup扩容方案Hermez Network正式上线。这意味着Hermez的主网已经启动，用户现在可以以更低的Gas成本转账。（Cointelegraph）[2021/4/19 20:36:52]

zk(E)VM之年

Youtube链接: https://www.youtube.com/watch?v=mrf9HjjL_38&feature=emb_imp_woyt

尽管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 期间宣布！）。

波卡二层扩容协议Plasm Network成功部署ZK Rollups:据官方消息，波卡二层扩容协议Plasm Network表示，今天成功在Plasm Network部署ZK Rollups。[2021/1/14 16:10:53]

测试网变得越来越快

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

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

V神：ZK rollups是目前为止最好的解决方案:推特网友Toast Of Crypto提问称，为什么要推动或强迫人们远离理想的Layer 2扩容协议？以太坊创始人V神对此回复称，因为ZK rollups是最好的解决方案，直到今年晚些时候与EVM兼容的Optimistic rollups出现，eth2将花费更长的时间。（注：ZK rollups是一种混合扩展方法，通过智能合约和零知识方法将链上安全性和第二层网络结合在一起。）[2020/7/28]

ZK跨链桥

Youtube链接: https://www.youtube.com/watch?v=f4kBUe2n0Qk&feature=emb_imp_woyt

尽管处于非常早期的阶段，但一些项目已经在 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，Trusted Setup Ceremonies）也是年底叙事的一部分。对于入门者来说，TSC 是一组参与者协作生成一组密码参数的过程，每次运行某些密码学协议时都必须使用这些参数。进行了TSC的项目是 Namada 和 Manta。前者共有 2510 人参加了仪式，而后者则有超过 3559 名贡献者参与了这个过程。据说以太坊基金会也计划在 2023 年初进行可信设置。

从应用程序到 zkApps

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