Succinct Non-Interactive Arguments via Linear Interactive Proofs

Nir Bitansky, Alessandro Chiesa*, Yuval Ishai, Rafail Ostrovsky, Omer Paneth

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


Succinct non-interactive arguments (SNARGs) enable verifying NP statements with lower complexity than required for classical NP verification. Traditionally, the focus has been on minimizing the length of such arguments; nowadays, researchers have focused also on minimizing verification time, by drawing motivation from the problem of delegating computation. A common relaxation is a preprocessing SNARG, which allows the verifier to conduct an expensive offline phase that is independent of the statement to be proven later. Recent constructions of preprocessing SNARGs have achieved attractive features: they are publicly-verifiable, proofs consist of only O(1) encrypted (or encoded) field elements, and verification is via arithmetic circuits of size linear in the NP statement. Additionally, these constructions seem to have “escaped the hegemony” of probabilistically-checkable proofs (PCPs) as a basic building block of succinct arguments. We present a general methodology for the construction of preprocessing SNARGs, as well as resulting new efficiency features. Our contribution is threefold: (1)We introduce and study a natural extension of the interactive proof model that considers algebraically-bounded provers; this new setting is analogous to the common study of algebraically-bounded “adversaries” in other fields, such as pseudorandomness and randomness extraction. More concretely, in this work we focus on linear (or affine) provers, and provide several constructions of (succinct two-message) linear interactive proofs (LIPs) for NP. Our constructions are based on general transformations applied to both linear PCPs (LPCPs) and traditional “unstructured” PCPs.(2)We give conceptually simple cryptographic transformations from LIPs to preprocessing SNARGs, whose security can be based on different forms of linear targeted malleability (implied by previous knowledge assumptions). Our transformations convert arbitrary (two-message) LIPs into designated-verifier SNARGs, and LIPs with degree-bounded verifiers into publicly-verifiable SNARGs. We also extend our methodology to obtain zero-knowledge LIPs and SNARGs. Our techniques yield SNARGs of knowledge and thus can benefit from known recursive composition and bootstrapping techniques.(3)Following this methodology, we exhibit several constructions achieving new efficiency features, such as “single-ciphertext preprocessing SNARGs.” We also offer a new perspective on existing constructions of preprocessing SNARGs, revealing a direct connection of these to LPCPs and LIPs.

Original languageEnglish
Article number15
JournalJournal of Cryptology
Issue number3
StatePublished - Jul 2022


FundersFunder number
US-Israel BSF
National Science FoundationCNS-1136174, IIS-1065276, CCF-1016540, CNS-1118126, CCF-0916574, CNS-0830803
Office of Naval Research1218461, N00014-11-1-0392
Defense Advanced Research Projects Agency
International Business Machines Corporation
European Research Council259426, 1361/10
United States-Israel Binational Science Foundation2008411
Israel Science Foundation20006317
Check Point Institute for Information Security, Tel Aviv University


    • Homomorphic encryption
    • Interactive proofs
    • Probabilistically-checkable proofs
    • Succinct arguments
    • Zero-knowledge


    Dive into the research topics of 'Succinct Non-Interactive Arguments via Linear Interactive Proofs'. Together they form a unique fingerprint.

    Cite this