Succinct arguments for QMA from standard assumptions via compiled nonlocal games

Tony Metger, Anand Natarajan, Tina Zhang

We construct a succinct classical argument system for QMA, the quantum analogue of NP, from generic and standard cryptographic assumptions. Previously, building on the prior work o…