Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
exponent, the prover interacts with the verifier as illustrated in Figure 3. 3.1 Proof System Specification Figure 3: Schnorr’s Protocol. Note there exist several variants of the protocol. We prefer to choose the version of the protocol where the challenge e is sampled from {0,..,q-1}. Setup: The