On Defining Proofs of Knowledge by Mihir Bellare and Oded Goldreich (source code)

= On Defining Proofs of Knowledge by Mihir Bellare and Oded Goldreich
{c}
{tag=Work by Mihir Bellare}
{tag=Work by Oded Goldreich}

https://www.wisdom.weizmann.ac.il/~oded/PSX/pok.pdf

Author-hosted manuscript dated26August1992, by Mihir Bellare and Oded Goldreich; author context https://www.wisdom.weizmann.ac.il/~oded/pok.html . Definition 3.1, printed p. 9, gives oracle extraction and knowledge error; section 4.4, printed p. 11, discusses the graph-isomorphism example and error 1/2. Author bibliography identifies CRYPTO92 proceedings, LNCS740, pp.390–420, published1993.

Alternate author-hosted manuscript: https://cseweb.ucsd.edu/~mihir/papers/pok.pdf . Both author-hosted manuscripts are dated 26 August 1992; the proceedings publication year remains 1993.