微软研究院 Magnetar：基于哈希函数的零知识证明系统，证明速度提升 10-39 倍

微软研究院推出零知识证明系统 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序，平均运行速度比此前最快的同类系统快 10 至 39 倍，安全性仅依赖标准哈希函数。该系统延续 Spartan、Phalanx、Nova 等十余年研究，无需开发者手写密码学电路，也无需可信设置。