ACI ·

Parent Log: http://ci.aztec-labs.com/396b9faae4f30dda Command: ed599b69b1b675f7 barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.BasicLarge 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:54:21 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15292_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_389f0dd244cabcb4_next 21:54:21 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 21:54:21 Note: Google Test filter = ClientIVCTests.BasicLarge 21:54:21 [==========] Running 1 test from 1 test suite. 21:54:21 [----------] Global test environment set-up. 21:54:21 [----------] 1 test from ClientIVCTests 21:54:21 [ RUN ] ClientIVCTests.BasicLarge 21:54:21 BN254 commitment key size: 262144 (mem: 6.00 MiB) 21:54:21 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6.00 MiB) 21:54:21 Initialized BN254 CRS from memory with num points = 262145 (mem: 38.34 MiB) 21:54:21 Constructing DeciderProvingKey (mem: 105.38 MiB) 21:54:21 allocating polynomials object in proving key... (mem: 107.38 MiB) 21:54:21 populating trace... (mem: 323.38 MiB) 21:54:22 time to construct proving key: 120 ms. (mem: 336.38 MiB) 21:54:22 getting honk vk... precomputed?: 0 (mem: 336.38 MiB) 21:54:22 computing oink proof... (mem: 337.38 MiB) 21:54:22 vkey hash in Oink prover: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 337.38 MiB) 21:54:24 oink proof constructed (mem: 338.38 MiB) 21:54:24 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 343.38 MiB) 21:54:24 Constructing DeciderProvingKey (mem: 344.38 MiB) 21:54:24 allocating polynomials object in proving key... (mem: 345.38 MiB) 21:54:24 populating trace... (mem: 553.38 MiB) 21:54:24 time to construct proving key: 150 ms. (mem: 569.38 MiB) 21:54:24 getting honk vk... precomputed?: 0 (mem: 569.38 MiB) 21:54:25 computing folding proof (mem: 569.38 MiB) 21:54:25 vkey hash in Oink prover: 0x0000000000000000000000000000000026be31f39e680820b86e238409c32115 (mem: 569.38 MiB) 21:54:26 oink prover on each incomplete key (mem: 569.38 MiB) 21:54:27 perturbator round (mem: 572.38 MiB) 21:54:27 combiner quotient round (mem: 604.38 MiB) 21:54:27 folded (mem: 604.38 MiB) 21:54:27 constructed folding proof (mem: 604.38 MiB) 21:54:27 Constructing DeciderProvingKey (mem: 604.38 MiB) 21:54:27 allocating polynomials object in proving key... (mem: 604.38 MiB) 21:54:27 populating trace... (mem: 604.38 MiB) 21:54:27 time to construct proving key: 61 ms. (mem: 604.38 MiB) 21:54:27 getting honk vk... precomputed?: 0 (mem: 604.38 MiB) 21:54:28 computing folding proof (mem: 604.38 MiB) 21:54:28 vkey hash in Oink prover: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 604.38 MiB) 21:54:30 oink prover on each incomplete key (mem: 604.38 MiB) 21:54:30 perturbator round (mem: 604.38 MiB) 21:54:30 combiner quotient round (mem: 607.60 MiB) 21:54:31 folded (mem: 607.60 MiB) 21:54:31 constructed folding proof (mem: 607.60 MiB) 21:54:31 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000026be31f39e680820b86e238409c32115 (mem: 607.60 MiB) 21:54:31 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 607.60 MiB) 21:54:31 Constructing DeciderProvingKey (mem: 607.60 MiB) 21:54:31 allocating polynomials object in proving key... (mem: 607.60 MiB) 21:54:31 populating trace... (mem: 607.60 MiB) 21:54:31 time to construct proving key: 111 ms. (mem: 607.60 MiB) 21:54:31 getting honk vk... precomputed?: 0 (mem: 607.60 MiB) 21:54:32 computing folding proof (mem: 607.60 MiB) 21:54:32 vkey hash in Oink prover: 0x000000000000000000000000000000002ab3a88454c9ca300cd8b73fe8bef91e (mem: 607.60 MiB) 21:54:34 oink prover on each incomplete key (mem: 607.60 MiB) 21:54:35 perturbator round (mem: 607.60 MiB) 21:54:35 combiner quotient round (mem: 623.61 MiB) 21:54:36 folded (mem: 623.61 MiB) 21:54:36 constructed folding proof (mem: 623.61 MiB) 21:54:36 Constructing DeciderProvingKey (mem: 623.61 MiB) 21:54:36 allocating polynomials object in proving key... (mem: 623.61 MiB) 21:54:36 populating trace... (mem: 623.61 MiB) 21:54:36 time to construct proving key: 77 ms. (mem: 623.61 MiB) 21:54:36 getting honk vk... precomputed?: 0 (mem: 623.61 MiB) 21:54:36 computing folding proof (mem: 623.61 MiB) 21:54:36 vkey hash in Oink prover: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 623.61 MiB) 21:54:38 oink prover on each incomplete key (mem: 623.61 MiB) 21:54:38 perturbator round (mem: 623.61 MiB) 21:54:39 combiner quotient round (mem: 624.01 MiB) 21:54:39 folded (mem: 624.01 MiB) 21:54:39 constructed folding proof (mem: 624.01 MiB) 21:54:40 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000002ab3a88454c9ca300cd8b73fe8bef91e (mem: 624.01 MiB) 21:54:40 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 624.01 MiB) 21:54:40 Constructing DeciderProvingKey (mem: 624.01 MiB) 21:54:40 allocating polynomials object in proving key... (mem: 624.01 MiB) 21:54:40 populating trace... (mem: 624.01 MiB) 21:54:40 time to construct proving key: 116 ms. (mem: 624.01 MiB) 21:54:40 getting honk vk... precomputed?: 0 (mem: 624.01 MiB) 21:54:41 computing folding proof (mem: 624.01 MiB) 21:54:41 vkey hash in Oink prover: 0x00000000000000000000000000000000435798df21c4af7b801715e47e7bedb9 (mem: 624.01 MiB) 21:54:43 oink prover on each incomplete key (mem: 624.01 MiB) 21:54:44 perturbator round (mem: 624.01 MiB) 21:54:44 combiner quotient round (mem: 624.01 MiB) 21:54:44 folded (mem: 624.01 MiB) 21:54:44 constructed folding proof (mem: 624.01 MiB) 21:54:45 Largest circuit: 112874 gates. Trace details: (mem: 624.01 MiB) 21:54:45 Minimum required block sizes for structured trace: (mem: 624.01 MiB) 21:54:45 ecc_op : 792 21:54:45 busread : 3 21:54:45 lookup : 2 21:54:45 pub_inputs : 33 21:54:45 arithmetic : 77112 21:54:45 delta_range : 2938 21:54:45 elliptic : 2 21:54:45 aux : 50 21:54:45 poseidon2_external : 4892 21:54:45 poseidon2_internal : 27875 21:54:45 overflow : 0 21:54:45 (mem: 624.01 MiB) 21:54:45 prove decider... (mem: 624.01 MiB) 21:54:45 starting sumcheck rounds... (mem: 624.01 MiB) 21:54:45 completed 17 rounds of sumcheck (mem: 624.01 MiB) 21:54:47 executed multivariate-to-univariate reduction (mem: 624.01 MiB) 21:54:47 computed opening proof (mem: 624.01 MiB) 21:54:47 finished decider proving. (mem: 624.01 MiB) 21:54:47 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000435798df21c4af7b801715e47e7bedb9 (mem: 624.01 MiB) 21:54:47 Constructing DeciderProvingKey (mem: 624.01 MiB) 21:54:47 allocating polynomials object in proving key... (mem: 624.01 MiB) 21:54:47 populating trace... (mem: 624.01 MiB) 21:54:47 time to construct proving key: 90 ms. (mem: 624.01 MiB) 21:54:48 vkey hash in Oink prover: 0x0000000000000000000000000000000019795e9b130db684abd3ff4c6da91080 (mem: 624.01 MiB) 21:54:49 created oink proof (mem: 624.01 MiB) 21:54:49 starting sumcheck rounds... (mem: 624.01 MiB) 21:54:50 completed 16 rounds of sumcheck (mem: 624.01 MiB) 21:54:51 executed multivariate-to-univariate reduction (mem: 624.01 MiB) 21:54:51 computed opening proof (mem: 624.01 MiB) 21:54:51 finished decider proving. (mem: 624.01 MiB) 21:54:51 Constructing a Goblin proof with num ultra ops = 2238 (mem: 624.01 MiB) 21:54:51 prove eccvm... (mem: 624.01 MiB) 21:54:51 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 624.01 MiB) 21:54:51 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 624.01 MiB) 21:54:54 starting sumcheck rounds... (mem: 624.01 MiB) 21:55:01 completed 16 rounds of sumcheck (mem: 624.01 MiB) 21:55:05 finished eccvm proving. (mem: 624.01 MiB) 21:55:05 prove translator... (mem: 624.01 MiB) 21:55:07 starting sumcheck rounds... (mem: 624.01 MiB) 21:55:13 completed 18 rounds of sumcheck (mem: 624.01 MiB) 21:55:17 computed opening proof (mem: 624.01 MiB) 21:55:17 finished translator proving. (mem: 624.01 MiB) 21:55:17 time to call ClientIVC::prove: 32418 ms. (mem: 624.01 MiB) 21:55:17 vkey hash in Oink verifier: 0x0000000000000000000000000000000019795e9b130db684abd3ff4c6da91080 (mem: 624.01 MiB) 21:55:17 sumcheck_verified: 1 (mem: 624.01 MiB) 21:55:17 libra_evals_verified: 1 (mem: 624.01 MiB) 21:55:17 pairing_check_verified: 1 (mem: 624.01 MiB) 21:55:17 Mega verified: 1 (mem: 624.01 MiB) 21:55:17 eccvm sumcheck verified?: 1 (mem: 624.01 MiB) 21:55:17 batch opening verified?: 1 (mem: 624.01 MiB) 21:55:17 eccvm consistency check verified?: 1 (mem: 624.01 MiB) 21:55:17 translation masking consistency checked?: 1 (mem: 624.01 MiB) 21:55:17 merge verified?: 1 (mem: 624.01 MiB) 21:55:17 eccvm verified?: 1 (mem: 624.01 MiB) 21:55:17 accumulator construction_verified?: 1 (mem: 624.01 MiB) 21:55:17 translation verified?: 1 (mem: 624.01 MiB) 21:55:17 consistency verified?: 1 (mem: 624.01 MiB) 21:55:17 Goblin verified: 1 (mem: 624.01 MiB) 21:55:17 time to verify ClientIVC proof: 343 ms. (mem: 624.01 MiB) 21:55:17 [ OK ] ClientIVCTests.BasicLarge (56091 ms) 21:55:17 [----------] 1 test from ClientIVCTests (56091 ms total) 21:55:17 21:55:17 [----------] Global test environment tear-down 21:55:17 [==========] 1 test from 1 test suite ran. (56091 ms total) 21:55:17 [ PASSED ] 1 test.