Thesis Details

Simulator for Verifying the Properties of DAG-Based Consensus Protocols

Bachelor's Thesis Student: Hladký Tomáš Academic Year: 2021/2022 Supervisor: Malinka Kamil, Mgr., Ph.D.
Czech title
Simulátor pro ověření vlastností DAG-based consensus protokolů
Language
English
Abstract

In recent years, blockchain has received significant attention in the research community. Since then, several submissions have been proposed to respond to the Proof-of-Work blockchains throughput problem. We study existing Directed Acyclic Graph (DAG) blockchain designs that propose to solve this problem, especially protocols PHANTOM and its optimization GHOSTDAG. They utilize a Bitcoin protocol and propose a random transaction selection, resulting in increased transaction throughput. However, it has been proved by a simulation that actors that use the random transaction selection strategy have less profit than actors who do not follow the protocol and select transactions rationally (i.e., most profitable). That proof has been made on a small network of ten nodes with a circle topology. This article aims to extend, optimize, and automate an existing blockchain simulator. We implement a Bitcoin-like network topology with realistic block propagation latency. Furthermore, we optimize the simulator to run more simulations in parallel and faster, including automation tools that can modify input configurations, perform a combination of runs on multiple CPU cores based on input parameters, and analyze profits and transaction collisions. Finally, we perform experiments to verify malicious actors' advantages in a Bitcoin-like network and create a payoff function to punish this behavior.

Keywords

simulator, DAG-based consensus protocol, blockchain, optimizations, payoff function, transaction throughput

Department
Degree Programme
Information Technology
Files
Status
defended, grade A
Date
14 June 2022
Reviewer
Committee
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT), předseda
Malinka Kamil, Mgr., Ph.D. (DITS FIT BUT), člen
Milet Tomáš, Ing., Ph.D. (DCGM FIT BUT), člen
Strnadel Josef, Ing., Ph.D. (DCSY FIT BUT), člen
Citation
HLADKÝ, Tomáš. Simulator for Verifying the Properties of DAG-Based Consensus Protocols. Brno, 2022. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2022-06-14. Supervised by Malinka Kamil. Available from: https://www.fit.vut.cz/study/thesis/24643/
BibTeX
@bachelorsthesis{FITBT24643,
    author = "Tom\'{a}\v{s} Hladk\'{y}",
    type = "Bachelor's thesis",
    title = "Simulator for Verifying the Properties of DAG-Based Consensus Protocols",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2022,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/thesis/24643/"
}
Back to top