Anthropic 于 2026 年 11 月 2 日发布 FlashProve 研究：这是一套开源的可验证推理（provable inference）原型。系统基于 zkSNARK，让模型提供方先对一组权重做承诺，再为每次回复附上简短证明，说明该回复由这些权重生成。证明旨在隐藏权重，同时让验证方在普通 CPU 上核对。
发布物包括技术报告、协议说明、证明器与验证器代码，以及对顶层安全声明的 Lean 形式化。代码、Lean 证明与文档采用 Apache 2.0。GitHub 仓库标明这是不受维护的研究工件。TechCrunch 报道称，目前没有在 Anthropic 或其他实验室部署 FlashProve 的计划。
要点
| 项目 | 内容 |
|---|---|
| 名称 | FlashProve |
| 发布 | 2026 年 11 月 2 日（Anthropic 研究帖） |
| 方法 | zkSNARK（交互式预言机证明，经哈希编译） |
| 许可 | Apache 2.0 |
| 演示模型 | Llama 4 Maverick，400B MoE，4-bit；每 token 约激活 17B 参数 |
| 证明吞吐 | 单卡 H100 约 110 tokens/s（24 请求一批） |
| 证明大小 | 每个 1024 token 请求约 19 MB（细数为 18.78 MB） |
| 相对 vLLM 开销 | 约 70～95 倍 GPU 时间（Anthropic 测量） |
| 离线承诺 | 约 39 分钟；约可服务 1600 万次请求；下载约 6.5 MB |
| 验证 | 24 线程约 17 秒；单线程约 21 秒 |
| 仓库 | github.com/anthropics/FlashProve |
背景
使用托管模型的用户通常无法确认回复是否来自所选模型。Anthropic 列举了相关场景：路由服务换成更便宜的模型、攻击者篡改 token 流、评测方核对线上模型，或监管要求证明只服务获批模型。
FlashProve 分成离线权重承诺与在线按请求出证明。完备性与可靠性（soundness）目标是：诚实证明被接受，伪造证明在常见密码假设下失败。零知识意在除声明本身外不泄露权重；模型架构本身不隐藏。Anthropic 用 Lean 陈述协议的完备性、可靠性与零知识，并同时提供快速 C++ 验证器与较慢的 Lean 验证器。
尚不清楚的部分
Anthropic 把 FlashProve 写成阶段性进展，不是成品。已写明的限制包括：
- 单次证明的上下文最长 1024 token。
- 证明针对整数化权重与贪心解码；浮点实现或采样解码可能偏离。
- 效率依赖 Mixture-of-Experts 结构；稠密模型与架构隐藏不在本次范围。
- Lean 协议、论文与快速可执行代码之间，不作完全一致的形式保证。
- 证明耗时等侧信道不在范围内。
其他实验室是否采用这些工件，以及 Anthropic 日后是否为 Claude 流量上线生产级验证，所用来源未说明。