💻 computer science

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

Dit artikel introduceert Proof of Source of Funds (PoSoF), een cryptografisch framework dat gebruikers in staat stelt om zero-knowledge bewijzen te genereren die de conforme herkomst van hun crypto-activa verifiëren zonder de transactiegeschiedenis te onthullen, waardoor de last van regelgevende naleving wordt verschoven van gecentraliseerde platforms naar individuele gebruikers terwijl de financiële privacy behouden blijft.

Oorspronkelijke auteurs: Alireza Kavousi, István András Seres, Zhipeng Wang

Gepubliceerd 2026-06-10

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Alireza Kavousi, István András Seres, Zhipeng Wang

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een beveiligde bank binnenloopt. In de oude dagen had de bank een enorm team van detectives die uren, dagen of zelfs weken besteedden aan het doorzoeken van je volledige financiële geschiedenis om er zeker van te zijn dat je geen zwart geld bij je had. Dit was traag, duur en zorgde er vaak voor dat eerlijke mensen het gevoel hadden constant onder toezicht te staan.

Soms gingen deze detectives ook nog eens de mist in. Ze konden iemand met een volkomen schoon verleden markeren, simpelweg omdat diegene ooit een koffie had gekocht bij een zaak die later betrokken bleek bij illegale handel. Dit wordt een "false positive" genoemd, en het bevriest de bezittingen van onschuldige mensen.

Het probleem met huidige crypto-regels
In de wereld van cryptocurrency (DeFi) zijn er geen banken. Iedereen is zijn eigen bank. Momenteel vertrouwen platforms, om kwaadwillende actoren tegen te houden, op diezelfde "detectives" (derde partijen) die voortdurend de blockchain scannen. Als ze een link vinden naar een kwaadwillende actor, blokkeren ze de gebruiker. Maar dit systeem heeft gebreken:

Het is reactief: Het vangt het "vuile" geld vaak pas op nadat het al het systeem is binnengekomen.
Het is fragiel: Kwaadwillenden kunnen het systeem gemakkelijk misleiden door geld te verplaatsen via een paar nieuwe, schoon lijkende adressen voordat ze het storten.
Het schaadt de privacy: Om te bewijzen dat je eerlijk bent, moet je vaak je hele geschiedenis laten zien, wat je financiële privacy vernietigt.

Het nieuwe idee: "Proof of Source of Funds" (PoSoF)
De auteurs van dit paper stellen een slimme omdraaiing van de rollen voor. In plaats van dat de bank (het platform) detectives inhuurt om naar jouw geschiedenis te zoeken, word jij (de gebruiker) de detective.

Denk hieraan als volgt:

De oude manier: Je loopt naar de bankbalie en de teller begint te vragen: "Waar heb je dit geld vandaan? Laat me je bonnetjes zien van 1995 tot vandaag."
De nieuwe manier (PoSoF): Je komt aanlopen met een verzegelde, magische envelop. In de envelop zit een wiskundig bewijs dat zegt: "Ik garandeer dat dit geld alleen afkomstig is uit vertrouwde, legale bronnen (zoals een gereguleerde exchange waar ik mijn identiteit heb geverifieerd)."

Je opent de envelop niet. Je laat de teller niet je bonnetjes zien. Je overhandigt simpelweg de envelop. De teller voert een supersnelle controle uit van één seconde (zoals het scannen van een QR-code) om te verifiëren of de zegel nog intact is en de wiskunde klopt. Als dat zo is, laat de teller je toe.

Hoe werkt de "magische envelop"?
Het paper beschrijft een systeem genaamd Proof of Source of Funds (PoSoF). Hier is de uitsplitsing met eenvoudige metaforen:

De kaart (De DAG): Stel je de reis van je geld voor als een kaart van paden. Sommige paden beginnen bij "Veilige Zones" (zoals een KYC-conforme exchange). Sommige paden beginnen bij "Gevaarlijke Zones" (onbekende of geblokkeerde adressen).
Het filter: Je neemt je kaart en snijdt alleen de paden uit die beginnen bij Veilige Zones. Je negeert de paden die beginnen bij Gevaarlijke Zones.
Het magische bewijs: Je gebruikt een speciaal cryptografisch hulpmiddel (Zero-Knowledge Proof) om een certificaat te maken. Dit certificaat bewijst twee dingen:
- "Ik heb een geldig pad van een Veilige Zone naar mijn huidige geld."
- "Ik lieg niet over het pad."
- Cruciaal: Het certificaat verbergt de rest van je kaart. De verifieerder (het platform) weet dat het geld schoon is, maar weet niet welke specifieke veilige zone je hebt gebruikt, en ziet ook geen andere transacties van je.

Waarom is dit beter?

Het is proactief: Je bewijst dat het geld schoon is voordat je probee het te storten. Het vuile geld krijgt zo geen kans om het systeem binnen te komen.
Het is privé: Het platform hoeft niet je hele levensverhaal te kennen. Ze zien alleen het bewijs dat je geld schoon is.
Het is snel voor het platform: Het platform heeft geen team van detectives nodig. Ze hebben alleen een computer nodig om de "magische envelop" in een fractie van een seconde te controleren.
Het is moeilijk om te bedriegen: Het systeem gebruikt een "flow"-regel. Stel je voor dat water door buizen stroomt. Als je probeert vies water met schoon water te mengen, bewijst de wiskunde dat je niet meer schoon water kunt creëren dan je oorspronkelijk had. Als je probeert dezelfde schone transactie te gebruiken om twee verschillende dingen te betalen, vangt het systeem je.

Real-world voorbeelden uit het paper
De auteurs hebben dit idee getest en aangetoond dat het werkt:

Privacy Pools: Stel je een "Tornado Cash"-stijl mixer voor waar mensen hun geld verbergen. Meestal haten toezichthouders deze, omdat criminelen ze gebruiken. Met PoSoF kan de mixer zeggen: "Wij laten alleen geld toe als het een geldig 'Clean Source'-bewijs heeft." Nu blijft de mixer privé voor iedereen, maar is het gegarandeerd vrij van vuil geld.
Exchanges: Wanneer je geld stort bij een exchange, hoef je in plaats van dat de exchange wekenlang je geschiedenis controleert, alleen het bewijs in te dienen. De exchange controleert het in milliseconden.
Leningen: Als je geld wilt lenen zonder een grote borg (onderpand) te storten, kun je bewijzen dat je een lange geschiedenis van een schoon, stabiel inkomen hebt. De lener vertrouwt je op basis van dit bewijs zonder dat hij je naam hoeft te weten of je bankafschriften hoeft te zien.

De kernboodschap
Dit paper introduceert een manier waarop gewone crypto-gebruikers kunnen bewijzen dat hun geld legaal is zonder hun privacy op te geven of de platforms al het zware werk te laten doen. Het verlegt het werk van de "politie" (het platform) naar de "burger" (de gebruiker), met behulp van geavanceerde wiskunde om een systeem te creëren dat sneller, veiliger en respectvol is voor de privacy.

De auteurs hebben een werkend prototype gebouwd en ontdekten dat het genereren van dit bewijs ongeveer 1,8 seconden duurt op een normale laptop, en het controleren ervan op de blockchain zeer weinig kost (ongeveer 1,5 milliseconde). Dit suggereert dat een toekomst waarin crypto zowel privé als compliant kan zijn, daadwerkelijk mogelijk is.

Technische Samenvatting: Proof of Source of Funds (PoSoF)

1. Probleemstelling

Het artikel behandelt de fundamentele spanning tussen financiële privacy en regelgevende naleving (compliance) in Decentralized Finance (DeFi). Huidige compliance-methodologieën vertrouwen op twee gebrekkige benaderingen:

Fragiele binaire lijsten: Het vertrouwen op inclusie/exclusielijsten (allowlists/blocklists) die gemakkelijk te omzeilen zijn door fondsen over te boeken naar verse, niet-geflagde adressen.
Retroactieve graafanalyse: Het vertrouwen op gecentraliseerde blockchain-intelligentiebedrijven die continu transactiegeschiedenissen traceren. Deze aanpak is computationeel duur, lijdt onder een hoog aantal fout-positieven en faalt in het voorkomen dat illegaal geld de protocollen binnenkomt.

Bovendien zijn bestaande privacy-oplossingen (bijv. Tornado Cash) gesanctioneerd omdat ze geen onderscheid kunnen maken tussen legitieme privacy en witwassen. Omgekeerd laten pogingen om compliance te integreren via retroactieve "taint"-tracking eerlijke gebruikers kwetsbaar voor "tainting attacks", waarbij kwaadwillende actoren opzettelijk illegaal geld mengen met leglegaal geld om de activa van eerlijke gebruikers te bevriezen. Het artikel betoogt dat het huidige model van platform-zijde surveillance de privacy van gebruikers wegneemt en zware lasten oplegt aan gedecentraliseerde protocollen.

2. Methodologie

De auteurs stellen Proof of Source of Funds (PoSoF) voor, een paradigmaverschuiving van platform-zijde surveillance naar gebruiker-zijde provenance. In plaats van dat het platform de fondsen traceert, genereert de gebruiker lokaal een zero-knowledge bewijs (ZKP) dat aantoont dat hun storting uitsluitend afkomstig is van een set conforme bronnen.

2.1 Verenigde Temporele DAG-abstractie

Om heterogene blockchainstructuren (UTXO-gebaseerd zoals Bitcoin en account-gebaseerd zoals Ethereum) te verwerken, formuleren de auteurs een verenigde temporele Directed Acyclic Graph (DAG) abstractie:

Nodes (Knopen): Gedefinieerd als temporele paren $(a, h)$ , waarbij $a$ een adres is en $h$ een deterministische sequentiecoördinaat (block height, index). Dit creëert unieke snapshots van identiteit op specifieke tijdstippen.
Edges (Randen): Vertegenwoordigen waardeoverdrachten tussen nodes, toegewezen een fractionele capaciteit $v_e \le v(tx)$ .
Model: Deze abstractie verenigt ledger-historieën in een gegeneraliseerd waarde-stroommodel, waarbij conforme capaciteit wordt behandeld als een eindige, niet-inflatoire hulpbron.

2.2 Cryptografisch Framework

Het systeem maakt gebruik van Incrementally Verifiable Computation (IVC) via folding schemes (bijv. Nova) om constante-tijd verificatie te bereiken. De gebruiker extraheert een conforme sub-DAG ( $G'$ ) uit de globale ledger ( $G$ ) en bewijst de voldoening aan strikte state-transition predicaten zonder de intermediaire topologie of specifieke oorsprong te onthullen.

De kern-predicaten die door de zero-knowledge circuit worden afgedwongen zijn:

On-Chain Integriteit & Distinctheid: Elke rand moet een geldige inclusiebewijs (Merkle-bewijs) hebben die koppelt aan een gefinaliseerde on-chain transactie. Transacties moeten distinct zijn om te voorkomen dat een enkele conforme transactie over meerdere takken wordt gerecycled.
Bron Verankering (Source Anchoring): Elke bron-node in de sub-DAG moet lid zijn van een vooraf gedefinieerde conforme set $C$ (bijv. KYC-conforme exchanges), geverifieerd via een positief inclusiebewijs (bijv. Merkle-boom).
Edge Linkage: De ontvanger van een inkomende rand moet cryptografisch overeenkomen met de verzender van de uitgaande rand, om topologie-vervalsing te voorkomen.
Temporele Ordening: Strikte acycliciteit wordt afgedwend ( $h_{in} < h_{out}$ ) om time-travel exploits te voorkomen waarbij toekomstige conforme instroom het verleden van niet-conforme overdrachten legitimeert.
Flow Solvency: Voor elke intermediaire node moet de som van de uitgaande fractionele capaciteiten niet groter zijn dan de som van de inkomende capaciteiten ( $\sum v_{out} \le \sum v_{in}$ ).
Terminal Execution Binding: Het bewijs moet gebonden zijn aan de specifieke doel-transactie payload ($txtarget$), waardoor het bewijs niet-malleabel is en alleen geldig is voor de beoogde storting.

2.3 Architectuur

Prover (Bewijzer): De gebruiker construeert lokaal de conforme sub-DAG en voert de IVC-circuit uit. Zij extraheren een "schoon" pad, waarbij niet-conforme edges (bijv. illegaal ontvangen 'dust' door de gebruiker) worden genegeerd.
Verifier (Verifieerder): Het smart contract voert een constante-tijd $O(1)$ verificatie van het beknopte bewijs uit. Het hoeft niet te synchroniseren met dynamische blocklists of de transactie-graaf te analyseren.

3. Belangrijkste Bijdragen

Het artikel levert drie primaire bijdragen:

Formalisering van Prover-Side Provenance: De introductie van PoSoF, die de compliance-last naar de gebruiker verschuift. Het stelt een verenigde temporele DAG-abstractie vast die zowel account-gebaseerde als UTXO-ledgers vastlegt onder strikte beveiligingsdefinities.
Efficiënte Protocol Instantiatie: De constructie van een PoSoF-protocol met behulp van IVC om een constante-grootte, $O(1)$ on-chain verificatie te bereiken. Het systeem bevat robuuste applicatie-laag verdedigingen (publieke nullifiers, private change commitments) om dubbel uitgeven van een schone historie te voorkomen.
Implementatie en Empirische Evaluatie: Een werkend Ethereum-compatibel prototype dat aantoont dat proactieve compliance praktisch haalbaar is op consumentenhardware.

4. Resultaten en Prestaties

De auteurs evalueerden een Ethereum-compatibel prototype met behulp van het Groth16 bewijssysteem (voor een monolithisch lineair-pad fragment) en Nova (voor IVC).

Monolithisch Prototype (Groth16):
- Bewijsgeneratie: Op een Apple Silicon laptop duurde het genereren van een bewijs voor een pad met 8 hops ongeveer 37 seconden.
- Verificatie: De on-chain verificatiekosten bedroegen ongeveer 797.916 gas (ca. 1,5 ms), gedomineerd door pairing checks.
- Constraints: De verenigde prover-circuit vereiste ~25,7 miljoen R1CS constraints.
IVC Implementatie (Nova):
- Incrementele Updates: Voor een actieve wallet duurt het updaten van het bewijs met een nieuwe transactie ongeveer 1,8 seconden.
- Verificatie: De uiteindelijke on-chain verificatie blijft constant-tijd op ~1,5 ms (ca. 800k gas), ongeacht de grootte of diepte van de conforme sub-DAG.
- Schaalbaarheid: Hoewel het genereren van een keten vanaf nul onder IVC cumulatieve overhead heeft, is de marginale kosten van het toevoegen van een nieuwe transactie constant en aanzienlijk lager dan de monolithische benaderingen die een volledige herberekening van de historie vereisen.

5. Betekenis en Claims

Het artikel beweert dat PoSoF de "fundamentele spanning tussen privacy en compliance" oplost door proactieve, on-chain compliance-lagen mogelijk te maken.

Immuniteit voor Tainting: Door fondsen wiskundig terug te leiden naar een conforme oorsprong en gebruikers toe te staan niet-conforme edges uit hun witness te excluseren, is het systeem ongevoelig voor passieve "tainting". Een eerlijke gebruiker die illegale fondsen ontvangt, kan deze transactie simpelweg uitsluiten van hun provenance DAG.
Statische vs. Dynamische Constraints: Door eligibility te verankeren aan statische, conforme origines (bijv. gereguleerde entiteiten) in plaats van dynamische blocklists, elimineert PoSoF de noodzaak voor verifieerders om te synchroniseren met snel veranderende lijsten.
Privacy Preservatie: Het systeem garandeert de legitimiteit van fondsen zonder de intermediaire transactie-topologie, intermediaire adressen of specifieke oorsprong te lekken.
Praktiseerbaarheid: De benchmarks laten zien dat volledig private, proactieve compliance zeer praktisch is, waarbij slechts constante-tijd verificatie on-chain vereist is en beheersbare computationele tijden off-chain voor updates.

De auteurs positioneren PoSoF niet als een vervanging voor alle compliance-mechanismen, maar als een fundamentele laag die gecombineerd kan worden met post-deposit auditing (zoals Derecho) om een uitgebreid, end-to-end compliance-systeem voor gedecentraliseerde privacy pools en exchanges te creëren.