Microsoft Research· Srinath Setty·· 18 小时前AI 评分54
Microsoft Research 推出 Magnetar：基于证明的通用计算系统
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 发布 Magnetar，这是一种零知识虚拟机（zkVM），允许开发者直接证明 Rust、Go 或 C 编写的程序执行正确性。
来源：Microsoft Research · microsoft.com