ACI ·

Parent Log: http://ci.aztec-labs.com/6f8b3fb3c6d0ec65 Command: ddee941f13db6e98 barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.DynamicTraceOverflow Commit: https://github.com/AztecProtocol/aztec-packages/commit/9d6fb0bd1594726370a5f3a56591963452264642 Env: REF_NAME=gh-readonly-queue/next/pr-14985-47c749527b1c3cce3edd9defedc46e89ea00c69e CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 17:28:54 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14985_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_f9386aa4628b9a53_next 17:28:54 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 17:28:54 Note: Google Test filter = ClientIVCTests.DynamicTraceOverflow 17:28:54 [==========] Running 1 test from 1 test suite. 17:28:54 [----------] Global test environment set-up. 17:28:54 [----------] 1 test from ClientIVCTests 17:28:54 [ RUN ] ClientIVCTests.DynamicTraceOverflow 17:28:54 BN254 commitment key size: 262144 (mem: 6.00 MiB) 17:28:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 552.79 MiB) 17:28:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 552.79 MiB) 17:28:55 goblin ecc op : 4/16384 (mem: 552.79 MiB) 17:28:55 busread : 3/16384 (mem: 552.79 MiB) 17:28:55 lookups : 2/16384 (mem: 552.79 MiB) 17:28:55 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 552.79 MiB) 17:28:55 arithmetic : 32768/32768 (mem: 552.79 MiB) 17:28:55 delta range : 1754/16384 (mem: 552.79 MiB) 17:28:55 elliptic : 2/16384 (mem: 552.79 MiB) 17:28:55 auxiliary : 26/16384 (mem: 552.79 MiB) 17:28:55 poseidon ext : 2/16384 (mem: 552.79 MiB) 17:28:55 poseidon int : 2/32768 (mem: 552.79 MiB) 17:28:55 overflow : 231118/231118 (mem: 552.79 MiB) 17:28:55 (mem: 552.79 MiB) 17:28:55 Total structured size: 427727 (mem: 552.79 MiB) 17:28: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: 1675.82 MiB) 17:29:10 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1675.82 MiB) 17:29: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: 1675.82 MiB) 17:29:16 Largest circuit: 265676 gates. Trace details: (mem: 1675.82 MiB) 17:29:16 Minimum required block sizes for structured trace: (mem: 1675.82 MiB) 17:29:16 ecc_op : 56 17:29:16 busread : 3 17:29:16 lookup : 2 17:29:16 pub_inputs : 33 17:29:16 arithmetic : 32768 17:29:16 delta_range : 2041 17:29:16 elliptic : 2 17:29:16 aux : 50 17:29:16 poseidon2_external : 1312 17:29:16 poseidon2_internal : 7469 17:29:16 overflow : 231118 17:29:16 (mem: 1675.82 MiB) 17:29: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: 1730.28 MiB) 17:29:27 Constructing a Goblin proof with num ultra ops = 646 (mem: 1730.28 MiB) 17:29:51 BN254 commitment key size: 262144 (mem: 1730.28 MiB) 17:29: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: 1730.28 MiB) 17:29:54 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1730.28 MiB) 17:29:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 1730.28 MiB) 17:29:54 goblin ecc op : 56/16384 (mem: 1730.28 MiB) 17:29:54 busread : 3/16384 (mem: 1730.28 MiB) 17:29:54 lookups : 2/16384 (mem: 1730.28 MiB) 17:29:54 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1730.28 MiB) 17:29:54 arithmetic : 32768/32768 (mem: 1730.28 MiB) 17:29:54 delta range : 2041/16384 (mem: 1730.28 MiB) 17:29:54 elliptic : 2/16384 (mem: 1730.28 MiB) 17:29:54 auxiliary : 50/16384 (mem: 1730.28 MiB) 17:29:54 poseidon ext : 1312/16384 (mem: 1730.28 MiB) 17:29:54 poseidon int : 7469/32768 (mem: 1730.28 MiB) 17:29:54 overflow : 37218/37218 (mem: 1730.28 MiB) 17:29:54 (mem: 1730.28 MiB) 17:29:54 Total structured size: 233827 (mem: 1730.28 MiB) 17:29: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: 1730.28 MiB) 17:30:03 Largest circuit: 80864 gates. Trace details: (mem: 1730.28 MiB) 17:30:03 Minimum required block sizes for structured trace: (mem: 1730.28 MiB) 17:30:03 ecc_op : 56 17:30:03 busread : 3 17:30:03 lookup : 2 17:30:03 pub_inputs : 33 17:30:03 arithmetic : 32768 17:30:03 delta_range : 2041 17:30:03 elliptic : 2 17:30:03 aux : 50 17:30:03 poseidon2_external : 1312 17:30:03 poseidon2_internal : 7469 17:30:03 overflow : 37218 17:30:03 (mem: 1730.28 MiB) 17:30: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: 1730.28 MiB) 17:30:10 Constructing a Goblin proof with num ultra ops = 646 (mem: 1730.28 MiB) 17:30:31 BN254 commitment key size: 262144 (mem: 1730.28 MiB) 17:30: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: 1730.28 MiB) 17:30:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1730.28 MiB) 17:30:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 1730.28 MiB) 17:30:35 goblin ecc op : 56/16384 (mem: 1730.28 MiB) 17:30:35 busread : 3/16384 (mem: 1730.28 MiB) 17:30:35 lookups : 2/16384 (mem: 1730.28 MiB) 17:30:35 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1730.28 MiB) 17:30:35 arithmetic : 32768/32768 (mem: 1730.28 MiB) 17:30:35 delta range : 2041/16384 (mem: 1730.28 MiB) 17:30:35 elliptic : 2/16384 (mem: 1730.28 MiB) 17:30:35 auxiliary : 50/16384 (mem: 1730.28 MiB) 17:30:35 poseidon ext : 1312/16384 (mem: 1730.28 MiB) 17:30:35 poseidon int : 7469/32768 (mem: 1730.28 MiB) 17:30:35 overflow : 233826/233826 (mem: 1730.28 MiB) 17:30:35 (mem: 1730.28 MiB) 17:30:35 Total structured size: 430435 (mem: 1730.28 MiB) 17:30:40 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 2011.85 MiB) 17:30: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: 2011.85 MiB) 17:30:57 Largest circuit: 277472 gates. Trace details: (mem: 2044.85 MiB) 17:30:57 Minimum required block sizes for structured trace: (mem: 2044.85 MiB) 17:30:57 ecc_op : 56 17:30:57 busread : 3 17:30:57 lookup : 2 17:30:57 pub_inputs : 33 17:30:57 arithmetic : 32768 17:30:57 delta_range : 2041 17:30:57 elliptic : 2 17:30:57 aux : 50 17:30:57 poseidon2_external : 1312 17:30:57 poseidon2_internal : 7469 17:30:57 overflow : 233826 17:30:57 (mem: 2044.85 MiB) 17:31: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: 2044.85 MiB) 17:31:11 Constructing a Goblin proof with num ultra ops = 646 (mem: 2044.85 MiB) 17:31:31 BN254 commitment key size: 262144 (mem: 2044.85 MiB) 17:31: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: 2044.85 MiB) 17:31:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2044.85 MiB) 17:31:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 2044.85 MiB) 17:31:33 goblin ecc op : 56/16384 (mem: 2044.85 MiB) 17:31:33 busread : 3/16384 (mem: 2044.85 MiB) 17:31:33 lookups : 2/16384 (mem: 2044.85 MiB) 17:31:33 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2044.85 MiB) 17:31:33 arithmetic : 32768/32768 (mem: 2044.85 MiB) 17:31:33 delta range : 2041/16384 (mem: 2044.85 MiB) 17:31:33 elliptic : 2/16384 (mem: 2044.85 MiB) 17:31:33 auxiliary : 50/16384 (mem: 2044.85 MiB) 17:31:33 poseidon ext : 1312/16384 (mem: 2044.85 MiB) 17:31:33 poseidon int : 7469/32768 (mem: 2044.85 MiB) 17:31:33 overflow : 233826/233826 (mem: 2044.85 MiB) 17:31:33 (mem: 2044.85 MiB) 17:31:33 Total structured size: 430435 (mem: 2044.85 MiB) 17:31:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 2044.85 MiB) 17:31: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: 2044.85 MiB) 17:31:46 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 2044.85 MiB) 17:31: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: 2044.85 MiB) 17:31:50 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2044.85 MiB) 17:31:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 2044.85 MiB) 17:31:50 goblin ecc op : 792/16384 (mem: 2044.85 MiB) 17:31:50 busread : 3/16384 (mem: 2044.85 MiB) 17:31:50 lookups : 2/16384 (mem: 2044.85 MiB) 17:31:50 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2044.85 MiB) 17:31:50 arithmetic : 32768/32768 (mem: 2044.85 MiB) 17:31:50 delta range : 2899/16384 (mem: 2044.85 MiB) 17:31:50 elliptic : 2/16384 (mem: 2044.85 MiB) 17:31:50 auxiliary : 50/16384 (mem: 2044.85 MiB) 17:31:50 poseidon ext : 4952/16384 (mem: 2044.85 MiB) 17:31:50 poseidon int : 28217/32768 (mem: 2044.85 MiB) 17:31:50 overflow : 44349/44349 (mem: 2044.85 MiB) 17:31:50 (mem: 2044.85 MiB) 17:31:50 Total structured size: 240958 (mem: 2044.85 MiB) 17:31:52 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 2044.85 MiB) 17:31: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: 2044.85 MiB) 17:32:00 Largest circuit: 277472 gates. Trace details: (mem: 2044.85 MiB) 17:32:00 Minimum required block sizes for structured trace: (mem: 2044.85 MiB) 17:32:00 ecc_op : 792 17:32:00 busread : 3 17:32:00 lookup : 2 17:32:00 pub_inputs : 33 17:32:00 arithmetic : 32768 17:32:00 delta_range : 2899 17:32:00 elliptic : 2 17:32:00 aux : 50 17:32:00 poseidon2_external : 4952 17:32:00 poseidon2_internal : 28217 17:32:00 overflow : 233826 17:32:00 (mem: 2044.85 MiB) 17:32: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: 2044.85 MiB) 17:32:08 Constructing a Goblin proof with num ultra ops = 1442 (mem: 2044.85 MiB) 17:32:25 BN254 commitment key size: 262144 (mem: 2044.85 MiB) 17:32: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: 2044.85 MiB) 17:32:27 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2044.85 MiB) 17:32:27 Gate blocks summary: (actual gates / fixed capacity) (mem: 2044.85 MiB) 17:32:27 goblin ecc op : 56/16384 (mem: 2044.85 MiB) 17:32:27 busread : 3/16384 (mem: 2044.85 MiB) 17:32:27 lookups : 2/16384 (mem: 2044.85 MiB) 17:32:27 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2044.85 MiB) 17:32:27 arithmetic : 32768/32768 (mem: 2044.85 MiB) 17:32:27 delta range : 2041/16384 (mem: 2044.85 MiB) 17:32:27 elliptic : 2/16384 (mem: 2044.85 MiB) 17:32:27 auxiliary : 50/16384 (mem: 2044.85 MiB) 17:32:27 poseidon ext : 1312/16384 (mem: 2044.85 MiB) 17:32:27 poseidon int : 7469/32768 (mem: 2044.85 MiB) 17:32:27 overflow : 37218/37218 (mem: 2044.85 MiB) 17:32:27 (mem: 2044.85 MiB) 17:32:27 Total structured size: 233827 (mem: 2044.85 MiB) 17:32: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: 2044.85 MiB) 17:32: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: 2044.85 MiB) 17:32:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 2044.85 MiB) 17:32:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 2044.85 MiB) 17:32:36 goblin ecc op : 792/16384 (mem: 2044.85 MiB) 17:32:36 busread : 3/16384 (mem: 2044.85 MiB) 17:32:36 lookups : 2/16384 (mem: 2044.85 MiB) 17:32:36 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 2044.85 MiB) 17:32:36 arithmetic : 32768/32768 (mem: 2044.85 MiB) 17:32:36 delta range : 2899/16384 (mem: 2044.85 MiB) 17:32:36 elliptic : 2/16384 (mem: 2044.85 MiB) 17:32:36 auxiliary : 50/16384 (mem: 2044.85 MiB) 17:32:36 poseidon ext : 4952/16384 (mem: 2044.85 MiB) 17:32:36 poseidon int : 28217/32768 (mem: 2044.85 MiB) 17:32:36 overflow : 240957/240957 (mem: 2044.85 MiB) 17:32:36 (mem: 2044.85 MiB) 17:32:36 Total structured size: 437566 (mem: 2044.85 MiB) 17:32:40 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 2301.32 MiB) 17:32: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: 2301.32 MiB) 17:32:50 Largest circuit: 309849 gates. Trace details: (mem: 2338.44 MiB) 17:32:50 Minimum required block sizes for structured trace: (mem: 2338.44 MiB) 17:32:50 ecc_op : 792 17:32:50 busread : 3 17:32:50 lookup : 2 17:32:50 pub_inputs : 33 17:32:50 arithmetic : 32768 17:32:50 delta_range : 2899 17:32:50 elliptic : 2 17:32:50 aux : 50 17:32:50 poseidon2_external : 4952 17:32:50 poseidon2_internal : 28217 17:32:50 overflow : 240957 17:32:50 (mem: 2338.44 MiB) 17:32: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: 2338.44 MiB) 17:33:00 Constructing a Goblin proof with num ultra ops = 1442 (mem: 2338.44 MiB) 17:33:18 [ OK ] ClientIVCTests.DynamicTraceOverflow (263566 ms) 17:33:18 [----------] 1 test from ClientIVCTests (263566 ms total) 17:33:18 17:33:18 [----------] Global test environment tear-down 17:33:18 [==========] 1 test from 1 test suite ran. (263566 ms total) 17:33:18 [ PASSED ] 1 test.