Groth16
Groth16 is a well-known zk-SNARK system based on pairings. Its main role is to enable a prover to confirm the correctness of a claim to a verifier, while keeping any extra information confidential. A notable characteristic of Groth16 is its brevity; the proofs produced are compact, requiring little storage and transmission capacity. This feature is essential for platforms such as blockchain systems or privacy-centric protocols where the size of the proof is crucial.
