Que se passe-t-il si un contrat intelligent présente un bug ? Les fonds peuvent-ils être récupérés ?

Conséquences immédiates de l'exécution

1. Une fois déployé, un contrat intelligent fonctionne de manière autonome sans intervention humaine. Toute faille intégrée dans son bytecode s'exécute exactement comme codé : aucune substitution externe n'existe.

2. Un bug peut déclencher des changements d'état involontaires : les soldes peuvent être écrasés, les contrôles d'accès contournés ou les chemins logiques mal acheminés sans avertissement ni capacité d'annulation de transaction.

3. Si le bug permet des transferts non autorisés, les fonds sont instantanément transférés vers des adresses contrôlées par les attaquants. Ces transactions sont cryptographiquement définitives et semblent impossibles à distinguer des transactions légitimes en chaîne.

4. Les vulnérabilités de réentrée ont provoqué un épuisement répété des réserves de protocole. Citons par exemple le piratage de DAO et l'exploit 2022 Nomad Bridge, où 190 millions de dollars ont disparu en quelques minutes.

5. Les dépassements d'entiers ou les opérations arithmétiques non contrôlées peuvent corrompre la comptabilité interne, conduisant à la création de jetons fantômes ou à une inflation d'équilibre qui se propage à travers les contrats dépendants.

Irréversibilité de l'état en chaîne

1. Ethereum et la plupart des chaînes compatibles EVM appliquent l’immuabilité dès leur conception. Chaque bloc s'appuie sur des hachages cryptographiques antérieurs ; la modification d'un bloc invalide tous les blocs suivants.

2. Aucune autorité centrale n’a le pouvoir d’annuler les transactions. Les portefeuilles, les bourses ou les développeurs ne peuvent pas geler, récupérer ou annuler un transfert confirmé, même s'il est initié par un code défectueux.

3. Le concept de « récupération » contredit les principes fondamentaux de la blockchain : décentralisation, déterminisme et finalité. Une transaction récupérée nécessiterait un accord consensuel pour rejeter les transitions d’état valides.

4. Les tentatives historiques de récupération, telles que le hard fork d'Ethereum après l'incident de DAO, ont divisé le réseau et généré Ethereum Classic, prouvant que de telles actions fragilisent la confiance et l'intégrité du protocole.

5. Même les portefeuilles multisig ou les mécanismes de timelock ne peuvent pas annuler rétroactivement la logique exécutée ; ils ne font que contraindre les actions futures, pas celles passées.

Tentatives d'atténuation au niveau du protocole

1. Certains protocoles intègrent des fonctions de pause d'urgence, mais celles-ci ne font qu'interrompre les interactions futures, et non les instructions déjà exécutées ou les soldes finalisés.

2. Les modèles de proxy évolutifs permettent le remplacement de la logique via un appel délégué, mais les données stockées restent intactes ; l'état corrompu persiste à moins qu'il ne soit explicitement corrigé dans une nouvelle logique.

3. Les oracles ou les signataires externes ne peuvent pas modifier les résultats en chaîne après l'exécution : ils influencent les entrées, pas les sorties une fois le calcul terminé.

4. Les outils de vérification formelle comme Certora ou KEVM détectent les incohérences logiques avant le déploiement, mais n'offrent aucune correction d'exécution lorsque les failles ne sont pas détectées.

5. Les soumissions de bug bounty peuvent conduire au déploiement de correctifs, mais les contrats de correctifs ne corrigent pas rétroactivement les états exploités ni ne restaurent les actifs épuisés.

Réalités de la récupération des fonds

1. Les fonds envoyés vers des comptes externes (EOA) contrôlés par des attaquants sont effectivement irrécupérables à moins qu’ils ne soient restitués volontairement.

2. Si des actifs volés atterrissent dans des adresses contrôlées par les bourses, les demandes légales peuvent entraîner un gel, mais cela dépend entièrement de la coopération juridictionnelle et de la conformité KYC, et non des mécanismes de la blockchain.

3. Les ponts entre chaînes compliquent encore davantage la récupération : les actifs bloqués sur une chaîne et déformés sur une autre ne peuvent pas être réconciliés sans que les deux parties ne s'accordent sur une correction d'État.

4. Il n'existe aucun mécanisme cryptographique pour annuler une transaction confirmée sur Ethereum, Polygon, Arbitrum ou BSC.

5. Les sociétés d’analyse de chaîne peuvent retracer les flux, mais le traçage n’équivaut pas à la récupération : la propriété du portefeuille reste pseudonyme et résistante à l’application des lois.

Questions courantes et réponses directes

Q : Un développeur peut-il déployer un nouveau contrat pour remplacer un contrat buggé et migrer des fonds ? R : Uniquement si les utilisateurs interagissent volontairement avec le nouveau contrat. Il n'y a pas de migration automatique ; les actifs bloqués dans l'ancien contrat restent inaccessibles à moins que le bug ne permette le retrait.

Q : L'EIP-1559 d'Ethereum ou l'abstraction de compte modifient-ils les options de récupération de fonds ? R : Ni l’un ni l’autre n’introduit de capacité d’inversion. EIP-1559 ajuste les mécanismes du marché des frais. L'abstraction de compte permet des portefeuilles programmables mais ne remplace pas la finalité au niveau du consensus.

Q : Les portefeuilles multisignatures sont-ils immunisés contre les bugs des contrats intelligents ? R : Non. La logique Multisig elle-même est implémentée dans les contrats intelligents et a subi des exploits, notamment la malléabilité des signatures et la manipulation des occasions, comme le montre le gel du portefeuille Parity.

Q : La gouvernance en chaîne peut-elle voter pour récupérer les fonds volés ? R : Les jetons de gouvernance confèrent des droits de vote sur les paramètres du protocole, et non un contrôle sur les transactions ou les soldes individuels. Le vote ne peut pas modifier les écritures immuables du grand livre.