zkvm

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。

ChainCatcher 消息，a16z 发文称对其 zkVM Jolt 的性能和可用性进行了多项改进，验证器成本大幅下降，从 4 月份的几 MB 的证明大小下降到约 200 KB，且还可以进一步减少至 25 KB；证明器有望加速 3 倍；支持 Rust 标准库等。

ChainCatcher 消息， zkVM 的开发商 Nexus 推出 Nexus 网络的首个测试版，这是一个开放的验证器网络。 该团队称： “这是第一个基于零知识虚拟机的分布式验证器网络，任何人都可以访问。该网络聚合了任何联网设备的集体力量，从大规模 GPU 场到电脑或手机。我们的目标是将全世界的计算机联合起来，形成一个单一的超级计算机，能够证明互联网的所有计算，从而解锁可验证的互联网。”

ChainCatcher 消息，据官方消息，零知识证明软件开发商 RISC Zero 正在与 Celestia 合作构建基于 zkVM 的 Blobstream 跨链桥“Blobstream Zero”。Blobstream Zero 将通过将 Celestia 的模块化数据可用性层与以太坊、Optimism、比特币、Solana 等连接起来，允许 Rollups 和应用程序 ZK 证明和验证 Celestia 的数据可用性（DA）在任何链上的有效性。 Blobstream Zero 将在所有主要链上进行链上验证，从以太坊开始，逐步向 Optimism、Arbitrum、Solana 和比特币扩展，未来几个月还将推出更多功能。Blobstream Zero 还将允许应用程序将其执行 ZK 证明与递归 DA 轻客户端证明和包含证明组合起来，以优化现有和新的用例。