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

2026年10月16日，微软研究院发布零知识虚拟机 Magnetar，一种基于标准哈希函数的通用零知识证明系统。据微软研究院介绍，Magnetar 可证明用 Rust、Go、C 编写的 RISC-V 程序执行，在笔记本上每秒证明 7.2 至 8.7 百万条处理器指令；优化版本每秒证明 9.5 至 12.8 百万个周期，使所报告的加速比约提升 1.3 倍。其证明验证约需 12 毫秒，在 15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍。该系统不需要椭圆曲线、格、专用哈希函数、可信设置，也不依赖未证明的纠错码猜想。上述性能数据与免依赖条件均出自微软研究院的发布说明。

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

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