Une correction de Bitcoin Lightning bloque une enquête liant des canaux privés à un financement on-chain

Le Lightning Development Kit (LDK), un logiciel utilisé pour construire des applications Bitcoin Lightning, a une correction de confidentialité qui bloque une enquête documentée liant un canal non annoncé à la sortie Bitcoin qui le soutient. L'enquête exploitait la manière dont LDK transmettait des messages onion, transformant un identifiant de canal deviné en confirmation d'une connexion entre deux nœuds suspects.

Bitcoin Optech a mis en avant ce changement le 30 octobre. Un canal non annoncé reste en dehors de la carte du réseau public, mais cela seul n'a pas empêché la recherche de transmission de messages de LDK de confirmer son lien de financement.

Un identifiant de canal court réel, ou SCID, fonctionne comme des coordonnées blockchain. La spécification Lightning le définit en utilisant la hauteur du bloc, la position de la transaction dans ce bloc et la position de la sortie dans cette transaction. Ensemble, ceux-ci identifient la sortie Bitcoin particulière finançant un canal.

Un attaquant peut dériver un identifiant candidat à partir de l'emplacement d'une sortie sans encore savoir s'il appartient à un canal entre les nœuds suspects. L'enquête documentée fournit cette confirmation manquante. Elle nécessite que l'attaquant se connecte aux deux points de terminaison et construise un chemin de message onion à travers eux qui revient à l'attaquant.

Avant la correction, la recherche de canal de LDK pouvait résoudre un vrai SCID même pour un canal non annoncé une fois son financement confirmé. Si le message revenait avec succès, l'attaquant pouvait confirmer que la sortie devinée et le canal entre ces nœuds correspondaient.

Comment un identifiant deviné peut exposer un lien de financement caché

Comparez l'enquête documentée sur le message onion avant et après la correction du code de LDK du 25 octobre.
Un identifiant de canal réel encode l'emplacement d'une sortie de financement. L'ID EST UN ENSEMBLE DE COORDONNÉES BLOCKCHAIN Hauteur du bloc Index de la transaction Index de la sortie SCID réel Emplacement du financement L'enquête demande : cette sortie finance-t-elle un canal entre ces nœuds ?
Le bloc, la transaction et la sortie identifient le vrai SCID
L'EMPLACEMENT DU FINANCEMENT Bloc Transaction Sortie SCID court réel Cette sortie finance-t-elle un canal entre les nœuds suspects ?

Où l'enquête s'arrête

Où l'enquête s'arrête Avant la correction Après la correction
Un message retourné confirme le lien de sortie de financement candidat sous les conditions d'enquête documentées.
Avant la correction : le message retourné confirme le lien de financement CONDITION : L'ATTAQUANT SE CONNECTE AUX DEUX POINTS DE TERMINAISON Attaquant Nœud A Nœud B SCID réel deviné Canal non annoncé Message transmis Le message onion revient à l'attaquant Le retour réussi confirme le lien de financement candidat.
Avant la correction : le message passe par A et B de retour à l'attaquant Connecté aux deux points de terminaison Attaquant Nœud A Nœud B SCID réel deviné Canal non annoncé : A à B Le retour confirme le lien de financement
LDK rejette le vrai SCID du canal non annoncé à moins qu'il ne soit l'alias sortant. Les alias valides restent utilisables.
Après la correction : la recherche d'ID réel rejetée CONDITION : L'ATTAQUANT SE CONNECTE AUX DEUX POINTS DE TERMINAISON Attaquant Nœud A Nœud B SCID réel deviné Canal non annoncé Nœud A rejette la recherche d'ID réel À moins que cette valeur ne soit l'alias sortant Les alias valides restent utilisables.
Après la correction : la recherche d'ID réel deviné s'arrête au nœud A Connecté aux deux points de terminaison Attaquant Nœud A Nœud B SCID réel deviné Canal A à B Nœud A rejette la recherche d'ID réel Exception : la valeur est l'alias sortant Les alias valides fonctionnent toujours

LDK bloque la recherche d'ID réel du canal non annoncé ; les alias valides restent utilisables.

Nécessite des connexions d'attaquant aux deux points de terminaison suspects et un SCID réel candidat. Le rejet excepté une valeur égale à l'alias sortant. La fusion n'établit pas l'inclusion de la libération ou la couverture du portefeuille déployé.
Sources et preuves

Sources

1. LDK PR 5314 : mécanisme et correction
2. BOLT 7 : définition de l'identifiant de canal court réel
3. Bitcoin Optech : enquête de confidentialité documentée
4. Journal des modifications officiel : contexte de la portée de la version

Faits soutenants

• Dans l'enquête documentée, un pair non lié connecté aux deux points de terminaison de canal suspects peut utiliser un identifiant de canal court réel deviné dans un chemin de message oignon à travers ces nœuds jusqu'à lui-même ; la réception réussie confirme le lien de sortie de financement du canal candidat. [1] [3]
• Un identifiant de canal court réel encode l'emplacement de la sortie de financement sur la blockchain : la hauteur du bloc, la position de la transaction à l'intérieur de ce bloc, et la position de la sortie à l'intérieur de la transaction. [2]
• Avant la correction, la recherche de ChannelManager de LDK pouvait résoudre les identifiants réels des canaux non annoncés après la confirmation de leur financement, donc omettre un canal du gossip public ne prévenait pas cette recherche de message oignon de confirmer son emplacement on-chain. [1] [3]
• La correction rejette un identifiant de canal court réel pour un canal non annoncé lors de la recherche du nœud suivant du message oignon, à moins que cette valeur ne soit l'alias sortant du canal, tout en laissant les alias valides utilisables. [1] [3]
• Cette correction concerne le transfert de messages oignons ; la PR rend explicitement la recherche plus stricte qu'un chemin de relais de paiement HTLC qui peut permettre des identifiants réels pour certains canaux privés sous configuration. [1] [3]
• La PR examinée et le résumé technique démontrent un lien de sortie de financement vers des points de terminaison de canal suspects ; ils ne fournissent aucune preuve de bitcoins volés, de clés privées compromises, de détentions de portefeuilles non liées révélées, ou d'exposition de chaque canal Lightning. [1] [3]
• La fusion du 25 octobre établit une correction du code source ; le changelog officiel examiné n'établit pas de version de portefeuille publiée ou déployée contenant cela. [1] [4]

Méthode

Schéma de la recherche documentée et du chemin de message. Les flèches représentent des messages oignons, pas des transferts de bitcoins. Les panneaux avant/après décrivent le comportement du code ; les positions et longueurs ne sont pas des mesures.

Portée

Nécessite des connexions d'attaquants aux deux points de terminaison suspects et un SCID réel candidat. Le rejet excepté une valeur égale à l'alias sortant. La fusion n'établit pas l'inclusion de la version de publication ou la couverture du portefeuille déployé. Infographie par CryptoSlate

La fuite démontrée relie donc deux morceaux d'information : une sortie de financement Bitcoin et les nœuds Lightning l'utilisant.

Ce que la correction change

LDK refuse désormais de résoudre le SCID réel d'un canal non annoncé pour le transfert de messages oignons. Les alias valides restent utilisables comme identifiants alternatifs, de sorte qu'un expéditeur peut adresser le canal sans utiliser ses véritables coordonnées blockchain. Le changement ferme cette voie de recherche tout en préservant le transfert qui utilise un alias autorisé.

Le changement est décrit dans la demande de tirage. Selon les règles de routage d'oignon de BOLT 4, un SCID de message oignon doit correspondre à un identifiant annoncé ou à un alias local.

L'inclusion de la correction dans les versions de portefeuille installées reste non vérifiée. Les utilisateurs ont besoin de confirmation de leur fournisseur de portefeuille avant de supposer que le logiciel installé dispose de cette protection.

Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, promotions en ligne ou informations mentionnées ici ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, trader ou effectuer toute autre opération sur des actifs crypto. Les actifs crypto sont très volatils et peuvent entraîner des pertes. La disponibilité des services, produits et événements liés à WEEX peut varier selon les régions. Veuillez vous assurer que votre participation respecte les lois et réglementations locales applicables.