Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
crypt
|
| gptkbp:category |
cryptography
theoretical computer science |
| gptkbp:example |
gptkb:Fiat-Shamir_heuristic
Schnorr protocol Discrete Logarithm Proof |
| gptkbp:formedBy |
1985
Goldwasser, Micali, and Rackoff |
| gptkbp:hasComponent |
verifier
prover |
| https://www.w3.org/2000/01/rdf-schema#label |
Proof of Knowledge
|
| gptkbp:property |
does not reveal the secret
prover can convince verifier of knowledge of a secret |
| gptkbp:relatedTo |
zero-knowledge proof
interactive proof Sigma protocol |
| gptkbp:securityProperty |
completeness
soundness zero-knowledge |
| gptkbp:usedIn |
gptkb:cryptocurrency
zero-knowledge proofs digital signatures authentication protocols |
| gptkbp:bfsParent |
gptkb:POK
|
| gptkbp:bfsLayer |
7
|