CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness

ePrint Report: CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness

Sofia Celi, Shai Levin, Joe Rowell

$\Sigma$-protocols, a class of interactive two-party protocols, which are used as a framework to instantiate many other authentication schemes, are automatically a proof of knowledge (PoK) given that they satisfy the "special-soundness" property. This fact provides a convenient method to compose $\Sigma$-protocols and PoKs for complex relations. However, composing in this manner can be error-prone. While they must satisfy special-soundness, this is unfortunately …

authentication class eprint report framework knowledge logarithms party proof property protocols report sigma special