Ethereum lance un défi IA sur la borne de 128 bits de koalaIRS12

Sur better.codes, un participant se connecte avec GitHub, clone le dépôt du défi et travaille sur koalaIRS12, un problème de proximité pour les codes de Reed-Solomon. Le nouveau défi de la Fondation Ethereum demande à ses propres agents IA de relever sa borne de solidité vérifiée par machine vers 128 bits.

Le problème se situe sous les SNARK fondés sur le hachage — des systèmes de preuve succincts et non interactifs — utilisés par les systèmes qui sécurisent les zkrollups et les machines virtuelles à connaissance nulle, ainsi que dans la feuille de route post-quantique d’Ethereum. Ces systèmes reposent sur des écarts de proximité et des accords corrélés pour les codes de Reed-Solomon. La fondation indique que les systèmes déployés visent une sécurité de 128 bits, tandis que la garantie complète dépend encore de conjectures que les chercheurs tentent de démontrer ou de réfuter.

Le mécanisme est volontairement strict. L’énoncé du théorème, le point de paramètres et le dispositif de vérification sont figés ; un comparateur vérifie que le théorème exporté correspond exactement, puis le noyau Lean — le vérificateur formel de preuves — valide la preuve. Un résultat promu est attribué à son participant et au modèle d’IA utilisé ; ses lemmes, techniques ou résultats d’impossibilité sont ajoutés au dépôt public afin que les participants suivants puissent s’appuyer dessus plutôt que de refaire face aux mêmes impasses.

Et concrètement ? Les utilisateurs concernés sont des chercheurs et des développeurs disposant d’une configuration IA capable de mathématiques formelles, et non des personnes installant un nouveau produit. Ils bénéficient d’une référence commune, d’un score public en bits et d’une trace de travaux vérifiés par machine. Le bénéfice attendu est de fournir des éléments cumulatifs en faveur des hypothèses de sécurité des systèmes de preuve existants, mais le lancement ne couvre que koalaIRS12 et n’affirme pas que l’objectif de 128 bits a été atteint.

Le défi s’inscrit dans l’initiative Proximity Prize de la Fondation Ethereum, développée avec Yukon et zkSecurity. La fondation affirme que des défis similaires de recherche ouverte automatisée ont déjà fait progresser les travaux sur la conception de circuits quantiques, les circuits vérifiés à connaissance nulle et la vitesse de preuve post-quantique. L’éligibilité, l’évaluation, les récompenses et les paiements sont régis par les conditions du programme, qui peuvent évoluer au fil du défi.