模型自证清白：FlashProve 给推理配上零知识证明

API 服务商说「你用的是我们的旗舰模型」，怎么验证？Anthropic 开源了 FlashProve（930 星、Apache 2.0，Lean 编写）：让服务商用零知识证明每次回复确实来自承诺的模型，全程不用公开模型权重。

流程三步。Commit：服务商发布一个承诺 ID，把自己绑定到某一组权重，权重本身保密（除一份声明清单外，所有依赖权重的值都被掩盖）。Prove：每次回复，服务商的 GPU 生成一份证明，证明该回复就是承诺模型的输出。Verify：任何人都能在普通 CPU 上几秒内用 cp_verify 验完，不需要权重。

跑什么模型有实测：全尺寸 Llama 4 Maverick、1,024 token 上下文、单块 H100，证明器在 24 请求批次下 prefill 约 110 tokens/秒（README 口径）。可靠性是认真做过的：协议在 Lean 4 里有形式化证明，服务商想用非承诺模型的输出冒充，被抓到的概率约为 q/2^124 加 2^-101（q 为哈希查询次数），定理与验证方法在 lean/THEOREM.md。

一个反直觉的细节：README 专门写了「Built to be run by an agent」，构建、运行与校验涉及长时间编译和大量精确比对，这活就是给 coding agent 干的，仓库从 For agents 一节与 AGENTS.md 起步给了完整指令。

三条边界要写清。其一，首页明言这是研究原型：不维护、不接受贡献，别当生产组件。其二，三条体验路线差距很大：验存量证明只要 Linux 加 g++ 13、2GB 内存，构建一两分钟、校验两秒内；小模型要 GPU 与 10GB 内存；全尺寸要 H100 加 280GB 内存、构建约 42 分钟，普通人实际只能跑第一条路线。其三，它证明的是「输出来自承诺的权重」，不证明模型没被微调过、也不证明输出质量好，别把证明范围想大了。

对做 API 聚合、模型中转的团队，以及单纯怀疑服务商偷换模型的用户，「模型身份」第一次有了密码学自证的开源实现。它证明不了质量，但能证明你花的水鱼钱买到的确实是承诺的那台机器在说话。