QA-NIZK arguments in asymmetric groups: new tools and new constructions

González, Alonso; Hevia, Alejandro; Ràfols, Carla

QA-NIZK arguments in asymmetric groups: new tools and new constructions

Mostra el registre complet Registre parcial de l'ítem

dc.contributor.author González, Alonso
dc.contributor.author Hevia, Alejandro
dc.contributor.author Ràfols, Carla
dc.date.accessioned 2019-08-01T13:06:54Z
dc.date.available 2019-08-01T13:06:54Z
dc.date.issued 2015
dc.description Comunicació presentada a: ASIACRYPT 2015, celebrada a Auclk, Nova Zelanda, del 29 de novembre al 3 de desembre de 2015.ca
dc.description.abstract A sequence of recent works have constructed constant-size quasi-adaptive (QA) NIZK arguments of membership in linear subspaces of ^Gm, where ^G is a group equipped with a bilinear map e : G x H --> T. Although applicable to any bilinear group, these techniques are less useful in the asymmetric case. For example, Jutla and Roy (Crypto 2014) show how to do QA aggregation of Groth-Sahai proofs, but the types of equations which can be aggregated are more restricted in the asymmetric setting. Furthermore, there are natural statements which cannot be expressed as membership in linear subspaces, for example the satisfiability of quadratic equations. In this paper we develop specific techniques for asymmetric groups. We introduce a new computational assumption, under which we can recover all the aggregation results of Groth-Sahai proofs known in the symmetric setting. We adapt the arguments of membership in linear spaces of ^Gm to linear subspaces of ^Gm x Hn. In particular, we give a constantsize argument that two sets of Groth-Sahai commitments, defined over different groups ^G; H, open to the same scalars in Zq, a useful tool to prove satisfiability of quadratic equations in Zq. We then use one of the arguments for subspaces in ^Gm x Hn and develop new techniques to give constant-size QA-NIZK proofs that a commitment opens to a bit-string. To the best of our knowledge, these are the first constant-size proofs for quadratic equations in Zq under standard and falsifiable assumptions. As a result, we obtain improved threshold Groth-Sahai proofs for pairing product equations, ring signatures, proofs of membership in a list, and various types of signature schemes.en
dc.format.mimetype application/pdf
dc.identifier.citation González A, Hevia A, Ràfols C. QA-NIZK arguments in asymmetric groups: new tools and new constructions. In: Iwata T, Cheon JH, editors. Advances in Cryptology -- ASIACRYPT 2015. 21st International Conference on the Theory and Application of Cryptology and Information Security, Proceedings, Part I; 2015 Nov 29 - Dec 3; Auckland, New Zealand. Berlin: Springer; 2015. p. 605-29. (LNCS; no. 9452). DOI: 10.1007/978-3-662-48797-6_25
dc.identifier.doi http://dx.doi.org/10.1007/978-3-662-48797-6_25
dc.identifier.issn 0302-9743
dc.identifier.uri http://hdl.handle.net/10230/42226
dc.language.iso eng
dc.publisher Springer
dc.relation.ispartof Iwata T, Cheon JH, editors. Advances in Cryptology -- ASIACRYPT 2015. 21st International Conference on the Theory and Application of Cryptology and Information Security, Proceedings, Part I; 2015 Nov 29 - Dec 3; Auckland, New Zealand. Berlin: Springer; 2015. p. 605-29. (LNCS; no. 9452).
dc.rights.accessRights info:eu-repo/semantics/openAccess
dc.title QA-NIZK arguments in asymmetric groups: new tools and new constructions
dc.type info:eu-repo/semantics/conferenceObject
dc.type.version info:eu-repo/semantics/acceptedVersion

Col·leccions

Congressos (Departament de Tecnologies de la Informació i les Comunicacions)