最近，我参加了由 @eigenlayer、altlayer 等联合举办的 Proof Summit，以及 @RiscZero 主办的 Provable、@ProjectZKM 和 @GOATRollup 等发起的 ZKHub 和 ZK Accelerate 等活动。虽然活动很多，但我主要关注的是「ZK 场」。一连串的活动下来，我感觉自己已经深深迷上了 ZK，简直是上瘾了。
记得 2017 年 ICO 盛行的时候，出现了「一切产业皆可上链」的热潮，比如医疗病例数据上链、农产品从种植到餐桌全过程溯源链、供应链上下游交易融资上链等等。尽管后来证明并非所有场景都适合上链，但「Onchain anything」的叙事确实推动了 17 年的牛市繁荣。
这次参与的几大 ZK 专场活动让我有类似的感觉，ZK 正在掀起一轮「Prove anything」的宏大叙事。ZK 的真正价值在于实现链下计算和链上验证的分离，让链下计算发挥极致效能，从而将链上存储和执行成本降到最低。ZK 技术作为「可信桥梁」连接一切，Rollup layer2 只是 ZK 发挥价值的冰山一角。ZK 大爆发后，将不再有链上链下的分界，只会有「可验证计算」的新范式。
同时，「Prove Anything」的创新探索也在悄然兴起，可验证计算游戏、身份验证、DeFi/RWA、隐私交易、投票治理、AI 模型验证、物联网设备可信证明、企业级供应链隐私保证等涉及链下和链上的应用场景，都将被覆盖。
在 Proof Summit 上，我看到了许多新鲜的项目。比如，@alt_layer 要开发一套 VITAL ZK 证明系统，为 OP-Rollup 提供 ZK 证明能力；@alignedlayer 专注于规模化的 ZK 证明生成，探索与 OP Stack 的有效集成；@OpacityNetwork 基于 VDN、zkTLS、MPC 等探索数据隐私和安全共享基础设施；@lagrangedevProver Network 则要在 L1 和 L2 之间建立一个专门的证明服务层，为不同的 ZK 证明提供统一共享证明基础设施。
我之前分析过 Eigenlayer 和其 AVS 服务范式代表以太坊的未来，现在在会场上得到了验证。altlayer 要为 OP Fraud Proof 做的精进需基于 AVS，Lagrange 要做的统一证明服务层共识也依赖 AVS。AVS 提供的可商品化封装输出的「安全共识」将会助力 ZK 快速构建若干中间件协议服务网络，帮助一系列快速崛起的 ZK 基础设施和现有的纯链上的 VM 环境实现联通。Eigenlayer 发起的 AVS 主动验证服务系统上下游活跃着太多正在崛起的 ZK 力量，尽管现在看起来还很初期，但未来可期。
关于 TEE Salon 的活动要持续一整天，我没时间听完，但意外的是，活动地点是 Google 在曼谷的超酷办公室，出于对世界互联网大厂的精神朝圣，我参加这个活动着实有点激动。谷歌的 Confidential Computing 云计算产品线，英特尔的 SGX、TDX 技术等都想在 TEE 新叙事上找到合适的切入点，这让我想起了阿里云、华为云、腾讯云一直以来对区块链的暧昧关系。
在我看来，ZK+TEE 是可验证计算时代的左右护法，ZK 负责计算证明和验证信息传输，TEE 则提供可信执行环境和数据隐私。比如，Aztec 的 dark pool，Fabric 要构造的 VPU 硬件创新芯片等，越来越多的项目同时集成 ZK 和 TEE 以及其他 MPC、FHE 的加密算法，以加速全新可验证计算范式的到来。虽然 TEE 给人感觉还是太传统，但 ZK 走俏的路上，TEE 一定会出一臂之力。
在 zkHUB 专场活动上，ZKM、RiscZERO、Cysic、Mina、Goat Network、Succinct 等 ZK 项目让人眼花缭乱。我说的「乱」并不是「太多」的概念，而是其上下游的解决方案覆盖层次和深度令人叹为观止。很多人可能从 @VitalikButerin 的文章中了解到 Risc-V 虚拟机的创新，这里我看到 @ProjectZKM 的工程师在系统讲解 zkMIPS，一种可简化 ZK 开发流程的通用型 zkVM，其减少了开发自定义 ZK 电路的时间和复杂度，为 ZK 应用开发提供了标准化的平台。
区别于 Risc-V 更偏向硬件的处理器架构，zkMIPS 这套偏向软件的精简指令子集可极大优化生成零知识证明所需的场景。zkVM 在模块化叙事背景下很出圈，很多人都知道 zkVM 比 zkEVM 更有前景，其内核逻辑在于未来的 ZK 一定会脱离原先纯链上的连接范式。因此，zkVM 这种能连接一切 AltVM，能让以太坊比特币等成为全链环境统一结算层，能构建一个统一跨技术架构限制的流动性层的技术，真的太重要了。
相信，在 EVM-Compatible 的叙事尾声，新的 zkVM 释放出连接一切的可验证计算的大基建会是未来多年的持续性热点。
最后，就用 RiscZERO VP 的一句话来收尾吧，他说我们所处的区块链正在从以以太坊、Solana 为代表的「服务器时代」进入全新的「Cloud Era 云时代」。把这句话放进当前「模块化、链抽象、zkVM」等正在肢解重构的区块链开发大环境下，你一定懂得这句话背后张扬、鼓噪着什么。
