Microsoft Research· Srinath Setty·· 6 小时前精选AI 评分87
Microsoft Research 发布 Magnetar：基于标准哈希函数的通用可验证计算系统
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 介绍零知识虚拟机 Magnetar，可证明 Rust、Go 和 C 程序在 RISC-V 上的执行，并让他人在无需重跑程序或获取输入数据的情况下验证结果。
推荐理由
文章系统梳理了 Magnetar 在通用性、证明速度和密码学假设上的设计取舍，并给出多组基准数据。
来源：Microsoft Research · microsoft.com