fix(sol): temporarily disable optimized verifier (#16799)

Author: ludamad

.test_patterns.yml

@@ -262,19 +262,10 @@ tests:
     error_regex: "Exceeded timeout of"
     owners:
       - *luke
-  - regex: "e2e_prover/full"
-    error_regex: "ProvingError: Failed to verify proof from key!"
-    owners:
-      - *david
   - regex: "slasher/src/slasher_client.test.ts"
     error_regex: "ContractFunctionExecutionError: The contract function"
     owners:
       - *mitch
-  - regex: "e2e_prover/full"
-    error_regex: "Rollup submit epoch proof failed"
-    owners:
-      - *alex
-
   # Nightly GKE tests
   - regex: "spartan/bootstrap.sh"
     owners:

noir-projects/noir-protocol-circuits/bootstrap.sh

@@ -126,7 +126,9 @@ 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 --optimized
+      # TODO(AD) ensure this passes.
+      #echo "$vk_bytes" | xxd -r -p | $BB write_solidity_verifier --scheme ultra_honk --disable_zk -k - -o $verifier_path --optimized
+      echo "$vk_bytes" | xxd -r -p | $BB write_solidity_verifier --scheme ultra_honk --disable_zk -k - -o $verifier_path
       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

yarn-project/end-to-end/src/e2e_prover/full.test.ts

@@ -16,8 +16,8 @@ import { type GetContractReturnType, getContract } from 'viem';
 
 import { FullProverTest } from '../fixtures/e2e_prover_test.js';
 
-// Set a very long 20 minute timeout.
-const TIMEOUT = 1_200_000;
+// Set a very long 15 minute timeout.
+const TIMEOUT = 900_000;
 
 // This makes AVM proving throw if there's a failure.
 process.env.AVM_PROVING_STRICT = '1';