Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
privacy-sensitive domains like anonymous identification, database set membership queries or Blockchain payments. 1.1 What is a proof system? In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two