Aujourd'hui, Blockstream a annoncé le lancement de Simplicity, un nouveau langage de contrat intelligent conçu pour le réseau Liquid sur Bitcoin, selon un communiqué de presse envoyé à Bitcoin Magazine. Simplicity est basé sur le modèle UTXO de Bitcoin, ce qui le rend compatible avec la vérification formelle, permettant aux contrats d'être mathématiquement prouvés corrects avant leur exécution.

« La simplicité donne à Bitcoin un pouvoir de contrat intelligent expressif, mais sans les problèmes de sécurité associés aux chaînes basées sur VM », a déclaré le co-fondateur et PDG de Blockstream, Dr. Adam Back. « Il est construit de manière à être spécifié formellement, sécurisé et efficace. Avec Simplicity, nous débloquons une large gamme de cas d'utilisation innovants sur Bitcoin. »

La simplicité évite des fonctionnalités à haut risque telles que la récursion, les boucles non bornées et les variables globales. Ce design vise à réduire le potentiel de bogues et de vulnérabilités qui ont affecté d'autres systèmes de contrats intelligents.

La langue a été proposée pour la première fois en 2012 par l'ingénieur de Blockstream, le Dr Russell O’Connor, et a depuis été développée par l'équipe de recherche de l'entreprise. Blockstream est connu pour sa contribution à l'infrastructure Bitcoin et aux mises à niveau des protocoles, y compris Taproot.

La simplicité prend en charge plusieurs cas d'utilisation, tels que :

Coffres programmables.
Banques intelligentes multi-utilisateurs natales de Bitcoin.
Échanges décentralisés sans actifs enveloppés ni état global.
Systèmes d'identité et de réputation utilisant des assertions signées.
Configurations de garde institutionnelle utilisant des schémas de signature B-N.
Gouvernance et financement participatif avec des règles de vote statiques, une logique de paiement récurrent et des services contrôlés par accès.
« Nous avons conçu Simplicity pour permettre des applications Bitcoin-native expressives sans hériter de la complexité et de la fragilité d'autres écosystèmes de contrats intelligents », a déclaré le directeur de la recherche chez Blockstream, Andrew Poelstra. « En combinant des méthodes formelles avec le modèle UTXO, nous créons une base pour une finance programmable sécurisée sur Bitcoin sur laquelle les développeurs et des entités telles que les institutions financières peuvent compter. »

Le Liquid Network a actuellement plus de 3,27 milliards de dollars de valeur totale verrouillée (TVL), principalement en Bitcoin et en actifs émis. L'intégration de Simplicity dans cet environnement vise à fournir de nouveaux outils aux organisations cherchant à développer des applications au sein de l'écosystème de Bitcoin.
#bitcoin
#btc
#CandyDrop Airdrop Event 6.0
#Join Alpha RION Airdrop to Earn $40
#White House Crypto Report