Anthropic发布FlashProve：开源系统实现大模型推理可验证性
Anthropic推出FlashProve，利用zkSNARK技术让用户在不获取模型权重的情况下，快速验证AI回复确实由指定模型生成。
美国人工智能公司Anthropic于2026年11月2日发布了名为FlashProve的开源原型系统，旨在解决大语言模型的“可验证推理”问题。该系统允许模型提供商在发送回复时附带一个简短的加密证明，用户无需拥有模型权重或专用硬件，即可在几秒钟内验证该回复确实是由声称的特定模型生成的。
这一技术针对的是AI供应链中的信任挑战。目前，用户无法确定API返回的结果是否来自付费订阅的高级模型，还是被路由服务悄悄替换成了更便宜的模型，甚至可能被攻击者篡改。FlashProve基于零知识简洁论证（zkSNARK）构建，这种密码学工具能在隐藏模型权重的前提下，以极小的计算开销验证计算的完整性。
根据Anthropic发布的测试数据，在一个4000亿参数的混合专家模型（Llama 4 Maverick，4-bit量化）上，单张H100 GPU每秒可生成约110个token的证明，每个1024-token请求的证明大小约为19MB。尽管这比使用vLLM等常见库直接运行模型所需的GPU时间多出70至95倍，但相比此前开源系统慢几个数量级的表现，这是一个显著的进步。
Anthropic强调，FlashProve目前是一个分享中间进展的原型，而非完成的研究议程。代码、Lean形式化证明和技术报告已在Apache 2.0许可证下开源。这项研究不仅有助于增强客户对AI提供商的信任，也为监管机构提供了监控AI开发节奏和合规性的潜在工具，例如确保提供商将硬件用于推理而非秘密训练新模型。