Zero-Knowledge Proof

GPTKB entity

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