U okviru predavanja bice dat neformalan uvod u jednu sasvim novu granu
kriptografije i teorije racunarstva, neinteraktivne sazete dokaze - SNARKs,
kao i njihovo formalno prosirenje - ZKSnarks. Predmet istrazivanja se svodi
na dokazivanje znanja resenja NP problema ciji se rezultat moze proveriti u
linearnom ili polinomijalnom vremenu. Neka od glavnih pitanja su i:

- Da li je moguce dokazati bilo koje NP izracunavanje?
- Da li je moguce sakriti neke delove bez gubitka korektnosti?

Bice dat osvrt na istoriju moderne kriptografije i teorije izracunavanja
kao i osnove trenutnih ZkSnarks sistema. Bice dat uvod u neke od
aplikacija  modernih kriptografskih alata kao sto su Circom, Halo2,
Artworks, Snarkjs, … Zatim kratak formalan uvod u fundamentalne teoreme
izracunavanja i neinteraktivnih dokaza: Soundness, Correctness, Honest
Verifier Zero Knowledge i praktican primer Schnorr Zero Knowledge argumenta
za znanje diskretnog logaritma.

Fokus drugog dela predavanja bice na aplikativnom delu i primeni ZkSnarkova
u skaliranju decentralizovanih distribuiranih sistema  i privatnim
finansijama. Bice predstavljene neke od modernih ideja kao sto su
ZeroKnowledge virtuelna masina, Rollups, FunctionalCommitments,
OrchardCircuits,  ...