Batching Adaptively-Sound SNARGs for NP.

Lalita Devadas, Brent Waters, David J. Wu

Browse the full TCC paper archive.