A bound on the quantum value of all compiled nonlocal games

Alexander Kulpe, Giulio Malavolta, Connor Paddock +2

A cryptographic compiler introduced by Kalai et al. (STOC'23) converts any nonlocal game into an interactive protocol with a single computationally bounded prover. Although the com…