20.500.12556/RUL-143910 Dokazi brez razkritja znanja in njihova uporaba v decentraliziranih sistemih magistrsko delo Zero-knowledge proofs and their usage in decentralized systems V magistrski nalogi se ukvarjamo z dokazi brez razkritja znanja. Predstavljen je matematični model imenovan Pinocchio, ki sloni na teoriji eliptičnih krivulj in omogoča konstrukcijo učinkovitih dokazov brez razkritja znanja za probleme, ki se jih da izraziti z aritmetičnimi vezji. Za te dokaze je v delu opisanih nekaj primerov uporabe v decentraliziranih sistemih. Dva takšna primera sta kriptovaluta Zerocash, ki ohranja zasebnost svojih uporabnikov, in implementacija pametne pogodbe, ki omogoča decentralizirane in anonimne volitve. In the thesis, we study zero-knowledge proofs. We focus on a description of a mathematical model named Pinocchio, which depends on elliptic curve theory and enables the construction of efficient zero-knowledge proofs for problems expressed by arithmetic circuits. For those proofs, we describe some example usages in decentralized systems. The main two examples are the cryptocurrency Zerocash, which preserves its users' anonymity, and an implementation of a decentralized anonymous voting system using a smart contract. dokazi brez razkritja znanja decentralizirani sistemi eliptične krivulje protokol Pinocchio zk-SNARK zero-knowledge proofs decentralized systems elliptic curves Pinocchio protocol zk-SNARK true false false Slovenski jezik Angleški jezik Magistrsko delo/naloga 2023-01-19 08:15:02 2023-01-19 08:15:05 2024-05-29 11:45:41 0000-00-00 00:00:00 2023 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 519.72 130106 138161667 7667.pdf 7667.pdf 1 757919360C67C7AA0800C321EF66D0E2 1d6d515318b866c597042a000225cd4fd9965d91d9bc56283293192787780252 c0cc3a0d-97c8-11ed-9c94-00155dcfd717 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=165964 Fakulteta za matematiko in fiziko 0 0 0