吴说获悉，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倍。