Vitalik avert que la complexité d'Ethereum menace la conception sans confiance

• Buterin affirme que la complexité du protocole affaiblit la vérification sans confiance en forçant les utilisateurs à dépendre d’experts plutôt que de l’auto-inspection.
• La compatibilité descendante entraîne de la surcharge, augmentant les risques de sécurité à mesure que des fonctionnalités inutilisées et des interactions complexes s’accumulent.
• Il appelle à une « collecte des déchets » du protocole pour réduire le code, limiter la cryptographie et simplifier le développement futur des clients.

Vitalik Buterin, co-fondateur d’Ethereum, a lancé un avertissement direct sur la direction technique d’Ethereum dans un post partagé sur X le dimanche 18 janvier. S’exprimant publiquement, Buterin a déclaré que la complexité croissante du protocole d’Ethereum menace désormais la confiance sans confiance, la sécurité et la souveraineté des utilisateurs. Ses commentaires se sont concentrés sur la discipline de gouvernance, et non sur les prix, la concurrence ou la scalabilité du réseau.

Simplicité comme base de la confiance et de la sortie

Selon Vitalik Buterin, la simplicité du protocole soutient davantage les systèmes sans confiance que le nombre de nœuds ou les seuils de tolérance aux fautes. Il a déclaré que des conceptions complexes obligent les utilisateurs à dépendre d’experts pour interpréter le comportement du protocole. Notamment, cette dépendance affaiblit la vérification indépendante, même lorsque les métriques de décentralisation semblent solides.

Il a également évoqué le « test de départ », qui mesure si de nouvelles équipes peuvent reconstruire en toute sécurité des clients. Cependant, Buterin a indiqué que des bases de code gonflées créent des barrières pour les développeurs de remplacement. À mesure que la complexité augmente, la diversité des clients diminue car moins d’équipes peuvent gérer la charge technique.

Buterin a en outre relié la complexité à la souveraineté personnelle. Il a dit que les systèmes que les utilisateurs ne peuvent pas inspecter ou comprendre ne leur appartiennent pas pleinement. Par conséquent, des protocoles illisibles affaiblissent le contrôle de l’utilisateur, indépendamment de la sophistication technique.

Compatibilité descendante et compromis de gouvernance

Buterin a retracé le gonflement d’Ethereum à la façon dont les changements de protocole sont évalués. Les développeurs privilégient souvent la compatibilité descendante, ce qui favorise l’ajout de fonctionnalités plutôt que leur suppression. Avec le temps, ce déséquilibre accumule des composants inutilisés à travers le protocole.

Cependant, chaque fonctionnalité conservée augmente le risque d’interaction. Buterin a déclaré que des interactions complexes rendent les défaillances plus difficiles à prévoir et à déboguer. Selon lui, la sécurité s’érode à mesure que les systèmes deviennent plus difficiles à raisonner.

Il a également mis en garde contre une dépendance cryptographique lourde. Les protocoles reposant sur moins de primitives restent plus faciles à auditer et à sécuriser. En revanche, la cryptographie en couches complique la vérification et augmente le risque de maintenance à long terme.

« Collecte des déchets » et simplification mesurée

Pour contrer la surcharge, Buterin a proposé une « collecte des déchets » explicite du protocole. Il a défini trois métriques, en commençant par minimiser le nombre total de lignes de code. Il a déclaré que des protocoles concis restent plus faciles à inspecter et à maintenir.

Deuxièmement, il a encouragé à limiter la dépendance à une cryptographie complexe. Moins d’hypothèses, a-t-il noté, améliorent la clarté de la sécurité. Troisièmement, il a souligné l’ajout d’invariants qui simplifient le développement des clients.

Il a cité l’EIP-6780 et l’EIP-7825 comme exemples. Ces changements ont réduit la complexité de la mutation d’état et plafonné les coûts de traitement des transactions. Il a également mentionné des nettoyages passés, notamment le passage d’Ethereum du proof-of-work au proof-of-stake.

Buterin a décrit les quinze premières années d’Ethereum comme expérimentales. Il a dit que le développement futur devrait éviter de faire perdurer des fonctionnalités inutilisées.