Anthropic 推进 AI 推理可验证技术：为大模型建立密码学指纹，让模型身份可以独立验证
2026 年 11 月 2 日，Anthropic 发布 Provable Inference 研究进展，推出开源原型 FlashProve，探索利用零知识证明（zkSNARK）验证大模型推理过程。 
这项研究试图解决 AI 服务中的一个重要信任问题：用户如何确认服务商实际运行的就是自己指定的模型，而不是偷偷替换成其他模型，或者篡改推理结果？ 
Anthropic 提出的方案，是为模型权重生成一个密码学承诺（Model Commitment），可以将其理解为模型权重的密码学指纹。 
具体而言，服务商首先通过 Commitment 机制，为模型权重生成一个唯一绑定的密码学标识。之后，每次执行推理时，服务商除了返回模型输出，还需要生成一个零知识证明（zkSNARK）。用户可以通过模型承诺、输入、输出...