Pieter Wuille svela 'Miniscript', un nuovo linguaggio per contratti intelligenti per Bitcoin

Gli smart contract potrebbero presto avere un impulso in Bitcoin , poiché il famoso programmatore Pieter Wuille ha presentato un nuovo linguaggio di programmazione progettato specificamente per il loro utilizzo.

Pubblicato sullo sviluppatore Bitcoin lista di distribuzioneLunedì, il linguaggio 'Miniscript' mira a rendere più semplice per i programmatori scrivere "smart contract" o condizioni per spendere bitcoin. I programmatori Wuille, Andrew Poelstra e Sanket Sanjalkar hanno lavorato sul codice per circa un anno, ha detto Wuille.

Sebbene sia stato condiviso dietro le quinte, Wuille ha detto che ora lo sta pubblicando nella mailing list perché ha ormai raggiunto "una fase in cui vorrei che ricevesse più attenzione".

Tornando un BIT' indietro, "Script" è il linguaggio di smart contracting in Bitcoin, che consente agli utenti di specificare determinate condizioni che devono essere soddisfatte prima che il Bitcoin possa essere speso. Ad esempio, i fondi sono bloccati fino a un certo momento prima che possano essere spesi. Oppure, due persone devono firmare una transazione prima che il denaro possa essere spostato, un concetto chiamato "multi-sig".

Questa programmabilità è una novità quando si parla di denaro digitale, poiché prima di Bitcoin T era possibile implementare tali regole senza affidarsi a una banca o a un intermediario simile.

"Mini-copione," d'altro canto, si basa su questo linguaggio di programmazione, migliorandolo in diversi modi. ONE è che è un BIT' più facile da guardare e ragionare, come ha sostenuto Wuille con un esempio che "ciò consente ad A di prendere le monete in qualsiasi momento e a B dopo [ONE] giorno."

Ecco come queste regole vengono implementate nello script di Bitcoin:

OP_CHECKSIG OP_IFDUP OP_NOTIF OP_DUP OP_HASH160 <hash160(B)>

OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF

Quindi, la stessa cosa in Minscript:

o_d(c:pk(A),e_v(vc:pk_h(B),più vecchio(144)))

Miniscript si basa su Script ed è in grado di "compilare" il linguaggio nativo di Bitcoin.

Il nuovo linguaggio sta riscuotendo l'applauso degli sviluppatori della comunità. Ad esempio, l'ingegnere dei lampioni di Blockstream Rusty Russell,twittato: "Questa sarà ONE di quelle tecnologie del tipo 'Come diavolo abbiamo fatto prima?!'. Poco sexy e vitale."

Ci sono molti potenziali casi d'uso, come rendere più semplice l'implementazione di script complessi in un portafoglio, come ha twittato Eric Lombrozo. O, come ha detto l'educatore Bitcoin Jimmy Song descritto, potrebbe addirittura essere utilizzato per rafforzare la rete Lightning.

Considerando la questione nel contesto più ampio dei linguaggi blockchain, Song ha commentato che il linguaggio per contratti intelligenti differisce dal linguaggio Solidity di Ethereum, perché mentre Ethereum consente di scrivere molti più tipi di contratti intelligenti, Miniscript in realtà ne riduce le possibilità.

Song sostiene che questa soluzione è migliore perché riduce la "complessità" e la "superficie di attacco".

Questa versione include due implementazioni funzionanti, nei linguaggi di programmazione C++ e Rust, che Wuille ha definito "lavori in corso", aggiungendo:

"Attraverso test randomizzati su larga scala abbiamo la certezza che la progettazione del linguaggio e i testimoni associati siano compatibili con le regole di consenso e standardizzazione esistenti."

Immagine di Wuille tramite gli archivi CoinDesk