Groth16

Groth16 is a pairing-based zk-SNARK system designed to enable a prover to convince a verifier that a statement is true without revealing any additional information.

Its defining strength is the succinctness of its proofs: they are compact and require minimal storage and bandwidth for transmission.