微软研究院 Magnetar：基于哈希函数的通用零知识证明系统

微软研究院推出零知识证明系统 Magnetar，可证明用 Rust、Go 或 C 编写的程序，平均比此前最快的同类系统快 10 至 39 倍，且安全性仅依赖标准哈希函数。该系统让证明生成像运行程序一样常规，验证者可在毫秒内确认结果而无需重跑程序或信任执行方。Magnetar 是微软研究院十余年零知识证明实用化研究的最新成果，建立在 Spartan、Phalanx 等工作之上。