Anthropic开源FlashProve验证模型输出
先了解这件事
Anthropic 的 Frontier Red Team 发布开源研究原型 FlashProve，用 zkSNARK 证明 API 回复确实来自已承诺的模型权重，且不泄露权重本身；完整代码、Lean 证明和文档已在 GitHub 以 Apache 2.0 许可公开。 在 Meta 的 400B 参数模型 Llama 4 Maverick 上，单张 Nvidia H100 以每秒 110 个 token 生成证明，每份约 19MB，普通 CPU 核验每份约需 17 秒；Anthropic 称此前唯一能为该模型出具证明的系统 VerInf 生成的证明达 93.6GB，核验耗时近一天。 该原型目前仅支持 1,024 token 上下文、贪心解码和 MoE 模型，隐藏权重但不隐藏模型架构；配套的快速 C++ 核验器供日常使用，但不提供形式化保证。研究团队称研究仍在进行，尚无在 Anthropic 或其他实验室部署的计划。
AI 根据报道生成 · 1 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- Hacker NewsAnthropic 发布 FlashProve：大模型可证明推理取得进展
Anthropic 发布 FlashProve，一个面向大模型可证明推理的开源原型，用 zkSNARK 让用户在不接触权重的情况下验证回复确实来自所声明的模型。
- RadarAIAnthropic 发布 FlashProve 原型，用 zkSNARK 验证 AI 响应来自指定模型而不暴露权重
Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 证明某条 AI 响应确实由声明的模型生成，且不暴露模型权重。在单张 H100 上为 4000 亿参数的 Llama 4 Maverick 生成证明约 110 tokens 每秒，每份证明约 19 MB，普通 CPU 上 17 秒可验证，开销约为正常推理的 70x 至 95x。
- The DecoderAnthropic 发布 FlashProve 原型，用 zkSNARK 证明 AI 回复出自哪个模型
Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 在不暴露模型权重的前提下证明某条 AI 回复确实由声称的模型生成。
- RadarAIAnthropic 开发 FlashProve 开源系统，用密码学证明 AI 输出来自哪个模型
Anthropic 正在开发名为 FlashProve 的开源系统，通过密码学证明实现“可证明推理”，验证某段 AI 输出确实来自指定模型。其原理类似加密邮件签名，可防止 AI 公司暗中换用更便宜或更昂贵的模型，也能核查第三方关于任务由某模型完成的声明。AI 实验室需为每个模型提供不泄露权重的“指纹”，验证可在本地设备完成；技术规范与可运行代码已在 GitHub 开源，目前尚未计划部署。
- TechCrunch · AIAnthropic 研发 FlashProve 系统，用密码学证明 AI 模型身份
Anthropic 正在研发开源系统 FlashProve，通过密码学证明某段输出确实来自指定模型，即所谓可验证推理。该系统要求模型方发布不暴露权重的模型指纹，可防止厂商暗中换成更便宜或更贵的模型，也能验证第三方声称某项任务由某模型完成。研究团队已在 GitHub 以开源许可发布技术规范和部分代码，但尚无在 Anthropic 或其他实验室部署的计划。
- RadarAIAnthropic 研究开源系统 FlashProve，用密码学证明 AI 模型输出身份
Anthropic 发布研究博客，介绍开源系统 FlashProve，通过密码学证明验证某个输出确实来自特定模型，技术规范和代码已在 GitHub 公开。系统要求模型发布方公开不泄露权重的模型指纹，可在本地设备完成验证，可用于防止实验室偷偷换用更便宜或更贵的模型，但暂无在 Anthropic 或其他实验室部署的计划。
- RadarAIAnthropic 开源 FlashProve：用 zkSNARK 证明回复来自承诺的模型权重
Anthropic Frontier Red Team 发布开源研究原型 FlashProve，用 zkSNARK 证明 API 回复确实来自已承诺的模型权重，且不泄露权重本身。
- RadarAIAnthropic 开源 FlashProve，可验证回复由哪个 AI 模型生成
Anthropic 开源 FlashProve，基于密码学方法让服务器用数学证明某个回复确实来自指定模型，且不泄露模型权重。
- RadarAIAnthropic 推出可验证推理研究 FlashProve 并开源代码
Anthropic 公布可验证推理研究 FlashProve，基于成熟密码学技术让开发者验证某条回复是否来自指定 AI 模型，效率显著高于此前开源方法。该证明可用于防止攻击者劫持对话，也能让安全评估者确认被测模型与线上服务模型一致。Anthropic 已开源 FlashProve 代码。
- RadarAIAnthropic 开源 FlashProve，为模型输出生成可验证证明
Anthropic 开源 FlashProve，该系统通过权重承诺和类零知识验证为 AI 模型输出生成可验证证明，让用户以极少的 CPU 资源确认回答来自某个已承诺的模型。材料仅提供一句话摘要，未给出更多技术细节。
本事件热度走势
- 可比范围当前
- 33
- 可比范围峰值
- 3411月5日 02:00
- 近 24 小时变化
- +268%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。