Le chercheur de l'Ethereum Foundation Justin Drake a annoncé le 3 novembre que leanVM avait achevé sa vérification formelle de bout en bout. Cette zkVM minimaliste peut traiter plus de 1 000 agrégations leanXMSS par seconde. Lors de Devcon 8, Drake a fixé à décembre 2028 la nouvelle échéance pour la transition complète d'Ethereum vers la sécurité post-quantique, afin de laisser le temps nécessaire aux forks du réseau.