Magnetar：基于证明的通用计算

微软研究发布 Magnetar 系统，这是一种零知识虚拟机(zkVM)，能证明 Rust、Go 或 C 程序的执行结果，速度比现有系统快 10-39 倍，且安全性仅依赖于标准哈希函数。该系统解决了零知识证明在效率、通用性和安全性方面的三大挑战，使程序执行证明成为常规计算的一部分。