Parent Log: http://ci.aztec-labs.com/14c27125c24e690a Command: 49c3c75c9d9752b4 barretenberg/cpp/scripts/run_test.sh dsl_tests IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints Commit: https://github.com/AztecProtocol/aztec-packages/commit/9a92b236a0504abac061cfb27b540395e2f1c017 Env: REF_NAME=gh-readonly-queue/next/pr-15361-610fb07da679272c690a8ac07ee9b822ceafb3b1 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 27 13:47:20 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15361_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_ceb1caecce6e17c8_next 13:47:20 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 13:47:20 Note: Google Test filter = IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints 13:47:20 [==========] Running 1 test from 1 test suite. 13:47:20 [----------] Global test environment set-up. 13:47:20 [----------] 1 test from IvcRecursionConstraintTest 13:47:20 [ RUN ] IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints 13:47:20 BN254 commitment key size: 262144 (mem: 11.00 MiB) 13:47:20 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 11.00 MiB) 13:47:20 Initialized BN254 CRS from memory with num points = 262145 (mem: 44.03 MiB) 13:47:20 Constructing DeciderProvingKey (mem: 44.03 MiB) 13:47:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 44.03 MiB) 13:47:20 goblin ecc op : 18/1024 (mem: 44.03 MiB) 13:47:20 busread : 3/6000 (mem: 44.03 MiB) 13:47:20 lookups : 2/15000 (mem: 44.03 MiB) 13:47:20 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 44.03 MiB) 13:47:20 arithmetic : 1759/56000 (mem: 44.03 MiB) 13:47:20 delta range : 1754/18000 (mem: 44.03 MiB) 13:47:20 elliptic : 2/6000 (mem: 44.03 MiB) 13:47:20 auxiliary : 26/26000 (mem: 44.03 MiB) 13:47:20 poseidon ext : 2/17000 (mem: 44.03 MiB) 13:47:20 poseidon int : 2/92000 (mem: 44.03 MiB) 13:47:20 overflow : 0/0 (mem: 44.03 MiB) 13:47:20 (mem: 44.03 MiB) 13:47:20 Total structured size: 242025 (mem: 44.03 MiB) 13:47:20 allocating polynomials object in proving key... (mem: 44.03 MiB) 13:47:20 populating trace... (mem: 259.05 MiB) 13:47:20 time to construct proving key: 76 ms. (mem: 273.05 MiB) 13:47:20 getting honk vk... precomputed?: 0 (mem: 273.05 MiB) 13:47:20 computing oink proof... (mem: 273.05 MiB) 13:47:20 vkey hash in Oink prover: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 273.05 MiB) 13:47:20 oink proof constructed (mem: 277.05 MiB) 13:47:20 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 278.05 MiB) 13:47:20 Constructing DeciderProvingKey (mem: 278.05 MiB) 13:47:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 278.05 MiB) 13:47:20 goblin ecc op : 56/1024 (mem: 278.05 MiB) 13:47:20 busread : 3/6000 (mem: 278.05 MiB) 13:47:20 lookups : 2/15000 (mem: 278.05 MiB) 13:47:20 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 278.05 MiB) 13:47:20 arithmetic : 4554/56000 (mem: 278.05 MiB) 13:47:20 delta range : 2060/18000 (mem: 278.05 MiB) 13:47:20 elliptic : 2/6000 (mem: 278.05 MiB) 13:47:20 auxiliary : 50/26000 (mem: 278.05 MiB) 13:47:20 poseidon ext : 1272/17000 (mem: 278.05 MiB) 13:47:20 poseidon int : 7241/92000 (mem: 278.05 MiB) 13:47:20 overflow : 0/0 (mem: 278.05 MiB) 13:47:20 (mem: 278.05 MiB) 13:47:20 Total structured size: 242025 (mem: 278.05 MiB) 13:47:20 allocating polynomials object in proving key... (mem: 278.05 MiB) 13:47:20 populating trace... (mem: 495.05 MiB) 13:47:20 time to construct proving key: 94 ms. (mem: 511.05 MiB) 13:47:20 getting honk vk... precomputed?: 0 (mem: 511.05 MiB) 13:47:21 computing folding proof (mem: 511.05 MiB) 13:47:21 vkey hash in Oink prover: 0x000000000000000000000000000000008e1a33b800b786b513badc2ea7a121c9 (mem: 511.05 MiB) 13:47:21 oink prover on each incomplete key (mem: 515.05 MiB) 13:47:21 perturbator round (mem: 548.05 MiB) 13:47:22 combiner quotient round (mem: 580.05 MiB) 13:47:22 folded (mem: 580.05 MiB) 13:47:22 constructed folding proof (mem: 580.05 MiB) 13:47:22 Constructing DeciderProvingKey (mem: 580.05 MiB) 13:47:22 Gate blocks summary: (actual gates / fixed capacity) (mem: 580.05 MiB) 13:47:22 goblin ecc op : 18/1024 (mem: 580.05 MiB) 13:47:22 busread : 3/6000 (mem: 580.05 MiB) 13:47:22 lookups : 2/15000 (mem: 580.05 MiB) 13:47:22 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 580.05 MiB) 13:47:22 arithmetic : 1759/56000 (mem: 580.05 MiB) 13:47:22 delta range : 1754/18000 (mem: 580.05 MiB) 13:47:22 elliptic : 2/6000 (mem: 580.05 MiB) 13:47:22 auxiliary : 26/26000 (mem: 580.05 MiB) 13:47:22 poseidon ext : 2/17000 (mem: 580.05 MiB) 13:47:22 poseidon int : 2/92000 (mem: 580.05 MiB) 13:47:22 overflow : 0/0 (mem: 580.05 MiB) 13:47:22 (mem: 580.05 MiB) 13:47:22 Total structured size: 242025 (mem: 580.05 MiB) 13:47:22 allocating polynomials object in proving key... (mem: 580.05 MiB) 13:47:22 populating trace... (mem: 580.05 MiB) 13:47:22 time to construct proving key: 79 ms. (mem: 580.05 MiB) 13:47:22 getting honk vk... precomputed?: 0 (mem: 580.05 MiB) 13:47:22 computing folding proof (mem: 580.05 MiB) 13:47:22 vkey hash in Oink prover: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 580.05 MiB) 13:47:23 oink prover on each incomplete key (mem: 580.05 MiB) 13:47:23 perturbator round (mem: 580.05 MiB) 13:47:23 combiner quotient round (mem: 580.06 MiB) 13:47:23 folded (mem: 580.06 MiB) 13:47:23 constructed folding proof (mem: 580.06 MiB) 13:47:23 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000008e1a33b800b786b513badc2ea7a121c9 (mem: 580.06 MiB) 13:47:24 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 580.06 MiB) 13:47:24 Constructing DeciderProvingKey (mem: 580.06 MiB) 13:47:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 580.06 MiB) 13:47:24 goblin ecc op : 792/1024 (mem: 580.06 MiB) 13:47:24 busread : 3/6000 (mem: 580.06 MiB) 13:47:24 lookups : 2/15000 (mem: 580.06 MiB) 13:47:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 580.06 MiB) 13:47:24 arithmetic : 11809/56000 (mem: 580.06 MiB) 13:47:24 delta range : 2938/18000 (mem: 580.06 MiB) 13:47:24 elliptic : 2/6000 (mem: 580.06 MiB) 13:47:24 auxiliary : 50/26000 (mem: 580.06 MiB) 13:47:24 poseidon ext : 4882/17000 (mem: 580.06 MiB) 13:47:24 poseidon int : 27818/92000 (mem: 580.06 MiB) 13:47:24 overflow : 0/0 (mem: 580.06 MiB) 13:47:24 (mem: 580.06 MiB) 13:47:24 Total structured size: 242025 (mem: 580.06 MiB) 13:47:24 allocating polynomials object in proving key... (mem: 580.06 MiB) 13:47:24 populating trace... (mem: 580.06 MiB) 13:47:24 time to construct proving key: 59 ms. (mem: 580.06 MiB) 13:47:24 getting honk vk... precomputed?: 0 (mem: 580.06 MiB) 13:47:24 computing folding proof (mem: 580.06 MiB) 13:47:24 vkey hash in Oink prover: 0x00000000000000000000000000000000f4bfc6d7032d704042fabad1bc275ad5 (mem: 580.06 MiB) 13:47:26 oink prover on each incomplete key (mem: 580.06 MiB) 13:47:26 perturbator round (mem: 580.06 MiB) 13:47:26 combiner quotient round (mem: 607.07 MiB) 13:47:26 folded (mem: 607.07 MiB) 13:47:26 constructed folding proof (mem: 607.07 MiB) 13:47:26 BN254 commitment key size: 262144 (mem: 607.07 MiB) 13:47:26 BN254 commitment key size: 262144 (mem: 607.07 MiB) 13:47:26 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 607.07 MiB) 13:47:26 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 607.07 MiB) 13:47:27 Constructing DeciderProvingKey (mem: 607.07 MiB) 13:47:27 Gate blocks summary: (actual gates / fixed capacity) (mem: 607.07 MiB) 13:47:27 goblin ecc op : 792/1024 (mem: 607.07 MiB) 13:47:27 busread : 3/6000 (mem: 607.07 MiB) 13:47:27 lookups : 2/15000 (mem: 607.07 MiB) 13:47:27 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 607.07 MiB) 13:47:27 arithmetic : 11809/56000 (mem: 607.07 MiB) 13:47:27 delta range : 2938/18000 (mem: 607.07 MiB) 13:47:27 elliptic : 2/6000 (mem: 607.07 MiB) 13:47:27 auxiliary : 50/26000 (mem: 607.07 MiB) 13:47:27 poseidon ext : 4882/17000 (mem: 607.07 MiB) 13:47:27 poseidon int : 27818/92000 (mem: 607.07 MiB) 13:47:27 overflow : 0/0 (mem: 607.07 MiB) 13:47:27 (mem: 607.07 MiB) 13:47:27 Total structured size: 242025 (mem: 607.07 MiB) 13:47:27 allocating polynomials object in proving key... (mem: 607.07 MiB) 13:47:27 populating trace... (mem: 607.07 MiB) 13:47:27 time to construct proving key: 54 ms. (mem: 607.07 MiB) 13:47:27 [ OK ] IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints (7648 ms) 13:47:27 [----------] 1 test from IvcRecursionConstraintTest (7649 ms total) 13:47:27 13:47:27 [----------] Global test environment tear-down 13:47:27 [==========] 1 test from 1 test suite ran. (7649 ms total) 13:47:27 [ PASSED ] 1 test.