Ethereum lance le défi better.codes pour sécuriser les SNARKs

Ethereum Foundation lance le défi better.codes pour accélérer la vérification formelle des SNARKs

La Fondation Ethereum a annoncé le 20 août 2026 une initiative de recherche inédite baptisée better.codes, destinée à élever les standards de sécurité vérifiée par machine pour les SNARKs basés sur des fonctions de hachage. Alors qu'Ethereum concentre à lui seul près de 48 milliards de dollars de valeur totale verrouillée en DeFi, la robustesse cryptographique des protocoles de preuve sous-jacents devient un enjeu de premier ordre. Le défi vise à combiner intelligence artificielle agentique et vérification formelle pour sécuriser une couche technique encore largement artisanale.

Ce qui s'est passé

La Fondation Ethereum a publié le 20 août 2026 un billet de blog détaillant le lancement du défi better.codes. L'objectif déclaré est d'élever les benchmarks de sécurité vérifiée par machine — c'est-à-dire des preuves mathématiques formellement contrôlées par un logiciel de vérification — afin de faire progresser les SNARKs (Succinct Non-interactive ARguments of Knowledge) reposant sur des fonctions de hachage cryptographiques.

La particularité de cette initiative réside dans son recours à la collaboration agentique : la Fondation entend mobiliser des agents d'intelligence artificielle pour assister les chercheurs dans la génération et la vérification automatisée de preuves formelles. Il ne s'agit pas d'un simple appel à contributions académiques, mais d'un défi structuré, avec des benchmarks mesurables visant à quantifier les progrès accomplis dans la sécurisation de ces protocoles.

Les SNARKs basés sur le hachage présentent un intérêt particulier dans la perspective post-quantique : contrairement aux SNARKs fondés sur des courbes elliptiques, ils ne reposent pas sur des hypothèses de difficulté susceptibles d'être compromises par des ordinateurs quantiques. La Fondation cherche donc à consolider une branche de la cryptographie considérée comme plus pérenne sur le long terme.

Contexte

Les SNARKs sont au cœur de nombreuses solutions de mise à l'échelle et de confidentialité sur Ethereum, notamment les rollups ZK (zero-knowledge). Ces protocoles permettent de prouver qu'un calcul a été effectué correctement sans en révéler les données sous-jacentes, ce qui est fondamental pour des systèmes comme zkSync, Starknet ou Scroll.

Or, la sécurité de ces protocoles repose aujourd'hui largement sur des audits manuels et des revues de code humaines — une méthode coûteuse, lente et faillible. La vérification formelle, qui consiste à démontrer mathématiquement et automatiquement qu'un programme ou un protocole respecte ses spécifications, est reconnue comme une approche bien plus robuste, mais elle reste sous-utilisée dans l'industrie cryptographique faute d'outils adaptés et de main-d'œuvre spécialisée.

C'est précisément ce fossé que l'initiative better.codes cherche à combler, en s'appuyant sur les récents progrès des agents IA capables d'interagir avec des assistants de preuve formelle tels que Lean, Coq ou Isabelle. L'idée est que ces agents puissent automatiser une partie du travail de formalisation, rendant la vérification à la fois plus rapide et plus accessible.

Cette annonce s'inscrit dans une tendance plus large au sein de l'écosystème Ethereum : la Fondation multiplie depuis plusieurs années les initiatives de recherche fondamentale pour anticiper les défis cryptographiques futurs, qu'il s'agisse de la résistance quantique, de l'efficacité des preuves ou de la décentralisation des mécanismes de consensus.

Données de marché

Au moment de la publication, l'Ether (ETH) s'échange à 2 399,62 $, en hausse de 4,35 % sur les dernières 24 heures. Bitcoin progresse de son côté de 7,44 % à 77 578 $, dans un contexte de marché globalement orienté à la hausse. Ces mouvements de prix ne sont pas directement liés à l'annonce de la Fondation Ethereum, qui relève de la recherche cryptographique de long terme plutôt que d'un catalyseur commercial immédiat.

Sur le plan de l'adoption, Ethereum conserve une position dominante avec 48,01 milliards de dollars de TVL en DeFi, loin devant BSC (5,45 Md$), Solana (5,43 Md$), Base (5,41 Md$) et Tron (5,17 Md$). Cette concentration de valeur sur Ethereum renforce la criticité des travaux de sécurité visant les protocoles cryptographiques qui en constituent l'infrastructure.

Ces données de marché sont fournies à titre informatif uniquement et ne constituent en aucun cas un conseil en investissement.

Conséquences possibles

Si le défi better.codes atteint ses objectifs, les implications pourraient être significatives à plusieurs niveaux :

• Sécurité renforcée des rollups ZK : des SNARKs formellement vérifiés réduiraient drastiquement le risque de failles cryptographiques dans les couches de mise à l'échelle d'Ethereum, où des milliards de dollars d'actifs sont en jeu.
• Résistance post-quantique : en privilégiant les SNARKs basés sur le hachage, la Fondation prépare l'écosystème à une éventuelle menace quantique, même si celle-ci reste lointaine selon les estimations actuelles.
• Accélération de la recherche formelle : l'intégration d'agents IA dans le processus de vérification formelle pourrait constituer un précédent méthodologique réplicable dans d'autres domaines de la sécurité informatique.
• Standardisation sectorielle : des benchmarks publics et mesurables pourraient inciter d'autres protocoles et équipes de recherche à adopter des standards similaires de vérification formelle.

Points à surveiller

• Les résultats concrets des benchmarks : la Fondation a annoncé des métriques mesurables, mais leur publication et leur interprétation par la communauté restent à suivre.
• L'efficacité réelle des agents agentiques : l'usage de l'IA pour la vérification formelle est encore expérimental. Les limites de cette approche — notamment en termes de fiabilité et de couverture — seront déterminantes pour évaluer la portée du défi.
• L'adoption par les équipes de rollups : les conclusions de better.codes auront une valeur pratique limitée si elles ne sont pas intégrées par les équipes qui développent zkEVM, Starknet ou d'autres systèmes en production.
• L'évolution du calendrier post-quantique : les progrès en informatique quantique pourraient modifier l'urgence perçue de migrer vers des SNARKs basés sur le hachage.
• Les contributions externes : en tant que défi ouvert, la capacité de l'initiative à mobiliser des chercheurs indépendants et des universités sera un indicateur clé de son dynamisme.

Sources

• Ethereum Foundation — « Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration » — 20 août 2026

Cet article est fourni à titre d'information et ne constitue pas un conseil en investissement. Les crypto-actifs sont volatils ; faites vos propres recherches.

— Reservoir Live