BLAZY, Olivier; FUCHSBAUER, Georg; IZABACHÈNE, Malika; JAMBERT, Amandine; SIBERT, Hervé; VERGNAUD, Damien

doi:10.1007/978-3-642-13708-14

Métadonnées

Licence d’utilisation du document

BLAZY, Olivier
Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities [CASCADE]
Laboratoire d'informatique de l'école normale supérieure [LIENS]

FUCHSBAUER, Georg
Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities [CASCADE]
Laboratoire d'informatique de l'école normale supérieure [LIENS]

IZABACHÈNE, Malika
Université de Versailles Saint-Quentin-en-Yvelines [UVSQ]

Langue

Communication dans un congrès

Ce document a été publié dans

Applied Cryptography and Network Security, 8th International Conference, ACNS 2010, 2010-06-22, Beijing. 2010-03-16, vol. 6123, p. 218-235

Springer

Résumé en anglais

In 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zero-knowledge (and witness-indistinguishable) proofs in bilinear groups. While avoiding expensive NP-reductions, these proof systems are still inefficient due to a number of pairing computations required for verification. We apply recent techniques of batch verification to the Groth-Sahai proof systems and manage to improve significantly the complexity of proof verification. We give explicit batch verification formulas for generic Groth-Sahai equations (whose cost is less than a tenth of the original) and also for specific popular protocols relying on their methodology (namely Groth's group signatures and Belenkiy-Chase-Kohlweiss-Lysyanskaya's P-signatures).< Réduire

Mots clés en anglais

Pairing-based cryptography

Batch veri cation

Groth-Sahai proof system

URI

https://oskar-bordeaux.fr/handle/20.500.12278/190002

DOI

http://dx.doi.org/10.1007/978-3-642-13708-14

Projet Européen

European Network of Excellence in Cryptology - Phase II

Project ANR

Pairings and Advances in Cryptology for E-cash - ANR-07-TCOM-0013

Origine

Importé de hal

Unités de recherche

Institut de Mathématiques de Bordeaux (IMB) - UMR 5251