微软研究院发布 Magnetar：基于哈希的通用零知识证明虚拟机

微软研究院发布零知识虚拟机 Magnetar，可直接证明 Rust、Go、C 编译后的 RISC-V 程序执行，无需手写密码学电路。官方称其在 15 个基准上比同类最快系统平均快 10 至 39 倍，证明验证约 12 毫秒，安全性仅依赖 SHA-256、SHA-3 等标准哈希函数，不依赖椭圆曲线、格假设或可信设置。