Anthropic 开源 FlashProve：用密码学证明验证 AI 输出来源
先了解这件事
Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 零知识证明让用户在不接触模型权重的情况下验证 API 输出确实来自某个特定模型，防止暗中替换为更便宜或更贵的模型。代码、技术文档和 Lean 形式化证明已在 GitHub 以 Apache 2.0 许可证公开。系统要求 AI 实验室发布不泄露模型权重的模型指纹，验证可在本地设备完成。 据 The Decoder 报道的演示，系统在单张 H100 上对 4000 亿参数的 Llama 4 Maverick 以约 110 tokens/秒生成证明，单个证明约 19 MB，普通 CPU 17 秒可验证。目前仍有明显限制：只能证明最多 1024 tokens 的上下文，且只在模型选取单一最可能下一个 token 时有效，不适用于聊天机器人日常使用的随机化输出。 成本是尚未实用的一大障碍：在 Anthropic 的对比条件下，生成证明所需的 GPU 时间约为普通 vLLM 推理的 70～95 倍。Anthropic 称该研究仍在进行中，属于阶段性进展而非完整研究计划，目前没有在 Anthropic 或其他实验室部署的计划。
AI 根据报道生成 · 21 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The DecoderAnthropic 开源 FlashProve 原型，用 zkSNARK 密码学验证 AI 回复出自所声称的模型
Anthropic 发布开源研究原型 FlashProve，基于 zkSNARK 生成紧凑证明，可验证回复确实出自声称的模型而不泄露权重。在单张 H100 上对 4000 亿参数的 Llama 4 Maverick 以约 110 tokens/秒生成证明，单个证明约 19 MB，普通 CPU 17 秒可验证，开销约为正常推理的 70x 到 95x。
- 爱范儿Anthropic FlashProve 研究解读：用零知识证明核验模型推理真伪
Anthropic 发布 FlashProve 开源研究原型，用 zkSNARK 零知识证明让用户在不接触模型权重的情况下核验 API 输出确实来自指定模型。
- TechCrunch · AIAnthropic 开源 FlashProve 系统研究，用密码学证明验证 AI 模型身份
Anthropic 发布 FlashProve 开源系统研究，通过密码学证明验证给定输出确实来自某个特定模型。系统要求 AI 实验室发布不泄露模型权重的模型指纹，可在本地设备完成验证，防止暗中替换更便宜或更贵的模型。技术规范和代码已在 GitHub 开源，但目前没有在 Anthropic 或其他实验室部署的计划。
本事件热度走势
- 可比范围当前
- 14
- 可比范围峰值
- 2411月5日 00:00
- 近 24 小时变化
- -16%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。