微软发布Magnetar零知识证明系统

2026年10月16日，微软研究院在官方博客发布零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行。据该报道，Magnetar 在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒；其安全性仅依赖 SHA-256 或 SHA-3 等标准哈希函数，无需椭圆曲线、格假设、可信设置或未证明的纠错码猜想。报道称该系统是微软研究院十余年零知识证明研究的集成成果。同日，微软研究院官方账号进一步介绍称，Magnetar 让零知识证明无需重跑工作负载或暴露敏感数据即可验证计算结果，支持标准编程语言，具备量子抗性安全，目标是推动零知识证明走向主流应用。目前事件仍处于发布阶段，后续进展有待观察。

AI 根据报道生成 · 20 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。