Anthropic 开源 FlashProve：不公开权重，也能证明回答出自哪个模型

作者：林序

Anthropic 在官方 GitHub 开源了密码学证明工具 FlashProve，服务商可证明某条回复出自所宣称的模型，而无需公开权重；该工具目前标记为不再维护的研究原型。

Anthropic 在官方 GitHub 开源了一套名为 FlashProve 的工具：AI 服务商可以证明某条回复确实出自所宣称的那个模型，整个过程不公开模型权重。代码采用 Apache 2.0 许可证，已可下载 。

仓库 10 月 30 日创建，版本 0.16.0，截至 11 月 8 日约有 970 个星标 。X 上有帖子称它“改变每一次 API 调用的信任基础” ；Anthropic 官方新闻页暂未检索到对应公告 ，本文以仓库说明为准。

工作原理分三步。服务商先公布一个“承诺 ID”，将自身与一组权重绑定；每回复一次，服务商的 GPU 生成一份证明；任何人用普通 CPU 几秒内跑一遍 cp_verify 就能验证，全程不接触权重 。这是零知识证明的常见思路——不亮出秘密本身，也让别人能确认结论。协议可靠性另用 Lean 4 做了形式化证明 。

限制需要说清。README 明确标注这是“研究原型，不再维护，不接受贡献” 。目前演示的是开源模型 Llama 4 Maverick，不是 Claude 自家模型；证明端要一台 H100 GPU，完整流程约需 330 GB 内存，耗时以小时计 。

对普通用户来说，它的价值在于补上一个看不见的缺口：调用 API 时，你只看得到返回的文字，无法分辨背后是不是宣称的那个模型。有了可验证的凭据，识别套壳应用、企业采购比对、合规审计都多了一个抓手——前提是这类方案从原型走进日常服务。

转载说明

本文根据以下公开资料整理，原文及配图出处见下方。

• [S1] Anthropic just open-sourced a way to prove which AI model actually answered you. No weights revealed. Cryptographic proo · Ermiya Labs
• [S2] Newsroom
• [S3] Anthropic
• [S4] Anthropic
• [S5] Engineering
• [S6] Build software better, together
• [S7] https://api.github.com/search/repositories?q=org%3Aanthropics+zero-knowledge
• [S8] https://raw.githubusercontent.com/anthropics/FlashProve/main/README.md
• [S9] GitHub - anthropics/FlashProve: A research prototype for zero-knowledge proofs of AI inference. Not maintained.
• 配图 1：来源：www.anthropic.com（图片署名见原文） · 图片出处
• 配图 2：来源：www.anthropic.com（图片署名见原文） · 图片出处