微软研究院发布 Magnetar：基于证明的通用计算 zkVM

微软研究院发布 Magnetar，一个通用零知识虚拟机（zkVM），可直接证明 Rust、Go、C 编写的 RISC-V 程序执行。它在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约需 12 毫秒，安全性仅依赖 SHA-256 或 SHA-3 等标准哈希函数，无需椭圆曲线、格或可信设置。