multiprover interactive proof (MIP) systems

Pushing the Upper Bounds of Theoretical Capability with Quantum Entanglement Learning to Trust Quantum Computers Excerpts and salient points ~ +  One of the core