magnetar

Microsoft Research 发布 Magnetar，用于更快、通用的零知识证明

Microsoft Research 开发了 Magnetar，一个显著提高了通用计算零知识证明实用性的系统。Magnetar 允许用 Rust、Go 和 C 等常用语言编写的程序被证明是正确的，其证明生成速度比以前可比的系统快 10 到 39 倍。这一突破解决了证明效率、无需密码学专业知识的开发者的可用性以及对抗量子密码学基础的依赖性等关键挑战。