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

Microsoft Research 发布 Magnetar，这是一种基于 RISC-V 架构的零知识虚拟机（zkVM），支持 Rust、Go 或 C 语言编写的程序。该系统仅依赖 SHA-256 或 SHA-3 等标准哈希函数，无需椭圆曲线、格密码或可信设置，在笔记本电脑上每秒可证明 720 万至 870 万条指令，比同类最快系统平均快 10 至 39 倍，证明验证仅需约 12 毫秒。