ETH Zürich » Computer Science » Theory » Cryptography

Publications: Abstract

Proof Systems for General Statements about Discrete Logarithms

Jan Camenisch and Markus Stadler

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.