Parent Log: http://ci.aztec-labs.com/f69a1713c602d5eb Command: ddee941f13db6e98 barretenberg/cpp/scripts/run_test.sh stdlib_client_ivc_verifier_tests ClientIVCRecursionTests.TubeVKIndependentOfInputCircuits Commit: https://github.com/AztecProtocol/aztec-packages/commit/47c749527b1c3cce3edd9defedc46e89ea00c69e Env: REF_NAME=gh-readonly-queue/next/pr-15009-00cd67e98e76d3202a0219baf301d59ef4211872 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 15:58:59 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15009_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_7844a47707e0158a_next 15:58:59 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 15:58:59 Note: Google Test filter = ClientIVCRecursionTests.TubeVKIndependentOfInputCircuits 15:58:59 [==========] Running 1 test from 1 test suite. 15:58:59 [----------] Global test environment set-up. 15:58:59 [----------] 1 test from ClientIVCRecursionTests 15:58:59 [ RUN ] ClientIVCRecursionTests.TubeVKIndependentOfInputCircuits 15:58:59 BN254 commitment key size: 262144 (mem: 6.00 MiB) 15:59:00 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 556.25 MiB) 15:59:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 556.25 MiB) 15:59:00 goblin ecc op : 10/1024 (mem: 556.25 MiB) 15:59:00 busread : 3/6000 (mem: 556.25 MiB) 15:59:00 lookups : 15000/15000 (mem: 556.25 MiB) 15:59:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 556.25 MiB) 15:59:00 arithmetic : 56000/56000 (mem: 556.25 MiB) 15:59:00 delta range : 18000/18000 (mem: 556.25 MiB) 15:59:00 elliptic : 4958/6000 (mem: 556.25 MiB) 15:59:00 auxiliary : 26000/26000 (mem: 556.25 MiB) 15:59:00 poseidon ext : 2/17000 (mem: 556.25 MiB) 15:59:00 poseidon int : 2/92000 (mem: 556.25 MiB) 15:59:00 overflow : 248619/248619 (mem: 556.25 MiB) 15:59:00 (mem: 556.25 MiB) 15:59:00 Total structured size: 490644 (mem: 556.25 MiB) 15:59: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: 1661.30 MiB) 15:59:21 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1661.30 MiB) 15:59:21 Gate blocks summary: (actual gates / fixed capacity) (mem: 1661.30 MiB) 15:59:21 goblin ecc op : 56/1024 (mem: 1661.30 MiB) 15:59:21 busread : 3/6000 (mem: 1661.30 MiB) 15:59:21 lookups : 13540/15000 (mem: 1661.30 MiB) 15:59:21 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1661.30 MiB) 15:59:21 arithmetic : 32894/56000 (mem: 1661.30 MiB) 15:59:21 delta range : 10239/18000 (mem: 1661.30 MiB) 15:59:21 elliptic : 6000/6000 (mem: 1661.30 MiB) 15:59:21 auxiliary : 11827/26000 (mem: 1661.30 MiB) 15:59:21 poseidon ext : 1302/17000 (mem: 1661.30 MiB) 15:59:21 poseidon int : 7412/92000 (mem: 1661.30 MiB) 15:59:21 overflow : 1850/1850 (mem: 1661.30 MiB) 15:59:21 (mem: 1661.30 MiB) 15:59:21 Total structured size: 243875 (mem: 1661.30 MiB) 15:59:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1699.43 MiB) 15:59:25 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1699.43 MiB) 15:59:35 Largest circuit: 368580 gates. Trace details: (mem: 1797.43 MiB) 15:59:35 Minimum required block sizes for structured trace: (mem: 1797.43 MiB) 15:59:35 ecc_op : 56 15:59:35 busread : 3 15:59:35 lookup : 15000 15:59:35 pub_inputs : 32 15:59:35 arithmetic : 56000 15:59:35 delta_range : 18000 15:59:35 elliptic : 6000 15:59:35 aux : 26000 15:59:35 poseidon2_external : 1302 15:59:35 poseidon2_internal : 7412 15:59:35 overflow : 248619 15:59:35 (mem: 1797.43 MiB) 15:59: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: 1797.43 MiB) 15:59:50 Constructing a Goblin proof with num ultra ops = 652 (mem: 1797.43 MiB) 16:00:25 ClientIVC Recursive Verifier: num prefinalized gates = 1859587 (mem: 2066.43 MiB) 16:01:09 BN254 commitment key size: 262144 (mem: 8724.92 MiB) 16:01:10 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 8724.92 MiB) 16:01:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 8724.92 MiB) 16:01:10 goblin ecc op : 10/1024 (mem: 8724.92 MiB) 16:01:10 busread : 3/6000 (mem: 8724.92 MiB) 16:01:10 lookups : 15000/15000 (mem: 8724.92 MiB) 16:01:10 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 8724.92 MiB) 16:01:10 arithmetic : 56000/56000 (mem: 8724.92 MiB) 16:01:10 delta range : 18000/18000 (mem: 8724.92 MiB) 16:01:10 elliptic : 4958/6000 (mem: 8724.92 MiB) 16:01:10 auxiliary : 26000/26000 (mem: 8724.92 MiB) 16:01:10 poseidon ext : 2/17000 (mem: 8724.92 MiB) 16:01:10 poseidon int : 2/92000 (mem: 8724.92 MiB) 16:01:10 overflow : 248619/248619 (mem: 8724.92 MiB) 16:01:10 (mem: 8724.92 MiB) 16:01:10 Total structured size: 490644 (mem: 8724.92 MiB) 16:01:15 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 8724.92 MiB) 16:01:23 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 8724.92 MiB) 16:01:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 8724.92 MiB) 16:01:23 goblin ecc op : 56/1024 (mem: 8724.92 MiB) 16:01:23 busread : 3/6000 (mem: 8724.92 MiB) 16:01:23 lookups : 13540/15000 (mem: 8724.92 MiB) 16:01:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 8724.92 MiB) 16:01:23 arithmetic : 32894/56000 (mem: 8724.92 MiB) 16:01:23 delta range : 10239/18000 (mem: 8724.92 MiB) 16:01:23 elliptic : 6000/6000 (mem: 8724.92 MiB) 16:01:23 auxiliary : 11827/26000 (mem: 8724.92 MiB) 16:01:23 poseidon ext : 1302/17000 (mem: 8724.92 MiB) 16:01:23 poseidon int : 7412/92000 (mem: 8724.92 MiB) 16:01:23 overflow : 1850/1850 (mem: 8724.92 MiB) 16:01:23 (mem: 8724.92 MiB) 16:01:23 Total structured size: 243875 (mem: 8724.92 MiB) 16:01:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 8724.92 MiB) 16:01:25 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 8724.92 MiB) 16:01:34 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 8724.92 MiB) 16:01:34 Gate blocks summary: (actual gates / fixed capacity) (mem: 8724.92 MiB) 16:01:34 goblin ecc op : 10/1024 (mem: 8724.92 MiB) 16:01:34 busread : 3/6000 (mem: 8724.92 MiB) 16:01:34 lookups : 15000/15000 (mem: 8724.92 MiB) 16:01:34 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 8724.92 MiB) 16:01:34 arithmetic : 48085/56000 (mem: 8724.92 MiB) 16:01:34 delta range : 18000/18000 (mem: 8724.92 MiB) 16:01:34 elliptic : 4132/6000 (mem: 8724.92 MiB) 16:01:34 auxiliary : 23580/26000 (mem: 8724.92 MiB) 16:01:34 poseidon ext : 2/17000 (mem: 8724.92 MiB) 16:01:34 poseidon int : 2/92000 (mem: 8724.92 MiB) 16:01:34 overflow : 17783/17783 (mem: 8724.92 MiB) 16:01:34 (mem: 8724.92 MiB) 16:01:34 Total structured size: 259808 (mem: 8724.92 MiB) 16:01:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 8724.92 MiB) 16:01: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: 8724.92 MiB) 16:01:44 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 8724.92 MiB) 16:01:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 8724.92 MiB) 16:01:44 goblin ecc op : 792/1024 (mem: 8724.92 MiB) 16:01:44 busread : 3/6000 (mem: 8724.92 MiB) 16:01:44 lookups : 13540/15000 (mem: 8724.92 MiB) 16:01:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 8724.92 MiB) 16:01:44 arithmetic : 40019/56000 (mem: 8724.92 MiB) 16:01:44 delta range : 11097/18000 (mem: 8724.92 MiB) 16:01:44 elliptic : 6000/6000 (mem: 8724.92 MiB) 16:01:44 auxiliary : 11827/26000 (mem: 8724.92 MiB) 16:01:44 poseidon ext : 4942/17000 (mem: 8724.92 MiB) 16:01:44 poseidon int : 28160/92000 (mem: 8724.92 MiB) 16:01:44 overflow : 1850/1850 (mem: 8724.92 MiB) 16:01:44 (mem: 8724.92 MiB) 16:01:44 Total structured size: 243875 (mem: 8724.92 MiB) 16:01:46 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 8724.92 MiB) 16:01: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: 8724.92 MiB) 16:01:55 Largest circuit: 368580 gates. Trace details: (mem: 8724.92 MiB) 16:01:55 Minimum required block sizes for structured trace: (mem: 8724.92 MiB) 16:01:55 ecc_op : 792 16:01:55 busread : 3 16:01:55 lookup : 15000 16:01:55 pub_inputs : 32 16:01:55 arithmetic : 56000 16:01:55 delta_range : 18000 16:01:55 elliptic : 6000 16:01:55 aux : 26000 16:01:55 poseidon2_external : 4942 16:01:55 poseidon2_internal : 28160 16:01:55 overflow : 248619 16:01:55 (mem: 8724.92 MiB) 16:02:03 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 8724.92 MiB) 16:02:05 Constructing a Goblin proof with num ultra ops = 1454 (mem: 8724.92 MiB) 16:02:28 ClientIVC Recursive Verifier: num prefinalized gates = 1859587 (mem: 8724.92 MiB) 16:03:01 [ OK ] ClientIVCRecursionTests.TubeVKIndependentOfInputCircuits (242561 ms) 16:03:01 [----------] 1 test from ClientIVCRecursionTests (242561 ms total) 16:03:01 16:03:01 [----------] Global test environment tear-down 16:03:01 [==========] 1 test from 1 test suite ran. (242561 ms total) 16:03:01 [ PASSED ] 1 test.