Anthropic 开源了大模型可验证推理系统 FlashProve，普通 CPU 终端上核验一份证明约需 17 秒。它用 zkSNARK 零知识证明，整个流程分三步：部署前生成唯一的权重承诺 ID，当作防篡改的"数字身份证"；模型在云端处理请求、产出结果时同步生成密码学推理证明；核验方既不用下载权重，也不用把模型重跑一遍。
它针对的正是套壳模型——把开源模型重新打包、换掉权重甚至改动输出，再对外宣称完全自研。开源之后，部署方可以给自己上线的实例出具证明，采购方和开发者也能用同一套工具核对身份，不必只听对方怎么说。

限制有两条：17 秒是校验端的耗时，部署侧每次推理都要同步生成一份证明；而且得模型方先接入并出具证明才谈得上核验，尚未接入的模型无法现做体检。它锁定的是模型身份与部署承诺，回答质量不在验证范围内。