Anthropic开源FlashProve验证模型推理

Anthropic近日发布开源研究原型FlashProve，用zkSNARK零知识证明为模型推理生成密码学证明，用户无需获取权重即可核验回答是否来自指定模型，识别中转站掉包。实验基于Llama 4 Maverick：单张H100证明吞吐约110 tokens/秒，1024-token请求证明约19MB，24线程CPU验证约17秒。Anthropic已公开代码、技术报告与Lean形式化证明。