Bakalářské práce
Aplikace homomorfního šifrování v praxi
Autor
Vojtěch Sedlák
Rok
2024
Typ
Bakalářská práce
Vedoucí
Ing. Miroslav Pospíšek, CSc.
Oponenti
Ing. Ivana Trummová
Katedra
Anotace
Homomorfní šifrování je revoluční technika, která umožňuje provádět výpočty nad zašifrovanými daty bez nutnosti jejich předchozího dešifrování. Tato práce poskytuje přehled současného stavu a vysvětluje základní principy této šifrovací metody. Jsou zde představena tři základní homomorfní schémata: BFV, BGV a CKKS, včetně jejich vlastností, rozdílů a také výhod či nevýhod oproti klasickým šifrám. Dále se zde diskutuje o možnostech a vhodných oblastech využití této šifrovací techniky.
Součástí práce je také praktická aplikace, která ukazuje použití homomorfního šifrování. K tomuto byla využita open source knihovna Microsoft SEAL. Na základě této aplikace byla provedena analýza, která se zaměřuje především na rychlost nebo velikost zašifrovaných dat.
Možnosti aplikace důkazu s nulovými znalostmi v praxi
Autor
Kryštof Nevšímal
Rok
2024
Typ
Bakalářská práce
Vedoucí
Ing. Miroslav Pospíšek, CSc.
Oponenti
Mgr. Martin Jureček, Ph.D.
Katedra
Anotace
Tato bakalářské práce se zabývá problematikou důkazu s nulovými znalostmi. Jedná se o metodu, která umožňuje dokázat pravdivost tvrzení bez zveřejňování konkrétní informace v něm obsažené. Práce vysvětluje základní principy a vytváří přehled o současném stavu. Z konkrétních protokolů jsou blíže popsány schémata SNARK a STARK, u kterých je provedeno vzájemné porovnání. Na zmíněné protokoly navazuje diskuze k možným oblastem využití. Mezi oblasti patří autentizace, na kterou navazují dvě praktické aplikace. První demonstruje použití protokolu STARK za využití open-source knihovny Winterfell. Druhá uvádí protokol SRP, který je určený konkrétně k autentizaci. S ohledem na praktické aplikace je provedena analýza, která se zabývá podstatnými vlastnostmi protokolů.