Microsoft Research 发布 Magnetar：基于标准哈希函数的通用零知识证明 zkVM

Microsoft Research 推出零知识虚拟机 Magnetar，可用简短证明确认 Rust、Go 或 C 程序按预期执行，验证约需 12 毫秒。它证明 RISC-V 执行，在笔记本上每秒证明 720 万至 870 万条处理器指令，15 个基准程序平均比同类最快 zkVM 快 10 至 39 倍，优化版本可达每秒 950 万至 1280 万个 cycles。