International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: The Statistical Zero-knowledge Proof for Blum Integer Based on Discrete Logarithm

Authors:
Chunming Tang
Zhuojun Liu
Jinwang Liu
Download:
URL: http://eprint.iacr.org/2003/232
Search ePrint
Search Google
Abstract: Blum integers (BL), which has extensively been used in the domain of cryptography, are integers with form $p^{k_1}q^{k_2}$, where $p$ and $q$ are different primes both $\equiv 3\hspace{4pt}mod\hspace{4pt}4$ and $k_1$ and $k_2$ are odd integers. These integers can be divided two types: 1) $M=pq$, 2) $M=p^{k_1}q^{k_2}$, where at least one of $k_1$ and $k_2$ is greater than 1.\par In \cite{dbk3}, Bruce Schneier has already proposed an open problem: {\it it is unknown whether there exists a truly practical zero-knowledge proof for $M(=pq)\in BL$}. In this paper, we construct two statistical zero-knowledge proofs based on discrete logarithm, which satisfies the two following properties: 1) the prover can convince the verifier $M\in BL$ ; 2) the prover can convince the verifier $M=pq$ or $M=p^{k_1}q^{k_2}$, where at least one of $k_1$ and $k_2$ is more than 1.\par In addition, we propose a statistical zero-knowledge proof in which the prover proves that a committed integer $a$ is not equal to 0.\par
BibTeX
@misc{eprint-2003-11945,
  title={The Statistical Zero-knowledge Proof for Blum Integer Based on Discrete Logarithm},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / cryptography, Blum integer, statistical zero-knowledge},
  url={http://eprint.iacr.org/2003/232},
  note={ ctang@mmrc.iss.ac.cn 12364 received 3 Nov 2003, last revised 7 Nov 2003},
  author={Chunming Tang and Zhuojun Liu and Jinwang Liu},
  year=2003
}