FlashProve

美国人工智能公司 Anthropic 于2026年11月2日发布了名为 FlashProve 的开源研究原型，旨在解决大语言模型推理过程中的“可验证性”难题。该系统利用 zkSNARK（零知识简洁论证）技术，允许用户在无法获取模型权重的情况下，通过简短的密码学证明快速验证AI回复确实由指定模型生成，从而防止路由服务偷换模型或攻击者篡改令牌流。

在针对 Llama 4 Maverick（4000亿参数混合专家模型）的测试中，单张 H100 GPU 能以约每秒110个令牌的速度生成证明，每个1024令牌的请求产生约19MB的证明文件。尽管其计算开销约为使用 vLLM 直接运行模型的70至95倍，但这相比此前开源系统实现了数量级的速度提升。FlashProve 以 Apache 2.0 许可证开源了代码、Lean 形式化证明及文档，但 Anthropic 明确指出这仅是中间进展而非最终产品，且目前仅支持特定上下文长度和贪心解码模式。【背景】此技术对于确保独立评估者测试的模型与实际部署模型一致具有重要意义。