先了解这件事
Anthropic发布开源研究原型FlashProve,用密码学证明验证某段输出确实来自特定模型。据TechCrunch AI报道,该系统要求AI实验室为每个模型发布不暴露权重的指纹,可防止厂商暗中替换更便宜或更贵的模型,也能核验第三方声称的任务由某模型完成,设计上足够轻量,可在本地设备完成验证。另一报道称,在Meta的Llama 4 Maverick(400B参数)上,单张Nvidia H100以110 tokens/秒生成证明,每份约19MB,普通CPU约17秒校验一份;此前唯一已知能证明该模型的VerInf生成93.6GB证明,校验耗时接近一天。该系统由Claude构建,因代码难以审计,其安全保证在Lean 4中以数学方式证明。研究人员已发布技术规范和部分开源代码,研究仍在进行,暂无在Anthropic或其他实验室部署的计划。
AI 根据公开报道生成
最新进展 · 正式报道
Anthropic 研发 FlashProve 系统，用密码学证明 AI 模型身份事件进展
1 个已确认进展
- 来源：TechCrunch AI
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
11月4日
TechCrunch AI
Anthropic 研发 FlashProve 系统，用密码学证明 AI 模型身份
Anthropic 正在研发开源系统 FlashProve，通过密码学证明验证某段输出确实来自特定模型。该系统要求 AI 实验室为每个模型发布不暴露权重的指纹，可防止厂商暗中替换更便宜或更贵的模型，也能核验第三方声称的任务由某模型完成；设计上足够轻量，可在本地设备完成验证。研究人员已发布技术规范和部分开源代码，研究仍在进行，暂无在 Anthropic 或其他实验室部署的计划。
Rohan Paul
Anthropic 开源 FlashProve，可在普通 CPU 上验证回复出自哪个模型
Anthropic 开源 FlashProve，让服务器能以数学方式证明某条回复来自指定模型，验证可在普通 CPU 上完成。在 Meta 的 Llama 4 Maverick（400B 参数）上，单张 Nvidia H100 以 110 tokens/秒生成证明，每份约 19MB，普通 CPU 约 17 秒校验一份；此前唯一已知能证明该模型的 VerInf 生成 93.6GB 证明，校验耗时接近一天。该系统由 Claude 构建，因代码难以审计，其安全保证在 Lean 4 中以数学方式证明。
Anthropic
Anthropic 发布 FlashProve，可验证模型回复来源并开源代码
Anthropic 公布可验证推理方向的新研究 FlashProve，基于已有密码学技术，让开发者验证某条回复是否来自指定 AI 模型，并称其效率明显高于此前的开源方法。该证明可用于增加攻击者劫持对话的难度，也能让安全评估者确认被测模型与对外服务的模型一致。Anthropic 已开源 FlashProve 代码，并列出 Alessandro Chiesa 等合作者。
11月3日
Unite.AI
Anthropic 发布 FlashProve，用密码学证明模型推理来源
Anthropic 于 2026 年 11 月 2 日发布开源研究原型 FlashProve，用 zkSNARK 证明某段回复来自已承诺的模型权重而不泄露权重本身，对 Meta 的 Llama 4 Maverick 报告证明生成速度为 110 tokens/s。单张 H100 加 24 核 CPU 约 223 秒可证明 24 条请求，每条生成 18.78 MB 证明，离线承诺阶段约 39 分钟；客户端下载约 6.5 MB 承诺后在 CPU 上验证，24 线程 17 秒、单线程 21 秒。与 8 张 H100 运行 vLLM 的 FP8 推理相比，证明所需单 GPU 时间约为 72 倍，最高负载下约 94 倍。代码以 Apache 2.0 发布，版本 0.16.0 标注为不再维护的研究产物，尚无独立安全审计，证明仅覆盖贪心解码下的整数权重版本，上下文上限 1024 tokens。
本事件热度走势
- 当前
- 33
- 区间峰值
- 34 11月4日 07:00
- 近 24 小时变化
- —
移动指针或点击图表可查看每小时热度；键盘可用左右方向键切换。