Podrobno

Dokazi brez razkritja znanja in njihova uporaba v decentraliziranih sistemih : magistrsko delo
ID Ševerkar, Nejc (Avtor), ID Marc, Tilen (Mentor) Več o mentorju... Povezava se odpre v novem oknu

.pdfPDF - Predstavitvena datoteka, prenos (5,09 MB)
MD5: 757919360C67C7AA0800C321EF66D0E2

Izvleček
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
Tipologija:2.09 - Magistrsko delo
Organizacija:FMF - Fakulteta za matematiko in fiziko
Leto izida:2023
PID:20.500.12556/RUL-143910 Povezava se odpre v novem oknu
UDK:519.72
COBISS.SI-ID:138161667 Povezava se odpre v novem oknu
Datum objave v RUL:19.01.2023
Število ogledov:986
Število prenosov:242
Metapodatki:XML DC-XML DC-RDF
:
ŠEVERKAR, Nejc, 2023, Dokazi brez razkritja znanja in njihova uporaba v decentraliziranih sistemih : magistrsko delo [na spletu]. Magistrsko delo. [Dostopano 19 maj 2025]. Pridobljeno s: https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&id=143910
Kopiraj citat
Objavi na:Bookmark and Share

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

Podobna dela

Podobna dela v RUL:
  1. Usposabljanje in izbira ustreznega konja za delo v policiji
  2. Šolanje lovskih psov ptičarjev
  3. Dejavniki za odločitev pri izbiri psa
  4. Dogs exhibiting high levels of aggressive reactivity show impaired self-control abilities
  5. Odnos človeka do psov pasme rottweiler
Podobna dela v drugih slovenskih zbirkah:Ni podobnih del

Nazaj