Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
frames in an algorithmic way the idea of computational knowledge. Suppose the prover P knows the witness w. Then she must have used the witness during the protocol execution (and thus encoded it somehow into the protocol messages) in order to successfully convince the verifier. So suppose we have a