Parent Log: http://ci.aztec-labs.com/d9c2be268828f08d 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:40:56 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14983_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_f9386aa4628b9a53_next 14:40:56 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 14:40:56 Note: Google Test filter = ClientIVCTests.DynamicTraceOverflow 14:40:56 [==========] Running 1 test from 1 test suite. 14:40:56 [----------] Global test environment set-up. 14:40:56 [----------] 1 test from ClientIVCTests 14:40:56 [ RUN ] ClientIVCTests.DynamicTraceOverflow 14:40:56 BN254 commitment key size: 262144 (mem: 6.00 MiB) 14:40:56 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 552.79 MiB) 14:40:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 552.79 MiB) 14:40:56 goblin ecc op : 4/16384 (mem: 552.79 MiB) 14:40:56 busread : 3/16384 (mem: 552.79 MiB) 14:40:56 lookups : 2/16384 (mem: 552.79 MiB) 14:40:56 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 552.79 MiB) 14:40:56 arithmetic : 32768/32768 (mem: 552.79 MiB) 14:40:56 delta range : 1754/16384 (mem: 552.79 MiB) 14:40:56 elliptic : 2/16384 (mem: 552.79 MiB) 14:40:56 auxiliary : 26/16384 (mem: 552.79 MiB) 14:40:56 poseidon ext : 2/16384 (mem: 552.79 MiB) 14:40:56 poseidon int : 2/32768 (mem: 552.79 MiB) 14:40:56 overflow : 231118/231118 (mem: 552.79 MiB) 14:40:56 (mem: 552.79 MiB) 14:40:56 Total structured size: 427727 (mem: 552.79 MiB) 14:41:01 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.79 MiB) 14:41:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1674.79 MiB) 14:41: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: 1674.79 MiB) 14:41:18 Largest circuit: 265676 gates. Trace details: (mem: 1674.79 MiB) 14:41:18 Minimum required block sizes for structured trace: (mem: 1674.79 MiB) 14:41:18 ecc_op : 56 14:41:18 busread : 3 14:41:18 lookup : 2 14:41:18 pub_inputs : 33 14:41:18 arithmetic : 32768 14:41:18 delta_range : 2041 14:41:18 elliptic : 2 14:41:18 aux : 50 14:41:18 poseidon2_external : 1312 14:41:18 poseidon2_internal : 7469 14:41:18 overflow : 231118 14:41:18 (mem: 1674.79 MiB) 14:41: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: 1718.23 MiB) 14:41:30 Constructing a Goblin proof with num ultra ops = 646 (mem: 1718.23 MiB) 14:41:55 BN254 commitment key size: 262144 (mem: 1730.23 MiB) 14:41:56 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.23 MiB) 14:41:57 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1730.23 MiB) 14:41:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 1730.23 MiB) 14:41:57 goblin ecc op : 56/16384 (mem: 1730.23 MiB) 14:41:57 busread : 3/16384 (mem: 1730.23 MiB) 14:41:57 lookups : 2/16384 (mem: 1730.23 MiB) 14:41:57 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1730.23 MiB) 14:41:57 arithmetic : 32768/32768 (mem: 1730.23 MiB) 14:41:57 delta range : 2041/16384 (mem: 1730.23 MiB) 14:41:57 elliptic : 2/16384 (mem: 1730.23 MiB) 14:41:57 auxiliary : 50/16384 (mem: 1730.23 MiB) 14:41:57 poseidon ext : 1312/16384 (mem: 1730.23 MiB) 14:41:57 poseidon int : 7469/32768 (mem: 1730.23 MiB) 14:41:57 overflow : 37218/37218 (mem: 1730.23 MiB) 14:41:57 (mem: 1730.23 MiB) 14:41:57 Total structured size: 233827 (mem: 1730.23 MiB) 14:41: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: 1730.23 MiB) 14:42:05 Largest circuit: 80864 gates. Trace details: (mem: 1730.23 MiB) 14:42:05 Minimum required block sizes for structured trace: (mem: 1730.23 MiB) 14:42:05 ecc_op : 56 14:42:05 busread : 3 14:42:05 lookup : 2 14:42:05 pub_inputs : 33 14:42:05 arithmetic : 32768 14:42:05 delta_range : 2041 14:42:05 elliptic : 2 14:42:05 aux : 50 14:42:05 poseidon2_external : 1312 14:42:05 poseidon2_internal : 7469 14:42:05 overflow : 37218 14:42:05 (mem: 1730.23 MiB) 14:42: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: 1730.23 MiB) 14:42:13 Constructing a Goblin proof with num ultra ops = 646 (mem: 1730.23 MiB) 14:42:35 BN254 commitment key size: 262144 (mem: 1730.23 MiB) 14:42: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: 1730.23 MiB) 14:42:40 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1730.23 MiB) 14:42:40 Gate blocks summary: (actual gates / fixed capacity) (mem: 1730.23 MiB) 14:42:40 goblin ecc op : 56/16384 (mem: 1730.23 MiB) 14:42:40 busread : 3/16384 (mem: 1730.23 MiB) 14:42:40 lookups : 2/16384 (mem: 1730.23 MiB) 14:42:40 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1730.23 MiB) 14:42:40 arithmetic : 32768/32768 (mem: 1730.23 MiB) 14:42:40 delta range : 2041/16384 (mem: 1730.23 MiB) 14:42:40 elliptic : 2/16384 (mem: 1730.23 MiB) 14:42:40 auxiliary : 50/16384 (mem: 1730.23 MiB) 14:42:40 poseidon ext : 1312/16384 (mem: 1730.23 MiB) 14:42:40 poseidon int : 7469/32768 (mem: 1730.23 MiB) 14:42:40 overflow : 233826/233826 (mem: 1730.23 MiB) 14:42:40 (mem: 1730.23 MiB) 14:42:40 Total structured size: 430435 (mem: 1730.23 MiB) 14:42:45 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 2013.23 MiB) 14:42: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: 2013.23 MiB) 14:43:00 Largest circuit: 277472 gates. Trace details: (mem: 2047.23 MiB) 14:43:00 Minimum required block sizes for structured trace: (mem: 2047.23 MiB) 14:43:00 ecc_op : 56 14:43:00 busread : 3 14:43:00 lookup : 2 14:43:00 pub_inputs : 33 14:43:00 arithmetic : 32768 14:43:00 delta_range : 2041 14:43:00 elliptic : 2 14:43:00 aux : 50 14:43:00 poseidon2_external : 1312 14:43:00 poseidon2_internal : 7469 14:43:00 overflow : 233826 14:43:00 (mem: 2047.23 MiB) 14:43: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.23 MiB) 14:43:12 Constructing a Goblin proof with num ultra ops = 646 (mem: 2047.23 MiB) 14:43:31 BN254 commitment key size: 262144 (mem: 2047.23 MiB) 14:43: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: 2047.23 MiB) 14:43:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2047.23 MiB) 14:43:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 2047.23 MiB) 14:43:33 goblin ecc op : 56/16384 (mem: 2047.23 MiB) 14:43:33 busread : 3/16384 (mem: 2047.23 MiB) 14:43:33 lookups : 2/16384 (mem: 2047.23 MiB) 14:43:33 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2047.23 MiB) 14:43:33 arithmetic : 32768/32768 (mem: 2047.23 MiB) 14:43:33 delta range : 2041/16384 (mem: 2047.23 MiB) 14:43:33 elliptic : 2/16384 (mem: 2047.23 MiB) 14:43:33 auxiliary : 50/16384 (mem: 2047.23 MiB) 14:43:33 poseidon ext : 1312/16384 (mem: 2047.23 MiB) 14:43:33 poseidon int : 7469/32768 (mem: 2047.23 MiB) 14:43:33 overflow : 233826/233826 (mem: 2047.23 MiB) 14:43:33 (mem: 2047.23 MiB) 14:43:33 Total structured size: 430435 (mem: 2047.23 MiB) 14:43:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 2047.23 MiB) 14:43: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: 2047.23 MiB) 14:43:47 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 2047.23 MiB) 14:43: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: 2047.23 MiB) 14:43:50 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2047.23 MiB) 14:43:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 2047.23 MiB) 14:43:50 goblin ecc op : 792/16384 (mem: 2047.23 MiB) 14:43:50 busread : 3/16384 (mem: 2047.23 MiB) 14:43:50 lookups : 2/16384 (mem: 2047.23 MiB) 14:43:50 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2047.23 MiB) 14:43:50 arithmetic : 32768/32768 (mem: 2047.23 MiB) 14:43:50 delta range : 2899/16384 (mem: 2047.23 MiB) 14:43:50 elliptic : 2/16384 (mem: 2047.23 MiB) 14:43:50 auxiliary : 50/16384 (mem: 2047.23 MiB) 14:43:50 poseidon ext : 4952/16384 (mem: 2047.23 MiB) 14:43:50 poseidon int : 28217/32768 (mem: 2047.23 MiB) 14:43:50 overflow : 44349/44349 (mem: 2047.23 MiB) 14:43:50 (mem: 2047.23 MiB) 14:43:50 Total structured size: 240958 (mem: 2047.23 MiB) 14:43:52 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 2047.23 MiB) 14:43:52 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.23 MiB) 14:43:59 Largest circuit: 277472 gates. Trace details: (mem: 2047.23 MiB) 14:43:59 Minimum required block sizes for structured trace: (mem: 2047.23 MiB) 14:43:59 ecc_op : 792 14:43:59 busread : 3 14:43:59 lookup : 2 14:43:59 pub_inputs : 33 14:43:59 arithmetic : 32768 14:43:59 delta_range : 2899 14:43:59 elliptic : 2 14:43:59 aux : 50 14:43:59 poseidon2_external : 4952 14:43:59 poseidon2_internal : 28217 14:43:59 overflow : 233826 14:43:59 (mem: 2047.23 MiB) 14:44: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: 2047.23 MiB) 14:44:07 Constructing a Goblin proof with num ultra ops = 1442 (mem: 2047.23 MiB) 14:44:24 BN254 commitment key size: 262144 (mem: 2047.23 MiB) 14:44:24 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.23 MiB) 14:44:25 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2047.23 MiB) 14:44:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 2047.23 MiB) 14:44:25 goblin ecc op : 56/16384 (mem: 2047.23 MiB) 14:44:25 busread : 3/16384 (mem: 2047.23 MiB) 14:44:25 lookups : 2/16384 (mem: 2047.23 MiB) 14:44:25 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2047.23 MiB) 14:44:25 arithmetic : 32768/32768 (mem: 2047.23 MiB) 14:44:25 delta range : 2041/16384 (mem: 2047.23 MiB) 14:44:25 elliptic : 2/16384 (mem: 2047.23 MiB) 14:44:25 auxiliary : 50/16384 (mem: 2047.23 MiB) 14:44:25 poseidon ext : 1312/16384 (mem: 2047.23 MiB) 14:44:25 poseidon int : 7469/32768 (mem: 2047.23 MiB) 14:44:25 overflow : 37218/37218 (mem: 2047.23 MiB) 14:44:25 (mem: 2047.23 MiB) 14:44:25 Total structured size: 233827 (mem: 2047.23 MiB) 14: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.23 MiB) 14:44:31 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.23 MiB) 14:44:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2047.23 MiB) 14:44:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 2047.23 MiB) 14:44:33 goblin ecc op : 792/16384 (mem: 2047.23 MiB) 14:44:33 busread : 3/16384 (mem: 2047.23 MiB) 14:44:33 lookups : 2/16384 (mem: 2047.23 MiB) 14:44:33 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2047.23 MiB) 14:44:33 arithmetic : 32768/32768 (mem: 2047.23 MiB) 14:44:33 delta range : 2899/16384 (mem: 2047.23 MiB) 14:44:33 elliptic : 2/16384 (mem: 2047.23 MiB) 14:44:33 auxiliary : 50/16384 (mem: 2047.23 MiB) 14:44:33 poseidon ext : 4952/16384 (mem: 2047.23 MiB) 14:44:33 poseidon int : 28217/32768 (mem: 2047.23 MiB) 14:44:33 overflow : 240957/240957 (mem: 2047.23 MiB) 14:44:33 (mem: 2047.23 MiB) 14:44:34 Total structured size: 437566 (mem: 2047.23 MiB) 14:44:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 2320.83 MiB) 14:44: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: 2320.83 MiB) 14:44:46 Largest circuit: 309849 gates. Trace details: (mem: 2320.83 MiB) 14:44:46 Minimum required block sizes for structured trace: (mem: 2320.83 MiB) 14:44:46 ecc_op : 792 14:44:46 busread : 3 14:44:46 lookup : 2 14:44:46 pub_inputs : 33 14:44:46 arithmetic : 32768 14:44:46 delta_range : 2899 14:44:46 elliptic : 2 14:44:46 aux : 50 14:44:46 poseidon2_external : 4952 14:44:46 poseidon2_internal : 28217 14:44:46 overflow : 240957 14:44:46 (mem: 2320.83 MiB) 14:44:52 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 2320.83 MiB) 14:44:55 Constructing a Goblin proof with num ultra ops = 1442 (mem: 2320.83 MiB) 14:45:12 [ OK ] ClientIVCTests.DynamicTraceOverflow (256097 ms) 14:45:12 [----------] 1 test from ClientIVCTests (256097 ms total) 14:45:12 14:45:12 [----------] Global test environment tear-down 14:45:12 [==========] 1 test from 1 test suite ran. (256097 ms total) 14:45:12 [ PASSED ] 1 test.