Microsoft Research 发布 Magnetar：基于标准哈希函数的通用可验证计算 zkVM

Microsoft Research 发布 Magnetar，这是一种基于 RISC-V 的零知识虚拟机（zkVM），能够证明用 Rust、Go 或 C 编写的程序执行。Magnetar 在笔记本电脑上每秒证明 7.2 至 8.7 百万条指令，平均比同类最快系统快 10 到 39 倍，且其安全性仅依赖于 SHA-256 或 SHA-3 等标准哈希函数，无需椭圆曲线、格密码或可信设置。