Halo2 Tutorial Intro
https://erroldrummond.gitbook.io/halo2-tutorial/