Home > Resources > blogs > groth16

Groth16 (Alin Tomescu)

URL: https://alinush.github.io/groth16

Summary

Detailed walkthrough of the Groth16 proof system by Alin Tomescu. Covers the QAP-based construction, the trusted setup (CRS), the pairing-based verification equation, and the security assumptions. Companion resource to Tomescu's broader cryptographic principles blog.

Related resources

• Cryptographic Principles (Alin Tomescu) (blog, 2021)
• On the Size of Pairing-Based Non-interactive Arguments (Groth16) (paper, 2016)