Anthropic 开源零知识证明系统 FlashProve，可验证 AI 输出是否来自指定模型

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