品玩11月4日讯，Anthropic近日发布FlashProve，一种基于zkSNARK密码学技术的大语言模型可验证推理系统。

该系统使模型提供商能够生成密码学证明，验证每次回复确实由指定模型生成，同时不泄露模型权重等内部信息，为解决AI服务信任问题提供新技术路径。在400B参数混合专家模型Llama 4 Maverick上，单块H100 GPU即可实现约110 token/秒的证明生成速度，证明大小约19MB，性能较此前开源系统提升数个数量级，接近原生推理速度的70至95倍。

Anthropic同步开源了代码、Lean形式化验证及文档。该技术可应用于AI服务可信验证、推理过程防篡改及模型合规审计等场景。