Ethereum rimanda l'attivazione del testnet Glamsterdam su Hoodi dopo che i ricercatori di sicurezza hanno segnalato un rischio per i contratti esistenti

Gli sviluppatori hanno annullato l'attivazione prevista per lunedì dopo che ChainSecurity ha mostrato come le proposte regole sul gas potrebbero consentire agli smart contract di registrare permanentemente operazioni fallite.

Gli sviluppatori di Ethereum hanno rinviato l'aggiornamento Glamsterdam sulla rete di test Hoodi dopo che ricercatori di sicurezza hanno scoperto che le proposte modifiche alla contabilizzazione del gas potrebbero alterare il modo in cui gli smart contract esistenti gestiscono le transazioni fallite — in alcuni casi permettendo agli errori di essere registrati permanentemente on-chain.

L'aggiornamento era programmato per attivarsi lunedì 26 ottobre alle 17:42:48 UTC. Il rinvio è stato deciso durante la riunione All Core Devs Execution di giovedì, in cui gli sviluppatori hanno concordato di indagare prima su come le modifiche proposte interagiscono con i contratti già in esecuzione sulla rete principale di Ethereum. Non è stata annunciata una nuova data per il test su Hoodi né per il previsto aumento del limite di gas a 200 milioni, e i tempi dell'aggiornamento sulla mainnet restano non confermati.

Hoodi è una delle reti di test pubbliche di Ethereum — ambienti in cui gli aggiornamenti imminenti girano sullo stesso software client della mainnet prima che fondi reali siano a rischio. Far emergere interazioni indesiderate come questa è esattamente il tipo di problema che la fase di prova esiste per intercettare prima che una modifica raggiunga la rete principale.

Cosa hanno trovato i ricercatori

La preoccupazione riguarda EIP-8037, che modifica il modo in cui Ethereum addebita il costo di creazione di nuovi record nel proprio database di stato. La proposta è pensata per limitare la crescita di quel database mentre la rete aumenta il numero di transazioni che può elaborare.

L'azienda di sicurezza ChainSecurity ha pubblicato il 13 ottobre un'analisi delle proposte, mostrando che la modifica, combinata con EIP-8038, potrebbe alterare il modo in cui i contratti rispondono quando un altro contratto da loro chiamato esaurisce il gas — la risorsa usata per pagare gli operatori della rete per il calcolo.

Alcuni smart contract sono progettati per intercettare un'operazione fallita e continuare l'elaborazione. Possono registrare che un tentativo è fallito, disattivare ulteriori tentativi o passare a un'altra fase. Gli sviluppatori a volte fanno affidamento sul fatto che il gas rimanente sia troppo basso perché tali azioni si completino, causando invece l'annullamento dell'intera transazione.

Glamsterdam modifica questo calcolo. Secondo le regole proposte, il gas usato per creare determinati record può essere ripristinato quando tali modifiche vengono annullate. Questo può lasciare a un contratto gas sufficiente per completare una routine di gestione degli errori che in precedenza avrebbe esaurito il gas e causato l'annullamento — il che significa che un errore che uno svuppatore intendeva essere temporaneo potrebbe diventare permanente. Poiché i contratti distribuiti in genere non possono essere riscritti successivamente, tali cambiamenti di comportamento devono essere risolti nel protocollo stesso piuttosto che nel codice applicativo.

ChainSecurity ha inoltre individuato un rischio nella direzione opposta. Ha calcolato che la creazione di un nuovo storage slot — l'unità di base dei dati on-chain di un contratto — potrebbe richiedere 110.020 di gas una volta esaurita una separata indennità, rispetto ai 22.100 delle regole attuali. Un contratto che opera entro un budget di gas esistente potrebbe quindi fallire mentre esegue un'operazione altrimenti valida.

I risultati riguardano il comportamento del software esistente sotto le regole proposte. ChainSecurity ha dimostrato i meccanismi ma non ha stabilito pubblicamente che un protocollo di produzione importante sia sfruttabile. La mainnet di Ethereum non ha una data di attivazione confermata per Glamsterdam, e i risultati non indicano che i contratti esistenti siano attualmente sfruttati attraverso le modifiche proposte.

Situazione di Glamsterdam

Glamsterdam porta diverse modifiche a Ethereum, tra cui un nuovo sistema per la scelta dei costruttori di blocchi e miglioramenti volti a consentire alla rete di gestire blocchi più grandi. L'aggiornamento ha completato la sua attivazione sul testnet Sepolia il 6 ottobre. Hoodi avrebbe dovuto essere la prossima prova pubblica, insieme a un previsto aumento del limite di gas del testnet a 200 milioni — un passaggio anch'esso ora rinviato.

In assenza di una nuova data, il calendario dipende ora dall'indagine concordata su come le proposte interagiscono con i contratti distribuiti. Eventuali date riviste per l'attivazione su Hoodi o per la mainnet sarebbero stabilite nelle prossime riunioni All Core Devs — lo stesso luogo in cui è stato deciso il rinvio di questa settimana.

Questo articolo è basato su un servizio pubblicato per la prima volta da CoinDesk: Ethereum delays Glamsterdam test after security devs flag risk to existing contracts. L'analisi completa di ChainSecurity è disponibile qui.