Anthropic能证明模型没被换

Anthropic 发布 FlashProve，用 zkSNARK 密码证明让服务方自证回你的确实是宣称的那个模型，防中转偷换或篡改 token 流。实测在 400B 参数的 Llama 4 Maverick 上，单张 H100 约 110 token/秒出证明，每 1024 token 约 19MB，代价是推理本身 GPU 时间的 70–95 倍。目前还是原型，代码和 Lean 形式化证明已开源。


来源：https://www.anthropic.com/research/provable-inference