GlossaryAdvanced
zk-SNARK
A type of zero-knowledge proof that is small and fast to verify.
A zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) is a specific type of zero-knowledge proof designed to be small in size and fast to verify, letting one party prove a statement is true without revealing the underlying information, and without back-and-forth interaction.
zk-SNARKs are used in some privacy-focused cryptocurrencies and in certain zero-knowledge rollup designs to efficiently prove a batch of transactions was processed correctly.
Examples
- A zero-knowledge rollup might use zk-SNARKs to prove a batch of transactions was processed correctly.
- zk-SNARKs let a verifier confirm a statement is true without learning the underlying private data.