Anthropic 开源 FlashProve，面向大模型推理结果验真

Anthropic 宣布开源大模型可证明推理系统 FlashProve，旨在验证模型身份及推理输出。系统采用 zkSNARK 技术：部署前生成模型权重的密码学承诺，推理时同步生成证明，验证方无需获取完整权重或重新运行模型，即可在普通 CPU 上完成验证。据介绍，单次验证约需 17 秒；流式处理架构可支持单张 H100 显卡运行并验证最高 4000 亿参数的混合专家模型。项目代码逾 95% 由 Claude 生成，并使用 Lean4 进行形式化验证。