prikaz prve stranice dokumenta Formalno modeliranje procesa nadogradnje konsenzusa u kriptografskom lancu blokova
No public access
master's thesis
Formalno modeliranje procesa nadogradnje konsenzusa u kriptografskom lancu blokova
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2021. urn:nbn:hr:168:626047
Rupić, Kristijan
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Rupić, K. (2021). Formalno modeliranje procesa nadogradnje konsenzusa u kriptografskom lancu blokova (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:626047

Rupić, Kristijan. "Formalno modeliranje procesa nadogradnje konsenzusa u kriptografskom lancu blokova." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2021. https://urn.nsk.hr/urn:nbn:hr:168:626047

Rupić, Kristijan. "Formalno modeliranje procesa nadogradnje konsenzusa u kriptografskom lancu blokova." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2021. https://urn.nsk.hr/urn:nbn:hr:168:626047

Rupić, K. (2021). 'Formalno modeliranje procesa nadogradnje konsenzusa u kriptografskom lancu blokova', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 23 November 2024, https://urn.nsk.hr/urn:nbn:hr:168:626047

Rupić K. Formalno modeliranje procesa nadogradnje konsenzusa u kriptografskom lancu blokova [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2021 [cited 2024 November 23] Available at: https://urn.nsk.hr/urn:nbn:hr:168:626047

K. Rupić, "Formalno modeliranje procesa nadogradnje konsenzusa u kriptografskom lancu blokova", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2021. Available at: https://urn.nsk.hr/urn:nbn:hr:168:626047

Metadata
TitleFormalno modeliranje procesa nadogradnje konsenzusa u kriptografskom lancu blokova
Title (english)Formally modelling soft-forks in blockchains
AuthorKristijan Rupić
MentorAnte Đerek (mentor)
Committee memberAnte Đerek (član povjerenstva)
Committee memberMarin Golub (član povjerenstva)
Committee memberLeonardo Jelenković (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2021-07-02, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
Kriptografski lanac blokova (engl. blockchain) je raspodijeljena baza podataka koja koristeći kriptografiju i protokole raspodijeljenog konsenzusa osigurava integritet i neporecivost pohranjenih informacija. Nepažljive promjene pravila konsenzusa u takvom sustavu mogu uzrokovati raspad mreže pa ih je kako bi se to izbjeglo poželjno implementirati kao takozvano meko račvanje (engl. soft-fork). U sklopu diplomskog rada je izrađen formalan model soft-forkova u kriptografskim lancima blokova u interaktivnom asistentu za dokazivanje Coq. Na temelju definicija izrađen je jednostavan programski okvir za olakšan razvoj formalno verificiranih soft-forkova, te primijenjen na postojeći model sustava Bitcoin s ciljem modeliranja i pokušaja dokaza ispravnosti soft-forka opisanog u BIP 34.
Abstract (english)
Blockchains are distributed databases which, using cryptography and distributed consensus protocols ensure the integrity and indisputability of stored information. Careless changes of the consesus rules of such systems can cause the network to break apart; in order to avoid that it is desirable to implement these changes as soft-forks. In this thesis a formal model of blockchain soft-forks is developed in the interactive proof assistant Coq. Based on these definitions a simple framework is built with the purpose of enabling simplified development of formally verified soft-forks, and applied to an existing model of the Bitcoin system with the purpose of modelling and proving correct the soft-fork described in BIP 34.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:626047
Study programmeTitle: Computing
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
Type of resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2023-01-13 13:44:31