Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
makes explicitly use of her witness w while the simulator S is only given the public information x. Despite the information disadvantage, let’s assume the simulator produces a transcript that “looks like” an interaction between the prover and the verifier (see Figure 2). Figure 2: An illustration