🔐 ETHEREUM COMPLETA LA VERIFICACIÓN FORMAL INTEGRAL DE leanVM

🧠 Anuncio del 3/11 del investigador Justin Drake: Justin Drake, investigador de la Ethereum Foundation, anunció que leanVM completó la verificación formal integral de principio a fin, un hito importante para implementar leanVM en la red Ethereum.

🛡️ Máquina virtual minimalista para firmas resistentes a la computación cuántica: leanVM es una máquina virtual minimalista que utiliza pruebas de conocimiento cero y hace viable a escala de red la verificación de las complejas firmas poscuánticas al agregar el proceso de verificación.

🗓️ Se adelanta el objetivo de diciembre de 2028: En Devcon 8, Drake fijó como objetivo completar la transición poscuántica y pos-IA para diciembre de 2028, antes de la fecha de 2029 anunciada previamente en la hoja de ruta para las actualizaciones de la capa 1. Sigue siendo un objetivo, no un calendario de activación definitivo.

🌤️ Este es un paso fundamental para que Ethereum se prepare para la era poscuántica, aunque la implementación completa aún requerirá más actualizaciones.

$ETH $STRK $ZK