Hoskinson segnala il codice sweeper di Binance mentre cresce il dibattito su EIP-7702

Allerta di Charles Hoskinson su Codice Pericoloso

Il fondatore di Cardano, Charles Hoskinson, ha lanciato un allerta riguardo a un "codice seriamente pericoloso" mentre condivideva un'analisi che attribuisce alla funzionalità di delega EIP-7702 di Ethereum la responsabilità per aver facilitato gli attacchi che hanno svuotato rapidamente un wallet hot di Binance.

Dettagli dell'Analisi

Nel suo post su X, Hoskinson ha scritto:

"Attenzione, c'è del codice seriamente pericoloso là fuori,"

accompagnando il messaggio con un'analisi pubblicata da CyberSatoshi. Quest'analisi descriveva il bytecode ricostruito per un presunto sweeper EIP-7702 di Binance, sostenendo che il contratto fosse adattato alle operazioni dell'exchange.

Domande di Sicurezza

Il messaggio di Hoskinson non ha identificato un difetto specifico del protocollo né ha spiegato quale parte dell'analisi avesse avallato. L'account di CyberSatoshi ha posto due domande di sicurezza:

• Come un attaccante abbia ottenuto il permesso di agire sul wallet.
• Cosa consentisse alla funzionalità di delega di Ethereum di operare a favore dell'attaccante dopo aver ottenuto quel permesso.

Meccanismo di Attacco

Secondo l'analisi di CyberSatoshi, il contratto ricostruito lasciava esattamente 1 ETH nel wallet quando svuotava il suo saldo nativo. Questo, sosteneva il poster, impediva alla coda automatizzata del wallet hot di Binance di fallire per insufficienza di gas e di attivare allarmi. L'analisi descriveva un ciclo di elaborazione dei token che controllava i saldi tramite chiamate a basso livello e continuava anche quando le operazioni individuali fallivano.

CyberSatoshi ha affermato che questo permetteva allo sweeper di continuare a elaborare gli asset anche se un token era inserito nella blacklist o non rispondeva. Una funzione di esecuzione personalizzata avrebbe presumibilmente consentito al wallet compromesso di chiamare un vault esterno contenente 823 milioni di dollari in USDC.

Specifiche di EIP-7702

La specifica EIP-7702 di Ethereum descrive un tipo di transazione che consente a un account di proprietà esterna di delegare l'esecuzione di codice distribuito a un altro indirizzo. Un account di proprietà esterna opera normalmente tramite firme generate dalla sua chiave privata. La delega consente di eseguire la logica dei contratti intelligenti nel contesto del proprio account, supportando funzionalità come l'accorpamento di diverse operazioni in un'unica transazione e consentendo a un altro account di pagare le commissioni di transazione.

Ogni autorizzazione identifica una catena, un indirizzo delegato e un nonce, insieme a una firma crittografica. Il protocollo recupera l'account autorizzante da quella firma e controlla il suo nonce prima di applicare la delega.

Conclusioni e Rischi

CyberSatoshi ha riconosciuto che il presunto attacco necessitava o della chiave privata grezza o di un accesso illimitato alla firma all'infrastruttura di sicurezza di Binance 14. La specifica non chiarisce come siano stati ottenuti i credenziali di firma di Binance. Il suo requisito di firma stabilisce che la delega non può essere semplicemente assegnata a un account vittima arbitrario senza un'autorizzazione valida.

CyberSatoshi ha affermato che l'attaccante ha presentato 50 autorizzazioni pre-firmate coprendo nonce consecutivi per cogliere Binance 14 mentre il suo conteggio delle transazioni stava cambiando. La specifica elabora le autorizzazioni in ordine. Quando un'autorizzazione fallisce un controllo, l'elaborazione continua con l'entrata successiva.

Le regole consentono a più entrate consecutive di avere successo, a seconda del nonce iniziale dell'account e delle firme fornite. CyberSatoshi ha sostenuto che la delega ha compresso i trasferimenti di asset in un'unica operazione, riducendo il tempo disponibile per l'intervento.

Gli autori dell'EIP avvertono esplicitamente che il codice autorizzato ha accesso illimitato all'account e deve essere attentamente auditato dal wallet. Una delega implementata male può lasciare un attaccante con quasi completo controllo sull'account di firma.

La delega persiste oltre la transazione che la installa. La specifica afferma ulteriormente che un fallimento di esecuzione non annulla gli indicatori di delega già elaborati. Per rimuovere la delega, il protocollo consente un'autorizzazione valida che punta all'indirizzo zero, il che cancella il codice di delega dell'account.