La Fondation Ethereum a dévoilé better.codes, une plateforme de recherche collaborative qui applique l'intelligence artificielle au renforcement de la sécurité des SNARK basés sur des fonctions de hachage. L'initiative s'inscrit dans l'effort plus large d'Ethereum visant à préparer son infrastructure cryptographique aux risques potentiels que pourraient faire peser les futurs ordinateurs quantiques.

La plateforme est centrée sur koalaIRS12, un problème de proximité de Reed-Solomon qui joue un rôle important dans les systèmes de preuve cryptographiques modernes. Via better.codes, les chercheurs peuvent déployer des agents d'IA pour améliorer les bornes de robustesse (soundness bounds) des preuves koalaIRS12, les résultats étant ensuite soumis à une vérification par le noyau Lean. Lean, un démonstrateur de théorèmes et langage de programmation open source initialement développé chez Microsoft Research, vérifie chaque étape de preuve à l'aide d'un petit noyau de confiance, de sorte que les résultats acceptés s'accompagnent de garanties vérifiées par machine plutôt que de reposer uniquement sur l'évaluation manuelle par les pairs.

L'initiative vise à établir des garanties de sécurité vérifiées par machine pour koalaIRS12 tout en s'orientant vers un objectif de sécurité de 128 bits susceptible de renforcer les défenses d'Ethereum contre les futures menaces quantiques. Le projet a été développé conjointement avec Yukon et zkSecurity et s'articule autour de contributions incrémentales. Les solutions acceptées sont créditées à la fois aux chercheurs ou solveurs et aux modèles d'IA ayant participé à leur élaboration — une approche destinée à encourager une collaboration transparente tout en créant un historique vérifiable des progrès de la recherche cryptographique.

Ethereum se prépare aux risques de l'informatique quantique

L'orientation d'Ethereum vers la cryptographie post-quantique est motivée par des inquiétudes concernant la sécurité à long terme des systèmes cryptographiques actuellement utilisés dans l'ensemble de la blockchain. Les technologies fondées sur les courbes elliptiques sous-tendent des domaines tels que les signatures de transactions, l'infrastructure de consensus et les preuves à connaissance nulle.

Un ordinateur quantique suffisamment puissant pourrait potentiellement compromettre certaines de ces primitives cryptographiques au moyen de l'algorithme de Shor, développé par le mathématicien Peter Shor en 1994, qui cible les problèmes de factorisation et de logarithme discret sur lesquels repose une grande partie de la cryptographie à clé publique actuelle. Bien que de telles machines ne soient pas encore capables de casser à une échelle pratique la cryptographie largement utilisée par Ethereum — et que de grands développeurs de matériel comme IBM et Google aient publié des feuilles de route qui ne visent des ordinateurs quantiques tolérants aux fautes que vers la fin de la décennie —, cette menace future potentielle a conduit les développeurs blockchain à étudier des alternatives en amont.

Ethereum examine donc des approches cryptographiques reposant sur des fonctions de hachage plutôt que sur les logarithmes discrets de courbes elliptiques. Les SNARK et les STARK basés sur le hachage comptent parmi les technologies envisagées dans le cadre de cette transition. Cette orientation fait écho aux travaux de normalisation menés au-delà de la blockchain : en 2024, le National Institute of Standards and Technology (NIST) américain a finalisé ses premières normes de cryptographie post-quantique, dont SLH-DSA, un schéma de signature numérique basé sur le hachage, faisant entrer la cryptographie fondée sur le hachage dans un usage de production approuvé au niveau gouvernemental. L'initiative better.codes répond à l'un des défis associés à cet effort en recherchant des garanties de sécurité plus solides et formellement vérifiées pour les codes de proximité de Reed-Solomon — des codes qui sous-tendent plusieurs systèmes de preuve cryptographique et revêtent une importance pour le développement de technologies à connaissance nulle évolutives.

Objectif de sécurité de 128 bits

Le défi better.codes vise à atteindre un niveau de sécurité de 128 bits pour koalaIRS12, un objectif cohérent avec la vision à long terme d'Ethereum : développer des systèmes cryptographiques capables de demeurer sécurisés dans un environnement post-quantique. La Fondation Ethereum a annoncé l'initiative sur X :

Learn more in the announcement ↓

— Ethereum Foundation (@ethereumfndn) August 20, 2026

Publication complète : https://x.com/ethereumfndn/status/2090485717273043227?ref_src=twsrc%5Etfw

Ces travaux font suite à l'initiative Proximity Prize, lancée plus tôt en 2026 avec un fonds de recherche d'un million de dollars consacré aux problèmes non résolus liés au décodage en liste et à l'accord corrélé. En exprimant ces problèmes cryptographiques en Lean 4, la Fondation Ethereum cherche à rendre les résultats de recherche plus faciles à vérifier mécaniquement et, potentiellement, à accélérer les progrès vers des constructions cryptographiques plus fiables. L'association de l'apprentissage automatique et de la vérification formelle des preuves reflète par ailleurs une tendance de recherche plus large — AlphaProof de Google DeepMind, qui a atteint un niveau de médaille d'argent à l'Olympiade internationale de mathématiques 2024 en produisant des preuves vérifiées par Lean, a illustré la capacité des systèmes d'IA à contribuer aux mathématiques à vérification formelle.

Une vérification plus solide de ces hypothèses cryptographiques pourrait bénéficier aux développeurs qui construisent des rollups, des machines virtuelles à connaissance nulle et d'autres systèmes de mise à l'échelle dépendant de plus en plus des technologies basées sur les SNARK.

La sécurité à long terme plutôt que l'impact immédiat sur le marché

L'initiative ne devrait pas avoir d'effet direct à court terme sur le prix de l'ETH. Sa portée réside plutôt dans la sécurité protocolaire à long terme d'Ethereum et dans la préparation aux risques technologiques susceptibles d'émerger à mesure que l'informatique quantique progresse.

Les efforts récents menés dans l'écosystème Ethereum ont également mis davantage l'accent sur la sécurité post-quantique, notamment des propositions impliquant des preuves STARK récursives et la création d'une équipe de sécurité dédiée aux menaces liées au quantique. Pour les développeurs et les fournisseurs d'infrastructure, ces évolutions indiquent que la résilience cryptographique devient une considération de plus en plus importante à mesure que les technologies à connaissance nulle se déploient dans l'industrie de la blockchain.

La plateforme better.codes devrait évoluer au-delà de son défi initial, la Fondation Ethereum prévoyant des problèmes de recherche supplémentaires dans le cadre de règles de programme couvrant l'éligibilité, l'évaluation et les récompenses. Les chercheurs peuvent participer en se connectant via GitHub, en accédant au dépôt concerné et en apportant des solutions au défi koalaIRS12.

Selon les rapports, l'initiative représente un effort visant à faire passer la recherche post-quantique au-delà des discussions théoriques, vers une mise en œuvre vérifiable de manière indépendante. En combinant la recherche assistée par IA et la vérification formelle Lean, better.codes pourrait offrir à Ethereum une voie plus structurée vers des systèmes cryptographiques conçus pour résister aux menaces de l'ère quantique.

Source : CoinTrust