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.