Anthropic 开源 FlashProve：用 zkSNARK 证明回答确实出自承诺的模型，400B Llama 4 Maverick 单张 H100 约 110 token/秒
Anthropic Frontier Red Team 11 月 2 日发布研究文章并开源 FlashProve（Apache 2.0）：模型提供方先对权重做隐藏承诺，之后为每次回答生成零知识证明，用户不需要权重、在普通 CPU 上就能验证回答确实来自该模型，可用来识别中转站偷换模型或 token 流被篡改。官方口径：Llama 4 Maverick（400B MoE，4-bit）上单张 H100 约 110 token/秒，每个 1,024 token 请求的证明约 19 MB，GPU 时间约为 vLLM 推理的 70–95 倍。这是不再维护的研究原型，上下文只支持 1,024 token、只覆盖整数化模型的贪心解码。Anthropic 工程师 Steve Weis 在 X 上转发了这次发布。
核心要点速览
- 官方口径：Llama 4 Maverick（400B MoE，4-bit）单张 H100 证明速度约 110 token/秒（24 请求一批的 prefill），每个 1,024 token 请求证明约 19 MB。
- 代价不小：GPU 时间约为 vLLM 推理的 70–95 倍；仓库性能页显示服务端需约 270 GB 内存，一次权重承诺约 39 分钟。
- 验证不需要 GPU：C++ 验证器单线程约 21 秒验完一个证明；另有可证明正确的 Lean 验证器，安全性定理在 Lean 4 中给出证明。
- 对比此前开源方案：VerInf 在同一模型上约 0.02 token/秒；商业方案 Attestable 在 Gemma 4 31B 上 53–77 token/秒，但未开源。
- 限制：v0.16.0 为不再维护的研究原型，上下文 1,024 token，只覆盖整数化模型的贪心解码，不隐藏模型架构。
关联模型 / 智能体 / 厂商:
