Generování smart kontraktů v jazyce Plutus z modelů DasContract
Generation of Plutus Smart Contracts from DasContract models
Typ dokumentu
diplomová prácemaster thesis
Autor
Martin Drozdík
Vedoucí práce
Skotnica Marek
Oponent práce
Pergl Robert
Studijní obor
Softwarové inženýrstvíStudijní program
InformatikaInstituce přidělující hodnost
katedra softwarového inženýrstvíPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
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.
Kolekce
- Diplomové práce - 18102 [942]
Související záznamy
Zobrazují se záznamy příbuzné na základě názvu, autora a předmětu.
-
Použití blockchain smart kontraktů v e-commerce
Autor: Šimon Urbánek; Vedoucí práce: Skotnica Marek; Oponent práce: Pavlíčková Petra
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-03)Diplomová práca sa zaoberá využitím technológie blockchain a jeho smart contract-u v eCommerce sfére. Práca vysvetľuje základné pojmy k pochopeniu problematiky blockchain-u v jeho Ethereum implementácií. Veľký dôraz kladie ... -
Příprava nabídky do veřejné soutěže a její posouzení před realizační fází z finančního hlediska
Autor: Zeman Michal; Vedoucí práce: Prostějovská Zita; Oponent práce: Tománková Jaroslava
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-02-19)Tato diplomová práce je zaměřena na nabídkovou přípravu do veřejné zakázky malého rozsahu na stavební práce pro malé a střední podniky, na zhodnocení výhodnosti nabídky před realizační fází a na hledání finančních úspor v ... -
Open-source prostředí pro návrh právních procesů za použití frameworku Blazor
Autor: Martin Drozdík; Vedoucí práce: Skotnica Marek; Oponent práce: Pergl Robert
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-19)Tato práce se zabývá průzkumem frameworku Blazor a tvorbou prototypu editoru chytrých blockchain smluv. Editor chytrých smluv by mohl být schopen tvořit decentralizované, autonomní a zabezpečené elektronické smlouvy, a to ...