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