International Association for Cryptologic Research

International Association
for Cryptologic Research


Paper: An Efficient Non-Interactive Statistical Zero-Knowledge Proof System for Quasi-Safe Prime Products

Rosario Gennaro
Daniele Micciancio
Tal Rabin
Search ePrint
Search Google
Abstract: We present efficient zero-knowledge proof systems for quasi-safe prime products and other related languages. Quasi-safe primes are a relaxation of safe primes, a class of prime numbers useful in many cryptographic applications. Our proof systems achieve higher security and better efficiency than all previously known ones. In particular, all our proof systems are perfect or statistical zero-knowledge, meaning that even a computationally unbounded adversary cannot extract any information from the proofs. Moreover, our proof systems are extremely efficient because they do not use general reductions to NP-complete problems, can be easily parallelized preserving zero-knowledge, and are non-interactive for computationally unbounded provers. The prover can also be efficiently implemented given some trapdoor information and using very little interaction. We demonstrate the applicability of quasi-safe primes by showing how they can be effectively used in the context of RSA based undeniable signatures to enforce the use of ``good'' public keys, i.e., keys such that if a signer can convince a recipient of the validity of a signature, then he won't be able to subsequently deny the same signature in case of a dispute.
  title={An Efficient Non-Interactive Statistical Zero-Knowledge Proof System for Quasi-Safe Prime Products},
  booktitle={IACR Eprint archive},
  keywords={RSA composites, safe primes, zero-knowledge, non-interactive proofs},
  note={Appeared in the THEORY OF CRYPTOGRAPHY LIBRARY and has been included in the ePrint Archive. 10500 Received March 10, 1998.},
  author={Rosario Gennaro and Daniele Micciancio and Tal Rabin},