ACI ·

Parent Log: http://ci.aztec-labs.com/439b455015d70b8a Command: 29957fbe93665d48:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/native_client_ivc_integration.test.ts Commit: https://github.com/AztecProtocol/aztec-packages/commit/a9414cff28bd9ebfe35ca67f0ec0117d08f57e55 Env: REF_NAME=gh-readonly-queue/next/pr-15216-4608046e462faf9ff3fbee265ba34dbecb5d0b31 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 23 15:02:59 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15216_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 15:03:03 [15:03:03.568] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-7f2Xwx/ivc-inputs.msgpack 15:03:03 [15:03:03.574] INFO: ivc-integration:test:native bb - BB concurrency: undefined 15:03:03 [15:03:03.575] INFO: ivc-integration:test:native bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-client-ivc-integration-7f2Xwx --ivc_inputs_path /tmp/bb-client-ivc-integration-7f2Xwx/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:03:03 [15:03:03.601] INFO: ivc-integration:test:native bb - bb command: prove (mem: 15:03:03 [15:03:03.602] INFO: ivc-integration:test:native bb - 185.91 MiB) 15:03:03 Scheme is: client_ivc, num threads: 128 (mem: 185.91 MiB) 15:03:03 --scheme: client_ivc (mem: 185.91 MiB) 15:03:03 --output_path: /tmp/bb-client-ivc-integration-7f2Xwx (mem: 185.91 MiB) 15:03:03 --ivc_inputs_path: /tmp/bb-client-ivc-integration-7f2Xwx/ivc-inputs.msgpack (mem: 185.91 MiB) 15:03:03 --verbose: true (mem: 185.91 MiB) 15:03:03 --write_vk: true (mem: 185.91 MiB) 15:03:03 [15:03:03.603] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 185.91 MiB) 15:03:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 185.91 MiB) 15:03:03 [15:03:03.667] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 185.91 MiB) 15:03:03 [15:03:03.671] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 185.91 MiB) 15:03:03 Constructing DeciderProvingKey (mem: 185.91 MiB) 15:03:03 [15:03:03.676] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 185.91 MiB) 15:03:03 goblin ecc op : 4/1024 (mem: 185.91 MiB) 15:03:03 busread : 7/6000 (mem: 185.91 MiB) 15:03:03 lookups : 2/15000 (mem: 185.91 MiB) 15:03:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 185.91 MiB) 15:03:03 arithmetic : 1760/56000 (mem: 185.91 MiB) 15:03:03 delta range : 1754/18000 (mem: 185.91 MiB) 15:03:03 elliptic : 2/6000 (mem: 185.91 MiB) 15:03:03 auxiliary : 26/26000 (mem: 185.91 MiB) 15:03:03 poseidon ext : 2/17000 (mem: 185.91 MiB) 15:03:03 poseidon int : 2/92000 (mem: 185.91 MiB) 15:03:03 overflow : 0/0 (mem: 185.91 MiB) 15:03:03 (mem: 185.91 MiB) 15:03:03 [15:03:03.678] INFO: ivc-integration:test:native bb - Total structured size: 242025 (mem: 185.91 MiB) 15:03:03 allocating polynomials object in proving key... (mem: 185.91 MiB) 15:03:03 [15:03:03.867] INFO: ivc-integration:test:native bb - populating trace... (mem: 346.47 MiB) 15:03:03 [15:03:03.892] INFO: ivc-integration:test:native bb - time to construct proving key: 218 ms. (mem: 356.47 MiB) 15:03:04 [15:03:04.010] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56a773922200 (mem: 356.47 MiB) 15:03:04 [15:03:04.013] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 356.47 MiB) 15:03:04 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 356.47 MiB) 15:03:04 [15:03:04.197] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 365.47 MiB) 15:03:04 [15:03:04.223] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 365.47 MiB) 15:03:04 [15:03:04.241] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 365.47 MiB) 15:03:04 Constructing DeciderProvingKey (mem: 365.47 MiB) 15:03:04 [15:03:04.246] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 365.47 MiB) 15:03:04 goblin ecc op : 56/1024 (mem: 365.47 MiB) 15:03:04 busread : 12/6000 (mem: 365.47 MiB) 15:03:04 lookups : 2/15000 (mem: 365.47 MiB) 15:03:04 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 365.47 MiB) 15:03:04 arithmetic : 4677/56000 (mem: 365.47 MiB) 15:03:04 delta range : 2073/18000 (mem: 365.47 MiB) 15:03:04 elliptic : 2/6000 (mem: 365.47 MiB) 15:03:04 auxiliary : 110/26000 (mem: 365.47 MiB) 15:03:04 poseidon ext : 1322/17000 (mem: 365.47 MiB) 15:03:04 poseidon int : 7526/92000 (mem: 365.47 MiB) 15:03:04 overflow : 0/0 (mem: 365.47 MiB) 15:03:04 (mem: 365.47 MiB) 15:03:04 Total structured size: 242025 (mem: 365.47 MiB) 15:03:04 allocating polynomials object in proving key... (mem: 365.47 MiB) 15:03:04 [15:03:04.380] INFO: ivc-integration:test:native bb - populating trace... (mem: 571.47 MiB) 15:03:04 [15:03:04.408] INFO: ivc-integration:test:native bb - time to construct proving key: 168 ms. (mem: 585.47 MiB) 15:03:04 [15:03:04.629] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56a77392ee40 (mem: 585.47 MiB) 15:03:04 computing folding proof (mem: 585.47 MiB) 15:03:04 [15:03:04.630] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 585.47 MiB) 15:03:04 [15:03:04.945] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 586.47 MiB) 15:03:05 [15:03:05.036] INFO: ivc-integration:test:native bb - perturbator round (mem: 623.47 MiB) 15:03:05 [15:03:05.088] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 655.47 MiB) 15:03:05 [15:03:05.440] INFO: ivc-integration:test:native bb - folded (mem: 655.47 MiB) 15:03:05 [15:03:05.441] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 655.47 MiB) 15:03:05 [15:03:05.456] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 655.47 MiB) 15:03:05 [15:03:05.526] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 655.47 MiB) 15:03:05 Constructing DeciderProvingKey (mem: 655.47 MiB) 15:03:05 [15:03:05.530] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 655.47 MiB) 15:03:05 goblin ecc op : 392/1024 (mem: 655.47 MiB) 15:03:05 busread : 3/6000 (mem: 655.47 MiB) 15:03:05 lookups : 2/15000 (mem: 655.47 MiB) 15:03:05 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 655.47 MiB) 15:03:05 arithmetic : 6913/56000 (mem: 655.47 MiB) 15:03:05 delta range : 2353/18000 (mem: 655.47 MiB) 15:03:05 elliptic : 2/6000 (mem: 655.47 MiB) 15:03:05 auxiliary : 50/26000 (mem: 655.47 MiB) 15:03:05 poseidon ext : 2492/17000 (mem: 655.47 MiB) 15:03:05 poseidon int : 14195/92000 (mem: 655.47 MiB) 15:03:05 overflow : 0/0 (mem: 655.47 MiB) 15:03:05 (mem: 655.47 MiB) 15:03:05 Total structured size: 242025 (mem: 655.47 MiB) 15:03:05 allocating polynomials object in proving key... (mem: 655.47 MiB) 15:03:05 [15:03:05.713] INFO: ivc-integration:test:native bb - populating trace... (mem: 655.47 MiB) 15:03:05 [15:03:05.740] INFO: ivc-integration:test:native bb - time to construct proving key: 214 ms. (mem: 655.47 MiB) 15:03:06 [15:03:06.036] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56a7739245c0 (mem: 655.47 MiB) 15:03:06 [15:03:06.037] INFO: ivc-integration:test:native bb - computing folding proof (mem: 655.47 MiB) 15:03:06 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 655.47 MiB) 15:03:06 [15:03:06.538] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 655.47 MiB) 15:03:06 [15:03:06.611] INFO: ivc-integration:test:native bb - perturbator round (mem: 655.47 MiB) 15:03:06 [15:03:06.663] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 668.53 MiB) 15:03:07 [15:03:07.094] INFO: ivc-integration:test:native bb - folded (mem: 668.53 MiB) 15:03:07 constructed folding proof (mem: 668.53 MiB) 15:03:07 [15:03:07.095] INFO: ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 668.53 MiB) 15:03:07 Minimum required block sizes for structured trace: (mem: 668.53 MiB) 15:03:07 (mem: 668.53 MiB) 15:03:07 prove decider... (mem: 668.53 MiB) 15:03:07 [15:03:07.095] INFO: ivc-integration:test:native bb - ecc_op : 392 15:03:07 busread : 12 15:03:07 lookup : 2 15:03:07 pub_inputs : 36 15:03:07 arithmetic : 6913 15:03:07 delta_range : 2353 15:03:07 elliptic : 2 15:03:07 aux : 110 15:03:07 poseidon2_external : 2492 15:03:07 poseidon2_internal : 14195 15:03:07 overflow : 0 15:03:07 [15:03:07.396] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 668.53 MiB) 15:03:07 [15:03:07.582] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 668.53 MiB) 15:03:08 [15:03:08.969] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 668.53 MiB) 15:03:09 [15:03:09.111] INFO: ivc-integration:test:native bb - computed opening proof (mem: 668.53 MiB) 15:03:09 finished decider proving. (mem: 668.53 MiB) 15:03:09 [15:03:09.131] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 668.53 MiB) 15:03:09 [15:03:09.229] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 15:03:09 [15:03:09.230] INFO: ivc-integration:test:native bb - (mem: 15:03:09 [15:03:09.234] INFO: ivc-integration:test:native bb - 668.53 MiB) 15:03:09 [15:03:09.240] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 668.53 MiB) 15:03:09 [15:03:09.543] INFO: ivc-integration:test:native bb - populating trace... (mem: 668.53 MiB) 15:03:09 [15:03:09.607] INFO: ivc-integration:test:native bb - time to construct proving key: 374 ms. (mem: 668.53 MiB) 15:03:11 [15:03:11.242] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 668.53 MiB) 15:03:11 [15:03:11.962] INFO: ivc-integration:test:native bb - created oink proof (mem: 668.53 MiB) 15:03:12 [15:03:12.271] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 668.53 MiB) 15:03:13 [15:03:13.896] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 668.53 MiB) 15:03:15 [15:03:15.303] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 668.53 MiB) 15:03:15 [15:03:15.382] INFO: ivc-integration:test:native bb - computed opening proof (mem: 668.53 MiB) 15:03:15 finished decider proving. (mem: 668.53 MiB) 15:03:15 Constructing a Goblin proof with num ultra ops = 1038 (mem: 668.53 MiB) 15:03:15 [15:03:15.757] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 668.53 MiB) 15:03:16 [15:03:16.285] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 668.53 MiB) 15:03:16 [15:03:16.295] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 668.53 MiB) 15:03:19 [15:03:19.035] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 668.53 MiB) 15:03:22 [15:03:22.090] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 669.21 MiB) 15:03:26 [15:03:26.938] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 669.21 MiB) 15:03:26 prove translator... (mem: 669.21 MiB) 15:03:30 [15:03:30.438] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 707.21 MiB) 15:03:33 [15:03:33.692] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 15:03:33 [15:03:33.693] INFO: ivc-integration:test:native bb - (mem: 707.21 MiB) 15:03:37 [15:03:37.231] INFO: ivc-integration:test:native bb - computed opening proof (mem: 707.21 MiB) 15:03:37 finished translator proving. (mem: 707.21 MiB) 15:03:37 [15:03:37.232] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 707.21 MiB) 15:03:37 [15:03:37.252] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 707.21 MiB) 15:03:37 libra_evals_verified: 1 (mem: 707.21 MiB) 15:03:37 pairing_check_verified: 1 (mem: 707.21 MiB) 15:03:37 Mega verified: 1 (mem: 707.21 MiB) 15:03:37 [15:03:37.438] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 707.21 MiB) 15:03:37 batch opening verified?: 1 (mem: 707.21 MiB) 15:03:37 eccvm consistency check verified?: 1 (mem: 707.21 MiB) 15:03:37 translation masking consistency checked?: 1 (mem: 707.21 MiB) 15:03:37 [15:03:37.462] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 707.21 MiB) 15:03:37 eccvm verified?: 1 (mem: 707.21 MiB) 15:03:37 accumulator construction_verified?: 1 (mem: 707.21 MiB) 15:03:37 translation verified?: 1 (mem: 707.21 MiB) 15:03:37 consistency verified?: 1 (mem: 707.21 MiB) 15:03:37 Goblin verified: 1 (mem: 707.21 MiB) 15:03:37 [15:03:37.463] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-7f2Xwx" (mem: 707.21 MiB) 15:03:37 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-7f2Xwx" (mem: 707.21 MiB) 15:03:37 BN254 commitment key size: 262144 (mem: 707.21 MiB) 15:03:37 [15:03:37.467] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 707.21 MiB) 15:03:37 [15:03:37.472] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.21 MiB) 15:03:37 goblin ecc op : 4/1024 (mem: 707.21 MiB) 15:03:37 busread : 3/6000 (mem: 707.21 MiB) 15:03:37 lookups : 2/15000 (mem: 707.21 MiB) 15:03:37 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 707.21 MiB) 15:03:37 arithmetic : 1773/56000 (mem: 707.21 MiB) 15:03:37 delta range : 1754/18000 (mem: 707.21 MiB) 15:03:37 elliptic : 2/6000 (mem: 707.21 MiB) 15:03:37 auxiliary : 26/26000 (mem: 707.21 MiB) 15:03:37 poseidon ext : 2/17000 (mem: 707.21 MiB) 15:03:37 poseidon int : 2/92000 (mem: 707.21 MiB) 15:03:37 overflow : 0/0 (mem: 707.21 MiB) 15:03:37 (mem: 707.21 MiB) 15:03:37 Total structured size: 242025 (mem: 707.21 MiB) 15:03:37 allocating polynomials object in proving key... (mem: 707.21 MiB) 15:03:37 [15:03:37.784] INFO: ivc-integration:test:native bb - populating trace... (mem: 707.21 MiB) 15:03:37 [15:03:37.819] INFO: ivc-integration:test:native bb - time to construct proving key: 351 ms. (mem: 707.21 MiB) 15:03:38 [15:03:38.009] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 707.21 MiB) 15:03:38 [15:03:38.799] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 708.21 MiB) 15:03:38 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 708.21 MiB) 15:03:39 [15:03:39.156] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 709.21 MiB) 15:03:39 [15:03:39.166] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 709.21 MiB) 15:03:39 [15:03:39.185] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 709.21 MiB) 15:03:39 [15:03:39.186] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 15:03:39 [15:03:39.187] INFO: ivc-integration:test:native bb - 709.21 MiB) 15:03:39 goblin ecc op : 56/1024 (mem: 709.21 MiB) 15:03:39 busread : 3/6000 (mem: 709.21 MiB) 15:03:39 lookups : 2/15000 (mem: 709.21 MiB) 15:03:39 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 709.21 MiB) 15:03:39 arithmetic : 4533/56000 (mem: 709.21 MiB) 15:03:39 delta range : 2060/18000 (mem: 709.21 MiB) 15:03:39 elliptic : 2/6000 (mem: 709.21 MiB) 15:03:39 auxiliary : 50/26000 (mem: 709.21 MiB) 15:03:39 poseidon ext : 1332/17000 (mem: 709.21 MiB) 15:03:39 poseidon int : 7583/92000 (mem: 709.21 MiB) 15:03:39 overflow : 0/0 (mem: 709.21 MiB) 15:03:39 (mem: 709.21 MiB) 15:03:39 Total structured size: 242025 (mem: 709.21 MiB) 15:03:39 allocating polynomials object in proving key... (mem: 709.21 MiB) 15:03:39 [15:03:39.595] INFO: ivc-integration:test:native bb - populating trace... (mem: 709.21 MiB) 15:03:39 [15:03:39.662] INFO: ivc-integration:test:native bb - time to construct proving key: 480 ms. (mem: 709.21 MiB) 15:03:39 [15:03:39.908] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 709.21 MiB) 15:03:40 [15:03:40.889] INFO: ivc-integration:test:native bb - computing folding proof (mem: 709.21 MiB) 15:03:40 [15:03:40.891] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 709.21 MiB) 15:03:41 [15:03:41.536] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 709.21 MiB) 15:03:41 [15:03:41.715] INFO: ivc-integration:test:native bb - perturbator round (mem: 709.21 MiB) 15:03:41 [15:03:41.785] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 741.21 MiB) 15:03:42 [15:03:42.379] INFO: ivc-integration:test:native bb - folded (mem: 741.21 MiB) 15:03:42 constructed folding proof (mem: 741.21 MiB) 15:03:42 Largest circuit: 15565 gates. Trace details: (mem: 741.21 MiB) 15:03:42 Minimum required block sizes for structured trace: (mem: 741.21 MiB) 15:03:42 (mem: 741.21 MiB) 15:03:42 prove decider... (mem: 741.21 MiB) 15:03:42 [15:03:42.380] INFO: ivc-integration:test:native bb - ecc_op : 56 15:03:42 busread : 3 15:03:42 lookup : 2 15:03:42 pub_inputs : 36 15:03:42 arithmetic : 4533 15:03:42 delta_range : 2060 15:03:42 elliptic : 2 15:03:42 aux : 50 15:03:42 poseidon2_external : 1332 15:03:42 poseidon2_internal : 7583 15:03:42 overflow : 0 15:03:42 [15:03:42.569] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 741.21 MiB) 15:03:42 [15:03:42.706] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 741.21 MiB) 15:03:44 [15:03:44.021] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 741.21 MiB) 15:03:44 [15:03:44.204] INFO: ivc-integration:test:native bb - computed opening proof (mem: 741.21 MiB) 15:03:44 finished decider proving. (mem: 741.21 MiB) 15:03:44 [15:03:44.212] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 741.21 MiB) 15:03:44 [15:03:44.308] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 741.21 MiB) 15:03:44 [15:03:44.314] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 741.21 MiB) 15:03:44 [15:03:44.481] INFO: ivc-integration:test:native bb - populating trace... (mem: 741.21 MiB) 15:03:44 [15:03:44.521] INFO: ivc-integration:test:native bb - time to construct proving key: 212 ms. 15:03:44 [15:03:44.522] INFO: ivc-integration:test:native bb - (mem: 741.21 MiB) 15:03:45 [15:03:45.447] INFO: ivc-integration:test:native BB concurrency: 1 15:03:45 [15:03:45.447] INFO: ivc-integration:test:native Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-client-ivc-integration-7f2Xwx/proof -k /tmp/bb-client-ivc-integration-7f2Xwx/vk -v 15:03:45 [15:03:45.485] INFO: ivc-integration:test:native bb command: verify (mem: 233.15 MiB) 15:03:45 Scheme is: client_ivc, num threads: 1 (mem: 233.15 MiB) 15:03:45 --proof_path: /tmp/bb-client-ivc-integration-7f2Xwx/proof (mem: 233.15 MiB) 15:03:45 --vk_path: /tmp/bb-client-ivc-integration-7f2Xwx/vk (mem: 233.15 MiB) 15:03:45 --verbose: true (mem: 233.15 MiB) 15:03:45 --scheme: client_ivc (mem: 233.15 MiB) 15:03:45 [15:03:45.486] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 233.15 MiB) 15:03:45 [15:03:45.505] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 233.15 MiB) 15:03:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 233.15 MiB) 15:03:45 [15:03:45.525] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 233.15 MiB) 15:03:45 [15:03:45.526] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 233.15 MiB) 15:03:45 [15:03:45.533] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 233.15 MiB) 15:03:45 libra_evals_verified: 1 (mem: 233.15 MiB) 15:03:45 pairing_check_verified: 1 (mem: 233.15 MiB) 15:03:45 Mega verified: 1 (mem: 233.15 MiB) 15:03:46 [15:03:46.065] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 233.15 MiB) 15:03:46 batch opening verified?: 1 (mem: 233.15 MiB) 15:03:46 eccvm consistency check verified?: 1 (mem: 233.15 MiB) 15:03:46 translation masking consistency checked?: 1 (mem: 233.15 MiB) 15:03:46 [15:03:46.080] INFO: ivc-integration:test:native merge verified?: 1 (mem: 233.15 MiB) 15:03:46 eccvm verified?: 1 (mem: 233.15 MiB) 15:03:46 accumulator construction_verified?: 1 (mem: 233.15 MiB) 15:03:46 translation verified?: 1 (mem: 233.15 MiB) 15:03:46 consistency verified?: 1 (mem: 233.15 MiB) 15:03:46 Goblin verified: 1 (mem: 233.15 MiB) 15:03:46 [15:03:46.082] INFO: ivc-integration:test:native verified: 1 (mem: 233.15 MiB) 15:03:46 [15:03:46.190] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-mcIGJX/ivc-inputs.msgpack 15:03:46 [15:03:46.191] INFO: ivc-integration:test:native bb - BB concurrency: undefined 15:03:46 [15:03:46.192] INFO: ivc-integration:test:native bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-client-ivc-integration-mcIGJX --ivc_inputs_path /tmp/bb-client-ivc-integration-mcIGJX/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:03:46 [15:03:46.219] INFO: ivc-integration:test:native bb - bb command: prove (mem: 237.64 MiB) 15:03:46 Scheme is: client_ivc, num threads: 128 (mem: 237.64 MiB) 15:03:46 --scheme: client_ivc (mem: 237.64 MiB) 15:03:46 --output_path: /tmp/bb-client-ivc-integration-mcIGJX (mem: 237.64 MiB) 15:03:46 --ivc_inputs_path: /tmp/bb-client-ivc-integration-mcIGJX/ivc-inputs.msgpack (mem: 237.64 MiB) 15:03:46 --verbose: true (mem: 237.64 MiB) 15:03:46 --write_vk: true (mem: 237.64 MiB) 15:03:46 [15:03:46.223] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 237.64 MiB) 15:03:46 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 237.64 MiB) 15:03:46 [15:03:46.290] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 237.64 MiB) 15:03:46 [15:03:46.294] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 237.64 MiB) 15:03:46 Constructing DeciderProvingKey (mem: 237.64 MiB) 15:03:46 [15:03:46.299] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 237.64 MiB) 15:03:46 goblin ecc op : 4/1024 (mem: 237.64 MiB) 15:03:46 busread : 7/6000 (mem: 237.64 MiB) 15:03:46 lookups : 2/15000 (mem: 237.64 MiB) 15:03:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 237.64 MiB) 15:03:46 arithmetic : 1760/56000 (mem: 237.64 MiB) 15:03:46 delta range : 1754/18000 (mem: 237.64 MiB) 15:03:46 elliptic : 2/6000 (mem: 237.64 MiB) 15:03:46 auxiliary : 26/26000 (mem: 237.64 MiB) 15:03:46 poseidon ext : 2/17000 (mem: 237.64 MiB) 15:03:46 poseidon int : 2/92000 (mem: 237.64 MiB) 15:03:46 overflow : 0/0 (mem: 237.64 MiB) 15:03:46 (mem: 237.64 MiB) 15:03:46 Total structured size: 242025 (mem: 237.64 MiB) 15:03:46 allocating polynomials object in proving key... (mem: 237.64 MiB) 15:03:46 [15:03:46.517] INFO: ivc-integration:test:native bb - populating trace... (mem: 348.60 MiB) 15:03:46 [15:03:46.527] INFO: ivc-integration:test:native bb - time to construct proving key: 232 ms. (mem: 358.60 MiB) 15:03:46 [15:03:46.598] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x65447e086f80 (mem: 358.60 MiB) 15:03:46 [15:03:46.598] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 358.60 MiB) 15:03:46 [15:03:46.599] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 358.60 MiB) 15:03:46 [15:03:46.805] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 369.60 MiB) 15:03:46 [15:03:46.813] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 369.60 MiB) 15:03:46 [15:03:46.827] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 369.60 MiB) 15:03:46 Constructing DeciderProvingKey (mem: 369.60 MiB) 15:03:46 [15:03:46.829] INFO: ivc-integration:test:native bb - 15:03:46 [15:03:46.831] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 369.60 MiB) 15:03:46 goblin ecc op : 56/1024 (mem: 369.60 MiB) 15:03:46 busread : 12/6000 (mem: 369.60 MiB) 15:03:46 [15:03:46.836] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 369.60 MiB) 15:03:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 369.60 MiB) 15:03:46 arithmetic : 4677/56000 (mem: 369.60 MiB) 15:03:46 delta range : 2073/18000 (mem: 369.60 MiB) 15:03:46 elliptic : 2/6000 (mem: 369.60 MiB) 15:03:46 auxiliary : 110/26000 (mem: 369.60 MiB) 15:03:46 poseidon ext : 1322/17000 (mem: 369.60 MiB) 15:03:46 poseidon int : 7526/92000 (mem: 369.60 MiB) 15:03:46 overflow : 0/0 (mem: 369.60 MiB) 15:03:46 (mem: 369.60 MiB) 15:03:46 Total structured size: 242025 (mem: 369.60 MiB) 15:03:46 allocating polynomials object in proving key... (mem: 369.60 MiB) 15:03:46 [15:03:46.981] INFO: ivc-integration:test:native bb - populating trace... (mem: 575.60 MiB) 15:03:47 [15:03:47.003] INFO: ivc-integration:test:native bb - time to construct proving key: 175 ms. (mem: 592.60 MiB) 15:03:47 [15:03:47.123] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x65447e090240 (mem: 592.60 MiB) 15:03:47 computing folding proof (mem: 592.60 MiB) 15:03:47 [15:03:47.124] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 592.60 MiB) 15:03:47 [15:03:47.403] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 594.60 MiB) 15:03:47 [15:03:47.493] INFO: ivc-integration:test:native bb - perturbator round (mem: 631.60 MiB) 15:03:47 [15:03:47.543] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 665.60 MiB) 15:03:47 [15:03:47.774] INFO: ivc-integration:test:native bb - folded (mem: 665.60 MiB) 15:03:47 constructed folding proof (mem: 665.60 MiB) 15:03:47 [15:03:47.777] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 665.60 MiB) 15:03:47 Constructing DeciderProvingKey (mem: 665.60 MiB) 15:03:47 [15:03:47.782] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 665.60 MiB) 15:03:47 goblin ecc op : 4/1024 (mem: 665.60 MiB) 15:03:47 busread : 7/6000 (mem: 665.60 MiB) 15:03:47 lookups : 2/15000 (mem: 665.60 MiB) 15:03:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 665.60 MiB) 15:03:47 arithmetic : 1760/56000 (mem: 665.60 MiB) 15:03:47 delta range : 1754/18000 (mem: 665.60 MiB) 15:03:47 elliptic : 2/6000 (mem: 665.60 MiB) 15:03:47 auxiliary : 26/26000 (mem: 665.60 MiB) 15:03:47 poseidon ext : 2/17000 (mem: 665.60 MiB) 15:03:47 poseidon int : 2/92000 (mem: 665.60 MiB) 15:03:47 overflow : 0/0 (mem: 665.60 MiB) 15:03:47 (mem: 665.60 MiB) 15:03:47 Total structured size: 242025 (mem: 665.60 MiB) 15:03:47 allocating polynomials object in proving key... (mem: 665.60 MiB) 15:03:47 [15:03:47.897] INFO: ivc-integration:test:native bb - populating trace... (mem: 665.60 MiB) 15:03:47 [15:03:47.907] INFO: ivc-integration:test:native bb - time to construct proving key: 129 ms. (mem: 665.60 MiB) 15:03:48 [15:03:48.013] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x65447e0827c0 (mem: 665.60 MiB) 15:03:48 computing folding proof (mem: 665.60 MiB) 15:03:48 [15:03:48.014] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 665.60 MiB) 15:03:48 [15:03:48.196] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 665.60 MiB) 15:03:48 [15:03:48.282] INFO: ivc-integration:test:native bb - perturbator round (mem: 665.60 MiB) 15:03:48 [15:03:48.312] INFO: ivc-integration:test:native bb - combiner quotient round 15:03:48 [15:03:48.313] INFO: ivc-integration:test:native bb - (mem: 665.60 MiB) 15:03:48 [15:03:48.531] INFO: ivc-integration:test:native bb - folded (mem: 665.60 MiB) 15:03:48 constructed folding proof (mem: 665.60 MiB) 15:03:48 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 665.60 MiB) 15:03:48 [15:03:48.594] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 665.60 MiB) 15:03:48 [15:03:48.653] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 665.60 MiB) 15:03:48 Constructing DeciderProvingKey (mem: 665.60 MiB) 15:03:48 [15:03:48.659] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 665.60 MiB) 15:03:48 goblin ecc op : 792/1024 (mem: 665.60 MiB) 15:03:48 busread : 12/6000 (mem: 665.60 MiB) 15:03:48 [15:03:48.660] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 665.60 MiB) 15:03:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 665.60 MiB) 15:03:48 arithmetic : 12208/56000 (mem: 665.60 MiB) 15:03:48 delta range : 2981/18000 (mem: 665.60 MiB) 15:03:48 elliptic : 2/6000 (mem: 665.60 MiB) 15:03:48 auxiliary : 350/26000 (mem: 665.60 MiB) 15:03:48 poseidon ext : 4982/17000 (mem: 665.60 MiB) 15:03:48 poseidon int : 28388/92000 (mem: 665.60 MiB) 15:03:48 overflow : 0/0 (mem: 665.60 MiB) 15:03:48 (mem: 665.60 MiB) 15:03:48 Total structured size: 242025 (mem: 665.60 MiB) 15:03:48 allocating polynomials object in proving key... (mem: 665.60 MiB) 15:03:48 [15:03:48.733] INFO: ivc-integration:test:native bb - populating trace... (mem: 665.60 MiB) 15:03:48 [15:03:48.790] INFO: ivc-integration:test:native bb - time to construct proving key: 136 ms. (mem: 665.60 MiB) 15:03:48 [15:03:48.991] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x65447e104100 (mem: 665.60 MiB) 15:03:48 computing folding proof (mem: 665.60 MiB) 15:03:48 [15:03:48.992] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 665.60 MiB) 15:03:49 [15:03:49.493] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 665.60 MiB) 15:03:49 [15:03:49.600] INFO: ivc-integration:test:native bb - perturbator round (mem: 681.16 MiB) 15:03:49 [15:03:49.657] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 713.16 MiB) 15:03:49 [15:03:49.838] INFO: ivc-integration:test:native bb - folded (mem: 713.16 MiB) 15:03:49 constructed folding proof (mem: 713.16 MiB) 15:03:49 [15:03:49.846] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 713.16 MiB) 15:03:49 [15:03:49.900] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 713.16 MiB) 15:03:49 Constructing DeciderProvingKey (mem: 713.16 MiB) 15:03:49 [15:03:49.904] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 713.16 MiB) 15:03:49 goblin ecc op : 392/1024 (mem: 713.16 MiB) 15:03:49 busread : 16/6000 (mem: 713.16 MiB) 15:03:49 lookups : 2/15000 (mem: 713.16 MiB) 15:03:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 713.16 MiB) 15:03:49 arithmetic : 6978/56000 (mem: 713.16 MiB) 15:03:49 delta range : 2367/18000 (mem: 713.16 MiB) 15:03:49 elliptic : 2/6000 (mem: 713.16 MiB) 15:03:49 auxiliary : 77/26000 (mem: 713.16 MiB) 15:03:49 poseidon ext : 2492/17000 (mem: 713.16 MiB) 15:03:49 poseidon int : 14195/92000 (mem: 713.16 MiB) 15:03:49 overflow : 0/0 (mem: 713.16 MiB) 15:03:49 (mem: 713.16 MiB) 15:03:49 Total structured size: 242025 (mem: 713.16 MiB) 15:03:49 allocating polynomials object in proving key... (mem: 713.16 MiB) 15:03:49 [15:03:49.939] INFO: ivc-integration:test:native bb - populating trace... (mem: 713.16 MiB) 15:03:49 [15:03:49.963] INFO: ivc-integration:test:native bb - time to construct proving key: 63 ms. (mem: 713.16 MiB) 15:03:50 [15:03:50.057] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x65447e076bc0 (mem: 713.16 MiB) 15:03:50 computing folding proof (mem: 713.16 MiB) 15:03:50 [15:03:50.058] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 713.16 MiB) 15:03:50 [15:03:50.332] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 713.16 MiB) 15:03:50 [15:03:50.458] INFO: ivc-integration:test:native bb - perturbator round (mem: 713.16 MiB) 15:03:50 [15:03:50.504] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 713.39 MiB) 15:03:50 [15:03:50.645] INFO: ivc-integration:test:native bb - folded (mem: 713.39 MiB) 15:03:50 constructed folding proof (mem: 713.39 MiB) 15:03:50 [15:03:50.653] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 713.39 MiB) 15:03:50 [15:03:50.719] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 713.39 MiB) 15:03:50 Constructing DeciderProvingKey (mem: 713.39 MiB) 15:03:50 [15:03:50.722] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 713.39 MiB) 15:03:50 goblin ecc op : 392/1024 (mem: 713.39 MiB) 15:03:50 busread : 3/6000 (mem: 713.39 MiB) 15:03:50 lookups : 2/15000 (mem: 15:03:50 [15:03:50.723] INFO: ivc-integration:test:native bb - 713.39 MiB) 15:03:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 713.39 MiB) 15:03:50 arithmetic : 6913/56000 (mem: 713.39 MiB) 15:03:50 delta range : 2353/18000 (mem: 713.39 MiB) 15:03:50 elliptic : 2/6000 (mem: 713.39 MiB) 15:03:50 auxiliary : 50/26000 (mem: 713.39 MiB) 15:03:50 poseidon ext : 2492/17000 (mem: 713.39 MiB) 15:03:50 poseidon int : 14195/92000 (mem: 713.39 MiB) 15:03:50 overflow : 0/0 (mem: 713.39 MiB) 15:03:50 (mem: 713.39 MiB) 15:03:50 Total structured size: 242025 (mem: 713.39 MiB) 15:03:50 allocating polynomials object in proving key... (mem: 713.39 MiB) 15:03:50 [15:03:50.795] INFO: ivc-integration:test:native bb - populating trace... (mem: 713.39 MiB) 15:03:50 [15:03:50.816] INFO: ivc-integration:test:native bb - time to construct proving key: 97 ms. (mem: 713.39 MiB) 15:03:50 [15:03:50.930] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x65447e08e440 (mem: 713.39 MiB) 15:03:50 computing folding proof (mem: 713.39 MiB) 15:03:50 [15:03:50.931] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 713.39 MiB) 15:03:51 [15:03:51.161] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 713.39 MiB) 15:03:51 [15:03:51.232] INFO: ivc-integration:test:native bb - perturbator round (mem: 713.39 MiB) 15:03:51 [15:03:51.287] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 714.13 MiB) 15:03:51 [15:03:51.379] INFO: ivc-integration:test:native bb - folded (mem: 714.13 MiB) 15:03:51 constructed folding proof (mem: 714.13 MiB) 15:03:51 [15:03:51.380] INFO: ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 714.13 MiB) 15:03:51 Minimum required block sizes for structured trace: (mem: 714.13 MiB) 15:03:51 (mem: 714.13 MiB) 15:03:51 prove decider... (mem: 714.13 MiB) 15:03:51 [15:03:51.381] INFO: ivc-integration:test:native bb - ecc_op : 792 15:03:51 busread : 16 15:03:51 lookup : 2 15:03:51 pub_inputs : 36 15:03:51 arithmetic : 12208 15:03:51 delta_range : 2981 15:03:51 elliptic : 2 15:03:51 aux : 350 15:03:51 poseidon2_external : 4982 15:03:51 poseidon2_internal : 28388 15:03:51 overflow : 0 15:03:51 [15:03:51.475] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.13 MiB) 15:03:51 [15:03:51.543] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 714.13 MiB) 15:03:52 [15:03:52.507] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 714.13 MiB) 15:03:52 [15:03:52.613] INFO: ivc-integration:test:native bb - computed opening proof (mem: 714.13 MiB) 15:03:52 [15:03:52.614] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 714.13 MiB) 15:03:52 [15:03:52.628] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 714.13 MiB) 15:03:52 [15:03:52.712] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 714.13 MiB) 15:03:52 [15:03:52.717] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 714.13 MiB) 15:03:52 [15:03:52.787] INFO: ivc-integration:test:native bb - populating trace... (mem: 714.13 MiB) 15:03:52 [15:03:52.814] INFO: ivc-integration:test:native bb - time to construct proving key: 102 ms. (mem: 714.13 MiB) 15:03:53 [15:03:53.319] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 714.13 MiB) 15:03:53 [15:03:53.604] INFO: ivc-integration:test:native bb - created oink proof (mem: 714.13 MiB) 15:03:53 [15:03:53.781] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.13 MiB) 15:03:54 [15:03:54.737] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 714.13 MiB) 15:03:55 [15:03:55.918] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 714.13 MiB) 15:03:55 [15:03:55.981] INFO: ivc-integration:test:native bb - computed opening proof 15:03:55 [15:03:55.981] INFO: ivc-integration:test:native bb - (mem: 714.13 MiB) 15:03:55 finished decider proving. (mem: 714.13 MiB) 15:03:55 [15:03:55.982] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 15:03:55 [15:03:55.986] INFO: ivc-integration:test:native bb - (mem: 714.13 MiB) 15:03:55 [15:03:55.987] INFO: ivc-integration:test:native bb - 15:03:56 [15:03:56.237] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 714.13 MiB) 15:03:56 [15:03:56.955] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 714.13 MiB) 15:03:57 [15:03:57.001] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 714.13 MiB) 15:03:58 [15:03:58.729] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.13 MiB) 15:04:01 [15:04:01.667] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 714.13 MiB) 15:04:07 [15:04:07.603] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 714.13 MiB) 15:04:07 prove translator... (mem: 714.13 MiB) 15:04:08 [15:04:08.847] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 724.40 MiB) 15:04:10 [15:04:10.749] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 724.40 MiB) 15:04:12 [15:04:12.586] INFO: ivc-integration:test:native bb - computed opening proof (mem: 728.40 MiB) 15:04:12 [15:04:12.586] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 728.40 MiB) 15:04:12 [15:04:12.587] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 728.40 MiB) 15:04:12 [15:04:12.601] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 728.40 MiB) 15:04:12 libra_evals_verified: 1 (mem: 728.40 MiB) 15:04:12 pairing_check_verified: 1 (mem: 728.40 MiB) 15:04:12 Mega verified: 1 (mem: 728.40 MiB) 15:04:12 [15:04:12.692] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 728.40 MiB) 15:04:12 batch opening verified?: 1 (mem: 728.40 MiB) 15:04:12 eccvm consistency check verified?: 1 (mem: 728.40 MiB) 15:04:12 [15:04:12.693] INFO: ivc-integration:test:native bb - 15:04:12 translation masking consistency checked?: 1 (mem: 728.40 MiB) 15:04:12 [15:04:12.713] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 728.40 MiB) 15:04:12 eccvm verified?: 1 (mem: 728.40 MiB) 15:04:12 accumulator construction_verified?: 1 (mem: 728.40 MiB) 15:04:12 translation verified?: 1 (mem: 728.40 MiB) 15:04:12 [15:04:12.714] INFO: ivc-integration:test:native bb - 15:04:12 consistency verified?: 1 (mem: 728.40 MiB) 15:04:12 Goblin verified: 1 (mem: 728.40 MiB) 15:04:12 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-mcIGJX" (mem: 728.40 MiB) 15:04:12 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-mcIGJX" (mem: 728.40 MiB) 15:04:12 BN254 commitment key size: 262144 (mem: 728.40 MiB) 15:04:12 [15:04:12.716] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 728.40 MiB) 15:04:12 [15:04:12.719] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 728.40 MiB) 15:04:12 [15:04:12.719] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 728.40 MiB) 15:04:12 busread : 3/6000 (mem: 728.40 MiB) 15:04:12 lookups : 2/15000 (mem: 728.40 MiB) 15:04:12 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 728.40 MiB) 15:04:12 arithmetic : 1773/56000 (mem: 728.40 MiB) 15:04:12 delta range : 1754/18000 (mem: 728.40 MiB) 15:04:12 elliptic : 2/6000 (mem: 728.40 MiB) 15:04:12 auxiliary : 26/26000 (mem: 728.40 MiB) 15:04:12 poseidon ext : 2/17000 (mem: 728.40 MiB) 15:04:12 poseidon int : 2/92000 (mem: 728.40 MiB) 15:04:12 overflow : 0/0 (mem: 728.40 MiB) 15:04:12 (mem: 728.40 MiB) 15:04:12 Total structured size: 242025 (mem: 728.40 MiB) 15:04:12 allocating polynomials object in proving key... (mem: 728.40 MiB) 15:04:12 [15:04:12.812] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.40 MiB) 15:04:12 [15:04:12.821] INFO: ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 728.40 MiB) 15:04:12 [15:04:12.922] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 728.40 MiB) 15:04:13 [15:04:13.218] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 728.40 MiB) 15:04:13 [15:04:13.219] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 728.40 MiB) 15:04:13 [15:04:13.451] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 728.40 MiB) 15:04:13 [15:04:13.460] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 728.40 MiB) 15:04:13 [15:04:13.478] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 728.40 MiB) 15:04:13 [15:04:13.484] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 728.40 MiB) 15:04:13 goblin ecc op : 56/1024 (mem: 728.40 MiB) 15:04:13 busread : 3/6000 (mem: 728.40 MiB) 15:04:13 lookups : 2/15000 (mem: 728.40 MiB) 15:04:13 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 728.40 MiB) 15:04:13 arithmetic : 4533/56000 (mem: 728.40 MiB) 15:04:13 delta range : 2060/18000 (mem: 728.40 MiB) 15:04:13 elliptic : 2/6000 (mem: 728.40 MiB) 15:04:13 auxiliary : 50/26000 (mem: 728.40 MiB) 15:04:13 poseidon ext : 1332/17000 (mem: 728.40 MiB) 15:04:13 poseidon int : 7583/92000 (mem: 728.40 MiB) 15:04:13 overflow : 0/0 (mem: 728.40 MiB) 15:04:13 (mem: 728.40 MiB) 15:04:13 Total structured size: 242025 (mem: 728.40 MiB) 15:04:13 allocating polynomials object in proving key... (mem: 728.40 MiB) 15:04:13 [15:04:13.596] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.40 MiB) 15:04:13 [15:04:13.620] INFO: ivc-integration:test:native bb - time to construct proving key: 141 ms. (mem: 728.40 MiB) 15:04:13 [15:04:13.730] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 728.40 MiB) 15:04:13 [15:04:13.973] INFO: ivc-integration:test:native bb - computing folding proof (mem: 728.40 MiB) 15:04:13 [15:04:13.974] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 728.40 MiB) 15:04:14 [15:04:14.293] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 728.40 MiB) 15:04:14 [15:04:14.398] INFO: ivc-integration:test:native bb - perturbator round (mem: 728.40 MiB) 15:04:14 [15:04:14.438] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 758.03 MiB) 15:04:14 [15:04:14.605] INFO: ivc-integration:test:native bb - folded (mem: 758.03 MiB) 15:04:14 constructed folding proof (mem: 758.03 MiB) 15:04:14 [15:04:14.606] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 758.03 MiB) 15:04:14 Minimum required block sizes for structured trace: (mem: 758.03 MiB) 15:04:14 (mem: 758.03 MiB) 15:04:14 prove decider... (mem: 758.03 MiB) 15:04:14 [15:04:14.606] INFO: ivc-integration:test:native bb - ecc_op : 56 15:04:14 busread : 3 15:04:14 lookup : 2 15:04:14 pub_inputs : 36 15:04:14 arithmetic : 4533 15:04:14 delta_range : 2060 15:04:14 elliptic : 2 15:04:14 aux : 50 15:04:14 poseidon2_external : 1332 15:04:14 poseidon2_internal : 7583 15:04:14 overflow : 0 15:04:14 [15:04:14.725] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 758.03 MiB) 15:04:14 [15:04:14.828] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 758.03 MiB) 15:04:15 [15:04:15.397] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 758.03 MiB) 15:04:15 [15:04:15.468] INFO: ivc-integration:test:native bb - computed opening proof (mem: 758.03 MiB) 15:04:15 finished decider proving. (mem: 758.03 MiB) 15:04:15 [15:04:15.479] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 758.03 MiB) 15:04:15 [15:04:15.567] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 758.03 MiB) 15:04:15 [15:04:15.571] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 15:04:15 [15:04:15.572] INFO: ivc-integration:test:native bb - (mem: 15:04:15 [15:04:15.572] INFO: ivc-integration:test:native bb - 758.03 15:04:15 [15:04:15.572] INFO: ivc-integration:test:native bb - MiB) 15:04:15 [15:04:15.573] INFO: ivc-integration:test:native bb - 15:04:15 [15:04:15.624] INFO: ivc-integration:test:native bb - populating trace... (mem: 758.03 MiB) 15:04:15 [15:04:15.670] INFO: ivc-integration:test:native bb - time to construct proving key: 104 ms. (mem: 758.03 MiB) 15:04:16 [15:04:16.125] INFO: ivc-integration:test:native BB concurrency: 1 15:04:16 [15:04:16.126] INFO: ivc-integration:test:native Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-client-ivc-integration-mcIGJX/proof -k /tmp/bb-client-ivc-integration-mcIGJX/vk -v 15:04:16 [15:04:16.147] INFO: ivc-integration:test:native bb command: verify (mem: 15:04:16 [15:04:16.148] INFO: ivc-integration:test:native 238.55 MiB) 15:04:16 Scheme is: client_ivc, num threads: 1 (mem: 238.55 MiB) 15:04:16 --proof_path: /tmp/bb-client-ivc-integration-mcIGJX/proof (mem: 238.55 MiB) 15:04:16 --vk_path: /tmp/bb-client-ivc-integration-mcIGJX/vk (mem: 238.55 MiB) 15:04:16 --verbose: true (mem: 238.55 MiB) 15:04:16 --scheme: client_ivc (mem: 238.55 MiB) 15:04:16 [15:04:16.148] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 238.55 MiB) 15:04:16 [15:04:16.166] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 238.55 MiB) 15:04:16 [15:04:16.167] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 238.55 MiB) 15:04:16 [15:04:16.190] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 238.55 MiB) 15:04:16 Initialized BN254 CRS from memory with num points = 1 (mem: 238.55 MiB) 15:04:16 [15:04:16.191] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 238.55 MiB) 15:04:16 libra_evals_verified: 1 (mem: 238.55 MiB) 15:04:16 pairing_check_verified: 1 (mem: 238.55 MiB) 15:04:16 Mega verified: 1 (mem: 238.55 MiB) 15:04:16 [15:04:16.702] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 238.55 MiB) 15:04:16 batch opening verified?: 1 (mem: 238.55 MiB) 15:04:16 eccvm consistency check verified?: 1 (mem: 238.55 MiB) 15:04:16 translation masking consistency checked?: 1 (mem: 238.55 MiB) 15:04:16 [15:04:16.725] INFO: ivc-integration:test:native merge verified?: 1 (mem: 238.55 MiB) 15:04:16 eccvm verified?: 1 (mem: 238.55 MiB) 15:04:16 accumulator construction_verified?: 1 (mem: 238.55 MiB) 15:04:16 translation verified?: 1 (mem: 238.55 MiB) 15:04:16 consistency verified?: 1 (mem: 238.55 MiB) 15:04:16 [15:04:16.726] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 238.55 MiB) 15:04:16 verified: 1 (mem: 238.55 MiB) 15:04:16 PASS src/native_client_ivc_integration.test.ts (76.783 s) 15:04:16 Client IVC Integration 15:04:16 ✓ Should generate a verifiable client IVC proof from a simple mock tx (42586 ms) 15:04:16 ✓ Should generate a verifiable client IVC proof from a complex mock tx (30639 ms) 15:04:16 15:04:16 Test Suites: 1 passed, 1 total 15:04:16 Tests: 2 passed, 2 total 15:04:16 Snapshots: 0 total 15:04:16 Time: 76.88 s 15:04:16 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 15:04:16 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?