微软研究院推出 Magnetar 零知识证明系统，可验证 Rust、Go 与 C 程序执行

微软研究院发布了名为 Magnetar 的零知识证明系统，目标是实现基于证明的通用计算。

据微软研究院介绍，Magnetar 可以证明用 Rust、Go 或 C 编写的程序被正确执行。与此前最快的同类系统相比，该系统生成证明的速度平均快 10 至 39 倍，其安全性则仅基于标准哈希函数。

微软研究院表示，Magnetar 主要针对零知识证明更广泛应用面临的三项问题：证明生成速度、普通程序员的可用性，以及长期可信的密码学基础。