Non-Interactive Keyed-Verification Anonymous Credentials - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Non-Interactive Keyed-Verification Anonymous Credentials

Geoffroy Couteau
Michael Reichle
  • Fonction : Auteur

Résumé

Anonymous credential (AC) schemes are protocols which allow for authentication of authorized users without compromising their privacy. Of particular interest are noninteractive anonymous credential (NIAC) schemes, where the authentication process only requires the user to send a single message that still conceals its identity. Unfortunately, all known NIAC schemes in the standard model require pairing based cryptography, which limits them to a restricted set of specific assumptions and requires expensive pairing computations. The notion of keyed-verification anonymous credential (KVAC) was introduced in (Chase et al., CCS'14) as an alternative to standard anonymous credential schemes allowing for more efficient instantiations; yet, making existing KVAC non-interactive either requires pairing-based cryptography, or the Fiat-Shamir heuristic. In this work, we construct the first non-interactive keyed-verification anonymous credential (NIKVAC) system in the standard model, without pairings. Our scheme is efficient, attribute-based, supports multi-show unlinkability, and anonymity revocation. We achieve this by building upon a combination of algebraic MAC with the recent designated-verifier non-interactive zero-knowledge (DVNIZK) proof of knowledge of (Couteau and Chaidos, Eurocrypt'18). Toward our goal of building NIKVAC, we revisit the security analysis of a MAC scheme introduced in (Chase et al., CCS'14), strengthening its guarantees, and we introduce the notion of oblivious non-interactive zero-knowledge proof system, where the prover can generate non-interactive proofs for statements that he cannot check by himself, having only a part of the corresponding witness, and where the proof can be checked efficiently given the missing part of the witness. We provide an efficient construction of an oblivious DVNIZK, building upon the specific properties of the DVNIZK proof system of (Couteau and Chaidos, Eurocrypt'18).
Fichier principal
Vignette du fichier
2019-117.pdf (657.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03373083 , version 1 (11-10-2021)

Identifiants

Citer

Geoffroy Couteau, Michael Reichle. Non-Interactive Keyed-Verification Anonymous Credentials. IACR International Workshop on Public Key Cryptography - PKC 2019, Apr 2019, Beijing, China. pp.66-96, ⟨10.1007/978-3-030-17253-4_3⟩. ⟨hal-03373083⟩
64 Consultations
158 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More