Un outil d'IA détecte une faille critique dans le XRP Ledger qui aurait pu vider des portefeuilles

Un outil de sécurité autonome basé sur l'IA a détecté une faille dans le XRP Ledger qui, si elle était restée non détectée, aurait pu permettre à un attaquant de voler des fonds de n'importe quel compte sur le réseau sans jamais avoir accès aux clés privées de la victime.

La vulnérabilité, divulgué jeudi par XRPL Labs, se trouvait dans la logique de validation de signature de l'amendement Batch, une mise à niveau en attente qui permettrait de regrouper et d'exécuter plusieurs transactions simultanément.

L’amendement était encore en phase de vote parmi les validateurs et n’avait pas été activé sur le réseau principal, ce qui signifie qu’aucun fonds n’a jamais été en danger. Cependant, la voie d’exploitation était probablement l’une des pires possibles pour une blockchain.

Voici ce que le bug a causé en termes simples. Les transactions groupées permettent aux utilisateurs de regrouper plusieurs opérations en une seule. Comme les transactions individuelles à l'intérieur du groupe ne portent pas leurs propres signatures, le système s'appuie sur une liste de signataires du groupe pour confirmer que chaque compte concerné a autorisé le regroupement.

La fonction de validation qui vérifiait ces signataires présentait une erreur critique dans la boucle. Si elle rencontrait un signataire dont le compte n'existait pas encore dans le registre, et dont la clé de signature correspondait à son propre compte — cas normal pour un compte tout juste créé — elle déclarait immédiatement la vérification entière comme réussie et cessait d'examiner le reste de la liste.

Un attaquant pourrait exploiter cette faille en construisant un lot contenant trois transactions. La première crée un nouveau compte contrôlé par l'attaquant. La deuxième est une transaction simple depuis ce nouveau compte, en faisant un signataire requis. La troisième est un paiement du compte de la victime vers l'attaquant.

Parce que le nouveau compte n'existe pas encore au moment de l'exécution de la validation, la vérification du signataire s'interrompt tôt après la première entrée et ne vérifie jamais la deuxième. Les fonds de la victime sont transférés sans que ses clés n'interviennent jamais.

Pranamya Keshkamat et l’outil de sécurité autonome Apex de Cantina AI ont identifié la faille grâce à une analyse statique de la base de code le 19 février et ont soumis une divulgation responsable. L’équipe d’ingénierie de Ripple a validé le rapport le même soir avec une preuve de concept indépendante.

La réponse a été rapide. Les validateurs sur la liste Unique Node du réseau ont été immédiatement invités à voter « Non » sur l’amendement.

Une version d'urgence, rippled 3.1.1, a été publiée le 23 février, déclarant à la fois les amendements Batch et fixBatchInnerSigs comme non pris en charge afin d'empêcher leur activation. Un remplacement corrigé nommé BatchV1_1 a été développé et est en cours d'examen, sans date de publication fixée.

Le fait qu’un outil d’IA ait découvert cela est en soi remarquable.

XRPL Labs a annoncé qu'il intégrerait des pipelines d'audit de code assistés par IA comme étape standard dans son processus de révision à l'avenir, parallèlement à un élargissement de l'analyse statique spécifiquement conçue pour détecter ce type de sorties prématurées de boucle qui ont causé ce bogue.