DOKAZI NULTOG ZNANJA

Abstract

This paper presents zero knowledge proofs, their cryptographic significance and applications. It presents a basic classification: interactive and noninteractive zero knowledge proofs. It presents and compares three protocols of non-interactive zero knowledge proofs: ZK-SNARK, ZK-STARK and Bulletproofs. It presents the quadratic residue problem and proofs it with both interactive and non-interactive zero knowledge proofs. The non-interactive protocol used to prove the quadratic residue problem is ZK-SNARK. The proof is implemented in the Python programming language, using python-snark library.