💻 computer science

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

Cet article introduit la Preuve de l'Origine des Fonds (PoSoF), un cadre cryptographique qui permet aux utilisateurs de générer des preuves à divulgation nulle de connaissance vérifiant l'origine conforme de leurs crypto-actifs sans révéler l'historique de leurs transactions, transférant ainsi la charge de la conformité réglementaire des plateformes centralisées vers les utilisateurs individuels tout en préservant la confidentialité financière.

Auteurs originaux : Alireza Kavousi, István András Seres, Zhipeng Wang

Publié 2026-06-10

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Alireza Kavousi, István András Seres, Zhipeng Wang

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous entrez dans une banque de haute sécurité. Autrefois, la banque disposait d'une équipe massive de détectives qui passaient des heures, des jours ou même des semaines à fouiller toute votre histoire financière pour s'assurer que vous ne transportiez pas d'argent sale. C'était lent, coûteux et cela donnait souvent l'impression aux gens honnêtes qu'ils étaient sous surveillance constante.

Parfois, ces détectives se trompaient. Ils pouvaient signaler une personne parfaitement propre simplement parce qu'elle avait acheté un café dans un magasin qui, plus tard, a été pris en flagrant délit de vente de produits illégaux. C'est ce qu'on appelle un « faux positif », et cela gèle les actifs des innocents.

Le problème avec les règles actuelles de la crypto
Dans le monde de la cryptomonnaie (DeFi), il n'y a pas de banques. Tout le monde est sa propre banque. Actuellement, pour arrêter les acteurs malveillants, les plateformes s'appuient sur ces mêmes « détectives » (des entreprises tierces) pour scanner constamment la blockchain. S'ils trouvent un lien avec un acteur malveillant, ils bloquent l'utilisateur. Mais ce système présente des failles :

Il est réactif : Il attrape souvent l'argent sale après qu'il soit déjà entré dans le système.
Il est fragile : Les acteurs malveillants peuvent facilement tromper le système en faisant circuler l'argent via quelques adresses fraîches et d'apparence propre avant de le déposer.
Il nuit à la vie privée : Pour prouver que vous êtes propre, vous devez souvent montrer toute votre histoire, ce qui détruit votre confidentialité financière.

La nouvelle idée : la « Preuve de l'Origine des Fonds » (PoSoF)
Les auteurs de cet article proposent un renversement intelligent de la situation. Au lieu que la banque (la plateforme) engage des détectives pour traquer votre historique, c'est vous (l'utilisateur) qui devenez le détective.

Voyez les choses ainsi :

L'ancienne méthode : Vous arrivez au guichet de la banque et le guichetier commence à demander : « D'où vient cet argent ? Montrez-moi vos reçus de 1995 à aujourd'hui. »
La nouvelle méthode (PoSoF) : Vous arrivez avec une enveloppe magique scellée. À l'intérieur se trouve une preuve mathématique qui dit : « Je garantis que cet argent provient uniquement de sources sûres et légales (comme une plateforme réglementée où j'ai passé des contrôs d'identité). »

Vous n'ouvrez pas l'enveloppe. Vous ne montrez pas vos reçus au guichetier. Vous lui remettez simplement l'enveloppe. Le guichetier effectue une vérification ultra-rapide d'une seconde (comme le scan d'un code QR) pour vérifier que le sceau est intact et que les mathématiques sont correctes. Si c'est le cas, il vous laisse entrer.

Comment fonctionne l'« enveloppe magique » ?
L'article décrit un système appelé Preuve de l'Origine des Fonds (PoSoF). Voici la décomposition à l'aide de métaphores simples :

La Carte (le DAG) : Imaginez le voyage de votre argent comme une carte de chemins. Certains chemins partent de « Zones Sûres » (comme une plateforme de KYC conforme). D'autres partent de « Zones de Danger » (adresses inconnues ou sur liste noire).
Le Filtre : Vous prenez votre carte et vous découpez uniquement les chemins qui partent des Zones Sûres. Vous ignorez les chemins qui partent des Zones de Danger.
La Preuve Magique : Vous utilisez un outil cryptographique spécial (Preuve à Connaissance Nulle ou Zero-Knowledge Proof) pour créer un certificat. Ce certificat prouve deux choses :
- « J'ai un chemin valide d'une Zone Sûre jusqu'à mon argent actuel. »
- « Je ne mens pas sur le chemin. »
- Crucialement : Le certificat cache le reste de votre carte. Le vérificateur (la plateforme) sait que l'argent est propre, mais il ne sait pas quelle zone sûre spécifique vous avez utilisée, et il ne voit aucune de vos autres transactions.

Pourquoi est-ce meilleur ?

C'est proactif : Vous prouvez que l'argent est propre avant d'essayer de le déposer. L'argent sale n'a même pas la chance d'entrer dans le système.
C'est privé : La plateforme n'a pas besoin de connaître toute votre histoire de vie. Elle ne voit que la preuve que votre argent est propre.
C'est rapide pour la plateforme : La plateforme n'a pas besoin d'une équipe de détectives. Elle a juste besoin d'un ordinateur pour vérifier l'« enveloppe magique » en une fraction de seconde.
C'est difficile de tricher : Le système utilise une règle de « flux ». Imaginez l'eau circulant dans des tuyaux. Si vous essayez de mélanger de l'eau sale avec de l'eau propre, les mathématiques prouvent que vous ne pouvez pas créer plus d'eau propre que celle que vous aviez au départ. Si vous essayez d'utiliser la même transaction propre pour payer deux choses différentes, le système vous attrape.

Exemples concrets tirés de l'article
Les auteurs ont testé cette idée et ont montré qu'elle fonctionne :

Pools de confidentialité (Privacy Pools) : Imaginez un mélangeur de type « Tornado Cash » où les gens cachent leur argent. Généralement, les régulateurs détestent ces outils car les criminels les utilisent. Avec le PoSoF, le mélangeur peut dire : « Nous n'acceptons l'argent que s'il possède une preuve de 'Source Propre' valide. » Ainsi, le mélangeur reste privé pour tout le monde, mais il est garanti exempt d'argent sale.
Échanges (Exchanges) : Lorsque vous déposez de l'argent sur un échange, au lieu que l'échange passe des semaines à vérifier votre historique, vous soumettez simplement la preuve. L'échange la vérifie en quelques millisecondes.
Prêts (Lending) : Si vous voulez emprunter de l'argent sans placer un énorme dépôt (collatéral), vous pouvez prouver que vous avez un long historique de revenus stables et propres. Le prêteur vous fait confiance sur la base de cette preuve sans avoir besoin de connaître votre nom ou de voir vos relevés bancaires.

L'essentiel
Cet article introduit une manière pour les utilisateurs réguliers de la crypto de prouver que leur argent est légal sans renoncer à leur vie privée ou obliger les plateformes à faire tout le travail de recherche. Cela déplace le travail des « policiers » (la plateforme) vers le « citoyen » (l'utilisateur), en utilisant des mathématiques avancées pour créer un système plus rapide, plus sûr et respectueux de la vie privée.

Les auteurs ont construit un prototype fonctionnel et ont constaté que la génération de cette preuve prend environ 1,8 seconde sur un ordinateur portable normal, et que la vérification sur la blockchain ne coûte presque rien (environ 1,5 milliseconde). Cela suggère qu'un futur où la crypto est à la fois privée et conforme est réellement possible.

Résumé Technique : Preuve de l'Origine des Fonds (PoSoF - Proof of Source of Funds)

1. Énoncé du Problème

Le document traite de la tension fondamentale entre la confidentialité financière et la conformité réglementaire dans la finance décentralisée (DeFi). Les méthodologies de conformité actuelles reposent sur deux approches défaillantes :

Listes Binaires Fragiles : Le recours à des listes d'inclusion/exclusion (listes blanches/listes noires) qui sont facilement contournées en transférant des fonds vers de nouvelles adresses non signalées.
Analyse de Graphe Rétroactive : Le recours à des entreprises d'intelligence blockchain centralisées pour tracer continuellement l'historique des transactions. Cette approche est coûteuse en termes de calcul, présente des taux de faux positifs élevés et ne parvient pas à empêcher l'entrée de fonds illicites dans un protocole dès le départ.

De plus, les solutions existantes de préservation de la vie privée (par exemple, Tornado Cash) ont été sanctionnées car elles ne peuvent pas distinguer la confidentialité légitime du blanchiment d'argent. Inversement, les tentatives d'intégration de la conformité via un suivi de « souillure » (taint) rétroactif laissent les utilisateurs honnêtes vulnérables aux « attaques de souillure », où des acteurs malveillants mélangent intentionnellement des fonds illicites avec des fonds légitimes pour geler les actifs d'utilisateurs honnêtes. Le document soutient que le modèle actuel de surveillance côté plateforme prive les utilisateurs de leur vie privée et impose des charges lourdes aux protocoles décentralisés.

2. Méthodologie

Les auteurs proposent la Preuve de l'Origine des Fonds (PoSoF), un changement de paradigme passant de la surveillance côté plateforme à la provenance côté utilisateur. Au lieu que la plateforme ne trace les fonds, l'utilisateur génère localement une preuve à connaissance nulle (ZKP) démontrant que son dépôt provient exclusivement d'un ensemble de sources conformes.

2.1 Abstraction de DAG Temporel Unifié

Pour gérer les structures de blockchain hétérogènes (basées sur UTXO comme Bitcoin et basées sur des comptes comme Ethereum), les auteurs formulent une abstraction de graphe orienté acyclique (DAG) temporel unifiée :

Nœuds : Définis comme des paires temporelles $(a, h)$ , où $a$ est une adresse et $h$ est une coordonnée de séquence déterministe (hauteur de bloc, index). Cela crée des instantanés uniques d'identité à des moments spécifiques.
Arêtes : Représentent les transferts de valeur entre les nœuds, assignant une capacité fractionnaire $v_e \le v(tx)$ .
Modèle : Cette abstraction unifie les historiques de registres en un modèle généralisé de flux de valeur, traitant la capacité conforme comme une ressource finie et non inflationniste.

2.2 Cadre Cryptographique

Le système utilise la Calculabilité Incrémentalement Vérifiable (IVC) via des schémas de pliage (par exemple, Nova) pour atteindre une vérification en temps constant. L'utilisateur extrait un sous-DAG conforme ( $G'$ ) du registre global ( $G$ ) et prouve la satisfaction de prédicats de transition d'état rigoureux sans révéler la topologie intermédiaire ou les origines spécifiques.

Les prédicats fondamentaux appliqués par le circuit à connaissance nulle incluent :

Intégrité et Distinction On-Chain : Chaque arête doit posséder une preuve d'inclusion valide (preuve de Merkle) correspondant à une transaction on-chain finalisée. Les transactions doivent être distinctes pour éviter de recycler une seule transaction conforme sur plusieurs branches.
Ancrage de la Source : Chaque nœud source dans le sous-DAG doit être membre d'un ensemble conforme prédéfini $C$ (par exemple, des plateures d'échange conformes aux procédures KYC), vérifié via une preuve d'inclusion positive (par exemple, un arbre de Merkle).
Liaison d'Arêtes : Le destinataire d'une arête entrante doit correspondre cryptographiquement à l'expéditeur de l'arête sortante, empêissant la falsification de la topologie.
Ordre Temporel : Une acyclicité stricte est imposée ( $h_{in} < h_{out}$ ) pour empêcher les exploits de voyage dans le temps où des entrées conformes futures légitiment des transferts non conformes passés.
Solvabilité des Flux : Pour chaque nœud intermédiaire, la somme des capacités fractionnaires sortantes ne doit pas dépasser la somme des capacités entrantes ( $\sum v_{out} \le \sum v_{in}$ ).
Liaison de l'Exécution Terminale : La preuve doit être liée à la charge utile de la transaction cible spécifique ($txtarget$), garantissant que la preuve est non malléable et valide uniquement pour le dépôt prévu.

2.3 Architecture

Prouveur (Prover) : L'utilisateur construit localement le sous-DAG conforme et exécute le circuit IVC. Il extrait un « chemin propre », ignorant les arêtes non conformes (par exemple, la poussière illicite reçue par l'utilisateur).
Vérificateur (Verifier) : Le contrat intelligent effectue une vérification en temps constant $O(1)$ de la preuve succincte. Il n'a pas besoin de se synchroniser avec des listes de blocage dynamiques ni d'analyser le graphe de transaction.

3. Contributions Clés

Le document présente trois contributions principales :

Formalisation de la Provenance Côté Prouveur : L'introduction de la PoSoF, qui déplace la charge de la conformité vers l'utilisateur. Elle établit une abstraction de DAG temporel unifiée qui capture à la fois les registres basés sur les comptes et les UTXO sous des définitions de sécurité rigoureuses.
Instanciation de Protocole Efficace : La construction d'un protocole PoSoF utilisant l'IVC pour atteindre une vérification on-chain de taille constante, $O(1)$ . Le système inclut des défenses robustes au niveau de la couche applicative (nullificateurs publics, engagements de monnaie de change privés) pour empêcher le double-dépense de l'historique propre.
Implémentation et Évaluation Empirique : Un prototype fonctionnel compatible avec Ethereum démontrant que la conformité proactive est pratique sur du matériel grand public.

4. Résultats et Performances

Les auteurs ont évalué un prototype compatible avec Ethereum en utilisant le système de preuve Groth16 (pour un fragment de chemin linéaire monolithique) et Nova (pour l'IVC).

Prototype Monolithique (Groth16) :
- Génération de Preuve : Sur un ordinateur portable Apple Silicon, la génération d'une preuve pour un chemin de 8 sauts a pris environ 37 secondes.
- Vérification : Le coût de vérification on-chain était d'environ 797 916 gas (environ 1,5 ms), dominé par les vérifications de couplage (pairings).
- Contraintes : Le circuit du prouveur unifié nécessitait environ 25,7 millions de contraintes R1CS.
Implémentation IVC (Nova) :
- Mises à jour Incrémentales : Pour un portefeuille actif, la mise à jour de la preuve avec une nouvelle transaction prend environ 1,8 seconde.
- Vérification : La vérification finale on-chain reste en temps constant à ~1,5 ms (environ 800k gas), quelle que soit la taille ou la profondeur du sous-DAG conforme.
- Scalabilité : Bien que la génération d'une chaîne à partir de zéro sous IVC présente un surcoût cumulatif, le coût marginal de l'ajout d'une nouvelle transaction est constant et nettement inférieur à celui de la re-preuve de tout l'historique requise par les approches monolithiques.

5. Signification et Revendications

Le document affirme que la PoSoF résout la « tension fondamentale entre la vie privée et la conformité » en permettant des couches de conformité proactives on-chain.

Immunité à la Souillure : En traçant mathématiquement les fonds vers une origine conforme et en permettant aux utilisateurs d'exclure les arêtes non conformes de leur témoin (witness), le système est indifférent à la « souillure » passive. Un utilisateur honnête qui reçoit des fonds illicites peut simplement exclure cette transaction de son DAG de provenance.
Contraintes Statiques vs Dynamiques : En ancrant l'éligibilité à des origines conformes statiques (par exemple, des entités réglementées) plutôt qu'à des listes de blocage dynamiques, la PoSoF élimine la nécessité pour les vérificateurs de se synchroniser avec des listes changeant rapidement.
Préservation de la Vie Privée : Le système garantit la légitimité des fonds sans divulguer la topologie des transactions intermédiaires, les adresses intermédiaires ou les origines spécifiques.
Praticité : Les tests de performance démontrent que la conformité proactive et entièrement privée est très pratique, ne nécessitant qu'une vérification en temps constant on-chain et des temps de calcul gérables hors-ligne pour les mises à jour.

Les auteurs positionnent la PoSoF non pas comme un remplacement de tous les mécanismes de conformité, mais comme une couche fondamentale qui peut être combinée avec l'audit post-dépôt (comme Derecho) pour créer un système de conformité complet de bout en bout pour les pools de liquidité et les échanges décentralisés respectant la vie privée.