Microsoft Research· Srinath Setty·精选AI 评分62
Microsoft Research 发布 zkVM 系统 Magnetar，证明速度提升 10 到 39 倍
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go、C 编写的 RISC-V 程序执行，在 15 个基准程序上平均比同机最快 zkVM 快 10 到 39 倍。
推荐理由
Magnetar 仅依赖标准哈希函数就把 zkVM 证明速度提升 10 到 39 倍，可据此比较通用性与安全假设之间的取舍。
来源：Microsoft Research · microsoft.com