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 倍。 Anthropic 称，该证明可用于防止攻击者劫持对话，也能让安全评估者确认被测模型与线上服务模型一致；TechCrunch 报道称，系统要求模型发布方公开不泄露权重的模型指纹，并可在本地设备完成验证。Anthropic 表示，这是中间进展，并非已完成的研究议程；TechCrunch 称，目前没有在 Anthropic 或其他实验室部署该系统的计划。
AI 根据报道生成 · 1 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- TechCrunch：AIAnthropic 研究开源系统 FlashProve，用密码学证明 AI 模型输出身份
Anthropic 发布研究博客，介绍开源系统 FlashProve，通过密码学证明验证某个输出确实来自特定模型，技术规范和代码已在 GitHub 公开。系统要求模型发布方公开不泄露权重的模型指纹，可在本地设备完成验证，可用于防止实验室偷偷换用更便宜或更贵的模型，但暂无在 Anthropic 或其他实验室部署的计划。
- Rohan PaulAnthropic 开源 FlashProve，可验证回复由哪个 AI 模型生成
Anthropic 开源 FlashProve，基于密码学方法让服务器用数学证明某个回复确实来自指定模型，且不泄露模型权重，可用于防止聊天劫持和安全评测验证。
- AnthropicAnthropic 推出 FlashProve 可验证推理研究
Anthropic 公布可验证推理研究 FlashProve，基于成熟密码学技术让开发者验证某条回复是否来自指定 AI 模型，效率显著高于此前开源方法。该证明可用于防止攻击者劫持对话，也能让安全评估者确认被测模型与线上服务模型一致。Anthropic 已开源 FlashProve 代码。
- Anthropic：ResearchAnthropic 发布 FlashProve：用 zkSNARK 实现可验证的大模型推理
Anthropic 发布可验证推理系统 FlashProve，开源协议说明、可执行代码与 Lean 形式化证明（Apache 2.0），让用户在不接触权重、算力有限的情况下验证响应确由指定模型生成。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。