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

Microsoft Research 发布 Magnetar，一种基于标准哈希函数的零知识虚拟机，支持 Rust、Go 和 C 程序的可验证执行。Magnetar 在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令，比现有最快同类系统平均快 10 至 39 倍，且证明验证时间仅需约 12 毫秒。