Microsoft Research· Srinath Setty·· 18 天前精选AI 评分70
Magnetar：基于证明的通用计算
Proof-based general-purpose computing with Magnetar
AI 导读
微软研究团队开发的零知识证明虚拟机 Magnetar，在效率、通用性和安全性方面取得了重大进展，有望推动可验证计算的发展。
推荐理由
Magnetar 是微软研究团队开发的零知识证明虚拟机，在效率、通用性和安全性方面取得了重大进展，有望推动可验证计算的发展。
来源：Microsoft Research · microsoft.com