- [An overview of the Groth 16 proof system](https://blog.lambdaclass.com/groth16/)