Skip to main content

Lattice-Based SNARKs

Definition

Lattice-based SNARKs are a type of Zero-Knowledge Succinct Non-Interactive Argument of Knowledge constructed from problems in lattice cryptography. These proofs allow one party to verify a computation without learning any details about it, offering strong privacy guarantees. Their foundation in lattice problems makes them a candidate for post-quantum security. They are designed to be compact and quickly verifiable.