Anthropic 发布 FlashProve：大模型推理可验证性取得突破

Anthropic 今天发布了 FlashProve，一个面向大模型推理的开源可验证证明原型系统。该系统基于 zkSNARK 密码学技术，允许模型提供方先承诺使用某个模型，然后为每一次响应生成密码学证明，用户无需访问模型权重即可验证响应确实来自该模型。

核心性能指标如下：

• 在 400B 参数的 Llama 4 Maverick 混合专家模型上，4-bit 量化权重，单张 H100 GPU 生成证明速度约 110 tokens/秒
• 每 1,024-token 请求的证明大小约 19 MB
• 证明生成所需的 GPU 时间是模型本身运行（vLLM 上）的 70-95 倍

这个速度比此前开源系统快数个数量级。Anthropic 表示，系统利用了密码学和安全文献中的前沿工具，但依赖的是成熟的密码学证明系统设计原则。所有证明都会隐藏模型权重，但不以隐藏架构为目标。

为增强可信度，团队同时发布了用 Lean 形式化验证语言编写的顶层安全声明证明，以及对应的交互式可视化工具，方便独立审计。此次发布的代码、Lean 证明和文档均采用 Apache 2.0 许可证。项目处于中期研究阶段，Anthropic 明确表示希望社区在此基础之上继续改进。

可验证推理的实用价值体现在几个场景：独立评测机构在模型发布前后的测试中，能确认所测模型确实是公开服务的那个；通过第三方路由服务使用模型的客户，能确认 token 流确实来自所付费的模型；如果攻击者篡改 token 流并冒用模型身份，用户也能发现。