Anthropic 开源 FlashProve：用零知识证明验证模型推理结果

Anthropic 开源了基于零知识证明的推理验证系统 FlashProve，服务商可为推理结果生成密码学证明，证明输出确实来自事先承诺的模型权重。验证方不需要模型权重和 GPU，用普通 CPU 十几秒即可验证一个 1024 token 请求（证明约 19MB）。实验基于 Meta 的 Llama 4 Maverick（总参数约 400B、每 Token 激活约 17B 的 MoE），单张 H100 以约 110 token/秒生成证明。目前代价较高，生成证明消耗约 72～94 倍于正常推理的 GPU 时间。证明生成器、验证器和形式化证明代码均已开源。