Proof of reserves

Une proof of reserves affirme que les actifs que contrôle la plateforme d'échange égalent ou dépassent les soldes clients qu'elle doit à un moment donné. La moitié actifs est la partie facile: la plateforme indique les adresses qu'elle contrôle et prouve ce contrôle en signant un message avec les clés. Chacun peut lire les soldes de ces adresses sur la chaîne.

Trois choses sont laissées de côté. La preuve couvre un moment, si bien qu'elle ne dit rien de la veille ni du lendemain. La preuve ne dit rien des dettes de la plateforme envers d'autres que les clients, comme un prêteur dont la créance passe avant. Enfin, tant que la moitié passifs n'est pas prouvée aussi, rien n'empêche la plateforme de sous-estimer ce qu'elle doit.

La moitié passifs utilise un arbre de Merkle. Chaque compte client devient une feuille, construite en hachant un identifiant de compte avec le solde et une valeur aléatoire unique, afin que personne ne puisse lire un solde à partir du hash. Les feuilles sont hachées par paires, les résultats sont de nouveau hachés par paires, et le processus se répète jusqu'à ce qu'il reste un seul hash au sommet: la racine de Merkle. Modifiez un seul solde et la racine change, si bien que la racine engage la plateforme sur l'ensemble des passifs qu'elle a publiés.

Un client vérifie son inclusion avec un chemin de Merkle, la courte liste des hashes voisins nécessaires pour reconstruire la racine à partir de sa propre feuille. Le client hache ses propres données de compte, les combine tour à tour avec chaque hash du chemin et vérifie si le résultat est égal à la racine publiée. Une présentation pas à pas de la construction montre le chemin étape par étape. Une correspondance prouve que le solde du client a été compté dans le total.

Une preuve d'inclusion indique à un client que son solde a été compté. Une preuve d'inclusion ne lui indique pas que celui de tous les autres l'a été. Une plateforme peut laisser des comptes hors de l'arbre, et seuls les clients omis le remarqueraient, ou insérer de faux comptes à solde négatif pour réduire le total apparent. Aucune de ces manipulations n'est visible pour un client qui vérifie son propre chemin.

Combler cette faille exige soit un auditeur qui confirme que l'arbre a été construit à partir du registre complet des comptes, soit un schéma cryptographique qui prouve qu'aucun solde de l'arbre n'est négatif. La seconde voie utilise des preuves à divulgation nulle de connaissance, par lesquelles la plateforme prouve que la somme est correcte et qu'aucune entrée n'est négative sans révéler de solde individuel. L'approche à divulgation nulle de connaissance est plus complexe à mettre en œuvre, et c'est pourquoi la plupart des preuves publiées reposent encore sur un auditeur pour cette étape. Merkle Science présente la version complète comme une preuve de solvabilité: proof of reserves plus proof of liabilities.

La plupart de ce que le secteur appelle une proof of reserves est une attestation, pas un audit. Un cabinet comptable exécute des procédures convenues à un moment donné et rend compte de ce qu'il a constaté, sans exprimer d'opinion sur les états financiers ni tester les contrôles internes qui les sous-tendent. Un audit des états financiers couvre une période entière, teste les contrôles et comporte une opinion dont l'auditeur est responsable.

Certaines plateformes ont publié des chiffres de réserves sans aucune partie indépendante, soit une autodéclaration. C'est en lisant dans le document le nom du cabinet, les termes qui décrivent la mission et la date qu'un client distingue ces cas. Les procédures qu'un auditeur des états financiers applique réellement aux crypto-actifs sont décrites sous audit crypto.

La réglementation européenne prend une autre voie pour la même préoccupation. Un prestataire de services sur crypto-actifs agréé qui détient des actifs de clients doit les séparer des siens, détenir des actifs correspondant aux créances de ses clients en nature et en quantité, et répondre d'une perte due à un incident sauf s'il prouve que la perte est survenue sans faute de sa part. Un dépositaire doit aussi à ses clients un relevé de leurs positions et doit tenir un registre des positions par client.

C'est une obligation continue que fait respecter un superviseur, alors qu'une proof of reserves est un instantané volontaire. Les deux ne se remplacent pas: une plateforme agréée au titre de MiCA n'a pas à publier de racine de Merkle, et une racine de Merkle publiée ne prouve pas un agrément. Ce qu'un client allemand doit vérifier en premier, c'est l'agrément, sujet de la page agrément CASP.

FTX détenait des soldes clients qui finançaient une société de trading liée, et personne à l'extérieur ne pouvait le voir, car aucune vérification indépendante des réserves n'existait. Après l'effondrement de novembre 2022, la plupart des grandes plateformes d'échange ont publié en quelques mois une forme d'attestation de réserves. La pratique répondait à une vraie question, et elle est aussi devenue un argument marketing, et c'est pourquoi la méthode compte plus que l'existence d'une page.

Pour les émetteurs de stablecoins, une règle traite la même préoccupation au lieu d'un usage. MiCA fixe en quoi doit consister la réserve d'un jeton de monnaie électronique, où elle est détenue et comment elle est déclarée, ce que traite la réponse sur les réserves des stablecoins.

Non. La proof of reserves est une preuve sur un moment et, dans la plupart des formes publiées, sur une moitié du bilan. Une plateforme peut publier une preuve valide le lundi et déplacer les actifs le mardi, et la preuve ne dit rien des dettes envers des prêteurs qui passent avant les clients. La proof of reserves est un signal utile, et elle ne donne de créance sur personne si la plateforme fait défaut. Une créance vient d'un agrément, d'une conservation séparée auprès d'une entité réglementée ou d'une police d'assurance, et ce dernier point est traité sous assurance crypto.

Le rythme mensuel est courant, et une fréquence plus élevée est préférable précisément parce que la preuve couvre un moment. Un instantané par trimestre laisse une longue période sans aucune preuve, et une plateforme capable d'emprunter des actifs pour le jour de l'instantané peut satisfaire un calendrier prévisible sans détenir les actifs le reste du temps. Un moment non annoncé et une publication continue des adresses y répondent, et ni l'un ni l'autre n'est la norme.

L'inclusion de votre propre solde, oui, lorsque la plateforme publie votre chemin de Merkle et la racine. Hacher votre propre feuille et parcourir le chemin est un calcul qu'un navigateur peut faire, et la plupart des plateformes qui publient des preuves fournissent un outil pour cela. Ce que vous ne pouvez pas vérifier seul, c'est l'exhaustivité, à savoir si tous les autres comptes ont été comptés, et le côté actifs au-delà de la lecture des adresses que la plateforme a choisi de divulguer. Ces deux parties exigent l'auditeur ou le schéma à divulgation nulle de connaissance.