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