La finalidad de Ethereum, ese instante en el que una transacción deja de poder revertirse, tarda hoy alrededor de 16 minutos. Un equipo de investigadores de la Ethereum Foundation acaba de dar un paso relevante para dejarlo en segundos: ha verificado formalmente un modelo que separa la finalidad de la producción de bloques. Eso sí, la propuesta no está activa ni tiene fecha de activación.
La verificación se ha realizado con Lean 4, un asistente de pruebas que permite comprobar propiedades matemáticas de forma automatizada. El equipo confirmó propiedades clave de seguridad y finalización sin recurrir a los marcadores ‘sorry’, los huecos que se dejan cuando una demostración tiene pasos sin cerrar. Eso no equivale a que el diseño ya funcione en la red principal: verificar un modelo es un ejercicio matemático, no un despliegue.
Qué cambia: separar la finalidad de la producción de bloques
El consenso actual de Ethereum mezcla tres tareas que en realidad son distintas: producir bloques, decidir qué cadena prevalece cuando hay competencia y finalizar los bloques ya aceptados. El modelo verificado propone sacar la tercera y hacerla correr en paralelo, en una vía independiente.
A ese mecanismo lo llaman trailing finality gadget, algo así como un confirmador rezagado que va cerrando checkpoints por detrás mientras la cadena sigue produciendo bloques a su ritmo. En el diseño, la producción rápida podría quedar en manos de comités pequeños, de entre 256 y 512 validadores, mientras la mayoría de los validadores mantiene el mecanismo de finalidad. La idea es repartir el trabajo sin renunciar a la aprobación amplia.
Conviene tener presente la aritmética de la espera actual. La finalidad necesita dos épocas completas, y cada época son 32 slots de 12 segundos. Eso da un mínimo teórico de 12,8 minutos, que en la práctica se estira hasta los 16 minutos aproximados que exchanges y puentes asumen como referencia.
El plan para avanzar por etapas lo detalló Ben Edgington en una publicación de blog de mayo de 2026. Su propuesta empieza por desacoplar los procesos y mejora la finalidad de forma incremental, en lugar de comprimir todo el proceso a una sola ronda desde el principio. Entre las líneas que se investigan aparecen Minmitt y Goldfish, dos protocolos que exploran opciones de finalidad en una sola ronda. Goldfish estudia además la disponibilidad dinámica: mantener el consenso aunque amplias porciones de validadores queden fuera de línea. No son soluciones desplegadas, sino trabajo en curso dentro del roadmap público de Ethereum.
Ethereum tarda unos 16 minutos en dar por irreversible una transacción; el modelo verificado apunta a segundos, pero el reloj no arranca hasta que haya despliegue.
A quién afecta: puentes, exchanges y operaciones de alto valor
La espera hasta la finalidad importa, sobre todo, a quien mueve cantidades grandes. Un puente entre cadenas, la infraestructura que traslada valor de Ethereum a un rollup o a otra red, debe decidir cuánto tiempo aguarda antes de dar por buena una transacción. Si ese intervalo se acorta, puede recortar los retrasos artificiales y los riesgos de reorganización que hoy asume.
Lo mismo vale para los exchanges y los custodios, que suelen exigir un número de confirmaciones antes de acreditar un depósito. Con finalidad en segundos, ese margen podría encogerse. La fuente no cuantifica cuánto cambiaría la operación de cada servicio, y conviene no correr: una finalidad más rápida mejora la experiencia, pero por sí sola no demuestra que una red sea más segura que otra. Ethereum no es la única capa 1 que persigue este objetivo, y la comparación pura de velocidad engaña.
De 16 minutos a segundos: qué falta y qué se juega Ethereum
La distancia entre demostrar un modelo y desplegarlo en una red con miles de millones en juego es enorme, y la historia reciente de Ethereum lo confirma. The Merge, la transición de prueba de trabajo a prueba de participación en septiembre de 2022, se investigó durante años antes de activarse. Dencun, en marzo de 2024, introdujo los blobs y abarató las transacciones en las capas 2. Este caso sigue el mismo patrón: primero se formaliza, después se prueba en devnets y, si aguanta, se propone a los validadores.
Hay además una tensión que conviene no ignorar. Repartir la producción de bloques entre comités pequeños mejora la velocidad de coordinación, pero concentra una función crítica en menos manos. El diseño compensa con el conjunto completo respaldando la finalidad, y ahí está la pregunta de fondo: si un comité pequeño falla o se coordina mal, ¿cuánto tarda el mecanismo rezagado en corregirlo? El equipo sostiene que mantiene las garantías de seguridad, aunque no detalla mediciones en producción.
El otro frente abierto es la resistencia cuántica. Los investigadores defienden que una arquitectura modular facilitaría sustituir las primitivas criptográficas por otras resistentes a la computación cuántica sin rehacer todo el protocolo. Es una ventaja potencial, no una realidad: Ethereum hoy no es resistente a un ordenador cuántico potente, aunque ese escenario es el tipo de riesgo que los equipos de consenso prefieren diseñar antes de que llegue.
Para quien solo quiere saber qué significa esto para su ether, la respuesta corta es que nada cambia de momento. Los 16 minutos siguen ahí. Lo que sí ha cambiado es que la dirección hacia la finalidad en segundos tiene ahora una demostración formal detrás, y la ‘strawmap’ articulada por Vitalik Buterin sitúa las mejoras de finalidad hacia 2029. Si ese calendario se cumple, los puentes y los exchanges tendrán menos motivos para imponer esperas o asumir riesgos de reorganización. Si se retrasa, el reloj seguirá marcando los mismos 16 minutos.
