FlashProve 开源 17 秒识破大模型套壳

时间：2026年11月4日 地点：美国 人物：Anthropic 研究团队 事件详情：Anthropic 正式开源密码学验真系统 FlashProve，用于验证大模型回答是否来自宣称的模型。该系统基于 zkSNARK 零知识证明技术，在单张 NVIDIA H100 显卡上可对 4000 亿参数的 Llama 4 Maverick 模型生成证明，吞吐量约 110 Token/秒，每份证明文件约 19MB。普通家用 CPU 仅需 17 秒即可完成验证，较此前方案快约 5000 倍。项目代码、Lean 形式化证明及技术文档均以 Apache 2.0 协议开源，仓库地址见 https://github.com/anthropics/FlashProve 背景：大模型 API 供应链长期存在套壳、偷换模型等灰色地带。部分服务商向客户收取高端模型费用，后台却路由调用更便宜的缩水模型；即便合规接入，也存在模型参数被暗中篡改、推理过程被干预的风险。由于模型权重属于厂商核心资产，普通开发者无法通过复现推理来验证，只能被动承受结果。 影响：FlashProve 首次将可证明推理推进到 4000 亿参数级大语言模型场景，为 AI 服务供应链提供了不依赖中心化机构、不要求服务商交出权重的技术验证路径。该技术可应用于 AI 服务可信验证、推理过程防篡改及模型合规审计，有望重塑 API 代理灰色市场的信任机制。 总结：Anthropic 发布的 FlashProve 代表了 AI 安全基础设施的重要进展。通过密码学手段为每次模型输出附加数学级出生证明，开发者和审计方可以在不获取模型权重的情况下独立验证回答来源。随着可证明推理技术成熟，可验证性正成为 AI 服务的新竞争维度。 参考来源： Anthropic 官方研究博客 https://www.anthropic.com/research/provable-inference DoNews 报道 https://www.donews.com/news/detail/1/6764767.html 爱集微报道 https://www.laoyaoba.com/n/1135890 TheNextWeb 报道 https://thenextweb.com/news/anthropic-flashprove-provable-inference-ai-model-identity Yahoo Tech 报道 https://tech.yahoo.com/ai/claude/articles/anthropic-unveils-flashprove-proving-model-174744459.html 36kr 报道 https://eu.36kr.com/en/p/4054667624977539