Microsoft Research 发布 Magnetar：基于标准哈希函数的通用零知识虚拟机

Microsoft Research 发布了名为 Magnetar 的零知识虚拟机（zkVM），旨在解决零知识证明在效率、通用性和安全性上的三大挑战。该系统允许开发者使用 Rust、Go 或 C 编写程序，编译后由 Magnetar 生成短小的证明，任何接收者均可在约 12 毫秒内验证结果的正确性，而无需重新运行程序或信任执行方。

在性能方面，Magnetar 在笔记本电脑上每秒可处理 720 万至 870 万个处理器指令，相比同类最快的现有系统平均快 10 到 39 倍，在某些基准测试中甚至快 300 倍以上。其安全性完全建立在 SHA-256 或 SHA-3 等标准哈希函数之上，不依赖椭圆曲线、格密码学或未经长期验证的特殊哈希函数，也不需要进行一次性的可信设置。这种设计不仅使其具备抗量子攻击能力，还使得验证过程本身成为高效的普通工作负载。

从产业链角度看，Magnetar 标志着零知识证明从理论研究和特定场景应用向通用计算基础设施的跨越。它消除了对专用电路重写的需求，使得现有的业务策略、数据管道和智能合约都能像普通代码一样被验证。这意味着未来企业可能不再需要依赖审计或日志来建立信任，而是通过数学证明来确保合规性和正确性。事实是 Magnetar 已实现上述技术指标；推断是其可能加速 AI Agent 在执行任务时的可验证性落地；猜测是短期内是否会成为区块链或分布式系统的默认组件。