Blockaid warned on Nov. 5 que un error en el cliente de ejecución reth y el software construido sobre él, incluyendo op-reth, puede hacer que los nodos calculen raíces de estado incorrectas. La empresa dijo que los nodos sin parchear podrían detenerse o devolver pruebas de estado incorrectas.
“Es un error de corrección, no una explotación”, dijo Blockaid, informando que no se conocen pérdidas de fondos. Su alerta cubre clientes basados en reth en varias redes compatibles con Ethereum, incluyendo muchas cadenas OP Stack.
https://x.com/i/status/2118405438291198020
El riesgo concierne al software que ejecuta transacciones y mantiene la visión del nodo de la cadena de bloques. La documentación op-reth de Optimism indica que el cliente ejecuta bloques de Layer 2, mantiene el estado de la cadena y responde a solicitudes de aplicaciones. Pruebas incorrectas pueden socavar la verificación en la que confían esas aplicaciones.
Están disponibles las versiones corregidas
Blockaid identificó tres lanzamientos corregidos:
La corrección de reth upstream se integró el 3 de noviembre. Las notas de lanzamiento de Base indican explícitamente que su actualización evita una discrepancia en la raíz de estado y recomiendan que los operadores de Base Mainnet y Sepolia actualicen en cuanto les sea posible.
Celo y Mantle también integraron correcciones retroactivas, aplicando la corrección a líneas de software más antiguas. El parche de Mantle se dirige a su línea de producción v1.6.2. La alerta de Blockaid no especificó el rango completo de versiones vulnerables.
Blockaid instó a los operadores de nodos y proveedores de RPC a actualizar, y a los protocolos y puentes a confirmar que sus proveedores están parcheados.
Por qué importan las pruebas incorrectas
La explicación del parche de Celo describe cómo el error puede omitir una entrada recién insertada al actualizar la estructura de datos utilizada para calcular la raíz de estado, el resumen criptográfico contra el cual se pueden verificar los datos de cuenta y almacenamiento de contrato.
La especificación eth_getProof describe pruebas que permiten a las aplicaciones verificar cuentas y valores de almacenamiento contra la raíz de estado de un bloque. Esto hace que la distinción entre la respuesta de un nodo y una raíz confiable sea crucial para puentes, clientes ligeros y contratos que dependen de tales pruebas: una respuesta incorrecta no es automáticamente una autorización válida para mover fondos.
Por ejemplo, la especificación de retiro de Optimism requiere una prueba de inclusión para un mensaje de retiro y indica que la transacción se revierte si la verificación de la prueba falla. Los datos de prueba incorrectos pueden impedir la verificación en lugar de establecer un robo exitoso.
Las precauciones ya han llegado a los usuarios de DeFi. Gauntlet dijo que estaba cerrando las colas de suministro de las bóvedas V1, pausando las asignaciones y reduciendo la exposición a activos puenteados con LayerZero, como The Defiant informó previamente. Frax dijo que sus activos y contratos no se vieron afectados y operaban normalmente, mientras que ciertas rutas de LayerZero se pausaron temporalmente.
Blockaid dijo que LayerZero había pausado la infraestructura fuera de cadena en algunas cadenas afectadas hasta que cada una confirme que está parcheada, describiendo los mensajes como “retrasados, no perdidos”.