Un bug di calcolo che ha permesso di hackerare Truebit per 8535 ETH

Titolo originale: "Truebit Protocollo 26,44 mln $ Analisi della vulnerabilità del contratto dell’hack"
Fonte originale: ExVul Security

Il 08/01/2026, il protocollo Truebit è stato hackerato, causando una perdita di 8,535.36 ETH (circa 26,44 mln $). L’annuncio ufficiale del protocollo Truebit è stato diffuso la mattina presto del giorno successivo. Il team di sicurezza ExVul ha condotto un’analisi dettagliata della vulnerabilità sfruttata nell’attacco, giungendo ai seguenti risultati:

Procedura dell’attacco

Indirizzo dell’aggressore:

0x6c8ec8f14be7c01672d31cfa5f2cefeab2562b50

Hash della transazione d’attacco:

0xcd4755645595094a8ab984d0db7e3b4aabde72a5c87c4f176a030629c47fb014

L’aggressore ha completato l’attacco ripetendo per 4 volte le chiamate alle transazioni getPurchasePrice→0xa0296215→0xc471b10b. L’analisi si concentra sul primo ciclo come esempio.

1. L’aggressore ha prima chiamato la funzione getPurchasePrice(240442509453545333947284131), che ha restituito 0.

2. L’aggressore ha chiamato la funzione 0xa0296215(c6e3ae8e2cbab1298abaa3) con un msg.value pari a 0 e ha coniato con successo 240442509453545333947284131 token TRU.

3. L’aggressore ha chiamato la funzione 0xc471b10b(c6e3ae8e2cbab1298abaa3). Ha quindi bruciato 240442509453545333947284131 token TRU e ricevuto 5105.06 ETH.

Analisi della logica dell’attacco

Esaminando la procedura dell’attacco descritta sopra, è evidente che ci sono problemi nella logica della funzione getPurchasePrice e della funzione 0xa0296215. Segue un’analisi approfondita (poiché il contratto non è open source, il codice riportato di seguito è stato decompilato).

Confrontando le somiglianze tra le due funzioni, si può notare che la funzione 0x1446 serve a determinare la quantità di ETH necessaria per acquistare una specifica quantità di TRU. È evidente che la logica della funzione 0x1446 presenta un difetto, che porta a un calcolo errato degli ETH. Di seguito analizziamo nel dettaglio la logica della funzione 0x1446.

Osservando la logica della funzione 0x1446, poiché il risultato finale del calcolo v13  == 0, è certo che la logica di calcolo menzionata in precedenza presenta un difetto. È importante notare che la funzione 0x18ef equivale a _SafeMul; il problema consiste quindi nell’uso dell’addizione nativa v12 + v9 (la versione del contratto è  ^0.6.10, perciò non viene eseguito alcun controllo dell’overflow).

v12 e v9 rappresentano:

Da questa analisi emerge che l’aggressore ha inserito un _amountIn enorme, causando l’overflow di v12 + v9 e trasformandolo in un valore molto piccolo, fino a ottenere (v12 + v9) / v6 == 0.

Conclusioni

La causa fondamentale dell’attacco al protocollo Truebit è la presenza di un grave bug di overflow intero nella logica di calcolo del prezzo di acquisto dei token. Poiché il contratto utilizza la versione ^0.6.10 di Solidity e non effettua controlli di sicurezza sulle operazioni aritmetiche cruciali, si è verificata una perdita considerevole di 8,535.36 ETH. Le versioni più recenti di Solidity hanno già mitigato le vulnerabilità di overflow. Questo attacco va considerato un caso in cui un hacker ha sfruttato l’IA per scansionare automaticamente alcuni protocolli DeFi ancora attivi ma datati e individuarne le vulnerabilità (tra cui i recenti attacchi a Balancer e yETH). Riteniamo che nel prossimo futuro diventeranno più comuni attacchi di questo tipo, basati sull’IA e rivolti a protocolli DeFi datati. Raccomandiamo pertanto ai progetti di effettuare nuovi audit di sicurezza sul codice dei propri contratti. Se vengono rilevate vulnerabilità, è opportuno aggiornare tempestivamente il contratto o trasferire gli asset, mantenere il monitoraggio on-chain, individuare prontamente eventuali anomalie e ridurre al minimo le perdite.

Questo articolo è un contributo esterno e non rappresenta il punto di vista di BlockBeats.

Questo contenuto è fornito a solo scopo informativo generale e non costituisce consulenza finanziaria, di investimento, legale o fiscale. Qualsiasi evento, ricompensa, promozione online o informazione correlata menzionata nel presente documento non deve essere considerata una raccomandazione, una sollecitazione o un invito ad acquistare, vendere, fare trading o altrimenti negoziare criptovalute. Le criptovalute sono altamente volatili e possono comportare perdite. La disponibilità dei servizi, dei prodotti e degli eventi correlati di WEEX può variare a seconda della regione. È tua responsabilità assicurarti che la tua partecipazione sia conforme alle leggi e ai regolamenti locali applicabili.