Anthropic开源FlashProve

Anthropic 开源 FlashProve，把加密货币领域常用的 zkSNARK 零知识证明技术引入 AI 模型推理。

解决什么问题

用户高价购买某款 AI 模型的 API，难以判断服务商是否偷偷换成便宜模型。FlashProve 让服务商先为模型权重生成加密指纹，再为推理结果提供数学证明。用户无需获取权重、不用重跑模型，即可核验指定输出是否来自预先承诺的权重组。Claude 参与了该系统的研发与优化。

实验数据

  • 测试模型：Meta 4000 亿参数 Llama 4 Maverick

  • 证明体积：每 1024 个 token 上下文约 19 MB

  • 验证耗时：普通 CPU 约 17 秒

  • 计算成本：生成证明的 GPU 时间约为普通推理的 70–95 倍


当前局限

每份证明仅能核验一个输出 token，尚无法覆盖整段回答。能否用于揪出偷换模型的 API 服务商，取决于证明成本何时下降。