深度解读 · 约 5 分钟阅读
微软研究院发布Magnetar可验证计算研究
10月15日研究文章介绍基于RISC-V的零知识虚拟机，并给出特定基准中的性能结果。
- 原文发布
- 本站发布
- 核实时间
微软研究院10月15日介绍Magnetar，目标是让程序执行结果附带可快速检查的密码学证明。接收方不必只依赖运行者的信誉，而可以核对计算是否按指定程序和输入完成；零知识机制还可保护不应公开的输入信息。
听读资讯
朗读当前文章，或连续收听资讯。
正在准备听读…
设备语音
朗读由浏览器或设备处理，AISubHub 不向音频 API 发送文本。可用语音及锁屏播放能力因设备而异。
继续播放时可能重复一小段。
一分钟速览
- Magnetar证明RISC-V指令的执行，可沿用Rust、Go、C等语言的编译工具；其密码学基础采用标准哈希函数，无需可信初始化设置。
- 团队在15个基准程序上报告，相比同机器上的可比系统，平均加速为10至39倍。这是研究方的特定测试结果，不是所有应用都会加速的承诺。
执行证明到底证明什么
微软研究院10月15日介绍Magnetar，一种通用零知识虚拟机。计算除了产生结果，还附带紧凑的密码学证明；接收者无需重跑全部计算，就能核对指定程序是否在约定输入上得出该输出。零知识属性的目标是保护不应公开的输入，而不是要求每个验证者都取得原始数据。
这与依靠运营者信誉、合同和日志不同，但边界必须明确：证明的是编码程序的执行，不是政策本身合理，也不是现实输入真实。原文举出代理证明遵守政策、机构证明交易处理等潜在用途；本站未审计这些场景的实际部署。
证明处理器为何有用
原文将难点归为证明开销、专门编程门槛和长期密码学信任。有些方法要把应用手工转成算术电路，维护成本高，转换错误还可能破坏原本想证明的性质。Magnetar转而证明RISC-V执行，利用开放处理器架构及现成编译器。
微软称可将Rust、Go或C的普通程序编译后证明执行，例子包括业务政策、数据管线和EVM解释器。本站分析：这可能让维护应用的团队更直接参与证明，但仍须定义哪些输入公开、哪些保密，以及验证者接受哪个程序版本。能编译普通代码，不等于整个AI产品都获得认证。
通用能力背后的机制
Magnetar汇合了多条研究线。2019年的Spartan让sum-check方法适用于通用程序且无需可信初始化；Phalanx利用处理器周期等重复结构；Nova系列发展folding，将部分证明结果折叠组合，避免把大计算当一个不可拆的整体。
原文还串起Spice、Lasso、Nebula、Twist and Shout与Jolt的内存证明工作。BinarySpartan转向适合逻辑及标准哈希的二元域；Ligerito提供更短证明的哈希承诺，ring switching帮助承诺比特向量。这是官方博客的架构说明，本站未审计实现或技术论文的形式化安全证明。
标准哈希与分段组合
微软称其安全基础可仅使用SHA-256或SHA-3等标准哈希，不依赖椭圆曲线、格、专用哈希、可信初始化或文中所指未证明的编码论猜想。相较部分替代方案，这是更保守的基础选择，不代表没有实现漏洞、未来攻击，或所有参数配置都同等安全。
验证主要涉及哈希和二元域运算，也正是Magnetar擅长证明的工作，因此验证器本身能成为可证明程序，把片段合并，支撑长运行账本的设想。本站分析：这连接了单次执行与累积证据，但程序身份、状态转移和可接受的证明版本仍须明确定义。
基准数字怎样才不误读
团队报告笔记本上每秒证明720万至870万处理器指令，在15个基准程序中，相比同机最快的可比zkVM，平均加速10至39倍。超过300倍只对应与另外两套系统比较的代币转账基准，不能写成所有负载的平均收益。用例包含哈希和小型EVM解释器内转账。
优化配置报告每秒950万至1280万周期，所述加速再提高约1.3倍，验证证明约12毫秒。原文分别使用“指令”和“周期”，不能随手合并单位。这些是证明生成与检查的性能，不是普通应用或模型推理快10至39倍。本站未复现实验，详细比较条件须参照技术论文。
本站分析：先选可核验声明
试点可从一条明确政策或确定性数据处理步骤开始，先规定接受的代码、输入与结果，再引入证明者，并将生成成本、验证成本及隐私暴露与现有审计比较。这是本站建议的方法，不是微软发布的生产接入配方或投资回报实测。
代理证明某项支付规则已执行，不等于所有情境判断都正确。外部系统仍需控制工具权限、输入来源，以及证明生成失败后的行为。原文描述研究进展与可能用途，没有给出人人可用的订阅、价格或生产服务。它强化的是明确计算的执行证据；规范质量和运营安全仍是独立责任。
有什么影响
对AI agent，值得关注的方向是为明确政策或数据处理步骤留下可验证的执行证据，补充普通日志，让合作方更容易复核结果如何产生。
限制与可用性
证明程序被正确执行，不等于证明模型回答真实，也不能替代政策本身的合理性。本站未复现性能测试或生产部署，不能把这些数字外推到无关工作负载。
来源与证据
原文发布: 2026年10月15日 · 核实时间: 2026年10月20日
AI 辅助采编，依据所列一手来源核实。厂商自报结论注明归属，收录不代表背书。