Microsoft Research· Srinath Setty·· 24 天前精选AI 评分62
Microsoft Research 发布零知识虚拟机 Magnetar，比现有最快 zkVM 平均快 10 到 39 倍
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 发布零知识虚拟机 Magnetar，可直接证明 Rust、Go 或 C 程序的执行，在 15 个基准程序上比现有最快 zkVM 平均快 10 到 39 倍。
推荐理由
原文给出零知识证明在速度、通用性和安全性三方面的实测数据，读者可以据此了解可验证计算走向实用的程度。
来源：Microsoft Research · microsoft.com