微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明虚拟机

用途与思路

微软研究院博客介绍其零知识证明方向的新成果 Magnetar。零知识证明的思路是：程序运行后除输出外，还附带一份简短证明，接收方可在毫秒级检查程序是否按声明执行，无需重跑程序、无需信任运行者，也不暴露本应保密的输入。

本次介绍的变化

Magnetar 被描述为通用零知识虚拟机（zkVM），证明 RISC-V 指令的执行，开发者用 Rust、Go 或 C 写程序并按常规方式编译。据来源称：

• 在笔记本上每秒可证明约 720 万至 870 万条处理器指令；优化版本为 950 万至 1280 万周期/秒（该来源自行标注约 1.3 倍提升）。
• 在 15 个基准程序上，平均比同机最快的既有 zkVM 快 10 至 39 倍；某项代币转账基准中比另外两个系统快 300 倍以上。
• 证明验证时间约 12 毫秒。
• 安全性仅依赖 SHA-256、SHA-3 等标准哈希函数，不使用椭圆曲线、格密码、专用哈希函数或可信设置，也不需要未证明的纠错码猜想。

来源提到这是一条可追溯至 Spartan、Phalanx、Nova 系列、Brakedown、Jolt、BinarySpartan 等工作的技术积累结果。

适用场景与限制

博客列举的潜在用途包括：AI 代理为每个动作附加符合策略的证明；受监管金融机构在不公开交易细节的情况下证明交易处理正确；对长期运行系统（如账本、区块链）分块证明。

需注意：这是研究博客对自身成果的介绍，文中性能数字为该团队报告值，未经过第三方独立复现；技术论文、完整安全分析与测试细节需查阅原论文与基准设置。预印本可能尚未经同行评审，结论不应直接视为已验证。