앤트로픽 플래시프루브, 모델 출처를 암호로 증명
AI 답변이 약속한 모델에서 나왔는지 확인 · FlashProve, 증명 가능한 추론 · 앤트로픽 프런티어 레드팀
이런 분께 추천합니다AI 모델을 API로 사다 쓰는 기업 담당자와 개발자
| 발표 주체 | 앤트로픽 프런티어 레드팀 |
|---|---|
| 날짜 | 2026년 11월 2일(미국 시각 게시, 3일 수정) |
| 무엇 | 플래시프루브, 모델 응답의 출처를 증명하는 프로토타입 |
| 핵심 숫자 | H100 1대에서 초당 약 110토큰, 요청당 증명 약 19MB |
| 공개 범위 | Apache 2.0 오픈소스(코드·Lean 증명·문서) |
| 원문 | 앤트로픽 리서치 블로그 |
- 모델 가중치에 대한 약속값을 먼저 공개. 응답마다 '약속한 모델이 이 토큰을 냈다'는 증명을 붙임
- H100 한 대에서 초당 약 110토큰. 요청 하나(1,024토큰)당 증명은 약 19MB
- 아직 연구용 프로토타입. MoE 구조와 맥락 1,024토큰까지만 증명
앤트로픽(Anthropic)의 프런티어 레드팀(Frontier Red Team)이 AI 답변이 개발사가 말한 특정 모델에서 나왔다는 것을 암호로 증명하는 프로토타입 '플래시프루브(FlashProve)'를 공개했습니다. 글은 미국 시각 11월 2일에 올라와 3일에 고쳐졌고, 코드는 Apache 2.0 라이선스의 오픈소스입니다.
- 모델 가중치에 대한 약속값을 먼저 공개. 응답마다 '약속한 모델이 이 토큰을 냈다'는 증명을 붙임
- H100 한 대에서 초당 약 110토큰. 요청 하나(1,024토큰)당 증명은 약 19MB
- 아직 연구용 프로토타입. MoE 구조와 맥락 1,024토큰까지만 증명
답변을 만든 모델을 사용자가 확인할 방법이 없었습니다
글은 지금의 AI 서비스에서 사용자가 응답이 개발사가 주장하는 특정 모델에서 나왔는지 직접 확인할 수 없다는 문제에서 출발합니다. 플래시프루브는 영지식 증명(zkSNARK) 방식으로 이 문제를 푸는 '증명 가능한 추론(provable inference)' 시스템이고, 앤트로픽은 각주에서 앞으로 '추론 검증(inference verification)'이라는 말을 쓰겠다고 적었습니다. 모델 구조는 가중치를 뺀 나머지가 감춰지지 않습니다.
약속값 한 번, 증명은 요청마다
준비 단계에서는 모델을 돌리는 쪽이 가중치에 대한 약속값(commitment)을 공개하며, 모델 하나에 약 39분이 걸리고 약 1,600만 건의 요청을 덮습니다. 요청이 들어오면 약속한 모델이 이 출력 토큰을 낸다는 증명을 만들고, 사용자 쪽 검증은 GPU 없이 CPU로 합니다. 내려받을 데이터는 모두 합쳐 약 6.5MB에 요청마다 증명 하나이고, 검증에는 24스레드로 17초, 스레드 하나로 21초가 걸렸습니다.
4000억 개 모델에서 잰 속도와 비용
시험에는 메타의 라마 4 매버릭(Llama 4 Maverick)을 4비트로 바꾼 버전을 썼습니다. 전체 파라미터가 4,000억 개이고 토큰마다 약 170억 개를 쓰는 MoE 모델입니다. 80GB GPU 한 대와 호스트 메모리 약 290GB에서 초당 약 110토큰의 증명이 나왔고, 1,024토큰 요청 하나의 증명은 약 19MB(18.78MB)였습니다. 같은 모델을 H100 여덟 대에서 vLLM FP8로 돌릴 때와 비교한 계산량은 GPU당 약 72배(실행마다 66~77배)이고, 부하가 가장 높은 조건에서는 약 94배였습니다(자체 발표 기준).
| 항목 | 값 | 조건 |
|---|---|---|
| 증명 생성 속도 | 약 110토큰/초 | H100 1대 |
| 증명 크기 | 약 19MB | 1,024토큰 요청 1건 |
| 일반 추론 대비 계산량 | 약 72배 | 24건 묶음, GPU당 |
| 검증 시간 | 17초 | CPU 24스레드 |
| 준비 단계 | 약 39분 | 모델 1개 |
글이 직접 적은 한계
앤트로픽은 이번 공개가 연구 프로토타입이라고 밝히고 한계를 나열했습니다. 빠른 실행 코드에는 형식 검증 보장이 없고(Lean 검증기는 있지만 C++ 검증기는 보장이 없습니다), 증명 대상은 정수 모델의 탐욕적 디코딩이라 부동소수점이나 샘플링 응답은 어느 위치에서 어긋날 수 있습니다. MoE 구조만 지원하고 맥락은 1,024토큰까지이며 부채널 공격은 이번 범위 밖입니다. 모델 가중치는 포함되지 않아서 사용자가 허깅페이스에서 메타의 라마 4 라이선스로 따로 받아야 합니다. 기술 보고서와 프로토콜 명세, 코드는 앤트로픽의 깃허브(anthropics/FlashProve)에 올라와 있고 한국어 지원이나 서비스 적용 일정은 글에 없습니다.
핵심 정보 6개
| 발표 주체 | 앤트로픽 프런티어 레드팀 |
|---|---|
| 날짜 | 2026년 11월 2일(미국 시각 게시, 3일 수정) |
| 무엇 | 플래시프루브, 모델 응답의 출처를 증명하는 프로토타입 |
| 핵심 숫자 | H100 1대에서 초당 약 110토큰, 요청당 증명 약 19MB |
| 공개 범위 | Apache 2.0 오픈소스(코드·Lean 증명·문서) |
| 원문 | 앤트로픽 리서치 블로그 |
영상으로 보고, 기사로 자세히 읽기
30초 영상은 인스타그램과 유튜브 쇼츠에, 그날 나온 소식은 스레드에 가장 먼저 올립니다.
