FlashProve（可验证推理防伪证明）

释义展开

2026-11-02，Anthropic 前沿红队发布《Progress on provable inference》并开源研究原型 FlashProve（Apache 2.0）。它要解决的是一个很现实的信任问题：你花钱调用的模型，真的是服务商承诺的那一个吗？第三方中转站会不会悄悄把贵的模型换成便宜的？过去这只能「凭信任」。

FlashProve 的思路分两步：服务商先对一组模型权重生成隐藏承诺——相当于给模型版本建一个加密指纹（约 6.5MB，离线生成一次约 39 分钟，可支撑约 1600 万次请求）；之后每次推理，再为输出附上一份零知识证明（zkSNARK），普通 CPU 约 17 秒即可核验，无需 GPU。实测单张 H100 上证明生成吞吐约 110 token/秒，每 1024 token 请求的证明文件约 19MB。

用法 / 适用场景

• 模型中转、聚合平台：用户可独立核验「回答确实出自承诺的那组权重」，终结「掉包」疑云。
• 安全评估者：确认自己测的模型，就是客户实际用的那个。
• 研究原型定位：生成证明所需 GPU 时间约为普通 vLLM 推理的 70–95 倍，官方明确这是研究原型而非可上线产品。

变体 / 关联

• 它证明的是「回答出自哪组权重」，不是「回答内容正确」——指定模型幻觉了，证明照样通过。
• 与 anthropic-ipo（Anthropic 上市）、llm（大模型）同属「大模型信任基建」议题。

相关词

模型水印 · 推理审计 · zkSNARK · 可信 AI