Probabilistically Checkable Proofs with Zero Knowledge.

Joe Kilian, Erez Petrank, Gbor Tardos

Browse the full STOC paper archive.