Pieter Wuille dévoile « Miniscript », un nouveau langage de contrats intelligents pour Bitcoin

Les contrats intelligents pourraient bientôt bénéficier d'un coup de pouce dans le Bitcoin , car le célèbre programmeur Pieter Wuille a dévoilé un nouveau langage de codage conçu spécifiquement pour leur utilisation.

Publié sur le développeur Bitcoin liste de diffusionLundi, le langage « Miniscript » vise à faciliter la rédaction de « contrats intelligents » ou de conditions de dépense en bitcoins par les programmeurs. Les programmeurs Wuille, Andrew Poelstra et Sanket Sanjalkar travaillent sur le code depuis environ un an, a déclaré Wuille.

Bien que l'information ait été partagée en coulisses, Wuille a déclaré qu'il la publiait désormais sur la liste de diffusion car elle avait atteint « un stade où j'aimerais qu'elle attire davantage l'attention ».

Pour revenir un BIT en arrière, « Script » est le langage des contrats intelligents de Bitcoin, qui permet aux utilisateurs de spécifier certaines conditions à remplir avant de pouvoir dépenser leurs Bitcoin . Par exemple, les fonds sont bloqués jusqu'à une certaine date avant de pouvoir être dépensés. Ou encore, deux personnes doivent approuver une transaction avant que l'argent puisse être transféré, un concept appelé « multi-signature ».

Cette programmabilité est une nouveauté en matière de monnaie numérique, car avant Bitcoin, il n'était T possible de mettre en œuvre de telles règles sans faire confiance à une banque ou à un type d'intermédiaire similaire.

"Mini-scriptum, en revanche, s'appuie sur ce langage de programmation et l'améliore de plusieurs manières. ONE est qu'il est BIT facile à visualiser et à comprendre, comme l'a démontré Wuille avec un exemple : « cela permet à A de récupérer les pièces à tout moment, et à B après [un] jour. »

Voici comment ces règles sont implémentées dans le script Bitcoin :

OP_CHECKSIG OP_IFDUP OP_NOTIF OP_DUP OP_HASH160 <hash160(B)>

OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF

Ensuite, la même chose dans Minscript :

ou_d(c:pk(A),et_v(vc:pk_h(B),plus ancien(144)))

Miniscript s'appuie sur Script, capable de « compiler » dans le langage natif de Bitcoin.

Le nouveau langage est salué par les développeurs de la communauté. Rusty Russell, ingénieur spécialisé dans la foudre chez Blockstream, par exemple,tweeté: « Ce sera ONEune de ces technologies qui demandent : "Comment diable avons-nous fait avant ça ?!". Peu sexy et vitale. »

Il existe de nombreux cas d'utilisation potentiels, comme la simplification de l'implémentation de scripts complexes dans un portefeuille, comme l'a tweeté Eric Lombrozo. Ou, comme l'a souligné Jimmy Song, enseignant Bitcoin . décrit, il pourrait même être utilisé pour soutenir le réseau Lightning.

En y réfléchissant dans le contexte plus large des langages blockchain, Song a commenté que le langage des contrats intelligents diffère du langage Solidity d'Ethereum, car alors Ethereum permet d'écrire beaucoup plus de types de contrats intelligents, Miniscript réduit en fait les possibilités.

Song soutient que c'est mieux car cela réduit la « complexité » et la « surface d'attaque ».

Cette version comprend deux implémentations fonctionnelles, dans les langages de programmation C++ et Rust, que Wuille a qualifié de « travail en cours », ajoutant :

« Grâce à des tests randomisés à grande échelle, nous sommes certains que la conception du langage et les témoins associés sont compatibles avec les règles de consensus et de standardisation existantes. »

Image de Wuille via les archives CoinDesk