Parent Log: http://ci.aztec-labs.com/401e5d3e3afe926b Command: 6b749196b5c0246c barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.BadProofFailure Commit: https://github.com/AztecProtocol/aztec-packages/commit/b608f9359219731d3c03407689a4fadaaa5a0d45 Env: REF_NAME=gh-readonly-queue/next/pr-15006-082468f0c1e7e5424b3654b5be0f3560eed7e487 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 12 13:52:16 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15006_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9f13456260f49eb0_next 13:52:16 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 13:52:16 Note: Google Test filter = ClientIVCTests.BadProofFailure 13:52:16 [==========] Running 1 test from 1 test suite. 13:52:16 [----------] Global test environment set-up. 13:52:16 [----------] 1 test from ClientIVCTests 13:52:16 [ RUN ] ClientIVCTests.BadProofFailure 13:52:16 BN254 commitment key size: 262144 (mem: 6.00 MiB) 13:52:17 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 396.23 MiB) 13:52:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 627.23 MiB) 13:52:23 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 696.23 MiB) 13:52:26 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 696.23 MiB) 13:52:29 Largest circuit: 47737 gates. Trace details: (mem: 727.49 MiB) 13:52:29 Minimum required block sizes for structured trace: (mem: 727.49 MiB) 13:52:29 ecc_op : 792 13:52:29 busread : 3 13:52:29 lookup : 2 13:52:29 pub_inputs : 33 13:52:29 arithmetic : 11612 13:52:29 delta_range : 2899 13:52:29 elliptic : 2 13:52:29 aux : 50 13:52:29 poseidon2_external : 4952 13:52:29 poseidon2_internal : 28217 13:52:29 overflow : 0 13:52:29 (mem: 727.49 MiB) 13:52:33 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 727.49 MiB) 13:52:36 Constructing a Goblin proof with num ultra ops = 1442 (mem: 727.49 MiB) 13:52:59 BN254 commitment key size: 262144 (mem: 727.49 MiB) 13:53:00 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 727.49 MiB) 13:53:03 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 727.49 MiB) 13:53:06 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 788.47 MiB) 13:53:10 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 788.47 MiB) 13:53:13 Largest circuit: 47737 gates. Trace details: (mem: 819.80 MiB) 13:53:13 Minimum required block sizes for structured trace: (mem: 819.80 MiB) 13:53:13 ecc_op : 792 13:53:13 busread : 3 13:53:13 lookup : 2 13:53:13 pub_inputs : 33 13:53:13 arithmetic : 11612 13:53:13 delta_range : 2899 13:53:13 elliptic : 2 13:53:13 aux : 50 13:53:13 poseidon2_external : 4952 13:53:13 poseidon2_internal : 28217 13:53:13 overflow : 0 13:53:13 (mem: 819.80 MiB) 13:53:17 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 819.80 MiB) 13:53:17 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 819.80 MiB) 13:53:21 Constructing a Goblin proof with num ultra ops = 1442 (mem: 819.80 MiB) 13:53:43 Sumcheck failed! (mem: 819.80 MiB) 13:53:43 BN254 commitment key size: 262144 (mem: 819.80 MiB) 13:53:44 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 819.80 MiB) 13:53:46 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 819.80 MiB) 13:53:49 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.15 MiB) 13:53:53 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.15 MiB) 13:53:58 Largest circuit: 47737 gates. Trace details: (mem: 820.15 MiB) 13:53:58 Minimum required block sizes for structured trace: (mem: 820.15 MiB) 13:53:58 ecc_op : 792 13:53:58 busread : 3 13:53:58 lookup : 2 13:53:58 pub_inputs : 33 13:53:58 arithmetic : 11612 13:53:58 delta_range : 2899 13:53:58 elliptic : 2 13:53:58 aux : 50 13:53:58 poseidon2_external : 4952 13:53:58 poseidon2_internal : 28217 13:53:58 overflow : 0 13:53:58 (mem: 820.15 MiB) 13:54:03 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 820.15 MiB) 13:54:04 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.15 MiB) 13:54:08 Constructing a Goblin proof with num ultra ops = 1442 (mem: 820.15 MiB) 13:54:32 Sumcheck failed! (mem: 820.15 MiB) 13:54:32 BN254 commitment key size: 262144 (mem: 820.15 MiB) 13:54:33 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.15 MiB) 13:54:35 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.15 MiB) 13:54:38 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.15 MiB) 13:54:41 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.15 MiB) 13:54:44 Largest circuit: 47737 gates. Trace details: (mem: 820.83 MiB) 13:54:44 Minimum required block sizes for structured trace: (mem: 820.83 MiB) 13:54:44 ecc_op : 792 13:54:44 busread : 3 13:54:44 lookup : 2 13:54:44 pub_inputs : 33 13:54:44 arithmetic : 11612 13:54:44 delta_range : 2899 13:54:44 elliptic : 2 13:54:44 aux : 50 13:54:44 poseidon2_external : 4952 13:54:44 poseidon2_internal : 28217 13:54:44 overflow : 0 13:54:44 (mem: 820.83 MiB) 13:54:46 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 820.83 MiB) 13:54:47 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.83 MiB) 13:54:50 Constructing a Goblin proof with num ultra ops = 1442 (mem: 820.83 MiB) 13:55:07 Sumcheck failed! (mem: 820.83 MiB) 13:55:07 [ OK ] ClientIVCTests.BadProofFailure (171145 ms) 13:55:07 [----------] 1 test from ClientIVCTests (171145 ms total) 13:55:07 13:55:07 [----------] Global test environment tear-down 13:55:07 [==========] 1 test from 1 test suite ran. (171145 ms total) 13:55:07 [ PASSED ] 1 test.