anthropics/flashprove 是一个研究用原型，研究用于证明 AI 模型响应来自已承诺模型的零知识证明（zero-knowledge proof）。零知识证明是一种在不公开内容的前提下证明某个条件成立的方式。该仓库讨论的是一种不公开权重也能确认响应来源的设计。GitHub 仓库说明中明确写着它不是维护对象。
模型提供方公开与权重包绑定的承诺标识符，GPU 则为每个响应生成一份佐证其来源的证明。设计目标是让其他人在普通 CPU 上几秒之内验证证明。README 用 Lean 4 定理讨论证明协议的可靠性（soundness），并记录了校验已保存示例证明的方法和运行玩具证明（toy proof）的路径。README 说明，运行完整规模的模型需要另配高性能 GPU 和大内存。仓库中还收录了在单张 H100 上运行 Llama 4 Maverick 的案例。项目用 Lean 编写，采用 Apache-2.0 许可证。
不过，这个仓库是不再维护的研究资料，文档中说明的完整规模模型运行同样需要额外硬件。所以与其说它是目前受支持的实用工具，不如说它更接近一份用来考察如何隐藏权重并证明响应来源的研究记录。