Eclair inasprisce le regole di finanziamento di Bitcoin dopo che input non confermati hanno messo a rischio i pagamenti Lightning

Aggiornamento di Sicurezza per Eclair di ACINQ

Il sviluppatore di Bitcoin Lightning ACINQ ha esortato gli operatori di nodo ad aggiornare il proprio software dopo aver risolto alcune vulnerabilità di sicurezza che potrebbero essere sfruttate da peer malevoli. L'azienda ha rilasciato la versione 0.14.6 di Eclair il 27 ottobre, introducendo requisiti di transazione più severi e meccanismi di recupero per prevenire che il finanziamento dei canali manipolati comprometta i pagamenti in sospeso.

"Raccomandiamo vivamente di aggiornare, poiché alcuni di questi problemi possono essere sfruttati da nodi malevoli," ha dichiarato ACINQ nel suo annuncio di rilascio.

Dettagli sulle Vulnerabilità

L'avviso si concentra su una debolezza nel modo in cui i canali Lightning gestiscono le modifiche di finanziamento prima che le transazioni Bitcoin sottostanti siano confermate. Lightning consente agli utenti di trasferire Bitcoin attraverso canali di pagamento senza registrare ogni transazione sulla blockchain. Gli operatori possono anche aggiungere o ritirare liquidità dai canali esistenti attraverso un processo noto come splicing.

Tuttavia, la documentazione di rilascio di ACINQ avverte che accettare input di finanziamento non confermati da un altro nodo crea un'opportunità per la manipolazione. Un peer malevolo potrebbe spendere due volte una transazione non confermata dopo aver firmato uno splice, invalidando l'accordo di finanziamento che supporta il canale.

Rischi e Misure di Sicurezza

Se il canale interessato si chiude successivamente attraverso la blockchain di Bitcoin, i pagamenti in sospeso garantiti da contratti condizionali noti come HTLC potrebbero diventare vulnerabili, poiché il loro regolamento dipende dalla transazione di finanziamento invalidata. Gli sviluppatori hanno descritto un potenziale rischio di sicurezza piuttosto che un furto confermato, lasciando sconosciuta l'entità di qualsiasi sfruttamento nel mondo reale.

L'aggiornamento introduce una nuova impostazione di sicurezza che richiede input confermati da peer prima che possano contribuire fondi agli splice dei canali. Abilitata per impostazione predefinita, la protezione impedisce anche agli operatori di costruire ulteriori splice su modifiche di finanziamento non confermate, riducendo le opportunità per i peer malevoli di compromettere il regolamento.

ACINQ ha separato questo requisito dalle sue attuali protezioni contro il finanziamento doppio, che ora si applicano specificamente alla creazione di canali. Gli sviluppatori hanno anche rafforzato la risposta del software quando un canale deve chiudere mentre una transazione di finanziamento rimane non confermata.

Modifiche e Raccomandazioni

Sotto la logica di regolamento rivista, Eclair seleziona una transazione di impegno supportata da finanziamenti che il suo backend Bitcoin Core riconosce, tornando allo stato di finanziamento confermato più recente quando necessario. Questa modifica affronta un problema in cui un operatore potrebbe tentare di regolare un canale utilizzando una transazione di finanziamento che era scomparsa dal suo pool locale di transazioni Bitcoin in sospeso.

Una correzione correlata affronta un altro potenziale scenario di perdita che coinvolge transazioni che i miner confermano dopo che Eclair ha smesso di tracciarle come la sua rotta di regolamento preferita. In precedenza, il software poteva identificare erroneamente tale transazione come appartenente alla controparte, potenzialmente non riuscendo a reclamare fondi e output di pagamento in sospeso che rimanevano recuperabili.

La nuova logica riconosce quelle transazioni e tenta di recuperare gli output corrispondenti, proteggendo fondi che altrimenti potrebbero rimanere non reclamati. ACINQ ha anche avvertito gli operatori di non utilizzare la sua funzione di impegno a zero commissioni opzionale quando splicing con peer non fidati. Tale funzione era già disabilitata per impostazione predefinita.

Conclusione

Il rilascio accredita il ricercatore di sicurezza Erick Cestari per aver divulgato responsabilmente i problemi affrontati dall'aggiornamento. Gli operatori che eseguono versioni più vecchie di Eclair sono stati avvisati di installare la patch e mantenere la nuova protezione degli input confermati. ACINQ ha dichiarato che i canali di pagamento esistenti possono rimanere aperti durante l'aggiornamento, che richiede di fermare il software, installare la nuova versione e riavviare il nodo.