微软研究院发布 Magnetar：基于证明的通用计算新进展
微软研究院发布零知识虚拟机 Magnetar，可直接证明 Rust、Go、C 编写的程序执行过程，据称在同等机器上平均比现有最快 zkVM 快 10 至 39 倍，安全性仅依赖标准哈希函数。
核心事实
微软研究院于 2026 年 10 月 15 日发布博客，介绍其零知识证明系统 Magnetar。据该博客描述，Magnetar 是一种零知识虚拟机（zkVM），可证明 RISC-V 架构上程序的执行过程，并返回一个任何人都能快速校验的简短证明。开发者用 Rust、Go 或 C 编写程序、按常规方式编译后，Magnetar 即可按原样进行证明，无需把程序手工改写为密码学电路。
微软研究院称，Magnetar 在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令；在 15 个基准程序上，其速度平均是同一台机器上现有最快 zkVM 的 10 至 39 倍。经优化的版本每秒可证明 950 万至 1280 万个周期，证明校验时间约为 12 毫秒。上述数字均来自该博客，尚未获独立验证。
背景与影响
零知识证明诞生于 1980 年代，长期受制于三项难题：证明生成效率低、需要开发者具备密码学专业知识、以及底层密码学假设的长期安全性。博客称 Magnetar 同时在这三方面取得进展，其安全性仅依赖 SHA-256 或 SHA-3 等标准哈希函数，不使用椭圆曲线、格假设、专用哈希函数或可信设置。
该成果建立在微软研究院十余年的一系列工作之上，包括 Spartan、Phalanx、Nova、HyperNova、Brakedown、Lasso、Jolt、Vega 与 BinarySpartan 等。博客举例称，AI 代理可附带证明以表明其行为符合给定策略，受监管金融机构也可在不公开交易内容的前提下证明交易处理正确。
限制与来源
本文内容全部来自微软研究院官方博客，性能数据、适用场景与安全属性均为该机构自述，未提供第三方复现或审计信息。博客未披露 Magnetar 的发布时间表、可用地区、许可方式或定价，相关功能与可用性请以微软官方渠道当前信息为准。此外，博客提到微软的 Quantum Safe Program 计划在 2029 年前将产品与服务迁移至后量子密码学，该目标同样以官方后续公告为准。