FlashProve 有望解决 AI 服务中的信任问题。例如，第三方 API 中转商可能将用户购买的高级模型替换为低成本模型，而用户难以察觉。通过密码学证明，未来用户可以独立验证模型身份，同时保护服务商的专有模型权重。
Anthropic 于 11 月 2 日通过博文公布了一项大型语言模型可验证推理研究成果，推出开源原型系统 FlashProve。该技术利用零知识证明（zkSNARK），让用户无需获取模型权重或重新运行模型，就能验证 AI 回答是否确实由指定模型生成。
• 演示使用了 Llama 4 Maverick，采用 4 位权重、整数运算、贪心解码，上下文长度最高为 1,024 个词元。
• 在一台配备 24 线程 CPU 的机器上，验证耗时 17 秒；据报告，每份证明仅验证 1,024 词元请求窗口中的一个词元。
• Anthropic 将此次发布称为早期演示，而非 Claude 推理性能基准测试，并表示一些可能的优化尚未纳入。
该原型面向客户和评估方对模型身份进行审计，而非评估答案质量；代价是证明方需要承担大量额外开销：据报告，生成证明所耗费的 GPU 时间是使用 vLLM 处理同等提示词的 70 至 95 倍。
早些时候，Anthropic更新使用政策：禁止通过消费者订阅转售Claude访问权限
