Ethereum verifica formalmente leanVM mientras acelera su defensa cuántica
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. ***