微软研究院发布 Magnetar，一种基于标准哈希、面向 RISC-V 的零知识证明虚拟机（zkVM）研究，能让用 Rust、Go 或 C 编写的普通程序生成可验证执行证明。研究团队在特定基准上展示了显著性能提升，但强调这是研究成果，安全性与实际部署仍需独立复现与审计。
微软研究院于10月15日公布一项名为 Magnetar 的零知识证明虚拟机（zkVM）研究。该系统试图让以 Rust、Go 或 C 编写的普通程序，在不重复执行程序、也不暴露私有输入的情况下，输出一个可由其他人快速检查的执行证明。
微软研究院称，Magnetar在15项应用工作负载上的平均证明速度，比此前可比系统快约10至39倍。研究团队同时强调，这是一项研究成果，而不是已经部署的商业服务；性能数字来自团队自己的实验，密码学安全性和实际应用价值仍需要论文读者与独立研究者进一步核验。
从“相信结果”转向“检查结果”
零知识证明的基本思路，是让一段程序在返回计算结果的同时，生成一份简短的密码学证明。接收者可以在不重新运行程序、不信任执行者、也不获得原始输入的情况下，验证这段程序是否按照声明执行，并产生了相应输出。
这类机制尤其适合输入数据需要保密、但结果又必须被第三方确认的场景。微软研究院在官方介绍中举例说，金融机构未来可以在不公开交易内容的情况下证明交易处理符合规则；代表用户行动的人工智能代理，也可以为每一次操作附带一份证明，说明其行为遵守了预先设定的政策。
不过，微软对人工智能代理的描述属于潜在应用方向，而非 Magnetar 已经落地的产品能力。官方文章并没有宣布一个已经商业化部署的代理系统，也没有证明每一次代理操作都能够自动获得可用于监管的完整证明。
Magnetar试图同时解决三个问题
长期以来，零知识证明要走向通用计算，主要面临三个障碍：生成证明的成本很高；许多系统需要开发者把普通程序重写成专门的密码学电路；部分高性能方案依赖椭圆曲线、格密码或尚未经过长期检验的新型密码学构件。
Magnetar采用的是面向RISC-V RV64I指令集的通用证明路线。开发者可以像往常一样，用 Rust、Go 或 C 编写程序，再通过成熟编译器生成代码。系统随后证明这段普通程序在处理器上的执行，而不要求开发者为每个应用手工设计一套密码学电路。
微软研究院表示，这意味着企业政策、数据处理流水线，甚至用 Rust 或 Go 编写的以太坊虚拟机实现，都可以被当作普通程序来证明。理论上，这也为证明现有智能合约的执行提供了通向 zkEVM 的路径，但这不等于 Magnetar已经成为面向公众提供服务的 zkEVM 产品。
在密码学方面，Magnetar将安全性建立在标准哈希函数之上，例如 SHA-256 或 SHA-3。论文称，系统不依赖椭圆曲线、格假设、Poseidon或Poseidon2等电路友好型特殊哈希函数，也不需要可信设置，或关于 Reed–Solomon 邻近性间隙的未经证明猜想。
这种取舍与后量子安全有关。椭圆曲线密码在理论上可能受到大规模量子计算机的威胁，而标准哈希函数被广泛用于现有互联网安全体系，也是较为保守的后量子密码路线之一。但“基于哈希”并不自动等同于已经完成全面的后量子安全认证；具体安全强度仍取决于系统设计、参数选择、实现质量和外部分析。
性能提升伴随证明大小与实验边界
微软研究院的官方博客称，Magnetar在一台笔记本电脑上每秒可证明约720万至870万条处理器指令，在15项基准程序上，平均比此前最快的可比zkVM快约10至39倍。经过优化后，系统每秒可证明的执行周期可达到约950万至1280万，证明验证时间约为12毫秒。
微软研究院论文页面给出的更细分比较显示，在15项应用工作负载中，Magnetar的证明吞吐量分别约为：
- SP1 Hypercube的24至66倍，几何平均加速约39倍；
- Jolt-Dory的12至37倍，几何平均加速约18倍；
- Jolt-Akita的6至20倍，几何平均加速约9.6倍。
论文还称，Magnetar生成的证明大小约为600 KiB，比 SP1 Hypercube 小约4.6倍；但 Jolt 生成的证明可以小于100 KiB，只是其安全性依赖椭圆曲线或格相关假设。换言之，Magnetar的优势并不是在所有指标上都绝对占优，而是试图在通用性、标准哈希安全路线、证明速度和证明大小之间取得组合上的平衡。
这些数字应被理解为研究团队在特定硬件、参数和比较对象下取得的实验结果。它们不能直接转化为商业系统的成本、服务吞吐量或面向所有程序的普遍加速比例。不同zkVM对安全位数、硬件并行度、程序类型和证明大小的取舍不同，跨系统比较需要查看完整实验设置和代码，而不能只看平均倍数。
研究成果来自一条持续多年的技术路线
Magnetar并不是孤立出现的系统。微软研究院在文章中回顾了从 Spartan 到 Brakedown、Jolt、BinarySpartan 等一系列工作：这些研究分别推进了通用程序证明、哈希承诺、处理器内存操作证明、二进制域计算和递归证明等环节。
其中，Spartan在2019年将无需可信设置的证明方法扩展到通用程序；Brakedown在2021年提出快速的、基于哈希的承诺方案；后续研究则试图降低证明处理器执行和内存操作的成本。微软研究院称，Magnetar是这些技术逐步汇合后的结果，而不是仅靠某个单一算法突然消除了所有开销。
论文页面显示，Magnetar的设计、实现和实验评估由微软研究院研究人员 Srinath Setty 等人完成。相关论文题为《Magnetar: High-speed post-quantum RV64 zkVM from standard hashes》，微软研究院将其列为2026年10月的研究论文；密码学电子预印本版本也已发布。
验证可能成为AI代理发展的关键环节
Magnetar的潜在意义，不只在于让零知识证明跑得更快。它所触及的更大问题是：当软件开始代表用户执行操作时，用户和监管者如何确认操作确实按照规则完成。
如果证明生成的成本足够低，代理可以为交易、数据处理、权限变更或其他自动化动作附带可验证证据。这样，系统的可信度就不必完全建立在服务商声誉、日志或事后审计之上。验证者可以直接检查某个程序是否在指定输入和规则下产生了给定结果，同时避免看到不应公开的数据。
但这条路线仍有明显限制。首先，证明程序执行不等于证明程序本身的政策、输入或目标是正确的。如果一条规则写错，系统可能非常可靠地证明它执行了错误规则。其次，证明结果的数学正确性不等于现实世界中的业务事实正确，例如数据是否完整、传感器是否被篡改、外部服务是否返回了真实信息。再次，复杂代理的每个动作、工具调用和外部副作用如何被完整建模，仍然是工程问题。
AIFlux此前对微软 ThinkingBox 的报道也显示，智能体“调用了正确工具”与“最终把业务系统带到了正确状态”之间存在差距。对 Magnetar而言，未来真正重要的测试不只是证明速度，还包括如何把代理的权限、环境状态、外部输入和最终业务结果纳入可审计的证明边界。
研究距离实际部署还有多远
微软研究院将 Magnetar定位为一种面向通用计算的研究型 zkVM。官方页面没有宣布商业定价、托管服务、公开API或大规模生产部署，也没有提供独立第三方对其性能和安全性的全面复核结果。
下一步需要观察的，是其他研究者能否复现实验，能否审查其120位安全参数下的完整证明和安全论证，以及系统在更长程序、更复杂内存访问和真实企业工作负载上的表现。证明大小、生成成本、硬件依赖和开发工具链，也会决定它能否从实验室进入实际应用。
对于后量子安全，Magnetar选择标准哈希函数是一种清晰的保守取向，但它并不能免除对实现、参数和协议组合的长期审查。对于AI代理，微软提出的“每次操作附带证明”更适合作为值得研究的应用方向，而不是已经实现的产品功能。
目前更准确的结论是：Magnetar展示了一种基于标准哈希、面向通用RISC-V程序的zkVM研究方案，并在微软研究院公布的实验中取得了显著的速度提升。它可能推动可验证计算从密码学专家使用的专门技术，走向普通程序员能够接触的工具；但它是否能够成为大规模代理、金融交易或监管系统的可靠基础，仍取决于后续复现、审计和工程化验证。
来源与进一步阅读
- 微软研究院：Proof-based general-purpose computing with Magnetar
- 微软研究院论文页面：Magnetar: High-speed post-quantum RV64 zkVM from standard hashes
- Cryptology ePrint Archive：Magnetar: High-speed post-quantum RV64 zkVM from standard hashes
- IACR News：Magnetar相关介绍
- AI Flux：微软 ThinkingBox发布：智能体“说完成了”不等于数据库真的完成了
- AI Flux：OpenAI称内部AI系统生成并形式化验证纳维–斯托克斯方程解