AI 前沿 · 每日整理
Anthropic 开源 FlashProve：能证明“这条回复真是那个模型答的”，还不用亮出模型本身
用 AI 服务时，用户只能听服务商说自己跑的是哪个模型，没法核对。FlashProve 用密码学证明解决这件事：证明一条回复确实出自事先承诺的那套模型权重，同时不泄露权重本身。它还是原型：按报道，在一张 H100 显卡上证明 Llama 4 Maverick 的速度是每秒 110 个 token，生成的证明文件有 19MB。
原文摘录
Anthropic released FlashProve, an Apache 2.0 zkSNARK prototype that proves a reply came from a committed model without revealing weights.（大意：Anthropic 发布了 FlashProve，一个开源的零知识证明原型，能证明一条回复出自事先承诺的模型，又不暴露权重。）
值得肯定
把“信我”变成“可验”：审计方不用拿到权重，也能核对服务商有没有偷换模型；Apache 2.0 开源，谁都能拿去研究和接着做。
需要注意
还只是原型：证明文件 19MB，成本和延迟离日常使用还远；目前只在特定模型和设置上证明过，离“所有服务通用”还早。