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