U Feige, J Kilian - Proceedings of the twenty-sixth annual ACM …, 1994 - dl.acm.org
We consider single-round two prover proof systems, as introduced by Ben-Or et ai.[9]. In
these proof systems, V generates a pair of questions(ql, qz) based on the input z and his …