FIL:Weekly Brief:2023将会是ZK大年吗?

ZK作为L2、隐私、跨链等概念下的核心技术派系,该板块热度自2022年延续至今;近期的?ETHdenver大会上,ZK持续高热。

2022年及以前推出的ZK系项目往往融资充足,估值较高,并在今年陆续有了阶段性的进展,围绕ZK技术的热点事件或持续整个2023年:

ConsenSys:ConsenSys的zkEVM测试网将于3月28日上线

IronFish:预计主网上线推迟至4月

MATIC生态:升级ZK扩容方案,预计3-27上线zkEVM测试主网

Taiko:ZK-Rollup扩容方案Taiko计划3月推出Alpha-2测试网?

BNB生态:预计年底进行Zk零知识扩容升级

ZK的发展可视为区块链领域技术迭代演变的重要细节:该技术最初在早期匿名项目中展示其优越的隐私特性;在存储项目Filecion中被使用,以减少各方验证存储所需的时间;在L2共享安全验证下衍生出ZKRollup的扩容优势;随着技术发展,ZK正在走向通用化。

当前市场的ZK热度主要来自以太坊生态推进,以及ZK基础设施的进展,包括ZK-EVM、ZK公链、L2、ZKBridge、ZK工具等,但技术落地需要场景与应用共同承载,目前ZK概念或处于过热阶段,一个理想的“ZKSeason”仍需要更多准备的时间才会到来。

例如,在近期ZK扩容的热点中,以太坊L2最终需要一个怎样的ZKRollup?技术进展如何?

ZKRollup作为同样与OptimisticRollup受关注的主流扩容方式,零知识证明基于数学与密码学,相比Op采用的欺诈证明,在技术上能够做到更安全、更快速。但ZK的EVM兼容实现难度更高,Op是更容易的,加上Op应用多、生态发展快,因此,主流观点认为“长期看好ZK系、中短期看好Op”。

这种“长期”的ZKrollups想要落地,前提是ZK首先要在EVM兼容上真正有所进展。只有实现zkEVM?通这样的通用电路,才能兼容各类应用,这里需要解决的问题包括:

1?)针对EVM的所有指令进行电路设计,使得Solidity等智能合约语言编写的应用程序编译成EVM指令、与电路相对应起来,形成对应的证明系统。简单来说,编写zk电路、编写zkEVM、构建zkRollup。

2?)生成zk证明的计算量、复杂合约计算量极大,电路和证明系统同样庞大,zk硬件加速赛道正在以硬件方案提高计算能力。

头部项目zkSync、StarkNet、Polygonhermez、Scroll等,正在致力于不同程度等效性的zkEVM。整个ZK赛道中,ZK-EVM兼容类项目几乎最多。

此外,在以太坊升级思路中,以太坊完成执行层扩容后,仍然需要zkEVM来实现EVM本身的扩容。在发展路径上,zkEVM总需要跟随EVM的变化而变化,以太坊每次对EVM升级,同样需要考虑zkEVM,并影响到zkEVM赛道的更新。整体来看,ZK系技术进展相较于OP系延迟在一年以上。

当然,ZKrollup并不是当代以太坊扩容场景中唯一基于ZK的解决方案,ZK技术也并非单独在于扩容。

ZK技术本质是一种在双方之间进行信息核验的数学方法,能够“证明论断有效”,且验证计算不暴露有关输入和计算本身的信息,在不泄漏交易的细节的情况下进行证明,成本更低且高效,在区块链的应用中展示出非常好的普适性。

基于此,我们对当前ZK赛道进行梳理,从结构上将一、二级市场的ZK项目分为:

-ZK以太坊兼容/电路编译(Starknet、zkSync、Scroll等)?

-ZK公链?

-ZK跨链桥/预言机?

-ZK硬件加速?

-ZK工具类?

-ZK应用(利用ZKP协议开发的Web3应用程序,包括DeFi、NFT、游戏、去中心化身份、隐私等)

以上分类中,zkEVM头部项目多在2021年底推出早期版本,后陆续更新,但参考StarkNet早期版本主网中的生态发展、以及AztecNetwork近期宣布的业务转型,这些网络在用户体验、生态项目数量、热点项目发展等方面来看,发展速度仍然较慢。

一定程度上,这表现出ZK在落地时的一些问题,包括较高的硬件成本、技术落地难度较高等。

相较于zkEVM的实现,zkBridge的发展和落地可能相对更快一些:ZK跨链的难点不在于技术文档或理论,而在于如何“做到”:每条链的签名和hash算法都不一样,某条链能否支持?ZK,需要通过大量代码来解决,这类项目往往需要稳步的发展。

倘若ZK支持的跨链协议能够发展起来,那么许多正在开发的RollupSDK可从中受益,ZK支持的跨链协议将是连接应用链与EVM或layer?2的更好工具。

ZK公链类项目发展周期相对更长,以Aleo为例,Aleo已成为市场中稀缺的“隐私公链”及“ZKPmining”的标的,Aleo团队于2019年正式成立,其研究可编程零知识的时间甚至可追溯到2016年。在正式推出主网之前,Aleo需要对开发者、证明者和验证者三个方向的的生态环境进行更好的调整和测试。2022年开启的第三次激励测试中,是主要面向验证者的。

在ZK硬件加速方向,由于受到ZKPmining相关概念的推进,大多数ZK硬件加速理论和早期项目于去年相继被提出。目前ZK硬件加速主要来自GPU,预计需要到2023年年底之后,才能够出现支持zkEVM证明的专用硬件,以及相对成熟可用的产品。

ZK技术走向成熟,预计最快也会在今年年底,基础设施的成熟是应用项目爆发的前提,倘若大量ZK项目及应用能够出现,才会推动一个“ZKSeason”的真正到来,倘若进展相对较快,在时间点上,有望与下一轮牛市早期有所契合。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

[0:0ms0-5:47ms