From 0f08be6e3ce97a4d8e21257441f0d0777af4ac75 Mon Sep 17 00:00:00 2001 From: Robin Salen Date: Tue, 1 Oct 2024 17:24:53 -0400 Subject: [PATCH] Tweak range --- scripts/prove_stdio.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/prove_stdio.sh b/scripts/prove_stdio.sh index 7249dce92..ac7b6b66f 100755 --- a/scripts/prove_stdio.sh +++ b/scripts/prove_stdio.sh @@ -73,7 +73,7 @@ if ! [[ $TEST_ONLY == "test_only" ]]; then export KECCAK_SPONGE_CIRCUIT_SIZE="8..9" export LOGIC_CIRCUIT_SIZE="4..14" export MEMORY_CIRCUIT_SIZE="17..22" - export MEMORY_BEFORE_CIRCUIT_SIZE="17..18" + export MEMORY_BEFORE_CIRCUIT_SIZE="16..18" export MEMORY_AFTER_CIRCUIT_SIZE="7..8" export POSEIDON_CIRCUIT_SIZE="4..8" else