Anthropic 开源 FlashProve 可验证推理原型
先了解这件事
Anthropic 发布并开源可验证推理研究原型 FlashProve：用 zkSNARK 让用户在不接触模型权重的情况下，验证某条回复确由指定模型生成。代码、Lean 形式化证明和文档以 Apache 2.0 协议公开。Anthropic 称，在 400B 参数混合专家模型 Llama 4 Maverick（4-bit 量化）上，单张 H100 生成证明的速度超过 100 tokens/秒，每 1,024 token 请求的证明约 19 MB；其 GPU 耗时约为常用开源库 vLLM 处理同长度提示的 70–95 倍。 MarkTechPost 称，该原型目前每次请求上下文上限为 1,024 token，仅支持贪心解码和 MoE 模型；证明端需要 1 张 H100 80 GB、24 个 CPU 核心和约 290 GB 主机内存。Anthropic 称，该证明可用于防止攻击者劫持对话，也能让安全评估者确认被测模型与线上服务模型一致；TechCrunch 报道称，系统要求模型发布方公开不泄露权重的模型指纹，并可在本地设备完成验证。 Anthropic 表示，这是中间进展，并非已完成的研究议程；TechCrunch 和 IT之家 均称，目前没有在 Anthropic 或其他实验室部署该系统的计划。
AI 根据报道生成 · 31 分钟前更新
报道时间线
沿着报道，了解事件的不同侧面。
- IT之家·人工智能Anthropic 开发 FlashProve 开源系统，用密码学证明 AI 输出来自哪个模型
Anthropic 发布博客介绍其正在开发的 FlashProve 开源系统，通过密码学证明实现“可证明推理”，验证某段 AI 输出确实来自指定模型，原理类似加密邮件签名，可防止暗中换用更便宜或更昂贵的模型。
- TechCrunch：AIAnthropic 研究开源系统 FlashProve，用密码学证明 AI 模型输出身份
Anthropic 发布研究博客，介绍开源系统 FlashProve，通过密码学证明验证某个输出确实来自特定模型，技术规范和代码已在 GitHub 公开。系统要求模型发布方公开不泄露权重的模型指纹，可在本地设备完成验证，可用于防止实验室偷偷换用更便宜或更贵的模型，但暂无在 Anthropic 或其他实验室部署的计划。
- MarkTechPostAnthropic 开源 FlashProve：用 zkSNARK 证明回复来自承诺的模型权重
Anthropic Frontier Red Team 发布开源研究原型 FlashProve，用 zkSNARK 证明 API 回复确实来自已承诺的模型权重，且不泄露权重本身。
- Rohan PaulAnthropic 开源 FlashProve，可验证回复由哪个 AI 模型生成
Anthropic 开源 FlashProve，基于密码学方法让服务器用数学证明某个回复确实来自指定模型，且不泄露模型权重，可用于防止聊天劫持和安全评测验证。
- AnthropicAnthropic 推出 FlashProve 可验证推理研究
Anthropic 公布可验证推理研究 FlashProve，基于成熟密码学技术让开发者验证某条回复是否来自指定 AI 模型，效率显著高于此前开源方法。该证明可用于防止攻击者劫持对话，也能让安全评估者确认被测模型与线上服务模型一致。Anthropic 已开源 FlashProve 代码。
- Anthropic：ResearchAnthropic 发布 FlashProve：用 zkSNARK 实现可验证的大模型推理
Anthropic 发布可验证推理系统 FlashProve，开源协议说明、可执行代码与 Lean 形式化证明（Apache 2.0），让用户在不接触权重、算力有限的情况下验证响应确由指定模型生成。
本事件热度走势
- 可比范围当前
- 153
- 可比范围峰值
- 15811月4日 15:00
- 近 24 小时变化
- +593%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。