Student si samostatně vyhledal 31 zdrojů, mezi nimiž převažuje vývojářská dokumentace Bitcoinu, BIP specifikace a přímé odkazy do zdrojového kódu Bitcoin Core. Vzhledem k povaze tématu, kde jsou primárním zdrojem pravdy referenční implementace a komunitní návrhy, je převaha online zdrojů přirozená. Nechybí ani recenzované publikace, zejména práce Neudeckera a kolektivu o časové analýze a charakterizaci bitcoinové sítě, ze kterých student konzistentně čerpá při návrhu i validaci simulačního modelu. Uvítal bych širší zařazení akademických prací k modelování P2P sítí nad rámec dvou citovaných zdrojů ke scale-free a small-world sítím.

Práce byla dokončena v dostatečném předstihu před termínem odevzdání a její finální obsah byl konzultován. Student měl prostor pro doplnění validační kapitoly 4.7 a srovnání simulace s daty platformy Bitnodes. Ne všechny stylistické připomínky byly do odevzdané verze zapracovány, v textu zůstaly drobné formulační nedostatky (například nedokončená věta v úvodu sekce 3.3 o referenční verzi klienta).

Technická zpráva má logickou strukturu. Kapitoly na sebe navazují v přirozeném pořadí: popis bitcoinové P2P sítě, návrh simulačního modelu, implementace a vyhodnocení experimentů. Pozitivně hodnotím zařazení validační části a přehledné členění práce.

Prezentační úroveň snižuje způsob výkladu. Text obsahuje dlouhé věty, ve kterých se hlavní sdělení ztrácí. 

Práce také používá podmiňovací a neurčitý styl formulací, například „mohlo by“, „bylo by možné“, „pravděpodobně“ nebo „přibližně“. Tento styl oslabuje přesnost technického výkladu. 

Přehlednosti by prospělo nahrazení výrazů typu „několik“, „nejčastěji“, „vyšší počet“ nebo „velké množství“ konkrétní hodnotou, intervalem nebo výčtem.

Celkově je struktura práce vhodná, ale čitelnost a přesvědčivost textu snižuje rozvláčný styl a nedostatečně přesná formulace některých tvrzení.

Realizační výstup považuji za kvalitní. Student vytvořil simulační model v prostředí OMNeT++, který zahrnuje generování síťové topologie, bitcoinové a monitorovací uzly, model šíření transakcí, sběr dat a analytické skripty. Řešení je parametrizovatelné a umožňuje provádět experimenty s různými velikostmi sítě, počty spojení a konfiguracemi monitorovacích uzlů.

Pozitivně hodnotím validaci základních vlastností modelu, zejména kontrolu generovaného zpoždění a porovnání části výsledků s dostupnými daty z reálné bitcoinové sítě. Zjednodušení modelu pouze na šíření zpráv typu inv považuji vzhledem k cílům práce za přijatelné.

Za slabší místo považuji charakterizaci vygenerované sítě. Práce uvádí, že topologie a stupeň uzlů významně ovlivňují rychlost šíření zpráv, ale u vygenerovaných sítí nejsou systematicky vyhodnoceny topologické metriky, například rozdělení stupňů, průměrná délka cest nebo maximální vzdálenost mezi uzly. Zároveň není přesněji definováno, podle jakých vlastností je simulovaná síť považována za podobnou reálné bitcoinové síti.

Celkově jde o funkční a použitelný výstup odpovídající zadání, jehož vypovídací hodnota je však omezena mírou abstrakce a neúplným vyhodnocením vlastností generované topologie.

Evaluation level: zadání splněno

Požadavky zadání považuji za splněné. Student prostudoval principy fungování bitcoinové P2P sítě, popsal relevantní zprávy protokolu, mechanismus propagace transakcí i vliv topologie na šíření informací. Dále navrhl a implementoval simulační model v prostředí OMNeT++, včetně generování topologie, bitcoinových a monitorovacích uzlů, sběru dat a následného vyhodnocení. Práce obsahuje experimenty s různými velikostmi sítě, počty spojení, rychlostí generování transakcí a konfiguracemi monitorovacích uzlů. Výsledky jsou diskutovány a částečně porovnány s dostupnými empirickými daty z reálné bitcoinové sítě. Jako drobné rozšíření oproti základnímu zadání lze vnímat část věnovanou deanonymizačním technikám, tedy pokusu o identifikaci autorského uzlu transakce na základě dat získaných monitorovacími uzly.

Výběr literatury je tematicky relevantní. Student využívá oficiální dokumentaci Bitcoinu, zdrojové kódy Bitcoin Core, dokumentaci OMNeT++, BIP návrhy a odborné práce zaměřené na časovou analýzu a charakterizaci bitcoinové P2P sítě. Zdroje tedy pokrývají protokolovou i simulační část zadání.

Slabinou je formální zpracování bibliografických citací. U řady online zdrojů chybí autor nebo jsou uvedené údaje neúplné. U autora Andráse Vargy je v seznamu literatury obrácené jméno a příjmení. U zdroje BitInfoCharts chybí úplnější bibliografické údaje, odkaz, označení online zdroje i datum citování.

Část analýz je opřena o starší studie, zejména Timing Analysis for Inferring the Topology of the Bitcoin Peer-to-Peer Network z roku 2016 a Characterization of the Bitcoin Peer-to-Peer Network (2015-2018). Tyto práce jsou pro téma kvalitní a relevantní, ale u parametrů, které se v čase mění, například rychlost propagace transakcí, velikost sítě nebo síťové parametry uzlů, by bylo vhodné doplnit aktuálnější zdroje nebo zdůvodnit, proč jsou starší hodnoty stále použitelné.

Celkově student s literaturou pracuje dostatečně, ale formální nedostatky citací a omezené využití aktuálních zdrojů snižují hodnocení této části.