Llama 4 Maverick

Anthropic等提出可验证推理的zkSNARK新进展

Anthropic、EPFL等机构研究者提出用zkSNARK为模型推理生成密码学证明，让用户确认响应确由所声明的模型生成，防止路由服务替换或篡改。其FlashProve系统在Llama 4 Maverick（400B参数）上单张H100约达110 tokens/秒，证明体积约19MB/1024 tokens，GPU耗时较运行模型高约70-95倍。