Anthropic 开源 FlashProve 可验证推理系统

Anthropic 开源 FlashProve 系统，基于零知识密码学证明技术，使模型服务商能在不公开权重的情况下证明回答由指定模型生成。该系统已在 400B 参数的 MoE 模型上测试，单张 H100 GPU 每秒可生成约 110 Token 的证明，每 1024 Token 请求的证明文件约 19 MB。相关代码、验证器及形式化证明已开源。