Parent Log: http://ci.aztec-labs.com/a7413f1866b4139b Command: ed599b69b1b675f7 barretenberg/cpp/scripts/run_test.sh dsl_tests IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints 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:02 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15275_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_ceb1caecce6e17c8_next 07:21:02 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 07:21:02 Note: Google Test filter = IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints 07:21:02 [==========] Running 1 test from 1 test suite. 07:21:02 [----------] Global test environment set-up. 07:21:02 [----------] 1 test from IvcRecursionConstraintTest 07:21:02 [ RUN ] IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints 07:21:02 BN254 commitment key size: 262144 (mem: 11.00 MiB) 07:21:02 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 11.00 MiB) 07:21:02 Initialized BN254 CRS from memory with num points = 262145 (mem: 43.04 MiB) 07:21:02 Constructing DeciderProvingKey (mem: 43.04 MiB) 07:21:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 43.04 MiB) 07:21:02 goblin ecc op : 18/1024 (mem: 43.04 MiB) 07:21:02 busread : 3/6000 (mem: 43.04 MiB) 07:21:02 lookups : 2/15000 (mem: 43.04 MiB) 07:21:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 43.04 MiB) 07:21:02 arithmetic : 1759/56000 (mem: 43.04 MiB) 07:21:02 delta range : 1754/18000 (mem: 43.04 MiB) 07:21:02 elliptic : 2/6000 (mem: 43.04 MiB) 07:21:02 auxiliary : 26/26000 (mem: 43.04 MiB) 07:21:02 poseidon ext : 2/17000 (mem: 43.04 MiB) 07:21:02 poseidon int : 2/92000 (mem: 43.04 MiB) 07:21:02 overflow : 0/0 (mem: 43.04 MiB) 07:21:02 (mem: 43.04 MiB) 07:21:02 Total structured size: 242025 (mem: 43.04 MiB) 07:21:02 allocating polynomials object in proving key... (mem: 43.04 MiB) 07:21:02 populating trace... (mem: 260.06 MiB) 07:21:02 time to construct proving key: 88 ms. (mem: 274.06 MiB) 07:21:02 getting honk vk... precomputed?: 0 (mem: 274.06 MiB) 07:21:02 computing oink proof... (mem: 275.06 MiB) 07:21:02 vkey hash in Oink prover: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 275.06 MiB) 07:21:03 oink proof constructed (mem: 279.06 MiB) 07:21:03 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 279.06 MiB) 07:21:03 Constructing DeciderProvingKey (mem: 280.06 MiB) 07:21:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 280.06 MiB) 07:21:03 goblin ecc op : 56/1024 (mem: 280.06 MiB) 07:21:03 busread : 3/6000 (mem: 280.06 MiB) 07:21:03 lookups : 2/15000 (mem: 280.06 MiB) 07:21:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 280.06 MiB) 07:21:03 arithmetic : 4554/56000 (mem: 280.06 MiB) 07:21:03 delta range : 2060/18000 (mem: 280.06 MiB) 07:21:03 elliptic : 2/6000 (mem: 280.06 MiB) 07:21:03 auxiliary : 50/26000 (mem: 280.06 MiB) 07:21:03 poseidon ext : 1272/17000 (mem: 280.06 MiB) 07:21:03 poseidon int : 7241/92000 (mem: 280.06 MiB) 07:21:03 overflow : 0/0 (mem: 280.06 MiB) 07:21:03 (mem: 280.06 MiB) 07:21:03 Total structured size: 242025 (mem: 280.06 MiB) 07:21:03 allocating polynomials object in proving key... (mem: 280.06 MiB) 07:21:03 populating trace... (mem: 498.06 MiB) 07:21:03 time to construct proving key: 92 ms. (mem: 514.06 MiB) 07:21:03 getting honk vk... precomputed?: 0 (mem: 514.06 MiB) 07:21:03 computing folding proof (mem: 514.06 MiB) 07:21:03 vkey hash in Oink prover: 0x000000000000000000000000000000008e1a33b800b786b513badc2ea7a121c9 (mem: 514.06 MiB) 07:21:04 oink prover on each incomplete key (mem: 518.06 MiB) 07:21:04 perturbator round (mem: 550.06 MiB) 07:21:04 combiner quotient round (mem: 582.06 MiB) 07:21:05 folded (mem: 582.06 MiB) 07:21:05 constructed folding proof (mem: 582.06 MiB) 07:21:05 Constructing DeciderProvingKey (mem: 582.06 MiB) 07:21:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 582.06 MiB) 07:21:05 goblin ecc op : 18/1024 (mem: 582.06 MiB) 07:21:05 busread : 3/6000 (mem: 582.06 MiB) 07:21:05 lookups : 2/15000 (mem: 582.06 MiB) 07:21:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 582.06 MiB) 07:21:05 arithmetic : 1759/56000 (mem: 582.06 MiB) 07:21:05 delta range : 1754/18000 (mem: 582.06 MiB) 07:21:05 elliptic : 2/6000 (mem: 582.06 MiB) 07:21:05 auxiliary : 26/26000 (mem: 582.06 MiB) 07:21:05 poseidon ext : 2/17000 (mem: 582.06 MiB) 07:21:05 poseidon int : 2/92000 (mem: 582.06 MiB) 07:21:05 overflow : 0/0 (mem: 582.06 MiB) 07:21:05 (mem: 582.06 MiB) 07:21:05 Total structured size: 242025 (mem: 582.06 MiB) 07:21:05 allocating polynomials object in proving key... (mem: 582.06 MiB) 07:21:05 populating trace... (mem: 582.06 MiB) 07:21:05 time to construct proving key: 84 ms. (mem: 582.06 MiB) 07:21:05 getting honk vk... precomputed?: 0 (mem: 582.06 MiB) 07:21:05 computing folding proof (mem: 582.06 MiB) 07:21:05 vkey hash in Oink prover: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 582.06 MiB) 07:21:05 oink prover on each incomplete key (mem: 582.06 MiB) 07:21:05 perturbator round (mem: 582.06 MiB) 07:21:06 combiner quotient round (mem: 582.07 MiB) 07:21:06 folded (mem: 582.07 MiB) 07:21:06 constructed folding proof (mem: 582.07 MiB) 07:21:06 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000008e1a33b800b786b513badc2ea7a121c9 (mem: 582.07 MiB) 07:21:06 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000011d2a4e6719f1c9431410bb77aabe674 (mem: 582.07 MiB) 07:21:06 Constructing DeciderProvingKey (mem: 582.07 MiB) 07:21:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 582.07 MiB) 07:21:06 goblin ecc op : 792/1024 (mem: 582.07 MiB) 07:21:06 busread : 3/6000 (mem: 582.07 MiB) 07:21:06 lookups : 2/15000 (mem: 582.07 MiB) 07:21:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 582.07 MiB) 07:21:06 arithmetic : 11809/56000 (mem: 582.07 MiB) 07:21:06 delta range : 2938/18000 (mem: 582.07 MiB) 07:21:06 elliptic : 2/6000 (mem: 582.07 MiB) 07:21:06 auxiliary : 50/26000 (mem: 582.07 MiB) 07:21:06 poseidon ext : 4882/17000 (mem: 582.07 MiB) 07:21:06 poseidon int : 27818/92000 (mem: 582.07 MiB) 07:21:06 overflow : 0/0 (mem: 582.07 MiB) 07:21:06 (mem: 582.07 MiB) 07:21:06 Total structured size: 242025 (mem: 582.07 MiB) 07:21:06 allocating polynomials object in proving key... (mem: 582.07 MiB) 07:21:06 populating trace... (mem: 582.07 MiB) 07:21:06 time to construct proving key: 56 ms. (mem: 582.07 MiB) 07:21:06 getting honk vk... precomputed?: 0 (mem: 582.07 MiB) 07:21:07 computing folding proof (mem: 582.07 MiB) 07:21:07 vkey hash in Oink prover: 0x00000000000000000000000000000000f4bfc6d7032d704042fabad1bc275ad5 (mem: 582.07 MiB) 07:21:08 oink prover on each incomplete key (mem: 582.07 MiB) 07:21:08 perturbator round (mem: 582.07 MiB) 07:21:09 combiner quotient round (mem: 609.07 MiB) 07:21:09 folded (mem: 609.07 MiB) 07:21:09 constructed folding proof (mem: 609.07 MiB) 07:21:09 BN254 commitment key size: 262144 (mem: 609.07 MiB) 07:21:09 BN254 commitment key size: 262144 (mem: 609.07 MiB) 07:21:09 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 609.07 MiB) 07:21:09 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 609.07 MiB) 07:21:09 Constructing DeciderProvingKey (mem: 609.07 MiB) 07:21:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 609.07 MiB) 07:21:09 goblin ecc op : 792/1024 (mem: 609.07 MiB) 07:21:09 busread : 3/6000 (mem: 609.07 MiB) 07:21:09 lookups : 2/15000 (mem: 609.07 MiB) 07:21:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 609.07 MiB) 07:21:09 arithmetic : 11809/56000 (mem: 609.07 MiB) 07:21:09 delta range : 2938/18000 (mem: 609.07 MiB) 07:21:09 elliptic : 2/6000 (mem: 609.07 MiB) 07:21:09 auxiliary : 50/26000 (mem: 609.07 MiB) 07:21:09 poseidon ext : 4882/17000 (mem: 609.07 MiB) 07:21:09 poseidon int : 27818/92000 (mem: 609.07 MiB) 07:21:09 overflow : 0/0 (mem: 609.07 MiB) 07:21:09 (mem: 609.07 MiB) 07:21:09 Total structured size: 242025 (mem: 609.07 MiB) 07:21:09 allocating polynomials object in proving key... (mem: 609.07 MiB) 07:21:10 populating trace... (mem: 609.07 MiB) 07:21:10 time to construct proving key: 64 ms. (mem: 609.07 MiB) 07:21:10 [ OK ] IvcRecursionConstraintTest.GenerateInnerKernelVKFromConstraints (8092 ms) 07:21:10 [----------] 1 test from IvcRecursionConstraintTest (8092 ms total) 07:21:10 07:21:10 [----------] Global test environment tear-down 07:21:10 [==========] 1 test from 1 test suite ran. (8092 ms total) 07:21:10 [ PASSED ] 1 test.