Autor: Shenchao TechFlow
A reunião dos Desenvolvedores Centrais do Ethereum (ACD) decidiu suspender o processo de atualização da testnet Hoodi, porque uma empresa de auditoria de segurança divulgou que duas propostas de melhoria de Gas que serão implementadas em breve derrubariam diretamente as premissas operacionais subjacentes nas quais muitos contratos inteligentes já implantados dependem há muito tempo.
A Fundação Ethereum emitiu publicamente um alerta de autoinspeção para todo o setor e lançou conjuntamente auditorias de código com várias instituições, com o objetivo de evitar que o hard fork faça diretamente com que os protocolos de ativos on-chain caiam em anomalias lógicas ou paralisia.
A Reestruturação da Cobrança Subjacente Abala a Lógica Tradicional de Acesso ao Estado
Na próxima atualização Glamsterdam do Ethereum, a especificação da proposta EIP-8037 e a especificação da proposta EIP-8038 assumem a tarefa fundamental de reajustar os preços do mecanismo de armazenamento de estado.
Os dados históricos de estado do Ethereum continuam a se expandir, e o modelo original de consumo fixo dificilmente consegue refletir com precisão o custo real de hardware dos nós para manter a criação de estado e as leituras frequentes. O objetivo central dessas duas propostas é desacoplar completamente os métodos de cobrança da criação de estado e do acesso ao estado, e redefinir pesos dinâmicos para opcodes específicos.
Essa reformulação subjacente visa suprimir a tendência de expansão desordenada do estado em toda a rede, mas, na camada de execução, ela derruba diretamente as constantes do sistema que os desenvolvedores assumem como fixas ao construir aplicações.
O Colapso das Premissas de Gas Estático Expõe Oito Riscos de Invariantes
A empresa de segurança ChainSecurity, em sua análise oficial, apontou em testes que um grande número de contratos inteligentes on-chain e infraestruturas off-chain há muito tempo são construídos sobre várias premissas inesperadas de Gas estático. Uma vez que as regras de cobrança do consumo de execução de opcodes mudem abruptamente, a lógica de negócios relevante será diretamente interrompida sem qualquer aviso.
Essas invariantes quebradas abrangem os padrões de engenharia mais comuns no desenvolvimento de contratos. Para evitar ataques de reentrância ou controlar o escopo de execução, alguns protocolos usam limites de Gas codificados de forma fixa ao chamar subcontratos. O aumento dos custos de cobrança fará com que chamadas entre contratos que originalmente poderiam funcionar sem problemas sejam diretamente revertidas porque o Gas interno se esgota.
Outros riscos-chave estão ocultos na lógica de tolerância a falhas que depende de mecanismos de captura de exceções. Quando o chamador externo não consegue mais prever com precisão o consumo de execução interno, ou quando alguns contratos proxy encaminham a execução restante com base em proporções fixas, o caminho de execução de todo o fluxo de transação será completamente distorcido, e pode até fazer com que fundos fiquem bloqueados em ramificações inacabadas da máquina de estados.
Equipe de Governança Interrompe Urgentemente o Fork para Evitar Corrida On-Chain
Diante de potenciais riscos sistêmicos de compatibilidade, os desenvolvedores de clientes do Ethereum rapidamente adotaram medidas defensivas no mais recente processo de coordenação central.
De acordo com a revisão do histórico de governança central do Ethereum em "A Mainnet da Nova Blockchain Pública Nibiru Será Lançada, Analisando Suas Características Técnicas e Práticas de Desenvolvimento Seguro", sempre que parâmetros subjacentes de consenso ou execução entram em conflito irreconciliável com o ecossistema existente, a comunidade de desenvolvedores geralmente opta por adiar o cronograma em troca de uma janela de segurança suficiente.
Os desenvolvedores chegaram a um consenso na reunião da ACD de que de forma alguma executarão um hard fork na testnet Hoodi antes de compreender completamente a distribuição dos contratos potencialmente afetados e fornecer orientações de compatibilidade. Um fork cego não apenas falha em verificar efetivamente a estabilidade das novas regras, mas também induz facilmente falhas em cascata em carteiras multisig, pontes cross-chain e protocolos de empréstimo descentralizados.
Fundação abre ferramentas de detecção para promover inspeção coordenada em toda a rede
Como a complexidade dos aplicativos descentralizados não se limita ao bytecode disponível publicamente na cadeia, mas também está profundamente aninhada em roteamento proprietário fora da cadeia, scripts de liquidação e bots de liquidação, os esforços oficiais de auditoria não conseguem esgotar a lógica de casos extremos de todo o ecossistema. O pesquisador da Ethereum Marius van der Wijden, em nome da equipe, reconheceu explicitamente essa limitação de fronteira no anúncio técnico da Fundação Ethereum.
A Fundação Ethereum publicou oficialmente um repositório de inspeção dedicado na plataforma de hospedagem de código, detalhando à comunidade os detalhes técnicos das oito invariantes afetadas e o código de exemplo do problema. O repositório também fornece modelos de prompt dedicados para ferramentas de assistência à auditoria e scanners de código mainstream, para que equipes de contrato, auditores de segurança e mantenedores de infraestrutura possam comparar rapidamente sua própria lógica de negócios.
A equipe de desenvolvedores principais da Ethereum e as instituições de segurança estão programadas para resumir o primeiro lote de dados de autoinspeção coletados de todas as partes na reunião ACD da próxima semana, momento em que reavaliarão as condições de ativação e os ajustes de plano para a testnet Hoodi.
