曼谷Devcon:ZK技术引领可验证计算新纪元
这几天我参与了不少活动,比如 @eigenlayer、@RiscZero 主办的 Proof Summit,和其他几个 ZK 相关的盛会。虽然活动多得让人眼花缭乱,但我跑的都是「ZK 场」,一圈下来,感觉自己真的是中了 ZK 的毒,脑袋里全是 ZK 的世界 🤯。
梦回 ICO 时刻:从 Onchain anything 到 Prove anything
回想2017年的 ICO 热潮,那种「一切产业皆可上链」的景象,真是让人目不暇接。医疗病例、农产品溯源、供应链融资……啥都能上链。虽然后来发现并不是所有场景都能上链,也不都是必须的,但那种 Onchain anything 的叙事确实推动了17年的牛市。
这次的 ZK 专场活动让我有了类似的感觉,ZK 正在引领一波「Prove anything」的宏大叙事。
ZK 的真正价值在于它能把链下计算和链上验证分开,让链下计算发挥极致的效率,这样才能把链上存储和执行成本降到最低。ZK Tech 就像一座「可信桥梁」,连接起一切。
回顾过去几轮周期,大家都在讲「上链」的故事,而 Rollup layer2 只是 ZK 价值的冰山一角。ZK 一旦爆发,链上链下的界限将不复存在,未来只会有「可验证计算」的新范式。
同时,Prove Anything 的创新探索也在悄然发生。可验证计算的游戏、身份验证、DeFi/RWA、隐私交易、投票治理、AI 模型验证,还有物联网设备的可信证明、企业级供应链的隐私保障等等,都将在链下和链上的应用场景中得到覆盖。
AVS 经济共识系统对 ZK 的重要性 在 Proof Summit 大会上,真是眼花缭乱,各种新奇项目层出不穷!比如说:
- @alt_layer:要推出一套 VITAL ZK 证明系统,给 OP-Rollup 提供 ZK 证明能力;
- @alignedlayer:专注于规模化的 ZK 证明生成,探索如何与 OP Stack 有效结合;
- @OpacityNetwork:基于 VDN、zkTLS、MPC 等技术,深入研究数据隐私和安全共享基础设施;
- @lagrangedev:致力于在 L1 和 L2 之间创建一个统一的证明服务层,为不同的 ZK 证明提供共享基础设施。
之前我还分析过 Eigenlayer 和其 AVS 服务范式,这可是以太坊未来的代表。如果那时只是个展望,现在在这个会场上可算是得到了验证:altlayer 要为 OP Fraud Proof 提升的能力,确实需要依托 AVS;而 Lagrange 设想的统一证明服务层共识,也离不开 AVS 的支持。
AVS 提供的可商品化封装输出的「安全共识」将助力快速构建多个中间件协议服务网络,这样一来,一系列崭露头角的 ZK 基础设施与现有的纯链 VM 环境就能实现互联互通。
不用多说,大家也能感受到 Eigenlayer 发起的 AVS 主动验证服务系统上下游汇聚了众多新兴 ZK 力量,虽然现在看起来还在初期阶段,但让我们耐心等待,子弹飞一会儿吧。
TEE 可验证执行环境为 ZK 插上翅膀 🦅
这场关于 TEE 的沙龙活动要持续一整天,虽然我没时间听完整个流程,但意外的是,活动地点在 Google 在曼谷的超酷办公室,作为对世界互联网巨头的精神朝圣,参加这个活动让我有点小激动。
谷歌的 Confidential Computing 云计算产品线,还有英特尔的 SGX、TDX 技术,似乎都想在 TEE 的新叙事上找到合适的切入点。想想阿里云、华为云、腾讯云和区块链之间的暧昧关系,逻辑就明了了。
在我眼里,ZK+TEE 就是可验证计算时代的左右护法。ZK 负责计算证明和信息验证,而 TEE 则提供可信执行环境和数据隐私,简直是黄金搭档!✨ 在新兴项目中,ZK与TEE结合越来越成为趋势,如Aztec的暗池和Fabric计划构建的VPU硬件创新芯片等。这些项目纷纷集成ZK、TEE以及其他加密算法如MPC和FHE,推动全新可验证计算的到来。尽管TEE看起来有点传统,但在ZK大行其道的路上,TEE必定会助一臂之力。
zkVM助力ZK Tech普及
在最近的zkHUB专场活动上,ZKM、RiscZERO、Cysic、Mina、Goat Network、Succinct等ZK项目让人眼花缭乱。这里的“乱”并非数量之多,而是其解决方案的层次和深度,真是让人惊叹。
或许很多人从@VitalikButerin的文章中了解到Risc-V虚拟机的一些创新,而在此我见到了@ProjectZKM的工程师讲解zkMIPS,一种简化ZK开发流程的通用型zkVM。这款zkVM减少了开发自定义ZK电路的时间和复杂度,为ZK应用开发提供了标准化的平台。
与Risc-V偏向硬件处理器架构不同,zkMIPS则是一个更偏向软件的简化指令集,能显著优化生成零知识证明所需的场景。
在模块化叙事的背景下,zkVM的关注度迅速上升,许多人认为zkVM比zkEVM更具前景,因为其核心逻辑在于未来的ZK将脱离原有的链上连接模式。
zkVM的能力在于连接各种AltVM,使以太坊、比特币等能够统一作为全链环境的结算层,构建一个跨技术架构限制的流动性层,这点至关重要。
在EVM-Compatible叙事的尾声,新的zkVM将释放出连接一切的可验证计算基础设施,成为未来多年的持续热点。
最后,用RiscZERO VP的一句话来结束:我们正在从以太坊、Solana为代表的“服务器时代”进入全新的“云时代”。把这句话放在当前“模块化、链抽象、zkVM”等正在重构的区块链开发环境下,你一定能理解这句话背后所传达的深意。 抱歉,无法处理该请求。