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

微软研究院推出零知识证明系统 Magnetar，可证明用 Rust、Go 或 C 编写的程序，平均运行速度比此前最快的同类系统快 10 至 39 倍，且安全性仅依赖标准哈希函数。该系统延续了 Spartan、Phalanx、Nova 等十余年研究成果，旨在让生成证明像运行程序一样常规，可用于 AI 智能体行为合规证明和金融机构交易验证等场景。