Magnetar：基于证明的通用计算

Microsoft Research 的 Magnetar 在通用零知识证明计算上取得进展，平均运行速度比此前最快的同类系统快 10 至 39 倍。它可为 Rust、Go 或 C 程序生成执行正确性证明，安全性仅依赖标准哈希函数。验证者无需重跑程序或获取输入数据，即可在毫秒内检查证明。