Efficient Delegation of Zero-Knowledge Proofs of Knowledge in a Pairing-Friendly Setting

Sébastien Canard 1 David Pointcheval 2, 3, 4 Olivier Sanders 2, 3, 4, 1
3 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : Since their introduction in 1985, by Goldwasser, Micali and Rackoff, followed by Feige, Fiat and Shamir, zero-knowledge proofs have played a significant role in modern cryptography: they allow a party to convince another party of the validity of a statement (proof of membership) or of its knowledge of a secret (proof of knowledge). Cryptographers frequently use them as building blocks in complex protocols since they offer quite useful soundness features, which exclude cheating players. In most of modern telecommunication services, the execution of these protocols involves a prover on a portable device, with limited capacities, and namely distinct trusted part and more powerful part. The former thus has to delegate some computations to the latter. However, since the latter is not fully trusted, it should not learn any secret information. This paper focuses on proofs of knowledge of discrete logarithm relations sets (DLRS), and the delegation of some prover's computations, without leaking any critical information to the delegatee. We will achieve various efficient improvements ensuring perfect zero-knowledge against the verifier and partial zero-knowledge, but still reasonable in many contexts, against the delegatee.
Type de document :
[Research Report] Cryptology ePrint Archive: Report 2015/278, IACR. 2015
Liste complète des métadonnées

Contributeur : David Pointcheval <>
Soumis le : samedi 4 avril 2015 - 18:58:57
Dernière modification le : vendredi 25 mai 2018 - 12:02:05


  • HAL Id : hal-01139397, version 1




Sébastien Canard, David Pointcheval, Olivier Sanders. Efficient Delegation of Zero-Knowledge Proofs of Knowledge in a Pairing-Friendly Setting. [Research Report] Cryptology ePrint Archive: Report 2015/278, IACR. 2015. 〈hal-01139397〉



Consultations de la notice