Anthropic发布开源研究原型FlashProve，利用zkSNARK零知识证明为模型推理生成密码学证明：服务商为权重生成承诺，用户可凭证明在笔记本上核验输出是否来自指定模型，无需公开权重。实验显示证明成本约为普通推理的70～95倍。该技术可识别模型掉包，但需可信方发布模型承诺，且无法解释提示词、解码参数等导致的“降智”。