Využití zero-knowledge konstruktů v systémové bezpečnosti a blockchainech

Táto práce je určena pro zkoumání možných aplikací ZK konstruktů v kontextu systémové bezpěčnosti a taky veřejných blockchainů. ZK konstrukty slouží k veřejnému ověření správnosti určitého výpočtu nebo operace, aniž by byly odhaleny jakékoli soukromé údaje související s výpočtem/operací. Tímto způsobem je možné implementovat například veřejné hlasovací nebo aukční protokoly, které zachovávají soukromí dat veřejně vytvářených distribuovanými účastníky. Nejběžnější konstrukce ZK jsou často instanciovány schématy, která poskytují homomorfní šifrování, jako je ElGammalovo šifrování. Proveditelnost těchto konstrukcí v doméně veřejného blockchainu však může být různá z důvodu možných vysokých nákladů, případně bezpečnostních aspektů. Úkolem této práce je analyzovat a kvantifikovat tyto existující možnosti a navrhnout nové nejsmysluplnější aplikace v systémové bezpečnosti.