Parent Log: http://ci.aztec-labs.com/396b9faae4f30dda Command: ed599b69b1b675f7:CPUS=4:MEM=8g barretenberg/cpp/scripts/run_test.sh dsl_tests AcirHonkRecursionConstraint/0.TestFullRecursiveComposition Commit: https://github.com/AztecProtocol/aztec-packages/commit/116e66bf46c1aada2a913568edad66725d08d06c Env: REF_NAME=gh-readonly-queue/next/pr-15292-dbfd8421af552f5a3c09615204514bbfb98a8a06 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 26 21:46:47 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15292_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=4 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_0e4b4c9c338e4ee0_next 21:46:47 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 21:46:47 Note: Google Test filter = AcirHonkRecursionConstraint/0.TestFullRecursiveComposition 21:46:47 [==========] Running 1 test from 1 test suite. 21:46:47 [----------] Global test environment set-up. 21:46:47 [----------] 1 test from AcirHonkRecursionConstraint/0, where TypeParam = bb::UltraRecursiveFlavor_<bb::UltraCircuitBuilder_<bb::UltraExecutionTraceBlocks> > 21:46:47 [ RUN ] AcirHonkRecursionConstraint/0.TestFullRecursiveComposition 21:46:47 created circuit (mem: 15.00 MiB) 21:46:47 created first inner circuit (mem: 16.00 MiB) 21:46:47 created circuit (mem: 16.00 MiB) 21:46:47 created second inner circuit (mem: 17.00 MiB) 21:46:47 Constructing DeciderProvingKey (mem: 17.00 MiB) 21:46:47 allocating polynomials object in proving key... (mem: 19.00 MiB) 21:46:47 populating trace... (mem: 27.00 MiB) 21:46:47 time to construct proving key: 10 ms. (mem: 28.00 MiB) 21:46:47 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 28.00 MiB) 21:46:47 Initialized BN254 CRS from memory with num points = 8193 (mem: 29.00 MiB) 21:46:47 vkey hash in Oink prover: 0x00000000000000000000000000000000f02c9a9bdc44c096f692f718113a62e2 (mem: 30.00 MiB) 21:46:47 created oink proof (mem: 30.00 MiB) 21:46:47 starting sumcheck rounds... (mem: 34.00 MiB) 21:46:47 completed 13 rounds of sumcheck (mem: 34.00 MiB) 21:46:47 executed multivariate-to-univariate reduction (mem: 34.00 MiB) 21:46:47 computed opening proof (mem: 34.00 MiB) 21:46:47 finished decider proving. (mem: 34.00 MiB) 21:46:47 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f02c9a9bdc44c096f692f718113a62e2 (mem: 34.00 MiB) 21:46:49 created circuit (mem: 405.04 MiB) 21:46:49 created first outer circuit (mem: 555.75 MiB) 21:46:49 Constructing DeciderProvingKey (mem: 555.75 MiB) 21:46:50 allocating polynomials object in proving key... (mem: 555.75 MiB) 21:46:50 populating trace... (mem: 555.75 MiB) 21:46:50 time to construct proving key: 21 ms. (mem: 555.75 MiB) 21:46:50 vkey hash in Oink prover: 0x00000000000000000000000000000000f02c9a9bdc44c096f692f718113a62e2 (mem: 555.75 MiB) 21:46:50 created oink proof (mem: 555.75 MiB) 21:46:50 starting sumcheck rounds... (mem: 555.75 MiB) 21:46:50 completed 13 rounds of sumcheck (mem: 555.75 MiB) 21:46:50 executed multivariate-to-univariate reduction (mem: 555.75 MiB) 21:46:50 computed opening proof (mem: 555.75 MiB) 21:46:50 finished decider proving. (mem: 555.75 MiB) 21:46:50 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f02c9a9bdc44c096f692f718113a62e2 (mem: 555.75 MiB) 21:46:51 created circuit (mem: 717.75 MiB) 21:46:52 created second outer circuit (mem: 1046.75 MiB) 21:46:52 Constructing DeciderProvingKey (mem: 1046.75 MiB) 21:46:52 allocating polynomials object in proving key... (mem: 1086.75 MiB) 21:46:52 populating trace... (mem: 1915.75 MiB) 21:46:53 time to construct proving key: 1423 ms. (mem: 1953.75 MiB) 21:46:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1953.75 MiB) 21:46:53 Initialized BN254 CRS from memory with num points = 1048577 (mem: 2044.37 MiB) 21:46:58 vkey hash in Oink prover: 0x00000000000000000000000000000000a07cc09a73b4123c14733b1b4e79fd49 (mem: 2044.37 MiB) 21:47:02 created oink proof (mem: 2044.37 MiB) 21:47:04 starting sumcheck rounds... (mem: 2568.73 MiB) 21:47:07 completed 20 rounds of sumcheck (mem: 2568.73 MiB) 21:47:12 executed multivariate-to-univariate reduction (mem: 2568.73 MiB) 21:47:13 computed opening proof (mem: 2568.73 MiB) 21:47:13 finished decider proving. (mem: 2568.73 MiB) 21:47:13 Constructing DeciderProvingKey (mem: 2568.73 MiB) 21:47:14 allocating polynomials object in proving key... (mem: 2568.73 MiB) 21:47:14 populating trace... (mem: 2568.73 MiB) 21:47:14 time to construct proving key: 1271 ms. (mem: 2568.73 MiB) 21:47:18 vkey hash in Oink prover: 0x00000000000000000000000000000000a07cc09a73b4123c14733b1b4e79fd49 (mem: 2568.73 MiB) 21:47:22 created oink proof (mem: 2568.73 MiB) 21:47:25 starting sumcheck rounds... (mem: 2788.12 MiB) 21:47:27 completed 20 rounds of sumcheck (mem: 2788.12 MiB) 21:47:32 executed multivariate-to-univariate reduction (mem: 2788.12 MiB) 21:47:33 computed opening proof (mem: 2788.12 MiB) 21:47:33 finished decider proving. (mem: 2788.12 MiB) 21:47:34 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a07cc09a73b4123c14733b1b4e79fd49 (mem: 2788.12 MiB) 21:47:36 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a07cc09a73b4123c14733b1b4e79fd49 (mem: 2788.12 MiB) 21:47:38 created circuit (mem: 2788.12 MiB) 21:47:38 created third outer circuit (mem: 2788.12 MiB) 21:47:38 number of gates in layer 3 circuit = 1411885 (mem: 2788.12 MiB) 21:47:38 Constructing DeciderProvingKey (mem: 2788.12 MiB) 21:47:39 allocating polynomials object in proving key... (mem: 2788.12 MiB) 21:47:39 populating trace... (mem: 3951.28 MiB) 21:47:40 time to construct proving key: 2336 ms. (mem: 4158.28 MiB) 21:47:41 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 4158.28 MiB) 21:47:41 Initialized BN254 CRS from memory with num points = 2097153 (mem: 4334.86 MiB) 21:47:48 prover gates = 2097152 (mem: 4334.86 MiB) 21:47:48 vkey hash in Oink prover: 0x000000000000000000000000000000004aeb5360c002510fe5bbcf6369383355 (mem: 4334.86 MiB) 21:47:56 created oink proof (mem: 4334.86 MiB) 21:48:00 starting sumcheck rounds... (mem: 5270.86 MiB) 21:48:05 completed 21 rounds of sumcheck (mem: 5270.86 MiB) 21:48:13 executed multivariate-to-univariate reduction (mem: 5270.86 MiB) 21:48:15 computed opening proof (mem: 5270.86 MiB) 21:48:15 finished decider proving. (mem: 5270.86 MiB) 21:48:15 vkey hash in Oink verifier: 0x000000000000000000000000000000004aeb5360c002510fe5bbcf6369383355 (mem: 5270.86 MiB) 21:48:15 sumcheck_verified: 1 (mem: 5270.86 MiB) 21:48:15 libra_evals_verified: 1 (mem: 5270.86 MiB) 21:48:15 pairing_check_verified: 1 (mem: 5270.86 MiB) 21:48:15 [ OK ] AcirHonkRecursionConstraint/0.TestFullRecursiveComposition (88101 ms) 21:48:15 [----------] 1 test from AcirHonkRecursionConstraint/0 (88101 ms total) 21:48:15 21:48:15 [----------] Global test environment tear-down 21:48:15 [==========] 1 test from 1 test suite ran. (88101 ms total) 21:48:15 [ PASSED ] 1 test.