AI BriefingAnthropic FlashProve, CPU에서 LLM 추론 증명 수 초 만에 검증
Anthropic open-sourced a way to prove which model actually answered your request (and it targets exactly the "is my provider serving a quantized model?" problem)
·2026.11.10 02:47
핵심 내용
Anthropic이 제로지증명으로 LLM 추론을 검증하는 FlashProve를 공개했다.
자세히 보기
- Anthropic이 Apache 2.0 라이선스의 연구용 프로토타입 FlashProve를 공개함. 모델 가중치를 노출하지 않고 제로지식 증명(ZKP)으로 LLM 추론을 검증하는 시스템임.
- 일반 CPU에서 수 초 만에 증명을 검증할 수 있어, 제공사가 특정 응답에 대해 특정 가중치 세트를 사용했음을 확인할 수 있음.
- 데모는 단일 H100 GPU에서 Llama 4 Maverick 풀 사이즈 모델을 구동하며, 배치 24 기준으로 초당 약 110개의 프리필 토큰을 처리함.
- 프로토콜의 건전성은 Lean 4로 기계 검증되었으나, 현재 저장소는 '유지보수 중단(not maintained)' 상태로 표시됨.
- 현재 한계로는 약 18.8MB의 증명 크기, 증명당 출력 토큰 1개만 검증 가능, 1,024 토큰의 컨텍스트 상한이 있음.
이 한국어 요약은 AI가 자동으로 만들었습니다. 원문의 주장과 맥락은 원문에서 확인해 주세요. 저작권은 원저작자에게 있습니다.
