Anthropic 发布 FlashProve 原型，用密码学证明 AI 响应出自哪个模型

Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 在不暴露模型权重的前提下证明某条响应确实由指定模型生成。技术报告显示，对 4000 亿参数的 Llama 4 Maverick，单张 H100 上证明生成速度约 110 tokens/s，每份证明约 19MB，标准 CPU 上验证需 17 秒，相比普通推理带来约 70 至 95 倍开销。