Anthropic研发可验证AI模型身份的开源系统FlashProve
先了解这件事
2026年11月4日6时41分，TechCrunch AI发布报道称，Anthropic于周二发布博客，披露其正在研发名为FlashProve的开源系统。该系统可通过加密证明验证AI输出对应的生成模型，要求AI实验室发布不会泄露模型权重的模型指纹，支持用户在本地设备完成验证；相关技术规范与代码已在GitHub开源，研究仍在进行中，Anthropic暂无在自身或其他AI实验室部署该系统的计划。同日7时53分，36氪发布报道补充，该系统由Anthropic联合零知识证明领域学者开发，基于zkSNARK技术，可在普通家用CPU上17秒完成大模型输出真伪验证，识别偷换模型、篡改输出行为；核心代码、Lean证明及技术文档以Apache 2.0协议开源，开发主力为Claude，测试对象为Meta的Llama 4 Maverick模型。同日8时09分，36氪再发报道补充，该系统可在不公开模型权重前提下证明回答由指定模型生成，已在400B参数的Llama 4 Maverick MoE模型上完成测试，单张NVIDIA H100 GPU每秒可生成约110 Token对应的推理证明，每1024 Token请求的证明文件约为19MB。
根据公开报道整理 · 1 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- 36氪公开报道Anthropic 开源 FlashProve 可验证推理系统，为大模型生成加密身份凭证
Anthropic 开源基于零知识密码学证明技术的 FlashProve 系统，可在不公开模型权重的前提下，证明回答由指定模型生成。该系统已在 400B 参数的 Llama 4 Maverick MoE 模型上完成测试，单张 NVIDIA H100 GPU 每秒可生成约 110 Token 对应的推理证明，每 1024 Token 请求的证明文件约为 19 MB。
- 36氪公开报道Anthropic开源密码学验真系统FlashProve 可快速识别大模型套壳掉包
Anthropic联合零知识证明领域学者开源密码学验真系统FlashProve，该系统基于zkSNARK技术，可在普通家用CPU上17秒完成大模型输出的真伪验证，识别偷换模型、篡改输出的行为。FlashProve的核心代码、Lean证明及技术文档均以Apache 2.0协议开源，其开发主力为Claude，测试对象为Meta的Llama 4 Maverick模型。
- TechCrunch AI公开报道Anthropic 正在研发可验证 AI 模型身份的开源系统 FlashProve
Anthropic 于周二发布博客称，正在研发名为 FlashProve 的开源系统，可通过加密证明验证 AI 输出对应的生成模型。该系统要求 AI 实验室发布不泄露模型权重的模型指纹，支持本地设备完成验证，相关技术规范与代码已在 GitHub 开源。目前该研究仍在进行中，暂无在 Anthropic 或其他实验室部署的计划。
本事件热度走势
当前热度 19·可比范围峰值 20（11月4日 08:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。