SNARK (Succinct Non-Interactive Argument of Knowledge)
Also known as: Zero-Knowledge SNARK, Succinct Proof, Non-Interactive Proof
A cryptographic proof system that allows one party to prove possession of information without revealing it, using compact and efficient proofs.
SNARK stands for Succinct Non-Interactive Argument of Knowledge, a cryptographic technique used to verify computations without revealing the data or requiring interaction between prover and verifier. SNARKs enable scalable zero-knowledge proofs, making them essential for privacy-preserving blockchains and Layer 2 solutions like zk-rollups. They are succinct (small in size), fast to verify, and widely adopted in projects like Zcash, Mina, and zkSync. Despite their power, SNARKs often require a trusted setup and complex mathematics, making implementation and audits critical for security.