Altre tecniche di offuscamento

La maggior parte dei percorsi di riciclaggio non passa attraverso un singolo mixer. Combina tecniche economiche, come lunghe catene di indirizzi nuovi, importi suddivisi, account annidati all'interno di exchange, casinò, NFT oggetto di compravendita tra wallet controllati dalla stessa persona e operazioni over-the-counter, nessuna delle quali, da sola, sconfigge un esaminatore attento, ma che insieme lasciano una traccia in cui ogni collegamento è un po' più debole del precedente. Questa lezione cataloga le tecniche in base alle tracce che lasciano, poi mostra come costruire attraverso di esse un'inferenza che un tribunale possa seguire e che un consulente tecnico della difesa non possa facilmente smontare.

Catalogo delle tecniche e delle tracce

Tre righe meritano un esame più approfondito.

Salti tra indirizzi e limiti al numero di salti. Gli analisti spesso interrompono una traccia dopo un numero prestabilito di salti (vedi la lezione IDFE-BA Tracciare i fondi in avanti e all'indietro). Questa regola è prevista per percorsi diluiti o ambigui. Una catena di 40 salti, ciascuno con un input e un output, è composta da 40 collegamenti di grado A che trasferiscono l'intero importo; interrompere la traccia al sesto salto per via di una regola interna significherebbe abbandonare una traccia deterministica. Spiega nel rapporto perché il limite non era applicabile.

PayJoin. In una transazione PayJoin (BIP 78, con una versione asincrona in BIP 77), il destinatario aggiunge alla transazione del mittente uno dei propri input. L'euristica degli input comuni fonde allora due proprietari e l'importo visibile del pagamento non è corretto. Una PayJoin ben realizzata non può essere distinta in modo affidabile da un normale pagamento con due input; di conseguenza, la sua esistenza limita il grado di qualsiasi singolo collegamento basato sugli input comuni (vedi la lezione IDFE-BA L'euristica degli input comuni per attribuire la proprietà). I pagamenti silenziosi (BIP 352) introducono un limite correlato: i pagamenti a un codice pubblicato arrivano a output diversi e non collegabili, perciò il riutilizzo degli indirizzi non si verifica mai.

Automazione. Il riciclaggio automatizzato da script lascia ritardi regolari, tassi di commissione identici, tipi di script coerenti e impronte digitali del wallet, come le abitudini relative alla versione della transazione e al locktime. Questi elementi possono collegare i salti a un unico operatore, ma sono euristiche senza tassi di errore pubblicati per i singoli campi; un'impronta condivisa significa «probabilmente, lo stesso software», non «la stessa persona». Nel caso dell'hack di Bitfinex del 2016, gli investigatori hanno descritto un riciclaggio effettuato attraverso account aperti con identità false, software che automatizzava le transazioni, depositi presso exchange e un mercato darknet, e conversione in Monero. Il caso si è basato su un file contenente chiavi private trovato nel cloud storage dei sospettati in seguito a un mandato di perquisizione, non su una singola euristica on-chain.

Costruire un'inferenza attraverso l'offuscamento

Un'inferenza che attraversa più passaggi di offuscamento è una catena di affermazioni separate. Costruiscila in modo che ogni affermazione possa essere esaminata singolarmente.

1. Fissa i punti di riferimento. Individua i punti iniziale e finale deterministici, tramite txid e indice dell'output o del log, verificati rispetto a un nodo.
2. Formula ogni collegamento come una proposizione distinta. Per esempio: «Il deposito di 18 BTC al blocco 851,402 è stato accreditato su un account della piattaforma di gioco d'azzardo». Registra la base: deterministica, euristica o inferenziale (vedi la lezione Tracciare fino a uno standard probatorio).
3. Elenca le alternative per ogni collegamento. Un pagamento di un casinò di importo simile potrebbe appartenere a un altro giocatore; un account di un broker potrebbe servire molti clienti. Esamina le alternative e registra perché le hai escluse, usando un metodo strutturato come l'analisi delle ipotesi concorrenti (vedi la lezione IDFE-BA Dalla domanda all'ipotesi).
4. Cerca riscontri indipendenti. Il riscontro deve provenire da un tipo diverso di prova: registri del servizio, dati dei dispositivi, comunicazioni, prova di pagamento. Due euristiche che dipendono dallo stesso segnale, come un'impronta digitale del wallet e la tempistica prodotta dallo stesso script, non sono indipendenti e non si sommano.
5. Assegna il grado alla catena in base al suo collegamento più debole. Un percorso con un collegamento di grado D è un percorso di grado D per ogni affermazione che dipende da quel collegamento. Suddividi la conclusione in modo che le affermazioni non dipendenti dal collegamento debole mantengano il proprio grado.
6. Valuta, non sostenere una tesi. Chiediti quanto siano probabili le osservazioni se la proposizione dell'accusa è vera e se è vera un'alternativa ragionevole, come raccomanda la linea guida ENFSI Guideline for Evaluative Reporting in Forensic Science (2015), e documenta l'interpretazione in conformità con ISO/IEC 27042.
7. Rendi il processo ripetibile. Registra query, parametri, versioni degli strumenti e istantanee delle etichette, in modo che un secondo esaminatore possa ripetere ogni collegamento (vedi la lezione Strumenti, riproducibilità e convalida).

Un caso svolto

Un furto fittizio di 40 BTC da un wallet aziendale si sviluppa come segue. La tabella dei collegamenti dell'esaminatore:

Il collegamento 4 è il punto debole, e i collegamenti 5 e successivi ne dipendono per qualsiasi affermazione secondo cui i proventi del furto sarebbero arrivati a Exchange K. L'esaminatore formula due conclusioni. Il flusso dal furto all'account del broker presso Exchange H e alla piattaforma di gioco d'azzardo è di grado A, con attribuzione dell'account di grado B. Il collegamento tra il deposito sulla piattaforma e il deposito presso Exchange K è di grado D, un'indicazione da approfondire. Il passo successivo consiste nel richiedere alla piattaforma informazioni sull'account che ha effettuato il deposito e i relativi prelievi. Se i registri della piattaforma mostrano che lo stesso account ha effettuato prelievi verso i tre indirizzi, il collegamento 4 diventa di grado B, e lo stesso vale per il percorso.

Difendere l'inferenza

Preparati alle obiezioni che solleverà un consulente tecnico della difesa (vedi le lezioni Divulgazione e scrutinio della difesa e Testimonianza e controesame):

• «Quel collegamento si basa solo sulla tempistica.» Riconosci che è così, indica il numero di candidati e l'intervallo, e mostra cosa lo riscontra, oppure dichiara che per ora non c'è alcun riscontro.
• «La tua euristica non ha un tasso di errore noto.» Nomina l'euristica, cita ciò che afferma la ricerca pubblicata in merito, dichiarane i limiti e mostra quali conclusioni non ne dipendono.
• «Hai smesso di cercare alternative.» Presenta la tabella delle alternative del passaggio 3.
• «Il numero di salti è eccessivo.» Spiega che i salti non diluiti con un input e un output sono deterministici e che i limiti al numero di salti riguardano la diluizione, non la distanza.

Formula poi il risultato con parole coerenti con i gradi: «I fondi rubati sono arrivati a una piattaforma di gioco d'azzardo (registrato on-chain). Uno schema di prelievi dalla piattaforma è compatibile con l'arrivo degli stessi fondi a Exchange K, ma questa conclusione si basa unicamente sulla tempistica e sull'importo e non è stata confermata dai registri della piattaforma».

Focus sull'esame: le tracce lasciate da ciascuna tecnica (catene peel, salti tra indirizzi, frazionamento, servizi annidati, piattaforme di gioco d'azzardo, compravendita di NFT tra wallet controllati dalla stessa persona, operazioni P2P e OTC, wallet per la privacy, PayJoin secondo BIP 78 e pagamenti silenziosi); perché i limiti al numero di salti non si applicano alle catene deterministiche non diluite; perché PayJoin limita il livello di confidenza degli input comuni; le impronte dell'automazione come euristiche; i sette passaggi per costruire un'inferenza (punti di riferimento, proposizioni, alternative, riscontri indipendenti, classificazione in base al collegamento più debole, ragionamento valutativo secondo ENFSI 2015 e ISO/IEC 27042, ripetibilità); separare le conclusioni in presenza di un collegamento debole; rispondere alle obiezioni comuni della difesa.