微软研究院 Magnetar：用零知识证明实现通用计算，平均速度提升 10–39 倍

微软研究院发布 Magnetar 零知识证明系统，可在不重跑程序、不暴露输入的情况下为 Rust、Go、C 程序生成可被毫秒级验证的简短证明。它平均比此前最快的可比系统快 10 到 39 倍，并且仅依赖标准哈希函数，不依赖椭圆曲线或格密码假设，规避量子计算风险。