微软 Magnetar：基于证明的通用计算，零知识证明提速 10~39 倍
2026.10.16 · 事件 · 研究进展 · 官方发布
微软研究院推出 Magnetar，可直接证明 Rust、Go、C 程序执行，安全性仅依赖标准哈希函数。
微软研究院发布 Magnetar，一种基于证明的通用计算新形式：程序运行后附带一份短证明，任何人可在毫秒级验证结果，无需重跑程序或信任执行方。它支持 Rust、Go、C 编写的程序，平均比此前最快的同类系统快 10 到 39 倍，且安全性仅依赖标准哈希函数，以应对量子计算威胁。
- 程序运行后附带短证明，毫秒级验证，无需重跑
- 支持 Rust、Go、C 等通用编译程序
- 平均比此前最快同类系统快 10~39 倍
- 安全性仅依赖标准哈希函数，抗量子
- 微软研究院十余年零知识证明研究的成果
为什么值得看
零知识证明走向通用程序的关键一步，兼顾速度、易用与抗量子安全。
适合谁关注
关注密码学、区块链、隐私计算与后量子安全的开发者与研究者。