ACI ·

Parent Log: http://ci.aztec-labs.com/cd08052a52dbb30f Command: ed599b69b1b675f7 barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.PrecomputedVerificationKeys 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:56:41 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_95d681874c1e1a04_next 22:56:41 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 22:56:41 Note: Google Test filter = ClientIVCTests.PrecomputedVerificationKeys 22:56:41 [==========] Running 1 test from 1 test suite. 22:56:41 [----------] Global test environment set-up. 22:56:41 [----------] 1 test from ClientIVCTests 22:56:41 [ RUN ] ClientIVCTests.PrecomputedVerificationKeys 22:56:41 BN254 commitment key size: 262144 (mem: 6.00 MiB) 22:56:41 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6.00 MiB) 22:56:41 Initialized BN254 CRS from memory with num points = 262145 (mem: 38.00 MiB) 22:56:41 BN254 commitment key size: 262144 (mem: 38.00 MiB) 22:56:41 Constructing DeciderProvingKey (mem: 104.03 MiB) 22:56:41 allocating polynomials object in proving key... (mem: 106.03 MiB) 22:56:41 populating trace... (mem: 319.03 MiB) 22:56:41 time to construct proving key: 142 ms. (mem: 337.03 MiB) 22:56:41 getting honk vk... precomputed?: 0 (mem: 337.03 MiB) 22:56:42 computing oink proof... (mem: 337.03 MiB) 22:56:42 vkey hash in Oink prover: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 337.03 MiB) 22:56:43 oink proof constructed (mem: 337.03 MiB) 22:56:43 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 344.03 MiB) 22:56:43 Constructing DeciderProvingKey (mem: 345.03 MiB) 22:56:43 allocating polynomials object in proving key... (mem: 345.03 MiB) 22:56:43 populating trace... (mem: 548.03 MiB) 22:56:43 time to construct proving key: 140 ms. (mem: 568.03 MiB) 22:56:43 getting honk vk... precomputed?: 0 (mem: 568.03 MiB) 22:56:44 computing folding proof (mem: 568.03 MiB) 22:56:44 vkey hash in Oink prover: 0x0000000000000000000000000000000026be31f39e680820b86e238409c32115 (mem: 568.03 MiB) 22:56:46 oink prover on each incomplete key (mem: 568.03 MiB) 22:56:46 perturbator round (mem: 571.03 MiB) 22:56:46 combiner quotient round (mem: 603.03 MiB) 22:56:47 folded (mem: 603.03 MiB) 22:56:47 constructed folding proof (mem: 603.03 MiB) 22:56:47 Constructing DeciderProvingKey (mem: 603.03 MiB) 22:56:47 allocating polynomials object in proving key... (mem: 603.03 MiB) 22:56:47 populating trace... (mem: 603.03 MiB) 22:56:47 time to construct proving key: 75 ms. (mem: 603.03 MiB) 22:56:47 getting honk vk... precomputed?: 0 (mem: 603.03 MiB) 22:56:47 computing folding proof (mem: 603.03 MiB) 22:56:47 vkey hash in Oink prover: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 603.03 MiB) 22:56:49 oink prover on each incomplete key (mem: 603.03 MiB) 22:56:49 perturbator round (mem: 603.03 MiB) 22:56:50 combiner quotient round (mem: 603.70 MiB) 22:56:50 folded (mem: 603.70 MiB) 22:56:50 constructed folding proof (mem: 603.70 MiB) 22:56:50 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000026be31f39e680820b86e238409c32115 (mem: 603.70 MiB) 22:56:50 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 603.70 MiB) 22:56:50 Constructing DeciderProvingKey (mem: 603.70 MiB) 22:56:50 allocating polynomials object in proving key... (mem: 603.70 MiB) 22:56:50 populating trace... (mem: 603.70 MiB) 22:56:50 time to construct proving key: 102 ms. (mem: 603.70 MiB) 22:56:50 getting honk vk... precomputed?: 0 (mem: 603.70 MiB) 22:56:51 computing folding proof (mem: 603.70 MiB) 22:56:51 vkey hash in Oink prover: 0x000000000000000000000000000000002ab3a88454c9ca300cd8b73fe8bef91e (mem: 603.70 MiB) 22:56:54 oink prover on each incomplete key (mem: 603.70 MiB) 22:56:54 perturbator round (mem: 603.70 MiB) 22:56:55 combiner quotient round (mem: 619.70 MiB) 22:56:55 folded (mem: 619.70 MiB) 22:56:55 constructed folding proof (mem: 619.70 MiB) 22:56:55 Constructing DeciderProvingKey (mem: 619.70 MiB) 22:56:55 allocating polynomials object in proving key... (mem: 619.70 MiB) 22:56:55 populating trace... (mem: 619.70 MiB) 22:56:55 time to construct proving key: 68 ms. (mem: 619.70 MiB) 22:56:55 getting honk vk... precomputed?: 0x5e42c87cc600 (mem: 619.70 MiB) 22:56:55 computing oink proof... (mem: 619.70 MiB) 22:56:55 vkey hash in Oink prover: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 619.70 MiB) 22:56:56 oink proof constructed (mem: 619.70 MiB) 22:56:57 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 619.70 MiB) 22:56:57 Constructing DeciderProvingKey (mem: 619.70 MiB) 22:56:57 allocating polynomials object in proving key... (mem: 619.70 MiB) 22:56:57 populating trace... (mem: 619.70 MiB) 22:56:57 time to construct proving key: 84 ms. (mem: 619.70 MiB) 22:56:57 getting honk vk... precomputed?: 0x5e42dbb1a880 (mem: 619.70 MiB) 22:56:57 computing folding proof (mem: 619.70 MiB) 22:56:57 vkey hash in Oink prover: 0x0000000000000000000000000000000026be31f39e680820b86e238409c32115 (mem: 619.70 MiB) 22:56:58 oink prover on each incomplete key (mem: 619.70 MiB) 22:56:59 perturbator round (mem: 619.70 MiB) 22:56:59 combiner quotient round (mem: 619.70 MiB) 22:56:59 folded (mem: 619.70 MiB) 22:56:59 constructed folding proof (mem: 619.70 MiB) 22:57:00 Constructing DeciderProvingKey (mem: 619.70 MiB) 22:57:00 allocating polynomials object in proving key... (mem: 619.70 MiB) 22:57:00 populating trace... (mem: 619.70 MiB) 22:57:00 time to construct proving key: 81 ms. (mem: 619.70 MiB) 22:57:00 getting honk vk... precomputed?: 0x5e42c821fc80 (mem: 619.70 MiB) 22:57:00 computing folding proof (mem: 619.70 MiB) 22:57:00 vkey hash in Oink prover: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 619.70 MiB) 22:57:01 oink prover on each incomplete key (mem: 619.70 MiB) 22:57:01 perturbator round (mem: 619.70 MiB) 22:57:02 combiner quotient round (mem: 619.70 MiB) 22:57:02 folded (mem: 619.70 MiB) 22:57:02 constructed folding proof (mem: 619.70 MiB) 22:57:02 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000026be31f39e680820b86e238409c32115 (mem: 619.70 MiB) 22:57:02 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c03ff9d14108c63bf58956326de23e7d (mem: 619.70 MiB) 22:57:02 Constructing DeciderProvingKey (mem: 619.70 MiB) 22:57:02 allocating polynomials object in proving key... (mem: 619.70 MiB) 22:57:02 populating trace... (mem: 619.70 MiB) 22:57:02 time to construct proving key: 97 ms. (mem: 619.70 MiB) 22:57:02 getting honk vk... precomputed?: 0x5e42ea3b5400 (mem: 619.70 MiB) 22:57:02 computing folding proof (mem: 619.70 MiB) 22:57:02 vkey hash in Oink prover: 0x000000000000000000000000000000002ab3a88454c9ca300cd8b73fe8bef91e (mem: 619.70 MiB) 22:57:05 oink prover on each incomplete key (mem: 619.70 MiB) 22:57:05 perturbator round (mem: 619.70 MiB) 22:57:05 combiner quotient round (mem: 619.71 MiB) 22:57:06 folded (mem: 619.71 MiB) 22:57:06 constructed folding proof (mem: 619.71 MiB) 22:57:06 Largest circuit: 112874 gates. Trace details: (mem: 619.71 MiB) 22:57:06 Minimum required block sizes for structured trace: (mem: 619.71 MiB) 22:57:06 ecc_op : 792 22:57:06 busread : 3 22:57:06 lookup : 2 22:57:06 pub_inputs : 33 22:57:06 arithmetic : 77112 22:57:06 delta_range : 2938 22:57:06 elliptic : 2 22:57:06 aux : 50 22:57:06 poseidon2_external : 4892 22:57:06 poseidon2_internal : 27875 22:57:06 overflow : 0 22:57:06 (mem: 619.71 MiB) 22:57:06 prove decider... (mem: 619.71 MiB) 22:57:06 starting sumcheck rounds... (mem: 619.71 MiB) 22:57:06 completed 17 rounds of sumcheck (mem: 619.71 MiB) 22:57:08 executed multivariate-to-univariate reduction (mem: 619.71 MiB) 22:57:08 computed opening proof (mem: 619.71 MiB) 22:57:08 finished decider proving. (mem: 619.71 MiB) 22:57:08 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000002ab3a88454c9ca300cd8b73fe8bef91e (mem: 619.71 MiB) 22:57:08 Constructing DeciderProvingKey (mem: 619.71 MiB) 22:57:08 allocating polynomials object in proving key... (mem: 619.71 MiB) 22:57:08 populating trace... (mem: 619.71 MiB) 22:57:08 time to construct proving key: 41 ms. (mem: 619.71 MiB) 22:57:09 vkey hash in Oink prover: 0x0000000000000000000000000000000019795e9b130db684abd3ff4c6da91080 (mem: 619.71 MiB) 22:57:10 created oink proof (mem: 619.71 MiB) 22:57:10 starting sumcheck rounds... (mem: 619.71 MiB) 22:57:11 completed 16 rounds of sumcheck (mem: 619.71 MiB) 22:57:12 executed multivariate-to-univariate reduction (mem: 619.71 MiB) 22:57:12 computed opening proof (mem: 619.71 MiB) 22:57:12 finished decider proving. (mem: 619.71 MiB) 22:57:12 Constructing a Goblin proof with num ultra ops = 1442 (mem: 619.71 MiB) 22:57:12 prove eccvm... (mem: 619.71 MiB) 22:57:12 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 619.71 MiB) 22:57:12 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 619.71 MiB) 22:57:14 starting sumcheck rounds... (mem: 619.71 MiB) 22:57:21 completed 16 rounds of sumcheck (mem: 619.71 MiB) 22:57:25 finished eccvm proving. (mem: 619.71 MiB) 22:57:25 prove translator... (mem: 619.71 MiB) 22:57:27 starting sumcheck rounds... (mem: 619.71 MiB) 22:57:31 completed 18 rounds of sumcheck (mem: 619.71 MiB) 22:57:36 computed opening proof (mem: 619.71 MiB) 22:57:36 finished translator proving. (mem: 619.71 MiB) 22:57:36 time to call ClientIVC::prove: 30058 ms. (mem: 619.71 MiB) 22:57:36 vkey hash in Oink verifier: 0x0000000000000000000000000000000019795e9b130db684abd3ff4c6da91080 (mem: 619.71 MiB) 22:57:36 sumcheck_verified: 1 (mem: 619.71 MiB) 22:57:36 libra_evals_verified: 1 (mem: 619.71 MiB) 22:57:36 pairing_check_verified: 1 (mem: 619.71 MiB) 22:57:36 Mega verified: 1 (mem: 619.71 MiB) 22:57:36 eccvm sumcheck verified?: 1 (mem: 619.71 MiB) 22:57:36 batch opening verified?: 1 (mem: 619.71 MiB) 22:57:36 eccvm consistency check verified?: 1 (mem: 619.71 MiB) 22:57:36 translation masking consistency checked?: 1 (mem: 619.71 MiB) 22:57:36 merge verified?: 1 (mem: 619.71 MiB) 22:57:36 eccvm verified?: 1 (mem: 619.71 MiB) 22:57:36 accumulator construction_verified?: 1 (mem: 619.71 MiB) 22:57:36 translation verified?: 1 (mem: 619.71 MiB) 22:57:36 consistency verified?: 1 (mem: 619.71 MiB) 22:57:36 Goblin verified: 1 (mem: 619.71 MiB) 22:57:36 time to verify ClientIVC proof: 318 ms. (mem: 619.71 MiB) 22:57:36 [ OK ] ClientIVCTests.PrecomputedVerificationKeys (55480 ms) 22:57:36 [----------] 1 test from ClientIVCTests (55480 ms total) 22:57:36 22:57:36 [----------] Global test environment tear-down 22:57:36 [==========] 1 test from 1 test suite ran. (55480 ms total) 22:57:36 [ PASSED ] 1 test.