Microsoft Research· Srinath Setty·· 2 小时前精选AI 评分67
Microsoft Research 发布零知识证明虚拟机 Magnetar
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 发布零知识证明虚拟机 Magnetar，可证明 Rust、Go 或 C 编写程序的执行，平均比此前最快同类系统快 10 到 39 倍，安全性仅依赖 SHA-256、SHA-3 等标准哈希函数。
推荐理由
原文梳理了零知识证明三大难题的背景，读者可据此理解 Magnetar 在效率、通用性和密码学假设上的具体取舍。
来源：Microsoft Research · microsoft.com