Anthropic发布FlashProve推理验证原型

Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 为模型输出生成密码学证明，让验证方确认回复确实来自声称的模型，同时不暴露模型权重。技术报告称，在单张 H100 上为 4000 亿参数的 Llama 4 Maverick 生成证明约 110 tokens/秒，每份证明约 19MB，标准 CPU 验证需 17 秒，相比普通推理增加约 70 至 95 倍开销。 该原型目前限制明显：只能证明最长 1,024 token 的上下文，远低于当前模型的上下文窗口；只隐藏权重、不隐藏底层架构；且仅在模型选择最可能的单个下一 token 时有效，不适用于聊天机器人日常使用的随机化输出。完整代码、Lean 证明和文档已在 GitHub 以 Apache 2.0 许可证公开。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。