Anthropic 推出零知识证明系统，可验证 AI 模型推理

据深潮 TechFlow发布，深潮 TechFlow 消息，11 月 3 日，据 Anthropic 官网，Anthropic 于 11 月 2 日开源发布研究原型 FlashProve，利用零知识证明（zkSNARK）实现「可证明推理」，即模型提供方可证明某条回复确实由其声明的模型生成，同时不泄露模型权重。 据介绍，提供方先离线发布模型权重的承诺，再为每次请求生成证明，用户可在普通 CPU 上用数秒验证。以 4000 亿参数的 Llama 4 Maverick 为例，单张 H100 每秒可生成约 110 个 token 的证明，每 1024 token 请求的证明约 19 MB。该系统由 Claude 参与优化，安全性质用 Lean 形式化描述。 Anthropic 表示，目前证明成本约为常规推理 GPU 时间的 70–95 倍，仍是研究原型，尚未达到生产可用。 Solana 基础设施公司 Helius CEO Mert 对此评论称，Anthropic 与 Claude 正在使用 Zcash 在全球率先应用的同类密码学技术。