Microsoft Research 开源 Magnetar：基于标准哈希函数的零知识证明 zkVM

Microsoft Research 发布 Magnetar，一个基于标准哈希函数（SHA-256/SHA-3）的零知识证明虚拟机，支持 Rust、Go、C 编译的 RISC-V 程序，在笔记本上可证明 7.2–8.7 百万条处理器指令每秒，15 个基准测试平均比现有最快 zkVM 快 10–39 倍，证明验证耗时约 12 毫秒，且无需椭圆曲线、格密码或可信设置。