🔐 ETHEREUM ACHÈVE LA VÉRIFICATION FORMELLE COMPLÈTE DE leanVM

🧠 Annonce du 3/11 par le chercheur Justin Drake : Justin Drake, chercheur à l’Ethereum Foundation, a annoncé que leanVM avait achevé sa vérification formelle complète de bout en bout, une étape importante pour son déploiement sur le réseau Ethereum.

🛡️ Une machine virtuelle minimaliste pour les signatures résistantes à l’informatique quantique : leanVM est une machine virtuelle minimaliste qui utilise des preuves à divulgation nulle de connaissance. En agrégeant le processus de vérification, elle rend réaliste la vérification des signatures post-quantiques, particulièrement lourde, à l’échelle du réseau.

🗓️ L’objectif de décembre 2028 est avancé : lors de Devcon 8, Drake a fixé comme objectif l’achèvement de la transition post-quantique et post-IA en décembre 2028, plus tôt que l’échéance de 2029 annoncée dans la feuille de route précédente pour les mises à niveau de la couche 1. Il s’agit toujours d’un objectif, et non d’un calendrier d’activation définitif.

🌤️ C’est une étape fondamentale qui aidera Ethereum à se préparer à l’ère post-quantique, même si le déploiement complet nécessitera encore d’autres mises à niveau.

$ETH $STRK $ZK