Theses

Topics of master theses suitable for students of NIE-BLO. Contact Josef Gattermayer if interrested.

Bezpečnostní audit Ethereum projektu

Množství finančních projektů postavených čistě na technologii blockchain raketově roste, obor decentralizovaných financí (DeFi) je na vzestupu nejen kvůli kvantitativnímu uvolňování tradičních (fiat) měn. Problém je, že smart kontrakty jsou počítačový kód, který může obsahovat (a obsahuje) bugy. Kvůli decentralizované povaze není možné tento bug jednoduše opravit a jakmile je smart kontrakt spuštěn, je pod konstantním útokem hackerů. Proto existuje obor auditování smart kontraktů, aby se snížila pravděpodobnost hacknutí kontraktů. Vaším úkolem bude si takovýto audit zkusit na nějakém vzorovém smart kontraktu.

Pokyny:

Seznamte se s technologií Ethereum a programovacím jazykem Solidity.
Společně s vedoucím práce vyberte projekt přiměřeného rozsahu, proveďte jeho základní analýzu.
Proveďte lokální deployment projektu.
Doplňte existující testy ke zvýšení test coverage >90%.
Proveďte statickou analýzu kódu a kontrolu proti známým zranitelnostem.
Napište fuzzy testy pro parametry funkcí i pořadí volání funkcí.
Proveďte manuální code review.

Detektory zranitelností Ethereum projektů

V DeFi i dalších oblastech, kde je používán Ethereum blockchain, dochází stále k množství hackerských útoků. Jedním ze způsobů, jak těmto útokům zamezit, je pomocí statických analyzátorů kódu, které identifikují zranitelnosti například v rámci IDE nebo CI/CD procesu.

Wake [https://github.com/Ackee-Blockchain/wake] je open source nástroj usnadňující analýzu a vývoj kontraktů v jazyce Solidity. Jednou z jeho hlavních funkcionalit je modul pro detekci zranitelností a chyb využívající statické analýzy kódu. Modul poskytuje rozhraní, pomocí kterého je možné rozšířit nástroj Wake o další detektory. Detekované problémy jsou uživateli prezentovány ve formě textového výstupu v terminálu nebo ve vývojovém prostředí Visual Studio Code.

Pokyny:

Analyzujte existující detektory nástroje Wake včetně IR datového modelu, který se v detektorech využívá.
Po dohodě s vedoucím práce navrhněte a implementujte nové detektory chyb a zranitelností. Můžete implementovat větší množství jednodušších detektorů (např. dle https://swcregistry.io/), nebo navrhnout a implementovat méně netriviálních, např. s využitím strojového učení, analýzy velkých dat a dalších metodik.
Implementované detektory otestujte na vhodně vytvořených testovacích kontraktech i kontraktech nasazených na veřejném blockchainu.

On-chain reprezentace auditu v síti Solana

Cílem práce je seznámit se s blockchain sítí Solana a navrhnout a implementovat formát pro on-chain reprezentaci bezpečnostních auditů.

Pokyny:

Proveďte rešerši stávajících řešení a přístupů v jiných blockchain sítích (např. ERC-7512).
Seznamte se a popište nejdůležitější principy a programovací model sítě Solana (především data a executable accounts, PDAs apod.).
Navrhněte a implementujte:
- Vhodný formát pro on-chain reprezentaci auditů.
- Uživatelský explorer zobrazující stav auditů daných programů.
- SDK pro vytváření a čtení on-chain reprezentací auditů.
Diskutujte silné a slabé stránky vašeho řešení a případná rozšíření.

Použití strojového učení ve statickém bezpečnostním testování Ethereum smart kontraktů

Jsme již tam? Nahradí AI práci bezpečnostních inženýrů? Cílem práce je to zjistit na návrhu jednoduchého detektoru.

Pokyny:

Proveďte rešerši stávajícího výzkumu a přistupů ML v kontextu SAST.
Navrhněte řešení detekce jedné zranitelnosti pomocí ML.
Připravte training data pro jednu konkrétní zranitelnost.
Implementujte a natrénujte několik modelů.
Porovnejte a zhodnoťte výsledky jednotlivých přístupů.

Automatizované generování testů pomocí LLM (Large Language Model)

Proveďte rešerši stávajícího výzkumu a přistupů pro generování unit testů nebo fuzz testů pomocí LLM.
Navrhněte vhodné řešení aplikace LLM pro generování nebo úpravu stávajících testů Solidity smart kontraktů.
Implementujte navržené řešení.
Kvalitu implementace zhodnoťte, porovnejte proti jiným přístupům automatizovaného testování smart kontraktů.

Developer tooling for Solana

Solana is a blockchain (or more precise a global state machine) that excels in speed and scalability over other blockchains that allow to run programs such as Ethereum. But the ecosystem is very new and lacks some standard development tooling.

Commands:

Analyse Solana blockchain and its ecosystem.
Analyse Trdelnik, Solana Rust client.
Propose new functionality for Trdelnik (after discussion with the supervisor).
Implement given functionality.
Test correctness of your implementation.

Bezpečnostní audit Solana (Rust) projektu

Množství finančních projektů postavených čistě na technologii blockchain raketově roste, obor decentralizovaných financí (DeFi) je na vzestupu. Problém je, že smart kontrakty jsou počítačový kód, který může obsahovat (a obsahuje) bugy. Kvůli decentralizované povaze není možné tento bug jednoduše opravit a jakmile je smart kontrakt spuštěn, je pod konstantním útokem hackerů. Proto existuje obor auditování smart kontraktů, aby se snížila pravděpodobnost hacknutí kontraktů. Vaším úkolem bude si takovýto audit zkusit na nějakém vzorovém smart kontraktu. Ekosystém Solana je teprve v začátku, takže zde existuje málo nástorojů a dominantním postupem je code review Rust kódu.

Pokyny:

Seznamte se s technologií Solana a programovacím jazykem Rust.
Společně s vedoucím práce vyberte projekt přiměřeného rozsahu, proveďte jeho základní analýzu.
Proveďte lokální deployment projektu.
Doplňte existující testy ke zvýšení test coverage >90%.
Proveďte statickou analýzu kódu a kontrolu proti známým zranitelnostem.
Napište fuzzy testy pro parametry funkcí i pořadí volání funkcí.
Proveďte manuální code review.

Analýza bezpečnosti ZKP (zero-knowledge proofs) pro Ethereum

Blockchainové technologie v poslední letech akcelerovali vývoj ZKP a stanovili první reálné globální využití pro běžné uživatele. Motivací pro vývoj bylo vyřešení škálovatelnosti a pseudo-anonymity blockchainů. Setkáváme se nyní s projekty co umožňují rychlejší a lacinější zpracování transakcí nebo i jejich plnou anonymitu. Náplní této práce je zjistit zda-li tato řešení svým inovativním přístupem neovlivňují negativním způsobem bezpečnost uživatelů, případně zda-li deklarované soukromí nemůže být ohrozeno.

Cíle:

Představení ZKP a jejich využití v Ethereu
Porovnání implementace ZK (SNARK i STARK) a Optimistic rollups pro škálování Etherea a bezpečnostní aspekty těchto řešení
Analýza trusted setup ceremony, secure enclaves (využití Intel SGX apod.), případně dalších důležitých prvků pro bezpečné fungování protokolů
Audit ZK protokolu na Ethereu, který využívá ZKP pro soukromí uživatelů
Vytvoření metodologie pro audit ZK protokolů

Pokyny:

Seznamte se s ZKP obecně a poté prozkoumejte jejich využití pro blockchain
Prověřte bezpečnostní aspekty ZKP v jednotlivých vertikálách
V praktické části vypracujte bezpečnostní audit ZK projektu dle uvážení po diskusi s vedoucím práce (např. Obscuro, Secret Network, Aztec Network, …)