Après une année de travail acharné, l’écosystème zkEVM a réalisé un bond de performance, le temps de preuve des blocs Ethereum étant passé de 16 minutes à 16 secondes et les coûts ayant été divisés par 45. Les zkVMs participants peuvent désormais finaliser 99 % des preuves de blocs du mainnet en moins de 10 secondes sur du 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 suppression des goulets d’étranglement de performance, mais a souligné que le véritable défi réside dans la fiabilité. La vitesse sans le support de la sécurité deviendra un fardeau, et plusieurs conjectures mathématiques sur lesquelles reposent les zkEVM basés sur l’algorithme STARK ont été réfutées ces derniers mois, entraînant une baisse du niveau de sécurité.
L’EF avait fixé un objectif global pour la preuve en temps réel en juillet, couvrant plusieurs dimensions telles que la latence, le matériel et la sécurité, et a désormais réussi le test de référence EthProofs.
Son changement fondamental réside dans le passage de la recherche du débit à la sécurité prouvable. Il est clair que le zkEVM de niveau L1 doit satisfaire la norme de sécurité 128 bits et être aligné sur les spécifications de chiffrement dominantes. Car la falsification de preuves pourrait entraîner des risques fatals tels que la contrefaçon de jetons ou l’altération de l’état de 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 phases :
- D’ici fin février 2026, toutes les équipes zkEVM doivent intégrer leurs systèmes de preuve à l’outil d’évaluation de sécurité soundcalc de l’EF pour unifier les standards de calcul de sécurité.
- Le standard Glamsterdam devra être atteint d’ici fin mai, réalisant des objectifs transitoires comme une sécurité prouvable de 100 bits.
- L’objectif final H-star devra être complété d’ici fin décembre, atteignant une sécurité prouvable de 128 bits et fournissant une démonstration formelle de sécurité de la topologie récursive.
Pour atteindre son objectif, l’EF mentionne 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 subsistent : les preuves en temps réel n’ont pas encore été déployées sur la blockchain, et l’efficacité réelle des validateurs est remise en question ; les paramètres de sécurité doivent être ajustés dynamiquement au fur et à mesure que les conjectures mathématiques sont réfutées ; on ignore si certaines équipes pourront respecter les échéances ; les projets de vérification formelle avec des architectures récursives en sont encore à leurs débuts, et l’écosystème se développe de manière inégale.
Il est à noter qu’une fois que le zkEVM répondra aux exigences, il pourra permettre à Ethereum d’augmenter les limites de gas, augmentant ainsi la capacité des blocs tout en garantissant la faisabilité du staking, favorisant la transformation de L1 en une couche de règlement de confiance et estompant les frontières entre l’exécution sur L2 et L1.
Maintenant que le sprint de performance est terminé, la question centrale de l’écosystème zkEVM s’est déplacée vers l’obtention de preuves de sécurité suffisamment fiables pour supporter des actifs valant des centaines de milliards sans s’appuyer sur des conjectures fragiles. La course à la sécurité a officiellement commencé et sera le thème principal d’Ethereum en 2026.
