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