Autor: Shenchao TechFlow
La reunión de desarrolladores principales de Ethereum (ACD) decidió suspender el proceso de actualización de la testnet Hoodi, porque una firma de auditoría de seguridad reveló que dos próximas propuestas de mejora de Gas revertirían directamente las suposiciones operativas subyacentes en las que muchos contratos inteligentes ya desplegados han confiado durante mucho tiempo.
La Fundación Ethereum emitió públicamente una advertencia de autoevaluación para toda la industria y lanzó conjuntamente auditorías de código con múltiples instituciones, con el objetivo de evitar que el hard fork provoque directamente que los protocolos de activos en la cadena caigan en anomalías lógicas o parálisis.
La reestructuración de la facturación subyacente sacude la lógica tradicional del acceso al estado
En la próxima actualización Glamsterdam de Ethereum, la especificación de la propuesta EIP-8037 y la especificación de la propuesta EIP-8038 asumen la tarea clave de reajustar los precios del mecanismo de almacenamiento de estado.
Los datos históricos de estado de Ethereum continúan expandiéndose, y el modelo original de consumo fijo difícilmente puede reflejar con precisión el costo real de hardware de los nodos para mantener la creación de estado y las lecturas frecuentes. El objetivo central de estas dos propuestas es desacoplar por completo los métodos de facturación de la creación de estado y el acceso al estado, y restablecer pesos dinámicos para opcodes específicos.
Esta revisión subyacente tiene como objetivo suprimir la tendencia de expansión desordenada del estado en toda la red, pero en la capa de ejecución revierte directamente las constantes del sistema que los desarrolladores asumen como fijas al construir aplicaciones.
El colapso de las suposiciones estáticas de Gas expone ocho riesgos de invariantes
La firma de seguridad análisis oficial de ChainSecurity señaló en las pruebas que una gran cantidad de contratos inteligentes en la cadena e infraestructura fuera de la cadena han sido construidos durante mucho tiempo sobre varias suposiciones estáticas de Gas inesperadas. Una vez que las reglas de facturación del consumo de ejecución de opcodes cambien abruptamente, la lógica de negocio relevante se interrumpirá directamente sin previo aviso.
Estas invariantes rotas cubren los patrones de ingeniería más comunes en el desarrollo de contratos. Para prevenir ataques de reentrada o controlar el alcance de ejecución, algunos protocolos utilizan límites de Gas codificados de forma rígida al llamar a subcontratos. El aumento de los costos de facturación hará que las llamadas entre contratos que originalmente podían ejecutarse sin problemas reviertan directamente porque el Gas interno se agota.
Otros riesgos clave acechan en la lógica de tolerancia a fallos que depende de mecanismos de captura de excepciones. Cuando el llamador externo ya no puede predecir con precisión el consumo de ejecución interno, o cuando algunos contratos proxy reenvían la ejecución restante basándose en proporciones fijas, la ruta de ejecución de todo el flujo de transacciones se distorsionará por completo, e incluso puede provocar que los fondos queden bloqueados en ramas de máquina de estados sin completar.
El equipo de gobernanza detiene urgentemente el fork para evitar una estampida en la cadena
Ante los posibles riesgos sistémicos de compatibilidad, los desarrolladores de clientes de Ethereum tomaron rápidamente medidas defensivas en el último proceso de coordinación central.
Según la revisión de la historia de gobernanza central de Ethereum en "La mainnet de la nueva cadena pública Nibiru se lanzará, analizando sus características técnicas y prácticas de desarrollo seguro", cada vez que los parámetros subyacentes de consenso o ejecución entran en conflicto irreconciliable con el ecosistema existente, la comunidad de desarrolladores generalmente opta por retrasar el calendario a cambio de una ventana de seguridad suficiente.
Los desarrolladores llegaron a un consenso en la reunión de ACD de que de ninguna manera ejecutarán un hard fork en la testnet Hoodi antes de comprender a fondo la distribución de los contratos potencialmente afectados y proporcionar orientación de compatibilidad. Un fork a ciegas no solo no logra verificar efectivamente la estabilidad de las nuevas reglas, sino que también induce fácilmente fallas en cascada en billeteras multifirma, puentes entre cadenas y protocolos de préstamos descentralizados.
La Fundación abre herramientas de detección para promover una inspección coordinada en toda la red
Debido a que la complejidad de las aplicaciones descentralizadas no se limita al bytecode en cadena disponible públicamente, sino que también está profundamente anidada dentro del enrutamiento fuera de cadena patentado, los scripts de liquidación y los bots de liquidación, los esfuerzos de auditoría oficiales no pueden agotar la lógica de casos límite de todo el ecosistema. El investigador de Ethereum Marius van der Wijden, en nombre del equipo, reconoció explícitamente esta limitación de frontera en el anuncio técnico de la Fundación Ethereum.
La Fundación Ethereum ha publicado oficialmente un repositorio de inspección dedicado en la plataforma de alojamiento de código, detallando a la comunidad los detalles técnicos de las ocho invariantes afectadas y el código de ejemplo del problema. El repositorio también proporciona plantillas de indicaciones dedicadas para las principales herramientas de asistencia de auditoría y escáneres de código, para que los equipos de contratos, los auditores de seguridad y los mantenedores de infraestructura puedan comparar rápidamente su propia lógica de negocio.
Está previsto que el equipo de desarrolladores principales de Ethereum y las instituciones de seguridad resuman el primer lote de datos de autoevaluación recopilados de todas las partes en la reunión de ACD de la próxima semana, momento en el cual reevaluarán las condiciones de activación y los ajustes del plan para la red de prueba Hoodi.
