Basic scaffolding for setting up and writing a Halo2 ZK circuit - View it on GitHub