Cryptology ePrint Archive: Report 2019/1251

Lattice-based Zero-knowledge SNARGs for Arithmetic Circuits

Anca Nitulescu

Abstract: Succinct non-interactive arguments (SNARGs) enable verifying NP computations with substantially lower complexity than that required for classical NP verification. In this work, we construct a zero-knowledge SNARG candidate that relies only on lattice-based assumptions which are claimed to hold even in the presence of quantum computers.

Central to this new construction is the notion of linear-targeted malleability introduced by Bitansky et al. (TCC 2013) and the conjecture that variants of Regev encryption satisfy this property. Then, using the efficient characterization of NP languages as Square Arithmetic Programs we build the first quantum-resilient zk-SNARG for arithmetic circuits with a constant-size proof consisting of only 2 lattice-based ciphertexts.

Our protocol is designated-verifier, achieves zero-knowledge and has shorter proofs and shorter CRS than the previous such schemes, e.g. Boneh et al. (Eurocrypt 2017).

Category / Keywords: cryptographic protocols / lattice-based, zero knowledge, SNARG, post-quantum

Original Publication (in the same form): https://link.springer.com/chapter/10.1007%2F978-3-030-30530-7_11

Date: received 25 Oct 2019

Contact author: anca nitulescu at cosmian com

Available format(s): PDF | BibTeX Citation

Version: 20191028:075806 (All versions of this report)

Short URL: ia.cr/2019/1251


[ Cryptology ePrint archive ]