Detail práce
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
V posledných rokoch sa vo výskumnej komunite venuje blockchainu významná pozornosť. Odvtedy bolo navrhnutých niekoľko návrhov na riešenie problému priepustnosti blockchainov založených na Proof-of-Work. V tejto práci študujeme existujúce návrhy blockchainu s acyklicky orientovaným grafom (DAG), ktoré navrhujú riešenie spomínaného problému, najmä protokol PHANTOM (a jeho optiamlizácia GHOSTDAG). Využívajú bitcoinový protokol a navrhujú náhodný výber transakcií, čo vedie k zvýšeniu priepustnosti transakcií. Simuláciou sa však dokázalo, že aktéri, ktorí využívajú stratégiu náhodného výberu transakcií, majú menší zisk ako aktéri, ktorí nedodržiavajú protokol a vyberajú transakcie racionálne (t.j. najziskovejšie). Tento dôkaz bol vykonaný na malej sieti desiatich uzlov s kruhovou topológiou. Cieľom tohto článku je rozšíriť, optimalizovať a automatizovať existujúci simulátor blockchainu. Implementujeme sieťovú topológiu podobnú bitcoinu s realistickou latenciou šírenia blokov. Okrem toho optimalizujeme simulátor tak, aby sme mohli spúšťať viac simulácií paralelne a rýchlejšie, vrátane automatizačných nástrojov, ktoré môžu upravovať vstupné konfigurácie, vykonávať kombináciu simulácii na viacerých jadrách CPU na základe vstupných parametrov a analyzovať zisky a kolízie transakcií. Nakoniec vykonáme experimenty na overenie výhod škodlivých aktérov v sieti podobnej Bitcoinu a vytvoríme výplatnú funkciu na potrestanie tohto správania.
simulátor, konsenzus protokol založený na štruktúre DAG, blockchain, optimalizácie, payoff funkcia, priepustnosť transakcií
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Cílem práce byl návrh a implementace simulátoru ověřujícího vlastnosti protokolů založených na DAG. Komise se seznámila s hodnocením vedoucího a oponenta práce. Na základě posouzení prezentace studenta, posudků práce a reakcí studenta na dotazy oponenta a v rámci obecné rozpravy se komise rozhodla práci hodnotit stupněm A.
- Aké nevýhody a slabiny má vaše riešenie pomocou indexu kolíznych transakcií?
- Je možné oklamať tento index?
- Jak snadné by bylo akcelerovat simulátor na GPU?
- Existují i jiné protokoly ve Vaší grafové acyklické reprezentaci než protokoly typu DAG?
Malinka Kamil, Mgr., Ph.D. (UITS FIT VUT), člen
Milet Tomáš, Ing., Ph.D. (UPGM FIT VUT), člen
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT), člen
@bachelorsthesis{FITBT24643, author = "Tom\'{a}\v{s} Hladk\'{y}", type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce", title = "Simulator for Verifying the Properties of DAG-Based Consensus Protocols", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2022, location = "Brno, CZ", language = "english", url = "https://www.fit.vut.cz/study/thesis/24643/" }