by Mihir Bellare, Oded Goldreich
http://www.wisdom.weizmann.ac.il/~oded/PS/poa.ps
Add To MetaCart
Abstract:
We extend the notion of a proof of knowledge to a proof of the ability to perform some computational task.
Citations
|
693
|
The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract
– Goldwasser, Micali, et al.
- 1985
|
|
263
|
Zero Knowledge Proofs of Identity
– Fiege, Fiat, et al.
- 1987
|
|
241
|
Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
– Goldreich, Micali, et al.
- 1991
|
|
220
|
Minimum disclosure proofs of knowledge
– Brassard, Chaum, et al.
- 1988
|
|
132
|
Witness indistinguishable and witness hiding protocols
– Feige, Shamir
|
|
102
|
On defining proofs of knowledge
– Bellare, Goldreich
|
|
81
|
Definitions and Properties of Zero-Knowledge Proof Systems
– Goldreich, Oren
- 1994
|
|
67
|
Random self-reducibility and zero knowledge interactive proofs of possession of information
– Tompa, Woll
- 1987
|
|
57
|
A uniform-complexity treatment of encryption and zero-knowledge
– Goldreich
- 1993
|
|
30
|
On The Cunning Power of Cheating Verifiers: Some Observations About Zero Knowledge Proofs
– Oren
- 1987
|
|
29
|
Goldwasser: New paradigms for digital signatures and message authentication based on non-interactive zero-knowledge proofs
– Bellare, Shafi
- 1990
|
|
14
|
Multi-Party Cryptographic Computation: Techniques and Applications
– Haber
- 1988
|
|
13
|
On the Concrete Complexity of Zero-Knowledge Proofs
– Boyar, Peralta
- 1990
|
|
10
|
Computationally Convincing Proofs of Knowledge
– Brassard, Cr'epeau, et al.
- 1991
|
|
8
|
Symmetric Public-Key Encryption
– Galil, Haber, et al.
- 1985
|
|
4
|
On Sequential and Parallel Composition of Zero-Knowledge Protocols
– Goldreich, Krawczyk
- 1990
|
|
1
|
Some eurocrypt paper about proving ability
– Yung
|
