Microsoft Research· Srinath Setty·· 4 天前AI 评分59
Microsoft Research 发布 Magnetar 通用零知识虚拟机
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 发布通用零知识虚拟机 Magnetar，能为 Rust、Go、C 编写的程序生成执行正确性证明，在 15 个基准测试上平均比同类最快的系统快 10 至 39 倍。
来源：Microsoft Research · microsoft.com