Parent Log: http://ci.aztec-labs.com/c49e2be907ee77f3 Command: ed599b69b1b675f7 barretenberg/cpp/scripts/run_test.sh stdlib_client_ivc_verifier_tests ClientIVCRecursionTests.TubeVKIndependentOfInputCircuits Commit: https://github.com/AztecProtocol/aztec-packages/commit/e4e2d988072932519ccdfe9e9c7f4419d2d6ca1a Env: REF_NAME=gh-readonly-queue/next/pr-15275-5154a64456f8ee26126f902542c8b29e33638ff7 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 27 07:21:45 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15275_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_7844a47707e0158a_next 07:21:45 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 07:21:45 Note: Google Test filter = ClientIVCRecursionTests.TubeVKIndependentOfInputCircuits 07:21:45 [==========] Running 1 test from 1 test suite. 07:21:45 [----------] Global test environment set-up. 07:21:45 [----------] 1 test from ClientIVCRecursionTests 07:21:45 [ RUN ] ClientIVCRecursionTests.TubeVKIndependentOfInputCircuits 07:21:45 BN254 commitment key size: 262144 (mem: 6.00 MiB) 07:21:45 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6.00 MiB) 07:21:45 Initialized BN254 CRS from memory with num points = 262145 (mem: 38.36 MiB) 07:21:46 Constructing DeciderProvingKey (mem: 263.38 MiB) 07:21:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 311.38 MiB) 07:21:46 goblin ecc op : 10/1024 (mem: 311.38 MiB) 07:21:46 busread : 3/6000 (mem: 311.38 MiB) 07:21:46 lookups : 54285/15000 (mem: 311.38 MiB) 07:21:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 311.38 MiB) 07:21:46 arithmetic : 147423/56000 (mem: 311.38 MiB) 07:21:46 delta range : 65649/18000 (mem: 311.38 MiB) 07:21:46 elliptic : 4958/6000 (mem: 311.38 MiB) 07:21:46 auxiliary : 94242/26000 (mem: 311.38 MiB) 07:21:46 poseidon ext : 2/17000 (mem: 311.38 MiB) 07:21:46 poseidon int : 2/92000 (mem: 311.38 MiB) 07:21:46 overflow : 0/0 (mem: 311.38 MiB) 07:21:46 (mem: 311.38 MiB) 07:21:46 Total structured size: 242025 (mem: 311.38 MiB) 07:21:46 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 424.38 MiB) 07:21:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 424.38 MiB) 07:21:46 goblin ecc op : 10/1024 (mem: 424.38 MiB) 07:21:46 busread : 3/6000 (mem: 424.38 MiB) 07:21:46 lookups : 15000/15000 (mem: 424.38 MiB) 07:21:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 424.38 MiB) 07:21:46 arithmetic : 56000/56000 (mem: 424.38 MiB) 07:21:46 delta range : 18000/18000 (mem: 424.38 MiB) 07:21:46 elliptic : 4958/6000 (mem: 424.38 MiB) 07:21:46 auxiliary : 26000/26000 (mem: 424.38 MiB) 07:21:46 poseidon ext : 2/17000 (mem: 424.38 MiB) 07:21:46 poseidon int : 2/92000 (mem: 424.38 MiB) 07:21:46 overflow : 246603/246603 (mem: 424.38 MiB) 07:21:46 (mem: 424.38 MiB) 07:21:46 Total structured size: 488628 (mem: 424.38 MiB) 07:21:46 allocating polynomials object in proving key... (mem: 424.38 MiB) 07:21:47 populating trace... (mem: 1283.38 MiB) 07:21:47 time to construct proving key: 957 ms. (mem: 1351.38 MiB) 07:21:47 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1351.38 MiB) 07:21:47 Initialized BN254 CRS from memory with num points = 524289 (mem: 1394.54 MiB) 07:21:47 getting honk vk... precomputed?: 0 (mem: 1394.54 MiB) 07:21:51 computing oink proof... (mem: 1394.54 MiB) 07:21:51 vkey hash in Oink prover: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 1394.54 MiB) 07:21:56 oink proof constructed (mem: 1394.54 MiB) 07:21:56 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 1394.54 MiB) 07:21:56 Constructing DeciderProvingKey (mem: 1394.54 MiB) 07:21:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 1394.54 MiB) 07:21:56 goblin ecc op : 56/1024 (mem: 1394.54 MiB) 07:21:56 busread : 3/6000 (mem: 1394.54 MiB) 07:21:56 lookups : 13540/15000 (mem: 1394.54 MiB) 07:21:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1394.54 MiB) 07:21:56 arithmetic : 29688/56000 (mem: 1394.54 MiB) 07:21:56 delta range : 10259/18000 (mem: 1394.54 MiB) 07:21:56 elliptic : 7849/6000 (mem: 1394.54 MiB) 07:21:56 auxiliary : 11827/26000 (mem: 1394.54 MiB) 07:21:56 poseidon ext : 1272/17000 (mem: 1394.54 MiB) 07:21:56 poseidon int : 7241/92000 (mem: 1394.54 MiB) 07:21:56 overflow : 0/0 (mem: 1394.54 MiB) 07:21:56 (mem: 1394.54 MiB) 07:21:56 Total structured size: 242025 (mem: 1394.54 MiB) 07:21:56 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1394.54 MiB) 07:21:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 1394.54 MiB) 07:21:56 goblin ecc op : 56/1024 (mem: 1394.54 MiB) 07:21:56 busread : 3/6000 (mem: 1394.54 MiB) 07:21:56 lookups : 13540/15000 (mem: 1394.54 MiB) 07:21:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1394.54 MiB) 07:21:56 arithmetic : 29688/56000 (mem: 1394.54 MiB) 07:21:56 delta range : 10259/18000 (mem: 1394.54 MiB) 07:21:56 elliptic : 6000/6000 (mem: 1394.54 MiB) 07:21:56 auxiliary : 11827/26000 (mem: 1394.54 MiB) 07:21:56 poseidon ext : 1272/17000 (mem: 1394.54 MiB) 07:21:56 poseidon int : 7241/92000 (mem: 1394.54 MiB) 07:21:56 overflow : 1850/1850 (mem: 1394.54 MiB) 07:21:56 (mem: 1394.54 MiB) 07:21:56 Total structured size: 243875 (mem: 1394.54 MiB) 07:21:56 allocating polynomials object in proving key... (mem: 1394.54 MiB) 07:21:57 populating trace... (mem: 1480.73 MiB) 07:21:57 time to construct proving key: 393 ms. (mem: 1480.73 MiB) 07:21:57 getting honk vk... precomputed?: 0 (mem: 1480.73 MiB) 07:21:58 computing folding proof (mem: 1480.73 MiB) 07:21:58 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1480.73 MiB) 07:21:58 vkey hash in Oink prover: 0x00000000000000000000000000000000df2dacaf19febeafa4452cda8ec5234a (mem: 1480.73 MiB) 07:22:00 oink prover on each incomplete key (mem: 1489.73 MiB) 07:22:01 perturbator round (mem: 1524.73 MiB) 07:22:04 combiner quotient round (mem: 1556.73 MiB) 07:22:05 folded (mem: 1556.73 MiB) 07:22:05 constructed folding proof (mem: 1556.73 MiB) 07:22:05 Largest circuit: 366564 gates. Trace details: (mem: 1556.73 MiB) 07:22:05 Minimum required block sizes for structured trace: (mem: 1556.73 MiB) 07:22:05 ecc_op : 56 07:22:05 busread : 3 07:22:05 lookup : 15000 07:22:05 pub_inputs : 32 07:22:05 arithmetic : 56000 07:22:05 delta_range : 18000 07:22:05 elliptic : 6000 07:22:05 aux : 26000 07:22:05 poseidon2_external : 1272 07:22:05 poseidon2_internal : 7241 07:22:05 overflow : 246603 07:22:05 (mem: 1556.73 MiB) 07:22:05 prove decider... (mem: 1556.73 MiB) 07:22:07 starting sumcheck rounds... (mem: 1564.73 MiB) 07:22:09 completed 19 rounds of sumcheck (mem: 1564.73 MiB) 07:22:13 executed multivariate-to-univariate reduction (mem: 1564.73 MiB) 07:22:15 computed opening proof (mem: 1564.73 MiB) 07:22:15 finished decider proving. (mem: 1564.73 MiB) 07:22:15 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000df2dacaf19febeafa4452cda8ec5234a (mem: 1564.73 MiB) 07:22:15 Constructing DeciderProvingKey (mem: 1564.73 MiB) 07:22:15 allocating polynomials object in proving key... (mem: 1564.73 MiB) 07:22:15 populating trace... (mem: 1564.73 MiB) 07:22:15 time to construct proving key: 71 ms. (mem: 1564.73 MiB) 07:22:16 vkey hash in Oink prover: 0x00000000000000000000000000000000a477a9b42893dc9210b19e5a6e850c87 (mem: 1564.73 MiB) 07:22:17 created oink proof (mem: 1564.73 MiB) 07:22:17 starting sumcheck rounds... (mem: 1564.73 MiB) 07:22:17 completed 16 rounds of sumcheck (mem: 1565.73 MiB) 07:22:18 executed multivariate-to-univariate reduction (mem: 1565.73 MiB) 07:22:19 computed opening proof (mem: 1565.73 MiB) 07:22:19 finished decider proving. (mem: 1565.73 MiB) 07:22:19 Constructing a Goblin proof with num ultra ops = 652 (mem: 1565.73 MiB) 07:22:19 prove eccvm... (mem: 1565.73 MiB) 07:22:19 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1565.73 MiB) 07:22:19 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1565.73 MiB) 07:22:20 starting sumcheck rounds... (mem: 1565.73 MiB) 07:22:26 completed 16 rounds of sumcheck (mem: 1566.73 MiB) 07:22:30 finished eccvm proving. (mem: 1566.73 MiB) 07:22:30 prove translator... (mem: 1566.73 MiB) 07:22:32 starting sumcheck rounds... (mem: 1569.73 MiB) 07:22:37 completed 18 rounds of sumcheck (mem: 1570.73 MiB) 07:22:42 computed opening proof (mem: 1570.73 MiB) 07:22:42 finished translator proving. (mem: 1570.73 MiB) 07:22:42 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a477a9b42893dc9210b19e5a6e850c87 (mem: 1570.73 MiB) 07:22:50 ClientIVC Recursive Verifier: num prefinalized gates = 1864772 (mem: 1772.73 MiB) 07:22:50 Constructing DeciderProvingKey (mem: 1772.73 MiB) 07:22:51 allocating polynomials object in proving key... (mem: 1963.73 MiB) 07:22:52 populating trace... (mem: 5489.73 MiB) 07:22:55 time to construct proving key: 4700 ms. (mem: 5925.73 MiB) 07:22:55 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 5925.73 MiB) 07:22:56 Initialized BN254 CRS from memory with num points = 4194305 (mem: 6293.60 MiB) 07:23:14 BN254 commitment key size: 262144 (mem: 6755.60 MiB) 07:23:15 Constructing DeciderProvingKey (mem: 6755.60 MiB) 07:23:15 Gate blocks summary: (actual gates / fixed capacity) (mem: 6755.60 MiB) 07:23:15 goblin ecc op : 10/1024 (mem: 6755.60 MiB) 07:23:15 busread : 3/6000 (mem: 6755.60 MiB) 07:23:15 lookups : 54285/15000 (mem: 6755.60 MiB) 07:23:15 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 6755.60 MiB) 07:23:15 arithmetic : 147423/56000 (mem: 6755.60 MiB) 07:23:15 delta range : 65649/18000 (mem: 6755.60 MiB) 07:23:15 elliptic : 4958/6000 (mem: 6755.60 MiB) 07:23:15 auxiliary : 94242/26000 (mem: 6755.60 MiB) 07:23:15 poseidon ext : 2/17000 (mem: 6755.60 MiB) 07:23:15 poseidon int : 2/92000 (mem: 6755.60 MiB) 07:23:15 overflow : 0/0 (mem: 6755.60 MiB) 07:23:15 (mem: 6755.60 MiB) 07:23:15 Total structured size: 242025 (mem: 6755.60 MiB) 07:23:15 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 6755.60 MiB) 07:23:15 Gate blocks summary: (actual gates / fixed capacity) (mem: 6755.60 MiB) 07:23:15 goblin ecc op : 10/1024 (mem: 6755.60 MiB) 07:23:15 busread : 3/6000 (mem: 6755.60 MiB) 07:23:15 lookups : 15000/15000 (mem: 6755.60 MiB) 07:23:15 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 6755.60 MiB) 07:23:15 arithmetic : 56000/56000 (mem: 6755.60 MiB) 07:23:15 delta range : 18000/18000 (mem: 6755.60 MiB) 07:23:15 elliptic : 4958/6000 (mem: 6755.60 MiB) 07:23:15 auxiliary : 26000/26000 (mem: 6755.60 MiB) 07:23:15 poseidon ext : 2/17000 (mem: 6755.60 MiB) 07:23:15 poseidon int : 2/92000 (mem: 6755.60 MiB) 07:23:15 overflow : 246603/246603 (mem: 6755.60 MiB) 07:23:15 (mem: 6755.60 MiB) 07:23:15 Total structured size: 488628 (mem: 6755.60 MiB) 07:23:15 allocating polynomials object in proving key... (mem: 6755.60 MiB) 07:23:15 populating trace... (mem: 6755.60 MiB) 07:23:16 time to construct proving key: 587 ms. (mem: 6755.60 MiB) 07:23:16 getting honk vk... precomputed?: 0 (mem: 6755.60 MiB) 07:23:19 computing oink proof... (mem: 6755.60 MiB) 07:23:19 vkey hash in Oink prover: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 6755.60 MiB) 07:23:23 oink proof constructed (mem: 6755.60 MiB) 07:23:23 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 6755.60 MiB) 07:23:23 Constructing DeciderProvingKey (mem: 6755.60 MiB) 07:23:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 6755.60 MiB) 07:23:23 goblin ecc op : 56/1024 (mem: 6755.60 MiB) 07:23:23 busread : 3/6000 (mem: 6755.60 MiB) 07:23:23 lookups : 13540/15000 (mem: 6755.60 MiB) 07:23:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 6755.60 MiB) 07:23:23 arithmetic : 29688/56000 (mem: 6755.60 MiB) 07:23:23 delta range : 10259/18000 (mem: 6755.60 MiB) 07:23:23 elliptic : 7849/6000 (mem: 6755.60 MiB) 07:23:23 auxiliary : 11827/26000 (mem: 6755.60 MiB) 07:23:23 poseidon ext : 1272/17000 (mem: 6755.60 MiB) 07:23:23 poseidon int : 7241/92000 (mem: 6755.60 MiB) 07:23:23 overflow : 0/0 (mem: 6755.60 MiB) 07:23:23 (mem: 6755.60 MiB) 07:23:23 Total structured size: 242025 (mem: 6755.60 MiB) 07:23:23 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 6755.60 MiB) 07:23:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 6755.60 MiB) 07:23:23 goblin ecc op : 56/1024 (mem: 6755.60 MiB) 07:23:23 busread : 3/6000 (mem: 6755.60 MiB) 07:23:23 lookups : 13540/15000 (mem: 6755.60 MiB) 07:23:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 6755.60 MiB) 07:23:23 arithmetic : 29688/56000 (mem: 6755.60 MiB) 07:23:23 delta range : 10259/18000 (mem: 6755.60 MiB) 07:23:23 elliptic : 6000/6000 (mem: 6755.60 MiB) 07:23:23 auxiliary : 11827/26000 (mem: 6755.60 MiB) 07:23:23 poseidon ext : 1272/17000 (mem: 6755.60 MiB) 07:23:23 poseidon int : 7241/92000 (mem: 6755.60 MiB) 07:23:23 overflow : 1850/1850 (mem: 6755.60 MiB) 07:23:23 (mem: 6755.60 MiB) 07:23:23 Total structured size: 243875 (mem: 6755.60 MiB) 07:23:23 allocating polynomials object in proving key... (mem: 6755.60 MiB) 07:23:23 populating trace... (mem: 6755.60 MiB) 07:23:24 time to construct proving key: 168 ms. (mem: 6755.60 MiB) 07:23:24 getting honk vk... precomputed?: 0 (mem: 6755.60 MiB) 07:23:25 computing folding proof (mem: 6755.60 MiB) 07:23:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 6755.60 MiB) 07:23:25 vkey hash in Oink prover: 0x00000000000000000000000000000000df2dacaf19febeafa4452cda8ec5234a (mem: 6755.60 MiB) 07:23:26 oink prover on each incomplete key (mem: 6755.60 MiB) 07:23:27 perturbator round (mem: 6755.60 MiB) 07:23:29 combiner quotient round (mem: 6755.60 MiB) 07:23:29 folded (mem: 6755.60 MiB) 07:23:29 constructed folding proof (mem: 6755.60 MiB) 07:23:29 Constructing DeciderProvingKey (mem: 6755.60 MiB) 07:23:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 6755.60 MiB) 07:23:29 goblin ecc op : 10/1024 (mem: 6755.60 MiB) 07:23:29 busread : 3/6000 (mem: 6755.60 MiB) 07:23:29 lookups : 32624/15000 (mem: 6755.60 MiB) 07:23:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 6755.60 MiB) 07:23:29 arithmetic : 46405/56000 (mem: 6755.60 MiB) 07:23:29 delta range : 18157/18000 (mem: 6755.60 MiB) 07:23:29 elliptic : 4132/6000 (mem: 6755.60 MiB) 07:23:29 auxiliary : 23580/26000 (mem: 6755.60 MiB) 07:23:29 poseidon ext : 2/17000 (mem: 6755.60 MiB) 07:23:29 poseidon int : 2/92000 (mem: 6755.60 MiB) 07:23:29 overflow : 0/0 (mem: 6755.60 MiB) 07:23:29 (mem: 6755.60 MiB) 07:23:29 Total structured size: 242025 (mem: 6755.60 MiB) 07:23:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 6755.60 MiB) 07:23:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 6755.60 MiB) 07:23:29 goblin ecc op : 10/1024 (mem: 6755.60 MiB) 07:23:29 busread : 3/6000 (mem: 6755.60 MiB) 07:23:29 lookups : 15000/15000 (mem: 6755.60 MiB) 07:23:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 6755.60 MiB) 07:23:29 arithmetic : 46405/56000 (mem: 6755.60 MiB) 07:23:29 delta range : 18000/18000 (mem: 6755.60 MiB) 07:23:29 elliptic : 4132/6000 (mem: 6755.60 MiB) 07:23:29 auxiliary : 23580/26000 (mem: 6755.60 MiB) 07:23:29 poseidon ext : 2/17000 (mem: 6755.60 MiB) 07:23:29 poseidon int : 2/92000 (mem: 6755.60 MiB) 07:23:29 overflow : 17783/17783 (mem: 6755.60 MiB) 07:23:29 (mem: 6755.60 MiB) 07:23:29 Total structured size: 259808 (mem: 6755.60 MiB) 07:23:29 allocating polynomials object in proving key... (mem: 6755.60 MiB) 07:23:30 populating trace... (mem: 6755.60 MiB) 07:23:30 time to construct proving key: 145 ms. (mem: 6755.60 MiB) 07:23:30 getting honk vk... precomputed?: 0 (mem: 6755.60 MiB) 07:23:31 computing folding proof (mem: 6755.60 MiB) 07:23:31 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 6755.60 MiB) 07:23:31 vkey hash in Oink prover: 0x000000000000000000000000000000007cfceb0461a958624f31024cf240416c (mem: 6755.60 MiB) 07:23:32 oink prover on each incomplete key (mem: 6755.60 MiB) 07:23:33 perturbator round (mem: 6755.60 MiB) 07:23:35 combiner quotient round (mem: 6755.60 MiB) 07:23:35 folded (mem: 6755.60 MiB) 07:23:35 constructed folding proof (mem: 6755.60 MiB) 07:23:36 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000df2dacaf19febeafa4452cda8ec5234a (mem: 6755.60 MiB) 07:23:36 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007cfceb0461a958624f31024cf240416c (mem: 6755.60 MiB) 07:23:36 Constructing DeciderProvingKey (mem: 6755.60 MiB) 07:23:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 6755.60 MiB) 07:23:36 goblin ecc op : 792/1024 (mem: 6755.60 MiB) 07:23:36 busread : 3/6000 (mem: 6755.60 MiB) 07:23:36 lookups : 13540/15000 (mem: 6755.60 MiB) 07:23:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 6755.60 MiB) 07:23:36 arithmetic : 36823/56000 (mem: 6755.60 MiB) 07:23:36 delta range : 11136/18000 (mem: 6755.60 MiB) 07:23:36 elliptic : 7849/6000 (mem: 6755.60 MiB) 07:23:36 auxiliary : 11827/26000 (mem: 6755.60 MiB) 07:23:36 poseidon ext : 4882/17000 (mem: 6755.60 MiB) 07:23:36 poseidon int : 27818/92000 (mem: 6755.60 MiB) 07:23:36 overflow : 0/0 (mem: 6755.60 MiB) 07:23:36 (mem: 6755.60 MiB) 07:23:36 Total structured size: 242025 (mem: 6755.60 MiB) 07:23:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 6755.60 MiB) 07:23:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 6755.60 MiB) 07:23:36 goblin ecc op : 792/1024 (mem: 6755.60 MiB) 07:23:36 busread : 3/6000 (mem: 6755.60 MiB) 07:23:36 lookups : 13540/15000 (mem: 6755.60 MiB) 07:23:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 6755.60 MiB) 07:23:36 arithmetic : 36823/56000 (mem: 6755.60 MiB) 07:23:36 delta range : 11136/18000 (mem: 6755.60 MiB) 07:23:36 elliptic : 6000/6000 (mem: 6755.60 MiB) 07:23:36 auxiliary : 11827/26000 (mem: 6755.60 MiB) 07:23:36 poseidon ext : 4882/17000 (mem: 6755.60 MiB) 07:23:36 poseidon int : 27818/92000 (mem: 6755.60 MiB) 07:23:36 overflow : 1850/1850 (mem: 6755.60 MiB) 07:23:36 (mem: 6755.60 MiB) 07:23:36 Total structured size: 243875 (mem: 6755.60 MiB) 07:23:36 allocating polynomials object in proving key... (mem: 6755.60 MiB) 07:23:36 populating trace... (mem: 6755.60 MiB) 07:23:36 time to construct proving key: 130 ms. (mem: 6755.60 MiB) 07:23:36 getting honk vk... precomputed?: 0 (mem: 6755.60 MiB) 07:23:37 computing folding proof (mem: 6755.60 MiB) 07:23:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 6755.60 MiB) 07:23:37 vkey hash in Oink prover: 0x00000000000000000000000000000000296c8dbe145a503e284734fba0fb6b8d (mem: 6755.60 MiB) 07:23:39 oink prover on each incomplete key (mem: 6755.60 MiB) 07:23:40 perturbator round (mem: 6755.60 MiB) 07:23:42 combiner quotient round (mem: 6755.60 MiB) 07:23:43 folded (mem: 6755.60 MiB) 07:23:43 constructed folding proof (mem: 6755.60 MiB) 07:23:43 Largest circuit: 366564 gates. Trace details: (mem: 6755.60 MiB) 07:23:43 Minimum required block sizes for structured trace: (mem: 6755.60 MiB) 07:23:43 ecc_op : 792 07:23:43 busread : 3 07:23:43 lookup : 15000 07:23:43 pub_inputs : 32 07:23:43 arithmetic : 56000 07:23:43 delta_range : 18000 07:23:43 elliptic : 6000 07:23:43 aux : 26000 07:23:43 poseidon2_external : 4882 07:23:43 poseidon2_internal : 27818 07:23:43 overflow : 246603 07:23:43 (mem: 6755.60 MiB) 07:23:43 prove decider... (mem: 6755.60 MiB) 07:23:44 starting sumcheck rounds... (mem: 6755.60 MiB) 07:23:45 completed 19 rounds of sumcheck (mem: 6755.60 MiB) 07:23:49 executed multivariate-to-univariate reduction (mem: 6755.60 MiB) 07:23:50 computed opening proof (mem: 6755.60 MiB) 07:23:50 finished decider proving. (mem: 6755.60 MiB) 07:23:50 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000296c8dbe145a503e284734fba0fb6b8d (mem: 6755.60 MiB) 07:23:50 Constructing DeciderProvingKey (mem: 6755.60 MiB) 07:23:50 allocating polynomials object in proving key... (mem: 6755.60 MiB) 07:23:50 populating trace... (mem: 6755.60 MiB) 07:23:50 time to construct proving key: 42 ms. (mem: 6755.60 MiB) 07:23:51 vkey hash in Oink prover: 0x00000000000000000000000000000000a477a9b42893dc9210b19e5a6e850c87 (mem: 6755.60 MiB) 07:23:51 created oink proof (mem: 6755.60 MiB) 07:23:51 starting sumcheck rounds... (mem: 6755.60 MiB) 07:23:51 completed 16 rounds of sumcheck (mem: 6755.60 MiB) 07:23:52 executed multivariate-to-univariate reduction (mem: 6755.60 MiB) 07:23:52 computed opening proof (mem: 6755.60 MiB) 07:23:52 finished decider proving. (mem: 6755.60 MiB) 07:23:52 Constructing a Goblin proof with num ultra ops = 1454 (mem: 6755.60 MiB) 07:23:52 prove eccvm... (mem: 6755.60 MiB) 07:23:54 starting sumcheck rounds... (mem: 6755.60 MiB) 07:23:58 completed 16 rounds of sumcheck (mem: 6755.60 MiB) 07:24:02 finished eccvm proving. (mem: 6755.60 MiB) 07:24:02 prove translator... (mem: 6755.60 MiB) 07:24:03 starting sumcheck rounds... (mem: 6755.60 MiB) 07:24:07 completed 18 rounds of sumcheck (mem: 6755.60 MiB) 07:24:10 computed opening proof (mem: 6755.60 MiB) 07:24:10 finished translator proving. (mem: 6755.60 MiB) 07:24:10 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a477a9b42893dc9210b19e5a6e850c87 (mem: 6755.60 MiB) 07:24:14 ClientIVC Recursive Verifier: num prefinalized gates = 1864772 (mem: 6755.60 MiB) 07:24:14 Constructing DeciderProvingKey (mem: 6755.60 MiB) 07:24:15 allocating polynomials object in proving key... (mem: 6755.60 MiB) 07:24:16 populating trace... (mem: 6779.27 MiB) 07:24:18 time to construct proving key: 3275 ms. (mem: 7185.27 MiB) 07:24:33 [ OK ] ClientIVCRecursionTests.TubeVKIndependentOfInputCircuits (168094 ms) 07:24:33 [----------] 1 test from ClientIVCRecursionTests (168094 ms total) 07:24:33 07:24:33 [----------] Global test environment tear-down 07:24:33 [==========] 1 test from 1 test suite ran. (168094 ms total) 07:24:33 [ PASSED ] 1 test.