💻 computer science

Proof of Source of Funds: Efficient On-chain Provenance of Cryptoassets

Questo articolo introduce la Proof of Source of Funds (PoSoF), un framework crittografico che consente agli utenti di generare prove a conoscenza zero che verifichino l'origine conforme dei propri cryptoasset senza rivelare la cronologia delle transazioni, spostando così l'onere della conformità normativa dalle piattaforme centralizzate ai singoli utenti pur preservando la privacy finanziaria.

Autori originali: Alireza Kavousi, István András Seres, Zhipeng Wang

Pubblicato 2026-06-10

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Alireza Kavousi, István András Seres, Zhipeng Wang

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di entrare in una banca ad alta sicurezza. Un tempo, la banca aveva un enorme team di detective che passavano ore, giorni o persino settimane a scavare in tutta la tua storia finanziaria per assicurarsi che non stessi trasportando denaro sporco. Questo era lento, costoso e spesso faceva sentire le persone oneste come se fossero sotto costante sorveglianza.

A volte, questi detective sbagliavano. Potevano segnalare una persona perfettamente pulita solo perché una volta aveva comprato un caffè in un negozio che, in seguito, era stato scoperto vendendo qualcosa di illegale. Questo è chiamato "falso positivo", e blocca le attività delle persone innocenti.

Il problema con le attuali regole crypto
Nel mondo delle criptovalute (DeFi), non esistono banche. Ognuno è la propria banca. Attualmente, per fermare i malintenzionati, le piattaforme si affidano a quegli stessi "detective" (imprese terze) che scansionano costantemente la blockchain. Se trovano un collegamento con un malintenzionato, bloccano l'utente. Ma questo sistema presenta dei difetti:

È reattivo: Spesso intercetta il denaro sporco dopo che è già entrato nel sistema.
È fragile: I malintenzionati possono facilmente ingannare il sistema spostando denaro attraverso alcuni indirizzi nuovi e dall'aspetto pulito prima di depositare.
Danneggia la privacy: Per dimostrare di essere puliti, spesso bisogna mostrare tutta la propria storia, il che distrugge la propria privacy finanziaria.

La nuova idea: "Proof of Source of Funds" (PoSoF)
Gli autori di questo articolo propongono un intelligente ribaltamento della situazione. Invece che la banca (la piattaforma) assuma detective per dare la caccia alla tua storia, tu (l'utente) diventi il detective.

Pensa a questo come a:

Il vecchio modo: Ti avvicini al bancone della banca e il cassiere inizia a chiedere: "Da dove ha preso questi soldi? Mi mostri le sue ricevute dal 1995 a oggi".
Il nuovo modo (PoSoF): Ti presenti con una busta magica sigillata. All'interno c'è una prova matematica che dice: "Garantisco che questo denaro provenga solo da fonti affidabili e legali (come un exchange regolamentato dove ho superato i controlli d'identità)".

Non apri la busta. Non mostri al cassiere le tue ricevute. Ti limiti a consegnargli la busta. Il cassiere esegue un controllo velocissimo di un secondo (come scansionare un codice QR) per verificare che il sigillo sia intatto e che la matematica sia corretta. Se lo è, ti lascia entrare.

Come funziona la "Busta Magica"?
L'articolo descrive un sistema chiamato Proof of Source of Funds (PoSoF). Ecco la suddivisione usando metafore semplici:

La Mappa (Il DAG): Immagina il viaggio del tuo denaro come una mappa di sentieri. Alcuni sentieri partono dalle "Zone Sicure" (come un exchange conforme alla normativa KYC). Altri partono dalle "Zone di Pericolo" (indirizzi sconosciuti o inseriti in blacklist).
Il Filtro: Prendi la tua mappa e ritaglia solo i sentieri che partono dalle Zone Sicure. Ignori i sentieri che partono dalle Zone di Pericolo.
La Prova Magica: Utilizzi uno strumento crittografico speciale (Zero-Knowledge Proof) per creare un certificato. Questo certificato prova due cose:
- "Ho un percorso valido da una Zona Sicura fino ai miei soldi attuali".
- "Non sto mentendo sul percorso".
- Fondamentalmente: Il certificato nasconde il resto della tua mappa. Il verificatore (la piattaforma) sa che i soldi sono puliti, ma non sa quale specifica zona sicura hai utilizzato, né vede le tue altre transazioni.

Perché è meglio?

È Proattivo: Dimostri che i tuoi soldi sono puliti prima di provare a depositarli. Il denaro sporco non ha nemmeno la possibilità di entrare nel sistema.
È Privato: La piattaforma non ha bisogno di conoscere tutta la tua storia. Vedono solo la prova che i tuoi soldi sono puliti.
È Veloce per la Piattaforma: La piattaforma non ha bisogno di un team di detective. Le basta un computer per controllare la "busta magica" in una frazione di secondo.
È Difficile da Truccare: Il sistema utilizza una regola di "flusso". Immagina l'acqua che scorre nei tubi. Se provi a mescolare acqua sporca con acqua pulita, la matematica dimostra che non puoi creare più acqua pulita di quella che avevi all'inizio. Se provi a usare la stessa transazione pulita per pagare due cose diverse, il sistema ti scopre.

Esempi dal Mondo Reale tratti dall'Articolo
Gli autori hanno testato questa idea e dimostrato che funziona:

Privacy Pools: Immagina un mixer stile "Tornado Cash" dove le persone nascondono i propri soldi. Di solito, i regolatori odiano questi sistemi perché i criminali li usano. Con il PoSoF, il mixer può dire: "Accettiamo denaro solo se possiede una prova di 'Fonte Pulita'". In questo modo, il mixer rimane privato per tutti, ma è garantito privo di denaro sporco.
Exchange: Quando depositi denaro in un exchange, invece che l'exchange passare settimane a controllare la tua storia, presenti semplicemente la prova. L'exchange la controlla in millisecondi.
Prestiti: Se vuoi prendere in prestito denaro senza dover fornire un grande deposito (collaterale), puoi dimostrare di avere una lunga storia di reddito costante e pulito. Il prestatore si fida di te sulla base di questa prova senza bisogno di conoscere il tuo nome o vedere i tuoi estratti conto.

In sintesi
Questo articolo introduce un modo per gli utenti comuni di criptovalute di dimostrare che il proprio denaro è legale senza rinunciare alla propria privacy o costringere le piattaforme a fare tutto il lavoro pesante. Sposta il lavoro dalla "polizia" (la piattaforma) al "cittadino" (l'utente), utilizzando la matematica avanzata per creare un sistema che è più veloce, più sicuro e rispetta la privacy.

Gli autori hanno costruito un prototipo funzionante e hanno scoperto che generare questa prova richiede circa 1,8 secondi su un normale laptop, e controllare la prova sulla blockchain costa pochissimo (circa 1,5 millisecondi). Ciò suggerisce che un futuro in cui le criptovalute siano sia private che conformi alle regole è in realtà possibile.

Sintesi Tecnica: Proof of Source of Funds (PoSoF)

1. Definizione del Problema

Il documento affronta la tensione fondamentale tra privacy finanziaria e conformità normativa nella finanza decentralizzata (DeFi). Le attuali metodologie di conformità si basano su due approcci fallaci:

Liste Binarie Fragili: Il ricorso a liste di inclusione/esclusione (allowlist/blocklist) che sono facilmente eludibili trasferendo i fondi verso nuovi indirizzi non ancora segnalati.
Analisi Grafica Retroattiva: Il ricorso a società centralizzate di intelligence blockchain per tracciare continuamente le cronologie delle transazioni. Questo approccio è computazionalmente costoso, soffre di alti tassi di falsi positivi e non riesce a impedire l'ingresso di fondi illeciti in un protocollo prima che avvenga.

Inoltre, le soluzioni esistenti per la preservazione della privacy (ad esempio, Tornado Cash) sono state sanzionate perché non riescono a distinguere tra privacy legittima e riciclaggio di denaro. Al contrario, i tentativi di integrare la conformità tramite il tracciamento retroattivo del "taint" (contaminazione) espongono gli utenti onesti a "attacchi di contaminazione", in cui attori malevoli mescolano intenzionalmente fondi illeciti con fondi legittimi per congelare le attività degli utenti onesti. Il documento sostiene che l'attuale modello di sorveglianza lato piattaforma priva gli utenti della privacy e impone pesanti oneri ai protocolli decentralizzati.

2. Metodologia

Gli autori propongono la Proof of Source of Funds (PoSoF), un cambio di paradigma dalla sorveglianza lato piattaforma alla provenienza lato utente. Invece di far sì che la piattaforma tracci i fondi, l'utente genera localmente una prova a conoscenza zero (ZKP) che dimostra che il proprio deposito proviene esclusivamente da un insieme di fonti conformi.

2.1 Astrazione Unificata del DAG Temporale

Per gestire strutture blockchain eterogenee (basate su UTXO come Bitcoin e basate su account come Ethereum), gli autori formulano un'astrazione unificata di Grafo Diretto Aciclico (DAG) temporale:

Nodi: Definiti come coppie temporali $(a, h)$ , dove $a$ è un indirizzo e $h$ è una coordinata di sequenza deterministica (altezza del blocco, indice). Ciò crea snapshot unici dell'identità a momenti specifici.
Archi: Rappresentano i trasferimenti di valore tra i nodi, assegnando una capacità frazionaria $v_e \le v(tx)$ .
Modello: Questa astrazione unifica le cronologie dei registri in un modello generalizzato di flusso di valore, trattando la capacità conforme come una risorsa finita e non inflattiva.

2.2 Framework Crittografico

Il sistema utilizza la Computazione Incrementale Verificabile (IVC) tramite schemi di folding (ad esempio, Nova) per ottenere una verifica a tempo costante. L'utente estrae un sub-DAG conforme ( $G'$ ) dal registro globale ( $G$ ) e prova la soddisfazione di rigorosi predicati di transizione di stato senza rivelare la topologia intermedia o le origini specifiche.

I predicati core imposti dal circuito a conoscenza zero includono:

Integrità e Distinzione On-Chain: Ogni arco deve avere una prova di inclusione valida (prova di Merkle) che mappi a una transazione on-chain finalizzata. Le transazioni devono essere distinte per evitare il riciclo di una singola transazione conforme su più rami.
Ancoraggio della Sorgente: Ogni nodo sorgente nel sub-DAG deve appartenere a un insieme conforme predefinito $C$ (ad esempio, exchange conformi alle normative KYC), verificato tramite una prova di inclusione positiva (ad esempio, albero di Merkle).
Collegamento degli Archi: Il ricevente di un arco in entrata deve corrispondere crittograficamente al mittente dell'arco in uscita, per prevenire la falsificazione della topologia.
Ordinamento Temporale: Viene imposta una rigorosa aciclicità ( $h_{in} < h_{out}$ ) per prevenire exploit temporali in cui flussi conformi futuri legittimano trasferimenti non conformi passati.
Solvibilità del Flusso: Per ogni nodo intermedio, la somma delle capacità frazionarie in uscita non deve superare la somma delle capacità in entrata ( $\sum v_{out} \le \sum v_{in}$ ).
Vincolo di Esecuzione Terminale: La prova deve vincolarsi al payload specifico della transazione target ($txtarget$), garantendo che la prova sia non malleabile e valida solo per il deposito inteso.

2.3 Architettura

Prover (Generatore di prova): L'utente costruisce localmente il sub-DAG conforme ed esegue il circuito IVC. Estrae un percorso "pulito", ignorando gli archi non conformi (ad esempio, polvere illecita ricevuta dall'utente).
Verifier (Verificatore): Lo smart contract esegue una verifica a tempo costante $O(1)$ della prova succinta. Non ha bisogno di sincronizzarsi con dinamiche blacklist o analizzare il grafo delle transazioni.

3. Contributi Principali

Il documento presenta tre contributi primari:

Formalizzazione della Provenienza Lato Prover: L'introduzione di PoSoF, che sposta l'onere della conformità sull'utente. Stabilisce un'astrazione di DAG temporale unificata che cattura sia i registri basati su account che quelli basati su UTXO sotto rigorose definizioni di sicurezza.
Istanziazione Efficiente del Protocollo: La costruzione di un protocollo PoSoF utilizzando IVC per ottenere una verifica on-chain a dimensione costante, $O(1)$ . Il sistema include robuste difese a livello di applicazione (nullifier pubblici, impegni privati per il resto/change) per prevenire il doppio dispendio della cronologia pulita.
Implementazione e Valutazione Empirica: Un prototipo funzionante compatibile con Ethereum che dimostra che la conformità proattiva è praticabile su hardware consumer.

4. Risultati e Prestazioni

Gli autori hanno valutato un prototipo compatibile con Ethereum utilizzando il sistema di prova Groth16 (per un frammento di percorso lineare monolitico) e Nova (per IVC).

Prototipo Monolitico (Groth16):
- Generazione della Prova: Su un laptop con Apple Silicon, la generazione di una prova per un percorso con 8 hop ha richiesto circa 37 secondi.
- Verifica: Il costo di verifica on-chain è stato di circa 797.916 gas (circa 1,5 ms), dominato dai controlli di pairing.
- Vincoli: Il circuito del prover unificato richiedeva circa 25,7 milioni di vincoli R1CS.
Implementazione IVC (Nova):
- Aggiornamenti Incrementali: Per un wallet attivo, l'aggiornamento della prova con una nuova transazione richiede circa 1,8 secondi.
- Verifica: La verifica finale on-chain rimane a tempo costante a ~1,5 ms (circa 800k gas), indipendentemente dalla dimensione o dalla profondità del sub-DAG conforme.
- Scalabilità: Sebbene la generazione di una catena da zero sotto IVC comporti un overhead cumulativo, il costo marginale per aggiungere una nuova transazione è costante e significativamente inferiore rispetto al ri-proving dell'intera cronologia richiesto dagli approcci monolitici.

5. Significato e Rivendicazioni

Il documento afferma che PoSoF risolve la "tensione fondamentale tra privacy e conformità" consentendo livelli di conformità proattivi on-chain.

Immunità alla Contaminazione (Tainting): Tracciando matematicamente i fondi fino a un'origine conforme e permettendo agli utenti di escludere gli archi non conformi dal proprio witness, il sistema è indifferente alla "contaminazione" passiva. Un utente onesto che riceve fondi illeciti può semplicemente escludere quella transazione dal proprio DAG di provenienza.
Vincoli Statici vs. Dinamici: Ancorando l'ammissibilità a origini statiche e conformi (ad esempio, entità regolate) anziché a blackist dinamiche, PoSoF elimina la necessità per i verificatori di sincronizzarsi con liste che cambiano rapidamente.
Preservazione della Privacy: Il sistema garantisce la legittimità dei fondi senza rivelare la topologia delle transazioni intermedie, gli indirizzi intermedi o le origini specifiche.
Praticità: I benchmark dimostrano che la conformità proattiva, totalmente privata, è altamente pratica, richiedendo solo una verifica a tempo costante on-chain e tempi di calcolo gestibili off-chain per gli aggiornamenti.

Gli autori posizionano PoSoF non come un sostituto di tutti i meccanismi di conformità, ma come uno strato fondamentale che può essere combinato con l'audit post-deposito (come Derecho) per creare un sistema di conformità completo e end-to-end per pool di privacy e exchange decentralizzati.