Sciweavers

IACR
2011

Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments

12 years 11 months ago
Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments
Abstract. In Asiacrypt 2010, Groth constructed the only previously known sublinearcommunication NIZK argument for circuit satisfiability in the common reference string model. We propose a more efficient NIZK argument. In particular, we reduce both the CRS length and the prover’s computational complexity from quadratic to quasilinear. We also use a (presumably) weaker security assumption than Groth, and have tighter security reductions. From a theoretical perspective, we achieve the mentioned efficiency gain by using a (seemingly natural, but at the end quite non-trivial) connection with the theory of progression-free sets and with additive combinatorics in general. While bilinear protocols seem to be specifically suited for using methods from additive combinatorics, we are not aware of any previous work that has made this connection. We hope that more applications of this connection will be found in the future. Keywords. Additive combinatorics, bilinear pairings, circuit satisfiab...
Helger Lipmaa
Added 23 Dec 2011
Updated 23 Dec 2011
Type Journal
Year 2011
Where IACR
Authors Helger Lipmaa
Comments (0)