Le concours better.codes affiche un certificat inférieur de 63,99 bits et un certificat supérieur de 116,13 bits pour le profil koalaIRS12, laissant un intervalle ouvert de 52,14 bits. La cible de sécurité démontrable de la zkEVM de production Ethereum requiert 128 bits au niveau du système. Les chercheurs doivent réduire cet écart et connecter les résultats des composants aux preuves de récursion, d’implémentation et de taille de preuve avant décembre 2026. Le délai de l’étape M3 a été repoussé au début du mois de décembre 2026, et la feuille de route demande aux équipes de publier une comptabilité système complète, des tailles de preuve, des arguments de récursion et des preuves d’implémentation.
Source: Lire l’article original
