Zagovor diplomskega dela: Gal Gantar

V diplomski nalogi obravnavamo problem konstrukcije učinkovitih in varnih
polinomskih zavez brez razkritja njihovih koeficientov. Glavni cilj je predstaviti
kriptografski mehanizem, imenovan polinomske zaveze, ter podrobno
analizirati njegovo varnost, učinkovitost in uporabnost. Osredotočimo se na
zavezo KZG, ki temelji na bilinearnih parjenjih in omogoča kratke, preverljive
zaveze in dokaze o evalvacijah polinoma. Predstavimo formalne definicije
in varnostne predpostavke ter analiziramo njene najpomembnejše lastnosti.
Praktični prispevek naloge vključuje implementacijo zaveze KZG in
Verklovega drevesa, ki predstavlja ključno komponento prihodnje nadgradnje
decentraliziranega sistema Ethereum.

Mentor: doc. dr. Tilen Marc

Komisija za zagovor:

doc. dr. Aljaž Zalar (predsednik),

doc. dr. Tilen Marc (mentor),

doc. dr. Vesna Iršič Chenoweth (članica).

Prostor: v predavalnici 3.06, v stavbi Matematike - FMF

Preglej dogodke