**Anthropic, AI 응답이 어느 모델에서 나왔는지 검증하는 FlashProve 공개**

- FlashProve는 가중치를 공개하지 않고도 응답이 사전에 지정한 모델의 계산 결과와 일치하는지 검증하는 오픈소스 연구 프로토타입  
- 모델 제공자가 가중치를 암호학적으로 확정해 두고, 사용자는 모델을 직접 실행하지 않고도 모델 바꿔치기나 응답 변조 여부를 확인할 수 있음  
- 4비트 Llama 4 Maverick 400B에서 H100 한 장으로 초당 약 110토큰의 증명 처리량을 기록함. GPU 사용 시간은 vLLM 추론의 약 70~95배  
- 현재는 최대 1,024토큰 문맥에서 정수 모델이 매번 확률이 가장 높은 토큰을 고르는 방식만 검증함  
- C…

[https://news.hada.io/topic?id=36617](https://news.hada.io/topic?id=36617)