Anthropic 开源 FlashProve 验证系统

据 Woofun AI 消息， 发布基于零知识证明的开源 AI 推理验证系统 ， 联合创始人 参与研究。该系统利用与区块链 ZK 技术同源的密码学方法，使用户无需获取模型权重或重新运行模型，即可验证 AI 输出是否由指定模型生成。Anthropic 表示， 参与了系统优化，目前已开源相关代码及 Lean 形式化证明。该系统仍处于研究原型阶段，证明生成的 GPU 时间开销约为普通推理的 70–95 倍。测试显示，FlashProve 在单张 H100 GPU 上，可为 Meta 旗下 4000 亿参数模型 以约每秒 110 Token 的速度生成证明，单个证明约 19 MB。