L'écosystème zkEVM a réalisé un bond de performance après un an d'efforts intensifs : le temps de preuve de bloc d'Ethereum est passé de 16 minutes à seulement 16 secondes, avec une réduction des coûts de 45 fois. Les zkVM participants peuvent désormais prouver 99 % des blocs du mainnet en moins de 10 secondes sur le matériel cible.
Le 18 décembre, la Fondation Ethereum (EF) a annoncé la mise en œuvre du mécanisme de preuve en temps réel et la résolution des goulots d'étranglement de performance, tout en soulignant que le véritable défi réside dans la fiabilité. Une vitesse non soutenue par la sécurité deviendrait un fardeau, et plusieurs conjectures mathématiques sur lesquelles reposent de nombreux zkEVM basés sur l'algorithme STARK ont été récemment réfutées, entraînant une baisse du niveau de sécurité.
L'EF avait fixé en juillet un objectif global de preuve en temps réel, couvrant multiples dimensions comme la latence, le matériel et la sécurité. Cet objectif a désormais été atteint grâce aux tests de référence EthProofs.
Le changement fondamental consiste à passer d'une recherche de débit à une sécurité prouvable, en précisant que les zkEVM de niveau L1 doivent atteindre la norme de sécurité de 128 bits, alignée sur les standards cryptographiques dominants, car une preuve falsifiée pourrait entraîner des risques critiques tels que la création de jetons contrefaits ou la falsification de l'état L1. La marge de sécurité n'est pas négociable.
L'EF a simultanément publié une feuille de route de sécurité en trois étapes :
- D'ici fin février 2026, toutes les équipes zkEVM devront connecter leur système de preuve à l'outil d'évaluation de sécurité soundcalc de l'EF, pour uniformiser les standards de calcul de sécurité ;
- D'ici fin mai, atteindre la norme Glamsterdam, réalisant des objectifs intermédiaires tels qu'une sécurité prouvable de 100 bits ;
- D'ici décembre 2026, accomplir l'objectif final H-star, atteignant une sécurité prouvable de 128 bits, et fournir une argumentation de sécurité formelle pour la structure topologique récursive.
Pour atteindre ces objectifs, l'EF a mentionné des outils technologiques clés tels que WHIR et JaggedPCS, qui peuvent améliorer l'efficacité en optimisant la génération de preuves et en évitant le gaspillage de puissance de calcul, tout en réduisant la taille des preuves grâce à des techniques comme la topologie récursive.
Cependant, plusieurs défis persistent : la preuve en temps réel n'est pas encore déployée sur la chaîne, l'efficacité réelle des validateurs reste incertaine ; les paramètres de sécurité doivent être ajustés dynamiquement suite à la réfutation de conjectures mathématiques ; la capacité de certaines équipes à respecter les délais est inconnue ; les projets de vérification formelle pour l'architecture récursive en sont à leurs débuts, et le développement de l'écosystème est inégal.
Il est important de noter qu'une fois les normes atteintes, les zkEVM pourront permettre à Ethereum d'augmenter la limite de Gas, d'accroître la capacité des blocs tout en garantissant la faisabilité du staking, de faire avancer le L1 en tant que couche de règlement fiable, et d'estomper la frontière entre l'exécution L2 et L1.
La course à la performance est maintenant terminée. La question centrale pour l'écosystème zkEVM est désormais de réaliser des preuves de sécurité suffisamment fiables sans dépendre de conjectures susceptibles d'échouer, afin de soutenir des actifs de l'ordre de milliers de milliards. La compétition pour la sécurité commence maintenant, et ce sera le thème principal d'Ethereum en 2026.
