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