- Le fondateur d'Ethereum, Vitalik Buterin, prédit que le code sans bug deviendra réalisable dans les années 2030 grâce aux avancées en matière de vérification et d'outils de développement.
- La Gnosis Chain a exécuté une fourche dure controversée pour récupérer 9,4 millions de dollars volés lors du piratage de Balancer.
- Buterin affirme que la vérification formelle seule ne peut pas créer un code véritablement sans bug, mais que des systèmes de redondance en couches peuvent filtrer les écarts entre l'intention du développeur et le code réel.
Les développeurs qui privilégient la sécurité peuvent s'attendre à ce que la programmation sans bugs devienne réalisable dans les années 2030, selon Vitalik Buterin, co-fondateur d'Ethereum.
Après la fourche dure controversée de Gnosis Chain pour récupérer 9,4 millions de dollars du piratage de Balancer, le co-fondateur d'Ethereum Vitalik Buterin a déclaré que la croyance selon laquelle « les bugs sont inévitables, vous ne pouvez pas créer de code sans bugs » cessera d'être vraie dans les années 2030.
Que a dit Vitalik Buterin sur la programmation ?
Vitalik Buterin a fait une prédiction selon laquelle le code sans bugs deviendra une réalité dans les années 2030 à travers une interaction sur la plateforme de réseaux sociaux, X.
La discussion a commencé lorsque Gnosis Chain a annoncé qu'elle avait exécuté une fourche dure le 22 décembre, comme a rapporté rapporté par Cryptopolitan. La fourche dure a récupéré 9,4 millions de dollars volés lors de l'exploitation de Balancer en novembre 2024, qui a drainé plus de 128 millions de dollars sur plusieurs blockchains. La récupération a nécessité que la plupart des validateurs adoptent un nouveau logiciel, et ceux qui ont échoué à mettre à jour font face à des pénalités.
Cela, bien sûr, a rencontré une certaine résistance de la part des partisans de la blockchain qui ont critiqué cette mesure car elle va à l'encontre du principe d'immuabilité. Un utilisateur de X avec le pseudonyme « colluding node » a déclaré que le vrai problème est la façon dont les applications blockchain sont construites. Il a soutenu que l'utilisation de contrats intelligents dans des machines virtuelles programmables est la mauvaise approche.
« Il n'y a que 7 contrats worth writing, et ils devraient simplement être inscrits dans la couche de base et bénéficier de la sécurité grâce à la diversité des clients », a écrit l'utilisateur.
Buterin a ensuite a répondu précisé que la vérification formelle n'est pas égale à une preuve d'absence de bugs. Il est allé plus loin en suggérant que le code prouvé sans bugs pourrait même ne pas être possible.
« J'irais même jusqu'à dire que « prouvé sans bugs » n'est pas possible, car « sans bugs » signifie « pas d'écart entre l'intention et l'exécution du code », et notre intention est un objet extrêmement complexe auquel nous n'avons qu'un accès limité. »
La vérification formelle utilise des méthodes mathématiques pour vérifier si les systèmes critiques pour la sécurité fonctionnent correctement. Cette technique est utilisée depuis les années 1960 dans des domaines tels que l'ingénierie aérospatiale.
Lorsqu'elle est utilisée dans les contrats intelligents, la vérification formelle peut prouver que la logique commerciale d'un contrat répond à une spécification prédéfinie ; cependant, malgré le fait que les contrats Balancer aient été audités 11 fois, menés par quatre sociétés de sécurité distinctes, une faille critique a tout de même passé à travers.
Un avenir avec du code sans bugs est-il possible ?
Buterin a proposé que la solution réside dans plusieurs couches de redondance pour filtrer les écarts entre l'intention et l'exécution. Il a pointé les systèmes de types comme une forme de redondance, et la vérification formelle de revendications spécifiques sur le code comme une autre couche.
La vérification formelle peut détecter des problèmes tels que les débordements et sous-débordements d'entiers, la réentrance et les mauvaises optimisations de gaz qui pourraient passer inaperçus aux auditeurs et aux testeurs. Pendant ce temps, les tests traditionnels ne peuvent vérifier que la présence d'erreurs plutôt que leur absence.
Buterin a noté que certains logiciels continueront d'avoir des bogues, car les gains fonctionnels comptent plus que la perfection dans certains cas. Cependant, les développeurs qui privilégient la sécurité disposeront des outils nécessaires pour obtenir un code véritablement exempt de bogues.
Les esprits les plus brillants du secteur crypto lisent déjà notre newsletter. Vous aussi ? Rejoignez-les.
Avertissement. Les informations fournies ne constituent pas des conseils en matière d'investissement. Cryptopolitan.com ne saurait être tenue responsable des investissements réalisés sur la base des informations fournies sur cette page. Nous recommandons vivement de mener vos propres recherches et/ou de consulter un professionnel qualifié avant de prendre toute décision d'investissement.
Hannah Collymore
Hannah est rédactrice et éditrice avec près de dix ans d'expérience dans la rédaction de blogs et le reporting d'événements dans l'espace crypto. Chez Cryptopolitan, Hannah contribue à la page actualités, en rapportant et en analysant les derniers développements dans les secteurs de la DeFi, des RWA, de la régulation des crypto-monnaies, de l'IA et des technologies de pointe. Elle est diplômée de l'Université Arcadia avec un diplôme en administration des affaires.
