Blockchains and the evolution of smart contract languages: an overview

Abstract

Deze thesis geeft een overzicht van drie blockchain systemen en de evolutie van de technologie erachter. De drie blockchain-systemen die in deze thesis worden gepresenteerd zijn Bitcoin, Ethereum en Cardano. Bitcoin is de pionier van de blockchaintechnologie en de meest bekende toepassing. De programmeertaal van Bitcoin, Script, heeft opzettelijk beperkte mogelijkheden, maar toonde als eerste aan dat programmeerbare transacties mogelijk zijn. De volgende blockchain, Ethereum, vaak beschreven als een “wereldcomputer”, is een blockchain voor algemene doeleinden. Ethereum is volledig programmeerbaar en de meest gebruikte programmeertaal is Solidity. In tegenstelling tot Script is Solidity een high-level taal om complexere smart contracts voor de Ethereum blockchain te programmeren. Deze veelzijdigheid heeft echter ook nadelen, het kunnen uitdrukken van complexe programma’s betekent ook dat beveiliging een probleem is. De laatste blockchain die wordt besproken is Cardano. Cardano is een research-first blockchainsysteem en probeert de gulden middenweg te vinden tussen Bitcoin en Ethereum. Waar Bitcoin erg veilig is door de beperkte programmeerbaarheid en Ethereum een geavanceerde programmeeromgeving biedt, probeert Cardano het beste van beide werelden te combineren. De programmeertalen die hier worden besproken zijn Plutus en Aiken. Beide talen zijn puur functionele talen die het veel gemakkelijker maken om smart contract te verifiëren voordat ze worden ingezet, wat de veiligheid verhoogt.