Qu'est-ce que le LeanVM récemment proposé par Ethereum ? Commençons par le contexte et les raisons. Pour comprendre LeanVM, il faut d'abord connaître le cadre leanEthereum. Le cadre leanEthereum a été proposé par le chercheur d'Ethereum Justin Drake dans une feuille de route de 10 ans (publiée le 31 juillet 2025), visant à réaliser : un TPS de niveau million (L1 10k / L2 1M), une validation zkVM en temps réel et une sécurité contre le calcul quantique. Dans cette feuille de route, il y a le zkVM, et l'objectif de LeanVM est de réaliser un zkVM minimalisé (zero-knowledge virtual machine) pour la validation de sécurité, l'agrégation de signatures et les preuves récursives dans l'ère post-quantique. Le cadre leanEthereum comprend trois parties : Lean consensus (consensus simplifié, utilisant des preuves zk pour valider la racine d'état, afin de supporter des appareils ordinaires à domicile), lean execution (exécution simplifiée, réalisant un EVM L1 SNARKisé, ou introduisant RISC-V), Lean data (données simplifiées, nouvelle génération de solutions de disponibilité des données). En d'autres termes, LeanVM fait partie de la vision de LeanEthereum, visant à améliorer les performances, la sécurité et la décentralisation d'Ethereum de manière minimaliste. Le zkVM permet de valider des calculs et des états sans révéler le contenu des données spécifiques, adapté à la validation d'état en temps réel, à la protection de la vie privée et aux applications inter-chaînes. LeanVM se concentre sur la résolution des goulets d'étranglement du calcul d'Ethereum, essayant de résoudre le problème où le calcul sur chaîne est fiable mais coûteux, tandis que le calcul hors chaîne est bon marché mais manque de confiance. Il tente principalement d'atteindre des preuves efficaces par le biais d'un paradigme multilinéraire et de petits champs (comme Koala Bear, champ premier de 31 bits), remplaçant les PCS (schémas d'engagement) traditionnels à variable unique pour alléger le coût des preuves. Selon sa documentation, l'architecture de LeanVM utilise principalement des tables AIR (Arithmetic Intermediate Representation) comme soumissions de polynômes multilinaires ; prouvant la validité des contraintes via le protocole sum-check, simplifiant l'évaluation en une seule déclaration polynomiale ; l'ensemble d'instructions de base comprend l'addition, la multiplication, la référence (accès mémoire), et le saut conditionnel. Il supprime le registre de pointeur d'allocation (AP), utilise de la mémoire en lecture seule (parties publiques et engagées), et dépend des indices du prouveur pour allouer des trames ; en termes d'optimisation, il utilise logup star pour réduire le coût d'engagement, s'engageant à seulement 5 éléments de champ par cycle (PC, FP et trois indices mémoire), réduisant à moins de 18 par rapport à d'autres zkVM (comme KO), mais augmentant le degré de contrainte à 5 ; supporte les preuves récursives : la performance non optimisée actuelle est de 2,7 secondes par partie récursive, avec un objectif d'accélération de plus de 10 fois. Les composants cryptographiques incluent l'intégration de Poseidon 2 (fonction de hachage amicale pour ZK), supportant des éléments de champ de 16 et 24 pour la précompilation ; pour l'agrégation et la récursion de XMSS (schéma de signature post-quantique basé sur le hachage optimisé), la clé publique fait environ 50 octets, la signature 3 Ko, vérification <1 ms ; champs et PCS : champ Koala Bear, PCS multilinaires, produit scalaire et évaluation multilinéraire dans des champs étendus. En termes de mise en œuvre, le vérificateur de concept de preuve (POC) est réalisé en <500 lignes de Python, mettant l'accent sur la simplicité maximale ; le compilateur supporte l'inlining et le déroulement de boucle, mais n'est pas encore mature ; en termes de tests, tests unitaires, tests d'intégrité aller-retour, tests de réponses connues, utilisant le cadre Pytest. Les cas d'utilisation de LeanVM incluent : l'agrégation de signatures (compressant des milliers de signatures en petites preuves, adapté aux signatures multiples) ; les ponts de confidentialité, les jeux sur chaîne, les marchés prédictifs, la validation AI ; la réutilisation inter-chaînes (potentiellement applicable à BTC, etc.) ; intégration avec leanMultisig (leanMultisig est un cadre de signature multiple basé sur le hachage, utilisant des signatures de feuilles XMSS et l'agrégation, dépendant des preuves zk de leanVM pour assurer la sécurité post-quantique). Concernant la mise en œuvre de LeanVM, selon les dernières informations publiques, LeanVM est encore en phase de recherche précoce et de développement de prototypes. La feuille de route lean Ethereum sera publiée le 31 juillet 2025, avec une estimation de l'achèvement des tâches prioritaires de Lean Ethereum en 2026, le déploiement du réseau de test entre 2027 et 2028, et l'achèvement des tests en 2029. Dans l'ensemble, la mise en œuvre de Lean Ethereum prendra au moins 3 à 5 ans. Cependant, la feuille de route globale révèle un avenir pour Ethereum qui est à la fois performant, décentralisé, sécurisé et respectueux de la vie privée. Une fois que le TPS de niveau million sera atteint, l'objectif de devenir la couche de règlement mondiale ne sera pas loin.