微软研究院介绍了Magnetar：它能为Rust、Go或C编写的程序生成执行证明，让接收结果的人不必重新运行程序，也能核验程序是否按所声明的方式执行。据微软研究院披露，Magnetar的运行速度平均为此前最快可比系统的10至39倍，其安全性仅依赖标准哈希函数。
这项工作的核心是零知识证明。程序运行后，除输出结果外，还提供一份简短的密码学证明，证明该程序在给定输入上产生了相应输出。接收者可以在毫秒级时间内检查证明，无须信任执行程序的一方，也无须获得运行所用的数据；零知识属性则让本应保密的输入不被证明泄露。
微软研究院将推广这类计算的难点归纳为三项：证明生成要足够快，普通程序应能在不要求使用者具备密码学专长的情况下获得证明，以及所依赖的密码学基础要能在数十年后仍获信任。研究院称，Magnetar在这三个方向均取得进展，是其十余年零知识证明实用化研究的最新成果。
对AI智能体而言，文中提出的潜在用途是：智能体代表用户行动时，可以附带证明，表明每项行动符合用户给定的策略。这个场景仍是条件性的应用设想，前提是生成证明能像运行程序一样常规化，并非文中已经宣布落地的AI功能。这里核验的对象也是程序执行或行动是否符合给定策略，而不是笼统判断AI输出是否正确。