微软研究院 Magnetar：基于证明的通用计算，速度提升 10-39 倍

微软研究院推出零知识证明系统 Magnetar，可证明用 Rust、Go 或 C 编写的程序，平均比此前最快的同类系统快 10 到 39 倍，且安全性仅依赖标准哈希函数。该系统是微软研究院十余年可验证计算研究的成果，建立在 Spartan、Phalanx、Nova 等系列工作之上，旨在让生成证明像运行程序一样常规。