Gli sviluppatori di Ethereum hanno rinviato l'hard fork Glamsterdam sul testnet Hoodi dopo che ricercatori di sicurezza hanno segnalato rischi legati al gas che potrebbero influire sul modo in cui gli smart contract esistenti gestiscono le transazioni fallite.

L'Ethereum Foundation (EF) ha dichiarato che l'upgrade, originariamente previsto per il 26 ottobre, sarà rinviato per consentire agli sviluppatori di indagare su come alcune delle sue proposte interagiscono con gli smart contract già distribuiti su Ethereum. Gli smart contract sono generalmente immutabili una volta distribuiti, ed è per questo che Ethereum mette in scena i fork — modifiche alle regole a livello di rete — su testnet pubblici come Hoodi prima di programmare qualsiasi attivazione sul mainnet.

La decisione segue l'avviso del 13 ottobre della società di sicurezza blockchain ChainSecurity, secondo cui due proposte incluse in Glamsterdam, EIP-8037 ed EIP-8038, potrebbero indebolire le salvaguardie contro un tipo di attacco noto come insufficient gas griefing. Gli EIP — Ethereum Improvement Proposals — sono le specifiche formali attraverso cui le modifiche alle regole della rete vengono proposte e adottate.

Il rinvio getta ombre anche sulla timeline del mainnet di Glamsterdam. Gli sviluppatori avevano valutato un lancio a inizio dicembre, con l'obiettivo di definire il programma solo dopo il successo dei test su Hoodi.

Le modifiche alle regole del gas potrebbero compromettere le salvaguardie esistenti

Nella sua analisi, ChainSecurity ha spiegato che con le nuove regole il gas potrebbe essere restituito a un contratto dopo il fallimento di un'operazione, consentendogli di continuare l'esecuzione laddove in precedenza si sarebbe interrotto. I ricercatori hanno affermato che le modifiche potrebbero interferire con i controlli di sicurezza esistenti che si basano sulla quantità di gas disponibile durante una transazione. Il gas è l'unità di computazione per cui gli utenti pagano su Ethereum, ed è per questo che le modifiche alle sue regole di contabilità possono influire su strumenti e contratti ben oltre le due proposte stesse.

Negli attacchi di insufficient gas griefing, un chiamante malintenzionato fornisce deliberatamente troppo poco gas affinché un'operazione legittima di smart contract venga completata — una forma di griefing, una categoria di attacchi mirati a interrompere un sistema piuttosto che a rubarne direttamente il contenuto. ChainSecurity ha avvertito che le modifiche proposte da Glamsterdam potrebbero compromettere le difese contro tali attacchi, consentendo potenzialmente ai contratti di registrare permanentemente operazioni fallite. Un contratto colpito potrebbe, ad esempio, rimuovere la rivendicazione di un utente o disabilitare l'opzione di riprova, lasciando l'utente nell'impossibilità di completare un'operazione altrimenti valida.

ChainSecurity ha sottolineato che Glamsterdam non renderebbe inaffidabili tutti i controlli di sicurezza legati al gas. Alcune salvaguardie potrebbero continuare a funzionare, ma gli sviluppatori dovrebbero rivederle per assicurarsi che tengano conto delle nuove regole del gas dell'upgrade.

I risultati hanno suscitato preoccupazione tra i contributori di Ethereum. In un commento del 21 ottobre su GitHub, il ricercatore di sicurezza pseudonimo pcaversaccio ha definito i rischi "gravi" e ha chiesto una rivalutazione dell'hard fork.

Venerdì, ChainSecurity ha dichiarato in un post su X di aver identificato "13 esempi reali" e di essere coordinating la disclosure responsabile con i progetti coinvolti. La società non ha reso pubblici i dettagli degli esempi né nominato i progetti coinvolti, ma ha invitato gli sviluppatori a verificare i propri contratti il prima possibile.

Il rinvio segue un precedente avviso dell'Ethereum Foundation secondo cui il modello di gas di Glamsterdam potrebbe compromettere wallet, indicizzatori e stimatori di gas che si basano su ipotesi fisse. L'upgrade era stato precedentemente attivato sul testnet Sepolia il 6 ottobre, in vista del rilascio su Hoodi ora rinviato. Una nuova data per il fork su Hoodi non è stata annunciata e, con il tempismo del mainnet condizionato da un'esecuzione di successo su Hoodi, i riferimenti a breve termine per Glamsterdam sono il programma di testnet rivisto e gli ulteriori esiti della disclosure coordinata di ChainSecurity.