ZK-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge)
Definition
ZK-SNARK is a form of zero-knowledge proof technology that allows one party to prove possession of certain information without revealing that information and without any interaction between the prover and verifier.
Context
It is used in various blockchain applications, particularly in privacy-focused cryptocurrencies like Zcash, to enable encrypted transactions that are verifiable by others without revealing any sensitive information about the parties or amounts involved.