Running the Prover

Our ZK code is spread across three repositories: