Parent Log: http://ci.aztec-labs.com/8f0b6a2a1f337be4 Command: 060f2775b5406036 barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.BadProofFailure Commit: https://github.com/AztecProtocol/aztec-packages/commit/4e03f15ca8099f25d50eddd19c4914764b84fe7b Env: REF_NAME=gh-readonly-queue/next/pr-15013-4800d08570523bc1b2a9e8ec0dfb09e326f4689a CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 14:38:27 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15013_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:38:27 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 14:38:27 Note: Google Test filter = ClientIVCTests.BadProofFailure 14:38:27 [==========] Running 1 test from 1 test suite. 14:38:27 [----------] Global test environment set-up. 14:38:27 [----------] 1 test from ClientIVCTests 14:38:27 [ RUN ] ClientIVCTests.BadProofFailure 14:38:27 BN254 commitment key size: 262144 (mem: 6.00 MiB) 14:38: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: 396.18 MiB) 14:38:30 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.18 MiB) 14:38: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: 698.18 MiB) 14:38: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.59 MiB) 14:38:40 Largest circuit: 47737 gates. Trace details: (mem: 728.60 MiB) 14:38:40 Minimum required block sizes for structured trace: (mem: 728.60 MiB) 14:38:40 ecc_op : 792 14:38:40 busread : 3 14:38:40 lookup : 2 14:38:40 pub_inputs : 33 14:38:40 arithmetic : 11612 14:38:40 delta_range : 2899 14:38:40 elliptic : 2 14:38:40 aux : 50 14:38:40 poseidon2_external : 4952 14:38:40 poseidon2_internal : 28217 14:38:40 overflow : 0 14:38:40 (mem: 728.60 MiB) 14:38: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: 728.60 MiB) 14:38:47 Constructing a Goblin proof with num ultra ops = 1442 (mem: 728.60 MiB) 14:39:11 BN254 commitment key size: 262144 (mem: 728.60 MiB) 14:39:12 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 728.60 MiB) 14:39: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: 728.60 MiB) 14:39: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: 789.58 MiB) 14:39:21 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 789.58 MiB) 14:39:24 Largest circuit: 47737 gates. Trace details: (mem: 821.58 MiB) 14:39:24 Minimum required block sizes for structured trace: (mem: 821.58 MiB) 14:39:24 ecc_op : 792 14:39:24 busread : 3 14:39:24 lookup : 2 14:39:24 pub_inputs : 33 14:39:24 arithmetic : 11612 14:39:24 delta_range : 2899 14:39:24 elliptic : 2 14:39:24 aux : 50 14:39:24 poseidon2_external : 4952 14:39:24 poseidon2_internal : 28217 14:39:24 overflow : 0 14:39:24 (mem: 821.58 MiB) 14:39:27 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 821.58 MiB) 14:39: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: 821.58 MiB) 14:39:31 Constructing a Goblin proof with num ultra ops = 1442 (mem: 821.58 MiB) 14:39:54 Sumcheck failed! (mem: 821.58 MiB) 14:39:54 BN254 commitment key size: 262144 (mem: 821.58 MiB) 14:39: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.58 MiB) 14:39: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.58 MiB) 14:40: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: 821.76 MiB) 14:40: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: 821.76 MiB) 14:40:07 Largest circuit: 47737 gates. Trace details: (mem: 821.77 MiB) 14:40:07 Minimum required block sizes for structured trace: (mem: 821.77 MiB) 14:40:07 ecc_op : 792 14:40:07 busread : 3 14:40:07 lookup : 2 14:40:07 pub_inputs : 33 14:40:07 arithmetic : 11612 14:40:07 delta_range : 2899 14:40:07 elliptic : 2 14:40:07 aux : 50 14:40:07 poseidon2_external : 4952 14:40:07 poseidon2_internal : 28217 14:40:07 overflow : 0 14:40:07 (mem: 821.77 MiB) 14:40:11 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 821.77 MiB) 14:40: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.77 MiB) 14:40:16 Constructing a Goblin proof with num ultra ops = 1442 (mem: 821.77 MiB) 14:40:41 Sumcheck failed! (mem: 821.77 MiB) 14:40:41 BN254 commitment key size: 262144 (mem: 821.77 MiB) 14:40:42 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.77 MiB) 14:40: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: 821.77 MiB) 14:40: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: 821.77 MiB) 14:40:50 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.77 MiB) 14:40:53 Largest circuit: 47737 gates. Trace details: (mem: 822.09 MiB) 14:40:53 Minimum required block sizes for structured trace: (mem: 822.09 MiB) 14:40:53 ecc_op : 792 14:40:53 busread : 3 14:40:53 lookup : 2 14:40:53 pub_inputs : 33 14:40:53 arithmetic : 11612 14:40:53 delta_range : 2899 14:40:53 elliptic : 2 14:40:53 aux : 50 14:40:53 poseidon2_external : 4952 14:40:53 poseidon2_internal : 28217 14:40:53 overflow : 0 14:40:53 (mem: 822.09 MiB) 14:40:56 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 822.09 MiB) 14:40: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.09 MiB) 14:40:59 Constructing a Goblin proof with num ultra ops = 1442 (mem: 822.09 MiB) 14:41:17 Sumcheck failed! (mem: 822.09 MiB) 14:41:17 [ OK ] ClientIVCTests.BadProofFailure (170501 ms) 14:41:17 [----------] 1 test from ClientIVCTests (170501 ms total) 14:41:17 14:41:17 [----------] Global test environment tear-down 14:41:17 [==========] 1 test from 1 test suite ran. (170501 ms total) 14:41:17 [ PASSED ] 1 test.