Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
magical angel, the extractor, watching the back of P and attesting the witness usage in the protocol execution. Clearly that would yield a strong proof of knowledge of the witness. In the computational world angels sadly do not exist. Rather P and V are Turing machines and so is the extractor E. To