Skip to main content

zk-SNARK

Definition

A zk-SNARK is a type of zero-knowledge proof that allows one party to prove to another that a statement is true, without revealing any information beyond the truth of the statement itself. These cryptographic proofs are computationally intensive to generate but very quick to verify. They offer a powerful mechanism for privacy and scalability in digital systems.