Anthropic 开源 FlashProve：零知识证明可验模型来源，成本达 72 倍

一句话看懂：Anthropic 发布开源原型 FlashProve，用零知识证明让用户在不接触模型权重的情况下核验一条回复出自哪个已承诺的模型，但证明成本约为正常推理 GPU 时间的 72 倍。

事件核心：发生了什么

2026 年 11 月 2 日，Anthropic 公布“可验证推理”研究进展，并开源 FlashProve 原型（Apache 2.0）。其流程分三步：提供方一次性发布权重指纹（承诺），约需 39 分钟，可覆盖约 1600 万次请求；每批请求后生成 zkSNARK 证明；任何人用普通 CPU 即可验证。实测基于 Llama 4 Maverick（400B 总参数、每 token 约激活 17B、4-bit 权重），单张 H100 证明吞吐约 110 tokens/s，每 1024 token 请求约需 9.3 秒 GPU 时间，证明约 19 MB，CPU 验证约 17 秒。目前仅覆盖贪心解码、整数权重版本和 1024 token 上下文。

为什么重要

调用 API 时，用户通常只能信任服务商确实运行了其宣称的模型，而无法核验是否被静默替换为更便宜或修改过的版本。FlashProve 把这种信任变成可检查的证明，对模型采购、合规审计和监管验证有直接价值。其可行性依赖混合专家架构：每 token 只激活少量专家，证明开销随激活参数而非全模型规模增长。但 72 倍 GPU 开销意味着无法逐请求证明，Anthropic 建议按批次事后生成，或对随机抽样的请求出具证明。

对用户/开发者/创作者的影响

目前公开信息显示，这仍是研究原型，不是可直接接入的 API。对企业采购方，它提供了未来核验模型来源的技术路径；对开发者，开源代码与 Lean 形式化证明便于审查协议层安全声明。需注意限制：只证明权重与输出之间的计算关系，不覆盖采样输出、对抗性提示、侧信道，也不能排除同一硬件同时用于训练。快速 C++ 实现与论文及 Lean 版本的一致性尚未形式化验证。