Anthropic发布推理验证原型FlashProve
热点事件持续更新
Anthropic发布推理验证原型FlashProve
1 篇报道1 个报道来源2 小时前核心报道更新
先了解这件事
AI 综述
Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 为模型输出生成证明，以验证回复确实出自声称的模型，同时不暴露模型权重。技术报告称，对 4000 亿参数的 Meta Llama 4 Maverick，单张 H100 GPU 上证明生成速度约为 110 tokens/s，每份证明约 19 MB，标准 CPU 上验证需 17 秒。 该原型目前只支持最长 1,024 token 的上下文，且仅当模型选择最可能的单个下一 token 时才能生成证明，不适用于聊天机器人日常的随机化输出；它隐藏权重但不隐藏模型架构。完整代码、Lean 证明和文档已在 GitHub 以 Apache 2.0 许可开放。
AI 根据报道生成 · 1 小时前更新
最新核心报道11月4日 23:23
Anthropic 发布 FlashProve 原型，用 zkSNARK 证明 AI 回复出自指定模型且不暴露权重本栏展示直接支持事件的最新报道；时间线也保留相关报道及提及，因此可能出现更晚日期。
报道时间线
沿着报道，了解事件的不同侧面。
11月4日
- The Decoder AI in practiceAnthropic 发布 FlashProve 原型，用 zkSNARK 证明 AI 回复出自指定模型且不暴露权重
Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 为每次模型输出生成证明，验证回复确实来自声称的模型，同时不暴露模型权重。技术报告称，对 4000 亿参数的 Meta Llama 4 Maverick，单张 H100 GPU 上证明生成速度约为 110 tokens/s，每份证明约 19 MB，标准 CPU 上验证需 17 秒。
已显示 1 篇，共 1 篇报道。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。