Skip to main content

Groth16 Proof System

Definition

The Groth16 proof system is a widely adopted zero-knowledge succinct non-interactive argument of knowledge (zk-SNARK) used in various blockchain applications. It enables a prover to demonstrate the truth of a statement to a verifier without disclosing any information beyond the statement’s validity. Groth16 is valued for its compact proof sizes and efficient verification times.