Microsoft Research· Srinath Setty·· 5 天前精选
Microsoft Research 发布 Magnetar：基于标准哈希函数的通用零知识证明 zkVM
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序，并同时改善证明效率、通用性与安全性三项难题。
推荐理由
微软研究院梳理十余年零知识证明研究脉络，Magnetar 用标准哈希函数实现通用程序证明，速度较同类 zkVM 提升 10 至 39 倍。
来源：Microsoft Research · microsoft.com