Microsoft Research · Srinath Setty · 18 天前精选模型评分65
微软研究院发布 Magnetar：基于标准哈希函数的零知识虚拟机
Proof-based general-purpose computing with Magnetar
导读
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序，在 15 个基准程序上平均比现有最快的同类零知识虚拟机快 10 到 39 倍。
推荐理由
微软研究院把零知识证明的速度、通用性和后量子安全放在同一套系统里，读者可据此判断可验证计算离日常工程还有多远。
分类置信度
高
- 官方或准官方来源，且无冲突类别。
- 正文、可信日期、主分类和证据摘录完整。
来源级别：官方一手
事件类型：研究发布
证据摘录
- “Magnetar is a zero-knowledge virtual machine, or zkVM, and it makes major progress on all three challenges at once.”
来源：Microsoft Research · microsoft.com