http-prover refactor

Cargo.toml

@@ -4,9 +4,9 @@ members = [
     "prover",
     "common",
     "prover-sdk",
-    "bin/cairo-prove",
     "bin/keygen",
     "bin/register",
+    "bin/prover-cli",
 ]
 [workspace.package]
 version = "0.1.0"
@@ -23,6 +23,7 @@ tempfile = "3.12.0"
 serde = { version = "1.0.209", features = ["derive"] }
 common = { path = "common" }
 prover-sdk = { path = "prover-sdk" }
+prover = { path = "prover" }
 reqwest = { version = "0.11.27", features = [
     "blocking",
     "json",

Dockerfile

@@ -40,7 +40,9 @@ RUN git clone --depth=1 -b v2.7.0-rc.3 https://github.com/starkware-libs/cairo.g
 RUN mv cairo/corelib/ .
 RUN rm -rf cairo
 
-RUN git clone -b cairo-bootloader/all-in-one https://github.com/cartridge-gg/cairo-lang.git
+RUN git clone https://github.com/cartridge-gg/cairo-lang.git && \
+    cd cairo-lang && \
+    git checkout 13963e0
 RUN pip install -r cairo-lang/scripts/requirements.txt
 RUN pip install aiofiles
 
@@ -51,8 +53,10 @@ COPY --from=prover /usr/bin/cpu_air_verifier /usr/local/bin/cpu_air_verifier
 
 COPY --from=builder /app/config/cpu_air_prover_config.json /config/cpu_air_prover_config.json
 COPY --from=builder /app/scripts/compile_bootloaders.sh /scripts/compile_bootloaders.sh
+COPY --from=builder /app/scripts/compile_layout_bridge.sh /scripts/compile_layout_bridge.sh
 
 RUN scripts/compile_bootloaders.sh
+RUN scripts/compile_layout_bridge.sh
 
 EXPOSE 3000