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 测试网（包含部分 ZK-EVM） BNB 生态：预计年底进行Zk 零知识扩容升级ZK 的发展可视为区块链领域技术迭代演变的重要细节：该技术最初在早期匿名项目中展示其优越的隐私特性；在存储项目Filecion 中被使用，以减少各方验证存储所需的时间；在L2 共享安全验证下衍生出ZK Rollup 的扩容优势；随着技术发展，ZK 正在走向通用化。当前市场的ZK 热度主要来自以太坊生态推进，以及ZK 基础设施的进展，包括ZK-EVM、ZK 公链、L2、ZK Bridge、ZK 工具等，但技术落地需要场景与应用共同承载，目前ZK 概念或处于过热阶段，一个理想的“ZK Season”仍需要更多準备的时间才会到来。例如，在近期ZK 扩容的热点中，以太坊L2 最终需要一个怎样的ZK Rollup？技术进展如何？ZK Rollup 作为同样与Optimistic Rollup 受关注的主流扩容方式，零知识证明基于数学与密码学，相比Op 採用的欺诈证明，在技术上能够做到更安全、更快速。但ZK 的EVM 兼容实现难度更高，Op 是更容易的，加上Op 应用多、生态发展快，因此，主流观点认为“长期看好ZK 系、中短期看好Op”。这种“长期”的ZK rollups 想要落地，前提是ZK 首先要在EVM 兼容上真正有所进展。只有实现zkEVM 通这样的通用电路，才能兼容各类应用，这里需要解决的问题包括：1 ）针对EVM 的所有指令进行电路设计，使得Solidity 等智能合约语言编写的应用程序编译成EVM 指令、与电路相对应起来，形成对应的证明系统。简单来说，编写zk 电路、编写zkEVM、构建zk Rollup。2 ）生成zk 证明的计算量、複杂合约计算量极大，电路和证明系统同样庞大，zk 硬件加速赛道正在以硬件方案提高计算能力。头部项目zkSync、StarkNet、Polygon hermez、Scroll 等，正在致力于不同程度等效性的zkEVM。整个ZK 赛道中，ZK-EVM 兼容类项目几乎最多。此外，在以太坊升级思路中，以太坊完成执行层扩容后，仍然需要zkEVM 来实现EVM 本身的扩容。在发展路径上，zkEVM 总需要跟随EVM 的变化而变化，以太坊每次对EVM 升级，同样需要考虑zkEVM，并影响到zkEVM 赛道的更新。整体来看，ZK 系技术进展相较于OP 系延迟在一年以上。当然，ZK rollup 并不是当代以太坊扩容场景中唯一基于ZK 的解决方案（Validium 和Volitions 同样使用了ZK 技术），ZK 技术也并非单独在于扩容。ZK 技术本质是一种在双方之间进行信息核验的数学方法，能够“证明论断有效”，且验证计算不暴露有关输入和计算本身的信息，在不洩漏交易的细节的情况下进行证明，成本更低且高效，在区块链的应用中展示出非常好的普适性。基于此，我们对当前ZK 赛道进行梳理，从结构上将一、二级市场的ZK 项目分为：– ZK 以太坊兼容/ 电路编译（Starknet、zkSync、Scroll 等) – ZK 公链（Aleo 等） – ZK 跨链桥/ 预言机 – ZK 硬件加速 – ZK 工具类 – ZK 应用（利用ZKP 协议开发的Web3 应用程序，包括DeFi、NFT、游戏、去中心化身份、隐私等)以上分类中，zkEVM 头部项目多在2021 年底推出早期版本，后陆续更新，但参考StarkNet 早期版本主网中的生态发展、以及Aztec Network 近期宣布的业务转型，这些网络在用户体验（包括验证速度及Gas 费用）、生态项目数量、热点项目发展等方面来看，发展速度仍然较慢。一定程度上，这表现出ZK 在落地时的一些问题，包括较高的硬件成本、技术落地难度较高等。相较于zkEVM 的实现，zkBridge 的发展和落地可能相对更快一些：ZK 跨链的难点不在于技术文档或理论，而在于如何“做到”：每条链的签名和hash 算法都不一样，某条链能否支持 ZK，需要通过大量代码来解决，这类项目往往需要稳步的发展。倘若ZK 支持的跨链协议能够发展起来，那么许多正在开发的Rollup SDK 可从中受益，ZK 支持的跨链协议将是连接应用链与EVM 或layer 2 的更好工具。ZK 公链类项目发展週期相对更长，以Aleo 为例，Aleo 已成为市场中稀缺的“隐私公链”及“ZKP mining”的标的，Aleo 团队于2019 年正式成立，其研究可编程零知识的时间甚至可追溯到2016 年。在正式推出主网之前，Aleo 需要对开发者、证明者和验证者三个方向的的生态环境进行更好的调整和测试。 2022 年开启的第三次激励测试中，是主要面向验证者的。在ZK 硬件加速方向，由于受到ZKP mining 相关概念的推进，大多数ZK 硬件加速理论和早期项目于去年相继被提出。目前ZK 硬件加速主要来自GPU ，预计需要到2023 年年底之后，才能够出现支持zkEVM 证明的专用硬件（ ASIC），以及相对成熟可用的产品。ZK 技术走向成熟，预计最快也会在今年年底，基础设施的成熟是应用项目爆发的前提，倘若大量ZK 项目及应用能够出现，才会推动一个“ZK Season” 的真正到来，倘若进展相对较快，在时间点上，有望与下一轮牛市早期有所契合。