RecodeX 重构消息，微软公开了用于验证普通程序执行结果的零知识虚拟机（zkVM）Magnetar。微软研究院在10月15日的发布说明中表示，Magnetar在笔记本上每秒可证明720万至870万条处理器指令，在15项测试任务中，其证明吞吐量比同一设备上运行的对比系统平均高出10至39倍，证明验证耗时约12毫秒。

论文摘要给出的几何平均加速比为：相较SP1 Hypercube约39倍，相较Jolt-Dory约18倍，相较Jolt-Akita约9.6倍。