Anthropic开源模型来源验证原型
先了解这件事
Anthropic 发布开源研究原型 FlashProve，利用 zkSNARK 让用户核验远程 API 回复是否由指定的已承诺权重模型生成，同时无需公开权重；代码、Lean 证明和文档以 Apache 2.0 许可发布在 GitHub。 实验采用公开 4-bit 权重的 Llama 4 Maverick 400B MoE 模型：证明端用单张 H100 每秒生成约 110 个 token，单次最长 1,024-token 请求产生约 19 MB 证明；验证端无需 GPU，可在 24 线程 CPU 上约 17 秒完成验证。证明端需 H100 80GB、24 个 CPU 核心及约 290GB 主机内存。 该系统仍属研究中间成果，Anthropic 暂无部署计划；目前仅支持最长 1,024 tokens、贪心解码和 MoE 模型，不能验证聊天产品常用的随机采样输出，也要求模型实验室发布可与输出匹配并供密码学验证的模型“指纹”。
AI 根据报道生成 · 4 天前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The DecoderAnthropic 开源 FlashProve 原型，用密码学验证 AI 响应来源
Anthropic 发布开源研究原型 FlashProve，通过 zkSNARK 证明 AI 响应是否由指定模型生成，同时不暴露模型权重。该系统目前只支持最长 1,024 tokens 的上下文，并仅适用于模型选择最高概率下一 token 的场景。
- 爱范儿Anthropic 开源 FlashProve 研究原型，探讨 AI 中转站模型身份验证
Anthropic 发布 FlashProve 开源研究原型，尝试用密码学证明让用户核验远程 API 输出是否来自指定模型权重。该原型基于 zkSNARK，实验使用公开 4-bit 权重的 Llama 4 Maverick，证明生成速度约为 110 tokens/秒，单个 1,024-token 请求的证明约为 19 MB，验证在 24 线程 CPU 上约需 17 秒。
- TechCrunch AIAnthropic 开源 FlashProve 原型以验证 AI 模型输出身份
Anthropic 正在研究开源系统 FlashProve，通过密码学证明确认特定输出是否来自指定 AI 模型。研究人员发布了技术规范和部分可用代码，并允许模型实验室公开不泄露权重的指纹；研究仍在进行，目前没有部署计划。
- MarkTechPostAnthropic 开源 FlashProve，用加密证明验证模型回复来源
Anthropic 发布开源研究原型 FlashProve，通过 zkSNARK 证明回复来自已承诺权重的模型，同时不泄露权重。FlashProve 在 Llama 4 Maverick 的 400B MoE 模型上使用 1 张 H100 实现约 110 tokens/second 证明，生成 18.78 MB 证明，并可在 CPU 上用 17 秒完成验证。