Introduction de Simplicity par Blockstream
Blockstream, le développeur du protocole de couche 2 de Bitcoin, Liquid, dirigé par le cypherpunk Adam Back, a lancé Simplicity, un nouveau langage de contrat intelligent conçu pour Bitcoin. Selon une annonce faite jeudi et partagée avec Cointelegraph, les contrats intelligents Simplicity seront intégrés dans Liquid. Cette initiative marque une avancée significative dans la transformation de Bitcoin, passant d’un simple stockage de valeur sécurisé à une fondation programmable pour la finance décentralisée.
Fonctionnalités de Simplicity
La société a également introduit SimplicityHL, une implémentation de niveau supérieur du langage qui facilite le développement grâce à une abstraction accrue. Un représentant de Blockstream a déclaré à Cointelegraph que cette version du langage « est disponible et utilisable dès aujourd’hui », avec un environnement de développement intégré basé sur le web également accessible.
Différences avec Solidity
Simplicity se distingue du langage Solidity d’Ethereum, principalement en raison des architectures sous-jacentes différentes des deux blockchains. Solidity a été développé pour la Machine Virtuelle Ethereum, tandis que Bitcoin utilise l’architecture des sorties de transaction non dépensées (UTXO). En revanche, le réseau Ethereum emploie un état global. Cette différence se manifeste dans le fonctionnement des contrats intelligents Simplicity. Un représentant de Blockstream a affirmé que « ne pas s’appuyer sur l’état global est un grand changement ».
« Chaque élément d’état dont votre contrat a besoin doit voyager avec la transaction. »
Les chercheurs de Blockstream ont précisé que les développeurs Solidity devront abandonner leur habitude de lire à partir de variables accessibles globalement et fournir plutôt toutes les informations nécessaires à chaque étape. Dans ce système, deux contrats intelligents ne peuvent pas partager d’état ou référencer les mêmes variables ; tout doit être explicitement transmis dans les transactions.
Néanmoins, les représentants de l’entreprise ont expliqué que cette approche a également des avantages : « Même si quelque chose tourne mal, seule la partie spécifique de votre contrat dans le graphe de transaction est affectée. C’est un état d’esprit différent par rapport à l’état global, mais cela conduit finalement à des contrats plus sûrs et plus contenus par conception. »
Les développeurs ne pourront également pas utiliser la récursivité ou des boucles non bornées, que Blockstream considère comme non nécessaires pour la logique on-chain.
Langages de programmation de contrats intelligents spécifiques à un domaine
Simplicity rejoint une liste croissante de langages de programmation de contrats intelligents spécifiques à un domaine. Noir, un langage de programmation lancé en 2022 pour écrire et vérifier des preuves à connaissance nulle (ZK-proofs), a été adopté en 2023 par les développeurs de la couche 2 d’Ethereum axée sur la confidentialité, Aztec. Noir est devenu un langage de programmation de contrats intelligents spécifiquement conçu pour des applications préservant la vie privée qui intègrent profondément les ZK-proofs dans leur architecture. Un autre exemple est Leo, un langage de programmation de contrats intelligents qui crée également des systèmes de ZK-proof avec une syntaxe étroitement liée et une attention particulière à la confidentialité. Vyper d’Ethereum est un langage compatible avec l’EVM, conçu pour réduire la surface d’attaque, et est désormais utilisé par certains des principaux protocoles de finance décentralisée (DeFi) d’Ethereum.
