Microsoft Research 用 Magnetar 实现基于证明的通用计算

Microsoft Research 推出零知识证明系统 Magnetar，可直接为 Rust、Go 或 C 编写的程序生成执行正确性证明。其平均运行速度比此前最快的同类系统快 10 至 39 倍，安全性仅依赖标准哈希函数。验证者可在毫秒内完成校验，无需重新运行程序或信任执行方。