fix: test

0xPolygonZero · Jul 26, 2024 · db4367f · db4367f
1 parent 50c5d21
commit db4367f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -214,7 +214,7 @@ jobs:
       - name: Run the script
         run: |
           pushd zero_bin/tools
-          time PROVER_BATCH_SIZE=5 PROVER_SEGMENT_CHUNK_SIZE=4 PROVER_MAX_CPU_LEN_LOG=17 ./prove_stdio.sh ./artifacts/witness_b19240705.json          
+          time PROVER_BATCH_SIZE=3 PROVER_SEGMENT_CHUNK_SIZE=4 PROVER_MAX_CPU_LEN_LOG=17 ./prove_stdio.sh ./artifacts/witness_b19240705.json          
 
 
   multi_blocks_proof_regular:

diff --git a/zero_bin/tools/prove_stdio.sh b/zero_bin/tools/prove_stdio.sh
@@ -57,12 +57,12 @@ else
         # These sizes are configured specifically for block 19240705. Don't use this in other scenarios.
         echo "Using specific circuit sizes for witness_b19240705.json"
         export ARITHMETIC_CIRCUIT_SIZE="16..19"
-        export BYTE_PACKING_CIRCUIT_SIZE="10..15"
-        export CPU_CIRCUIT_SIZE="17..21"
-        export KECCAK_CIRCUIT_SIZE="12..18"
+        export BYTE_PACKING_CIRCUIT_SIZE="9..15"
+        export CPU_CIRCUIT_SIZE="14..21"
+        export KECCAK_CIRCUIT_SIZE="10..18"
         export KECCAK_SPONGE_CIRCUIT_SIZE="7..13"
-        export LOGIC_CIRCUIT_SIZE="10..17"
-        export MEMORY_CIRCUIT_SIZE="19..23"
+        export LOGIC_CIRCUIT_SIZE="8..17"
+        export MEMORY_CIRCUIT_SIZE="18..23"
         export MEMORY_BEFORE_CIRCUIT_SIZE="15..19"
         export MEMORY_AFTER_CIRCUIT_SIZE="7..19"
     elif [[ $INPUT_FILE == *"witness_b2_b7"* ]]; then