前沿 AI 训练的零知识验证提案与障碍：基于 zkVM 的可审计训练记录构建

论文提出前沿 AI 训练的零知识验证设计方案，主张 zkVM 并非不可行而是当前范式限制，通过预承诺规格与 Merkle 承诺验证中间计算。 参考 zkVM 具备原生 BF16/FP32 预编译层，结合公共随机信标与事前证明，可按位核对声明语义并支持模型架构保密性。 文章列举了外部贡献者需解决的剩余研究与工程问题，为构建治理可审计的训练记录提供量化采样保证。