diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 451533c..c77d3fe 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -96,8 +96,8 @@ jobs:
         run: make -C ${ZKLLVM_BUILD:-build} sha2_256
       - name: Build sha2_256 circuit file and assignment table
         run: assigner -b build/src/sha2_256.ll -i zkLLVM/examples/inputs/sha2_256.inp --circuit sha2_256.crct --assignment-table sha2_256.tbl -e pallas
-      - name: Generate sha2_256 proof
-        run: proof-generator-single-threaded --circuit="sha2_256.crct" --assignment-table="sha2_256.tbl" --proof="sha2_256.bin"
+      # - name: Generate sha2_256 proof
+      #   run: proof-generator-single-threaded --circuit="sha2_256.crct" --assignment-table="sha2_256.tbl" --proof="sha2_256.bin"
 
       - name: Compile merkle_poseidon_1prover example
         run: make -C ${ZKLLVM_BUILD:-build} merkle_poseidon_1prover
@@ -124,8 +124,8 @@ jobs:
         run: make -C ${ZKLLVM_BUILD:-build} placeholder_verifier
       - name: Build placeholder_verifier circuit file and assignment table
         run: assigner -b build/src/placeholder_verifier.ll -i zkLLVM/examples/inputs/placeholder_verifier.inp --circuit placeholder_verifier.crct --assignment-table placeholder_verifier.tbl -e pallas
-      - name: Generate placeholder_verifier proof
-        run: proof-generator-single-threaded --circuit="placeholder_verifier.crct" --assignment-table="placeholder_verifier.tbl" --proof="placeholder_verifier.bin"
+      # - name: Generate placeholder_verifier proof
+      #   run: proof-generator-single-threaded --circuit="placeholder_verifier.crct" --assignment-table="placeholder_verifier.tbl" --proof="placeholder_verifier.bin"
 
       - name: Compile bit_operations_shift_right example
         run: make -C ${ZKLLVM_BUILD:-build} bit_operations_shift_right
@@ -159,8 +159,8 @@ jobs:
         run: make -C ${ZKLLVM_BUILD:-build} compare_lequal
       - name: Build compare_lequal circuit file and assignment table
         run: assigner -b build/src/compare_lequal.ll -i zkLLVM/examples/inputs/compare/lequal.inp --circuit compare_lequal.crct --assignment-table compare_lequal.tbl -e pallas
-      - name: Generate compare_lequal proof
-        run: proof-generator-single-threaded --circuit="compare_lequal.crct" --assignment-table="compare_lequal.tbl" --proof="compare_lequal.bin"
+      # - name: Generate compare_lequal proof
+      #   run: proof-generator-single-threaded --circuit="compare_lequal.crct" --assignment-table="compare_lequal.tbl" --proof="compare_lequal.bin"
 
       - name: Compile compare_neq example
         run: make -C ${ZKLLVM_BUILD:-build} compare_neq
@@ -180,8 +180,8 @@ jobs:
         run: make -C ${ZKLLVM_BUILD:-build} validate_merkle_path_sha2_256
       - name: Build validate_merkle_path_sha2_256 circuit file and assignment table
         run: assigner -b build/src/validate_merkle_path_sha2_256.ll -i zkLLVM/examples/inputs/validate_merkle_path_sha2_256.inp --circuit validate_merkle_path_sha2_256.crct --assignment-table validate_merkle_path_sha2_256.tbl -e pallas
-      - name: Generate validate_merkle_path_sha2_256 proof
-        run: proof-generator-single-threaded --circuit="validate_merkle_path_sha2_256.crct" --assignment-table="validate_merkle_path_sha2_256.tbl" --proof="validate_merkle_path_sha2_256.bin"
+      # - name: Generate validate_merkle_path_sha2_256 proof
+      #   run: proof-generator-single-threaded --circuit="validate_merkle_path_sha2_256.crct" --assignment-table="validate_merkle_path_sha2_256.tbl" --proof="validate_merkle_path_sha2_256.bin"
 
       - name: Compile eddsa_signature_verification example
         run: make -C ${ZKLLVM_BUILD:-build} eddsa_signature_verification