Blockaid warned on Nov. 5 que um bug no cliente de execução reth e nos softwares construídos sobre ele, incluindo op-reth, pode fazer com que os nodes calculem roots de estado incorretos. Os nodes não corrigidos podem parar ou retornar provas de estado incorretas, disse a empresa.
“É um bug de correção, não uma exploração,” disse o Blockaid, relatando nenhuma perda de fundos conhecida. Seu alerta abrange clientes baseados em reth em várias redes compatíveis com Ethereum, incluindo muitas cadeias OP Stack.
https://x.com/i/status/2118405438291198020
O risco diz respeito ao software que executa transações e mantém a visão do node sobre a blockchain. A documentação op-reth da Optimism afirma que o cliente executa blocos da Layer 2, mantém o estado da cadeia e responde a solicitações de aplicações. Provas incorretas podem comprometer a verificação na qual essas aplicações dependem.
Versões corrigidas estão disponíveis
Blockaid identificou três lançamentos corrigidos:
A correção do reth upstream foi integrada em 3 de nov.. As notas de lançamento da Base afirmam explicitamente que sua atualização impede uma incompatibilidade de state-root e recomenda que os operadores da Base Mainnet e Sepolia atualizem no mais breve possível.
Celo e Mantle desenvolvedores também integraram backports, aplicando a correção às linhas de software mais antigas. O patch da Mantle visa sua linha de produção v1.6.2. O alerta da Blockaid não especificou a gama completa de versões vulneráveis.
Blockaid incentivou operadores de nodes e provedores de RPC a atualizarem, e protocolos e pontes a confirmarem que seus provedores estão corrigidos.
Por que provas incorretas importam
A explicação do patch do Celo descreve como o bug pode pular uma entrada recém-inserida ao atualizar a estrutura de dados usada para calcular a raiz de estado—o resumo criptográfico contra o qual os dados da conta e do armazenamento de contrato podem ser verificados.
A especificação eth_getProof descreve provas que permitem a aplicações verificar contas e valores de armazenamento em relação à raiz de estado de um bloco. Isso torna a distinção entre a resposta de um node e uma raiz confiável crucial para pontes, clientes leves e contratos que dependem dessas provas: uma resposta incorreta não é automaticamente uma autorização válida para mover fundos.
Por exemplo, a especificação de retirada do Optimism exige uma prova de inclusão para uma mensagem de retirada e afirma que a transação é revertida se a verificação da prova falhar. Dados de prova incorretos podem, portanto, impedir a verificação em vez de estabelecer um roubo bem-sucedido.
As precauções já atingiram os usuários de DeFi. Gauntlet disse que estava fechando as filas de suprimento dos vaults V1, pausando alocações e reduzindo a exposição a ativos ponteados pelo LayerZero, conforme The Defiant relatou anteriormente. Frax disse que seus ativos e contratos não foram afetados e estão operando normalmente, enquanto certas rotas do LayerZero foram temporariamente pausadas.
Blockaid disse que a LayerZero havia pausado a infraestrutura offchain em algumas cadeias afetadas até que cada uma confirme que foi corrigida, descrevendo as mensagens como “atrasadas, não perdidas”.