Vitalik Buterin prédit un avenir sans bugs pour les contrats intelligents

Vitalik Buterin, cofondateur d'Ethereum, a fait une déclaration audacieuse concernant l'avenir des contrats intelligents, affirmant que les développeurs qui privilégient la sécurité peuvent s'attendre à ce que du code sans bug devienne une réalité dans les années 2030. Cette déclaration fait suite à la bifurcation controversée de la Gnosis Chain, visant à récupérer 9,4 millions de dollars volés lors du piratage de Balancer.

Bugs de programmation : fatalité ou réalité ?

Buterin a souligné qu'à l'avenir, il ne sera plus possible d'affirmer que « les bugs sont inévitables » ou qu'« il est impossible d'écrire du code sans bug ». Il estime qu'avec l'évolution des technologies et des méthodes de développement logiciel, les bugs dans le code deviendront l'exception, et non la règle.

La redondance multiniveau comme solution

Buterin a identifié la redondance multiniveau comme l'une des solutions novatrices pouvant contribuer à atteindre cet objectif. Cette approche permettra de réduire les écarts entre l'intention du développeur et l'implémentation réelle du code. Il a cité en exemple les systèmes de types, qui permettent d'identifier les erreurs dès les premières étapes du développement, ainsi que la vérification formelle d'assertions spécifiques concernant le code, qui constitue une couche de protection supplémentaire.

La vérification formelle permet de détecter des problèmes tels que la troncature et le dépassement de capacité des entiers, la réentrance et une optimisation inefficace du gaz. Ces problèmes peuvent échapper à l'attention des auditeurs et des testeurs, ce qui fait de la vérification formelle un outil essentiel pour garantir la sécurité des contrats intelligents.

Tests traditionnels et leurs limites

Buterin a également souligné que les tests logiciels traditionnels ne font que détecter les erreurs, sans garantir leur absence. Ceci met en évidence la nécessité de mettre en œuvre des méthodes de vérification de code plus avancées, capables d'offrir un niveau de fiabilité supérieur.

Fonctionnalité vs Perfection

Malgré ses prédictions optimistes, Buterin a reconnu que des bogues continueront d'apparaître dans certains programmes. Dans certains cas, la fonctionnalité peut primer sur la perfection, et les développeurs doivent trouver un juste milieu. Cependant, ceux qui privilégient la sécurité disposeront des outils nécessaires pour créer un code véritablement exempt de bogues.

En conclusion

Vitalik Buterin est confiant quant à l'avenir des contrats intelligents. Il prédit qu'avec les progrès technologiques et l'évolution des méthodes de développement, les bogues dans le code deviendront rares. La redondance multicouche et la vérification formelle peuvent devenir des outils essentiels pour atteindre cet objectif, garantissant ainsi la sécurité et la fiabilité des actifs numériques.