Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
capture the intuition of “watching P’s back” we let the extractor compute the witness from the observation of the interaction of the prover P and verifier V. Put in other words, if you can pull the witness out of P, it must somehow have been there. The point that must be stressed here is that a