|
|
Verifiable Delay Functions z Lucasových posloupností
Krňák, Tomáš ; Hubáček, Pavel (vedoucí práce) ; Příhoda, Pavel (oponent)
Lucasovy posloupnosti jsou konstantní rekurzivní celočíselné posloupnosti s dlouhou historií aplikací v kryptografii - používané jak pro návrh kryptografických schémat, tak při kryptoanalýze. V této práci představujeme ověřitelné zpožďovací funkce založené na sekvenční náročnosti výpočtu Lucasových posloupností v RSA grupě. Zaprvé ukážeme, že modulární Lucasovy poslopnosti jsou alespoň tak sekvenční, jako jsou klasické zpožďovací funkce založené na iterovaném modulárním mocnění představené Rivestem, Shamirem, and Wagnerem v kontextu tzv. time-lock puzzles. Navíc ne- nacházíme žádnou očividnou opačnou redukci, což nás přivádí k domněnce, že počítání modulárních Lucasových poslopností je ostře složitější než modulární iterované mocnění. Jinými slovy, námi kostruovaná zpoždovací funkce si zachová svoji sekvenčnost i v případě nalezení nového efektivnějšího algoritmu pro modulární iterováné mocnění. Zadruhé představíme praktickou konstrukci ověřitelné zpožďovací funkce založené na modulárních Lucasových posloupnostech. Naše konstrukce vychází z nedávné práce Pietrzaka (ITCS 2019) a využívá souvislost mezi problémem výpočtu modulárních Lu- casových posloupností a mocněním v příslušném tělesovém rozšíření. 1
|
|
|
Moderní aplikace zero-knowledge protokolů
Krňák, Tomáš ; Hubáček, Pavel (vedoucí práce) ; Mareš, Martin (oponent)
zk-SNARK je kryptografický protokol, který umožňuje libovolný výpočet přeměnit na krátký efektivně ověřitelný argument jeho správnosti. Navíc tento protokol umožnuje dokazovateli přesně rozhodnout, která část vstupů výpočtu bude veřejná a která zůstane skrytá. Cílem této práce je seznámit čtenáře s vlastnostmi, konstrukcí a aplikacemi zk- SNARKů. V konstrukční části popisujeme konstrukci založenou na lineárním PCP a Paillierově kryptosystému. V aplikační části vysvětlujeme princip anonymní kryptoměny Zcash a přicházíme s zcela novým uplatněním zk-SNARKs v reputačních systémech. 1
|
|
|
Používání geografických technologií na nižší úrovni samosprávy
Krňák, Tomáš ; Pokorný, Pavel (vedoucí práce) ; Kominácká, Jitka (oponent)
Bakalářská práce popisuje možnosti využití geografických informačních technologií na nižších úrovních samosprávy v České republice. V úvodu práce jsou prezentovány teoretické možnosti geografických systémů, jejich využití samosprávnými úřady a postup při jejich výběru. Těžištěm práce je popis a prezentace služeb různorodých samosprávných úřadů v oblasti geografických informačních technologií a kompletní průzkum čtyř konkrétních úřadů. Závěr práce obsahuje hodnocení a sbírku obecných doporučení včetně konkrétních doporučení pro vybrané úřady.
|
host ::
RSS.