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.