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