Anthropic, 제로 지식 증명 시스템 FlashProve 오픈소스 공개

Odaily 보도: Anthropic이 제로 지식 증명(zkSNARK) 기반의 오픈소스 AI 추론 검증 시스템 FlashProve를 발표했으며, StarkWare 공동 창립자 Alessandro Chiesa가 연구에 참여했다. 이 시스템은 블록체인 ZK 기술과 동일한 암호학적 방법을 활용하여, 사용자가 모델 가중치를 획득하거나 모델을 재실행하지 않고도 AI 출력이 지정된 모델에 의해 생성되었는지 검증할 수 있게 한다.

Anthropic은 Claude가 시스템 최적화에 참여했으며, 현재 관련 코드와 Lean 형식 증명을 오픈소스로 공개했다고 밝혔다. 이 시스템은 아직 연구 프로토타입 단계로, 증명 생성에 소요되는 GPU 시간이 일반 추론의 약 70–95배에 달한다.

테스트 결과, FlashProve는 단일 H100 GPU에서 Meta의 4000억 파라미터 모델 Llama 4 Maverick에 대해 초당 약 110 Token 속도로 증명을 생성할 수 있으며, 단일 증명 크기는 약 19 MB이다.