Microsoft Research· Srinath Setty·· 16 小时前
微软研究院发布 Magnetar：基于证明的通用计算 zkVM
Proof-based general-purpose computing with Magnetar
AI 导读
微软研究院发布零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行，在笔记本上每秒证明 720 万至 870 万条处理器指令，15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍，证明验证约 12 毫秒。
入选记录
门槛 60官方一手第一次 62第二次 71
入选两次之和 133 ≥ 门槛的两倍 120
- 信源等级
- 官方一手，这一级的门槛是 60 分
- 预筛
- 通过：零知识证明zkVM，AI Agent可附证明
- 推荐理由
- 微软研究院公开 Magnetar 的 zkVM 设计，读者可了解零知识证明在通用程序上的性能与密码学取舍。
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：Microsoft Research · microsoft.com