Desenvolvedores centrais do Ethereum interromperam o fork de atualização Glamsterdam na testnet Hoodi após a auditora ChainSecurity identificar oito invariantes de smart contracts violadas pelas mudanças propostas de precificação de gas nas EIP-8037 e EIP-8038. O adiamento é por tempo indeterminado, pendente de resolução.
Pontos Principais
- Fork da testnet Hoodi para Glamsterdam adiado indefinidamente após relatório da ChainSecurity de 13 out
- Oito invariantes de smart contracts violadas pelas mudanças de precificação de gas nas EIP-8037 e EIP-8038
- Risco: contratos assumindo custos fixos de gas para chamadas externas falhas podem quebrar
- Glamsterdam já ativo na Sepolia desde 6 out; cronograma da mainnet não confirmado
- Resolução requer modificações nas EIPs ou mitigações antes de reagendar Hoodi
Resumo Executivo de Inteligência
Auditoria da ChainSecurity dispara adiamento indefinido
A Ethereum Foundation confirmou na sexta-feira que o fork da testnet Hoodi não prosseguirá até que as preocupações de segurança ligadas a oito invariantes de smart contracts sejam resolvidas. A decisão seguiu um relatório de 13 out da ChainSecurity, que constatou que a EIP-8037 e a EIP-8038 poderiam quebrar smart contracts que dependem de suposições fixas relacionadas a gas quando chamadas externas falham.
Essas duas Ethereum Improvement Proposals alteram como o gas é cobrado para operações específicas. Projetos existentes construíram lógica assumindo que certas operações consomem uma quantidade previsível de gas; as mudanças do Glamsterdam invalidam essas suposições, criando uma classe de vulnerabilidade onde contratos podem se comportar de forma inesperada ou falhar durante falhas de execução.
Escopo do Glamsterdam e precedente na Sepolia
O Glamsterdam representa um grande passo no roteiro de escalonamento de camada 1 do Ethereum, introduzindo separação enshrined proposer-builder, listas de acesso no nível de bloco e reformas de precificação de gas projetadas para refletir melhor os custos de execução. A atualização entrou em vigor na testnet Sepolia em 6 out, servindo como um dos seus últimos grandes ensaios antes da consideração para mainnet.
A testnet Hoodi pretendia ser um ambiente de validação subsequente. Sua suspensão ressalta a preferência da cultura de desenvolvimento do Ethereum por escrutínio rigoroso em testnets em detrimento de calendários de implantação rígidos, particularmente quando a compatibilidade retroativa com lógica de contratos implantados está em jogo.
Mecânica técnica das violações de invariantes
As oito invariantes em risco centram-se no comportamento de chamadas externas que revertem ou falham. Sob as regras atuais, desenvolvedores podem estimar razoavelmente o custo de gas de uma chamada externa falha. A EIP-8037 e a EIP-8038 reestruturam essa precificação, significando que um contrato que verifica gasleft() após uma chamada falha — ou depende de um estipêndio de gas específico — pode executar caminhos lógicos diferentes, potencialmente abrindo vetores de reentrância, quebrando controles de acesso ou causando erros lógicos silenciosos.
A análise da ChainSecurity sugere que a superfície de impacto abrange qualquer contrato que faça chamadas externas com suposições de gas embutidas, um padrão comum em protocolos DeFi, carteiras multisig e padrões de proxy atualizáveis.
Perspectivas futuras e implicações para a mainnet
Nenhuma data reagendada para o fork Hoodi foi anunciada. A Ethereum Foundation afirmou que os desenvolvedores precisam de tempo para identificar potenciais problemas de smart contracts e determinar se alterações nas próprias EIPs ou mitigações são necessárias. A implantação na mainnet permanece não confirmada e contingente a validação bem-sucedida em testnets em todos os vetores.
Participantes de mercado devem monitorar o blog da Ethereum Foundation e chamadas de desenvolvedores centrais para o anúncio de reagendamento do Hoodi e quaisquer emendas às EIPs. A implantação na Sepolia continua a fornecer dados ao vivo sobre a funcionalidade mais ampla da atualização.
