Anthropic 开源 FlashProve 原型，用 zkSNARK 密码学验证 AI 回复出自所声称的模型

Anthropic 发布开源研究原型 FlashProve，基于 zkSNARK 生成紧凑证明，可验证回复确实出自声称的模型而不泄露权重。在单张 H100 上对 4000 亿参数的 Llama 4 Maverick 以约 110 tokens/秒生成证明，单个证明约 19 MB，普通 CPU 17 秒可验证，开销约为正常推理的 70x 到 95x。