Anthropic发布基于zkSNARK的可验证推理系统FlashProve

Anthropic发布基于zkSNARK的大语言模型可验证推理系统FlashProve，可生成密码学证明验证回复确由指定模型生成，且不泄露模型权重。在400B参数的Llama 4 Maverick上，单块H100 GPU实现约110 token/秒的证明生成速度，证明大小约19MB，性能较此前开源系统提升数个数量级，接近原生推理速度的70至95倍。