ZKsync a lancé Airbender Prime, un prouveur à divulgation nulle de connaissance qui a prouvé 7 200 blocs Ethereum en moins de 10 secondes à l'aide d'un seul GPU. Le cofondateur d'Ethereum Vitalik Buterin a qualifié cette avancée de décisive et a déclaré que le développement des zkEVM doit désormais se concentrer sur la sécurité plutôt que sur la vitesse.
Ce qui s'est réellement passé
ZKsync a annoncé Airbender Prime, son prouveur à divulgation nulle de connaissance pour Ethereum, le 17 octobre 2026, selon Wu Blockchain. Lors des tests, un seul GPU NVIDIA RTX PRO 6000 Blackwell a généré des preuves pour un lot consécutif de 7 200 blocs du mainnet Ethereum. 99 % des preuves de blocs ont pris moins de 10 secondes, et chaque bloc a été finalisé en moins de 12 secondes, préparation des témoins (witness) comprise. Le prouveur fonctionne sur le standard ouvert RISC-V et utilise une technologie de preuve STARK basée sur le hachage, conçue pour la sécurité post-quantique. Il est livré avec un vérificateur autonome permettant des contrôles indépendants. Vitalik Buterin a félicité l'équipe d'Airbender et a déclaré que la course à la vitesse de preuve des zkEVM avait atteint des résultats décisifs. Selon lui, la priorité doit désormais se porter entièrement sur la sécurité.
Comment on en est arrivé là
Les preuves à divulgation nulle de connaissance permettent à un rollup de prouver la validité des transactions Ethereum sans rejouer chaque calcul, ce qui réduit les coûts et les délais de finalité. Pendant des années, les équipes travaillant sur les zkEVM se sont principalement affrontées sur la vitesse de preuve, car une preuve lente retardait les retraits et augmentait les coûts. Les résultats d'Airbender Prime, 99 % des blocs prouvés en moins de 10 secondes sur un seul GPU grand public, constituent l'un des benchmarks publics les plus rapides jamais obtenus pour un prouveur équivalent à Ethereum. Buterin a présenté trois tâches encore non résolues pour la vérification formelle : confirmer que l'arithmétique du système de preuve correspond exactement aux règles du protocole Ethereum, fixer des limites de coût strictes liées à la consommation de gas par bloc, et vérifier que le système à divulgation nulle de connaissance lui-même est solide. Cela transforme la course aux zkEVM, d'un concours de performance en un problème d'audit de sécurité.
Pourquoi c'est important pour vous
Pour ZKsync, une preuve plus rapide pourrait se traduire par des frais réduits et une finalité plus rapide pour les utilisateurs qui font des ponts ou tradent sur son rollup. Pour les autres équipes zkEVM, les propos de Buterin fixent une nouvelle barre : la vitesse brute ne suffit plus à gagner le débat, ce sont les garanties de sécurité formelles qui comptent désormais. Les développeurs travaillant sur la scalabilité d'Ethereum pourraient désormais privilégier les audits et les preuves mathématiques de correction plutôt que les courses aux benchmarks. Les détenteurs d'actifs sur les zk-rollups devraient surveiller si les concurrents réorientent leurs ressources vers la vérification formelle, ce qui pourrait ralentir certaines feuilles de route mais réduire le risque qu'un bug du prouveur n'entraîne une perte de fonds. Au final, les utilisateurs gagnent à avoir une chaîne à la fois rapide et sûre.
La question de fond
Si la vitesse de preuve n'est plus le facteur décisif, quel sera le nouveau critère pour départager les zkEVM concurrents ? La vérification formelle peut confirmer qu'un système correspond à sa propre spécification, mais elle ne peut pas garantir que cette spécification couvre toutes les attaques possibles dans le monde réel. Qui décidera qu'un prouveur est suffisamment sûr pour sécuriser des milliards de dollars d'actifs ?
À surveiller
ZKsync n'a pas encore communiqué de date pour l'intégration d'Airbender Prime au mainnet. Il faudra surveiller comment les développeurs principaux d'Ethereum réagiront à la feuille de route de vérification formelle de Buterin dans les semaines à venir. D'autres projets zkEVM pourraient publier leurs propres comparatifs de benchmarks à mesure que l'attention se déplace vers les audits de sécurité. Bonuz suivra l'impact de ce débat sur l'infrastructure de preuve, qui pourrait à terme alimenter des appareils légers et toujours actifs comme les lunettes connectées, dépendants d'une vérification rapide et peu coûteuse en périphérie de réseau.
