A Generalized Special-Soundness Notion and its Knowledge Extractors

ePrint Report: A Generalized Special-Soundness Notion and its Knowledge Extractors

Thomas Attema, Serge Fehr, Nicolas Resch

A classic result in the theory of interactive proofs shows that a special-sound $\Sigma$-protocol is automatically a proof of knowledge. This result is very useful to have, since the latter property is typically tricky to prove from scratch, while the former is often easy to argue---if it is satisfied. While classic $\Sigma$-protocols often are special-sound, this is unfortunately not the case for many recently …

eprint report knowledge protocol prove report result sigma sound special theory thomas