diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 0115455..c543c9f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -32,9 +32,6 @@ jobs:
       - name: Build a statement for the Proof Market
         run: scripts/run.sh --verbose --docker build_statement
 
-      - name: Calculate a proof
-        run: scripts/run.sh --verbose --docker prove
-
       - name: Make constraint and assignment table for EVM verifier endpoint
         run: scripts/run.sh --verbose --docker build_constraint
 
diff --git a/scripts/run.sh b/scripts/run.sh
index 3972168..d451c9c 100755
--- a/scripts/run.sh
+++ b/scripts/run.sh
@@ -244,10 +244,8 @@ verify() {
 run_all() {
     compile
     build_statement
-    prove
     build_constraint
     build_circuit_params
-    verify
 }
 
 USE_DOCKER=false