微软研究院发布 Magnetar：基于哈希函数的通用零知识证明虚拟机

微软研究院发布 Magnetar，一个通用零知识虚拟机（zkVM），可证明 Rust、Go 或 C 编写的程序，平均比同类最快系统快 10 到 39 倍，安全性仅依赖标准哈希函数。Magnetar 基于 RISC-V 架构，在笔记本上每秒证明 720 万到 870 万条处理器指令，证明验证约 12 毫秒。