Editing CHSH inequality (section)

=== Applications ===

Note that the CHSH game can be viewed as a ''test'' for quantum entanglement and quantum measurements, and that the rigidity of the CHSH game lets us test for a ''specific'' entanglement as well as ''specific'' quantum measurements. This in turn can be leveraged to test or even verify entire quantum computations—in particular, the rigidity of CHSH games has been harnessed to construct protocols for verifiable quantum delegation,<ref>{{cite arXiv|title=Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources|first1=Andrea|last1=Coladangelo |first2=Alex|last2=Grilo|first3=Stacey|last3=Jeffery|first4=Thomas|last4=Vidick|date=January 9, 2020|class=quant-ph |eprint=1708.07359}}</ref><ref>{{cite arXiv|title=A simple protocol for verifiable delegation of quantum computation in one round|first=Alex B.|last=Grilo|date=June 5, 2020|class=quant-ph |eprint=1711.09585}}</ref> certifiable randomness expansion,<ref>{{cite arXiv|title=Certifiable Quantum Dice - Or, testable exponential randomness expansion|first1=Umesh V.|last1=Vazirani|first2=Thomas|last2=Vidick|date=November 25, 2011 |class=quant-ph |eprint=1111.6054}}</ref> and device-independent cryptography.<ref>{{Cite journal|title=Fully device independent quantum key distribution|first1=Umesh|last1=Vazirani |first2=Thomas|last2=Vidick |date=September 29, 2014|journal=Physical Review Letters|volume=113|issue=14|pages=140501|doi=10.1103/PhysRevLett.113.140501 |pmid=25325625 |arxiv=1210.1810|bibcode=2014PhRvL.113n0501V |s2cid=119299119 }}</ref>