Comment les CEX peuvent-ils adopter des pratiques sûres ? Le cofondateur d'Ethereum partage ses réflexions

L'effondrement de FTX a soulevé des questions importantes sur la crédibilité des échanges de cryptomonnaies centralisés (CEX). FTX était en effet l'un des échanges les plus populaires dans l'espace crypto, et son effondrement a laissé une marque douloureuse sur l'ensemble du marché des cryptomonnaies.

L'ensemble de la communauté crypto se demande maintenant comment les utilisateurs peuvent garantir la sécurité de leurs échanges et les tenir responsables de l'adoption de meilleures pratiques. C'est également une préoccupation pour les autres échanges de cryptomonnaies légitimes. De telles plateformes ne doivent pas et ne fonctionnent pas comme des banques, et par conséquent, elles ne peuvent pas s'appuyer uniquement sur des méthodes réglementées comme les licences gouvernementales et les audits de gouvernance pour prouver leur crédibilité.

Le cofondateur d'Ethereum Vitalik Buterin a partagé des informations critiques sur la manière dont les CEX peuvent adopter des pratiques sûres et bâtir leur crédibilité en utilisant des méthodes cryptographiques sur la chaîne. Voici quelques-uns des points clés du récent blog de Buterin :

Les anciennes méthodes de preuve de solvabilité qui fonctionnent encore 

Les bilans sont la plus ancienne technique pour prouver cryptographiquement la solvabilité d'un échange. Les échanges centralisés peuvent efficacement montrer qu'ils ont suffisamment de fonds pour couvrir les passifs des clients, en publiant publiquement les rapports de transaction de leurs actifs verrouillés. Cela a été fait par MTGox, l'un des premiers échanges Bitcoin en 2011. L'entreprise a démontré sa preuve de solvabilité en transférant 424242 BTC vers une adresse prédéclarée.

Bien qu'efficace, l'approche du bilan crée un problème en termes de détermination du montant total des dépôts des utilisateurs. Par exemple, dans le cas de MTGox, comment peut-on confirmer que les dépôts des utilisateurs de la plateforme n'excèdent pas ses fonds totaux sur le bilan ?

Selon le cofondateur d'Ethereum, le moyen le plus simple de répondre à cette préoccupation est de publier une liste complète des paires (Nom d'utilisateur, Solde). Cela résout le problème de la preuve de solvabilité mais crée un nouveau problème de confidentialité.

La technique de l'arbre de Merkle pour préserver la vie privée des utilisateurs

Selon Buterin, la technique de l'arbre de Merkle peut intégrer la « preuve de solvabilité » et la vie privée des utilisateurs dans un modèle unifié. Cette technique consiste à établir un tableau des soldes des clients dans un arbre d'addition de Merkle, où chaque nœud est une paire (solde, hachage).

Les nœuds de la couche inférieure représentent les soldes des utilisateurs et les hachages des noms d'utilisateur de chaque client individuel. Le solde des nœuds supérieurs inclut la somme des deux soldes inférieurs. Les utilisateurs peuvent calculer hiérarchiquement leurs soldes, du nœud inférieur au nœud le plus élevé, et si la somme est correcte, cela signifie que leur solde est correctement inclus dans le montant total.

Bien que l'approche de l'arbre de Merkle offre un certain niveau de confidentialité tout en démontrant la preuve des passifs, elle ne garantit pas une sécurité maximale des informations des utilisateurs.

ZK-SNARKs – un modèle robuste pour les échanges centralisés

Selon Buterin, la méthode la plus puissante pour garantir la preuve des passifs et maintenir la vie privée des utilisateurs est la technologie ZK-SNARKs. Elle signifie « Preuve succincte non interactive à divulgation nulle de connaissance » (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge).

ZK-SNARKs est un moyen pour les transactions d'être privées et entièrement chiffrées sur la blockchain tout en restant validées selon les règles de consensus du réseau. Cette approche peut démontrer que l'expéditeur dispose des fonds qu'il souhaite transférer sans rendre cette information publique. Par exemple, étant donné le hachage d'un nombre aléatoire, un échange pourrait convaincre l'utilisateur qu'il existe bien un nombre avec cette valeur de hachage, sans révéler ce qu'il est.

Des informations plus détaillées sur cette technologie peuvent être trouvées dans les documents fondamentaux officiels d'Ethereum.

Autres conseils de Vitalik Buterin pour les CEX

Le cofondateur d'Ethereum a également suggéré que les CEX conservent quelques adresses publiques à usage à long terme comme preuve d'actifs. Les échanges peuvent soit générer quelques adresses publiques et prouver leur propriété une seule fois, soit disposer de nombreuses adresses et prouver aléatoirement la propriété de temps en temps.

Ils devraient également adopter des options de preuve à divulgation nulle de connaissance plus complexes. Par exemple, un échange pourrait définir toutes ses adresses comme des multisignatures 1-sur-2, où l'une des clés serait différente pour chaque adresse.

À l'avenir, ces pratiques peuvent aider les échanges centralisés à démontrer efficacement leur preuve des passifs et à augmenter leur crédibilité auprès des utilisateurs. Plus important encore, ces mesures peuvent aider à prévenir un autre événement catastrophique comme celui de FTX.