next up previous
Next: Proofs of Computational Ability Up: The Technion Period (1986-94) Previous: On the Complexity of

On Defining Proofs of Knowledge

This work provides a comprehensive definitional treatment of the intruiging concept of a proof of knowledge. Special attention is placed on providing a definition that can be actually used for the intended applications.


Comments: Authored by M. Bellare and O. Goldreich. Appeared in



Oded Goldreich
2003-07-30