每周简报：零知识证明2023年巅峰

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

ZKRollup借助数学和密码学的零知识证明，可以实现更高的安全性和速度。但是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年底发布初版后逐步升级。然而，与OP系相比，ZK系的技术进展相对滞后一年以上。

本站所有软件信息均由用户上传发布，版权归原著所有。如有侵权/违规内容，敬请来信告知邮箱：764327034@qq.com，我们将及时撤销！转载请注明出处：https://czxurui.com/zx/100956.html