11月3日，据Anthropic技术博客与多家科技媒体报道，Anthropic Frontier Red Team团队发布开源研究原型FlashProve，把区块链领域常用的零知识证明（zkSNARK）技术引入大模型推理验证：用户无需获取模型权重，即可验证一条回复确实出自指定模型，而非被悄悄替换的"平替"。
大模型服务的买方一直面对一个难以自查的问题——API另一端跑的到底是不是自己付费的那个模型。FlashProve针对的正是这一环：它基于哈希型zkSNARK构造证明，能够在不暴露模型权重、不重跑模型的前提下，证明某次输出确实由指定权重生成。模型厂商可以借此向客户"验明正身"，而不必公开权重。
研究由Anthropic与外部学者合作完成，StarkWare联合创始人Alessandro Chiesa位列其中；Anthropic称Claude参与了该系统的改进。官方给出的实测数据是：在4000亿参数的Llama 4 Maverick模型上，单张H100可实现约110 token/秒的带证明推理，代价同样明确——证明开销达到常规推理的70至95倍。
这项技术瞄准的是模型供应链的可信问题。当推理服务被转售、蒸馏或部署在不透明环境里，权重与服务的对应关系难以核验；密码学证明提供了一条不依赖厂商自律的路径。区块链用zkSNARK在不公开交易细节的情况下证明交易有效，FlashProve沿用的正是同源思路。
距离生产可用仍有距离：70至95倍的开销意味着它更适合抽查审计而非逐条验证，证明生成时长与集群要求也尚未披露完整数据。但在模型交易、合规审计与推理市场分层这些场景里，"可验证推理"已经从论文概念走到开源原型。方向本身的意义在于：模型市场的信任机制，开始从口碑转向密码学。