ERŠEK, M. Bezpečné a efektivní uchování stavu v smart kontraktových platformách založených na Ethereu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.

Posudky

Posudek vedoucího

Homoliak, Ivan

Prácu hodnotím stupňom A (výborne) pretože študent primerane pracoval celý akademický rok, vzniknuté problémy riešil aj samostatne aj s využitím konzultácií. Dosiahnuté výsledky plánujeme opublikovať.

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Informace k zadání Zadanie hodnotím ako nadpriemerne obtiažne a z môjho pohľadu bolo splnené vo všetkých bodoch. Menšiu výhradu mám k tomu, že sa nestihla potenciálna implementácia paralelizácie spracovania transakcií. Táto je však netriviálna vzhľadom na to, že sa študent rozhodol prijať výzvu a použiť ako základ reálnu implementáciu Ethereum full node, ktorú ďalej modifikoval a rozširoval. Táto implementácia obsahuje 300k+ riadkov kódu. Na druhej strane študent prejavil záujem o ďalšiu prácu na tejto téme aj v potenciálnom doktorskom štúdiu.
Práce s literaturou Študent si študijné pramene získaval samostatne na základe vlastného uváženia ale aj na základe doporučení vedúceho.
Aktivita během řešení, konzultace, komunikace Aktivita behom tvorby práce bola na primeranej úrovni. Na schôdzky chodil študent pripravený a priebežne podával informácie o stave práce. Na pripomienky študent vždy reagoval. 
Aktivita při dokončování Práca bola dokončená s predĺžením o týždeň, vhľadom na to, že študent mal aj iné povinnosti, ktoré vyplývali s absolvovania pobytu programu Erasmus v Portugalsku. Ďalším prvkom, ktorý prispel k zvýšenej časovej aj kvalitatívnej náročnosti práce bolo rozširnie zdrojových kódov reálnej implementácie Ethereum full node. 
Publikační činnost, ocenění Výsledky plánujeme opublikovať na vedeckej konferencii, keďže očakávame, že paralelné spracovanie, ktoré vhodný návrh práce umožnil, prinesie zvýšenie priepustnosti transakcií, čo je jedným s najväčších problémov súčasných blockchainov.
Navrhovaná známka
A
Body
90

Posudek oponenta

Perešíni, Martin

Študent úspešne splnil všetky povinné body zadania, s výnimkou neimplementovania paralelizácie transakcií. Práca dosahuje vysokú kvalitu z hľadiska rozsahu, úpravy textu a prevedenia. Zvlášť oceňujem, že práca bola napísaná v anglickom jazyku a jazyková úroveň písaného textu je dobrá. Dané riešenie a implementácia má určite potenciálne využitie, či už z akademického hľadiska alebo v oblasti komerčného riešenia ako vylepšený klient pre EVM kompatibilné platformy. Celkovo hodnotím výsledok ako nadpriemerný a navrhujem študentovi známku A .

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Náročnost zadání Diplomová práca sa zameriava na efektívne uchovávanie stavov v EVM kompatibilných blockchainových platformách, ktoré využívajú momentálne Merkle Patricia Tries (MPT). Hodnotím túto prácu ako náročnú , pretože študent sa musel dôkladne oboznámiť s princípmi blockchain technológií, smart kontraktov, podrobným fungovaním EVM a spôsobom uchovávania stavov (account states) na daných platformách. Navyše, študent musel navrhnúť vylepšujúce riešenie daného problému a implementovať ho.
Rozsah splnění požadavků zadání Zadanie je úspešne splnené, s minimálnou výhradou (paralelizácia vykonávania transakcií a aktualizácia stavov bola len teoreticky vypočítaná a simulačne prezentovaná). Študent dôkladne analyzoval danú problematiku, oboznámil sa s relevantnými prácami a navrhol spôsob riešenia. Jeho riešenie sa zameriava na návrh takzvaného PMPT (paralel MPT) a jeho porovnanie s Verkle stromom a Layered MPT. Študent tento koncept úspešne implementoval a následne zmeral vlastnosti daného riešenia, porovnal ich s existujúcimi riešeniami a diskutoval o súvisiacich problémoch. Oceňujem aj skutočnosť, že práca je napísaná v anglickom jazyku a plánuje sa jej zverejnenie vo forme akademickej publikácie.
Rozsah technické zprávy Rozsah technickej správy sa pohybuje okolo 80 normostrán, čo je v obvyklom rozmedzí. V technickej správe sú uvedené dostatočné a relevantné informácie.
Prezentační úroveň technické zprávy 90 Práca disponuje logickou štruktúrou a správne zvoleným poradím kapitol, a jej štýl je vhodný. Celkovo je napísaná zrozumiteľne pre čitateľa. Mierne kritické pripomienky sa týkajú kapitoly vyhodnotenie výsledkov, ktorá by mohla ísť viac do detailov a rozšíriť ich. Taktiež mi chýba väčší dôraz na prezentáciu dosiahnutých výsledkov, čo by pomohlo zdôrazniť jedinečnosť a odlišnosť navrhnutého riešenia, a zhrnutie dôležitých záverov vyplývajúcich z týchto výsledkov.
Formální úprava technické zprávy 90 Text práce je napísaný v angličtine . Jazyková úroveň práce je dobrá. Z typografického hľadiska nemám k práci žiadne výhrady.
Práce s literaturou 85 Študent využíva relevantné zdroje a informácie, pričom čerpá z webových stránok, dostupných príručiek na internete a odbornej literatúry. Jediným mínusom, ktorý vidím, je, že citácie by mohli byť viac zamerané na odbornejšiu literatúru a nie len prevažne internetové zdroje (ako sú blogy). Pravda, pri tejto problematike existuje obmedzené množstvo odborných článkov, a preto je táto skutočnosť pochopiteľná a nemusí byť nutne negatívom.
Realizační výstup 90 Študent úspešne implementoval navrhnuté riešenie PMPT pre efektívne uchovávanie stavov v EVM platformách. Okrem toho vykonal niekoľko meraní, kde testoval vhodnú parametrizáciu PMPT (N=1,2,3) a teoreticky dokázal redukovať veľkosť dôkazu o ~30% v porovnaní s MPT. Študent tiež teoreticky simuloval prístupy (paralelizáciu) transakcií k účtom a pri správne nastavených podmienkach odhadol, že počet konfliktných transakcií, ktoré nemožno vykonávať súbežne, je približne ~4%. Okrem toho študent diskutoval a porovnal svoje riešenie s inými alternatívnymi riešeniami. Samotný kód implementácie vyzerá byť v poriadku.
Využitelnost výsledků Výsledky tejto práce pravdepodobne budú využité a zdokonalené v budúcnosti. Je potrebné rozšíriť riešenie o paralelné spracovanie transakcií. Študent zároveň plánuje postupne zlepšovať implementáciu. Táto práca by taktiež mohla poslúžiť ako základ pre odbornú publikáciu.
Navrhovaná známka
A
Body
90

Otázky

eVSKP id 149021