研究：Anthropic开源FlashProve，用零知识证明验证大模型推理

Anthropic 发布开源研究原型 FlashProve，利用零知识证明验证 AI 回复是否由指定模型权重生成，用户无需获取模型权重或重新运行模型。零知识证明也是区块链领域使用的密码学技术。参与研究者包括加密技术公司 StarkWare 联合创始人 Alessandro Chiesa。Anthropic 称，Claude 参与改进该系统；在 4000 亿参数的 Llama 4 Maverick 模型测试中，单张 H100 显卡生成证明的速度约为每秒 110 个 token（文本单位），但所需 GPU 时间为普通推理的约 70 至 95 倍。该原型目前支持最多 1024 个 token 的上下文，仍处于研究阶段。