# Section 2

- [Proper proving](/halo2-tutorial/section-2/proper-proving.md)