Was ist Marlowe?

Marlowe ist eine Programmiersprache für Finanzverträge, die es Nicht-Programmierern erleichtern soll, Finanzverträge wie Derivate, Kredite und andere Vereinbarungen zu schreiben. Es erleichtert Programmierern außerdem die formale Überprüfung der Korrektheit dieser Verträge.

Das Projekt wurde von Input-Output Hong Kong (IOHK) initiiert, dem Blockchain-Forschungs- und Entwicklungsunternehmen hinter Cardano.

Marlowe ist Teil der Bemühungen von IOHK, formale Methoden in die Smart-Contract-Programmierung einzuführen, unterscheidet sich jedoch von früheren Ansätzen dadurch, dass es speziell für den Einsatz in Finanzanwendungen entwickelt wurde. Um dies zu erreichen, studierten die Entwickler die Finanztheorie, insbesondere die Arbeit des mit dem Nobelpreis ausgezeichneten Ökonomen Kenneth Arrow, der einen Großteil des mathematischen Denkens hinter dem modernen Finanzwesen bahnte. Dies führte zu einer Reihe integrierter Abstraktionen, die auf realen Finanzkonzepten wie Zeit und Geld basierten, und nicht auf allgemeineren Konzepten wie Listen, Funktionen und Variablen, die in anderen Programmiersprachen zu finden sind.

Marlowe basiert auf einer Theorie von Finanzverträgen, die im Isabelle-Theorembeweis formalisiert wurden. Dies verleiht ihm mehrere einzigartige Funktionen, die in anderen Vertragssprachen nicht zu finden sind:

• Die Fähigkeit, über den erwarteten Wert von Verträgen nachzudenken.

• Die Fähigkeit, die Eigenschaften von Verträgen offiziell zu überprüfen.

Darüber hinaus können Marlowe-Verträge auf der Cardano-Blockchain ausgeführt werden. Benutzer können es live auf Playground ausprobieren, wodurch Benutzer Verträge modellieren und ausführen können, ohne Kenntnisse über Blockchain-Technologie oder Smart Contracts zu haben.

Marlowe wurde als einfaches und leistungsstarkes Tool für die Finanzmodellierung entwickelt. Die Syntax wurde so einfach wie möglich gehalten, sodass sie sowohl von Programmierern als auch von Nicht-Programmierern verwendet werden kann.

Marlowe kann für eine Reihe von Zwecken verwendet werden, eignet sich jedoch besonders für Folgendes:

• Erstellen interaktiver Finanzverträge

• Definieren von Spielen und Protokollen für Entscheidungsprozesse

• Simulation von Geschäftsprozessen, beispielsweise im Finanz- oder Versicherungsbereich

• Modellierung von Finanzmärkten

• Erforschung von Ideen in der Spieltheorie

Es funktioniert in einer Sandbox-Umgebung und ermöglicht es allen Arten von Entwicklern, intelligente Verträge auf Cardano zu schreiben.

Derzeit läuft Marlowe auf Cardano, ist aber nicht nur an Cardano gebunden. Zukünftig können damit auch Smart Contracts auf anderen Blockchains geschrieben werden.