실제 동작 (시뮬 아님)AI 감사리포트(Llama 3.3 70B) · ZK 증명(Groth16) · 온체인 앵커 · 기상 공변량 보정— 아래 시뮬레이션은 '정산 금액'뿐. 이 네 가지는 버튼을 누르면 지금 실제로 돈다.
"작성자가 소급 수정할 수 있는 장부는 감사 증거가 아니다."
CLEAR는 정산 기록을 수정 불가능한
온체인 앵커로
고정하고,
ZK 증명(Groth16)과
Merkle 검증으로
누구나 사후 대조할 수 있게 만든다.
이 데모에서 무엇이 진짜이고 무엇이 시뮬레이션인가
'탐나페이'는 실존하지 않는 가상 상품권 이름이다 — 제주 탐나는전의 공개된 구조(대행사 교체·수수료율·발행 규모)를 본떴지만,
실존 대행사·기관에 대한 사실 주장이 아니므로 가상 이름을 쓴다. 화면의 데이터는 아래 세 종류로 구분된다
진짜 · 실행실제로 동작하는 것 — 앵커·대행사 교체·은행 확인·이의 제기 트랜잭션(로컬 시연 체인에서 실제 컨트랙트 코드가 실행된 기록 — 공개 테스트넷 아님, 배포는 로드맵),
브라우저에서 직접 계산되는 Merkle 검증, 버튼 클릭 시 실시간 호출되는 LLM(Cloudflare Workers AI의 Meta Llama 3.3 70B), 탐지 로직 자체
진짜 · 공공데이터 (한계 명시)제주도가 개방한 제주사랑상품권(탐나는전 이전의 구 지류 상품권) 가맹점 26개소 — 공공데이터포털 15010347에서 그대로 다운로드한 실제 파일(2021년 기준). 단, 탐나는전 가맹점 전체(4.8만 개소)가 아니다 — 탐나는전 자체 데이터셋은 공공데이터포털에 존재하지 않아(직접 확인), 제주도가 개방한 가장 가까운 실데이터로 "등록 대조"라는 검증 방식을 시연한다. 도입 시 지자체 가맹점 원장으로 교체
시뮬레이션 · 설계값월별 판매·환전·잔액 금액과 이상 시나리오(이월 누락 4.7억, 이자 0원, 미등록 가맹점 '○○유통' 등 — 전부 가상) — 탐나는전 공개 규모(연 ~5,000억)에 맞춰 우리가 설계한 수치.
실제 정산 데이터는 운영대행사만 보유한 비공개 데이터라서, 도입 전에는 구조적으로 시뮬레이션일 수밖에 없다.
따라서 이 데모가 증명하는 것은 탐지 '성능'이 아니라 "정산이 이 구조로 기록되면 이런 검증이 자동으로 가능하다"는 구조의 동작이다. 도입 시 대행사 정산 export 파일 하나로 실데이터 전환
9개월 요약 (2025.10 ~ 2026.06) 시뮬레이션 수치
제주 탐나는전 공개 사례(세 차례 대행사 교체 · 수수료 0.6% · 연 발행 ~5,000억)를 본뜬 시뮬레이션 —
기초 예치금 120억 원(설계값)에서 출발, 매월 기말 잔액 = 전월 기말 + 판매 − 환전 − 수수료. 이자는 발생 시 지자체 귀속 계좌로 별도 이체되어 이 항등식에 포함되지 않는다(미신고분만 예치금 계좌에 잔류).
모든 수치는 운영대행사가 앵커한 집계값이며 앵커 후 수정 불가
2026.1 운영대행사 교체(2기→3기, 온체인 rotateOperator). 기간당 1회, 기한 10일, 앵커 후 수정 불가
대행사 교체 인수인계 검증 금액=시뮬레이션 · 검증 로직=실동작
제주는 운영대행사가 세 번 바뀐 지자체다(공개 보도). 교체 때마다 잔액·데이터 이관을
지자체가 검증할 수단이 없었다. 구대행사의 마지막 앵커와 신대행사의 첫 앵커 사이
이월 잔액이 이어지는지를 자동 대조한다
은행 교차 대조 — 대행사 신고 잔액을 은행이 따로 증언한다 금액=시뮬레이션 · 앵커=실제 트랜잭션
"잔액을 처음부터 거짓으로 신고하면?"에 대한 답. 신탁·예치 은행이 기말 잔고를
따로 기록하고, 대행사 신고 잔액과 자동 대조한다. 두 숫자가 다르면 그 차이가 곧 "신고 외 자금"의
온체인 증거가 된다. (탐나는전은 충전금 55%가 이미 은행 신탁, 3기 컨소시엄에 은행 참여 — 공개 보도)
공시 대조 — 지자체 공시값 ↔ 온체인 앵커값 시뮬레이션 수치
지자체가 보도자료·홈페이지로 공개하는 월간 실적 게시값(시뮬레이션)이 대행사 앵커값과
일치하는지 기계 대조 — 반기 법정 공시도 같은 방식으로 대조되며, 월 단위 앵커가 있으면 상시 대조가 가능해진다
AI 이상 탐지 탐지 로직·LLM=실동작 · 입력 수치=시뮬레이션
1층: 통계·시계열 탐지(판정 기준 공개) → 2층: LLM이 탐지 결과로 감사 리포트 생성 — 모델은 Meta Llama 3.3 70B (Cloudflare Workers AI, 실시간 호출·실패 시 템플릿 폴백)
기상 공변량 보정 — 날씨 때문인 변동 vs 진짜 이상 기상=기상청 실측 · 정산 금액=시뮬레이션
태풍·폭염 같은 날씨는 재래시장 영업을 멈춰 환전(가맹점 정산)을 출렁이게 한다. 이 변동을 이상 징후로 오탐하지 않도록,
환전 급감/급증이 기상청 실측 기상 이벤트 기간과 겹치는지 대조해 날씨발(發) 변동은 정상 보정하고 날씨와 무관한 변동만 이상 후보로 남긴다.
보정을 켜고 꺼서 차이를 직접 확인하라 — 끄면 태풍발 급감이 오탐으로 섞인다.
공공데이터 대조 — 환전 가맹점 등록 확인 기준선=개방 실데이터 · 환전 라인=시뮬레이션
앵커된 환전 정산처가 등록 가맹점인지 대조한다 — 미등록 가맹점 환전은 부정유통('깡') 의심 신호.
기준선은 제주도 개방 제주사랑상품권가맹점(공공데이터포털 15010347, 2021년 기준 구 지류 상품권 가맹점 26개소) —
실제 개방 파일이지만 탐나는전 전체 가맹점 목록은 아니며, 정상 환전처 역시 이 표본에서 골라 설계한 검증 방식의 시연이다.
실데이터 적용 시엔 폐업·상호 변경에 따른 오탐 관리가 별도 과제가 된다