Proof Systems for General Statements about Discrete Logarithms

Jan Camenisch and Markus Stadler

Technical Report, no. 260, Institute for Theoretical Computer Science, ETH Zurich, Mar 1997.

Proof systems for knowledge of discrete logarithms are an important primitive in cryptography. We identify the basic underlying techniques, generalize these techniques to prove linear relations among discrete logarithms, and propose a notation for describing complex and general statements about knowledge of discrete logarithms. This notation leads directly to a method for constructing efficient proof systems of knowledge.

BibTeX Citation

@techreport{CamSta97b,
    author       = {Jan Camenisch and Markus Stadler},
    title        = {Proof Systems for General Statements about Discrete Logarithms},
    number       = {260},
    year         = {1997},
    month        = {3},
    institution  = {Institute for Theoretical Computer Science, ETH Zurich},
}