Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs

Shuangjun Zhang, Haibin Kan, Liguan Wang. Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs. Theoretical Computer Science, 927:148-161, 2022. [doi]

Abstract

Abstract is missing.