Anthropic 开源 FlashProve：用零知识证明验证大模型回答来源

Anthropic 开源了可验证推理系统 FlashProve，让模型提供商在不公开权重的情况下，用零知识证明证实某个回答确由指定模型生成。该系统在 400B 参数的 Llama 4 Maverick 上测试，单张 NVIDIA H100 每秒可生成约 110 个 Token 的推理证明，每 1024 Token 请求的证明文件约 19 MB。