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