> For the complete documentation index, see [llms.txt](https://erroldrummond.gitbook.io/halo2-tutorial/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://erroldrummond.gitbook.io/halo2-tutorial/section-1.md).

# Section 1

- [Preliminaries](https://erroldrummond.gitbook.io/halo2-tutorial/section-1/preliminaries.md)
- [Halo2 Essentials](https://erroldrummond.gitbook.io/halo2-tutorial/section-1/halo2-essentials.md)
- [Chips! Fish sold separately](https://erroldrummond.gitbook.io/halo2-tutorial/section-1/chips-fish-sold-separately.md)
- [Lab: Chips](https://erroldrummond.gitbook.io/halo2-tutorial/section-1/lab-chips.md)
- [Layouter -> Gates](https://erroldrummond.gitbook.io/halo2-tutorial/section-1/layouter-greater-than-gates.md)
- [Lab: Layouter -> Gates](https://erroldrummond.gitbook.io/halo2-tutorial/section-1/lab-layouter-greater-than-gates.md)
- [Circuits](https://erroldrummond.gitbook.io/halo2-tutorial/section-1/circuits.md)
- [Lab: Circuits](https://erroldrummond.gitbook.io/halo2-tutorial/section-1/lab-circuits.md)
- [Proving](https://erroldrummond.gitbook.io/halo2-tutorial/section-1/proving.md)