Anthropic 发布 FlashProve 原型，用零知识证明验证 AI 回答出自哪个模型

Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 密码学技术证明 AI 回答确实由声称的模型生成，且不暴露模型权重。单张 H100 GPU 上对 Llama 4 Maverick（4000 亿参数）约每秒生成 110 token 的证明，单个证明约 19MB，普通 CPU 上 17 秒可验证，开销约为常规推理的 70 到 95 倍。