Créateur de SegWit introduit un nouveau langage de programmation pour Smart Contracts

Le développeur de Bitcoin Core, Peter Velle, a présenté Miniscript, un nouveau langage de programmation destiné à simplifier le développement de contrats intelligents pour le réseau Bitcoin.

Après avoir publié le message correspondant dans la lettre d’information destinée aux développeurs Bitcoin, Peter Velle a souligné que les travaux sur Miniscript duraient près d’un an. Andrew Poelstra et Sanket Sanyalkar y ont également participé.

Pour comprendre à quoi Peter Velle est arrivé, il est nécessaire de rappeler Script – le langage des contrats intelligents bitcoin, qui vous permet de spécifier certaines conditions dans lesquelles des dépenses en crypto-monnaie peuvent avoir lieu.

Il peut s’agir d’un certain laps de temps avant lequel il est impossible de dépenser des pièces ou d’un système à signatures multiples qui requiert les signatures de plusieurs participants à une transaction.

Miniscript est construit sur ce langage (Script) et est conçu pour l’optimiser. Premièrement, il s’agit d’une perception purement visuelle du code.

Donc, si dans le langage de script, l’entrée ressemble à ceci:

OP_CHECKSIG OP_IFDUP OP_NOTIF OP_DUP OP_HASH160 <hash160(B)>
OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF

Miniscript – cela ressemble à ceci:

or_d(c:pk(A),and_v(vc:pk_h(B),older(144)))

Miniscript, selon Velle, est une nouvelle façon d’écrire des scripts structurés qui permet de réaliser divers types d’analyses statiques, de générer des signatures génériques et un ensemble modifiable de conditions d’exécution de contrats intelligents.

Miniscript est actuellement disponible dans les implémentations pour C ++ et Rust. Selon Velle, les travaux sur le projet se poursuivent, mais de nombreux tests effectués permettent de croire que la conception du langage est non seulement compatible avec le consensus actuel sur le réseau Bitcoin, mais ne nécessite aucune modification de celui-ci.

Définition:

  • Les contrats intelligents (en anglais Smart Contracts) sont des protocoles informatiques qui facilitent, vérifient et exécutent la négociation ou l’exécution d’un contrat, ou qui rendent une clause contractuelle inutile (car rattachée au contrat intelligent). Les contrats intelligents ont généralement une interface utilisateur et émulent la logique des clauses contractuelles. – source Wikipedia