Proving as fast as computing: succinct arguments with constant prover overhead.

Noga Ron-Zewi, Ron D. Rothblum

Browse the full STOC paper archive.