Skip to main content

Zk SNARKs Groth16

Definition

Zk-SNARKs Groth16 is a specific, widely adopted construction of a Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. This cryptographic proof system allows one party to prove to another that a statement is true without revealing any information beyond the truth of the statement itself. Groth16 is known for its efficiency, offering very small proof sizes and fast verification times. It requires a trusted setup phase for each new computation.