Language properties for smart contracts

Abstract

Blockchain ist mittlerweile schon quer durch die Gesellschaft fast jedem ein Begriff. Die Blockchain-Technologie, sprich was die Blockchain genau ist, wie sie aufgebaut ist und verwendet werden kann, ist hingegen für viele noch ein Mysterium. Smart Contracts sind Computerprogramme, die auf der Blockchain-Technologie basieren und diese Computerprogramme werden mit Programmiersprachen entwickelt. Stellt man sich die Frage, welche Programmiersprache man am Besten verwendet, so merkt man relativ schnell, dass die Auswahl an verfügbaren Programmiersprachen für Smart Contracts enorm groß ist und kontinuierlich größer wird.Diese Arbeit versucht die Frage zu klären, welche spezifischen Eigenschaften eine Sprache für die Entwicklung von Smart Contracts besitzen muss. Zuerst werden allgemeine Anforderungen an eine Sprache für die Entwicklung von Smart Contracts evaluiert. Im zweiten Schritt werden die identifizierten Anforderungen mit Spracheigenschaften in Beziehung gesetzt, damit geprüft werden kann, ob und inwieweit eine gewählte Programmiersprache für die Entwicklung von Smart Contracts geeignet ist.Mit den Erkenntnissen dieser Arbeit wird am Beispiel der Programmiersprache Solidity, welche als die de facto Standardsprache für Smart Contracts gilt, analysiert, wie geeignet die Sprache für die Entwicklung von Smart Contracts tatsächlich ist.

Blockchain has become a household name throughout society. The Blockchain technology, meaning what the Blockchain exactly is, how it is structured and how it can be used, is however still a mystery for many. Smart Contracts are computer programs based on the Blockchain technology and these computer programs are developed with programming languages. If one asks oneself the question, which programming language is best to use, one will notice relatively quickly that the selection of available programming languages for Smart Contracts is enormous and continuously growing.This thesis attempts to answer the question which specific characteristics a language must possess for the development of Smart Contracts. At first, general requirements for a language for the development of Smart Contracts are evaluated. In a second step, the indentified requirements are put in relation to language properties in order to check if and to what extent a chosen programming language is suitable for the development of Smart Contracts.The findings of this work are used to analyse how suitable the programming language Solidity, which is considered the de facto standard language for Smart Contracts, actually is for the development of Smart Contracts.