Anthropic 开源 FlashProve，用 zkSNARK 验证模型输出真伪

Anthropic 发布开源研究原型库 FlashProve，利用零知识证明验证 AI 推理，可在不泄露模型权重的情况下证明某次请求由特定模型回答，并为大模型推理输出生成可验证证明。该工具已在4000亿参数的 MoE 模型 Llama 4 Maverick 上实测，博主指出可验证推理成本可达普通推理的165倍。