Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP
The paper is withdrawn. As communicated to us by C. Dwork, M. Langberg, M. Naor and K. Nissim  the protocol as presented in the paper is not sufficient to prove the claims. We gratefully acknowledge the authors of  for pointing out this error to us. REFERENCES:  C. Dwork, M. Langberg, M. Naor, and K. Nissim, "Succinct Proofs for NP and Spooky Interactions" private communication, July 4, 2000.