Scripts to run the prover