Vitalik Buterin : Un code sans erreur pourrait devenir une réalité d'ici la décennie 2030

Vitalik Buterin estime qu’un code source réellement sans erreur pourrait devenir réalisable d’ici la décennie 2030, du moins pour les développeurs mettant la sécurité en priorité. Cette déclaration a été faite suite à la hard fork controversée de Gnosis Chain en décembre 2024 visant à récupérer 9,4 millions de dollars perdus lors de l’attaque contre Balancer.

Face aux critiques concernant l’immuabilité de la blockchain et la manière de construire des smart contracts, Buterin souligne que « la vérification formelle » ne signifie pas « la preuve d’absence de bugs ». Il pense qu’un code totalement sans erreur pourrait être impossible, car les bugs proviennent de l’écart entre l’intention humaine et la façon dont le code est exécuté — alors que l’intention est souvent très complexe et difficile à saisir.

Cependant, Buterin croit qu’il est possible de réduire considérablement les erreurs en appliquant plusieurs couches de protection telles qu’un système de types robuste, une vérification formelle sélective, des mécanismes de sauvegarde et des tests rigoureux. Pour les développeurs qui privilégient la sécurité, un avenir « presque sans erreur » est tout à fait à portée de main.