Axient: Canonical Protocol-Graph Composition for Leveraged Event Markets: Single State Authority, Atomic Composition, Durable Sagas, and Exactly-Once Recovery

Dans le monde de la finance numérique, un nouveau type de marché a émergé où les gens peuvent parier sur l'issue d'événements futurs, des scores sportifs aux résultats électoraux, en utilisant de l'argent emprunté pour amplifier leurs gains potentiels. C'est ce qu'on appelle un marché d'événements à effet de levier. Imaginez un trader qui souhaite parier sur un résultat spécifique mais ne possède pas assez de liquidités pour couvrir le risque total. Il fournit une petite quantité de son propre argent comme dépôt, et un prêteur fournit le reste. Si le pari est gagnant, le trader conserve le profit ; s'il est perdant, le prêteur assume la perte. Le système doit être incroyablement précis car il implique de l'argent réel, des règles complexes sur qui est payé quand, et la nécessité de gérer des milliers de ces paris simultanément sans que personne ne perde ses fonds à cause d'une erreur informatique. Le défi central de la construction d'un tel système est de s'assurer que chaque pièce du puzzle financier s'accorde sur la vérité. Si la partie du logiciel qui suit les dettes dit une chose, mais que la partie qui gère les positions de paris en dit une autre, l'ensemble du système pourrait s'effondrer, laissant les investisseurs avec des fonds perdus et aucun moyen de les récupérer.

Un chercheur a développé un nouveau plan pour construire ces marchés numériques, conçu pour éliminer la confusion qui survient lorsque différentes parties d'un programme informatique ne sont pas d'accord. Son travail se concentre sur un concept qu'il appelle une « source unique de vérité ». Dans de nombreux systèmes informatiques complexes, différents modules ou programmes peuvent tenir leurs propres listes séparées de qui doit quoi, en espérant que ces listes finiront par correspondre. Le chercheur soutient que cette approche est dangereuse. Au lieu de cela, il propose un système où chaque type spécifique d'information financière — comme le montant de la dette, le statut d'un pari ou l'argent détenu en réserve — est stocké en un seul endroit précis, appartenant à un contrat numérique spécifique. Aucune autre partie du système n'est autorisée à détenir une copie de cette donnée ou à prendre des décisions basées sur sa propre version de la vérité. Cela garantit que lorsqu'une transaction se produit, elle est enregistrée dans un lieu définitif unique, et toutes les autres parties du système doivent consulter ce même lieu pour voir ce qui s'est passé.

Le chercheur a testé cette idée en construisant un modèle complet et fonctionnel d'un marché d'événements à effet de levier et en le soumettant à une série de douze scénarios spécifiques pour voir s'il tenait bon sous la pression. Il voulait prouver que sa conception pouvait gérer tout, de l'ouverture d'un nouveau pari au paiement des gains, et même la récupération après un plantage du système, sans jamais créer un enregistrement dupliqué d'un événement financier. Dans ses tests, il a simulé une situation où un processus de travail, qui gère la partie lourde du déplacement d'argent, s'arrête soudainement de fonctionner et redémarre. Dans un système moins sécurisé, ce redémarrage pourrait amener le travailleur à payer accidentellement la même dette deux fois, pensant que la première tentative avait échoué. Cependant, dans le système du chercheur, le travailleur a vérifié l'enregistrement officiel unique avant d'agir. Il a vu que la dette avait déjà été réglée et n'a rien fait, garantissant ainsi que l'argent a été déplacé exactement une fois, ni plus, ni moins.

Pour faire fonctionner cela, le chercheur a créé un ensemble de règles strictes qui régissent la façon dont les différentes parties du système communiquent entre elles. Il a conçu une « cascade de pertes », qui est un ordre spécifique dans lequel l'argent est prélevé sur différents fonds pour couvrir un mauvais pari. D'abord, l'argent du pari spécifique est utilisé ; si cela ne suffit pas, le système passe à un fonds de réserve ; si cela ne suffit toujours pas, il prend sur un pool de prêteurs subordonnés ; et enfin, il prend sur les prêteurs seniors. Cet ordre est codé en dur dans le système de sorte qu'il ne peut être ni modifié ni contourné. Il a également construit un mécanisme pour mettre en pause instantanément l'ensemble du système en cas de problème, mais avec une fonction de sécurité qui empêche la levée de la pause trop rapidement. Seul un processus temporisé et pré-approuvé peut redémarrer le système, garantissant qu'une réaction de panique ne conduise pas à un redémarrage précipité et dangereux.

Le chercheur s'est également concentré sur l'idée de « preuve » au sens numérique. Il a créé un journal détaillé, ou registre, qui enregistre chaque étape que prend le système, du moment où un utilisateur clique sur un bouton jusqu'à la mise à jour finale du solde du compte. Ce journal n'est pas seulement une sauvegarde ; c'est le fondement de la reconstruction de la mémoire du système s'il venait à être corrompu. Si le système plante, un nouveau processus peut lire ce journal et reconstruire l'état exact du marché sans avoir besoin de faire confiance à un autre ordinateur ou service. Cela est crucial car cela signifie que le système ne repose pas sur une autorité centrale pour dire ce qui s'est passé ; la preuve est présente dans le journal, et n'importe qui peut la vérifier. Le chercheur a fait passer son modèle à travers douze tests différents, incluant des scénarios où un pari était partiellement réglé, où un conflit est survenu entre deux preuves, et où un utilisateur a tenté de retirer de l'argent alors qu'une perte était encore en cours de calcul. Dans chaque cas, le système s'est comporté exactement selon les règles, refusant de déplacer l'argent à moins que toutes les conditions ne soient remplies et que les registres officiels ne soient mis à jour.

L'une des découvertes les plus importantes fut que le système pouvait gérer des processus complexes à plusieurs étapes sans rester bloqué ou commettre des erreurs. Par exemple, lorsqu'un pari est réglé, le système doit d'abord confirmer le résultat, puis réduire la dette, et seulement ensuite libérer l'argent restant au trader. Si le système tentait de réaliser ces étapes séparément, il pourrait libérer l'argent avant que la dette ne soit apurée. La conception du chercheur force ces étapes à se produire en tant qu'unité unique et incassable. Si une partie du processus échoue, toute l'unité est annulée, et aucun argent ne circule. Cela empêche le système de se retrouver dans un état où il doit de l'argent qu'il n'a pas ou qu'il a versé de l'argent qu'il n'aurait pas dû. Ils ont également montré que le système pouvait détecter lorsqu'un utilisateur tentait d'utiliser des informations obsolètes, telles qu'un pari qui n'était plus valide, et le rejetait immédiatement sans affecter le reste du marché.

Le chercheur a pris soin de noter que son travail était une simulation, un test contrôlé de l'architecture elle-même, et non un produit financier réel fonctionnant sur un réseau public. Il n'a pas testé le système avec de l'argent réel ou des événements du monde réel, mais plutôt avec un ensemble soigneusement construit de règles et de données pour voir si la logique tenait bon. Les résultats ont montré que la conception prévenait avec succès la création de doublons d'enregistrements financiers et maintenait une vue unique et cohérente de l'état du marché à travers tous ses composants. Il a constaté qu'en limitant strictement qui pouvait modifier quoi, et en s'assurant que chaque modification était enregistrée de manière à pouvoir être vérifiée de façon indépendante, ils pouvaient construire un système robuste face aux erreurs et capable de se rétablir des défaillances sans perdre de données.

L'étude a également souligné l'importance d'un « manifeste », qui est un document numérique listant chaque partie du système, son adresse et ses règles. Ce manifeste agit comme un contrat entre les différentes parties du logiciel, garantissant qu'elles travaillent toutes avec la même version du code et le même ensemble de règles. Si une partie du système tente d'utiliser une adresse différente ou une règle différente, le système la rejette immédiatement. Cela empêche des pirates ou des erreurs accidentelles d'introduire un morceau de code malveillant qui pourrait voler des fonds ou altérer l'issue d'un pari. Le chercheur a démontré que cette approche pouvait être utilisée pour créer un système où les règles sont transparentes et les résultats prévisibles, même dans un environnement complexe avec de nombreux acteurs différents.

En fin de compte, l'article présente une nouvelle façon de penser la construction des systèmes financiers sur Internet. Au lieu d'essayer de rendre chaque partie du système parfaite et indépendante, le chercheur s'est concentré sur le fait de rendre les connexions entre les parties rigides et sans ambiguïté. En s'assurant qu'il n'existe qu'un seul endroit où réside la vérité, et en s'assurant que chaque action est enregistrée et vérifiable, il a créé un système difficile à briser et facile à faire confiance. Son travail ne résout pas tous les problèmes de la finance numérique, comme ce qui se passe si la source des données de l'événement est erronée, mais il résout le problème de la gestion de l'argent une fois que les données sont connues. Il montre qu'avec la bonne conception, il est possible de créer un marché numérique aussi fiable et équitable qu'une banque traditionnelle, mais avec la rapidité et la transparence d'un programme informatique. Le chercheur a fourni un plan pour un système capable de gérer la complexité de la finance moderne sans perdre sa trajectoire, offrant une voie à suivre pour construire des économies numériques plus sûres et plus dignes de confiance.