Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
of the notion of zero-knowledge. Then it must be the case that the real protocol transcript leaks as much information as the simulated transcript. Note it must be like that. Otherwise the executions were distinguishable. By construction, however, the simulated transcript is zero-knowledge: It leaks