Anthropic开源FlashProve验证模型回复来源
先了解这件事
Anthropic联合EPFL、MIT等机构公开FlashProve研究原型及代码，利用zkSNARK零知识证明，让验证者确认回复由已承诺的模型权重生成，同时不泄露权重，并能发现token生成中途被篡改。系统可用于排查回复是否被路由器替换为更便宜的模型，以及核对安全评测模型与实际服务模型是否一致。 项目在4000亿参数、4-bit权重的Llama 4 Maverick上测试，目前仅支持最长1,024 token上下文，覆盖整数化模型和贪婪解码；证明耗时约为vLLM推理的70至95倍GPU时间。代码及Lean形式化证明按Apache 2.0协议开源，仓库标注为不再维护且不接受贡献，官方将其定位为研究原型。
AI 根据报道生成 · 22 分钟前更新
事件进展
2 个进展
- 11月4日 03:54 · 3 篇报道Anthropic发布并开源FlashProveAGI Hunt：Anthropic 发布 FlashProve 密码学验证 AI 回复来源的研究
- 11月3日 14:08 · 2 篇报道Anthropic 开源 FlashProveAGI Hunt：Anthropic 开源 FlashProve，用 zkSNARK 验证模型输出真伪
报道时间线
沿着报道，了解事件的不同侧面。
- TechmemeAnthropic 开源 FlashProve，用密码学验证 AI 响应来源模型
Anthropic 发布开源代码 FlashProve，可通过密码学验证 AI 响应确实来自指定模型，而非被路由器替换成更便宜的模型。该工具聚焦模型来源验证与部署环节的可信性。
- AGI HuntAnthropic 开源 FlashProve 可验证推理研究
Anthropic 联合 EPFL、MIT 等机构发布 FlashProve 研究原型，利用 zkSNARKs 证明模型回复来自已承诺的权重，同时隐藏权重并捕捉 token 流中途篡改。研究在 Llama 4 Maverick 的 4-bit 权重上测试，证明耗时约为 vLLM 推理的 70-95 倍 GPU 时间，目前支持最长 1,024 token 上下文，并开源代码与 Lean 形式化证明。
- AGI HuntAnthropic 发布 FlashProve 密码学验证 AI 回复来源的研究
Anthropic 公布 FlashProve 研究，利用既有密码学技术验证一条回复确实由特定 AI 模型生成，效率高于此前开源方案。论文列举了防止攻击者劫持对话会话、确认安全评测所用模型与用户实际服务模型一致等应用，相关代码已开源。
- AGI HuntAnthropic 开源 FlashProve，用 zkSNARK 验证模型输出真伪
Anthropic 发布开源研究原型库 FlashProve，利用零知识证明验证 AI 推理，可在不泄露模型权重的情况下证明某次请求由特定模型回答，并为大模型推理输出生成可验证证明。该工具已在4000亿参数的 MoE 模型 Llama 4 Maverick 上实测，博主指出可验证推理成本可达普通推理的165倍。
- AGI HuntAnthropic 开源 FlashProve 零知识证明验证库，已在 Llama 4 Maverick 实测
Anthropic 开源了用于可证明推理的 FlashProve 研究原型库，可证明某次请求由特定模型回答，同时不泄露模型权重。该项目已在 4000 亿参数的 MoE 模型 Llama 4 Maverick 上完成测试，代码以 Apache 2.0 协议公开，仓库标注为不再维护且不接受贡献。
本事件热度走势
- 可比范围当前
- 10
- 可比范围峰值
- 1011月4日 04:00
- 近 24 小时变化
- –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。