# Halo2 > https://linear.app/uncloak/issue/UNC-19/halo2-examples ## Getting Started > https://zcash.github.io/halo2/ - Start [here](https://zcash.github.io/halo2/concepts.html) and take notes on everything. ### Notes #### Proof systems > The aim of any proof system is to be able to prove interesting mathematical or cryptographic statements.