Des chercheurs d'Ethereum se dépêchent de combler un écart de sécurité zkEVM avant l'échéance de décembre

Le concours better.codes d'Ethereum a transformé un écart de preuve cryptographique en une mesure publique et reproductible que les chercheurs peuvent faire évoluer des deux côtés.

À 15:44:47 UTC le 21 août, le tableau de bord en direct affichait un certificat inférieur de 63.99 bits et un certificat supérieur de 116.13 bits pour koalaIRS12. Après neuf soumissions promues par sept solveurs, 52.14 bits restent non résolus entre les deux bornes.

KoalaIRS12 est un profil de paramètres fixe pour une réduction de Reed–Solomon entrelacée utilisée dans la recherche sur les systèmes de preuve. Les questions de proximité de Reed–Solomon de ce type sont fondamentales plutôt que périphériques : FRI, le Fast Reed–Solomon IOP of Proximity, est la technique que les STARK et d'autres SNARK à base de hachage utilisent pour vérifier qu'une chaîne engagée est proche d'un polynôme de faible degré. Le dépôt du challenge définit son score comme une quantité de contrôle ponctuel et exclut expressément de l'interpréter comme un minus-log2 de la solidité de l'ensemble du système ou comme une sécurité du protocole complet. Les chercheurs disposent désormais d'une mesure publique de la distance entre ce que le challenge a prouvé sûr et ce que son certificat supérieur continue de déclarer non sûr.

Ce que le tableau de bord démontre

Le concours fonctionne avec deux voies conçues pour refermer l'intervalle depuis des directions opposées.

La voie de solidité augmente le certificat inférieur. À un rayon certifié, une soumission réussie prouve que la borne exécutable de l'erreur de réduction du benchmark atteint la cible encodée, puis associe ce rayon au score affiché au tableau.

La voie d'attaque abaisse le certificat supérieur. Son théorème certifie un suffixe non sûr sous la condition de densité de l'ensemble gagnant du benchmark, et le dépôt couvre directement ce suffixe parce que la formalisation n'assume aucun théorème de monotonie pour la densité de l'ensemble gagnant. Le score de la voie du certificat supérieur décrit la frontière formelle pour koalaIRS12 ; un coût d'attaque sur Ethereum exigerait une analyse distincte de l'ensemble du système.

Selon l'annonce de lancement de l'Ethereum Foundation, l'énoncé du théorème, le point de paramètres et l'environnement de vérification sont figés. Chaque soumission exporte le théorème requis, un comparateur vérifie cet énoncé par rapport à la cible, et le noyau Lean valide la preuve avant promotion. Lean est un assistant de preuve interactif dont le petit noyau de confiance vérifie automatiquement chaque étape de preuve. Un résultat accepté prouve le théorème soumis dans cet environnement figé.

L'assurance de production va plus loin. Elle doit aussi couvrir l'exhaustivité du modèle, les hypothèses intégrées à ses définitions, la fidélité de l'implémentation et la composition de composants analysés séparément. L'examen par la Fondation, en mai, d'un effort de vérification formelle sur SP1, un zkVM développé par Succinct, montre pourquoi ces couches supplémentaires sont importantes : les spécifications et les énoncés de théorèmes sont du code, les entrées et les versions doivent être figées de manière reproductible, et les résultats au niveau des composants exigent un raisonnement plus large avant de pouvoir appuyer des conclusions sur un système complet.

Un article universitaire de Gal Arnon, Dan Boneh et Giacomo Fenzi identifie le list decoding, les écarts de proximité de Reed–Solomon, l'accord corrélé et l'accord mutuellement corrélé comme des questions ouvertes pour les systèmes de preuve succincts. Publié avant l'instantané actuel du tableau de bord, l'article explique l'importance de cette famille de problèmes sans évaluer les scores du jour.

La Fondation présente better.codes comme une voie de recherche vérifiée par machine pour la sécurité des SNARK à base de hachage. L'amélioration des certificats koalaIRS12 permettrait d'affiner une réduction dans le cadre de cet agenda.

Le certificat de 116.13 bits a la même portée : il s'applique au point de paramètres encodé dans le challenge. D'autres choix de paramètres, constructions et composants de système restent des questions de recherche distinctes.

Ce mouvement à deux sens rend l'intervalle plus informatif. Chaque promotion modifie une frontière vérifiable, tandis que le théorème figé maintient la comparabilité entre les résultats successifs.

L'écart par rapport à l'objectif de décembre d'Ethereum

La feuille de route de sécurité zkEVM de décembre 2025 de la Fondation appelait à une sécurité prouvable de 128 bits, une taille finale de preuve de 300 KiB ou moins, et un argument formel de solidité pour l'architecture de récursion.

Une mise à jour de février sur la sécurité a repoussé l'échéance M3 au début décembre 2026 et a aligné l'argument de sécurité de l'architecture sur un livrable au 1er décembre. La feuille de route demande aux équipes de relier les bornes des composants à un ensemble système vérifiable.

Pour koalaIRS12, un certificat inférieur atteignant la cible encodée de 128 bits réglerait le versant solidité de ce benchmark à son point de paramètres fixe. Une affirmation de production zkEVM exigerait en outre une comptabilisation de la solidité pour chaque composant pertinent, le respect de la taille de preuve, une topologie de récursion documentée, un argument sur la composition des parties, ainsi que des éléments montrant que les spécifications correspondent aux implémentations.

La page publique de progression de la Fondation, synchronisée pour la dernière fois le 20 août, répertorie des résultats de préparation zkVM et de conformité ISA et cite la preuve en temps réel et l'intégration de soundcalc comme critères. Ses tableaux rendus n'indiquent aucun marqueur d'achèvement pour l'ensemble complet de début décembre et restent silencieux sur les travaux suivis ailleurs.

Une mise à jour de mai sur les preuves d'exécution optionnelles décrivait une phase non critique pour le consensus, dans laquelle les preuves zkEVM complètent les tests du mainnet tandis que la réexécution ordinaire par les clients d'exécution continue de guider l'attestation.

Ce rôle optionnel maintient l'effet immédiat du tableau de bord dans le domaine de la recherche. Les mouvements des certificats modifient les éléments de preuve disponibles pour les futurs arguments de sécurité sans changer la voie actuelle de validation critique pour le consensus d'Ethereum.

Sur better.codes, les soumissions de solidité peuvent relever le certificat inférieur de 63.99 bits, et les soumissions d'attaque peuvent faire baisser le certificat supérieur de 116.13 bits. Dans toute la feuille de route zkEVM, les équipes doivent publier la comptabilité au niveau système, les tailles de preuve, les arguments de récursion et les preuves d'implémentation requis pour l'examen de début décembre.

À ce stade, l'intervalle de 52.14 bits constitue une mesure en temps réel du travail restant sur koalaIRS12. Le cas de production à 128 bits d'Ethereum dépendra de la manière dont ces éléments de preuve au niveau composant s'intègrent dans la preuve plus large.