Tout comme tous les logiciels, les contrats intelligents sur la blockchain sont sujets à de graves vulnérabilités de sécurité et à des erreurs de codage. Cependant, le fait que les contrats intelligents soient souvent directement responsables d'actifs et ne puissent pas être modifiés une fois sur la blockchain rend le développement et l'exécution sécurisés essentiels. Certaines plateformes de contrats intelligents ont leurs propres langages, par exemple Solidity sur Ethereum. Les bogues et les vulnérabilités dans le code source, ainsi que les erreurs dans les machines virtuelles utilisées par le réseau, sont les principales raisons des problèmes de sécurité dans les contrats intelligents.
Les projets utilisant des applications blockchain doivent s'attendre à des changements constants dans le paysage de la sécurité. De nouveaux bogues, risques de sécurité et meilleures pratiques continueront d'émerger au fil du temps. Trail of Bits est une entreprise de sécurité logicielle qui conseille dans divers secteurs pour certaines grandes entreprises, y compris dans le domaine de la blockchain. Ils sont des experts dans l'identification des risques de haut niveau et des vulnérabilités d'implémentation, et fournissent des recommandations essentielles sur les meilleures pratiques. Dan Guido, le PDG et co-fondateur, explique tout ce qui concerne la sécurité logicielle de manière très détaillée et technique, tout en restant facile à comprendre. Nous vous recommandons également de consulter leur blog exceptionnel rempli de ressources inestimables.
Sujets abordés dans cet épisode :
- Le parcours de Dan et comment il a créé Trail of Bits
- Ce qui a conduit Dan dans le domaine de la blockchain
- Comment la sécurité des logiciels a évolué au cours des 20 dernières années
- Les défis uniques de la sécurité sur la blockchain et les protocoles de contrats intelligents
- Langages de contrats intelligents et sécurité
- Slither - La suite d'outils de sécurité basée sur Ethereum de Trail of Bits
- L'avis de Dan sur l'avenir de Solidity et Vyper comme alternative
- Langages formellement vérifiés
- Un cas d'utilisation sur le fonctionnement de Trail of Bits
- Travailler avec des contrats évolutifs
- Composabilité et sécurité
- Les compilateurs sont-ils fiables ?
- Autres problèmes de sécurité dans l'espace blockchain à mesure que DeFi se développe
- L'avenir de la sécurité logicielle et le rôle de l'IA
Liens mentionnés dans cet épisode :
Cet épisode est animé par Sebastien Couture & Friederike Ernst. Notes de l'émission et options d'écoute :
https://epicenter.tv/346