Skip to main content

SNARKs

Definition

SNARKs are a type of cryptographic proof system allowing verification of computations without executing them. The acronym stands for Succinct Non-interactive ARguments of Knowledge, representing a proof that is compact and easily verifiable, requiring minimal interaction between the prover and verifier. These proofs confirm the truth of a statement without revealing any underlying data, preserving privacy and enhancing computational efficiency. SNARKs are fundamental to zero-knowledge cryptography.