Anthropic开源零知识证明系统FlashProve

Anthropic 发布基于零知识证明（zkSNARK）的开源 AI 推理验证系统 FlashProve，StarkWare 联合创始人 Alessandro Chiesa 参与研究。该系统利用与区块链 ZK 技术同源的密码学方法，使用户无需获取模型权重或重新运行模型，即可验证 AI 输出是否由指定模型生成。

Anthropic 表示，Claude 参与了系统优化，目前已开源相关代码及 Lean 形式化证明。该系统仍处于研究原型阶段，证明生成的 GPU 时间开销约为普通推理的 70–95 倍。

测试显示，FlashProve 在单张 H100 GPU 上，可为 Meta 旗下 4000 亿参数模型 Llama 4 Maverick 以约每秒 110 Token 的速度生成证明，单个证明约 19 MB。