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

11 月 03 日，据 Anthropic 技术博客，Anthropic Frontier Red Team 团队推出 FlashProve 系统，探索利用零知识简洁非交互式知识论证（zkSNARK）验证大语言模型推理过程，使用户能够在不获取模型权重的情况下，验证回答是否确实由指定模型生成。

测试显示，FlashProve 已支持 4000 亿参数的 Llama 4 Maverick 混合专家模型。在 4-bit 量化条件下，单张 NVIDIA H100 GPU 可实现约 110 tokens/s 的证明生成速度，每次 1024-token 请求生成约 19 MB 的证明文件。用户可通过 CPU 在约 17 秒内完成验证，无需 GPU。相比使用 vLLM 直接运行模型，生成证明所需的 GPU 时间约为其 70 至 95 倍。

Anthropic 表示，该技术有望应用于模型身份验证、推理过程防篡改、AI 监管合规及模型服务审计，防止服务商未经告知替换模型或攻击者篡改模型输出。

目前 FlashProve 仍属于研究原型，存在上下文长度限制、浮点推理与整数模型证明之间的差异等局限。Anthropic 同时公开了相关代码、协议说明及 Lean 形式化验证材料，采用 Apache 2.0 许可证开源。