前沿AI训练的零知识验证是可行的

摘要

本文论证了零知识证明在前沿AI训练验证中的可行性，提出了一种结合预提交训练规范、节点间网络观测和即时Merkle承诺的验证架构，并通过支持BF16/FP32原生预编译的零知识虚拟机实现。该方案能够验证GPU实际执行的浮点计算，同时保护模型架构的机密性。