Microsoft Research· Srinath Setty·· 2 小时前精选AI 评分66
微软研究院推出 Magnetar：在标准哈希函数上构建的通用零知识虚拟机
Proof-based general-purpose computing with Magnetar
AI 导读
微软研究院发布零知识虚拟机 Magnetar，可在普通笔记本电脑上以约每秒 7.2–8.7 百万条 RISC-V 指令的速度证明 Rust、Go、C 程序的执行；在 15 个基准程序上比同类最快 zkVM 平均快 10–39 倍，证明验证约 12 毫秒。
推荐理由
把零知识证明速度、通用性和抗量子假设在同一系统里同时推进，并给出在通用语言上的实测倍数。
来源：Microsoft Research · microsoft.com