magistrsko delo
Nejc Ševerkar (Avtor), Tilen Marc (Mentor)

Povzetek

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.

Ključne besede

matematika;dokazi brez razkritja znanja;decentralizirani sistemi;eliptične krivulje;protokol Pinocchio;

Podatki

Jezik: Slovenski jezik
Leto izida:
Tipologija: 2.09 - Magistrsko delo
Organizacija: UL FMF - Fakulteta za matematiko in fiziko
Založnik: [N. Ševerkar]
UDK: 519.72
COBISS: 138161667 Povezava se bo odprla v novem oknu
Št. ogledov: 516
Št. prenosov: 91
Ocena: 0 (0 glasov)
Metapodatki: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Ostali podatki

Sekundarni jezik: Angleški jezik
Sekundarni naslov: Zero-knowledge proofs and their usage in decentralized systems
Sekundarni povzetek: 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.
Sekundarne ključne besede: mathematics;zero-knowledge proofs;decentralized systems;elliptic curves;Pinocchio protocol;zk-Snark;
Vrsta dela (COBISS): Magistrsko delo/naloga
Študijski program: 0
Komentar na gradivo: Univ. v Ljubljani, Fak. za matematiko in fiziko, Oddelek za matematiko, Matematika - 2. stopnja
Strani: IX, 47 str.
ID: 17766397