Parent Log: http://ci.aztec-labs.com/2f9b375d98da9914 Command: ddee941f13db6e98 barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.DynamicTraceOverflow Commit: https://github.com/AztecProtocol/aztec-packages/commit/76ca48a2187e3506bb464eae574e49476c2876ca Env: REF_NAME=gh-readonly-queue/next/pr-15045-9d6fb0bd1594726370a5f3a56591963452264642 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 18:09:42 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15045_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_f9386aa4628b9a53_next 18:09:42 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 18:09:42 Note: Google Test filter = ClientIVCTests.DynamicTraceOverflow 18:09:42 [==========] Running 1 test from 1 test suite. 18:09:42 [----------] Global test environment set-up. 18:09:42 [----------] 1 test from ClientIVCTests 18:09:42 [ RUN ] ClientIVCTests.DynamicTraceOverflow 18:09:42 BN254 commitment key size: 262144 (mem: 6.00 MiB) 18:09:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 552.86 MiB) 18:09:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 552.86 MiB) 18:09:43 goblin ecc op : 4/16384 (mem: 552.86 MiB) 18:09:43 busread : 3/16384 (mem: 552.86 MiB) 18:09:43 lookups : 2/16384 (mem: 552.86 MiB) 18:09:43 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 552.86 MiB) 18:09:43 arithmetic : 32768/32768 (mem: 552.86 MiB) 18:09:43 delta range : 1754/16384 (mem: 552.86 MiB) 18:09:43 elliptic : 2/16384 (mem: 552.86 MiB) 18:09:43 auxiliary : 26/16384 (mem: 552.86 MiB) 18:09:43 poseidon ext : 2/16384 (mem: 552.86 MiB) 18:09:43 poseidon int : 2/32768 (mem: 552.86 MiB) 18:09:43 overflow : 231118/231118 (mem: 552.86 MiB) 18:09:43 (mem: 552.86 MiB) 18:09:43 Total structured size: 427727 (mem: 552.86 MiB) 18:09: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: 1674.81 MiB) 18:09:59 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1674.81 MiB) 18:09: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: 1674.81 MiB) 18:10:05 Largest circuit: 265676 gates. Trace details: (mem: 1674.81 MiB) 18:10:05 Minimum required block sizes for structured trace: (mem: 1674.81 MiB) 18:10:05 ecc_op : 56 18:10:05 busread : 3 18:10:05 lookup : 2 18:10:05 pub_inputs : 33 18:10:05 arithmetic : 32768 18:10:05 delta_range : 2041 18:10:05 elliptic : 2 18:10:05 aux : 50 18:10:05 poseidon2_external : 1312 18:10:05 poseidon2_internal : 7469 18:10:05 overflow : 231118 18:10:05 (mem: 1674.81 MiB) 18:10: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: 1728.68 MiB) 18:10:17 Constructing a Goblin proof with num ultra ops = 646 (mem: 1728.68 MiB) 18:10:41 BN254 commitment key size: 262144 (mem: 1728.68 MiB) 18:10: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: 1728.68 MiB) 18:10:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1728.68 MiB) 18:10:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1728.68 MiB) 18:10:43 goblin ecc op : 56/16384 (mem: 1728.68 MiB) 18:10:43 busread : 3/16384 (mem: 1728.68 MiB) 18:10:43 lookups : 2/16384 (mem: 1728.68 MiB) 18:10:43 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1728.68 MiB) 18:10:43 arithmetic : 32768/32768 (mem: 1728.68 MiB) 18:10:43 delta range : 2041/16384 (mem: 1728.68 MiB) 18:10:43 elliptic : 2/16384 (mem: 1728.68 MiB) 18:10:43 auxiliary : 50/16384 (mem: 1728.68 MiB) 18:10:43 poseidon ext : 1312/16384 (mem: 1728.68 MiB) 18:10:43 poseidon int : 7469/32768 (mem: 1728.68 MiB) 18:10:43 overflow : 37218/37218 (mem: 1728.68 MiB) 18:10:43 (mem: 1728.68 MiB) 18:10:43 Total structured size: 233827 (mem: 1728.68 MiB) 18:10:45 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1728.68 MiB) 18:10:51 Largest circuit: 80864 gates. Trace details: (mem: 1728.68 MiB) 18:10:51 Minimum required block sizes for structured trace: (mem: 1728.68 MiB) 18:10:51 ecc_op : 56 18:10:51 busread : 3 18:10:51 lookup : 2 18:10:51 pub_inputs : 33 18:10:51 arithmetic : 32768 18:10:51 delta_range : 2041 18:10:51 elliptic : 2 18:10:51 aux : 50 18:10:51 poseidon2_external : 1312 18:10:51 poseidon2_internal : 7469 18:10:51 overflow : 37218 18:10:51 (mem: 1728.68 MiB) 18:10:56 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1728.68 MiB) 18:10:59 Constructing a Goblin proof with num ultra ops = 646 (mem: 1728.68 MiB) 18:11:19 BN254 commitment key size: 262144 (mem: 1728.68 MiB) 18:11: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: 1728.68 MiB) 18:11:24 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1728.68 MiB) 18:11:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 1728.68 MiB) 18:11:24 goblin ecc op : 56/16384 (mem: 1728.68 MiB) 18:11:24 busread : 3/16384 (mem: 1728.68 MiB) 18:11:24 lookups : 2/16384 (mem: 1728.68 MiB) 18:11:24 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1728.68 MiB) 18:11:24 arithmetic : 32768/32768 (mem: 1728.68 MiB) 18:11:24 delta range : 2041/16384 (mem: 1728.68 MiB) 18:11:24 elliptic : 2/16384 (mem: 1728.68 MiB) 18:11:24 auxiliary : 50/16384 (mem: 1728.68 MiB) 18:11:24 poseidon ext : 1312/16384 (mem: 1728.68 MiB) 18:11:24 poseidon int : 7469/32768 (mem: 1728.68 MiB) 18:11:24 overflow : 233826/233826 (mem: 1728.68 MiB) 18:11:24 (mem: 1728.68 MiB) 18:11:24 Total structured size: 430435 (mem: 1728.68 MiB) 18:11:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 2013.19 MiB) 18:11: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: 2013.19 MiB) 18:11:46 Largest circuit: 277472 gates. Trace details: (mem: 2046.19 MiB) 18:11:46 Minimum required block sizes for structured trace: (mem: 2046.19 MiB) 18:11:46 ecc_op : 56 18:11:46 busread : 3 18:11:46 lookup : 2 18:11:46 pub_inputs : 33 18:11:46 arithmetic : 32768 18:11:46 delta_range : 2041 18:11:46 elliptic : 2 18:11:46 aux : 50 18:11:46 poseidon2_external : 1312 18:11:46 poseidon2_internal : 7469 18:11:46 overflow : 233826 18:11:46 (mem: 2046.19 MiB) 18:11: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: 2046.19 MiB) 18:11:58 Constructing a Goblin proof with num ultra ops = 646 (mem: 2046.19 MiB) 18:12:16 BN254 commitment key size: 262144 (mem: 2046.19 MiB) 18:12: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: 2046.19 MiB) 18:12:19 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2046.19 MiB) 18:12:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 2046.19 MiB) 18:12:19 goblin ecc op : 56/16384 (mem: 2046.19 MiB) 18:12:19 busread : 3/16384 (mem: 2046.19 MiB) 18:12:19 lookups : 2/16384 (mem: 2046.19 MiB) 18:12:19 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2046.19 MiB) 18:12:19 arithmetic : 32768/32768 (mem: 2046.19 MiB) 18:12:19 delta range : 2041/16384 (mem: 2046.19 MiB) 18:12:19 elliptic : 2/16384 (mem: 2046.19 MiB) 18:12:19 auxiliary : 50/16384 (mem: 2046.19 MiB) 18:12:19 poseidon ext : 1312/16384 (mem: 2046.19 MiB) 18:12:19 poseidon int : 7469/32768 (mem: 2046.19 MiB) 18:12:19 overflow : 233826/233826 (mem: 2046.19 MiB) 18:12:19 (mem: 2046.19 MiB) 18:12:19 Total structured size: 430435 (mem: 2046.19 MiB) 18:12:23 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 2046.19 MiB) 18:12: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: 2046.19 MiB) 18:12:32 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 2046.19 MiB) 18:12: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: 2046.19 MiB) 18:12:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2046.19 MiB) 18:12:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 2046.19 MiB) 18:12:35 goblin ecc op : 792/16384 (mem: 2046.19 MiB) 18:12:35 busread : 3/16384 (mem: 2046.19 MiB) 18:12:35 lookups : 2/16384 (mem: 2046.19 MiB) 18:12:35 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2046.19 MiB) 18:12:35 arithmetic : 32768/32768 (mem: 2046.19 MiB) 18:12:35 delta range : 2899/16384 (mem: 2046.19 MiB) 18:12:35 elliptic : 2/16384 (mem: 2046.19 MiB) 18:12:35 auxiliary : 50/16384 (mem: 2046.19 MiB) 18:12:35 poseidon ext : 4952/16384 (mem: 2046.19 MiB) 18:12:35 poseidon int : 28217/32768 (mem: 2046.19 MiB) 18:12:35 overflow : 44349/44349 (mem: 2046.19 MiB) 18:12:35 (mem: 2046.19 MiB) 18:12:35 Total structured size: 240958 (mem: 2046.19 MiB) 18:12:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 2046.19 MiB) 18:12: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: 2046.19 MiB) 18:12:45 Largest circuit: 277472 gates. Trace details: (mem: 2046.19 MiB) 18:12:45 Minimum required block sizes for structured trace: (mem: 2046.19 MiB) 18:12:45 ecc_op : 792 18:12:45 busread : 3 18:12:45 lookup : 2 18:12:45 pub_inputs : 33 18:12:45 arithmetic : 32768 18:12:45 delta_range : 2899 18:12:45 elliptic : 2 18:12:45 aux : 50 18:12:45 poseidon2_external : 4952 18:12:45 poseidon2_internal : 28217 18:12:45 overflow : 233826 18:12:45 (mem: 2046.19 MiB) 18:12:51 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 2046.19 MiB) 18:12:54 Constructing a Goblin proof with num ultra ops = 1442 (mem: 2046.19 MiB) 18:13:11 BN254 commitment key size: 262144 (mem: 2046.19 MiB) 18:13: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: 2046.19 MiB) 18:13:13 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2046.19 MiB) 18:13:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 2046.19 MiB) 18:13:13 goblin ecc op : 56/16384 (mem: 2046.19 MiB) 18:13:13 busread : 3/16384 (mem: 2046.19 MiB) 18:13:13 lookups : 2/16384 (mem: 2046.19 MiB) 18:13:13 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2046.19 MiB) 18:13:13 arithmetic : 32768/32768 (mem: 2046.19 MiB) 18:13:13 delta range : 2041/16384 (mem: 2046.19 MiB) 18:13:13 elliptic : 2/16384 (mem: 2046.19 MiB) 18:13:13 auxiliary : 50/16384 (mem: 2046.19 MiB) 18:13:13 poseidon ext : 1312/16384 (mem: 2046.19 MiB) 18:13:13 poseidon int : 7469/32768 (mem: 2046.19 MiB) 18:13:13 overflow : 37218/37218 (mem: 2046.19 MiB) 18:13:13 (mem: 2046.19 MiB) 18:13:13 Total structured size: 233827 (mem: 2046.19 MiB) 18:13: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: 2046.19 MiB) 18:13: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: 2046.19 MiB) 18:13:21 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2046.19 MiB) 18:13:21 Gate blocks summary: (actual gates / fixed capacity) (mem: 2046.19 MiB) 18:13:21 goblin ecc op : 792/16384 (mem: 2046.19 MiB) 18:13:21 busread : 3/16384 (mem: 2046.19 MiB) 18:13:21 lookups : 2/16384 (mem: 2046.19 MiB) 18:13:21 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2046.19 MiB) 18:13:21 arithmetic : 32768/32768 (mem: 2046.19 MiB) 18:13:21 delta range : 2899/16384 (mem: 2046.19 MiB) 18:13:21 elliptic : 2/16384 (mem: 2046.19 MiB) 18:13:21 auxiliary : 50/16384 (mem: 2046.19 MiB) 18:13:21 poseidon ext : 4952/16384 (mem: 2046.19 MiB) 18:13:21 poseidon int : 28217/32768 (mem: 2046.19 MiB) 18:13:21 overflow : 240957/240957 (mem: 2046.19 MiB) 18:13:21 (mem: 2046.19 MiB) 18:13:21 Total structured size: 437566 (mem: 2046.19 MiB) 18:13:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 2332.07 MiB) 18:13: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: 2332.07 MiB) 18:13:35 Largest circuit: 309849 gates. Trace details: (mem: 2370.07 MiB) 18:13:35 Minimum required block sizes for structured trace: (mem: 2370.07 MiB) 18:13:35 ecc_op : 792 18:13:35 busread : 3 18:13:35 lookup : 2 18:13:35 pub_inputs : 33 18:13:35 arithmetic : 32768 18:13:35 delta_range : 2899 18:13:35 elliptic : 2 18:13:35 aux : 50 18:13:35 poseidon2_external : 4952 18:13:35 poseidon2_internal : 28217 18:13:35 overflow : 240957 18:13:35 (mem: 2370.07 MiB) 18:13: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: 2370.07 MiB) 18:13:45 Constructing a Goblin proof with num ultra ops = 1442 (mem: 2370.07 MiB) 18:14:02 [ OK ] ClientIVCTests.DynamicTraceOverflow (259880 ms) 18:14:02 [----------] 1 test from ClientIVCTests (259880 ms total) 18:14:02 18:14:02 [----------] Global test environment tear-down 18:14:02 [==========] 1 test from 1 test suite ran. (259880 ms total) 18:14:02 [ PASSED ] 1 test.