Anthropic 开源 FlashProve：用零知识证明验证模型推理结果
怀疑 API 商家偷偷换成便宜模型？Anthropic 开源了 FlashProve，CPU 就能验证输出是不是承诺的那个模型，代码全开放。
Anthropic 开源了基于零知识证明的推理验证系统 FlashProve，服务商可为推理结果生成密码学证明，证明输出确实来自事先承诺的模型权重。验证方不需要模型权重和 GPU，用普通 CPU 十几秒即可验证一个 1024 token 请求（证明约 19MB）。实验基于 Meta 的 Llama 4 Maverick（总参数约 400B、每 Token 激活约 17B 的 MoE），单张 H100 以约 110 token/秒生成证明。目前代价较高，生成证明消耗约 72～94 倍于正常推理的 GPU 时间。证明生成器、验证器和形式化证明代码均已开源。
当你调用某个大模型API时，怎么证明真正回答你的就是商家说的那个模型？怎么知道有没有被偷偷换成别的便宜模型？
Anthropic刚开源了FlashProve，一个基于零知识证明的大模型推理验证系统，让服务商为模型推理结果生成密码学证明，验证输出确实来自事先承诺的模型权重
以后AI服务商给你说用的哪个模型，你可以验证
而且，验证者不需要拿到模型权重，也不需要GPU，只用普通CPU就可以检查证明
Anthropic用Meta的Llama 4 Maverick做了实验，总参数约400B、每Token激活约17B的一个MoE
单张H100大约以110 token/秒生成证明；每1024 token请求的证明约19MB，普通CPU大约十几秒可以验证
成本仍然是高的，生成证明大约消耗正常推理72～94倍的 GPU时间
FlashProve的证明生成器、验证器和相关形式化证明代码全部已开源
#FlashProve #可验证模型 #可信AI
