Microsoft Research 发布 Magnetar：为普通 Rust、Go、C 程序生成零知识证明，平均比最快的同类 zkVM 快 10 到 39 倍
「程序确实按声明运行了」可以附一张几毫秒就能验的证明。这一条讲它快在哪、安全性靠什么，以及和智能体的关系。
// 要点
- 证明 RISC-V 程序的执行：Rust、Go、C 程序照常编译即可，无需手工改写成密码学电路。
- 笔记本上每秒可证明 720 万到 870 万条处理器指令；在 15 个基准程序上平均比最快的现有 zkVM 快 10 到 39 倍。
- 安全性只依赖 SHA-256、SHA-3 等标准哈希函数，不需要椭圆曲线、格密码或可信设置。
- 证明很小，验证只需毫秒级；微软举例称，智能体可以为每个动作附上「符合给定策略」的证明。
开发者视角离产品还有距离，但方向值得记下：今天智能体合规靠日志和信任，将来可能靠可验证的证明。眼下能做的是把智能体的策略检查写成确定性的小程序，而不是藏在提示词里，这样无论以后用不用零知识证明，都是可以被验证的。