Anthropic 开源了 FlashProve，用零知识证明（zkSNARK）让模型提供方证明回复确实出自这个模型，又不泄露权重。在 4-bit 的 Llama 4 Maverick 上，单块 H100 生成证明约 110 tokens/秒，普通 CPU 验证约 17–21 秒。代价是 GPU 时间约为普通推理的 70–95 倍，还只是研究原型。离实用还远，但「API 背后有没有偷换模型」开始能验证了。

#人工智能##零知识证明#
来源：@sweis http://t.cn/AXYh5EGa