MIP = Multi-prover Interactive Proof, a class of languages, is known to be equivalent to NEXP, (the class containing all languages computable in exponential time by a machine operating in a non-deterministic fashion [eg. the ones you care about]).
MIP* is like MIP except the provers (the M) are allowed to communicate with each other using quantum entanglement. This type of communication would be undetectable by the questioner (the verifier) and thus allow a group of attackers to "cheat" various cryptographic protocols. However, it is found that MIP* contains MIP. Therefore, there are proof systems (and thus protocols) resistant to quantum communication of the provers.
Thus, zero-knowledge proofs and the like still work in with quantum entanglement powered assailants.
MIP = Multi-prover Interactive Proof, a class of languages, is known to be equivalent to NEXP, (the class containing all languages computable in exponential time by a machine operating in a non-deterministic fashion [eg. the ones you care about]).
MIP* is like MIP except the provers (the M) are allowed to communicate with each other using quantum entanglement. This type of communication would be undetectable by the questioner (the verifier) and thus allow a group of attackers to "cheat" various cryptographic protocols. However, it is found that MIP* contains MIP. Therefore, there are proof systems (and thus protocols) resistant to quantum communication of the provers.
Thus, zero-knowledge proofs and the like still work in with quantum entanglement powered assailants.