微软发布零知识证明系统Magnetar

2026年10月16日，微软研究院推出零知识证明系统Magnetar。据该一手报道，Magnetar可证明用Rust、Go或C编写的程序，平均比此前最快的同类系统快10到39倍，且安全性仅依赖标准哈希函数。报道称，该系统是微软研究院十余年可验证计算研究的成果，建立在Spartan、Phalanx、Nova等系列工作之上，目标是让生成证明像运行程序一样常规。目前报道未提及该系统的发布时间表、开源情况或实际应用案例。

AI 根据报道生成 · 39 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。