Vitalik Buterin appelle à la suppression de la précompilation Modexp qui ralentit l'évolutivité ZK d'Ethereum.

Buterin dit que modexp rend les calculs ZK-EVM jusqu'à 50 fois plus lourds que les blocs Ethereum moyens.

Il propose un nouvel EIP pour remplacer modexp par du code EVM équivalent, malgré des coûts de gaz plus élevés.

L'inefficacité de Modexp ralentit les progrès des ZK-rollups, avec peu d'applications nécessitant encore la fonction héritée.

Le co-fondateur d'Ethereum, Vitalik Buterin, a exhorté les développeurs à supprimer la précompilation d'exponentiation modulaire du réseau, connue sous le nom de modexp, la décrivant comme l'un des plus grands obstacles à l'évolutivité efficace des preuves à connaissance nulle (ZK).

Dans un récent post X, Buterin a déclaré que le précompilé est “de loin le pire coupable” en matière d'efficacité du prouveur ZK-EVM, notant qu'il peut rendre les calculs jusqu'à 50 fois plus lourds que les blocs moyens. Il a suggéré de rédiger une nouvelle Proposition d'Amélioration d'Ethereum (EIP) pour remplacer la fonction par un code EVM équivalent, même si cela nécessite des frais de gaz plus élevés.

La fonctionnalité héritée crée un goulot d'étranglement majeur

Le précompilateur modexp, un composant précoce d'Ethereum, gère l'exponentiation modulaire — une opération fondamentale dans le chiffrement RSA et les signatures numériques. Bien qu'il soit crucial dans les systèmes cryptographiques précoces, cette fonctionnalité entrave désormais l'évolution d'Ethereum vers la technologie des preuves à connaissance nulle.

Buterin a admis que le code qu'il avait initialement conçu est devenu un “fardeau” pour les outils de mise à l'échelle modernes. Selon son post, l'inefficacité de modexp augmente les coûts de génération de preuves ZK et ralentit le développement de technologies comme les ZK-rollups et les ZK-EVMs.

Ces outils dépendent d'une vérification rapide pour traiter les transactions hors chaîne et les confirmer sur Ethereum de manière sécurisée. Buterin a également souligné que les chemins de code complexes de modexp créent des risques potentiels de consensus, compliquant la maintenance à long terme d'Ethereum.

Une faible utilisation soulève des questions sur la nécessité

Malgré sa complexité, seules quelques applications s'appuient encore sur modexp. Buterin a noté que la plupart des fonctions l'utilisant, telles que la vérification RSA ou les vérifications de sécurité des ponts, pourraient passer à des systèmes plus avancés basés sur les SNARKs — des preuves cryptographiques qui gèrent efficacement les calculs ZK. Il a ajouté que le maintien de l'optimisation de modexp nécessite des « efforts héroïques », qui ne justifient pas son utilisation continue étant donné sa faible adoption.

Au lieu de cela, remplacer modexp par du bytecode EVM standard pourrait simplifier l'écosystème. Bien que ce changement augmente les coûts de gaz pour les quelques utilisateurs qui en dépendent encore, il réduirait considérablement la charge computationnelle et rationaliserait la génération de preuves ZK pour tout le monde.

Poussée plus large vers une cryptographie efficace

La critique de Buterin s'inscrit dans sa campagne plus large pour moderniser la fondation cryptographique d'Ethereum. Le mois dernier, il a détaillé le protocole GKR, une méthode de vérification capable de traiter deux millions de calculs par seconde sur du matériel standard.

Cette technique peut valider des calculs complexes d'Ethereum en utilisant moins de ressources que les approches traditionnelles. Ses propositions récentes soulignent également la création de repères clairs pour mesurer les performances de la cryptographie à connaissance nulle et de la cryptographie entièrement homomorphe.

Plutôt que de privilégier uniquement la vitesse, Buterin préconise d'évaluer combien d'efficacité est perdue lors du passage à des systèmes cryptographiques avancés. Cette approche s'aligne avec son effort continu pour garantir que le cœur d'Ethereum reste efficace, évolutif et sécurisé à mesure que le réseau progresse vers une computation basée sur ZK.

Le post Vitalik Buterin appelle à la suppression du précompilé Modexp qui ralentit le ZK Scaling d'Ethereum apparaît sur Crypto Front News. Visitez notre site web pour lire d'autres articles intéressants sur les cryptomonnaies, la technologie blockchain et les actifs numériques.