Preprocessing Succinct Non-Interactive Arguments for Rank-1 Constraint Satisfiability from Holographic Proofs

Shuangjun Zhang,Haibin Kan,Liguan Wang

DOI: https://doi.org/10.1016/j.tcs.2022.06.005

IF: 1.002

2022-01-01

Theoretical Computer Science

Abstract:We design a new preprocessing succinct non-interactive argument (SNARG) for rank-1 constraint satisfiability (R1CS) from holographic Interactive Oracle Proofs (IOPs). The protocol is secure in the random oracle model (ROM). We achieve polylogarithm time verifier and polylogarithm proof size. Our construction consists of two parts: (1) a holographic IOP for R1CS with linear size proof and logarithmic query complexity. (2) A cryptography complier converts holographic IOPs to SNARGs. In the first part, univariate sumcheck and low degree testing play an important role in the holographic IOP. In the second part, we use Merkle tree scheme and Fiat-Shamir heuristic to achieve succinctness and non-interactivity.