Microsoft Research· Srinath Setty·· 3 小时前AI 评分57
微软研究院推出 Magnetar zkVM，用标准哈希函数证明通用程序执行
Proof-based general-purpose computing with Magnetar
AI 导读
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go、C 编写的 RISC-V 程序执行，安全性只依赖 SHA-256、SHA-3 等标准哈希函数。
来源：Microsoft Research · microsoft.com