Anthropic 提出 FlashProve：用 zkSNARK 证明回答出自指定模型
Anthropic 研究原型 FlashProve 用 zkSNARK 证明回答出自指定模型。在 4-bit Llama 4 Maverick（400B MoE）上，单张 H100 批大小 24，每秒约证明 110 个预填充 token，每份证明只核验一个输出 token。每 1,024 token 请求证明约 19 MB，GPU 耗时为 vLLM 的 70–95 倍。Apache 2.0 开源。
为什么重要
用户和评测方目前无法确认回答真的来自所声称的模型，这套方法让路由服务偷换模型、篡改 token 流变得可检测。
来源1
由 dalao.ai 撰写：标题、摘要和“为什么重要”是我们自己的文字；事实以原始报道为准，著作权归原发布者所有。