每周简报：2023年将成为零知识证明的巅峰之年吗

2022年及之前上线的ZK项目通常融资充裕，估值较高，并且今年取得了阶段性进展。

- ConsenSys：ConsenSys的zkEVM测网将于3月28日发布。 - IronFish：预计主网上线将推迟至4月。 - MATIC绿色生态：更新了ZK扩容计划方案，预计于3月27日发布zkEVM检测主网上线。 - Taiko：ZK-Rollup扩容计划方案Taiko将于3月发布Alpha-2测网（包括一部分ZK-EVM）。 - BNB绿色生态：预计年底推出Zk零知识扩容更新。

ZK的发展可以看作区块链行业技术更新演变的重要细节。该技术最初在初期密名项目中展示了优异的个人隐私特点。随后在存储项目Filecoin中使用，从而减少了多方认证存储所需的时间。在L2身份验证的基础上，催生了ZKRollup的扩容优势。随着技术的发展，ZK已经开始集成化。

目前市场对ZK的关注主要源自以太坊绿色生态推动以及ZK基础设施建设的进展，包括ZK-EVM、ZK公有链、L2、ZKBridge、ZK设备等。然而，技术的实际落地和应用仍需时间和场景共同承载。目前，ZK的定义或者说进展仍处在超温状态，一个理想的“ZKSeason”还需要大量准备时间才能到来。

例如，在最近关于ZK扩容的热门话题中，人们关心着以太坊L2最终需要怎样的ZKRollup以及技术进展如何。

ZKRollup作为与OptimisticRollup齐名的扩容方法，借助数学和密码学的零知识证明，可以实现更高的安全性和速度。但是ZK的EVM适配难度要更高一些，而Op则相对容易。另外, Op应用更广、绿色生态发展更快，因此主流思想认为“长期看好ZK系，短期看好Op”。

这种“长期性”的ZKrollups需要实际落地，首要问题是ZK首先在EVM适配方面有一定的进展。这包括： 1. 对EVM的所有命令进行电路原理描述，使得以Solidity等区块链智能合约语言编写的应用程序能够被编译成EVM命令，并与电路相匹配，生成相应的证明系统软件。简单说就是编写zk电路、编写zkEVM、搭建zkRollup。 2. 开发zk证明运算和复杂的智能合约运算的巨大电路和证明系统软件，同时需要硬件加速器以提高计算能力。

目前，一些项目如zkSync、StarkNet、Polygonhermez和Scroll等专注于相对等效的zkEVM。在所有的ZK跑道项目中，ZK-EVM的适配类项目较多。

除了以上内容，在以太坊的更新构想中，以太坊在决策层扩容之后，仍然需要zkEVM来实现EVM自身的扩容。在发展中，zkEVM必须跟随EVM的变化而变化，每次以太坊对EVM的更新都会影响到zkEVM赛道的升级。总体来看，相比于OP系，ZK系的技术进展相对滞后一年以上。

当然，ZKrollup并不是当前以太坊扩容场景下唯一基于ZK的解决方案（类似的还有Validium和Volitions等使用了ZK技术）。ZK技术并不仅仅局限于扩容方面，它本质上是一种数学原理，在双方之间进行信息核实，可以有效地“证明观点合理”，且在不泄露关键信息的情况下进行认证计算，具有成本低和高效率的优势，在区块链的使用中普遍适用。

针对当前的ZK项目进行整理，可以将一、二级市场的ZK项目归为以下几类： - ZK以太坊适配/电路编译程序（如Starknet、zkSync、Scroll等） - ZK公有链（如Aleo） - ZK跨链桥/预言机 - ZK硬件加速器 - ZK实体类 - ZK运用（运用ZKP协议研发的Web3应用软件，包含DeFi、NFT、手机游戏、真实身份认证、个人隐私等）

在这些分类中，zkEVM类项目主要是2021年底发布初版后逐步升级。然而，与