当前位置:首页 > 知识 >

每周简报:零知识证明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系的技术进展相对滞后一年以上。

微信二维码

微信