Anthropic 开源 FlashProve：用密码学证明 AI 回复出自哪个模型而不暴露权重

Anthropic 发布开源研究原型 FlashProve，基于 zkSNARK 为模型输出生成证明，验证回复确实来自声称的模型且不泄露权重。对 400B 参数的 Llama 4 Maverick，单张 H100 上约 110 tokens/秒生成证明，每份约 19MB，标准 CPU 上 17 秒可验证，开销约为正常推理的 70x 至 95x。