Le Code de Prêt du XRP Ledger Fait Face à une Révision Formelle Avant le Vote du Mainnet

TLDR :

• RippleX teste le code de prêt XRPL avant que les validateurs envisagent l'activation du Mainnet.
• La vérification formelle peut exposer des erreurs comptables et d'état que les tests normaux manquent.
• XLS-66 ajouterait des prêts à terme fixe financés par la liquidité des Single Asset Vaults.
• XRP se négocie près de 1,17 $ tandis que XRPL prépare des mises à jour techniques et de gouvernance.

Les développeurs de RippleX appliquent la vérification formelle au code de prêt du XRP Ledger avant que la fonctionnalité puisse progresser vers l'activation du Mainnet. Les travaux couvrent le protocole de prêt XLS-66 et les Single Asset Vaults XLS-65 prévus, qui ajouteraient des fonctions de prêt natives à XRPL.

L'examen est mené avec Common Prefix, une société de recherche en protocoles. L'objectif est de tester si la conception du prêt peut entrer dans des états non sécurisés avant que les validateurs décident de l'activation.

Ce processus est important car XRPL prévoit d'intégrer le prêt directement dans son protocole de base. Cela diffère de nombreux systèmes DeFi, où le prêt est géré par des smart contracts distincts.

L'examen des prêts du XRP Ledger se concentre sur la sécurité de la Couche 1

La vérification formelle utilise des modèles mathématiques pour tester des règles de sécurité définies. Elle ne vérifie pas seulement les cas attendus. Elle cherche à savoir si le système peut se comporter en dehors de sa conception prévue.

L'ingénieur de Ripple Vito Tumas a déclaré que les tests traditionnels ont des limites lorsque la DeFi fonctionne directement au niveau de la Couche 1. Les tests standard dépendent de scénarios que les développeurs imaginent déjà. Les modèles formels peuvent explorer des espaces d'états plus larges.

RippleX a indiqué que les travaux se concentrent désormais sur les Single Asset Vaults et le protocole de prêt. Ces fonctionnalités introduisent une logique financière liée aux parts de coffre, aux conditions de prêt, aux intérêts, aux défauts, aux gels et aux récupérations.

Cette complexité rend la précision comptable importante. De petites erreurs d'arrondi ou de solde peuvent s'aggraver lorsque les transactions sont répétées pour de nombreux utilisateurs. Dans un système de couche de base, ces erreurs peuvent affecter chaque application utilisant la fonctionnalité.

Le processus Common Prefix crée un modèle abstrait du comportement attendu. Les développeurs comparent ensuite les résultats avec l'implémentation xrpld. Toute divergence peut révéler un défaut potentiel ou un problème de conception.

RippleX a indiqué que la modélisation précoce a déjà mis en évidence des cas limites manqués par les tests normaux. Cela ne prouve pas que le logiciel est exempt de bugs. La vérification formelle dépend du modèle et des propriétés choisis.

Les validateurs doivent encore approuver les amendements de prêt XRPL

XLS-66 permettrait des prêts à terme fixe et non garantis financés par les Single Asset Vaults. Les courtiers en prêts fixeraient les conditions et géreraient les risques. Les vérifications de crédit des emprunteurs se feraient hors chaîne avant que les fonds ne passent sur la chaîne.

La conception prend également en charge le capital de première perte optionnel. Ce capital peut absorber une partie d'un défaut avant que les déposants du coffre ne subissent des pertes. Le modèle vise à séparer les décisions de souscription du règlement sur la chaîne.

Les Single Asset Vaults regroupent un actif pour une utilisation par les marchés de prêt. Cette structure évite les pools d'actifs mixtes et peut limiter le risque comptable inter-actifs. Elle prend également en charge XRP et les actifs émis, selon les règles du protocole.

Des contrôles de conformité peuvent s'appliquer aux jetons émis éligibles. Ceux-ci incluent des fonctions de gel et de récupération là où les règles des jetons le permettent. Cette conception peut rendre le système plus pertinent pour les actifs réglementés.

La version 3.1.0 de XRPL a ajouté la prise en charge des amendements de prêt et de coffre en janvier. La version a introduit les fonctions SingleAssetVault et LendingProtocol, mais l'activation dépend toujours du processus d'amendement. 

Le réseau a déjà exprimé sa prudence concernant les fonctionnalités principales proposées. La version 3.1.1 a désactivé la prise en charge des lots après que des chercheurs ont trouvé une faille dans l'amendement proposé. Ce cas a accru l'attention portée aux tests préalables à l'activation.

La version 3.1.3 de XRPL a ensuite ajouté des correctifs liés aux NFTs, aux domaines autorisés, aux coffres, au protocole de prêt et aux jetons multi-usages. La version 3.2.0 de XRPL est désormais attendue vers le 15 juin et renommera le logiciel serveur principal de rippled en xrpld. 

L'article Le code de prêt du XRP Ledger fait face à un examen formel avant le vote du Mainnet est apparu en premier sur Blockonomi.