ACI ·

Parent Log: http://ci.aztec-labs.com/396b9faae4f30dda Command: ed599b69b1b675f7 barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.BasicFour 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_df1e21d01a341500_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.BasicFour 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.BasicFour 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: 324.38 MiB) 21:54:22 time to construct proving key: 132 ms. (mem: 337.38 MiB) 21:54:22 getting honk vk... precomputed?: 0 (mem: 337.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:23 oink proof constructed (mem: 337.38 MiB) 21:54:24 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 343.38 MiB) 21:54:24 Constructing DeciderProvingKey (mem: 343.38 MiB) 21:54:24 allocating polynomials object in proving key... (mem: 344.38 MiB) 21:54:24 populating trace... (mem: 552.38 MiB) 21:54:24 time to construct proving key: 148 ms. (mem: 568.38 MiB) 21:54:24 getting honk vk... precomputed?: 0 (mem: 568.38 MiB) 21:54:25 computing folding proof (mem: 568.38 MiB) 21:54:25 vkey hash in Oink prover: 0x0000000000000000000000000000000026be31f39e680820b86e238409c32115 (mem: 568.38 MiB) 21:54:26 oink prover on each incomplete key (mem: 568.38 MiB) 21:54:26 perturbator round (mem: 571.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:28 populating trace... (mem: 604.38 MiB) 21:54:28 time to construct proving key: 125 ms. (mem: 604.38 MiB) 21:54:28 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:31 combiner quotient round (mem: 607.88 MiB) 21:54:31 folded (mem: 607.88 MiB) 21:54:31 constructed folding proof (mem: 607.88 MiB) 21:54:31 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000026be31f39e680820b86e238409c32115 (mem: 607.88 MiB) 21:54:31 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 607.88 MiB) 21:54:31 Constructing DeciderProvingKey (mem: 607.88 MiB) 21:54:31 allocating polynomials object in proving key... (mem: 607.88 MiB) 21:54:31 populating trace... (mem: 607.88 MiB) 21:54:31 time to construct proving key: 111 ms. (mem: 607.88 MiB) 21:54:31 getting honk vk... precomputed?: 0 (mem: 607.88 MiB) 21:54:32 computing folding proof (mem: 607.88 MiB) 21:54:32 vkey hash in Oink prover: 0x000000000000000000000000000000002ab3a88454c9ca300cd8b73fe8bef91e (mem: 607.88 MiB) 21:54:34 oink prover on each incomplete key (mem: 607.88 MiB) 21:54:35 perturbator round (mem: 607.88 MiB) 21:54:35 combiner quotient round (mem: 624.12 MiB) 21:54:36 folded (mem: 624.12 MiB) 21:54:36 constructed folding proof (mem: 624.12 MiB) 21:54:36 Largest circuit: 112874 gates. Trace details: (mem: 624.12 MiB) 21:54:36 Minimum required block sizes for structured trace: (mem: 624.12 MiB) 21:54:36 ecc_op : 792 21:54:36 busread : 3 21:54:36 lookup : 2 21:54:36 pub_inputs : 33 21:54:36 arithmetic : 77112 21:54:36 delta_range : 2938 21:54:36 elliptic : 2 21:54:36 aux : 50 21:54:36 poseidon2_external : 4892 21:54:36 poseidon2_internal : 27875 21:54:36 overflow : 0 21:54:36 (mem: 624.12 MiB) 21:54:36 prove decider... (mem: 624.12 MiB) 21:54:36 starting sumcheck rounds... (mem: 624.12 MiB) 21:54:36 completed 17 rounds of sumcheck (mem: 624.12 MiB) 21:54:38 executed multivariate-to-univariate reduction (mem: 624.12 MiB) 21:54:38 computed opening proof (mem: 624.12 MiB) 21:54:38 finished decider proving. (mem: 624.12 MiB) 21:54:38 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000002ab3a88454c9ca300cd8b73fe8bef91e (mem: 624.12 MiB) 21:54:38 Constructing DeciderProvingKey (mem: 624.12 MiB) 21:54:38 allocating polynomials object in proving key... (mem: 624.12 MiB) 21:54:38 populating trace... (mem: 624.12 MiB) 21:54:38 time to construct proving key: 57 ms. (mem: 624.12 MiB) 21:54:39 vkey hash in Oink prover: 0x0000000000000000000000000000000019795e9b130db684abd3ff4c6da91080 (mem: 624.12 MiB) 21:54:40 created oink proof (mem: 624.12 MiB) 21:54:40 starting sumcheck rounds... (mem: 624.12 MiB) 21:54:40 completed 16 rounds of sumcheck (mem: 624.12 MiB) 21:54:42 executed multivariate-to-univariate reduction (mem: 624.12 MiB) 21:54:42 computed opening proof (mem: 624.12 MiB) 21:54:42 finished decider proving. (mem: 624.12 MiB) 21:54:42 Constructing a Goblin proof with num ultra ops = 1442 (mem: 624.12 MiB) 21:54:42 prove eccvm... (mem: 624.12 MiB) 21:54:42 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 624.12 MiB) 21:54:42 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 624.12 MiB) 21:54:44 starting sumcheck rounds... (mem: 624.12 MiB) 21:54:51 completed 16 rounds of sumcheck (mem: 624.12 MiB) 21:54:55 finished eccvm proving. (mem: 624.12 MiB) 21:54:55 prove translator... (mem: 624.12 MiB) 21:54:57 starting sumcheck rounds... (mem: 624.12 MiB) 21:55:02 completed 18 rounds of sumcheck (mem: 624.12 MiB) 21:55:06 computed opening proof (mem: 624.12 MiB) 21:55:06 finished translator proving. (mem: 624.12 MiB) 21:55:06 time to call ClientIVC::prove: 30671 ms. (mem: 624.12 MiB) 21:55:06 vkey hash in Oink verifier: 0x0000000000000000000000000000000019795e9b130db684abd3ff4c6da91080 (mem: 624.12 MiB) 21:55:06 sumcheck_verified: 1 (mem: 624.12 MiB) 21:55:06 libra_evals_verified: 1 (mem: 624.12 MiB) 21:55:06 pairing_check_verified: 1 (mem: 624.12 MiB) 21:55:06 Mega verified: 1 (mem: 624.12 MiB) 21:55:07 eccvm sumcheck verified?: 1 (mem: 624.12 MiB) 21:55:07 batch opening verified?: 1 (mem: 624.12 MiB) 21:55:07 eccvm consistency check verified?: 1 (mem: 624.12 MiB) 21:55:07 translation masking consistency checked?: 1 (mem: 624.12 MiB) 21:55:07 merge verified?: 1 (mem: 624.12 MiB) 21:55:07 eccvm verified?: 1 (mem: 624.12 MiB) 21:55:07 accumulator construction_verified?: 1 (mem: 624.12 MiB) 21:55:07 translation verified?: 1 (mem: 624.12 MiB) 21:55:07 consistency verified?: 1 (mem: 624.12 MiB) 21:55:07 Goblin verified: 1 (mem: 624.12 MiB) 21:55:07 time to verify ClientIVC proof: 282 ms. (mem: 624.12 MiB) 21:55:07 [ OK ] ClientIVCTests.BasicFour (45386 ms) 21:55:07 [----------] 1 test from ClientIVCTests (45386 ms total) 21:55:07 21:55:07 [----------] Global test environment tear-down 21:55:07 [==========] 1 test from 1 test suite ran. (45386 ms total) 21:55:07 [ PASSED ] 1 test.