Investigadores de la Ethereum Foundation verificaron formalmente un modelo que separa la finalidad de la producción de bloques. La propuesta busca reducir una espera que hoy ronda los 16 minutos, aunque el camino hacia confirmaciones en segundos todavía requiere nuevas etapas de desarrollo.
***

• El modelo desacopla la finalidad de la producción de bloques y de la elección de bifurcaciones.
• La verificación con Lean 4 confirmó propiedades de seguridad y finalización sin marcadores “sorry”.
• La hoja de ruta plantea mejoras progresivas, con protocolos como Minmitt y Goldfish bajo investigación.

---

Ethereum busca pasar de 16 minutos a segundos para finalizar transacciones

Investigadores de la Ethereum Foundation verificaron con Lean 4 un modelo que separa la finalidad de la producción de bloques.

La propuesta aún no está activa. El cambio sería gradual y Minmitt y… pic.twitter.com/3sSdQUBfmM

— Diario฿itcoin (@DiarioBitcoin) September 27, 2026

Ethereum explora una vía para acelerar la finalidad de las transacciones

Ethereum podría modificar una pieza central de su consenso para acortar el tiempo que tarda en considerar irreversibles las transacciones. Un modelo de protocolo desacoplado, verificado formalmente por investigadores del equipo de Consenso de la Ethereum Foundation, separa la finalidad de la producción de bloques y de la elección de bifurcaciones. La meta es reducir la espera actual, cercana a 16 minutos, primero a menos de uno y, eventualmente, a segundos.

La propuesta todavía no equivale a una actualización activa de la red ni garantiza que esos tiempos se alcancen de inmediato. Según el reporte citado en el borrador original, el trabajo presenta una arquitectura y una demostración formal que servirían de base para futuras mejoras. El equipo investigador plantea avanzar por etapas y conservar las garantías de seguridad asociadas con la aprobación de los validadores.

Separar funciones para reducir la espera

El mecanismo de consenso actual reúne tres tareas relacionadas, pero distintas: producir bloques, decidir cuál de varias cadenas competidoras debe prevalecer y finalizar bloques. La nueva arquitectura propone sacar la finalidad de ese conjunto y hacer que opere en una vía independiente, en paralelo con la producción y la elección de bifurcaciones, en lugar de exigir que las tres funciones avancen como una sola unidad.

En ese diseño, un mecanismo de finalidad rezagado, descrito como un trailing finality gadget, confirmaría los bloques como irreversibles en una línea de tiempo paralela. La separación busca que la producción de bloques mantenga su propio ritmo, mientras el proceso que aporta la confirmación definitiva continúa funcionando detrás de ella y reúne las aprobaciones necesarias para cerrar checkpoints.

Los investigadores contemplan que la producción rápida de bloques pueda quedar en manos de comités más pequeños, de alrededor de 256 a 512 validadores. A la vez, el conjunto completo de validadores mantendría en funcionamiento el mecanismo de finalidad, de modo que reducir la coordinación bloque por bloque no signifique renunciar a la aprobación amplia de los checkpoints finalizados.

El cambio, por tanto, no consiste simplemente en producir bloques más rápido ni en disminuir sin más la cantidad de participantes que respaldan el consenso. La idea es distribuir las funciones para que una parte más acotada atienda la producción y el conjunto completo conserve un papel en la finalidad. El objetivo es reducir cargas de coordinación sin debilitar las garantías de seguridad que el diseño busca preservar.

Una demostración revisada por máquina

El avance destacado por los investigadores es la verificación formal del modelo mediante Lean 4, un asistente de pruebas que permite expresar propiedades matemáticas y comprobarlas de manera automatizada. El equipo confirmó propiedades clave de seguridad y finalización, dos aspectos esenciales para evaluar si el protocolo puede evitar resultados contradictorios y completar el proceso de confirmación previsto.

La verificación no dependió de declaraciones “sorry”, que funcionan como marcadores de posición cuando una prueba deja pasos sin demostrar. Su ausencia indica que no se dejaron esos segmentos pendientes en las propiedades examinadas; aun así, esta comprobación del modelo no debe confundirse con una garantía de implementación ni con evidencia de que el protocolo ya opera en la red principal.

La finalidad de Ethereum tarda actualmente alrededor de 16 minutos, aunque ese intervalo puede variar y extenderse en la práctica. El cálculo teórico parte de dos épocas completas, cada una compuesta por 32 slots de 12 segundos, lo que da un mínimo aproximado de 12,8 minutos antes de considerar demoras adicionales.

Ese cálculo ayuda a entender por qué el tiempo citado suele expresarse como una cifra aproximada y no como una duración idéntica en todas las circunstancias. También separa dos hitos que a veces se confunden: la producción de un bloque ocurre durante el funcionamiento de la cadena, mientras que la finalidad indica que el protocolo ya lo considera irreversible conforme a sus reglas de consenso.

Una hoja de ruta por etapas

Ben Edgington expuso en una publicación de blog de mayo de 2026 una secuencia práctica para avanzar hacia este objetivo. El planteamiento comienza por desacoplar los procesos y propone mejorar la finalidad de forma incremental una vez que esta funcione de manera independiente, en lugar de intentar comprimir desde el inicio todo el proceso a una sola ronda.

La separación es relevante para esa hoja de ruta porque crea una estructura sobre la cual podrían construirse mejoras posteriores. Entre las líneas que se investigan aparecen Minmitt y Goldfish, protocolos que exploran opciones de finalidad disponibles dinámicamente en una sola ronda. No se presentan como soluciones ya desplegadas, sino como parte del trabajo que podría orientar futuras versiones.

Goldfish, en particular, estudia la disponibilidad dinámica: la posibilidad de mantener el consenso incluso cuando porciones amplias del conjunto de validadores quedan temporalmente fuera de línea. Esa característica apunta a que el protocolo pueda responder a cambios en la disponibilidad de los participantes, aunque la fuente no afirma que el modelo ya haya resuelto todos los escenarios ni que exista una fecha concreta para incorporarlo.

El trabajo también se relaciona con la hoja de ruta más amplia conocida como “strawmap”, articulada por Vitalik Buterin. De acuerdo con la fuente citada en el borrador, esa planificación contempla mejoras de finalidad que probablemente llegarían para 2029, una referencia temporal que sitúa el proyecto dentro de una evolución de varios años y no como un cambio inmediato para quienes usan Ethereum.

El impacto potencial en transacciones y puentes

Una finalidad más rápida podría cambiar la experiencia de quienes necesitan una confirmación irreversible en poco tiempo, especialmente en operaciones de alto valor y en puentes entre cadenas. La ventana actual obliga a esos servicios a tener en cuenta el tiempo que Ethereum necesita para finalizar bloques, ya sea mediante retrasos o aceptando riesgos vinculados con una reorganización de la cadena.

Ese desafío también influye en la comparación con otras redes de capa 1, que ya ofrecen finalidad en segundos, según el reporte. La diferencia puede ser importante en aplicaciones donde esperar más tiempo afecta la experiencia o las decisiones operativas, aunque una comparación de velocidad por sí sola no demuestra que una red sea más segura o adecuada para todos los usos.

Para los puentes, la cuestión central es cómo gestionar el intervalo entre una transacción observada y una confirmación considerada irreversible. Si ese intervalo se reduce, podría disminuir la necesidad de introducir demoras o de asumir determinados riesgos de reorganización. La propuesta, sin embargo, describe un objetivo de diseño y no cuantifica cuánto cambiaría la operación de cada puente.

Los investigadores también vinculan la arquitectura modular con una posible preparación para la resistencia cuántica. Su argumento es que separar componentes facilitaría reemplazar primitivas criptográficas por otras resistentes a la computación cuántica sin reconstruir todo el protocolo. Se trata de una ventaja potencial, no de una afirmación de que Ethereum ya sea resistente a ese tipo de amenazas.

Qué falta antes de ver confirmaciones en segundos

La distancia entre demostrar formalmente un modelo y desplegar una modificación en una red utilizada por múltiples aplicaciones sigue siendo importante. La verificación de Lean 4 respalda propiedades concretas del diseño analizado, pero la fuente no anuncia una fecha de activación, una decisión de implementación ni un calendario definitivo para alcanzar la finalidad en menos de un minuto o en segundos.

También habrá que evaluar cómo conviven, en una implementación práctica, los comités pequeños de producción y el conjunto completo que respalda la finalidad. El modelo descrito busca mantener las garantías de seguridad mientras reduce la coordinación, pero la información disponible no detalla resultados de despliegue, mediciones de rendimiento en producción ni cambios aprobados para los validadores.

Por ahora, la secuencia planteada pone el énfasis en desacoplar primero y acelerar después, con Minmitt y Goldfish como áreas de investigación relacionadas. Esa estrategia evita presentar el objetivo de una sola ronda como un resultado ya conseguido y permite distinguir entre la verificación del diseño actual, los protocolos que todavía se estudian y las mejoras futuras que podrían llegar a la red.

La propuesta representa un paso técnico hacia una finalidad más rápida, pero su alcance inmediato es establecer una base formal y una dirección de desarrollo. Para usuarios, aplicaciones y puentes, la promesa de pasar de unos 16 minutos a segundos dependerá de avances posteriores, de su incorporación efectiva y de que el protocolo conserve las propiedades de seguridad que los investigadores buscan demostrar.

---

Imagen original de DiarioBitcoin, creada con inteligencia artificial, de uso libre, licenciada bajo Dominio Público.

Este artículo fue escrito por un redactor de contenido de IA y revisado por un editor humano para garantizar calidad y precisión.