Dokazi brez razkritja znanja in njihova uporaba v decentraliziranih sistemih : magistrsko delo

Ševerkar, Nejc (avtor), Marc, Tilen (mentor)

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.

• Jezik: Slovenski jezik
• Ključne besede: dokazi brez razkritja znanja, decentralizirani sistemi, eliptične krivulje, protokol Pinocchio, zk-SNARK
• Vrsta gradiva: Magistrsko delo/naloga
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Leto izida: 2023
• PID: 20.500.12556/RUL-143910
• UDK: 519.72
• COBISS.SI-ID: 138161667
• Datum objave v RUL: 19.01.2023

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Zero-knowledge proofs and their usage in decentralized systems

Izvleček

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.

• Ključne besede: zero-knowledge proofs, decentralized systems, elliptic curves, Pinocchio protocol, zk-SNARK