Anthropic开源可验证推理工具FlashProve
先了解这件事
Anthropic联合零知识证明学者开源可验证推理系统FlashProve，让开发者验证某条AI响应是否确实来自给定模型，代码以Apache 2.0协议发布于github.com/anthropics/FlashProve。该方法基于零知识证明（zkSNARK），模型服务商可在不公开权重的情况下证明回答由指定模型生成，针对第三方中转平台替换模型、推理服务器被篡改等信任问题。 该方法建立在已有密码学技术之上，作者称其效率显著高于此前用于同类任务的开源方法。作者列出的应用包括让攻击者更难劫持聊天，以及让安全评测者验证所测试的模型与提供给用户的是同一个模型。 在4000亿参数的MoE模型Llama 4 Maverick上，单张NVIDIA H100的证明生成吞吐约110 Token/s，每份证明约18.78 MB，24线程CPU验证一份证明约需17秒，目前系统支持1024 Token。服务商需在单张H100上花约39分钟为权重生成公开承诺ID，每次请求附带约19MB证明，客户端用cp_verify抽查核验。
AI 根据报道生成 · 41 分钟前更新
报道时间线
沿着报道，了解事件的不同侧面。
- AICSO.AI汇总精选Anthropic 开源 FlashProve 验真系统，普通 CPU 17 秒验证模型输出真伪
Anthropic 联合零知识证明领域学者开源密码学验真系统 FlashProve，用户无需权重和 GPU，在普通 CPU 上约 17 秒即可验证模型输出是否真的出自所声称的模型，代码以 Apache 2.0 协议发布在 github.com/anthropics/FlashProve。
- AICSO.AI汇总精选Anthropic 开源可证明推理系统 FlashProve
Anthropic 开源可证明推理系统 FlashProve，基于零知识证明（zkSNARK）让模型服务商在不公开权重的情况下证明回答确实由指定模型生成，针对第三方中转平台偷偷替换模型、推理服务器被篡改等信任问题。
- AICSO.AI汇总Anthropic 开源 FlashProve 可证明推理验证方法
Anthropic 发布可证明推理新研究，推出 FlashProve，让开发者验证某条响应是否确实来自给定的 AI 模型，代码已开源于 https://github.com/anthropics/FlashProve。
本事件热度走势
- 可比范围当前
- 10
- 可比范围峰值
- 1011月4日 08:00
- 近 24 小时变化
- –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。