Anthropic发布推理验证原型FlashProve
热点事件持续更新
Anthropic发布推理验证原型FlashProve
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 密码学证明某条 AI 回复确实由声称的模型生成，且不暴露模型权重。技术报告称，在单张 H100 上为 4000 亿参数的 Llama 4 Maverick 生成证明约 110 tokens/秒，每份证明约 19MB，标准 CPU 上验证需 17 秒，相比普通推理增加约 70 至 95 倍开销。 该原型目前限制明显：只能证明最长 1,024 token 的上下文，远低于现有模型的上下文窗口；隐藏模型权重但不隐藏底层架构；且仅在模型选择最可能的单个下一 token 时有效，不适用于聊天机器人日常产生的随机化输出。完整代码、Lean 证明和文档已在 GitHub 以 Apache 2.0 许可发布。
AI 根据报道生成 · 3 小时前更新
最新进展11月4日 23:23
Anthropic 发布 FlashProve 原型，用密码学证明 AI 回复出自哪个模型报道时间线
沿着报道，了解事件的不同侧面。
11月4日
- The DecoderAnthropic 发布 FlashProve 原型，用密码学证明 AI 回复出自哪个模型
Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 密码学技术证明某条 AI 回复确实由声称的模型生成，且不暴露模型权重。技术报告显示，在单张 H100 上为 4000 亿参数的 Llama 4 Maverick 生成证明约 110 tokens/秒，每份证明约 19MB，标准 CPU 上验证需 17 秒，相比普通推理增加约 70 至 95 倍开销。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1011月5日 00:00
- 近 24 小时变化
- –
02.557.510
11月5日01:0002:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。