Anthropic 开源 FlashProve：用零知识证明防服务商「偷换模型」
Anthropic 开源大模型推理验证系统 FlashProve，利用零知识证明，让开发者无需获取模型权重或 GPU，用普通 CPU 就能验证 API 输出是否来自承诺的模型。最关键的是打破了黑盒信任，不过目前生成证明仍需额外消耗 72 至 94 倍的 GPU 时间。
FlashProve
Anthropic 开源 FlashProve：用零知识证明防模型掉包，单卡每秒 110 token
Anthropic 开源可验证推理系统 FlashProve，利用 zkSNARK 零知识证明技术，在不暴露模型权重的前提下，验证回答是否确由指定模型生成。在单张 H100 上跑 400B 规模的 Llama 4 Maverick，证明速度达每秒 110 token。虽然生成证明比原生推理慢 70 至 95 倍，但普通 CPU 几秒内即可完成验证，为防范输出篡改和合规监管提供了新工具。