Skip to main content

Succinct Non-Interactive Proofs

Definition

Succinct non-interactive proofs are cryptographic proofs that are very small in size and can be verified quickly without further communication with the prover. These proofs, often referred to as SNARKs or STARKs, enable one party to convince another that a computation was performed correctly, without revealing the computation itself. Their conciseness makes them efficient for on-chain verification of off-chain computations, significantly reducing data storage and transaction costs on blockchains. They are a core component of zero-knowledge rollups and other privacy-enhancing technologies.