TLDR :
- Ethereum EIP-8025 permet aux validateurs de vérifier les blocs à l'aide de preuves ZK au lieu de réexécuter les transactions
- Les zkAttesters peuvent se synchroniser en quelques minutes sans conserver l'état de la couche d'exécution ni exécuter de clients EL complets
- Le seuil de preuve de 3 sur 5 préserve la diversité des clients tout en permettant une validation de bloc basée sur des preuves
- ePBS étend la fenêtre de preuve à 6 à 9 secondes, ce qui rend la génération de preuves en temps réel réalisable pour L1-zkEVM
Ethereum met en œuvre un changement architectural majeur dans la validation des blocs, passant de la réexécution des transactions à une vérification par preuve sans connaissance.
La feuille de route L1-zkEVM 2026 introduit EIP-8025, qui permet aux validateurs de confirmer les blocs via des preuves cryptographiques plutôt que d'exécuter des clients d'exécution complète.
Ce framework facultatif permet aux zkAttesters de vérifier les blocs sans maintenir l'état de la couche d'exécution. Le premier atelier L1-zkEVM est prévu le 11 février 2026 à 15h00 UTC, marquant le début officiel de cette phase de développement.
Cadre technique pour la validation basée sur des preuves
Le nouveau pipeline de validation fonctionne en plusieurs étapes coordonnées. Les clients de la couche d'exécution génèrent un ExecutionWitness contenant toutes les données nécessaires à la validation des blocs sans stockage d'état complet.
Un programme invité standardisé traite ensuite ce témoin pour valider les transitions d'état. Par la suite, un zkVM exécute le programme tandis qu'un prouveur crée la preuve de l'exécution correcte. Les clients de la couche consensus vérifient ces preuves au lieu d'appeler les clients d'exécution pour répéter les calculs.
Ladislaus.eth, membre de la Fondation Ethereum, a décrit la transformation dans un article expliquant comment la vérification des preuves change le paradigme de validation. « Au lieu de répéter le calcul, vous vérifiez une preuve cryptographique que quelqu'un d'autre l'a fait correctement. Une preuve. Compacte. Temps de vérification constant indépendamment de ce qui s'est passé à l'intérieur du bloc », le message a déclaré.
Cette approche contraste fortement avec les méthodes actuelles où chaque nœud réexécute chaque transaction indépendamment.
EIP-8025 établit les mécanismes de la couche consensus permettant cette transition. Les preuves de différentes implémentations de clients d'exécution circulent via un réseau de potins peer-to-peer dédié.
La spécification modifie le traitement des blocs pour permettre aux attestateurs de vérifier les preuves plutôt que d'exécuter directement les transactions.
Un seuil préliminaire de 3 sur 5 exige que les attestateurs vérifient trois preuves indépendantes sur cinq avant d'accepter l'exécution d'un bloc comme valide.
Avantages dans l’ensemble de l’écosystème du validateur
Les jalonneurs solo et les validateurs à domicile bénéficient des améliorations opérationnelles les plus directes. Le message de ladislaus.eth a noté que les zkAttesters éliminent le besoin d'une opération complète de la couche d'exécution et du stockage de l'état.
« Un zkAttester n'a pas besoin de conserver l'état EL. Il n'a pas besoin de synchroniser la chaîne complète des couches d'exécution », l’explication s’est clarifiée. La synchronisation se réduit au téléchargement des preuves des blocs récents depuis le dernier point de contrôle de finalisation.
Les économies de ressources vont au-delà du fonctionnement de base. Les validateurs actuels doivent exécuter à la fois des clients de consensus et d’exécution, ces derniers consommant une quantité importante de stockage, de puissance de traitement et de bande passante.
Ces exigences évoluent linéairement avec l’augmentation de la limite de gaz. La vérification des preuves remplace cette charge de mise à l'échelle par une vérification en temps constant, quels que soient les niveaux d'activité des blocs.
De multiples parties prenantes profitent de ce changement d’infrastructure. Les équipes clientes d’exécution peuvent développer des implémentations en tant que cibles probantes dans un cadre standardisé.
Les fournisseurs de zkVM, notamment RISC Zero, openVM et ZisK, peuvent s'appuyer sur des interfaces claires tout en travaillant sur ce qui pourrait devenir la plus grande application sans connaissance au monde.
Les équipes de couche 2 bénéficient de la convergence de l'infrastructure, car la vérification des preuves par le validateur permet une infrastructure de preuve partagée pour les cumuls natifs via une précompilation EXECUTE.
État de développement et dépendances
EIP-8025 a été intégré dans la branche des fonctionnalités de spécifications de consensus pour une éventuelle inclusion. La feuille de route L1-zkEVM 2026 divise le travail en six sous-thèmes : normalisation des témoins d'exécution et des programmes invités, normalisation des API zkVM-invité, intégration de la couche de consensus, infrastructure de preuve, analyse comparative et métriques, et sécurité avec vérification formelle.
Le système dépend de l’ePBS (Enshrined Proposer-Builder Separation) ciblé pour le hardfork de Glamsterdam. Sans ePBS, la fenêtre de preuve ne dure que 1 à 2 secondes, créant des contraintes irréalistes pour la génération de preuves en temps réel.
ePBS étend cette fenêtre à 6 à 9 secondes grâce au pipeline de blocs, ce qui rend l'utilisation d'un emplacement unique réalisable pour une utilisation en production.
La preuve de l’infrastructure fait toujours l’objet de discussions actives. La conception suppose un modèle de vivacité 1 sur N dans lequel un prouveur honnête maintient le fonctionnement de la chaîne.
Le message de ladislaus.eth a souligné que « la preuve doit rester viable en dehors de l'infrastructure du centre de données », répondre aux préoccupations concernant la centralisation. Plusieurs fournisseurs de zkVM prouvent déjà les blocs Ethereum, démontrant la faisabilité technique avant l'intégration du protocole.
L'atelier du 11 février abordera l'ensemble des thèmes de développement à mesure que les équipes avancent vers la mise en œuvre.