Anthropic 开源 FlashProve 可验证推理研究

Anthropic 联合 EPFL、MIT 等机构发布 FlashProve 研究原型，利用 zkSNARKs 证明模型回复来自已承诺的权重，同时隐藏权重并捕捉 token 流中途篡改。研究在 Llama 4 Maverick 的 4-bit 权重上测试，证明耗时约为 vLLM 推理的 70-95 倍 GPU 时间，目前支持最长 1,024 token 上下文，并开源代码与 Lean 形式化证明。