让 AI 服务商零知识证明回答出自承诺模型
Star871
24h 新增+143
7 天新增—
Fork80
Issue3
语言Lean
项目介绍
更新于 1 天前
FlashProve 是 Anthropic 的一个研究原型，解决的是「AI 服务商如何证明某个回答确实出自承诺的模型」这一问题：服务商先发布一个绑定权重的承诺 ID，权重本身保持保密；之后每次回复都由 GPU 生成证明，任何人用普通 CPU 几秒内即可验证该回答来自被承诺的模型，而无需看到权重。它已在单张 H100 上跑通 Llama 4 Maverick 全尺寸推理，证明器 prefill 约 110 tokens/秒，协议可靠性用 Lean 4 形式化验证。这适合关注模型供应链可信、AI 服务合规审计以及零知识证明与推理结合方向的研究者和安全工程师；对多数做应用开发的从业者来说，目前只是一个不维护的实验品，参考价值大于实用价值。
上手成本：中
Star 趋势
仓库信息
| License | Apache-2.0 |
| 创建时间 | 2026-10-30 |
| 最后推送 | 5 天前 |
| 热度分 | 461.0 |