Multiple small fixes for the prover CLI (#579)

* Add fixes

* Move requirements

* Update ci

.github/workflows/ci.yaml

@@ -96,7 +96,7 @@ jobs:
           cache: "pip"
 
       - name: Install cairo-lang toolchain and dependencies
-        run: pip install -r requirements.txt
+        run: pip install -r provers/cairo/requirements.txt
 
       - name: Install testing tools
         uses: taiki-e/install-action@v2

provers/cairo/Makefile

@@ -2,7 +2,7 @@
 
 ROOT_DIR:=$(shell dirname $(realpath $(firstword $(MAKEFILE_LIST))))
 
-CAIRO0_PROGRAMS_DIR=cairo_prover/cairo_programs/cairo0
+CAIRO0_PROGRAMS_DIR=cairo_programs/cairo0
 CAIRO0_PROGRAMS:=$(wildcard $(CAIRO0_PROGRAMS_DIR)/*.cairo)
 COMPILED_CAIRO0_PROGRAMS:=$(patsubst $(CAIRO0_PROGRAMS_DIR)/%.cairo, $(CAIRO0_PROGRAMS_DIR)/%.json, $(CAIRO0_PROGRAMS))
 

provers/cairo/cairo_compile.Dockerfile

@@ -0,0 +1,11 @@
+FROM python:3.9-slim
+
+WORKDIR /app
+
+RUN apt-get update && apt-get install -y --no-install-recommends g++ libgmp3-dev
+
+COPY requirements.txt /
+
+RUN pip install -r /requirements.txt
+
+ENTRYPOINT ["cairo-compile"]

provers/cairo/src/main.rs

@@ -87,6 +87,11 @@ fn main() {
             let input_path = &args[2];
             let output_path = &args[3];
 
+            if input_path.contains(".cairo") {
+                println!("\nYou are trying to prove a non compiled Cairo program. Please compile it before sending it to the prover.\n");
+                return;
+            }
+
             let Some((proof, pub_inputs)) = generate_proof(input_path, &proof_options) else {
                 return;
             };