微软发布零知识虚拟机Magnetar

2026年10月16日，Microsoft Research 发布零知识虚拟机 Magnetar，可证明由 Rust、Go 或 C 编写的程序执行。据发布方介绍，Magnetar 在笔记本上每秒可证明 720 万至 870 万条处理器指令，在 15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍，证明验证耗时约 12 毫秒。目前仅有一手发布信息，尚无其他报道佐证或补充。

AI 根据报道生成 · 2 小时前更新

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