Community Trust ScoreVérifié
Ethereum fait face à un problème qu’il ne peut ignorer. Un concours cryptographique en direct appelé better.codes l’a quantifié : un écart de sécurité de 52,14 bits se trouve au cœur du cadre de preuve zkEVM, mesuré au 21 août.
L’écart provient de deux certificats concurrents pour le profil de paramètre koalaIRS12. Le certificat inférieur est à 63,99 bits. Le supérieur est à 116,13 bits. La distance entre eux — 52,14 bits — est l’intervalle non résolu, en gros la zone où les chercheurs ne peuvent pas encore affirmer avec certitude si le système de preuve est sûr ou non. La Fondation Ethereum veut que cette zone soit fermée avant une révision prévue début décembre. L’objectif qu’elle poursuit : une sécurité prouvable de 128 bits, une taille de preuve inférieure à 300 KiB, et un argument de solidité formel pour son architecture de récursion. Rien de tout cela n’est encore verrouillé.
Pas même proche.
Comment fonctionne réellement le concours
La compétition better.codes se déroule sur deux pistes parallèles, et elles poussent dans des directions opposées. La piste de solidité essaie d’élever le certificat inférieur — en resserrant essentiellement la limite de ce qui peut être prouvé sûr. La piste d’attaque fait le contraire : elle essaie de réduire le certificat supérieur en trouvant des conditions qui exposent un comportement dangereux dans le benchmark. Si les deux côtés continuent de travailler, l’écart se réduit. Si l’un des côtés stagne, il ne le fait pas.
Chaque théorème soumis est vérifié dans un environnement fixe et épinglé. C’est délibéré. La Fondation veut que la reproductibilité soit intégrée au processus dès le départ, pas ajoutée après coup. La complétude du modèle est importante ici. Tout comme la fidélité de l’implémentation — si le code réel correspond à ce que la preuve formelle dit qu’il fait. Un écart entre ces deux éléments est exactement le type de vulnérabilité qui pourrait discrètement miner un système qui semble sûr sur le papier.
Le classement est mis à jour en direct. Cela signifie que le chiffre de 52,14 bits n’est pas statique — il évolue à mesure que les équipes soumettent de nouveaux travaux. Mais au 21 août, c’est là où en sont les choses.
Sur quoi les chercheurs se battent-ils encore
Un article académique des chercheurs Gal Arnon, Dan Boneh, et Giacomo Fenzi se trouve en arrière-plan de tout cela. Leur travail signale des questions non résolues dans les systèmes de preuve succincts — notamment autour du décodage de listes et des écarts de proximité Reed-Solomon. Ce ne sont pas des cas marginaux obscurs. Ce sont probablement les problèmes ouverts les plus difficiles dans le domaine en ce moment, et ils sont directement pertinents pour savoir si le zkEVM d’Ethereum peut atteindre ses objectifs de sécurité.
Le test de proximité Reed-Solomon est un élément central de la façon dont les systèmes de preuve à connaissance zéro modernes vérifient qu’un prouveur ne triche pas. Si l’écart de proximité — la marge entre « définitivement assez proche » et « potentiellement pas » — n’est pas formellement défini, tout l’argument de solidité devient plus fragile. C’est le genre de chose qui empêche les cryptographes de dormir la nuit.
La page de progression de la Fondation, au 20 août, mentionne la préparation du zkVM et la conformité ISA. Mais elle ne dit pas que le paquet de décembre est terminé. Ce n’est pas le cas.
Ce qui doit encore être fait
Réduire l’écart ne consiste pas seulement à soumettre plus de théorèmes. La feuille de route de la Fondation demande quelque chose de plus difficile : une comptabilité complète au niveau du système. Cela signifie que les tailles de preuve, les arguments de récursion, et les preuves au niveau des composants doivent tous s’aligner. Chaque pièce doit être vérifiable. Chaque étape doit être vérifiable par quelqu’un qui n’était pas dans la salle quand elle a été construite.
C’est une barre haute. Et le profil koalaIRS12 n’est qu’une partie d’un effort de recherche plus large pour amener le cadre zkEVM à une sécurité de niveau production. Le concours est public, ce qui aide — il amène des chercheurs extérieurs dans le processus et crée une pression pour avancer rapidement. Mais rapide et rigoureux ne vont pas toujours ensemble.
Il est important de noter : les scores du classement n’affectent pas la validation actuelle critique du consensus d’Ethereum. Quoi qu’il se passe dans le concours ne change pas la façon dont le réseau fonctionne aujourd’hui. C’est une recherche prospective, visant une future version du système de preuve qui pourra prétendre de manière crédible à une sécurité de 128 bits.
Le dépôt de défis est toujours ouvert aux soumissions. Les équipes de solidité continuent de pousser la limite inférieure vers le haut. Les équipes d’attaque continuent d’essayer de tirer la limite supérieure vers le bas. L’écart, en ce moment, est de 52,14 bits.
Hub : Prix, nouvelles et analyses d’Ethereum
Questions Fréquentes
Qu’est-ce que l’écart de sécurité de 52,14 bits dans le zkEVM d’Ethereum ?
C’est la distance entre un certificat inférieur de 63,99 bits et un certificat supérieur de 116,13 bits pour le profil de paramètre koalaIRS12, mesurée au 21 août via le concours better.codes.
Quels sont les trois principaux besoins de sécurité du zkEVM d’Ethereum pour décembre ?
La Fondation Ethereum souhaite un niveau de sécurité prouvable de 128 bits, une taille de preuve finale inférieure à 300 KiB, et un argument de solidité formel couvrant son architecture de récursion.
Qui sont les chercheurs derrière l’article académique pertinent sur les écarts des systèmes de preuve ?
Gal Arnon, Dan Boneh, et Giacomo Fenzi ont rédigé l’article signalant des questions non résolues autour du décodage de listes et des écarts de proximité Reed-Solomon dans les systèmes de preuve succincts.
Pourquoi c'est important
L'écart de sécurité identifié dans le cadre de preuve zkEVM souligne des vulnérabilités potentielles qui pourraient compromettre la fiabilité des transactions sur Ethereum. À l'approche de la révision de décembre, ce défi technique pourrait retarder l'adoption des solutions de scalabilité promises par zkEVM, affectant ainsi la compétitivité d'Ethereum face à d'autres blockchains de nouvelle génération. Dans un marché où la confiance et la sécurité sont primordiales, résoudre ce problème devient crucial pour maintenir la position d'Ethereum en tant que leader dans l'écosystème des cryptomonnaies.
