David Schwartz, CTO émérite de Ripple, met en avant la validation du consensus XRPL alors que le prix du XRP se maintient à 1,41 dollar

Les ingénieurs logiciels travaillant sur le XRP Ledger ont élargi les tests vérifiés par machine afin de valider le code central sur l'ensemble du réseau. Mayukha Vadari, ingénieur de RippleX, a confirmé un partenariat avec le cabinet de recherche CommonPrefix pour prouver mathématiquement que les éléments fondamentaux du XRP Ledger fonctionnent comme prévu.

Le système de vérification utilise des preuves mathématiques vérifiées par machine pour tester les spécifications logicielles face à toutes les entrées possibles. Contrairement aux batteries de tests standards qui vérifient des jeux de données spécifiques, les preuves mathématiques complètes valident l'ensemble de l'espace d'entrée. Les équipes d'ingénierie utilisent la même technologie de base pour formaliser des théorèmes mathématiques complexes.

David Schwartz met en avant la preuve de consensus du XRP Ledger

Ce développement a attiré l'attention des membres de la communauté XRP (XRP-USD) et du CTO émérite de Ripple, David Schwartz. David Schwartz a participé à la conception de l'architecture originale du XRP Ledger avant d'occuper son poste d'émérite. En réaction à cette annonce, David Schwartz a déclaré : « J'ai découvert une preuve fantastique de la validité formelle de l'algorithme de consensus de XRPL, mais les limitations de longueur de publication sur X rendent les messages trop courts pour la contenir. »

Schwartz continue de gérer son propre hub réseau afin de collecter des données et d'améliorer les performances du réseau. Son apport technique a précédemment contribué à la version logicielle 3.2.1, qui a résolu les pics de trafic réseau observés fin juillet.

Le réseau de XRP passe des audits de sécurité indépendants

Les équipes de sécurité ont également effectué des contrôles indépendants des fonctionnalités du protocole pour le XRP Ledger. La société de sécurité Cantina Security a réalisé un audit indépendant de la fonctionnalité Permission Delegation, en complément des tests d'assurance qualité internes. L'équipe d'audit a vérifié les correctifs sur la version 1.1, tandis que les tests automatisés ont passé 5 088 tests sans erreur de code.

Le responsable de l'ingénierie chez Ripple, JA Akinyele, a souligné que la mise en place de la délégation au niveau du protocole nécessitait des normes de sécurité élevées car cela modifie la gestion fondamentale des transactions. Pendant ce temps, XRP s'échange autour de 1,41 $ tout en maintenant un support au-dessus de sa moyenne mobile exponentielle sur 200 jours proche de 1,35 $.