Adaptively-Sound Succinct Arguments for NP from Indistinguishability Obfuscation

ePrint Report: Adaptively-Sound Succinct Arguments for NP from Indistinguishability Obfuscation

Brent Waters, David J. Wu

A succinct non-interactive argument (SNARG) for $\mathsf{NP}$ allows a prover to convince a verifier that an $\mathsf{NP}$ statement $x$ is true with a proof of size $o(|x| + |w|)$, where $w$ is the associated $\mathsf{NP}$ witness. A SNARG satisfies adaptive soundness if the malicious prover can choose the statement to prove after seeing the scheme parameters. In this work, we provide the first adaptively-sound SNARG …

argument eprint report non obfuscation proof report size sound statement