[Un seul GPU a prouvé 7 200 blocs Ethereum. Mais l’épreuve réelle à surmonter est différente.] @zksync a prouvé 7 200 blocs consécutifs du réseau principal Ethereum avec un seul GPU. Parmi ceux-ci, 99 % ont été prouvés en moins de 10 secondes, et tous les blocs en moins de 12 secondes. Cependant, selon les indicateurs en temps réel d’EthProofs, soutenu par la fondation Ethereum, seuls 2 des 8 proveurs évalués ont récemment satisfait aux critères hebdomadaires d’éligibilité. Ces deux résultats ne peuvent pas être comparés directement, car ils mesurent des choses différentes et dans des environnements distincts. Au contraire, cette différence révèle la prochaine tâche pour la technologie ZK. Résumé succinct : - Airbender Prime a démontré la possibilité de répondre au cycle de création de blocs d’Ethereum d’environ 12 secondes avec un seul GPU. - Dans un environnement de production réel, il faut prendre en compte non seulement la vitesse de preuve, mais aussi la disponibilité, les échecs de preuve et les exigences matérielles. - À long terme, la compétitivité des zkEVM sera probablement déterminée par la vérification de l’exactitude, le coût de preuve dans les pires conditions et la capacité à fonctionner de manière stable, plutôt que par la vitesse de traitement des preuves. Airbender Prime, annoncé par ZKsync le 13 octobre, a prouvé 7 200 blocs consécutifs du réseau principal Ethereum avec une seule GPU NVIDIA RTX PRO 6000 Blackwell. Étant donné qu’Ethereum génère un bloc environ toutes les 12 secondes, 7 200 blocs correspondent à environ 24 heures de blocs en théorie. Le fait que 99 % des blocs aient été traités en moins de 10 secondes, y compris le temps nécessaire pour préparer les données d’entrée (witness), est significatif. Si la vitesse de génération des preuves dépasse la vitesse à laquelle les nouveaux blocs apparaissent, les vérificateurs peuvent confirmer les résultats d’exécution grâce à des preuves cryptographiques, au lieu de réexécuter toutes les transactions. Cela réduit potentiellement la charge de calcul nécessaire à la vérification. Mais tester la performance sur 7 200 blocs et fournir continuellement des preuves dans un environnement réel sont deux problèmes différents. EthProofs mesure publiquement les performances et l’état opérationnel de plusieurs systèmes générant des preuves en temps réel pour les blocs Ethereum. Au moment de la consultation du tableau de bord le 26 octobre, les chiffres suivants étaient affichés : - 8 proveurs évalués, dont seulement 2 ont satisfait aux critères d’éligibilité hebdomadaires récents ; - Taux de réussite des preuves en moins de 10 secondes par rapport aux créneaux de bloc : 69,7 % ; - Taux de proveurs classés hors ligne : 26,2 %. Ces chiffres ne représentent pas les résultats du test unique GPU d’Airbender Prime. Il s’agit d’une agrégation opérationnelle sur plusieurs proveurs, avec des équipements, des environnements d’exécution et des critères d’éligibilité différents. Cependant, ils montrent qu’il faut assurer la fiabilité opérationnelle pour utiliser des preuves dans le réseau réel, indépendamment des performances individuelles. Même si un proveur met en moyenne 5 secondes pour générer une preuve, s’il est fréquemment interrompu ou incapable de traiter certains blocs, une structure de vérification dépendant uniquement de ce système ne pourra pas fonctionner de manière stable. Il faut vérifier si d’autres implémentations peuvent fournir des preuves lorsqu’un proveur échoue, et si les retards ne s’accumulent pas lorsque plusieurs blocs difficiles arrivent consécutivement. Des vérifications spécifiques sont également nécessaires concernant les exigences matérielles. Le guide GPU du dépôt public d’Airbender indique que les étapes de preuve de base et récursive utilisent un GPU, tandis que l’étape finale de preuve nécessite un CPU et environ 150 Go de RAM. Il n’est pas confirmé que ce document décrive la même configuration d’exécution que le benchmark Prime le plus récent. Par conséquent, il n’est pas possible de déterminer la consommation totale de mémoire ou les coûts opérationnels du système entier uniquement à partir du résultat d’un seul GPU. Le 15 octobre, @VitalikButerin a salué les performances de l’équipe Airbender et identifié trois prochaines tâches pour les zkEVM : Premièrement, vérifier mathématiquement que les calculs utilisés pour la preuve correspondent exactement aux spécifications d’exécution réelles d’Ethereum. Deuxièmement, imposer une limite stricte au coût de la preuve par rapport à l’utilisation du gaz du bloc. Troisièmement, vérifier la sécurité cryptographique intrinsèque du système de preuve lui-même. La deuxième condition est directement liée aux coûts opérationnels réels. Même si un bloc ordinaire est prouvé en moins de 10 secondes, que se passe-t-il si quelqu’un conçoit intentionnellement une opération extrêmement difficile à prouver tout en restant dans la limite de gaz autorisée ? L’exécution du bloc coûte normalement du gaz, mais la génération de la preuve pourrait exiger une quantité excessive d’opérations et de temps. Si ce scénario est possible, alors même si le temps moyen de preuve par bloc est très court, il devient impossible de prédire avec fiabilité la charge maximale que le réseau peut gérer en toute stabilité. L’économie des preuves en temps réel dépend non seulement du coût moyen de preuve par bloc, mais aussi du montant maximal de ressources nécessaires dans les pires cas. La feuille de route d’EthProofs progresse également dans cette direction.La phase d'amélioration des performances est désormais terminée, et la vérification de sécurité est en cours. Les étapes suivantes prévues sont l'intégration directe de la preuve dans le consensus, la preuve d'obligation et la preuve de retard. Cette séquence est cruciale car il y a une différence fondamentale entre créer un système de preuve rapide et faire en sorte qu'Ethereum fasse confiance à cette preuve dans son processus de consensus. L'annonce d'Airbender Prime fournit des preuves solides qu'il est possible de réduire la charge matérielle des preuves en temps réel. Les prochaines réalisations ne pourront pas être évaluées uniquement sur la base de temps plus rapides. Il est essentiel de déterminer combien de temps un taux élevé de réussite des preuves peut être maintenu dans un environnement de production réel, si le coût des preuves reste limité même dans les pires blocs, et si différentes implémentations peuvent prouver avec précision les mêmes résultats d'exécution Ethereum. La technologie de preuve ZK passe de la phase de démonstration de calculs rapides à celle où elle devient une infrastructure sur laquelle le réseau peut réellement s'appuyer. #Ethereum #zkEVM