Menú
Secciones criptográficas
La verificación formal de la propuesta del ciclo de vida del constructor produjo tres garantías comprobadas y una lista de problemas que los investigadores de Ethereum deben resolver.
Martes 10 de noviembre de 2026 · 11:49 EST · Lectura de 2 minutos
En etéreo
Compartir
La Fundación Ethereum trabajó con Verity, una empresa de verificación formal, para verificar matemáticamente EIP-8282. La propuesta rige cómo los constructores de bloques entran y salen del sistema.
El trabajo produjo tres garantías comprobadas sobre el código de bytes en tiempo de ejecución de la propuesta. También reveló discrepancias que los investigadores ahora deben abordar.
Lo que Verity realmente comprobó
EIP-8282 se creó el 22 de mayo de 2026. Cubre las funciones del ciclo de vida de los constructores de bloques, las partes responsables de ensamblar bloques en la red.
La propuesta establece contratos específicos para gestionar los depósitos y salidas de los constructores.
Verity finalizó su trabajo de verificación en septiembre de 2026. El resultado de la empresa se centró en la exactitud del código de bytes de tiempo de ejecución de EIP, que es el código de bajo nivel que realmente se ejecutaría en la cadena.
Verity demostró tres garantías. Confirman que el código de bytes maneja correctamente los escenarios vinculados a los envíos de los usuarios, es decir, llamadas pagas, así como llamadas al SISTEMA. Las llamadas al SISTEMA son invocaciones realizadas por el propio protocolo y no por un usuario normal.
Las noticias sobre criptomonedas y mercados que realmente necesitas todas las mañanas.
A diario. Gratis. Únase a más de 34 000 lectores de criptomonedas, finanzas y políticas.
Respetamos su privacidad. Darse de baja en cualquier momento.
Pruebas, mutaciones y discrepancias.
Verity utilizó seis mutaciones de código de bytes para confirmar sus propiedades. Un trabajo de mutación de este tipo generalmente significa alterar deliberadamente el código para ver si las propiedades indicadas captan el cambio.
Luego vinieron las discrepancias. La revisión de Verity señaló problemas que los investigadores de Ethereum debían resolver.
Dónde se encuentra EIP-8282 en el proceso
La fecha límite de última llamada para EIP-8282 fue el 1 de noviembre de 2026. El trabajo de Verity concluyó en septiembre, antes de esa fecha límite.
Ese momento le da a la verificación un peso práctico. Los hallazgos que lleguen antes del cierre de la última convocatoria aún pueden dar forma a la especificación.
Lo que esto significa para Ethereum
Para los desarrolladores e investigadores de protocolos, la tarea inmediata es clara. Las discrepancias que surgió Verity deben conciliarse con la especificación, ya sea cambiando el código, cambiando la especificación o aclarando el comportamiento previsto.
Las tres garantías brindan a los investigadores una base más firme para ese trabajo. Saben que las rutas de llamadas pagas y de llamadas del SISTEMA se comportan según lo especificado en las áreas probadas por Verity.
Lo que debemos observar a continuación es cómo responden los investigadores a los hallazgos de Verity. La resolución de esas discrepancias, y si la especificación final cambia como resultado, mostrará cuánta influencia tiene ahora la verificación formal en la configuración del código central de Ethereum.
Divulgación: este artículo fue editado por Vivian Nguyen. Para obtener más información sobre cómo creamos y revisamos contenido, consulte nuestra Política editorial.
Las noticias sobre lo que tienes
Siga sus acciones y criptomonedas. Lea las noticias sobre ellos de cientos de editores en Pro.
Política de privacidad
