ACI ·

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