Les chercheurs d'Ethereum s'efforcent de combler un écart de 52 bits dans la sécurité cryptographique du zkEVM avant un examen prévu en décembre 2026. Le classement en direct du concours better.codes, capturé à 15:44:47 UTC le 21 août, affichait un certificat de solidité de 63,99 bits et un certificat d'attaque de 116,13 bits pour koalaIRS12, laissant 52,14 bits non résolus entre les deux résultats promus après neuf soumissions de sept solveurs. KoalaIRS12 est un profil de paramètres fixes pour une réduction Reed-Solomon entrelacée utilisée dans la recherche sur les systèmes de preuve, et non le zkEVM complet lui-même. L'intervalle ouvert se situe bien en dessous de l'objectif de sécurité prouvable de 128 bits d'Ethereum pour le système au sens large.
Pourquoi c'est important
Les certificats sont des bornes vérifiées par machine dans un environnement Lean épinglé, où les soumissions de solidité relèvent le certificat inférieur et les soumissions d'attaque abaissent le certificat supérieur. Chaque promotion déplace une frontière reproductible, mais le cadre interdit explicitement de lire l'un ou l'autre certificat comme une affirmation de solidité à l'échelle du système. Un zkEVM de niveau production aurait besoin de couches supplémentaires : complétude, hypothèses intégrées dans les définitions formelles, fidélité entre spécifications et implémentations, et composition de preuves entre composants analysés séparément.
Un examen en mai d'un effort de vérification formelle SP1 a montré pourquoi ces couches comptent. Les spécifications et les énoncés de théorèmes sont eux-mêmes du code, les composants nécessitent un épinglage versionné, et les résultats individuels exigent un raisonnement plus large avant de pouvoir étayer une affirmation au niveau du système. Un article académique de Gal Arnon, Dan Boneh et Giacomo Fenzi a par ailleurs signalé le décodage de liste, les écarts de proximité Reed-Solomon et les questions d'accord corrélé comme des problèmes ouverts pour les systèmes de preuve succincts.
Impact sur le marché
La feuille de route de sécurité zkEVM de décembre 2025 exigeait une sécurité prouvable de 128 bits, des tailles de preuve inférieures ou égales à 300 KiB, et un argument formel de solidité pour l'architecture de récursion. Une mise à jour de février a repoussé l'échéance M3 au début de décembre 2026, l'argument de sécurité de l'architecture étant désormais ancré à un livrable pour le 1er décembre. Pour koalaIRS12 seul, un certificat inférieur atteignant 128 bits ne réglerait que le volet solidité de ce benchmark à son point de paramètre fixe.
Questions fréquemment posées
-
Qu'est-ce que l'écart de 52 bits dans le zkEVM d'Ethereum ?
C'est l'intervalle non résolu entre un certificat de solidité de 63,99 bits et un certificat d'attaque de 116,13 bits pour le benchmark koalaIRS12, capturé sur le classement better.codes à 15:44:47 UTC le 21 août après neuf soumissions de sept solveurs.
-
Qu'est-ce que koalaIRS12 ?
KoalaIRS12 est un profil de paramètres fixes pour une réduction Reed-Solomon entrelacée utilisée dans la recherche sur les systèmes de preuve zkEVM. Le concours better.codes note les certificats par rapport à ce seul profil, et non par rapport au zkEVM complet d'Ethereum.
-
Qu'est-ce que le jalon M3 de décembre 2026 ?
M3 a été initialement fixé dans la feuille de route de sécurité zkEVM de décembre 2025 et a été reporté en février. Il exige une sécurité prouvable de 128 bits, des tailles de preuve inférieures ou égales à 300 KiB, et un argument formel de solidité pour l'architecture de récursion d'ici début décembre 2026.
-
L'écart de 52 bits affecte-t-il le mainnet Ethereum aujourd'hui ?
Non. Une mise à jour de la Fondation en mai présentait les preuves zkEVM comme des preuves optionnelles non critiques pour le consensus. L'attestation du mainnet repose sur la ré-exécution ordinaire du client d'exécution, les preuves zkEVM complétant les tests.
-
Comment le concours better.codes comble-t-il l'intervalle ?
Les soumissions de solidité relèvent le certificat inférieur vers la cible encodée de 128 bits, tandis que les soumissions d'attaque abaissent le certificat supérieur. Chaque promotion acceptée est un changement de frontière vérifié par machine dans un environnement Lean épinglé.
CoinTelegraph
CoinDesk
Crypto Rank News
Glassnode
Crypto News
TheBlock