微软研究院 Magnetar：基于证明的通用计算，比此前最快同类系统快 10-39 倍

微软研究院推出零知识证明系统 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序，平均比此前最快的同类系统快 10 到 39 倍，安全性仅依赖标准哈希函数。它同时应对证明生成效率、通用易用性和长期密码学安全三大挑战，是微软十余年可验证计算研究的成果。