Parent Log: http://ci.aztec-labs.com/0b0ed1441c270b0e Command: ed599b69b1b675f7 barretenberg/cpp/scripts/run_test.sh dsl_tests IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints Commit: https://github.com/AztecProtocol/aztec-packages/commit/d786995735f855e08e8d74f50bac5d7d3996c5f7 Env: REF_NAME=gh-readonly-queue/next/pr-15367-939477439c3c25c00b6da8994466b7d710eaa7e8 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 27 12:12:26 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15367_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_ceb1caecce6e17c8_next 12:12:26 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 12:12:26 Note: Google Test filter = IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints 12:12:26 [==========] Running 1 test from 1 test suite. 12:12:26 [----------] Global test environment set-up. 12:12:26 [----------] 1 test from IvcRecursionConstraintTest 12:12:26 [ RUN ] IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints 12:12:26 BN254 commitment key size: 262144 (mem: 11.00 MiB) 12:12:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 11.00 MiB) 12:12:26 Initialized BN254 CRS from memory with num points = 262145 (mem: 44.03 MiB) 12:12:26 Constructing DeciderProvingKey (mem: 44.03 MiB) 12:12:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 44.03 MiB) 12:12:26 goblin ecc op : 18/1024 (mem: 44.03 MiB) 12:12:26 busread : 3/6000 (mem: 44.03 MiB) 12:12:26 lookups : 2/15000 (mem: 44.03 MiB) 12:12:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 44.03 MiB) 12:12:26 arithmetic : 1759/56000 (mem: 44.03 MiB) 12:12:26 delta range : 1754/18000 (mem: 44.03 MiB) 12:12:26 elliptic : 2/6000 (mem: 44.03 MiB) 12:12:26 auxiliary : 26/26000 (mem: 44.03 MiB) 12:12:26 poseidon ext : 2/17000 (mem: 44.03 MiB) 12:12:26 poseidon int : 2/92000 (mem: 44.03 MiB) 12:12:26 overflow : 0/0 (mem: 44.03 MiB) 12:12:26 (mem: 44.03 MiB) 12:12:26 Total structured size: 242025 (mem: 44.03 MiB) 12:12:26 allocating polynomials object in proving key... (mem: 44.03 MiB) 12:12:26 populating trace... (mem: 260.05 MiB) 12:12:26 time to construct proving key: 92 ms. (mem: 275.05 MiB) 12:12:26 getting honk vk... precomputed?: 0 (mem: 275.05 MiB) 12:12:27 computing oink proof... (mem: 276.05 MiB) 12:12:27 vkey hash in Oink prover: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 276.05 MiB) 12:12:27 oink proof constructed (mem: 280.05 MiB) 12:12:27 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 280.05 MiB) 12:12:27 Constructing DeciderProvingKey (mem: 281.05 MiB) 12:12:27 Gate blocks summary: (actual gates / fixed capacity) (mem: 281.05 MiB) 12:12:27 goblin ecc op : 56/1024 (mem: 281.05 MiB) 12:12:27 busread : 3/6000 (mem: 281.05 MiB) 12:12:27 lookups : 2/15000 (mem: 281.05 MiB) 12:12:27 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 281.05 MiB) 12:12:27 arithmetic : 4554/56000 (mem: 281.05 MiB) 12:12:27 delta range : 2060/18000 (mem: 281.05 MiB) 12:12:27 elliptic : 2/6000 (mem: 281.05 MiB) 12:12:27 auxiliary : 50/26000 (mem: 281.05 MiB) 12:12:27 poseidon ext : 1272/17000 (mem: 281.05 MiB) 12:12:27 poseidon int : 7241/92000 (mem: 281.05 MiB) 12:12:27 overflow : 0/0 (mem: 281.05 MiB) 12:12:27 (mem: 281.05 MiB) 12:12:27 Total structured size: 242025 (mem: 281.05 MiB) 12:12:27 allocating polynomials object in proving key... (mem: 281.05 MiB) 12:12:27 populating trace... (mem: 498.05 MiB) 12:12:27 time to construct proving key: 92 ms. (mem: 514.05 MiB) 12:12:27 getting honk vk... precomputed?: 0 (mem: 514.05 MiB) 12:12:27 computing folding proof (mem: 514.05 MiB) 12:12:27 vkey hash in Oink prover: 0x000000000000000000000000000000008e1a33b800b786b513badc2ea7a121c9 (mem: 514.05 MiB) 12:12:28 oink prover on each incomplete key (mem: 518.05 MiB) 12:12:28 perturbator round (mem: 551.05 MiB) 12:12:28 combiner quotient round (mem: 583.05 MiB) 12:12:29 folded (mem: 583.05 MiB) 12:12:29 constructed folding proof (mem: 583.05 MiB) 12:12:29 Constructing DeciderProvingKey (mem: 583.05 MiB) 12:12:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 583.05 MiB) 12:12:29 goblin ecc op : 18/1024 (mem: 583.05 MiB) 12:12:29 busread : 3/6000 (mem: 583.05 MiB) 12:12:29 lookups : 2/15000 (mem: 583.05 MiB) 12:12:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 583.05 MiB) 12:12:29 arithmetic : 1759/56000 (mem: 583.05 MiB) 12:12:29 delta range : 1754/18000 (mem: 583.05 MiB) 12:12:29 elliptic : 2/6000 (mem: 583.05 MiB) 12:12:29 auxiliary : 26/26000 (mem: 583.05 MiB) 12:12:29 poseidon ext : 2/17000 (mem: 583.05 MiB) 12:12:29 poseidon int : 2/92000 (mem: 583.05 MiB) 12:12:29 overflow : 0/0 (mem: 583.05 MiB) 12:12:29 (mem: 583.05 MiB) 12:12:29 Total structured size: 242025 (mem: 583.05 MiB) 12:12:29 allocating polynomials object in proving key... (mem: 583.05 MiB) 12:12:29 populating trace... (mem: 583.05 MiB) 12:12:29 time to construct proving key: 39 ms. (mem: 583.05 MiB) 12:12:29 getting honk vk... precomputed?: 0 (mem: 583.05 MiB) 12:12:29 computing folding proof (mem: 583.05 MiB) 12:12:29 vkey hash in Oink prover: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 583.05 MiB) 12:12:29 oink prover on each incomplete key (mem: 583.05 MiB) 12:12:29 perturbator round (mem: 583.05 MiB) 12:12:30 combiner quotient round (mem: 583.59 MiB) 12:12:30 folded (mem: 583.59 MiB) 12:12:30 constructed folding proof (mem: 583.59 MiB) 12:12:30 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000008e1a33b800b786b513badc2ea7a121c9 (mem: 583.59 MiB) 12:12:30 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 583.59 MiB) 12:12:30 Constructing DeciderProvingKey (mem: 583.59 MiB) 12:12:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 583.59 MiB) 12:12:30 goblin ecc op : 792/1024 (mem: 583.59 MiB) 12:12:30 busread : 3/6000 (mem: 583.59 MiB) 12:12:30 lookups : 2/15000 (mem: 583.59 MiB) 12:12:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 583.59 MiB) 12:12:30 arithmetic : 11809/56000 (mem: 583.59 MiB) 12:12:30 delta range : 2938/18000 (mem: 583.59 MiB) 12:12:30 elliptic : 2/6000 (mem: 583.59 MiB) 12:12:30 auxiliary : 50/26000 (mem: 583.59 MiB) 12:12:30 poseidon ext : 4882/17000 (mem: 583.59 MiB) 12:12:30 poseidon int : 27818/92000 (mem: 583.59 MiB) 12:12:30 overflow : 0/0 (mem: 583.59 MiB) 12:12:30 (mem: 583.59 MiB) 12:12:30 Total structured size: 242025 (mem: 583.59 MiB) 12:12:30 allocating polynomials object in proving key... (mem: 583.59 MiB) 12:12:30 populating trace... (mem: 583.59 MiB) 12:12:30 time to construct proving key: 65 ms. (mem: 583.59 MiB) 12:12:30 getting honk vk... precomputed?: 0 (mem: 583.59 MiB) 12:12:31 computing folding proof (mem: 583.59 MiB) 12:12:31 vkey hash in Oink prover: 0x00000000000000000000000000000000f4bfc6d7032d704042fabad1bc275ad5 (mem: 583.59 MiB) 12:12:32 oink prover on each incomplete key (mem: 583.59 MiB) 12:12:32 perturbator round (mem: 583.59 MiB) 12:12:33 combiner quotient round (mem: 610.59 MiB) 12:12:33 folded (mem: 610.59 MiB) 12:12:33 constructed folding proof (mem: 610.59 MiB) 12:12:33 BN254 commitment key size: 262144 (mem: 610.59 MiB) 12:12:33 BN254 commitment key size: 262144 (mem: 610.59 MiB) 12:12:33 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 610.59 MiB) 12:12:33 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 610.59 MiB) 12:12:33 Constructing DeciderProvingKey (mem: 610.59 MiB) 12:12:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 610.59 MiB) 12:12:33 goblin ecc op : 792/1024 (mem: 610.59 MiB) 12:12:33 busread : 3/6000 (mem: 610.59 MiB) 12:12:33 lookups : 2/15000 (mem: 610.59 MiB) 12:12:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 610.59 MiB) 12:12:33 arithmetic : 11809/56000 (mem: 610.59 MiB) 12:12:33 delta range : 2938/18000 (mem: 610.59 MiB) 12:12:33 elliptic : 2/6000 (mem: 610.59 MiB) 12:12:33 auxiliary : 50/26000 (mem: 610.59 MiB) 12:12:33 poseidon ext : 4882/17000 (mem: 610.59 MiB) 12:12:33 poseidon int : 27818/92000 (mem: 610.59 MiB) 12:12:33 overflow : 0/0 (mem: 610.59 MiB) 12:12:33 (mem: 610.59 MiB) 12:12:33 Total structured size: 242025 (mem: 610.59 MiB) 12:12:33 allocating polynomials object in proving key... (mem: 610.59 MiB) 12:12:33 populating trace... (mem: 610.59 MiB) 12:12:33 time to construct proving key: 59 ms. (mem: 610.59 MiB) 12:12:34 [ OK ] IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints (7639 ms) 12:12:34 [----------] 1 test from IvcRecursionConstraintTest (7639 ms total) 12:12:34 12:12:34 [----------] Global test environment tear-down 12:12:34 [==========] 1 test from 1 test suite ran. (7639 ms total) 12:12:34 [ PASSED ] 1 test.