Anthropic推出FlashProve验证系统 首次实现AI模型输出数学级可证真

Anthropic近日推出名为FlashProve的开源研究原型，利用zkSNARK零知识证明技术为大模型推理生成密码学验证凭证，使用户能在不接触模型权重的前提下，数学化验证输出是否真实来自标称模型。该系统要求服务商预先对模型权重生成不可逆承诺，每次推理后生成对应输入-输出对的证明文件；验证环节仅需CPU，24线程下1024-token请求验证耗时约17秒。尽管证明生成仍较昂贵——以Llama 4 Maverick为例，H100 GPU吞吐量仅110 tokens/秒，为常规推理速度的1/7至1/1.4——但相较早期ZK方案已有显著工程进步。

该功能直指AI服务生态长期痛点：第三方API中转平台常存在模型版本混淆或动态降级问题。斯坦福2024年研究显示，31个商业Llama API端点中11个输出分布与官方权重显著偏离。传统依赖语义测试（如特定提问）的方法易受采样、截断干扰，而FlashProve从计算路径层面校验，逻辑更可靠。

不过其有效性依赖权威承诺源——若用户无法获取厂商发布的原始权重承诺，中转站仍可伪造“有效但错误”的证明。因此，技术价值需配合行业协同：模型厂商公开承诺或第三方机构建立验证库。目前Anthropic已开源代码并发布技术报告，明确将此作为“可证明推理”路线第一步，后续拟支持多轮对话验证及与vLLM等框架集成。

产业影响方面，该方案可能压缩依赖转发API的中转站生存空间，迫使其在成本与可信度间抉择。但受限于性能瓶颈（暂不适配实时对话）、生态覆盖不足（仅Anthropic推进）及MoE架构专家路由黑箱等问题，全面落地仍需时间。