Fondation Ethereum détaille les avancées de zkEVM et la feuille de route pour 2026

En résumé

La Fondation Ethereum a rapporté des améliorations de performance de zkEVM au cours de l’année écoulée et privilégie désormais la sécurité et la vérification formelle, en fixant des jalons pour atteindre une sécurité prouvable de 128 bits d’ici la fin de 2026.

La Fondation Ethereum, une organisation à but non lucratif dédiée à soutenir le développement à long terme d’Ethereum à travers la recherche, la technologie et des initiatives communautaires, a publié une mise à jour sur l’avancement de son écosystème zkEVM, résumant une année de progrès et esquissant ses objectifs futurs.

Selon le rapport, la latence pour la preuve en temps réel a diminué de manière spectaculaire, passant de 16 minutes à 16 secondes, les coûts ont été réduits de 45 fois, et les zkVMs vérifient désormais 99 % des blocs Ethereum en moins de 10 secondes sur le matériel cible. Bien que ces améliorations de performance répondent à des goulots d’étranglement majeurs, la sécurité reste une préoccupation principale.

De nombreux zkEVM basés sur STARK s’appuient encore sur des hypothèses mathématiques non prouvées, et des recherches récentes ont remis en question certaines de ces conjectures, réduisant la marge de sécurité effective. La Fondation Ethereum souligne que la sécurité prouvable demeure essentielle, visant une sécurité de 128 bits comme recommandé par les organismes de normalisation et validé par des benchmarks computationnels, notamment en raison du potentiel pour des attaquants d’exploiter des failles de sonorité dans les zkEVM de couche 1, ce qui pourrait compromettre de grandes quantités de fonds.

L’équilibre entre sécurité et taille de la preuve est crucial, car une sécurité accrue augmente généralement la taille des preuves, qui doivent rester gérables pour la propagation à travers le réseau Ethereum. Pour y répondre, la Fondation a fixé trois jalons clés.

La Fondation Ethereum souligne qu’à la fin février 2026, les équipes zkEVM devraient intégrer SoundCalc, un outil permettant d’estimer de manière cohérente la sécurité en fonction des limites cryptographiques actuelles et des paramètres de preuve. D’ici la fin mai 2026, l’écosystème vise à atteindre une sécurité prouvable de 100 bits avec des tailles de preuve finales inférieures à 600 KiB et une description compacte de l’architecture récursive. D’ici la fin de 2026, l’objectif est une sécurité prouvable de 128 bits, des tailles de preuve inférieures à 300 KiB, et un argument de sécurité formel pour l’architecture récursive.

Les développements cryptographiques et techniques récents, notamment les engagements polynomiaux compacts, les techniques de récursion avancées et la composition structurée de circuits, rendent ces jalons réalisables. La documentation de l’architecture et de la sonorité de la récursion est particulièrement importante, car les zkEVM modernes impliquent des conceptions complexes de circuits récursifs spécifiques à chaque équipe, essentielles pour la sécurité du système global.

La Fondation Ethereum recentre ses efforts sur la sécurité zkEVM et la vérification formelle avant la étape H-star

Il existe une raison stratégique pour se concentrer sur la sécurité zkEVM à ce stade. Sécuriser un système encore en évolution est difficile, mais une fois que les architectures zkVM se stabilisent et que les équipes atteignent des objectifs clés, les efforts de vérification formelle pourront être pleinement réalisés. D’ici la étape H-star, la couche du système de preuve devrait être en grande partie stabilisée — pas fixée de façon permanente, mais suffisamment stable pour permettre la vérification formelle des composants critiques, la finalisation des preuves de sécurité et l’alignement des spécifications avec le code déployé. Cette stabilité est essentielle pour atteindre des zkEVM de couche 1 sécurisés.

Il y a un an, la question principale était de savoir si les zkEVM pouvaient prouver les transactions rapidement, et ce défi a maintenant été relevé. L’objectif actuel est de savoir s’ils peuvent le faire de manière fiable et sécurisée, et la confiance est grande qu’ils le peuvent. La Fondation Ethereum prévoit de publier un article en janvier pour formaliser ces jalons, suivi d’une mise à jour technique détaillant les techniques du système de preuve pour atteindre les niveaux de sécurité et la taille de preuve ciblés. Ethproofs sera également mis à jour pour refléter le passage à une emphase sur la sécurité en parallèle de la performance. Le soutien de l’équipe cryptographique de la Fondation sera disponible tout au long de ce processus. Avec la fin de la phase de performance, l’attention se tourne désormais vers le renforcement des fondations.