ACI ·

Parent Log: http://ci.aztec-labs.com/cd08052a52dbb30f Command: ed599b69b1b675f7 barretenberg/cpp/scripts/run_test.sh stdlib_client_ivc_verifier_tests ClientIVCRecursionTests.Basic Commit: https://github.com/AztecProtocol/aztec-packages/commit/bf5d93af0a8ce02b399337bfcc820c48b2f18c36 Env: REF_NAME=gh-readonly-queue/next/pr-15268-3aaa83afa9cad3f8acfd8e1f724fe30adc7a8a5e CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 26 22:57:28 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15268_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_21327102fb71b48b_next 22:57:28 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 22:57:28 Note: Google Test filter = ClientIVCRecursionTests.Basic 22:57:28 [==========] Running 1 test from 1 test suite. 22:57:28 [----------] Global test environment set-up. 22:57:28 [----------] 1 test from ClientIVCRecursionTests 22:57:28 [ RUN ] ClientIVCRecursionTests.Basic 22:57:28 BN254 commitment key size: 262144 (mem: 6.00 MiB) 22:57:28 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6.00 MiB) 22:57:28 Initialized BN254 CRS from memory with num points = 262145 (mem: 38.36 MiB) 22:57:29 Constructing DeciderProvingKey (mem: 268.38 MiB) 22:57:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 315.38 MiB) 22:57:29 goblin ecc op : 10/1024 (mem: 315.38 MiB) 22:57:29 busread : 3/6000 (mem: 315.38 MiB) 22:57:29 lookups : 54285/15000 (mem: 315.38 MiB) 22:57:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 315.38 MiB) 22:57:29 arithmetic : 147423/56000 (mem: 315.38 MiB) 22:57:29 delta range : 65649/18000 (mem: 315.38 MiB) 22:57:29 elliptic : 4958/6000 (mem: 315.38 MiB) 22:57:29 auxiliary : 94242/26000 (mem: 315.38 MiB) 22:57:29 poseidon ext : 2/17000 (mem: 315.38 MiB) 22:57:29 poseidon int : 2/92000 (mem: 315.38 MiB) 22:57:29 overflow : 0/0 (mem: 315.38 MiB) 22:57:29 (mem: 315.38 MiB) 22:57:29 Total structured size: 242025 (mem: 315.38 MiB) 22:57:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 431.38 MiB) 22:57:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 431.38 MiB) 22:57:29 goblin ecc op : 10/1024 (mem: 431.38 MiB) 22:57:29 busread : 3/6000 (mem: 431.38 MiB) 22:57:29 lookups : 15000/15000 (mem: 431.38 MiB) 22:57:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 431.38 MiB) 22:57:29 arithmetic : 56000/56000 (mem: 431.38 MiB) 22:57:29 delta range : 18000/18000 (mem: 431.38 MiB) 22:57:29 elliptic : 4958/6000 (mem: 431.38 MiB) 22:57:29 auxiliary : 26000/26000 (mem: 431.38 MiB) 22:57:29 poseidon ext : 2/17000 (mem: 431.38 MiB) 22:57:29 poseidon int : 2/92000 (mem: 431.38 MiB) 22:57:29 overflow : 246603/246603 (mem: 431.38 MiB) 22:57:29 (mem: 431.38 MiB) 22:57:29 Total structured size: 488628 (mem: 431.38 MiB) 22:57:29 allocating polynomials object in proving key... (mem: 431.38 MiB) 22:57:30 populating trace... (mem: 1293.38 MiB) 22:57:30 time to construct proving key: 865 ms. (mem: 1355.38 MiB) 22:57:30 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1355.38 MiB) 22:57:30 Initialized BN254 CRS from memory with num points = 524289 (mem: 1399.38 MiB) 22:57:30 getting honk vk... precomputed?: 0 (mem: 1399.38 MiB) 22:57:35 computing oink proof... (mem: 1399.38 MiB) 22:57:35 vkey hash in Oink prover: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 1399.38 MiB) 22:57:39 oink proof constructed (mem: 1399.38 MiB) 22:57:40 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 1399.38 MiB) 22:57:40 Constructing DeciderProvingKey (mem: 1399.38 MiB) 22:57:40 Gate blocks summary: (actual gates / fixed capacity) (mem: 1399.38 MiB) 22:57:40 goblin ecc op : 56/1024 (mem: 1399.38 MiB) 22:57:40 busread : 3/6000 (mem: 1399.38 MiB) 22:57:40 lookups : 13540/15000 (mem: 1399.38 MiB) 22:57:40 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1399.38 MiB) 22:57:40 arithmetic : 29688/56000 (mem: 1399.38 MiB) 22:57:40 delta range : 10259/18000 (mem: 1399.38 MiB) 22:57:40 elliptic : 7849/6000 (mem: 1399.38 MiB) 22:57:40 auxiliary : 11827/26000 (mem: 1399.38 MiB) 22:57:40 poseidon ext : 1272/17000 (mem: 1399.38 MiB) 22:57:40 poseidon int : 7241/92000 (mem: 1399.38 MiB) 22:57:40 overflow : 0/0 (mem: 1399.38 MiB) 22:57:40 (mem: 1399.38 MiB) 22:57:40 Total structured size: 242025 (mem: 1399.38 MiB) 22:57:40 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1399.38 MiB) 22:57:40 Gate blocks summary: (actual gates / fixed capacity) (mem: 1399.38 MiB) 22:57:40 goblin ecc op : 56/1024 (mem: 1399.38 MiB) 22:57:40 busread : 3/6000 (mem: 1399.38 MiB) 22:57:40 lookups : 13540/15000 (mem: 1399.38 MiB) 22:57:40 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1399.38 MiB) 22:57:40 arithmetic : 29688/56000 (mem: 1399.38 MiB) 22:57:40 delta range : 10259/18000 (mem: 1399.38 MiB) 22:57:40 elliptic : 6000/6000 (mem: 1399.38 MiB) 22:57:40 auxiliary : 11827/26000 (mem: 1399.38 MiB) 22:57:40 poseidon ext : 1272/17000 (mem: 1399.38 MiB) 22:57:40 poseidon int : 7241/92000 (mem: 1399.38 MiB) 22:57:40 overflow : 1850/1850 (mem: 1399.38 MiB) 22:57:40 (mem: 1399.38 MiB) 22:57:40 Total structured size: 243875 (mem: 1399.38 MiB) 22:57:40 allocating polynomials object in proving key... (mem: 1399.38 MiB) 22:57:40 populating trace... (mem: 1442.58 MiB) 22:57:40 time to construct proving key: 469 ms. (mem: 1445.58 MiB) 22:57:40 getting honk vk... precomputed?: 0 (mem: 1445.58 MiB) 22:57:42 computing folding proof (mem: 1445.58 MiB) 22:57:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1445.58 MiB) 22:57:42 vkey hash in Oink prover: 0x00000000000000000000000000000000df2dacaf19febeafa4452cda8ec5234a (mem: 1445.58 MiB) 22:57:43 oink prover on each incomplete key (mem: 1454.58 MiB) 22:57:45 perturbator round (mem: 1532.58 MiB) 22:57:47 combiner quotient round (mem: 1564.58 MiB) 22:57:49 folded (mem: 1564.58 MiB) 22:57:49 constructed folding proof (mem: 1564.58 MiB) 22:57:49 Largest circuit: 366564 gates. Trace details: (mem: 1564.58 MiB) 22:57:49 Minimum required block sizes for structured trace: (mem: 1564.58 MiB) 22:57:49 ecc_op : 56 22:57:49 busread : 3 22:57:49 lookup : 15000 22:57:49 pub_inputs : 32 22:57:49 arithmetic : 56000 22:57:49 delta_range : 18000 22:57:49 elliptic : 6000 22:57:49 aux : 26000 22:57:49 poseidon2_external : 1272 22:57:49 poseidon2_internal : 7241 22:57:49 overflow : 246603 22:57:49 (mem: 1564.58 MiB) 22:57:49 prove decider... (mem: 1564.58 MiB) 22:57:51 starting sumcheck rounds... (mem: 1564.58 MiB) 22:57:53 completed 19 rounds of sumcheck (mem: 1564.58 MiB) 22:57:57 executed multivariate-to-univariate reduction (mem: 1564.58 MiB) 22:57:59 computed opening proof (mem: 1564.58 MiB) 22:57:59 finished decider proving. (mem: 1564.58 MiB) 22:57:59 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000df2dacaf19febeafa4452cda8ec5234a (mem: 1564.58 MiB) 22:57:59 Constructing DeciderProvingKey (mem: 1564.58 MiB) 22:57:59 allocating polynomials object in proving key... (mem: 1564.58 MiB) 22:57:59 populating trace... (mem: 1564.58 MiB) 22:57:59 time to construct proving key: 61 ms. (mem: 1564.58 MiB) 22:58:00 vkey hash in Oink prover: 0x00000000000000000000000000000000a477a9b42893dc9210b19e5a6e850c87 (mem: 1564.58 MiB) 22:58:01 created oink proof (mem: 1564.58 MiB) 22:58:01 starting sumcheck rounds... (mem: 1564.58 MiB) 22:58:01 completed 16 rounds of sumcheck (mem: 1564.58 MiB) 22:58:02 executed multivariate-to-univariate reduction (mem: 1564.58 MiB) 22:58:03 computed opening proof (mem: 1564.58 MiB) 22:58:03 finished decider proving. (mem: 1564.58 MiB) 22:58:03 Constructing a Goblin proof with num ultra ops = 652 (mem: 1564.58 MiB) 22:58:03 prove eccvm... (mem: 1564.58 MiB) 22:58:03 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1564.58 MiB) 22:58:03 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1564.58 MiB) 22:58:04 starting sumcheck rounds... (mem: 1564.58 MiB) 22:58:10 completed 16 rounds of sumcheck (mem: 1564.58 MiB) 22:58:14 finished eccvm proving. (mem: 1564.58 MiB) 22:58:14 prove translator... (mem: 1564.58 MiB) 22:58:15 starting sumcheck rounds... (mem: 1564.58 MiB) 22:58:20 completed 18 rounds of sumcheck (mem: 1564.58 MiB) 22:58:26 computed opening proof (mem: 1564.58 MiB) 22:58:26 finished translator proving. (mem: 1564.58 MiB) 22:58:26 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a477a9b42893dc9210b19e5a6e850c87 (mem: 1564.58 MiB) 22:59:00 Recursive Verifier: finalised num gates = 1864772 (mem: 2994.75 MiB) 22:59:00 [ OK ] ClientIVCRecursionTests.Basic (92266 ms) 22:59:00 [----------] 1 test from ClientIVCRecursionTests (92267 ms total) 22:59:00 22:59:00 [----------] Global test environment tear-down 22:59:00 [==========] 1 test from 1 test suite ran. (92267 ms total) 22:59:00 [ PASSED ] 1 test.