Anthropic开源FlashProve可验证推理原型
先了解这件事
Anthropic 前沿红队发布开源研究原型 FlashProve，用 zkSNARK 为模型权重生成数字指纹，使每条回复附带一份不泄露权重的证明，供验证方确认输出确实来自所声称的模型。代码、Lean 证明和文档以 Apache 2.0 许可在 GitHub 开放。 在 Llama 4 Maverick（400B MoE）上，单张 H100 的证明速度约 110 tokens/s，证明体积 18.78 MB，CPU 验证约 17 秒。证明方需 1 张 H100 80 GB、24 个 CPU 核心和约 290 GB 主机内存；验证方仅用 CPU、无需 GPU。 限制明显：目前仅支持最长 1,024 tokens 的上下文、贪心解码和 MoE 模型；证明隐藏权重但不隐藏模型架构，且只适用于模型选取单个最可能下一 token 的情形，不适用于聊天机器人常见的随机采样输出。Anthropic 称研究仍在进行，这是中间进展而非完整研究议程，暂无在 Anthropic 或其他实验室部署的计划。
AI 根据报道生成 · 7 天前更新
事件进展
2 个进展
- 11月4日 06:41 · 1 篇报道Anthropic公布模型身份验证系统FlashProveTechCrunch · AI：Anthropic 研发 FlashProve 系统，用密码学证明 AI 模型身份
- 11月4日 06:08 · 2 篇报道Anthropic发布可证明推理原型FlashProveMarkTechPost：Anthropic 开源 FlashProve：用 zkSNARK 证明回复来自指定权重
报道时间线
沿着报道，了解事件的不同侧面。
- The DecoderAnthropic 发布 FlashProve 原型，用密码学证明 AI 回复出自哪个模型
Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 为模型权重生成数字指纹，并在每次回复时附带一份不泄露权重的证明，以验证输出确实来自声称的模型。
- TechCrunch · AIAnthropic 研发 FlashProve 系统，用密码学证明 AI 模型身份
Anthropic 正在研发开源系统 FlashProve，为模型输出提供可验证推理的密码学证明，让用户确认回答确实来自所声称的模型。该系统要求 AI 实验室为每个模型发布不暴露权重的指纹，验证可在本地设备完成，可防止厂商暗中替换更便宜或更贵的模型。研究人员已发布技术规范和部分开源代码，研究仍在进行，暂无在 Anthropic 或其他实验室部署的计划。
- MarkTechPostAnthropic 开源 FlashProve：用 zkSNARK 证明回复来自指定权重
Anthropic 前沿红队开源了可验证推理原型 FlashProve，用 zkSNARK 证明某条回复来自已承诺的模型权重，且不泄露权重本身。在 Llama 4 Maverick（400B MoE）上，单张 H100 的证明速度约 110 tokens/s，证明体积 18.78 MB，CPU 验证约 17 秒。
本事件热度走势
- 可比范围当前
- 3
- 可比范围峰值
- 2211月5日 00:00
- 近 24 小时变化
- -78%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。