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

2026年10月16日，微软研究院发布零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行。据该报道，Magnetar 基于标准哈希函数实现通用零知识证明，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。这是目前关于该事件的唯一报道，尚无后续进展或与之矛盾的说法。

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

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