Студент Рачунарског факултета Стефан Живковић је у четвртак, 4. новембра 2025. године одбранио дипломски рад на тему Zero-Knowledge Proofs пред комисијом коју су чинили ментор др Драган Урошевић и члан др Невена Марић.
У апстракту свог рада Петар је истакао:
У овом раду покушаћемо да објаснимо доказе без знања (Zero-Knowledge Proofs – ZKP) кроз причу и примере, на интуитивном нивоу, и омогућимо да једна јако математички апстрактна тема буде ближа и онима који немају довољно математичког знања.
…
Кроз овај рад трудили смо се да што више приближимо јако апстрактну и математички компликовану тему као што је ZKP, без строгог ослањања на математику. Мишљења у вези ZKP система су подељена, неки сматрају да је ZKP јако моћан алат будућности, док други верују да опсег примене заправо није толико широк, због бројног и скупог препроцесирања ван самог доказа.
Чињеница је да се сигурни и ефикасни ZKP системи могу конструисати за сваки NP-комплетан проблем, и то је могуће урадити и интерактивним и неинтерактивним доказима. Алгоритам је једноставан, било који NP-комплетан проблем је редуцибилан на 3-SAT проблем, који се даље редукује у 3-бојење графа, чији ZKP систем представља темељ свих осталих ZKP система. Занимљива је и примена на аритметичким колима, јер сваки програм може да се сведе на аритметичко коло. Уколико не верујете у ову тврдњу, размислите о томе како изгледа процесор, и да свако циклично аритметичко коло, проширењима постаје ациклично. – закључио је Стефан.