微软研究院发布 Magnetar：为普通程序生成零知识证明，速度提升 10-39 倍
- 核心发布：Magnetar 是零知识虚拟机，证明 RISC-V 程序执行；开发者用 Rust、Go、C 编译后即可生成证明，无需手写密码学电路。
- 性能数据：在笔记本上每秒证明 7.2-8.7 百万条处理器指令；15 项基准中平均比现有最快 zkVM 快 10-39 倍；优化后达 9.5-12.8 百万 cycles/s，证明验证约 12 毫秒。
- 安全设计：仅依赖 SHA-256、SHA-3 等标准哈希函数，无需椭圆曲线、格、特殊哈希、可信设置或未证明纠错码猜想，面向后量子迁移。
- 行业意义：可验证计算从专用电路走向普通程序；AI Agent 可附执行证明，金融、身份、审计等场景可在不公开输入的情况下验证结果。 🔗 微软研究院博客 | 技术论文
