anthropics/flashprove は、AI モデルの応答がコミットされたモデルに由来することを証明するゼロ知識証明（zero-knowledge proof）の研究用プロトタイプである。ゼロ知識証明とは、内容を公開せずに、ある条件が成り立つことを証明する方法である。このリポジトリは、重みを公開しないまま応答の出所を確認する設計を扱った。GitHub のリポジトリ説明には、保守対象外であることが明記されている。
モデル提供者は重みの束に結び付いたコミット識別子を公開し、GPU は応答ごとにその出所を裏づける証明を生成する。設計上、他の者は通常の CPU で数秒以内に証明を検証できる。README は証明プロトコルの健全性を Lean 4 の定理で扱っており、保存済みのサンプル証明の検証と、おもちゃの証明（toy proof）の実行手順を文書化している。フルサイズのモデル実行には別の高性能 GPU と大きなメモリが必要だと案内している。リポジトリには、単一 H100 で Llama 4 Maverick を実行した事例も含まれている。プロジェクトは Lean で記述され、Apache-2.0 ライセンスに従う。
ただし、このリポジトリは保守されていない研究資料であり、文書化されているフルサイズのモデル実行にも別のハードウェアが必要である。したがって、現在サポートされている実用ツールというより、重みを隠し、応答の出所を証明する方法を検討できる研究記録に近いものである。