普通程序可以证明，倍数是同机平均
微软研究院博客的可见日期是 10 月 15 日，页面时间是世界时 16:00。Magnetar 是一个零知识虚拟机。开篇写，它证明用 Rust、Go 或 C 写的程序，相对此前最快的同类系统平均快 10 到 39 倍，安全只建立在标准哈希上。
后面的测量更具体。在一台笔记本上，它每秒证明 720 万到 870 万条处理器指令。15 个基准程序，从密码学哈希到一个小型以太坊虚拟机解释器里的代币转移，相对同一台机器上最快的现有零知识虚拟机，平均快 10 到 39 倍。在代币转移这一个基准上，比另外两个快 300 倍以上。另外两个没有点名。优化过的版本每秒证明 950 万到 1280 万个周期，文中说这会把上面报过的加速再提高大约 1.3 倍。证明大约 12 毫秒可以验证。
[1]
证明的是编译后的 RISC-V，不是手写电路
开发者用 Rust、Go 或 C 照常写、照常编译，Magnetar 证明的是 RISC-V 上的这次执行。RISC-V 是一种有成熟编译器的开放处理器。博客对比的旧办法，是把程序手工改写成密码学电路，改一次程序就要重做电路。这里不需要那一步。
任何人拿到那份短证明，可以在不重跑程序、也不必信任运行者的情况下检查结果。零知识还意味着证明不露出应当保密的输入。博客没有把“毫秒级检查”写成所有程序、所有机器上的保证，12 毫秒是他们这次测量的验证时间。
[1]只靠标准哈希，智能体证明仍是设想
安全依赖 SHA-256 或 SHA-3 这类标准哈希，不需要椭圆曲线、格、专用哈希函数、可信设置，也不依赖尚未证明的纠错码猜想。博客把这写成和后量子迁移有关的选择：哈希是已经研究得很久的基本工具。这是安全假设的范围，不是一次对量子计算机的测试。
文中举的用途包括：智能体替人做事时，附上每个动作符合所给策略的证明；受监管的金融机构证明交易处理正确，而不公开交易本身。这些写成一旦证明变得平常就有可能，不是已经交付的产品。技术论文给出设计和测量，这篇博客不是论文全文。
[1]