ZKsync a présenté Airbender Prime, un prouveur Ethereum ayant démontré la preuve en temps réel de blocs du mainnet sur un seul GPU — une étape majeure qui a conduit le cofondateur d'Ethereum, Vitalik Buterin, à appeler à un regain d'attention sur la sécurité dans le développement des zkEVM.

Lors des tests, un GPU NVIDIA RTX PRO 6000 Blackwell a prouvé 99 % de 7 200 blocs consécutifs du mainnet Ethereum en moins de 10 secondes chacun, préparation du témoin incluse — l'étape consistant à rassembler les données dont un prouveur a besoin pour générer une preuve. Chaque bloc a été achevé en moins de 12 secondes. Ethereum produit un nouveau bloc environ toutes les 12 secondes ; prouver chaque bloc dans cette fenêtre est donc ce qui permet à la vérification de suivre le rythme de la production de blocs. ZKsync a annoncé cette étape dans une publication sur X.

Airbender Prime démontre la preuve Ethereum en temps réel

Un zkEVM génère une preuve cryptographique qu'un bloc a été exécuté selon les règles d'Ethereum, permettant à quiconque de vérifier le résultat sans réexécuter le calcul lui-même. Selon ZKsync, Airbender Prime utilise des STARK à base de hachage, une construction de preuve conçue pour offrir une sécurité post-quantique. Sa technologie combine la sumcheck GKR, les engagements polynomiaux WHIR et le hachage BLAKE2s.

Pour les preuves de Layer 1, le système utilisera des engagements basés sur Keccak-256 au lieu des appariements BN254. Il suit également la norme ouverte RISC-V et inclut un vérificateur autonome pour des contrôles de preuve indépendants.

ZKsync a indiqué qu'Airbender Prime mène le classement public d'ETHproofs — qui évalue les prouveurs zkEVM sur les blocs du mainnet Ethereum — en temps moyen de preuve, en efficacité GPU et en coût. Le projet dispose également de configurations en production utilisant deux et quatre GPU.

Vitalik Buterin appelle à une sécurité renforcée des zkEVM

Buterin a félicité l'équipe ZKsync pour cette étape. Il a déclaré que la bataille de la vitesse de preuve avait été définitivement remportée et a soutenu que le développement des zkEVM devait désormais prioriser la sécurité.

Buterin identifié trois exigences pour la vérification formelle : prouver que l'arithmétisation correspond à la spécification d'Ethereum, établir un ratio maximal strict entre les coûts de preuve et le gaz de bloc, et vérifier la sécurité du système de preuve lui-même. L'arithmétisation est l'étape au cours de laquelle un prouveur encode les règles d'exécution d'Ethereum en énoncés mathématiques qu'un système de preuve peut vérifier. Ses propos attirent l'attention sur la capacité des systèmes de preuve à démontrer une exécution correcte, des coûts de preuve prévisibles et des protections cryptographiques fiables.

ZKsync vise une infrastructure financière vérifiable de manière indépendante

ZKsync a indiqué que les avancées de l'intelligence artificielle pourraient accélérer la découverte et l'exploitation de vulnérabilités logicielles. Selon l'entreprise, les institutions ont besoin de mécanismes que les banques et les contreparties peuvent vérifier de manière indépendante.

Exiger des preuves à divulgation nulle pour les mises à jour du registre pourrait empêcher des serveurs d'exécution compromis d'approuver des mises à jour violant les règles encodées, selon la société. Les exigences matérielles réduites d'Airbender Prime pourraient également rendre la génération de preuves plus accessible aux institutions et aux opérateurs indépendants.

Le projet vise à soutenir la vérification indépendante à travers l'infrastructure financière. ZKsync a indiqué prévoir d'autres annonces concernant Airbender Prime, sans fournir de détails supplémentaires dans sa présentation.