Anthropic 开源 FlashProve,单张 H100 可实现大模型推理的零知识证明

在 4-bit 量化条件下,单张 NVIDIA H100 GPU 可实现约 110 tokens/s 的证明生成速度,每次 1024-token 请求生成约 19 MB 的证明文件。Anthropic 表示,该技术有望应用于模型身份验证、推理过程防篡改、AI 监管合规及模型服务审计,防止服务商未经告知替换模型或攻击者篡改模型输出。目前 FlashProve 仍属于研究原型,存在上下文长度限制、浮点推理与整数模型证明之间的差异等局限。

原文连接