Microsoft Research· Srinath Setty·原文发布2026-10-16 00:00· 2 小时前精选AI 评分62

Magnetar：基于证明的通用计算

Proof-based general-purpose computing with Magnetar

AI 导读

微软研究院发布零知识虚拟机 Magnetar，可证明 Rust、Go、C 编写的 RISC-V 程序执行，在 15 个基准程序上平均比现有最快的同类 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。

本站提供 AI 导读，完整报道请前往来源网站阅读。

阅读原文 Microsoft Research · microsoft.com

推荐理由

微软研究院公开 Magnetar 的设计与基准数据，可了解零知识证明在通用程序上的性能与安全取舍。