Microsoft Research 发布 Magnetar：基于标准哈希函数的通用零知识虚拟机

Microsoft Research 推出 Magnetar，一种能直接证明 Rust、Go 或 C 程序执行的零知识虚拟机（zkVM）。它在普通笔记本上实现每秒数百万指令的证明速度，比现有最快同类系统快 10 到 39 倍，且安全性仅依赖 SHA-256 等标准哈希函数，无需椭圆曲线或可信设置。