Compass Investments

Selon Vito Toumas de RippleX, Ripple travaille en étroite collaboration avec Common Prefix, une société de blockchain RandD, pour définir et vérifier officiellement les éléments clés du XRP Ledger : le mécanisme de paiement et le protocole de consensus.

Des ajouts bien plus robustes sont possibles, allant jusqu’à la preuve mathématique de l’existence ou de la non-existence de scénarios extrêmes. FASCINANT !

Les nouveaux add-ons approuvés auront le plus haut niveau de sécurité -> des mises à niveau XRPL beaucoup plus sûres.

Rien ne vaut une garantie mathématique.

Dans le cadre de ce travail, Common Prefix a documenté le système de paiement XRPL, fournissant la première spécification complète du système. Cela ouvre la voie à la vérification formelle du mécanisme de paiement et du protocole de consensus, puis de tous les composants critiques de XRPL.

Le moteur de paiement gère tous les transferts de valeur, y compris les transactions complexes telles que les swaps sur une bourse décentralisée et le rippling. Le protocole de consensus est au cœur du registre, garantissant que les nœuds sont cohérents en termes d’état partagé.

Cette initiative est une étape importante dans la préparation de XRPL pour la prochaine décennie de financement institutionnel et de percées décentralisées.

En 2012, lorsque le XRP Ledger a été lancé pour la première fois, ses créateurs avaient un objectif principal en tête : créer une blockchain plus performante avec des ressources disponibles limitées.

Toutefois, le principal obstacle résidait dans les éléments sous-jacents, une simple implémentation en C, xrpld, qui constituait la seule source de référence.

Le XRP Ledger évolue et de nouvelles fonctionnalités très sophistiquées sont constamment proposées et mises en œuvre. Cependant, l’intégration de changements complexes tels que le protocole de crédit, la frappe MPT DEX, les transactions par lots et la DEX résolue dans la logique établie de longue date du grand livre XRP soulève des questions.

C’est pourquoi la création d’une description officielle constitue une base plus solide qui devrait apporter des avantages tangibles à l’ensemble de l’écosystème du XRP Ledger.

Par exemple, contrairement aux tests traditionnels, qui ne peuvent que détecter la présence de défauts, les méthodes formelles peuvent prouver l’absence de certains types de bogues.