ACI ·

Parent Log: http://ci.aztec-labs.com/4df5d3e68602ef2d Command: 6b749196b5c0246c barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.BadProofFailure Commit: https://github.com/AztecProtocol/aztec-packages/commit/ada03190841b1923625905b0e6ea3bdc4a3b3e84 Env: REF_NAME=gh-readonly-queue/next/pr-14953-1650b3d017a2a4fa5182c8787e79cc108e24e1f4 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 12 10:53:21 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14953_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9f13456260f49eb0_next 10:53:21 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 10:53:21 Note: Google Test filter = ClientIVCTests.BadProofFailure 10:53:21 [==========] Running 1 test from 1 test suite. 10:53:21 [----------] Global test environment set-up. 10:53:21 [----------] 1 test from ClientIVCTests 10:53:21 [ RUN ] ClientIVCTests.BadProofFailure 10:53:21 BN254 commitment key size: 262144 (mem: 6.00 MiB) 10:53: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: 395.19 MiB) 10:53: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: 626.19 MiB) 10:53: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: 695.19 MiB) 10:53: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: 695.37 MiB) 10:53:34 Largest circuit: 47737 gates. Trace details: (mem: 726.38 MiB) 10:53:34 Minimum required block sizes for structured trace: (mem: 726.38 MiB) 10:53:34 ecc_op : 792 10:53:34 busread : 3 10:53:34 lookup : 2 10:53:34 pub_inputs : 33 10:53:34 arithmetic : 11612 10:53:34 delta_range : 2899 10:53:34 elliptic : 2 10:53:34 aux : 50 10:53:34 poseidon2_external : 4952 10:53:34 poseidon2_internal : 28217 10:53:34 overflow : 0 10:53:34 (mem: 726.38 MiB) 10:53: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: 726.38 MiB) 10:53:40 Constructing a Goblin proof with num ultra ops = 1442 (mem: 726.38 MiB) 10:54:03 BN254 commitment key size: 262144 (mem: 726.38 MiB) 10: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: 726.38 MiB) 10:54: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: 726.38 MiB) 10:54: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: 787.43 MiB) 10:54: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: 787.43 MiB) 10:54:17 Largest circuit: 47737 gates. Trace details: (mem: 817.16 MiB) 10:54:17 Minimum required block sizes for structured trace: (mem: 817.16 MiB) 10:54:17 ecc_op : 792 10:54:17 busread : 3 10:54:17 lookup : 2 10:54:17 pub_inputs : 33 10:54:17 arithmetic : 11612 10:54:17 delta_range : 2899 10:54:17 elliptic : 2 10:54:17 aux : 50 10:54:17 poseidon2_external : 4952 10:54:17 poseidon2_internal : 28217 10:54:17 overflow : 0 10:54:17 (mem: 817.16 MiB) 10:54:20 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 817.16 MiB) 10:54: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: 817.16 MiB) 10:54:25 Constructing a Goblin proof with num ultra ops = 1442 (mem: 817.16 MiB) 10:54:47 Sumcheck failed! (mem: 817.16 MiB) 10:54:47 BN254 commitment key size: 262144 (mem: 817.16 MiB) 10:54: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: 817.16 MiB) 10:54: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: 817.16 MiB) 10:54: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: 818.14 MiB) 10:54: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: 818.14 MiB) 10:55:00 Largest circuit: 47737 gates. Trace details: (mem: 818.15 MiB) 10:55:00 Minimum required block sizes for structured trace: (mem: 818.15 MiB) 10:55:00 ecc_op : 792 10:55:00 busread : 3 10:55:00 lookup : 2 10:55:00 pub_inputs : 33 10:55:00 arithmetic : 11612 10:55:00 delta_range : 2899 10:55:00 elliptic : 2 10:55:00 aux : 50 10:55:00 poseidon2_external : 4952 10:55:00 poseidon2_internal : 28217 10:55:00 overflow : 0 10:55:00 (mem: 818.15 MiB) 10:55:03 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 818.15 MiB) 10:55: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: 818.15 MiB) 10:55:09 Constructing a Goblin proof with num ultra ops = 1442 (mem: 818.15 MiB) 10:55:34 Sumcheck failed! (mem: 818.15 MiB) 10:55:34 BN254 commitment key size: 262144 (mem: 818.15 MiB) 10:55: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: 818.15 MiB) 10:55: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: 818.15 MiB) 10:55: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: 818.15 MiB) 10:55: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: 818.15 MiB) 10:55:47 Largest circuit: 47737 gates. Trace details: (mem: 818.66 MiB) 10:55:47 Minimum required block sizes for structured trace: (mem: 818.66 MiB) 10:55:47 ecc_op : 792 10:55:47 busread : 3 10:55:47 lookup : 2 10:55:47 pub_inputs : 33 10:55:47 arithmetic : 11612 10:55:47 delta_range : 2899 10:55:47 elliptic : 2 10:55:47 aux : 50 10:55:47 poseidon2_external : 4952 10:55:47 poseidon2_internal : 28217 10:55:47 overflow : 0 10:55:47 (mem: 818.66 MiB) 10:55:50 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 818.66 MiB) 10:55: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: 818.66 MiB) 10:55:53 Constructing a Goblin proof with num ultra ops = 1442 (mem: 818.66 MiB) 10:56:12 Sumcheck failed! (mem: 818.66 MiB) 10:56:13 [ OK ] ClientIVCTests.BadProofFailure (171102 ms) 10:56:13 [----------] 1 test from ClientIVCTests (171102 ms total) 10:56:13 10:56:13 [----------] Global test environment tear-down 10:56:13 [==========] 1 test from 1 test suite ran. (171102 ms total) 10:56:13 [ PASSED ] 1 test.