前沿 AI 训练零知识验证的方案与挑战

一篇 arXiv 论文提出用零知识证明验证前沿 AI 训练的方法，认为其在前沿规模上的不可行只是当前范式的限制。方案结合预承诺规范、节点间网络观测和中间计算的 Merkle 承诺，参考 zkVM 提供带原生 BF16/FP32 预编译的简洁证明层，并给出采样检测概率公式。论文还指出权重走私风险，认为全局训练预算机制比单次 FLOP 上限更稳健。