Vitalik prévoit que le code sans bugs deviendra une réalité dans les années 2030

Source : CoinEdition Titre Original : Vitalik prédit qu’un code sans bug sera disponible dans les années 2030 Lien Original : https://coinedition.com/vitalik-predicts-that-bug-free-code-will-be-available-in-the-2030s/

Contrats intelligents et systèmes critiques pour la sécurité

Les applications construites sous forme de contrats intelligents dans des machines virtuelles programmables continuent de révéler une faiblesse structurelle plus profonde dans la conception de la blockchain. Les actions récentes des opérateurs, y compris un hard fork pour récupérer des fonds après une exploitation de Balancer, ont recentré cette préoccupation. Les opérateurs du réseau ont agi de manière décisive, mais l’événement a renforcé une question centrale sur la manière dont les blockchains devraient ajouter des fonctionnalités en toute sécurité.

Selon c-node, un développeur zk, une grande partie de la logique applicative ne devrait pas appartenir à des contrats intelligents infiniment mutables. Il soutient que seul un ensemble limité de contrats justifie une existence à long terme et que ces composants pourraient bénéficier d’une sécurité de couche de base et d’une diversité de clients. Par conséquent, l’industrie pourrait devoir reconsidérer si les machines virtuelles à usage général sont la méthode la plus sûre pour ajouter des fonctionnalités à grande échelle.

Il n’y a que 7 contrats qui valent la peine d’être écrits, et ils devraient simplement être inscrits dans la couche de base et bénéficier de la sécurité offerte par la diversité des clients.

Pourquoi les bugs persistent dans les logiciels critiques

Les bugs restent aujourd’hui inévitables car les développeurs échangent encore la sécurité contre la rapidité et la flexibilité. De plus, la complexité des logiciels continue de croître plus rapidement que la qualité de la vérification. Cependant, Vitalik Buterin prévoit que cet équilibre changera avec le temps. Il prédit que l’affirmation selon laquelle les bugs sont inévitables cessera d’être vraie dans les années 2030.

Enregistrer une prédiction : “les bugs sont inévitables, vous ne pouvez pas créer un code sans bug” cessera d’être vrai dans les années 2030 (beaucoup de logiciels continueront d’avoir des bugs car, dans leur cas d’utilisation, les gains de fonctionnalité sont plus importants, mais si vous voulez un code sans bug, vous l’aurez)

Plusieurs forces entraînent ce changement. Les langages de programmation intègrent désormais des systèmes de types plus robustes et des règles de mémoire plus strictes. De plus, les méthodes d’audit se sont améliorées grâce à l’automatisation et aux tests adverses.

De plus, les outils de vérification formelle prouvent de plus en plus la correction plutôt que de la supposer. Ainsi, le code critique pour la sécurité devient lentement prouvable au lieu d’être basé sur l’espoir.

Selon des recherches de Buterin, la densité de défauts a déjà fortement diminué dans des conditions d’ingénierie extrêmes. En 1990, un programme critique de 1 000 lignes comportait probablement entre huit et dix bugs latents. En 2000, des équipes disciplinées ont réduit ce nombre à quatre. Par conséquent, en 2010, des efforts d’élite ont rapproché le nombre de défauts d’un ou deux.

Courbe de coût de la vérification

En 2020, des équipes dépensant un million de dollars pour 1 000 lignes ont atteint un taux de défauts connus proche de zéro. Cependant, ce résultat nécessitait une revue exhaustive et une validation mathématique.

Buterin a précisé l’hypothèse lorsqu’il a discuté des résultats modernes. Il a déclaré : « cela suppose un effort extrême de haut niveau consacré à la vérification de ces 1000 lignes, la prochaine étape étant que cette barre baisse ».

De manière significative, les gains futurs ne dépendront pas uniquement de dépenser plus d’argent. Ils viendront de meilleures valeurs par défaut. Les langages empêcheront automatiquement toute une classe de bugs. De plus, les systèmes de preuve s’intégreront directement dans les flux de développement.