Parent Log: http://ci.aztec-labs.com/4f0c86dfaf3ac961 Command: 6b749196b5c0246c barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.BadProofFailure Commit: https://github.com/AztecProtocol/aztec-packages/commit/f880f14c946fb8464186d4178c5d49e391041988 Env: REF_NAME=gh-readonly-queue/next/pr-14967-b608f9359219731d3c03407689a4fadaaa5a0d45 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 12 14:20:31 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14967_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9f13456260f49eb0_next 14:20:31 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 14:20:31 Note: Google Test filter = ClientIVCTests.BadProofFailure 14:20:31 [==========] Running 1 test from 1 test suite. 14:20:31 [----------] Global test environment set-up. 14:20:31 [----------] 1 test from ClientIVCTests 14:20:31 [ RUN ] ClientIVCTests.BadProofFailure 14:20:31 BN254 commitment key size: 262144 (mem: 6.00 MiB) 14:20: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: 394.61 MiB) 14:20:34 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 629.61 MiB) 14:20:37 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 698.61 MiB) 14:20: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: 698.79 MiB) 14:20:44 Largest circuit: 47737 gates. Trace details: (mem: 729.79 MiB) 14:20:44 Minimum required block sizes for structured trace: (mem: 729.79 MiB) 14:20:44 ecc_op : 792 14:20:44 busread : 3 14:20:44 lookup : 2 14:20:44 pub_inputs : 33 14:20:44 arithmetic : 11612 14:20:44 delta_range : 2899 14:20:44 elliptic : 2 14:20:44 aux : 50 14:20:44 poseidon2_external : 4952 14:20:44 poseidon2_internal : 28217 14:20:44 overflow : 0 14:20:44 (mem: 729.79 MiB) 14:20: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: 729.79 MiB) 14:20:50 Constructing a Goblin proof with num ultra ops = 1442 (mem: 729.79 MiB) 14:21:13 BN254 commitment key size: 262144 (mem: 729.79 MiB) 14:21:14 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 729.79 MiB) 14:21:16 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 729.79 MiB) 14:21:20 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 792.82 MiB) 14:21: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: 792.89 MiB) 14:21:27 Largest circuit: 47737 gates. Trace details: (mem: 822.88 MiB) 14:21:27 Minimum required block sizes for structured trace: (mem: 822.88 MiB) 14:21:27 ecc_op : 792 14:21:27 busread : 3 14:21:27 lookup : 2 14:21:27 pub_inputs : 33 14:21:27 arithmetic : 11612 14:21:27 delta_range : 2899 14:21:27 elliptic : 2 14:21:27 aux : 50 14:21:27 poseidon2_external : 4952 14:21:27 poseidon2_internal : 28217 14:21:27 overflow : 0 14:21:27 (mem: 822.88 MiB) 14:21:30 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 822.88 MiB) 14:21:31 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.88 MiB) 14:21:34 Constructing a Goblin proof with num ultra ops = 1442 (mem: 822.88 MiB) 14:21:56 Sumcheck failed! (mem: 822.88 MiB) 14:21:56 BN254 commitment key size: 262144 (mem: 822.88 MiB) 14:21: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: 822.88 MiB) 14:21:59 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.88 MiB) 14:22:02 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.27 MiB) 14:22: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: 823.27 MiB) 14:22:09 Largest circuit: 47737 gates. Trace details: (mem: 823.27 MiB) 14:22:09 Minimum required block sizes for structured trace: (mem: 823.27 MiB) 14:22:09 ecc_op : 792 14:22:09 busread : 3 14:22:09 lookup : 2 14:22:09 pub_inputs : 33 14:22:09 arithmetic : 11612 14:22:09 delta_range : 2899 14:22:09 elliptic : 2 14:22:09 aux : 50 14:22:09 poseidon2_external : 4952 14:22:09 poseidon2_internal : 28217 14:22:09 overflow : 0 14:22:09 (mem: 823.27 MiB) 14:22:13 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 823.27 MiB) 14:22:14 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.27 MiB) 14:22:18 Constructing a Goblin proof with num ultra ops = 1442 (mem: 823.27 MiB) 14:22:43 Sumcheck failed! (mem: 823.27 MiB) 14:22:43 BN254 commitment key size: 262144 (mem: 823.27 MiB) 14:22: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: 823.27 MiB) 14:22: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: 823.27 MiB) 14:22: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: 823.27 MiB) 14:22:52 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.27 MiB) 14:22:55 Largest circuit: 47737 gates. Trace details: (mem: 823.27 MiB) 14:22:55 Minimum required block sizes for structured trace: (mem: 823.27 MiB) 14:22:55 ecc_op : 792 14:22:55 busread : 3 14:22:55 lookup : 2 14:22:55 pub_inputs : 33 14:22:55 arithmetic : 11612 14:22:55 delta_range : 2899 14:22:55 elliptic : 2 14:22:55 aux : 50 14:22:55 poseidon2_external : 4952 14:22:55 poseidon2_internal : 28217 14:22:55 overflow : 0 14:22:55 (mem: 823.27 MiB) 14:22:57 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 823.27 MiB) 14:22:58 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.27 MiB) 14:23:01 Constructing a Goblin proof with num ultra ops = 1442 (mem: 823.27 MiB) 14:23:19 Sumcheck failed! (mem: 823.27 MiB) 14:23:19 [ OK ] ClientIVCTests.BadProofFailure (168197 ms) 14:23:19 [----------] 1 test from ClientIVCTests (168197 ms total) 14:23:19 14:23:19 [----------] Global test environment tear-down 14:23:19 [==========] 1 test from 1 test suite ran. (168197 ms total) 14:23:19 [ PASSED ] 1 test.