Microsoft Research 发布基于证明的通用计算系统 Magnetar

Magnetar 是一个零知识虚拟机，可证明 RISC-V 程序的执行并返回可验证的证明。它在普通笔记本上每秒可证明 720 万至 870 万条处理器指令，较现有最快 zkVM 快 10 到 39 倍，且安全性仅依赖 SHA-256 或 SHA-3 等标准哈希函数，无需椭圆曲线或受信设置。