Anthropic 发布 FlashProve：用密码学证明回复来自指定模型

Anthropic 开源了 FlashProve，一个基于 zkSNARK 的原型系统，能验证回复确实来自被承诺的模型权重，同时不泄露权重本身。项目采用 Apache 2.0 许可证。在测试中，它对 Llama 4 Maverick 的推理证明达到每秒 110 个 token，运行在单块 H100 上。单个证明大小为 19 MB。