Por Canuto  

Ethereum Foundation informó que leanVM superó una verificación formal de extremo a extremo, un avance técnico dentro del plan de la red para adoptar firmas resistentes a la computación cuántica. Justin Drake también planteó diciembre de 2028 como objetivo para completar la transición, una fecha que la propia hoja de ruta presenta como meta y no como garantía.
***

  • leanVM, una máquina virtual de conocimiento cero, agrega firmas poscuánticas y superó una verificación formal integral.
  • La herramienta puede procesar más de 1.000 agregaciones de leanXMSS por segundo, esquema que Ethereum planea usar en lugar de BLS en consenso.
  • Justin Drake fijó diciembre de 2028 como objetivo para la transición completa, que requerirá bifurcaciones de la red.

 

La herramienta alcanzó una verificación formal de extremo a extremo y busca hacer viable la agregación de firmas resistentes a la computación cuántica. Ethereum Foundation también fijó diciembre de 2028 como meta para completar la transición.

Ethereum dio un paso técnico en su estrategia de defensa ante la computación cuántica: leanVM superó una verificación formal de extremo a extremo, según anunció el investigador de Ethereum Foundation Justin Drake el 3 de noviembre de 2026. La herramienta apunta a resolver un problema práctico del cambio criptográfico, al permitir que numerosas firmas poscuánticas se agrupen en una prueba compacta en vez de verificarse individualmente.

El avance llegó acompañado de un calendario revisado. Durante Devcon 8, en Mumbai, Drake planteó diciembre de 2028 como objetivo para completar la transición de Ethereum a la seguridad poscuántica; el plazo es una meta de trabajo, no una promesa de que todos los cambios quedarán listos en esa fecha.

Qué verifica leanVM y por qué importa

leanVM es una máquina virtual de conocimiento cero, o zkVM, diseñada con un alcance específico: agregar firmas basadas en hashes de manera eficiente. En lugar de pedir a la red que compruebe cada firma por separado, la herramienta reúne muchas en una sola prueba compacta, una arquitectura que busca reducir el costo de adoptar esquemas poscuánticos a escala.

La información publicada por CryptoBriefing atribuye a leanVM capacidad para procesar más de 1.000 agregaciones de leanXMSS por segundo. Ese rendimiento es relevante porque Ethereum planea utilizar leanXMSS en lugar de BLS en su capa de consenso, donde hoy los validadores emplean firmas BLS para dar fe del estado de la cadena.

El resultado anunciado no consiste solo en probar la herramienta frente a un conjunto limitado de ejemplos. La verificación formal recurre a pruebas matemáticas para demostrar que el software se comporta conforme a una especificación, y una comprobación de extremo a extremo pretende cubrir la herramienta completa, no únicamente piezas seleccionadas de su implementación.

La distinción importa para evaluar el alcance del hito: una prueba formal aporta garantías sobre la correspondencia entre el código y aquello que se especificó, pero no convierte automáticamente cada decisión de diseño en una elección correcta. La calidad de la especificación y los supuestos en los que descansa el sistema siguen siendo fundamentales, por lo que la verificación es una pieza de seguridad y no un certificado absoluto sobre toda la futura migración.

Firmas poscuánticas y cambios en el consenso

La amenaza que impulsa este trabajo es potencial, no una afirmación de que una computadora cuántica ya pueda romper las firmas actuales de Ethereum. Una máquina suficientemente potente podría, en teoría, debilitar algunos esquemas criptográficos que protegen hoy las firmas de distintas cadenas de bloques, lo que obliga a estudiar alternativas antes de que el riesgo se materialice.

El plan de Ethereum se orienta a firmas basadas en hashes, descritas en la cobertura como una opción apoyada en supuestos conservadores. leanXMSS es el esquema que la red planea emplear en la capa de consenso como reemplazo de BLS, mientras leanVM está concebida para hacer más manejable la agregación de esas firmas.

El cambio afectaría una función central de los validadores: las firmas que utilizan para atestar sobre el estado de la cadena. Por eso, el reemplazo no sería solo una modificación aislada del protocolo; con el tiempo también tocaría el software de validadores, las implementaciones de clientes y las herramientas que acompañan su operación.

La fuente describe tres proyectos abiertos como pilares del esfuerzo: leanVM, leanXMSS y leanSpec. Ethereum Foundation trabaja en implementaciones de código abierto y en procesos de verificación formal, además de promover innovación mediante incentivos como el Premio Poseidon; el material disponible no presenta esos elementos como una transición ya desplegada.

Un calendario que depende de varias actualizaciones

La meta de diciembre de 2028 marca un horizonte para que los equipos técnicos puedan organizar el trabajo, pero la transición requiere más que alcanzar una cifra de rendimiento o terminar una prueba matemática. Ethereum deberá coordinar cambios en su protocolo y en las herramientas que utilizan los participantes, de modo que el calendario también depende de cómo se diseñen y ejecuten esas actualizaciones.

Drake señaló que la planificación busca dejar un margen amplio para las bifurcaciones de la red necesarias después de un hito previo. Esa previsión sugiere que la migración podría distribuirse en varias actualizaciones coordinadas, en vez de concentrarse en un cambio único y repentino, aunque el reporte no detalla fechas ni especificaciones para cada bifurcación.

La cifra de más de 1.000 agregaciones por segundo constituye una referencia de capacidad para leanVM, pero no basta por sí sola para demostrar cómo funcionará el conjunto en producción. El objetivo de la herramienta es abordar la agregación; la adopción de leanXMSS, la coordinación entre clientes y el diseño de los cambios restantes forman parte de un proceso más amplio.

En consecuencia, el hito combina una señal técnica concreta con incertidumbre normal en una hoja de ruta de varios años. La verificación integral de leanVM fortalece una pieza del plan, mientras que diciembre de 2028 debe leerse como un objetivo sujeto a la implementación, las bifurcaciones y la validación de los componentes que aún forman parte del trabajo.

La apuesta de Ethereum es preparar una red descentralizada y activa para un cambio criptográfico que exige tiempo, coordinación y supuestos de seguridad cuidadosamente revisados. leanVM, leanXMSS y leanSpec representan las piezas identificadas por la iniciativa; por ahora, el anuncio confirma el avance de leanVM, no la conclusión de la transición poscuántica.

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.


ADVERTENCIA: DiarioBitcoin ofrece contenido informativo y educativo sobre diversos temas, incluyendo criptomonedas, IA, tecnología y regulaciones. No brindamos asesoramiento financiero. Las inversiones en criptoactivos son de alto riesgo y pueden no ser adecuadas para todos. Investigue, consulte a un experto y verifique la legislación aplicable antes de invertir. Podría perder todo su capital.

Suscríbete a nuestro boletín

Artículos Relacionados