1. Introduction
2. 1. Creating a GCP VM
3. 2. Development environment setup
4. 3. Running provers
5. 4. Prover flow
6. 5. Proving a batch
7. Further reading