From db4367f02916d17649fb7a3b5a5e1627bb17dc90 Mon Sep 17 00:00:00 2001 From: Marko Atanasievski Date: Fri, 26 Jul 2024 00:35:12 +0200 Subject: [PATCH] fix: test --- .github/workflows/ci.yml | 2 +- zero_bin/tools/prove_stdio.sh | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f954d2760..0d383befc 100644 --- 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 index ce61a9a4d..d27957e21 100755 --- 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