Scrivere contratti intelligenti Bitcoin sta per diventare più semplice con il nuovo linguaggio di programmazione

Gli smart contract Bitcoin sono una bestia difficile da domare, ma un nuovo linguaggio li sta rendendo più facili da scrivere, democratizzandoli in un certo senso.

Gli smart contract possono (tra le altre cose) consentire agli utenti di impostare regole aggiuntive sui propriBitcoin, che richiede che queste regole siano rispettate prima che i fondi possano essere sbloccati.Ministero, creato dallo sviluppatore Bitcoin Nadav Ivgi, è un nuovo linguaggio di programmazione che semplifica la creazione di questo tipo di contratti da parte degli sviluppatori, consentendo loro di integrarli in modo più fluido nei portafogli Bitcoin e in altre app.

ONE degli obiettivi di Minsc è rendere gli smart contract "più accessibili a più persone", ha detto Ivgi a CoinDesk. Ciò significa che sia gli sviluppatori che gli utenti possono trarre vantaggio dagli strumenti creati dagli sviluppatori.

Livello ONE: contratti intelligenti "Script"

Gli smart contract sono stati descritti per la prima volta da Nick Szabo negli anni '90. Ha teorizzato un modo per automatizzare i contratti legalmente vincolanti stipulati tra persone.

Esempi tipici di contratti intelligenti su Bitcoin includono non consentire la spesa di 0,1 BTC fino al 2021 o richiedere a più di ONE persona di firmare una transazione prima che il denaro possa effettivamente muoversi. I contratti intelligenti alimentano anche i secondi livelli sul protocollo Bitcoin , come Lightning Network, che potrebbe aiutare Bitcoin a espandersi per raggiungere più utenti.

Finora, Bitcoin Script è il linguaggio che rende possibili questi contratti.

Il problema è che è complicato lavorare con Bitcoin Script. È diverso da altri linguaggi di programmazione più popolari a cui sono abituati gli sviluppatori, il che rende più difficile comprenderlo e comporre. Questa mancanza di comprensione rende anche più facile commettere errori, mettendo potenzialmente a rischio Bitcoin .

La scarsa maneggevolezza di Bitcoin Script è stato ONE dei fattori che hanno spinto Vitalik Buterin a progettare la piattaforma Ethereum in primo luogo. Solidity, il primo linguaggio per smart contract di Ethereum, è stato progettato per essere molto più facile da leggere e quindi da usare per gli sviluppatori. E ha dato i suoi frutti: Ethereum è cresciuta fino a diventare la piattaforma di riferimento per gli sviluppatori di smart contract.

Continua a leggere: Come funzionano gli smart contract Ethereum ?

Livello due: Miniscript

Miniscript, pubblicato nel 2019 da Pieter Wuille, Andrew Poelstra e Sanket Kanjalkar presso Blockstream Research,si sgretola su questo problema per Bitcoin.

Continua a leggere: Pieter Wuille svela 'Miniscript', un nuovo linguaggio per contratti intelligenti per Bitcoin

"ONE ragioni per cui non siamo neanche lontanamente vicini a sfruttare appieno il potenziale di Script è che in realtà costruire script per attività non banali è macchinoso. È difficile verificarne la correttezza e la sicurezza, e ancora più difficile trovare il modo più economico per scrivere le cose", hanno scritto Wuille e Poelstra in un post del blogintroducendo Miniscript nel settembre dell'anno scorso.

Miniscript offre un linguaggio più facile da comprendere rispetto a Script, con garanzie di sicurezza integrate.

Inoltre, se ci sono due modi diversi di scrivere lo stesso contratto in Script, MiniScript è in grado di valutare ONE sia "più economico".

Alla fine il computer compila (o converte) Miniscript in Bitcoin Script, che è il codice di cui ha bisogno per bloccare con successo i veri Bitcoin con queste restrizioni aggiuntive.

Livello tre: Minsc

Minsc è il terzo livello della CAKE. Si basa su Miniscript, sfruttandone le proprietà di sicurezza ma creando un linguaggio che è ancora più facile da leggere e su cui riflettere per gli sviluppatori rispetto a Miniscript.

"L'attenzione di Minsc è rivolta all'usabilità e a rendere più semplice l'espressione, la comprensione e il ragionamento sugli script, utilizzando una sintassi semplice e familiare. Aggiunge funzionalità di praticità aggiuntive e 'zucchero sintattico'", ha detto Ivgi a CoinDesk.

"Zucchero sintattico" è un termine di programmazione che indica l'aggiunta a un linguaggio di un metodo più semplice e rapido per eseguire un'attività solitamente più difficile da scrivere.

Quindi Minsc T aggiunge nulla di nuovo a Script, ma lo rende semplicemente più facile da usare.

"T ti consente di fare nulla che Miniscript T faccia già, in modo simile a Miniscript stesso in relazione a Bitcoin Script", ha affermato Ivgi.

Smart contract Bitcoin e Minsc: quale sarà il loro futuro?

Minsc potrebbe semplificare per gli sviluppatori l'aggiunta del supporto per vari contratti intelligenti. "Il pubblico di riferimento principale è costituito da sviluppatori che cercano di creare app che utilizzano Bitcoin Script in modi interessanti e avanzati", ha aggiunto Ivgi.

Continua a leggere: RIF lancia la rete "Layer 3" per scalare contratti intelligenti e token basati su Bitcoin

Se un numero maggiore di sviluppatori riuscisse ad aggiungere supporto per questi contratti intelligenti, un numero maggiore di utenti (forse anche inconsapevolmente) sarebbe in grado di utilizzare anche questi contratti più complessi.

"Inizialmente, tuttavia, prevedo che l'uso sarà principalmente sperimentale e didattico. Minsc può essere un ottimo strumento per le persone che cercano di acquisire una migliore comprensione di Bitcoin Script, così come per gli educatori che insegnano gli aspetti tecnici di Bitcoin", ha affermato Ivgi.

Ivgi sta ancora aggiungendo altre funzionalità al linguaggio. È probabile che le capacità di smart contracting di Bitcoin si espandano ulteriormente,come con Taproot, un probabile upgrade all'orizzonte di Bitcoin. Minsc sarà lì per rendere questi contratti più facili da creare.