Universal SNARGs for NP from Proofs of Correctness.

Zhengzhong Jin, Yael Tauman Kalai, Alex Lombardi, Surya Mathialagan

Browse the full STOC paper archive.