TRACE — Criminal Fund Flow Threat Model

범죄 BTC를 여러 주소와 여러 거래를 거쳐 이동시키는 기본 layering. Bitcoin에서는 여전히 transaction graph가 보인다.

무엇인가

여러 주소·거래로 자금을 분할·병합·이동하는 기본 layering. peel chain은 큰 출력 하나가 계속 다음 hop으로 이어지고 작은 출력이 하나씩 떨어져 나가는 반복 구조다.

세탁 과정에서의 역할

경로를 길게 만들어 수동 분석 비용을 키운다. 이후 모든 단계(mixer, 서비스, P2P)의 입구다.

FACT Bitcoin에서 보이는 것

• 모든 tx, input/output, value, script type
• block height · time
• outpoint → spending tx 관계
• peel chain의 각 hop

UNKNOWN Bitcoin에서 보이지 않는 것

• 주소의 실제 소유자
• change 출력이 누구 것인지 (→ INFERENCE)
• 여러 cluster가 같은 주체인지

TRACE 현재 능력

Bitcoin Core = canonical source. full index · spend index · clustering · peel-chain 완성도는 NOT VERIFIED

TRACE가 개발해야 할 것

• full index · spend index (outpoint → spender)
• peel-chain detector (INFERENCE로 표시)
• clustering + CoinJoin collapse guard
• graph traversal (budget · 중단 사유 기록)
• coverage semantics — 어디까지 봤고 왜 멈췄는가

잘못 판단하면 안 되는 것

• change heuristic 결과를 FACT로 표시
• traversal이 멈춘 곳 = 자금의 종착점
• cluster = 한 사람
• index가 없어서 못 본 것 = 없음

주요 evidence source

Bitcoin Core blocks · tx · script · witness, TRACE index, 피해 신고(“도난” 판정 근거)

관련 연구

P1 · 번호 있는 연구 트랙 없음 (foundation)

무엇인가

여러 참여자의 input을 하나의 tx로 묶어 동일 금액 output을 만드는 협력 거래. Mixer는 서비스가 자금을 받아 다른 자금으로 지급하는 custodial 구조다.

세탁 과정에서의 역할

input↔output 소유 대응을 모호하게 만든다. 이후 분기(서비스·P2P)로 가기 전 단계로 반복 관찰된다.

FACT Bitcoin에서 보이는 것

• CoinJoin tx 자체와 구조
• input 집합 · 동일 금액 output
• postmix output의 이후 spend
• remix 반복

UNKNOWN Bitcoin에서 보이지 않는 것

• input ↔ output 소유 대응
• 참여자 수 = 주체 수인지
• mixer 내부 pool 경로

TRACE 현재 능력

Whirlpool · WabiSabi · JoinMarket · generic 탐지와 postmix 분석은 현재/목표 항목. 완성도 NOT VERIFIED

TRACE가 개발해야 할 것

• 계열별 detector · benchmark 분리. 순서: WabiSabi(현재 활동 · 규모) → JoinMarket → ZeroLink(Whirlpool · Wasabi 1.x — 과거 사건 데이터 때문에 필수 지원)
• CoinJoin detection completeness + FP 측정
• postmix candidate set (1개가 아니라 집합)
• ambiguity 표현 — UI와 report 모두
• clustering collapse guard: CoinJoin tx에 common-input 금지

잘못 판단하면 안 되는 것

• output 하나를 원래 행위자 소유로 선언
• CoinJoin input 전체를 한 cluster로 병합
• “N개 중 1개”를 ownership probability로 제시

주요 evidence source

chain 구조(FACT), 압수된 coordinator/mixer DB, 압수 wallet 파일(endpoint), 수사 회신

관련 연구

P2 · 번호 미배정

R11 custody claim 필드

무엇인가

계정 없이 주소만으로 자산을 교환해 주는 서비스. 사용자가 서비스 deposit 주소로 보내면 서비스가 다른 자산을 지정 주소로 지급한다.

세탁 과정에서의 역할

자산 종류를 바꾸는 지점(chain hopping). privacy asset으로의 entry 경로 중 하나로 공개 자료에서 반복 관찰된다.

FACT Bitcoin에서 보이는 것

• deposit 주소로의 tx
• 서비스 hot wallet 통합 패턴 (attribution 근거)
• BTC payout tx — 단, deposit과의 연결은 chain에 없음

UNKNOWN Bitcoin에서 보이지 않는 것

• 주문 존재 · 교환 자산 · 목적지
• 내부 LP 경로
• deposit ↔ payout 매핑

TRACE 현재 능력

R11 설계 (custody claim) · R14 corpus 계획. 구현 상태 NOT VERIFIED

TRACE가 개발해야 할 것

• evidence-backed custody claim + validity
• deposit address attribution with provenance
• CUSTODIAL BOUNDARY 종료 표시
• order record import → anchor (R13)

잘못 판단하면 안 되는 것

• 서비스가 XMR 지원 → 이 deposit이 XMR로 교환
• 비슷한 시각의 payout = 이 주문의 payout
• “non-custodial” 마케팅 = custody claim

주요 evidence source

order record (order id ↔ deposit txid ↔ payout asset/address), 수사 회신, 압수 operator DB, 제재 공지

관련 연구

R11 R14 R13 R12

중앙 수탁 서비스의 deposit address가 필수가 아니다. 그래서 instant exchanger처럼 service attribution으로 접근할 수 없고, transaction structure + endpoint evidence로 접근해야 한다.

무엇인가

두 체인 사이에서 상대방 수탁 없이 암호학적 조건(2-of-2, timelock, adaptor signature)으로 교환을 강제하는 프로토콜.

세탁 과정에서의 역할

중앙 서비스 deposit 주소 없이 BTC를 privacy asset으로 바꾸는 경로. service attribution이 적용되지 않는 지점.

FACT Bitcoin에서 보이는 것

• lock · redeem · cancel · refund · punish tx (각각 tx로서 FACT)
• script type · timelock · witness

UNKNOWN Bitcoin에서 보이지 않는 것

• XMR leg 전체
• 상대방 identity
• 구조만으로 “swap이었다”는 확정

TRACE 현재 능력

NOT IMPLEMENTED Proposed research 단계

TRACE가 개발해야 할 것

• BTC↔XMR Atomic Swap Structural Recognition
• 라벨 sample set · feature 정의
• FP 측정 (Lightning · multisig · escrow)
• candidate는 CORRELATED CANDIDATE로만 표시

잘못 판단하면 안 되는 것

• 2-of-2 = swap
• swap candidate = XMR 수령 확정
• refund가 안 보임 = swap 성공

주요 evidence source

endpoint (swap history, wallet DB, application log), maker 측 기록, chain 구조

관련 연구

Proposed · Corpus A–E R10 R12 R13

셋 다 “중앙 수탁자 없이 서로 다른 체인의 코인을 원자적으로 교환한다”는 같은 계열이다. 하지만 제품 성격, 지원 자산, 네트워크, BTC 측 암호 구조가 다르다.

이 열 순서는 사용 추천이나 안전성 순위가 아니다. TRACE 연구 순서이고, 기준은 현재 활동성 · BTC 측 상태 머신의 명확성 · sample 확보 가능성이다. 버전 · 날짜 · 지원 자산 · timelock 값은 2026-10 리서치 메모 기준이고, 이 문서에서 재검증하지 않았다.

Eigenwallet BTC 측 상태 머신 — 측정할 5종 transaction

각 tx의 존재는 FACT다. “이 tx들이 atomic swap이다”는 측정 전까지 CORRELATED CANDIDATE로만 표시한다. 압수된 maker ASB 기록에 txid가 있으면 R13 anchor가 된다.

Atomic Swap Structural Recognition Corpus

1. AEigenwalletBTC 측 5종 tx (lock · redeem · cancel · refund · punish) 수집 · 상태 머신 기준 feature 측정
2. BBasicSwap BTC/XMRA와 같은 pair, 다른 구현 — 구현 간 fingerprint 차이 측정
3. CBasicSwap HTLC pairsBTC↔LTC · BTC↔DASH 등 — HTLC 구조, preimage 처리는 R10 규칙을 따름
4. DFarcaster referenceprotocol 설계 대조용 control sample — 사용자 행태 탐지 대상 아님
5. EOrdinary Bitcoin decoys — 필수Lightning channel funding / close · 2-of-2 multisig custody · CSV timelock wallet · P2P escrow. 이것 없이는 precision을 말할 수 없다

무엇인가

중개 거래소 없이 개인 간 자산을 교환하는 거래. 직접 송금, marketplace, escrow 기반으로 나뉜다.

세탁 과정에서의 역할

custodial 기록이 없는 교환·현금화 경로. privacy asset 이후 재진입 경로로도 쓰일 수 있다.

FACT Bitcoin에서 보이는 것

• BTC transfer 자체
• BTC escrow면 multisig deposit/payout

UNKNOWN Bitcoin에서 보이지 않는 것

• 거래 목적 · 상대방 · 반대 급부
• fiat 결제 여부
• marketplace 내부 trade 기록

TRACE 현재 능력

transfer 관측은 P1 기반에 의존. P2P 관계 증거 import는 R13 설계 NOT VERIFIED

TRACE가 개발해야 할 것

• P2P_TYPE 구분 (DIRECT / MARKETPLACE / ESCROW)
• escrow 구조 인식 (BTC escrow인 경우)
• payment · chat · platform record → anchor

잘못 판단하면 안 되는 것

• P2P transfer = 관계 성립
• 관계 성립 = 현금화
• 수령자 = mule (자동 라벨 금지)

주요 evidence source

platform trade 기록, 결제 기록, chat, 압수 wallet·app 데이터, 수사 회신

관련 연구

R13 R15 P6

무엇인가

고객과 브로커/딜러가 장외에서 대량 교환하는 구조. 브로커는 자체 inventory, 다른 고객, liquidity provider로 반대 자산을 지급할 수 있다.

세탁 과정에서의 역할

자산 전환 · fiat 정산 지점. chain 위에서는 브로커 주소와의 송수신만 남는다.

FACT Bitcoin에서 보이는 것

• 고객 → 브로커 주소 tx
• 브로커 주소 → 수령 주소 tx (있다면)
• attribution이 있으면 브로커 cluster

UNKNOWN chain alone으로 알 수 없는 것

• 주문 목적
• 실제 고객
• 반대편 지급
• fiat settlement

TRACE 현재 능력

broker/order evidence import는 R13 설계 NOT VERIFIED

TRACE가 개발해야 할 것

• broker ledger · order id → anchor import
• payout txid 검증 후 새 trace
• record holder · provenance 기록

잘못 판단하면 안 되는 것

• time + amount → 같은 주문
• 브로커 지급 = 범죄 수익 지급
• 브로커 고객 = 범죄 주체

주요 evidence source

broker ledger, order id, payout txid, communication, seized database, law enforcement return

관련 연구

R13 R15 P6

무엇인가

송수신자·금액·출력 연결을 기본적으로 숨기도록 설계된 privacy asset. 이 문서에서는 XMR을 대표로 다룬다.

세탁 과정에서의 역할

transparent chain lineage를 공개 증거 수준에서 끊는 구간(chain hopping). 이후 다른 transparent asset으로 재등장할 수 있다.

FACT Bitcoin에서 보이는 것

• entry 쪽 BTC tx (서비스·swap으로 가는 tx)
• exit 쪽 BTC tx (anchor가 주어졌을 때)

OPAQUE 공개 증거로 입증되지 않는 것

• entry와 exit 사이 lineage
• XMR 내부 이동·보유 기간·분할
• entry 주체 = exit 주체 여부

TRACE 현재 능력

R12 sidecar 설계 · R13 anchor 설계 ◷planned · 구현 NOT VERIFIED

TRACE가 개발해야 할 것

• OpaqueSegment sidecar (R12)
• entry/exit anchor를 각자 독립 근거로 기록
• UI: opaque 구간을 선 없이 표시

잘못 판단하면 안 되는 것

• XMR = off-chain / 없음
• XMR = coverage gap
• entry와 exit 사이 synthetic edge
• 시간·금액 유사 = 같은 자금

주요 evidence source

exchanger order record, swap endpoint data, 압수 wallet, P2P/OTC 기록, 수사 회신

관련 연구

R12 R13 R11

처리 흐름

검증 실패 → anchor는 NOT VERIFIED로 남고 trace를 열지 않는다.

현금화 증거 사다리 — 각 단계는 별도 기록이 필요하다

1. FACT + ATTR① deposit 관측tx + 주소 attribution
2. EXTERNAL② 계정 식별거래소 회신
3. EXTERNAL③ 거래 체결CEX trading record
4. EXTERNAL④ fiat 출금withdrawal record
5. EXTERNAL⑤ 은행 수령bank record

앞 단계가 뒤 단계를 증명하지 않는다. ①만 있으면 결론은 “custodial boundary 도달”이다.

무엇인가

transparent asset이 거래소·수탁자로 들어가 fiat 또는 실물 자산으로 바뀌는 경계.

세탁 과정에서의 역할

범죄 수익을 실제 사용 가능한 가치로 바꾸는 마지막 단계. 동시에 KYC 기록이 존재할 가능성이 높은 지점.

FACT Bitcoin에서 보이는 것

• deposit 주소로의 tx
• 거래소 hot wallet 이동 (attribution 근거)

UNKNOWN Bitcoin에서 보이지 않는 것

• 계정 소유자
• 매매 · fiat 출금 여부
• 은행 계좌 · 실제 수익자

TRACE 현재 능력

R15 boundary 설계 ◷planned · 구현 NOT VERIFIED

TRACE가 개발해야 할 것

• CUSTODIAL BOUNDARY 종료 표시 (cashout 아님)
• cashout claim은 기록 단계별로만
• record holder · 요청 대상 표시

잘못 판단하면 안 되는 것

• CEX deposit → fiat cashout
• 계좌 명의자 = 실제 수익자
• 자동 mule 라벨

Fiat cashout 확인에 필요한 것

CEX trading record, withdrawal record, bank record, seized database, law-enforcement response

관련 연구

R15 R13 P3

무엇인가

BTC를 다른 체인 자산으로 바꾸는 DEX, bridge, protocol swap. 반대편 체인은 TRACE canonical source 밖에 있다.

세탁 과정에서의 역할

자산·체인을 바꿔 분석 도구의 coverage 경계를 넘긴다. 반대편이 transparent chain이면 다시 추적 가능하다.

FACT Bitcoin에서 보이는 것

• vault/bridge 주소로의 BTC tx
• OP_RETURN memo 등 프로토콜 데이터 (annotation 대상)
• BTC로 나오는 outbound tx

UNKNOWN Bitcoin에서 보이지 않는 것

• 반대편 체인의 실제 수령·이동
• 프로토콜 내부 처리

TRACE 현재 능력

Bitcoin 측만 canonical. 외부 체인 import는 R16 · 구현 NOT VERIFIED

TRACE가 개발해야 할 것

• R9 THORChain annotation
• R16 external-chain facts (source grade)
• R8 multi-chain 결정 준비

잘못 판단하면 안 되는 것

• external chain data = Bitcoin FACT 등급
• bridge 주소로 송금 = 특정 체인 수령 확정
• 프로토콜 주소 = 사용자 attribution

주요 evidence source

Bitcoin chain, 프로토콜 공개 endpoint, 외부 체인 explorer/node 데이터 (source grade 표시), 수사 회신

관련 연구

R9 R16 R8