Statements (53)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Cryptographic Protocol
|
gptkbp:application |
gptkb:Blockchain
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 |
https://www.w3.org/2000/01/rdf-schema#label |
Zero-Knowledge Proof
|
gptkbp:introducedIn |
1985
|
gptkbp:inventedBy |
gptkb:Shafi_Goldwasser
gptkb:Silvio_Micali gptkb:Charles_Rackoff |
gptkbp:notableExample |
zk-SNARK
zk-STARK |
gptkbp:notablePublication |
The Knowledge Complexity of Interactive Proof Systems
|
gptkbp:property |
Completeness
Soundness Zero-knowledge |
gptkbp:relatedConcept |
gptkb:Fiat–Shamir_heuristic
Homomorphic Encryption Commitment Scheme Interactive Proof System Probabilistic Proof Secure Multi-party Computation |
gptkbp:subspecies |
gptkb:Proof_of_Knowledge
Computational Zero-Knowledge Proof Concurrent Zero-Knowledge Proof Designated Verifier Zero-Knowledge Proof Non-interactive Zero-Knowledge Proof Non-malleable Zero-Knowledge Proof Perfect Zero-Knowledge Proof Proof of Equality Proof of Inequality Proof of Membership Proof of Non-membership Publicly Verifiable Zero-Knowledge Proof Quasi-Adaptive Zero-Knowledge Proof Resettable Zero-Knowledge Proof Simulation-Sound Zero-Knowledge Proof Statistical Zero-Knowledge Proof Succinct Zero-Knowledge Proof Transparent Zero-Knowledge Proof Witness-Hiding Proof Witness-Indistinguishable Proof |
gptkbp:type |
Interactive Proof
Non-interactive Proof |
gptkbp:usedIn |
gptkb:Ethereum
gptkb:Zcash Digital Signatures |
gptkbp:bfsParent |
gptkb:ZKP
gptkb:Adaptor_Signatures gptkb:Zero-Knowledge_Succinct_Non-Interactive_Argument_of_Knowledge |
gptkbp:bfsLayer |
8
|