Met de introductie van Bitcoin is ook de smart contract programmeertaal ‘Script’ de wereld in gekomen. Met deze programmeertaal is het mogelijk voor ontwikkelaars om smart contracts te bouwen voor Bitcoin. Deze programmeertaal is echter niet makkelijk in gebruik en zelfs open voor interpretatie, wat natuurlijk niet de bedoeling is met code. Daarom is er het afgelopen jaar hard gewerkt aan een nieuwe programmeertaal: ‘Miniscript’ genaamd. Deze taal moet het hele proces van de ontwikkeling van smart contracts voor Bitcoin een stuk eenvoudiger maken.

Smart contracts voor Bitcoin

Smart contracts zijn een stuk code die functioneren als een online overeenkomst tussen twee mensen die elkaar niet daadwerkelijk ‘de hand hoeven te schudden’ om tot een afspraak te komen. In een smart contract worden voorwaarden geprogrammeerd waaraan bijvoorbeeld een transactie moet voldoen voordat de Bitcoin vrijgegeven wordt.

Zo zou je in theorie een smart contract kunnen ontwikkelen waarin staat dat jouw bitcoins pas over één jaar vrijgegeven worden. Ook kun je een contract zo instellen dat je minimaal van twee personen een goedkeuring, in de vorm van een  ‘signature’, nodig hebt voordat de Bitcoin verplaatst kan worden. In de praktijk zou je dit in feite kunnen gebruiken om bijvoorbeeld een spaarpot voor iemand te maken. Wanneer deze persoon 18 jaar wordt (dit is een voorwaarde van het contract) krijgt hij pas toegang tot de Bitcoin verbonden met het contract. Is de persoon nog geen 18? Dan is de voorwaarde niet gehaald en blijft de Bitcoin ‘onbereikbaar’.

In de praktijk is het echter moeilijk om dit met Bitcoin te doen. De programmeertaal die hiervoor gebruikt wordt is ‘Script’ en deze is beperkt in zijn functionaliteiten. Zo is het een ingewikkelde taal en bovendien multi-interpretabel. Dit betekent dat je door het rommelen met de code het contract kan laten geloven dat er aan een voorwaarde voldaan is terwijl dit eigenlijk niet het geval is. Je kunt je voorstellen dat wanneer het om veel geld gaat je dit absoluut wilt voorkomen.

Miniscript

Om de smart contract toepassingen van Bitcoin te verbeteren hebben programmeurs het afgelopen jaar gewerkt aan verbeteringen. Programmeurs Poelstra, Wuille en Kanjalkar hebben dit ontwikkeld in de vorm van ‘Miniscript’, een nieuwe programmeertaal en versimpelde versie van ‘Script’. In deze video op Youtube vind je een uitgebreide, technische uitleg over ‘Miniscript’ door Wuille.

Het grote probleem met veel Altcoins is tegenwoordig dat ze veel functionaliteiten toevoegen aan smart contracts die eigenlijk niet gebruikt worden. Al deze mogelijkheden maakt het onduidelijk om er mee te werken en zorgt ervoor dat het niet aantrekkelijk is om te gebruiken. Miniscript is daarom een ‘uitgeklede’ versie van het bestaande ‘Script’ geworden waar alleen de broodnodige functionaliteiten in worden ondersteund. Dit maakt het voor ontwikkelaars een stuk makkelijker om mee te werken en bovendien voorkomt het problemen met de code. De versimpelde code voorkomt de kans op menselijke fouten doordat een smart contract nu niet meer multi-interpretabel is.

Policy language

Miniscript maakt gebruik van een zogenaamde ‘policy language’. Dit is als het ware een zelfstandige programmeertaal waarin de voorwaarden van je smart contract ontwikkeld kunnen worden. Deze code kan vervolgens vertaald worden naar Miniscript en toegevoegd worden aan de Bitcoin blockchain zodat het in gebruik genomen kan worden. Dit wordt gedaan door een ‘compiler’ oftewel een programma dat code kan samenvoegen ontwikkeld door Wuille. Dit programma vertaald je nieuwe code automatisch naar Script en doet dit op de meest optimale manier.

Zoals genoemd is Script multi-interpretabel. Er zijn veel verschillende manieren om ‘if’ en ‘and’ aan te geven in de code. Deze mogelijkheden zijn er niet in ‘Miniscript’ en door je smart contract in deze taal te ontwikkelen voorkom je dat er meerdere wegen naar Rome zijn in je code. Met ‘Miniscript’ is er maar één voorwaarde die telt en hiervan kan niet afgeweken worden.

Wat betekent dit voor Bitcoin?

Er is al ongeveer een jaar gewerkt aan dit project en het is nog steeds gaande. Echter is het inmiddels in een dusdanig vergevorderd stadium dat het met de buitenwereld gedeeld mag worden om meer aandacht te krijgen. Dit soort ontwikkelingen zijn erg interessant, want het biedt veel mogelijkheden voor Bitcoin. Projecten als Ethereum worden nu veel gebruikt voor smart contract. Door deze ‘nieuwe’ functionaliteit wordt de drempel verlaagd voor ontwikkelaars om ook smart contracts te ontwikkelen voor Bitcoin zelf. Zodra Miniscript volledig in gebruik genomen kan worden kan dit dan ook in veel nieuwe toepassingen resulteren voor Bitcoin en dit is positief.