Parent Log: http://ci.aztec-labs.com/6ccef2f262daf021 Command: 6b749196b5c0246c barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.BadProofFailure Commit: https://github.com/AztecProtocol/aztec-packages/commit/2b9c409698cf0f475a7a9f5884117c8ad2a4f79a Env: REF_NAME=gh-readonly-queue/next/pr-14987-f880f14c946fb8464186d4178c5d49e391041988 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 12 14:43:38 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14987_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9f13456260f49eb0_next 14:43:38 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 14:43:38 Note: Google Test filter = ClientIVCTests.BadProofFailure 14:43:38 [==========] Running 1 test from 1 test suite. 14:43:38 [----------] Global test environment set-up. 14:43:38 [----------] 1 test from ClientIVCTests 14:43:38 [ RUN ] ClientIVCTests.BadProofFailure 14:43:38 BN254 commitment key size: 262144 (mem: 6.00 MiB) 14:43:39 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 394.17 MiB) 14:43: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: 627.17 MiB) 14:43: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: 696.17 MiB) 14:43:48 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.20 MiB) 14:43:51 Largest circuit: 47737 gates. Trace details: (mem: 727.20 MiB) 14:43:51 Minimum required block sizes for structured trace: (mem: 727.20 MiB) 14:43:51 ecc_op : 792 14:43:51 busread : 3 14:43:51 lookup : 2 14:43:51 pub_inputs : 33 14:43:51 arithmetic : 11612 14:43:51 delta_range : 2899 14:43:51 elliptic : 2 14:43:51 aux : 50 14:43:51 poseidon2_external : 4952 14:43:51 poseidon2_internal : 28217 14:43:51 overflow : 0 14:43:51 (mem: 727.20 MiB) 14:43:54 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.20 MiB) 14:43:57 Constructing a Goblin proof with num ultra ops = 1442 (mem: 727.20 MiB) 14:44:21 BN254 commitment key size: 262144 (mem: 727.20 MiB) 14:44:22 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.20 MiB) 14:44:25 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.20 MiB) 14:44:28 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 790.25 MiB) 14:44:32 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 790.25 MiB) 14:44:35 Largest circuit: 47737 gates. Trace details: (mem: 820.73 MiB) 14:44:35 Minimum required block sizes for structured trace: (mem: 820.73 MiB) 14:44:35 ecc_op : 792 14:44:35 busread : 3 14:44:35 lookup : 2 14:44:35 pub_inputs : 33 14:44:35 arithmetic : 11612 14:44:35 delta_range : 2899 14:44:35 elliptic : 2 14:44:35 aux : 50 14:44:35 poseidon2_external : 4952 14:44:35 poseidon2_internal : 28217 14:44:35 overflow : 0 14:44:35 (mem: 820.73 MiB) 14:44:38 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 820.73 MiB) 14:44: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.73 MiB) 14:44:41 Constructing a Goblin proof with num ultra ops = 1442 (mem: 820.73 MiB) 14:45:04 Sumcheck failed! (mem: 820.73 MiB) 14:45:04 BN254 commitment key size: 262144 (mem: 820.73 MiB) 14:45:05 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.73 MiB) 14:45:07 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.73 MiB) 14:45: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: 821.72 MiB) 14:45:13 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 821.72 MiB) 14:45:18 Largest circuit: 47737 gates. Trace details: (mem: 821.73 MiB) 14:45:18 Minimum required block sizes for structured trace: (mem: 821.73 MiB) 14:45:18 ecc_op : 792 14:45:18 busread : 3 14:45:18 lookup : 2 14:45:18 pub_inputs : 33 14:45:18 arithmetic : 11612 14:45:18 delta_range : 2899 14:45:18 elliptic : 2 14:45:18 aux : 50 14:45:18 poseidon2_external : 4952 14:45:18 poseidon2_internal : 28217 14:45:18 overflow : 0 14:45:18 (mem: 821.73 MiB) 14:45:22 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 821.73 MiB) 14:45: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: 821.73 MiB) 14:45:28 Constructing a Goblin proof with num ultra ops = 1442 (mem: 821.73 MiB) 14:45:54 Sumcheck failed! (mem: 821.73 MiB) 14:45:54 BN254 commitment key size: 262144 (mem: 821.73 MiB) 14:45:55 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 821.73 MiB) 14:45:57 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 821.73 MiB) 14:46: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: 822.06 MiB) 14:46: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: 822.06 MiB) 14:46:07 Largest circuit: 47737 gates. Trace details: (mem: 823.03 MiB) 14:46:07 Minimum required block sizes for structured trace: (mem: 823.03 MiB) 14:46:07 ecc_op : 792 14:46:07 busread : 3 14:46:07 lookup : 2 14:46:07 pub_inputs : 33 14:46:07 arithmetic : 11612 14:46:07 delta_range : 2899 14:46:07 elliptic : 2 14:46:07 aux : 50 14:46:07 poseidon2_external : 4952 14:46:07 poseidon2_internal : 28217 14:46:07 overflow : 0 14:46:07 (mem: 823.03 MiB) 14:46:09 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 823.03 MiB) 14:46: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: 823.03 MiB) 14:46:13 Constructing a Goblin proof with num ultra ops = 1442 (mem: 823.03 MiB) 14:46:31 Sumcheck failed! (mem: 823.03 MiB) 14:46:32 [ OK ] ClientIVCTests.BadProofFailure (173788 ms) 14:46:32 [----------] 1 test from ClientIVCTests (173788 ms total) 14:46:32 14:46:32 [----------] Global test environment tear-down 14:46:32 [==========] 1 test from 1 test suite ran. (173788 ms total) 14:46:32 [ PASSED ] 1 test.