Anthropic开源FlashProve，用零知识证明验证模型身份

Anthropic与零知识证明研究者开源FlashProve，用于核验大模型服务是否使用其公开承诺的权重。模型上线前，可用单张H100约39分钟生成并公开权重标识；每次推理后由GPU生成约19MB的证明。用户无需获取权重或使用GPU，在普通CPU上运行cp_verify约17秒即可完成核验。针对4000亿参数的Llama 4 Maverick，方案利用混合专家架构，仅对每个token激活的约170亿参数生成证明，并通过分段加载权重适配H100显存。项目采用zkSNARK，相关数学证明使用Lean 4进行形式化验证。