Anthropic开源FlashProve，可密码学验证AI回复来源
该系统利用zkSNARK证明回复与指定模型的计算一致，且不泄露模型权重。
据aitimes.com报道，Anthropic于2026年11月2日发布开源系统FlashProve，可通过密码学手段证明某条AI回复是否出自指定模型。
FlashProve采用zkSNARK零知识证明，在不公开模型权重的前提下确认回复与该模型的计算相符。按照流程，服务提供方先公布与模型权重绑定的数字指纹，再为每一次用户请求生成证明文件。需要说明的是，验证针对的是输出是否匹配指定模型的计算，而非答案在事实上是否正确或质量高低。
实验使用拥有4000亿参数的混合专家模型Llama 4 Maverick，采用公开的4位权重与整数运算。证明生成在单块H100 GPU上完成，每个证明文件约19MB，验证使用24个CPU线程、耗时约17秒。Anthropic表示，在特定实验条件下，证明生成所需的GPU时间比使用vLLM进行普通预填充多出70至95倍。
当前局限与开源内容
现有实现采用1024个token的上下文和有限的计算条件，尚不适用于长对话等商业服务场景。研究团队还使用形式化验证语言Lean检查了证明协议的正确性与安全属性，但未证明整个实现代码的正确性。
Anthropic已在GitHub以Apache 2.0许可证公开技术报告、证明生成与验证代码以及Lean证明材料。此前，用户难以确认AI服务上的某次请求究竟由哪个模型作答。
快速问答
FlashProve能验证答案是否正确吗？
不能。它只验证输出是否与指定模型的计算相符，不判断答案在事实上是否正确或质量高低。
FlashProve使用什么模型做实验？
实验使用4000亿参数的混合专家模型Llama 4 Maverick，采用公开的4位权重和整数运算。
FlashProve的代码在哪里获取？
Anthropic已在GitHub以Apache 2.0许可证公开技术报告、证明生成与验证代码及Lean证明材料。