zkvm

ChainCatcher 消息，a16z crypto 研究团队今日发布开源 zkVM Jolt 的新版本 Lattice Jolt。该版本架构与此前版本相同，但将底层密码学从椭圆曲线改为格，同时实现后量子安全性、证明者与验证者速度提升 2-3 倍，以及证明大小低于 100 KB。Lattice Jolt 用基于 Module-SIS 假设的新多项式承诺方案 Akita 替换此前依赖椭圆曲线的 Dory，目标完整 128 位安全性。Akita 由 LayerZero 研究人员与工程师主导开发，并与卡内基梅隆大学、南加州大学以及 a16z crypto 团队合作。在同一机器上，仅 CPU 的 Lattice Jolt 证明超过 200 万 RISC-V 周期/秒，Apple Metal GPU 加速下超过 1000 万周期/秒，证明者空间降至每周期约 200 字节。

ChainCatcher 现场报道，以太坊联合创始人 Vitalik Buterin 在 2026 香港 Web3 嘉年华发表主题演讲。他将以太坊定义为两大核心功能：一是公共公告板，供应用发布消息与数据；二是由代码控制的共享数字对象，涵盖资产、NFT、ENS 及 DAO 等。他强调，以太坊的目标不是与高频交易平台竞争速度，而是成为最安全、最去中心化、始终在线的可信链。 短期路线图方面，他介绍了账户抽象提案 EIP-8141，可原生支持智能合约钱包、抗量子签名算法及隐私协议；量子抗性方面，目前已有哈希和格基两种签名方案，团队正通过 EVM 向量化大幅提升其效率。 他透露，ZKVM 已足够快以证明实时 EVM 执行，今年目标是确保其安全性，计划从小比例网络开始部署，到 2028 年成为验证链的主要方式，使以太坊在不牺牲去中心化的前提下大幅扩容。长期愿景方面，以太坊正积极利用 AI 生成数学证明来形式化验证软件安全性，并追求完全量子安全、最大简洁性确保平台安全不依赖于任何单一团队的持续存在。

ChainCatcher 消息，据 The Block 报道，a16z Crypto 在一篇关于其 Jolt zkVM 的博客文章中，对某些开发者环境中 “ZK” 一词的通俗用法提出批评。文章指出，大多数 zkVM 实际上并不具备零知识属性，除非应用昂贵的 “包装” 程序。作者还提到，“zk” 往往成为 “简洁性” 的代名词，即证明 “简短且验证快速”，而非真正的零知识隐私。 随着社区对隐私的关注日益增长，这种术语的误用正成为一个真正的问题。a16z 的开源 Jolt zkVM 于周二推出重大升级，原生支持零知识证明。Jolt 使用了 NovaBlindFold 折叠方案创建盲化证明以防止信息泄露，使其适用于隐私应用，升级后生成的零知识证明仅比原本非 ZK 证明增加约 3 KB。

ChainCatcher 消息，ZKsync 发布 2026 年路线图，聚焦三大核心方向： 1、Prividium 将把隐私引擎扩展为 “银行级堆栈”，为企业提供默认内置隐私的加密基础设施； 2、ZK Stack 将从单一链架构转向 “协调化系统”，使应用链在该堆栈中实现无缝操作，并原生集成流动性及共享基础设施； 3、Airbender 则将从 “最快的 zkVM” 演进为 “通用标准”，优先保障安全性、形式化严谨性与开发者体验，服务范围将超越 ZKsync 和以太坊生态，延伸至更广泛的用例场景。

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 在 X 平台发文表示，以太坊团队今年以来一直表现得非常出色，在各个方面都做出了贡献，以确保以太坊的长期扩展性、去中心化和弹性，所有这些想法预计都将在短期扩展路线图实现其关键里程碑的同时准备好付诸实施。 据 Vitalik Buterin 转发推文显示，目前以太坊开发者已提出一种适用于精简以太坊的最小 zkVM「leanVM」，并且针对 XMSS 聚合和递归进行了优化，相比于 Cairo，leanVM 凭借四指令 ISA、多线性 STARK 和 logup 查找最大限度地降低了承诺成本。

ChainCatcher 消息，ZKM 发布了新一代 zkVM(零知识证明虚拟机） Ziren（原 zkMIPS），通过 GPU 加速、分布式证明架构、以及深度优化的约束系统，为零知识证明（ZK）系统在真实应用场景中的可部署性与扩展性打开了新空间。Ziren 实现核心证明提速 30 倍，聚合证明提速 15 倍，状态准备时间从5分钟到 30 秒的提升，并已在 GOAT Network 比特币原生 zkRollup 项目中投入使用。 Ziren 的命名灵感来自神话 “Siren” 的变体，代表着从幻象到现实的转变 —— 技术不再只是吸引，而是真正落地可用的承诺。Ziren 旨在成为主流开发者手中真正高效、可信、可部署的 zk 基础设施，支持 Rust/C/C++ 程序证明生成，兼容完整以太坊Rust客户端验证，帮助开发者轻松构建可信任的零知识系统。

ChainCatcher 消息，据 The Block 报道，Polygon 联合创始人 Jordi Baylina 和 Polygon zkEVM 背后的团队已转型为一家名为 Zisk 的独立公司、 据悉，相关的所有代码和 IP 转移到形式。根据 Zisk 的网站信息，该项目于 2024 年 5 月在 Polygon Labs 内部孵化，并于 6 月 13 日正式独立，ZisK 将专注于低延迟、开源的 zkVM 证明技术。

ChainCatcher 消息，RISC Zero 宣布正式推出 zkVM 1.2 版本，引入了全新的“应用自定义”预编译（Application-defined Precompiles）功能。该创新改变传统预编译模块的架构模式，使预编译功能能够随应用一同部署，而无需依赖 zkVM 内部的固定实现，提升了性能和灵活性。 zkVM 1.2 版本使开发者可即刻将预编译功能整合到应用中，无需系统更新，也不需要额外的协调工作，从而实现更快速、更高效的开发体验。 据悉，Automata 已集成 RISC Zero 的 RSA 预编译功能，将其程序运行周期从 3900 万降至 19.8 万，实现了约 198 倍的成本降低。

ChainCatcher 消息，以太坊基金会研究员 Justin Drake 发推表示，以太坊基金会正在向 zkVM 投资数千万美元，其中包括 zkRISC-V 形式化验证、Poseidon 密码分析以及 L2beat for zkVMs。