anthropics/flashprove는 AI 모델의 응답이 약정된 모델에서 나왔음을 증명하는 영지 증명(zero-knowledge proof) 연구용 프로토타입이다. 영지 증명은 내용을 공개하지 않고도 어떤 조건이 참임을 증명하는 방식이다. 이 저장소는 가중치를 공개하지 않은 채 응답의 출처를 확인하는 설계를 다룬다. GitHub 저장소 설명에는 유지 관리 대상이 아니라고 명시되어 있다.
모델 제공자는 가중치 묶음에 연결된 약정 식별자를 공개하고, GPU는 응답마다 그 출처를 뒷받침하는 증명을 만든다. 다른 사람은 일반 CPU에서 몇 초 안에 증명을 확인할 수 있도록 설계됐다. README는 증명 프로토콜의 건전성을 Lean 4 정리로 다루며, 저장된 예시 증명 검증과 장난감 증명(toy proof) 실행 경로를 문서화한다. 전체 크기 모델 실행에는 별도의 고성능 GPU와 큰 메모리가 필요하다고 안내한다. 저장소에는 Llama 4 Maverick을 단일 H100에서 실행한 사례도 담겨 있다. 프로젝트는 Lean으로 작성됐고 Apache-2.0 라이선스를 따른다.
다만 이 저장소는 유지 관리되지 않는 연구 자료이며, 문서화된 전체 크기 모델 실행도 별도 하드웨어를 요구한다. 따라서 현재 지원되는 실사용 도구라기보다, 가중치를 숨기고 응답의 출처를 증명하는 방식을 살펴볼 수 있는 연구 기록에 가깝다.