Attaque de Finney

Origine du nom

L'attaque de Finney porte le nom de Hal Finney, cypherpunk et premier destinataire d'une transaction Bitcoin (10 BTC envoyés par Satoshi Nakamoto le 12 janvier 2009). C'est lui qui a, dès février 2011, décrit cette technique théorique sur le forum Bitcoin Talk, comme une double-dépense spécifiquement adressée aux marchands acceptant des paiements à zéro confirmation (zeroconf).

Le scénario d'attaque

L'attaquant est un mineur, ou contrôle un certain hashrate. Il procède ainsi :

1. Il prépare un bloc privé contenant une transaction Tx_A qui lui renvoie ses BTC à lui-même.
2. Il ne diffuse pas ce bloc et continue le minage.
3. Dès qu'il trouve un bloc valide, il garde le secret.
4. Il dépense alors les mêmes UTXO dans une transaction Tx_B chez un marchand qui accepte les paiements zeroconf (un café, par exemple).
5. Le marchand voit Tx_B, livre le produit.
6. L'attaquant diffuse alors son bloc avec Tx_A, invalidant Tx_B car les UTXO sont déjà dépensés.

Conditions nécessaires

| Condition | Pourquoi c'est limitant | |-----------|--------------------------| | Avoir trouvé un bloc | L'attaque dépend de la chance du mineur (un mineur seul attend en moyenne des semaines) | | Marchand zeroconf | Quasi-personne ne pratique plus le zeroconf sur on-chain | | Délai serré | Le bloc doit être diffusé avant qu'un autre mineur n'en publie un valide | | Coût d'opportunité | Garder le bloc = renoncer à la récompense légitime |

C'est ce coût d'opportunité (récompense de bloc) qui rend l'attaque économiquement absurde dans la plupart des cas.

Différence avec la race attack

Une race attack est plus simple : l'attaquant diffuse deux transactions concurrentes (Tx_A et Tx_B) en même temps, espérant que Tx_A gagne. Elle n'exige pas de hashrate, mais le marchand averti peut détecter les doubles propagations.

Mitigations

• Attendre au moins 1, idéalement 6 confirmations pour les montants significatifs.
• Utiliser Lightning pour les petits paiements (instantanés et finaux dans le canal).
• 0-conf safe assumptions : monitorer le mempool pour détecter les RBF/double-spends.

À retenir

L'attaque de Finney est devenue principalement historique. Elle reste un classique pédagogique pour comprendre pourquoi Bitcoin demande des confirmations : chaque confirmation est une multiplication exponentielle du coût d'une réorganisation frauduleuse.