Proving Computational Ability
Mihir Bellare, Oded Goldreich.
Abstract: We investigate extending the notion of a proof of knowledge to a proof of the ability to perform some computational task. We provide some definitions and protocols for this purpose.
Keywords: Proofs of Knowledge, Trapdoor One-Way Permutations.
comment: received May 8th, 1996. Written August 1992.
contact author: mihir@cs.ucsd.edu
Fetch PostScript file of the full paper.