Statements (33)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Cryptographic protocol
|
| gptkbp:application |
gptkb:Blockchain
Cryptocurrencies Authentication Privacy-preserving protocols |
| gptkbp:describes |
A method by which one party can prove to another that a statement is true, without revealing any information beyond the validity of the statement
|
| gptkbp:field |
Computer science
Cryptography |
| gptkbp:hasProperty |
Completeness
Soundness Zero-knowledge |
| gptkbp:hasType |
Interactive proof
Non-interactive proof |
| https://www.w3.org/2000/01/rdf-schema#label |
Zero-knowledge proof
|
| gptkbp:introduced |
gptkb:Shafi_Goldwasser
gptkb:Silvio_Micali gptkb:Charles_Rackoff |
| gptkbp:introducedIn |
1985
|
| gptkbp:notableFor |
gptkb:Tornado_Cash
gptkb:Zcash Ethereum (zk-rollups) |
| gptkbp:notablePublication |
The Knowledge Complexity of Interactive Proof Systems
|
| gptkbp:relatedConcept |
gptkb:Fiat–Shamir_heuristic
Sigma protocol Interactive proof system Non-interactive zero-knowledge proof zk-SNARK zk-STARK |
| gptkbp:subspecies |
Computational zero-knowledge proof
Perfect zero-knowledge proof Statistical zero-knowledge proof |
| gptkbp:bfsParent |
gptkb:Password-authenticated_key_exchange
|
| gptkbp:bfsLayer |
6
|