Anthropic 开源可验证推理系统 FlashProve

1. 01:17
   Hacker News-首页精选

   Anthropic 发布大模型可证明推理系统 FlashProve

   Anthropic 推出了名为 FlashProve 的开源可证明推理系统，利用 zkSNARK 技术让大模型服务商能够为每次推理生成密码学证明。该系统针对 400B 参数的 Llama 4 Maverick 混合专家模型进行了优化，单张 H100 GPU 能够以约 110 token/秒的速度生成证明， proof 大小约为 19 MB。

1. 23:23
   The Decoder

   Anthropic 发布 FlashProve 原型：无需泄露模型权重即可验证 AI 响应来源

   Anthropic 发布了名为 FlashProve 的开源研究原型，利用 zkSNARK 密码学技术在不泄露模型权重的前提下，验证 AI 响应是否由指定的模型生成。该系统在单个 H100 GPU 上处理 Meta 的 Llama 4 Maverick 模型时速度约为每秒 110 个 token，目前存在上下文窗口受限和仅支持确定性输出等局限，完整代码已在 GitHub 开源。

2. 16:04
   IT之家·人工智能

   Anthropic 开发 FlashProve 开源系统，用密码学证明 AI 输出来自哪个模型

   Anthropic 正在开发名为 FlashProve 的开源系统，旨在通过密码学证明来验证 AI 输出究竟由哪个指定模型生成。该系统通过为模型提供不泄露权重的指纹来进行匹配验证，可防止暗中替换模型或虚假声明，目前已在 GitHub 开源技术规范与可运行代码。

3. 06:41
   TechCrunch：AI

   Anthropic 研究开源系统 FlashProve，用密码学证明 AI 模型输出身份

   Anthropic 正在研发一款名为 FlashProve 的开源系统，旨在通过密码学方法为 AI 模型的特定输出提供数学保证，以验证其真实来源并防止模型被暗中替换。该系统要求 AI 厂商发布不泄露模型权重的数字指纹，支持在本地设备上进行轻量化验证。目前研究人员已在 GitHub 上开源了技术规范和工作代码，但该系统尚处于中期进展阶段，暂无在 Anthropic 或其他实验室部署的计划。

4. 06:08
   MarkTechPost

   Anthropic 开源 FlashProve：基于 zkSNARK 的模型推理证明系统

   Anthropic 开源了 FlashProve，这是一个基于 zkSNARK 的可验证推理研究原型，用于证明大模型回复来自承诺的权重。在单台配备 H100 的机器上，它能在 Llama 4 Maverick（400B MoE）模型上实现约 110 tokens/second 的证明速度，生成的 18.78 MB 证明可在 CPU 上于 17 秒内完成验证。

5. 04:15
   Rohan Paul

   Anthropic 开源 FlashProve，可验证回复由哪个 AI 模型生成

   Anthropic 开源了 FlashProve，允许服务器以数学方式证明回复由哪个 AI 模型生成，并在普通 CPU 上进行验证。该系统在 Llama 4 Maverick 上进行了测试，单张 Nvidia H100 GPU 产生证明的速度为每秒 110 tokens，普通 CPU 验证单个证明约需 17 秒，安全性则使用 Lean 4 进行了数学证明。

6. 04:10
   Anthropic

   Anthropic 推出 FlashProve 可验证推理研究

   Anthropic 推出了 FlashProve 可验证推理研究与开源代码，基于密码学技术允许开发者验证给定响应是否来自特定 AI 模型，且比现有开源方法更高效。该技术可防范聊天劫持并帮助安全评估人员验证模型一致性，目前已在 GitHub 开源并发布了完整技术文章。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。