diff --git a/barretenberg/acir_tests/bootstrap.sh b/barretenberg/acir_tests/bootstrap.sh index 6b60ab44d6c5..4feb21a0d0cf 100755 --- a/barretenberg/acir_tests/bootstrap.sh +++ b/barretenberg/acir_tests/bootstrap.sh @@ -152,7 +152,7 @@ function test_cmds { for t in assert_statement a_1_mul slices verify_honk_proof; do echo "$sol_prefix $scripts/bb_prove_sol_verify.sh $t --disable_zk" echo "$sol_prefix $scripts/bb_prove_sol_verify.sh $t" - echo "$sol_prefix USE_OPTIMIZED_CONTRACT=true $scripts/bb_prove_sol_verify.sh $t" + echo "$sol_prefix USE_OPTIMIZED_CONTRACT=true $scripts/bb_prove_sol_verify.sh $t --disable_zk" done # prove with bb cli and verify with bb.js classes echo "$sol_prefix $scripts/bb_prove_bbjs_verify.sh a_1_mul" diff --git a/noir-projects/noir-protocol-circuits/bootstrap.sh b/noir-projects/noir-protocol-circuits/bootstrap.sh index 6ee4c0968bd6..08efa224613d 100755 --- a/noir-projects/noir-protocol-circuits/bootstrap.sh +++ b/noir-projects/noir-protocol-circuits/bootstrap.sh @@ -119,7 +119,7 @@ function compile { local verifier_path="$key_dir/${name}_verifier.sol" SECONDS=0 # Generate solidity verifier for this contract. - echo "$vk_bytes" | xxd -r -p | $BB write_solidity_verifier --scheme ultra_honk --disable_zk -k - -o $verifier_path + echo "$vk_bytes" | xxd -r -p | $BB write_solidity_verifier --scheme ultra_honk --disable_zk -k - -o $verifier_path --optimized echo_stderr "Root rollup verifier at: $verifier_path (${SECONDS}s)" # Include the verifier path if we create it. cache_upload vk-$hash.tar.gz $key_path $verifier_path &> /dev/null