Pages that link to "Item:Q4977979"
From MaRDI portal
The following pages link to Compression of quantum multi-prover interactive proofs (Q4977979):
Displaying 11 items.
- On the compressed-oracle technique, and post-quantum security of proofs of sequential work (Q2056756) (← links)
- Constant-space quantum interactive proofs against multiple provers (Q2252642) (← links)
- Reducing the number of questions in nonlocal games (Q2832716) (← links)
- Interactive Proofs with Approximately Commuting Provers (Q3448798) (← links)
- THE SET OF QUANTUM CORRELATIONS IS NOT CLOSED (Q4610442) (← links)
- (Q5090382) (← links)
- Complexity lower bounds for computing the approximately-commuting operator value of non-local games to high precision (Q5091777) (← links)
- Nonlocal Games with Noisy Maximally Entangled States are Decidable (Q5096445) (← links)
- Classical verification of quantum proofs (Q5204823) (← links)
- \(\mathrm{MIP}^* = \mathrm{RE}\): a negative resolution to Connes' embedding problem and Tsirelson's problem (Q6118161) (← links)
- Zero-knowledge proof systems for QMA (Q6663093) (← links)