Preuve de réserves Aujourd'hui, nous nous tenons sur les épaules des échanges qui nous ont précédés. Plus d'une décennie de pionniers. Plus d'une décennie de boums. Plus d'une décennie de krachs. Plus d'une décennie de leçons difficiles apprises. Et s'il y a une leçon à retenir, c'est que l'avenir de la finance est sur la chaîne. Aujourd'hui, nous avançons avec notre propre contribution, nous engageant à une preuve de réserves quotidienne, et nous ne nous arrêterons pas là. Lorsque nous avons décidé de construire Backpack Exchange, nous nous sommes demandé si nous voulions créer un CEX ou un DEX, et nous avons conclu, pourquoi pas les deux ? La finance traditionnelle ne va nulle part, et avec le temps, elle évoluera pour devenir de plus en plus comme la crypto. Les échanges centralisés de l'avenir resteront conformes, mais ils seront vérifiables, distribués, et ressembleront et se sentiront beaucoup comme les échanges décentralisés d'aujourd'hui. Au final, il sera difficile de faire la différence. Les CEX seront conformes. Les DEX seront résistants à la censure. Les deux seront sur la chaîne. La prochaine étape du parcours continu de Backpack pour minimiser la confiance : les attestations d'intégrité d'état. (Honnêtement, je suis réticent à dire cela, car les mots et les définitions techniques sont devenus si déformés ce cycle qu'ils en sont presque devenus dénués de sens. Néanmoins, c'est assez intéressant et donne un aperçu de où nous en sommes et où nous allons, alors allons-y.) Peu de gens comprennent que Backpack est déjà sur la chaîne. Le grand livre de l'échange lui-même est construit à partir d'un registre linéaire mondial de transactions authentifiées jouées sur une machine d'état déterministe. Chaque placement d'ordre, chaque annulation, chaque liquidation, chaque dépôt, chaque retrait - tout - est une transaction signée. À travers un prisme, une réplication classique de machine d'état avec un peu de crypto par-dessus. À travers un autre prisme, une sorte de blockchain autorisée. La preuve de réserves franchit le pas large et critique d'ancrer notre grand livre aux chaînes publiques, mais comment savez-vous que ce grand livre a été calculé correctement ? Vous devez non seulement voir le code pour vous assurer qu'il n'y a pas de malversation, mais vous devez également rejouer chaque transaction - comme cela se fait avec les blockchains d'aujourd'hui - ou encoder cette fonction de transition d'état dans un circuit à connaissance nulle - comme cela se fait avec l'avant-garde des machines virtuelles ZK. Dans les deux cas, le résultat est le même : vérifiabilité du grand livre. Aujourd'hui, Backpack est entièrement vérifiable. Chaque transition d'état depuis le début des temps jusqu'à maintenant peut être exécutée et comparée à notre grand livre attesté publiquement. Associez ce grand livre à une preuve de réserves, et vous avez un ancrage complet de bout en bout d'un échange centralisé à une blockchain publique. Pour commencer, nous nous engageons à des preuves quotidiennes, mais en pratique, nous exécutons notre réconciliation de solde en temps réel et générons les preuves toutes les 10 minutes. Pour être honnête, je m'attends à quelques défis pour générer des preuves trop fréquemment en raison de certaines exigences réglementaires liées aux fiat à venir, donc nous nous en tiendrons à une fois par jour pour l'instant. Mais à mesure que nous nous sentirons de plus en plus à l'aise avec le système, nous viserons à réduire les temps de preuve de quotidien à, je l'espère, de plus en plus près du temps réel. Il y a juste un problème avec tout cela : nous ne publions pas le code ou les données publiquement, et donc bien que beaucoup du travail technique difficile pour atteindre la vérifiabilité soit fait, en pratique, c'est encore très dans la catégorie "fais-moi confiance, mon pote". (Pour être juste envers nous-mêmes, presque tout dans la crypto est encore très dans la catégorie fais-moi confiance, mon pote, mais nous faisons de notre mieux pour être sincères sur nos limitations.) Quoi qu'il en soit, c'est la prochaine étape critique que nous devons franchir pour renforcer notre preuve de réserves avec des garanties de bout en bout sur les soldes des utilisateurs sur la plateforme. Lentement mais sûrement, nous mettons un pied devant l'autre. C'était une étape importante pour nous, mais il y a beaucoup, beaucoup - beaucoup - d'autres domaines pour apporter une véritable minimisation de la confiance à chaque niveau de la pile d'échanges centralisés. Les dépositaires, la gestion des risques de marge, la garde autonome - tous des sujets méritant leur propre plongée approfondie, leur propre produit et leur propre annonce. Il y a beaucoup de travail à faire pour réimaginer et reconstruire l'échange centralisé de fond en comble, et, aussi ringard et peu créatif que cela puisse paraître, ce n'est que le début. 🧱 --------------------- PS. Quelques détails intéressants : - La preuve couvre tous les soldes "physiques" sur l'échange. J'aime dire physique car cela implique que vous pouvez toucher les pièces - par opposition à des concepts synthétiques qui ne peuvent pas être appliqués de manière externe par un L1 comme l'intérêt ouvert, le PnL non réalisé ou les emprunts ouverts. Dans la nomenclature du système de Backpack, cela signifie que tous les fonds dans les soldes disponibles (c'est-à-dire les jetons assis dans votre portefeuille), les ordres ouverts (c'est-à-dire les jetons assis dans le carnet de commandes), et les prêts non empruntés (c'est-à-dire les jetons qui ont été prêtés mais non empruntés) sont encapsulés par la Preuve de Réserves. Ces deux derniers points sont extrêmement subtils mais extrêmement importants, donc je vais les aborder ensuite. - Étonnamment, certains échanges permettent de trader avec un concept de TradFi appelé "règlement net", où l'on peut fournir de la liquidité avec plus d'actifs qu'ils n'en ont sur la plateforme, par exemple parce qu'ils sont un participant de marché de confiance restant neutre. Sur Backpack, tous les soldes dans le carnet de commandes sont physiques. C'est-à-dire qu'ils correspondent directement aux soldes assis dans nos portefeuilles sur la chaîne, et parce que les soldes dans le carnet de commandes sont physiques, cela garantit que la liquidité que vous voyez est toujours réelle et ancrée par la chaîne publique via le PoR. (Il existe également d'autres façons intéressantes de tester si la liquidité est réelle, par exemple, construire un bot preneur et vérifier votre taux de remplissage. Une telle expérience a souvent été utilisée par des HFTs crypto pour tester l'intégrité de divers carnets de commandes d'échanges au fil des ans.) - Dans Backpack ou tout système d'emprunt-prêt d'ailleurs, on pourrait déposer des USD et utiliser cela comme garantie pour emprunter et retirer des BTC. Cela crée un trou légitime dans le système où ce trou est entièrement et à plus de 100 % collatéralisé par les actifs soutenant l'emprunt. Néanmoins, c'est un trou. L'actif prêté n'est *correctement* plus assis dans le portefeuille si l'emprunteur retire. En conséquence, une analyse complète des réserves devrait être associée à une analyse robuste des risques de marge. Il faut répondre à la question : la garantie tient-elle et peut-elle être liquidée en cas de mouvement de marché défavorable ? Naturellement, la gestion des risques est tout aussi importante que la garde, mais c'est une conversation pour un autre jour. - Parce que les contrats à terme perpétuels sur Backpack réalisent le PnL en temps réel, marquant les positions au marché et échangeant de l'argent physique entre tous les gagnants et perdants en continu, cela signifie que tout le PnL ouvert dans les positions est pris en compte dans la preuve de réserves, un joli gain qui découle de notre conception du moteur de risque sans frais. - Ironiquement, les fiat assis dans les banques, que le reste du monde non natif à la crypto considère comme plus sécurisés, jettent un bâton dans les roues de la Preuve de Réserves. Comme mentionné ci-dessus, il existe certaines exigences réglementaires dans certaines parties du monde où les stablecoins ne sont pas autorisés. Dans ces régions, nous serons contraints d'utiliser de l'argent liquide dans la banque. Cependant, notre système ne connaît rien d'autre que des jetons. Pour y remédier, nous devrons frapper un "jeton de dépôt" (comme un stablecoin mais représentant des dépôts bancaires). Actuellement, nous utilisons 100 % de stablecoins, mais je soupçonne que les jetons de dépôt deviendront plus courants avec le temps, comme nous l'avons récemment vu avec JP Morgan s'associant à Coinbase pour pionnier ce concept. - Si vous ne l'avez pas déjà fait, consultez notre page de Preuve de Réserves. Nous en hébergeons une nous-mêmes où vous pouvez télécharger et exécuter toutes les preuves. Tant en agrégat à travers l'ensemble de l'échange qu'aussi des preuves d'inclusion pour votre compte spécifique. Une seconde page avec les mêmes données et preuves est hébergée et validée par Ottsersec (voir le tweet cité pour les détails et les liens). - Pour être complet, je devrais mentionner que tout le code de preuve ZK est public pour que le monde puisse le voir, le cloner et l'exécuter soi-même. ----------------------- PS. Si vous trouvez cela intéressant, nous recrutons. Les DMs sont ouverts.