Qu’est-ce que la Preuve des réserves ?
La Preuve de réserves (PoR) garantit que les dépositaires détiennent suffisamment de fonds pour couvrir tous les actifs des utilisateurs sur leur plateforme et les passifs de dépôt, tout en maintenant leur solvabilité.
Cette attestation cryptographique démontre qu’une plateforme d’échange de cryptomonnaies détient un montant spécifique d’actifs sur sa blockchain à un moment donné, offrant ainsi une transparence des soldes agrégés des utilisateurs ou de la somme totale des dépôts sur la plateforme d’échange. Ce résultat est obtenu sans révéler d’informations sensibles sur les soldes des comptes individuels. PoR est un élément essentiel de l’écosystème crypto.
Les actifs considérés comme des réserves sont les cryptomonnaies offrant des liquidités et une acceptation du marché solides. OKX offre des rapports sur la réserve pour 22 jetons, notamment Bitcoin (BTC), , et stablecoins, comme Tether (USDT), USD Coin (USDC).
Comment fonctionne notre Preuve des réserves ?
Nous utilisons un algorithme Preuve de connaissance zéro transparent, zk-STARK, pour prouver et vérifier tous les actifs des utilisateurs détenus sur notre plateforme d’échange.
Nous vérifions notre propriété des adresses du portefeuille OKX on-chain et le total des actifs du portefeuille OKX.
Pour finir, nous vérifions notre ratio de réserve en comparant le total des actifs détenus par les utilisateurs avec le total des actifs échangés à partir des adresses de notre portefeuille on-chain.
Qu'est-ce que zk-STARK ?
zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) est une méthode sécurisée. Elle s’appuie sur les principes de connaissance zéro (Zero Knowledge) et utilise le protocole FRI pour vérifier les données et prouver l’authenticité de nos rapports. En outre, zk-STARK garantit la confidentialité des utilisateurs en ne divulguant ni les montants, ni les valeurs, ni les adresses spécifiques.
Comment OKX utilise zk-STARK pour vérifier vos actifs ?
Nous prenons un instantané du solde des actifs de chaque utilisateur, puis nous entrons ces données dans un tableau de suivi et un système d'arbre Merkle chiffré. Nous créons ainsi un enregistrement inviolable qui peut être utilisé pour vérifier l'exactitude des soldes.
![Nous prenons un instantané du solde des actifs de chaque utilisateur, puis nous entrons ces données dans un tableau de suivi et un système d'arbre Merkle chiffré. Nous créons ainsi un enregistrement inviolable qui peut être utilisé pour vérifier l'exactitude des soldes.]()
Nous avons établi trois règles ou « contraintes » auxquelles doivent satisfaire les soldes des actifs des utilisateurs. Si chaque contrainte est testée et avérée, la véracité des affirmations d'OKX se trouve ainsi confirmée.
Règle 1 : contrainte du solde total
Le total des actifs des utilisateurs qu’OKX prétend détenir correspond à la somme du solde total des actifs de chaque utilisateur.
Règle 2 : contrainte non négative
Le solde total de chaque utilisateur est supérieur à zéro, et leurs actifs sont comptabilisés, couvrant leurs passifs et garantissant que chaque utilisateur dispose de fonds propres nets positifs. Ceci est crucial pour maintenir la solvabilité d'une plateforme d’échange de cryptomonnaies.
Règle 3 : contrainte d’inclusion
Le solde total de chaque utilisateur est inclus dans le processus de calcul et de vérification.
Notre système Preuve des réserves est ouvert et disponible pour être testé et utilisé sur github.
Comment vérifier la propriété de l’adresse de portefeuille et des actifs d’OKX
Nous avons publié une liste d’adresses de portefeuilles où vos utilisateurs peuvent consulter les actifs OKX stockés « on-chain ». Ces adresses contiennent un message signé indiquant « Je suis une adresse OKX », qui confirme notre propriété.
Pour vérifier notre propriété, vous pouvez utiliser les outils tiers ou open source « VerifyAddress » fournis par OKX.
Comment vérifier le ratio de réserve OKX
Pour vérifier le ratio de réserve d’OKX, comparez le total des actifs détenus dans les portefeuilles on-chain d’OKX au total des actifs des utilisateurs de la racine Merkle.
Si le solde total de nos actifs on-chain est égal ou supérieur au solde total des actifs de l’utilisateur, le ratio de réserve confirmera qu’OKX dispose d’une Preuve de réserves.
Comment procéder à la vérification automatique de la Preuve des réserves ?
Vérifier la contrainte d’inclusion
Période du rapport : à partir d’avril 2023
Pour vérifier si votre solde d’actifs a été inclus en tant que feuille Merkle, accédez à « Rapports sur la Preuve de réserves (PoR) » et cliquez sur Détails pour accéder à vos données du rapport.
![Pour obtenir les données nécessaires à la vérification, cliquez sur {Copydata}, puis collez les chaînes dans un fichier situé dans un nouveau dossier. Le nom du fichier doit se terminer par « _inclusion_proof.json ».]()
Pour obtenir les données nécessaires à la vérification, cliquez sur Copier les données, puis collez les chaînes dans un fichier situé dans un nouveau dossier. Le nom du fichier doit se terminer par « _inclusion_proof.json ».
![Pour obtenir les données nécessaires à la vérification, cliquez sur {Copydata}, puis collez les chaînes dans un fichier situé dans un nouveau dossier. Le nom du fichier doit se terminer par « _inclusion_proof.json ».]()
Téléchargez zk-STARK Validator, l'outil de vérification open source OKX, puis enregistrez-le dans le même dossier que le fichier JSON.
Ouvrez zk-STARK Validator pour exécuter automatiquement le fichier JSON que vous avez enregistré.
Si la vérification réussit, le message suivant s’affiche :
« La validation de la contrainte d'inclusion a réussi »
![La validation de la contrainte d'inclusion a réussi]()
Si la vérification échoue, le message suivant s'affiche :
« La validation de la contrainte d'inclusion a échoué »
![La validation de la contrainte d'inclusion a échoué]()
Accédez à votre arbre Merkle méthode de vérification entre le 22/11/2022 et le 17/02/2023
Accédez à votre arbre Merkle v2 méthode de vérification à compter du 16/03/2023
En savoir plusVérifier le solde total et les contraintes non négatives
Pour vérifier que les actifs qu'OKX prétend détenir sont vrais et qu’aucun utilisateur n'a d'actifs négatifs, procédez comme suit :
Sous « Fichiers Preuve de réserves », téléchargez le fichier zk-STARK dans l'onglet « Rapport sur le passif ».
![Sous « Fichiers Preuve de réserves », téléchargez le fichier zk-STARK dans l'onglet « Rapport sur le passif ».]()
Décompressez le fichier pour faire apparaître un dossier « sum proof data » avec des sous-dossiers « branch » et « trunk » contenant les fichiers « sum_proof.json » et « sum_value.json ».
![Décompressez le fichier pour faire apparaître un dossier « sum proof data » avec des sous-dossiers « branch » et « trunk » contenant les fichiers « sum_proof.json » et « sum_value.json ».]()
![Décompressez le fichier pour faire apparaître un dossier « sum proof data » avec des sous-dossiers « branch » et « trunk » contenant les fichiers « sum_proof.json » et « sum_value.json ».]()
Téléchargez zk-STARK Validator, l'outil de vérification open source OKX, et placez-le dans le même dossier racine que le dossier « sum proof data ».
Ouvrez zk-STARK Validator pour exécuter automatiquement le fichier zk-STARK décompressé.
Si la vérification réussit, le message suivant s’affiche :
« La validation de la somme totale et de la contrainte non négative a réussi »
![La validation de la somme totale et de la contrainte non négative a réussi]()
Si la vérification échoue, le message suivant s’affiche :
« La validation de la somme totale et de la contrainte non négative a échoué »
![La validation de la somme totale et de la contrainte non négative a échoué]()
En savoir plusVérifier la propriété et le solde de l’adresse de portefeuille OKX
Si vous souhaitez vérifier la propriété de l’adresse de votre portefeuille OKX et consulter son solde, comparez-la à notre liste publiée d'adresses de portefeuilles de cryptomonnaies.
OKX partagera le type de crypto, le montant et la signature. En outre, un message signé « Je suis une adresse OKX » avec la clé privée correspondante sera également partagé.
En prenant Bitcoin (BTC) comme exemple, les étapes suivantes permettent aux utilisateurs de vérifier la propriété de l'adresse et du solde de leur portefeuille BTC :
Téléchargez les informations sur les adresses de portefeuilles accessibles au public sous « Fichiers Preuve de réserves ».
Téléchargez ensuite les outils de vérification open source d'OKX depuis github pour lancer le processus de vérification.
Ouvrez le fichier téléchargé contenant les informations sur les adresses de portefeuilles et copiez les informations en surbrillance, comme indiqué dans l’image ci-dessous. L’adresse BTC, les signatures et le message doivent être copiés séparément.
![Ouvrez le fichier téléchargé contenant les informations sur les adresses de portefeuilles et copiez les informations en surbrillance, comme indiqué dans l’image ci-dessous. L’adresse BTC, les signatures et le message doivent être copiés séparément.]()
Collez les informations dans un outil de vérification de signature tiers ou dans l'outil VerifyAddress d'OKX pour vérifier l'adresse et la signature.
Si la vérification réussit, cela confirme qu’OKX est propriétaire de l'adresse.
![Capture d'écran d'un outil de vérification de signature. L'adresse BTC, le message et la signature sont validés, ce qui signifie qu'OKX possède l'adresse.]()
Utilisez l’outil CheckBalance pour vérifier l’adresse de portefeuille OKX en la comparant à l’instantané de hauteur de bloc correspondant.
![Utilisez l’outil {CheckBalance} pour vérifier l’adresse de portefeuille OKX en la comparant à l’instantané de hauteur de bloc correspondant.]()
En savoir plus
