Generování smart kontraktů v jazyce Plutus z modelů DasContract

Abstract

Tato práce zkoumá Cardano blockchain, jeho programovací jazyk Plutus a možnosti generování chytrých kontraktů na Cardano blockchainu z částečně vizuálního modelovacího jazyka DasContract. Generátor chytrých smluv, běžící na blockchainu Cardano, má potenciál tvořit decentralizované, autonomní, bezpečné a elektronické kontrakty. Uživatelé se již nebudou muset zabývat nezajímavým kódem a složitostmi jazyka Plutus. Stačí se zaměřit na tvorbu robustních, nechybových a zřetelně fungujících chytrých kontraktů. Chytré kontrakty dělají z centrálních autorit zbytečné prostředníky a pozitivně ovlivňují právní systémy i naši společnost jako takovou. V této práci je implementován prototyp generátorů chytrých kontraktů v jazyce Plutus. Prototyp prošel analýzou, návrhem, implementací a otestováním. Zároveň byl navržen a vytvořen konkrétní příklad chytrého kontraktu, schopného na nějaký čas zmrazit finanční prostředky, jako demonstrace schopností Plutus generátoru. Zdrojový kód generátoru je veřejně dostupný jako open source pro podporu dalšího výzkumu. Tato práce nakonec shrnula, co Plutus generátor umí, na jaké problémy se narazilo, a poskytuje návrhy na další funkčnosti pro studii a výzkum.

This thesis explores the Cardano blockchain, its native functional language Plutus, and the possibilities to generate Cardano smart contracts from the semi-visual smart contract modeling language DasContract. The Cardano smart contract generator has the potential to generate decentralized, autonomous, and secure electronic contracts. Users may stop caring about boilerplate code or complex insights of the Plutus language and start developing robust, less error-prone, and less ambiguous smart contracts. Such contracts may remove the need for central authorities and positively impact our juridical system and society. In this thesis, a proof-of-concept implementation of the Plutus smart contract generator has been analyzed, designed, implemented, and tested. A case study of a funds locking contract has been created to demonstrate the capabilities of the Plutus contract generator. The generators' source code is publicly available to aid further research. This thesis summarized implemented features of the Plutus generator, highlighted problematic areas, and proposed additional features to be studied.