返回全部动态
微软研究院发布 Magnetar：基于证明的通用计算
原标题：Proof-based general-purpose computing with Magnetar
AI 摘要
微软研究院发布 Magnetar，一种基于零知识证明的通用计算新形式，可为 Rust、Go、C 程序生成执行正确性证明。它宣称在三大挑战上取得进展：证明生成速度比此前最快同类系统平均快 10 至 39 倍，无需密码学专业知识即可用于普通程序，且安全性仅依赖标准哈希函数。该成果是微软研究院十余年零知识证明实用化研究的最新结果。
以上摘要由 AI 生成，可能存在误差。事实请以原文为准。
正文节选
At a glance - A new form of computing. Zero-knowledge proofs let you run a workload and receive, alongside the result, a short proof that the program ran correctly. Anyone can check the proof in milliseconds, without rerunning the program, without trusting whoever ran it, and without needing data on which the program was run. - Three grand challenges have stood in the way of broad adoption: making proofs fast enough to produce, making them available to normal programs without cryptographic exper
发布时间：2026-10-16 00:00
抓取时间：2026-10-16 00:30
来源机构：Microsoft Research