prikaz prve stranice dokumenta Formalno modeliranje transakcija kriptografskog lanca blokova
No public access
undergraduate thesis
Formalno modeliranje transakcija kriptografskog lanca blokova
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2019. urn:nbn:hr:168:720794
Rupić, Kristijan
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Rupić, K. (2019). Formalno modeliranje transakcija kriptografskog lanca blokova (Undergraduate thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:720794

Rupić, Kristijan. "Formalno modeliranje transakcija kriptografskog lanca blokova." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2019. https://urn.nsk.hr/urn:nbn:hr:168:720794

Rupić, Kristijan. "Formalno modeliranje transakcija kriptografskog lanca blokova." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2019. https://urn.nsk.hr/urn:nbn:hr:168:720794

Rupić, K. (2019). 'Formalno modeliranje transakcija kriptografskog lanca blokova', Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 28 December 2024, https://urn.nsk.hr/urn:nbn:hr:168:720794

Rupić K. Formalno modeliranje transakcija kriptografskog lanca blokova [Undergraduate thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2019 [cited 2024 December 28] Available at: https://urn.nsk.hr/urn:nbn:hr:168:720794

K. Rupić, "Formalno modeliranje transakcija kriptografskog lanca blokova", Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2019. Available at: https://urn.nsk.hr/urn:nbn:hr:168:720794

Metadata
TitleFormalno modeliranje transakcija kriptografskog lanca blokova
Title (english)Formally modelling blockchain transaction
AuthorKristijan Rupić
MentorAnte Đerek (mentor)
Committee memberAnte Đerek (predsjednik povjerenstva)
Committee memberMartin Tutek (član povjerenstva)
Committee memberDarijan Marčetić (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2019-07-12, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
Kriptografski lanac blokova (engl. blockchain) je raspodijeljena baza podataka koja omogućava neizmjenjivu i neporecivu pohranu zapisa bez potrebe za pouzdanim središnjim autoritetom uporabom kriptografije za osiguravanje podataka. Koristi se u implementaciji sustava poput kriptovaluta i pametnih ugovora (engl. smart contract) te stoga postoji potreba za visokom sigurnošću u ispravnost implementacije s ciljem garancije raznih sigurnosnih svojstava. Formalne metode nameću se kao nužan alat u specifikaciji i verifikaciji ovakvih sustava. U sklopu završnog rada izrađen je formalni model sustava transakcija kriptovalute Bitcoin u sustavu za dokazivanje Coq te napisan računalno provjeren dokaz nemogućnosti dvostrukog trošenja novca u sustavu.
Abstract (english)
Blockchain is a distributed database that allows for immutable and non-repudiable storage of records without need for a trusted central authority using cryptography for securing the stored data. It is used in implementations of systems such as cryptocurrencies and smart contracts and therefore requires high certainty in the correctness of implementation in order to guarantee various security-related properties. Formal methods arise as a crucial tool in the specification and verification of such systems. In this thesis a formal model of the cryptocurrency Bitcoin’s transaction system is developed in the Coq proof assistant and a machine-checked proof of the impossibility of double spending of money in the system is written.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:720794
Study programmeTitle: Computing
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva)
Type of resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2020-01-07 21:54:43