Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
for the protocol to satisfy zero-knowledge the verifier must lack that additional extra power. Zero-Knowledge: For every (x,w) in the language L, there exists for all verifiers a simulator S such that no polynomial-time distinguisher D can distinguish an execution of the simulated protocol from