Microsoft Research· Srinath Setty·· 7 小时前精选AI 评分62
微软研究院发布 Magnetar：用零知识证明实现通用计算
Proof-based general-purpose computing with Magnetar
AI 导读
微软研究院发布零知识虚拟机 Magnetar，开发者用 Rust、Go 或 C 照常编写并编译为 RISC-V 程序后即可由其证明执行，在 15 个基准程序上平均比同类最快 zkVM 快 10 至 39 倍。
推荐理由
原文梳理了微软十余年零知识证明研究脉络，并给出 Magnetar 与现有 zkVM 在速度、通用性和密码学假设上的具体对比。
来源：Microsoft Research · microsoft.com