Proving in Zero-Knowledge that a Number Is the Product of Two Safe Primes

@inproceedings{Camenisch1999ProvingIZ,
title={Proving in Zero-Knowledge that a Number Is the Product of Two Safe Primes},
author={Jan Camenisch and Markus Michels},
booktitle={EUROCRYPT},
year={1999}
}

We present the first efficient statistical zero-knowledge protocols to prove statements such as: – A committed number is a prime. – A committed (or revealed) number is the product of two safe primes, i.e., primes p and q such that (p − 1)/2 and (q − 1)/2 are prime. – A given integer has large multiplicative order modulo a composite number that consists of two safe prime factors. The main building blocks of our protocols are statistical zero-knowledge proofs of knowledge that are of independent… CONTINUE READING