Le vétérinaire du validateur XRPL dUNL a mis en évidence une étape majeure en matière de sécurité pour le prochain $XRP Protocole de prêt du grand livre, révélant qu’il est actuellement en cours de vérification formelle.
Selon Vet, les développeurs de Ripple appliquent des techniques de vérification formelle généralement utilisées dans les centrales nucléaires, les systèmes aéronautiques et les logiciels de qualité militaire pour sécuriser l’écosystème DeFi natif en expansion de XRPL.
Le commentaire se concentre sur les efforts continus de RippleX pour vérifier formellement le $XRP Le prochain protocole de prêt et les coffres-forts uniques de Ledger. Ces fonctionnalités visent à amener la finance décentralisée (DeFi) directement à l’architecture de couche 1 de XRPL sans recourir aux contrats intelligents traditionnels.
Construire une forteresse $XRP
Vet a notamment décrit l’initiative comme une étape importante vers la construction d’une « forteresse ». $XRP», une vision dans laquelle l’infrastructure DeFi native de XRPL fonctionne selon certaines des normes de sécurité et d’assurance disponibles les plus élevées.
Contrairement à de nombreux réseaux blockchain qui dépendent fortement des contrats intelligents, le $XRP Ledger intègre la fonctionnalité DeFi directement dans son architecture principale de couche 1.
En conséquence, les développeurs doivent garantir un niveau de sécurité et d’exactitude encore plus élevé, car des failles au niveau du protocole peuvent affecter l’ensemble du réseau.
Pourquoi les tests traditionnels ne suffisent plus
Développant le développement, Vito Tumas, ingénieur logiciel chez Ripple, a expliqué que les tests traditionnels ne peuvent à eux seuls sécuriser de manière adéquate les protocoles financiers complexes de couche 1. Même si les développeurs ne peuvent tester que les scénarios qu’ils anticipent, la vérification formelle prouve mathématiquement que le code se comporte correctement dans un large éventail de conditions possibles, y compris des cas extrêmes que les testeurs humains pourraient ne jamais prendre en compte.
Pour y parvenir, Ripple travaille aux côtés de Common Prefix. Ensemble, les équipes construisent un modèle abstrait du protocole et le comparent continuellement à l’implémentation C++ de xrpld, le $XRP Logiciel serveur Ledger : via un cadre de vérification conçu pour identifier les écarts et les vulnérabilités potentielles.
De plus, Tumas a révélé que le processus a déjà découvert des cas extrêmes complexes que les méthodes de test conventionnelles n’ont pas réussi à détecter. Ces résultats démontrent en outre la valeur de la vérification formelle pour les infrastructures financières à enjeux élevés, où un bug dans le code de couche 1 pourrait avoir un impact sur l’ensemble du réseau plutôt qu’une seule application.
Vérification formelle basée sur l’IA pour renforcer la sécurité XRPL et la confiance institutionnelle
Parallèlement, Vet a souligné le rôle croissant de l’IA pour rendre la vérification formelle plus pratique, évolutive et accessible. Il estime que la combinaison de l’IA et de la vérification formelle pourrait alimenter la prochaine vague d’adoption institutionnelle à travers le monde. $XRP Écosystème du grand livre.
Notamment, la communauté XRPL a déjà été témoin des avantages de l’analyse de sécurité assistée par l’IA. Plus tôt cette année, un outil d’IA a permis de découvrir une faille dans l’amendement proposé au XRPL Batch qui, si elle n’était pas résolue, aurait pu exposer les fonds des utilisateurs à des risques.
Après que le chercheur en sécurité Pranamya Keshkamat ait identifié le problème, les développeurs ont rapidement publié un correctif et étendu l’utilisation des audits basés sur l’IA dans d’autres processus d’examen.
Prêts XRPL natifs
En attendant, l’écosystème XRPL vise à apporter des fonctionnalités natives de prêt et d’emprunt directement sur la chaîne. Le système permet aux institutions et aux particuliers d’accéder au crédit en utilisant des actifs tels que $XRP et RLUSD sans dépendre des contrats intelligents traditionnels.
Introduite dans le cadre de l’amendement XLS-66, l’initiative est entrée dans la phase de vote des validateurs plus tôt cette année après la sortie de la version 3.1.0 de XRPL.
Selon Vet, les développeurs testent actuellement le protocole de prêt tout en mettant en œuvre les garanties nécessaires pour assurer la sécurité des fonds des utilisateurs avant l’activation.
