当前位置:首页 > 知识 >

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

ZK自2022年开始持续受到关注。最近的ETHdenver会议上,ZK技术继续受到热议。

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年底发布初版后逐步升级。然而,与

猜你喜欢

关注我们

微信二维码

微信