🏠 AI Tools Hub | 首页 | 文章 | 评测 | GitHub热门 | 排行榜

FlashProve教程：Anthropic开源零知识推理证明

📌 项目日期：2026年11月 | 数据来源：GitHub官方仓库 | 星数：935+ | 协议：Apache-2.0 | ⚠️ 研究工件（v0.16.0，不再维护）

📋 项目简介

AI行业一个长期悬而未决的问题：你说这个回复是Claude/GPT答的，怎么证明？Anthropic 开源了 FlashProve——零知识证明AI推理的研究原型，三步闭环：

Commit 承诺：厂商发布承诺ID，绑定一组权重；依赖权重的发布值全部掩码（声明清单除外），权重本身保密
Prove 证明：每次回复，厂商GPU生成"这是承诺模型的输出"的证明
Verify 验证：任何人用普通CPU几秒钟验证，不需要权重

实测规模：全尺寸 Llama 4 Maverick、1024-token上下文、单张 H100，证明器约 110 tokens/秒 prefill（24请求批）。这是"可验证AI"方向的里程碑级演示。系统设计视角的背景阅读见 AI系统设计指南。

🔧 三步协议

阶段	谁做	做什么
Commit	厂商	发布承诺ID绑定权重集；依赖权重的值掩码
Prove	厂商GPU	每次回复生成证明
Verify	任何人CPU	cp_verify 几秒验证，无需权重

📦 使用

git clone https://github.com/anthropics/FlashProve.git
# 研究工件：官方明示不维护不接受贡献
# 验证工具 cp_verify 可独立运行（普通CPU几秒）
# 依赖权重掩码的"声明清单"见 docs/what-is-not-hidden.md

✅ 使用建议

当论文+参考实现读：ZKML方向的工程细节全在里面
合规/审计团队可评估其对"模型审计"需求的适配性
非维护项目——生产落地需自行接手演进

📚 常见问题

FlashProve是什么？

Anthropic官方研究原型（v0.16.0，Apache-2.0，明示不再维护不接受贡献）：让AI提供者证明"哪个模型回答了请求"而不泄露权重——发布承诺ID绑定一组权重（依赖权重的发布值全部掩码），每次回复由GPU生成证明，任何人用普通CPU几秒验证（cp_verify）。

实际跑了什么？

全尺寸Llama 4 Maverick，1024-token上下文窗口，单张H100；证明器约110 tokens/秒prefill（24请求批）。

有什么用？

可验证AI推理：模型厂商可自证"你的回复确实来自我承诺的模型"（审计/合规/防偷换模型），验证方无需接触权重。注意官方标注为研究工件，不维护。