Adaptive Security in SNARGs via iO and Lossy Functions

ePrint Report: Adaptive Security in SNARGs via iO and Lossy Functions

Brent Waters, Mark Zhandry

We construct an adaptively sound SNARGs in the plain model with CRS
relying on the assumptions of (subexponential) indistinguishability obfuscation (iO), subexponential one-way functions and a notion of lossy functions we call length parameterized lossy functions. Length parameterized lossy functions take in separate security and input length parameters and have the property that the function image size in lossy mode depends only on the security …

call eprint report functions length lossy mark notion obfuscation report security sound