Proving computational ability

Authors:
Mihir Bellare;Oded Goldreich
Affiliations:
Department of Computer Science and Engineering, University of California, San Diego;Faculty of Mathematics and Computer Science, The Weizmann Institute of Science, Israel
Venue:
Studies in complexity and cryptography
Year:
2011

Citing 7
Cited 0

Zero-knowledge proofs of identity

Journal of Cryptology
The knowledge complexity of interactive proof systems

SIAM Journal on Computing
Witness indistinguishable and witness hiding protocols

STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Zero-knowledge proofs of computational power (extended summary)

EUROCRYPT '89 Proceedings of the workshop on the theory and application of cryptographic techniques on Advances in cryptology
Computationally convincing proofs of knowledge

STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
On Defining Proofs of Knowledge

CRYPTO '92 Proceedings of the 12th Annual International Cryptology Conference on Advances in Cryptology
Random self-reducibility and zero knowledge interactive proofs of possession of information

SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.