Anthropic发布FlashProve，用零知识证明验证AI推理来源

FlashProve 允许 AI 提供方在不泄露模型权重的情况下证明某请求由特定模型处理。该工具基于 Llama 4 Maverick 全尺寸模型，在单块 NVIDIA H100 上运行，支持 1,024-token 上下文窗口，预填充速度约为 110 tokens/秒。验证过程可在普通 CPU 上通过 cp_verify 工具在数秒内完成，且协议安全性已在 Lean 4 中形式化证明。

Anthropic Frontier Red Team 发布开源研究原型 FlashProve，一个基于 zkSNARK 的可证明推理系统，用于证明回复来自已承诺的模型权重，且不泄露权重信息。