disable placeholder verifier proving

NilFoundation · Feb 7, 2024 · c5d40c2 · c5d40c2
1 parent 6d94e25
commit c5d40c2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -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