Parent Log: http://ci.aztec-labs.com/bae2f5d0b9ce7860 Command: 061ac9e48ee668e8: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/cf10794ebb7367fb6a26d1d402fd83c2aef3d888 Env: REF_NAME=gh-readonly-queue/next/pr-15193-372980b2f09de871ee7152879dcda8bdfe254b9d CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 20 20:05:06 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15193_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 20:05:10 [20:05:10.731] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-UjCh2F/ivc-inputs.msgpack 20:05:10 [20:05:10.738] INFO: ivc-integration:test:native bb - BB concurrency: undefined 20:05:10 [20:05:10.739] 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-UjCh2F --ivc_inputs_path /tmp/bb-client-ivc-integration-UjCh2F/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 20:05:10 [20:05:10.760] INFO: ivc-integration:test:native bb - bb command: prove (mem: 20:05:10 [20:05:10.761] INFO: ivc-integration:test:native bb - 182.29 MiB) 20:05:10 Scheme is: client_ivc, num threads: 128 (mem: 182.29 MiB) 20:05:10 --scheme: client_ivc (mem: 182.29 MiB) 20:05:10 --output_path: /tmp/bb-client-ivc-integration-UjCh2F (mem: 182.29 MiB) 20:05:10 --ivc_inputs_path: /tmp/bb-client-ivc-integration-UjCh2F/ivc-inputs.msgpack (mem: 182.29 MiB) 20:05:10 --verbose: true (mem: 182.29 MiB) 20:05:10 --write_vk: true (mem: 182.29 MiB) 20:05:10 [20:05:10.762] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 182.29 MiB) 20:05:10 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 182.29 MiB) 20:05:10 [20:05:10.825] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 182.29 MiB) 20:05:10 [20:05:10.828] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 182.29 MiB) 20:05:10 [20:05:10.829] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 182.29 MiB) 20:05:10 [20:05:10.833] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 182.29 MiB) 20:05:10 goblin ecc op : 4/1024 (mem: 182.29 MiB) 20:05:10 busread : 7/6000 (mem: 182.29 MiB) 20:05:10 lookups : 2/15000 (mem: 182.29 MiB) 20:05:10 [20:05:10.835] INFO: ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 182.29 MiB) 20:05:10 arithmetic : 1760/56000 (mem: 182.29 MiB) 20:05:10 delta range : 1754/18000 (mem: 182.29 MiB) 20:05:10 elliptic : 2/6000 (mem: 182.29 MiB) 20:05:10 auxiliary : 26/26000 (mem: 182.29 MiB) 20:05:10 poseidon ext : 2/17000 (mem: 182.29 MiB) 20:05:10 poseidon int : 2/92000 (mem: 182.29 MiB) 20:05:10 overflow : 0/0 (mem: 182.29 MiB) 20:05:10 (mem: 182.29 MiB) 20:05:10 Total structured size: 242025 (mem: 182.29 MiB) 20:05:10 allocating polynomials object in proving key... (mem: 182.29 MiB) 20:05:11 [20:05:11.006] INFO: ivc-integration:test:native bb - populating trace... (mem: 343.14 MiB) 20:05:11 [20:05:11.025] INFO: ivc-integration:test:native bb - time to construct proving key: 196 ms. (mem: 360.14 MiB) 20:05:11 [20:05:11.126] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55a80a137200 (mem: 360.14 MiB) 20:05:11 [20:05:11.127] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 360.14 MiB) 20:05:11 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 360.14 MiB) 20:05:11 [20:05:11.453] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 371.14 MiB) 20:05:11 [20:05:11.465] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 371.14 MiB) 20:05:11 [20:05:11.485] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 371.14 MiB) 20:05:11 Constructing DeciderProvingKey (mem: 371.14 MiB) 20:05:11 [20:05:11.487] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 371.14 MiB) 20:05:11 goblin ecc op : 56/1024 (mem: 371.14 MiB) 20:05:11 busread : 12/6000 (mem: 371.14 MiB) 20:05:11 lookups : 2/15000 (mem: 371.14 MiB) 20:05:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 371.14 MiB) 20:05:11 arithmetic : 4677/56000 (mem: 371.14 MiB) 20:05:11 delta range : 2073/18000 (mem: 371.14 MiB) 20:05:11 elliptic : 2/6000 (mem: 371.14 MiB) 20:05:11 auxiliary : 110/26000 (mem: 371.14 MiB) 20:05:11 poseidon ext : 1322/17000 20:05:11 [20:05:11.490] INFO: ivc-integration:test:native bb - (mem: 371.14 MiB) 20:05:11 poseidon int : 7526/92000 (mem: 371.14 MiB) 20:05:11 overflow : 0/0 (mem: 371.14 MiB) 20:05:11 (mem: 371.14 MiB) 20:05:11 Total structured size: 242025 (mem: 371.14 MiB) 20:05:11 allocating polynomials object in proving key... (mem: 371.14 MiB) 20:05:11 [20:05:11.690] INFO: ivc-integration:test:native bb - populating trace... (mem: 564.14 MiB) 20:05:11 [20:05:11.718] INFO: ivc-integration:test:native bb - time to construct proving key: 232 ms. (mem: 586.14 MiB) 20:05:11 [20:05:11.878] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55a80a143e40 (mem: 586.14 MiB) 20:05:11 computing folding proof (mem: 586.14 MiB) 20:05:11 vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 586.14 MiB) 20:05:12 [20:05:12.207] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 587.14 MiB) 20:05:12 [20:05:12.312] INFO: ivc-integration:test:native bb - perturbator round (mem: 625.14 MiB) 20:05:12 [20:05:12.362] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 658.14 MiB) 20:05:12 [20:05:12.881] INFO: ivc-integration:test:native bb - folded (mem: 658.14 MiB) 20:05:12 [20:05:12.882] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 658.14 MiB) 20:05:12 [20:05:12.894] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 658.14 MiB) 20:05:12 [20:05:12.959] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 658.14 MiB) 20:05:12 Constructing DeciderProvingKey (mem: 658.14 MiB) 20:05:12 [20:05:12.964] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 658.14 MiB) 20:05:12 [20:05:12.968] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 658.14 MiB) 20:05:12 busread : 3/6000 (mem: 658.14 MiB) 20:05:12 lookups : 2/15000 (mem: 658.14 MiB) 20:05:12 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 658.14 MiB) 20:05:12 arithmetic : 6913/56000 (mem: 658.14 MiB) 20:05:12 delta range : 2353/18000 (mem: 658.14 MiB) 20:05:12 elliptic : 2/6000 (mem: 658.14 MiB) 20:05:12 auxiliary : 50/26000 (mem: 658.14 MiB) 20:05:12 poseidon ext : 2492/17000 (mem: 658.14 MiB) 20:05:12 poseidon int : 14195/92000 (mem: 658.14 MiB) 20:05:12 overflow : 0/0 (mem: 658.14 MiB) 20:05:12 (mem: 658.14 MiB) 20:05:12 Total structured size: 242025 (mem: 658.14 MiB) 20:05:12 allocating polynomials object in proving key... (mem: 658.14 MiB) 20:05:13 [20:05:13.175] INFO: ivc-integration:test:native bb - populating trace... (mem: 658.14 MiB) 20:05:13 [20:05:13.203] INFO: ivc-integration:test:native bb - time to construct proving key: 242 ms. (mem: 658.14 MiB) 20:05:13 [20:05:13.508] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55a80a1395c0 (mem: 658.14 MiB) 20:05:13 computing folding proof (mem: 658.14 MiB) 20:05:13 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 658.14 MiB) 20:05:13 [20:05:13.951] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 658.14 MiB) 20:05:14 [20:05:14.040] INFO: ivc-integration:test:native bb - perturbator round (mem: 658.14 MiB) 20:05:14 [20:05:14.123] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 667.00 MiB) 20:05:14 [20:05:14.580] INFO: ivc-integration:test:native bb - folded (mem: 667.00 MiB) 20:05:14 constructed folding proof (mem: 667.00 MiB) 20:05:14 Largest circuit: 26010 gates. Trace details: (mem: 667.00 MiB) 20:05:14 Minimum required block sizes for structured trace: (mem: 667.00 MiB) 20:05:14 (mem: 667.00 MiB) 20:05:14 prove decider... (mem: 667.00 MiB) 20:05:14 [20:05:14.581] INFO: ivc-integration:test:native bb - ecc_op : 392 20:05:14 busread : 12 20:05:14 lookup : 2 20:05:14 pub_inputs : 36 20:05:14 arithmetic : 6913 20:05:14 delta_range : 2353 20:05:14 elliptic : 2 20:05:14 aux : 110 20:05:14 poseidon2_external : 2492 20:05:14 poseidon2_internal : 14195 20:05:14 overflow : 0 20:05:14 [20:05:14.879] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 667.00 MiB) 20:05:15 [20:05:15.029] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 667.00 MiB) 20:05:16 [20:05:16.706] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 667.00 MiB) 20:05:16 [20:05:16.829] INFO: ivc-integration:test:native bb - computed opening proof (mem: 667.00 MiB) 20:05:16 finished decider proving. (mem: 667.00 MiB) 20:05:16 [20:05:16.845] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e 20:05:16 [20:05:16.848] INFO: ivc-integration:test:native bb - (mem: 667.00 MiB) 20:05:16 [20:05:16.947] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 20:05:16 [20:05:16.948] INFO: ivc-integration:test:native bb - (mem: 667.00 MiB) 20:05:16 [20:05:16.955] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 667.00 MiB) 20:05:17 [20:05:17.218] INFO: ivc-integration:test:native bb - populating trace... 20:05:17 [20:05:17.219] INFO: ivc-integration:test:native bb - (mem: 667.00 MiB) 20:05:17 [20:05:17.291] INFO: ivc-integration:test:native bb - time to construct proving key: 344 ms. (mem: 667.00 MiB) 20:05:18 [20:05:18.757] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 667.00 MiB) 20:05:19 [20:05:19.481] INFO: ivc-integration:test:native bb - created oink proof (mem: 667.00 MiB) 20:05:19 [20:05:19.753] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 667.00 MiB) 20:05:21 [20:05:21.290] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 20:05:21 [20:05:21.291] INFO: ivc-integration:test:native bb - (mem: 20:05:21 [20:05:21.293] INFO: ivc-integration:test:native bb - 667.00 MiB) 20:05:22 [20:05:22.683] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 667.00 MiB) 20:05:22 [20:05:22.780] INFO: ivc-integration:test:native bb - computed opening proof (mem: 667.00 MiB) 20:05:22 [20:05:22.780] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 667.00 MiB) 20:05:22 Constructing a Goblin proof with num ultra ops = 1038 (mem: 667.00 MiB) 20:05:23 [20:05:23.227] INFO: ivc-integration:test:native bb - prove eccvm... 20:05:23 [20:05:23.231] INFO: ivc-integration:test:native bb - (mem: 667.00 MiB) 20:05:23 [20:05:23.811] 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: 667.00 MiB) 20:05:23 [20:05:23.834] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 20:05:23 [20:05:23.835] INFO: ivc-integration:test:native bb - (mem: 667.00 MiB) 20:05:26 [20:05:26.443] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 20:05:26 [20:05:26.445] INFO: ivc-integration:test:native bb - (mem: 20:05:26 [20:05:26.445] INFO: ivc-integration:test:native bb - 667.00 20:05:26 [20:05:26.446] INFO: ivc-integration:test:native bb - MiB) 20:05:29 [20:05:29.368] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 668.30 MiB) 20:05:33 [20:05:33.698] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 668.30 MiB) 20:05:33 prove translator... (mem: 668.30 MiB) 20:05:36 [20:05:36.547] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 705.30 MiB) 20:05:39 [20:05:39.942] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 706.30 MiB) 20:05:43 [20:05:43.261] INFO: ivc-integration:test:native bb - computed opening proof (mem: 706.30 MiB) 20:05:43 finished translator proving. (mem: 706.30 MiB) 20:05:43 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 706.30 MiB) 20:05:43 [20:05:43.293] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 707.30 MiB) 20:05:43 libra_evals_verified: 1 (mem: 707.30 MiB) 20:05:43 pairing_check_verified: 1 (mem: 707.30 MiB) 20:05:43 Mega verified: 1 (mem: 707.30 MiB) 20:05:43 [20:05:43.561] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 707.30 MiB) 20:05:43 batch opening verified?: 1 (mem: 707.30 MiB) 20:05:43 eccvm consistency check verified?: 1 (mem: 707.30 MiB) 20:05:43 translation masking consistency checked?: 1 (mem: 707.30 MiB) 20:05:43 [20:05:43.582] INFO: ivc-integration:test:native bb - merge verified?: 1 20:05:43 [20:05:43.584] INFO: ivc-integration:test:native bb - (mem: 707.30 MiB) 20:05:43 eccvm verified?: 1 (mem: 707.30 MiB) 20:05:43 accumulator construction_verified?: 1 (mem: 707.30 MiB) 20:05:43 translation verified?: 1 (mem: 707.30 MiB) 20:05:43 consistency verified?: 1 (mem: 707.30 MiB) 20:05:43 Goblin verified: 1 (mem: 707.30 MiB) 20:05:43 [20:05:43.585] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-UjCh2F" (mem: 707.30 MiB) 20:05:43 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-UjCh2F" (mem: 707.30 MiB) 20:05:43 BN254 commitment key size: 262144 (mem: 707.30 MiB) 20:05:43 [20:05:43.591] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 707.30 MiB) 20:05:43 [20:05:43.593] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.30 MiB) 20:05:43 goblin ecc op : 4/1024 (mem: 707.30 MiB) 20:05:43 busread : 3/6000 (mem: 707.30 MiB) 20:05:43 lookups : 2/15000 (mem: 707.30 MiB) 20:05:43 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 707.30 MiB) 20:05:43 arithmetic : 1773/56000 (mem: 707.30 MiB) 20:05:43 delta range : 1754/18000 (mem: 707.30 MiB) 20:05:43 elliptic : 2/6000 (mem: 707.30 MiB) 20:05:43 auxiliary : 26/26000 (mem: 707.30 MiB) 20:05:43 poseidon ext : 2/17000 (mem: 707.30 MiB) 20:05:43 poseidon int : 2/92000 (mem: 707.30 MiB) 20:05:43 overflow : 0/0 (mem: 707.30 MiB) 20:05:43 (mem: 707.30 MiB) 20:05:43 Total structured size: 242025 (mem: 707.30 MiB) 20:05:43 allocating polynomials object in proving key... (mem: 707.30 MiB) 20:05:43 [20:05:43.791] INFO: ivc-integration:test:native bb - populating trace... (mem: 707.30 MiB) 20:05:43 [20:05:43.815] INFO: ivc-integration:test:native bb - time to construct proving key: 226 ms. (mem: 707.30 MiB) 20:05:43 [20:05:43.963] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 707.30 MiB) 20:05:44 [20:05:44.520] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 708.30 MiB) 20:05:44 [20:05:44.521] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 708.30 MiB) 20:05:45 [20:05:45.247] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 709.30 MiB) 20:05:45 [20:05:45.253] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 709.30 MiB) 20:05:45 [20:05:45.273] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 709.30 MiB) 20:05:45 [20:05:45.277] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 709.30 MiB) 20:05:45 goblin ecc op : 56/1024 (mem: 709.30 MiB) 20:05:45 busread : 3/6000 (mem: 709.30 MiB) 20:05:45 lookups : 2/15000 (mem: 709.30 MiB) 20:05:45 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 709.30 MiB) 20:05:45 arithmetic : 4533/56000 (mem: 709.30 MiB) 20:05:45 delta range : 2060/18000 (mem: 709.30 MiB) 20:05:45 elliptic : 2/6000 (mem: 709.30 MiB) 20:05:45 auxiliary : 50/26000 (mem: 709.30 MiB) 20:05:45 poseidon ext : 1332/17000 (mem: 709.30 MiB) 20:05:45 poseidon int : 7583/92000 (mem: 709.30 MiB) 20:05:45 overflow : 0/0 (mem: 709.30 MiB) 20:05:45 (mem: 709.30 MiB) 20:05:45 Total structured size: 242025 (mem: 709.30 MiB) 20:05:45 allocating polynomials object in proving key... (mem: 709.30 MiB) 20:05:45 [20:05:45.501] INFO: ivc-integration:test:native bb - populating trace... (mem: 709.30 MiB) 20:05:45 [20:05:45.568] INFO: ivc-integration:test:native bb - time to construct proving key: 296 ms. (mem: 709.30 MiB) 20:05:45 [20:05:45.723] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 709.30 MiB) 20:05:46 [20:05:46.384] INFO: ivc-integration:test:native bb - computing folding proof 20:05:46 [20:05:46.386] INFO: ivc-integration:test:native bb - (mem: 710.30 MiB) 20:05:46 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 710.30 MiB) 20:05:46 [20:05:46.973] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.30 MiB) 20:05:47 [20:05:47.145] INFO: ivc-integration:test:native bb - perturbator round (mem: 710.30 MiB) 20:05:47 [20:05:47.281] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 742.30 MiB) 20:05:47 [20:05:47.950] INFO: ivc-integration:test:native bb - folded (mem: 742.30 MiB) 20:05:47 constructed folding proof (mem: 742.30 MiB) 20:05:47 Largest circuit: 15565 gates. Trace details: (mem: 742.30 MiB) 20:05:47 Minimum required block sizes for structured trace: (mem: 742.30 MiB) 20:05:47 (mem: 742.30 MiB) 20:05:47 prove decider... (mem: 742.30 MiB) 20:05:47 [20:05:47.951] INFO: ivc-integration:test:native bb - ecc_op : 56 20:05:47 busread : 3 20:05:47 lookup : 2 20:05:47 pub_inputs : 36 20:05:47 arithmetic : 4533 20:05:47 delta_range : 2060 20:05:47 elliptic : 2 20:05:47 aux : 50 20:05:47 poseidon2_external : 1332 20:05:47 poseidon2_internal : 7583 20:05:47 overflow : 0 20:05:48 [20:05:48.141] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 742.30 MiB) 20:05:48 [20:05:48.468] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 742.30 MiB) 20:05:49 [20:05:49.590] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 742.30 MiB) 20:05:49 [20:05:49.746] INFO: ivc-integration:test:native bb - computed opening proof (mem: 742.30 MiB) 20:05:49 finished decider proving. (mem: 742.30 MiB) 20:05:49 [20:05:49.763] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 742.30 MiB) 20:05:49 [20:05:49.856] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 742.30 MiB) 20:05:49 [20:05:49.864] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 742.30 MiB) 20:05:50 [20:05:50.016] INFO: ivc-integration:test:native bb - populating trace... (mem: 742.30 MiB) 20:05:50 [20:05:50.067] INFO: ivc-integration:test:native bb - time to construct proving key: 210 ms. (mem: 742.30 MiB) 20:05:51 [20:05:51.063] INFO: ivc-integration:test:native BB concurrency: 1 20:05:51 [20:05:51.064] 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-UjCh2F/proof -k /tmp/bb-client-ivc-integration-UjCh2F/vk -v 20:05:51 [20:05:51.095] INFO: ivc-integration:test:native bb command: verify (mem: 20:05:51 [20:05:51.096] INFO: ivc-integration:test:native 182.29 MiB) 20:05:51 Scheme is: client_ivc, num threads: 1 (mem: 182.29 MiB) 20:05:51 --proof_path: /tmp/bb-client-ivc-integration-UjCh2F/proof (mem: 182.29 MiB) 20:05:51 --vk_path: /tmp/bb-client-ivc-integration-UjCh2F/vk (mem: 182.29 MiB) 20:05:51 --verbose: true (mem: 182.29 MiB) 20:05:51 --scheme: client_ivc (mem: 182.29 MiB) 20:05:51 [20:05:51.096] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 182.29 MiB) 20:05:51 [20:05:51.118] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 182.29 MiB) 20:05:51 [20:05:51.119] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 182.29 MiB) 20:05:51 [20:05:51.147] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 182.29 MiB) 20:05:51 Initialized BN254 CRS from memory with num points = 1 (mem: 182.29 MiB) 20:05:51 [20:05:51.148] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 182.29 MiB) 20:05:51 libra_evals_verified: 1 (mem: 182.29 MiB) 20:05:51 pairing_check_verified: 1 (mem: 182.29 MiB) 20:05:51 Mega verified: 1 (mem: 182.29 MiB) 20:05:51 [20:05:51.863] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 20:05:51 [20:05:51.864] INFO: ivc-integration:test:native 182.29 MiB) 20:05:51 batch opening verified?: 1 (mem: 182.29 MiB) 20:05:51 eccvm consistency check verified?: 1 (mem: 182.29 MiB) 20:05:51 translation masking consistency checked?: 1 (mem: 182.29 MiB) 20:05:51 [20:05:51.885] INFO: ivc-integration:test:native merge verified?: 1 (mem: 182.29 MiB) 20:05:51 eccvm verified?: 1 (mem: 182.29 MiB) 20:05:51 accumulator construction_verified?: 1 (mem: 182.29 MiB) 20:05:51 translation verified?: 1 (mem: 182.29 MiB) 20:05:51 consistency verified?: 1 (mem: 182.29 MiB) 20:05:51 Goblin verified: 1 (mem: 182.29 MiB) 20:05:51 verified: 1 (mem: 182.29 MiB) 20:05:51 [20:05:51.977] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-iDLDGp/ivc-inputs.msgpack 20:05:51 [20:05:51.978] INFO: ivc-integration:test:native bb - BB concurrency: undefined 20:05:51 [20:05:51.979] 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-iDLDGp --ivc_inputs_path /tmp/bb-client-ivc-integration-iDLDGp/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 20:05:52 [20:05:52.021] INFO: ivc-integration:test:native bb - bb command: prove (mem: 182.65 MiB) 20:05:52 Scheme is: client_ivc, num threads: 128 (mem: 182.65 MiB) 20:05:52 --scheme: client_ivc (mem: 182.65 MiB) 20:05:52 --output_path: /tmp/bb-client-ivc-integration-iDLDGp (mem: 182.65 MiB) 20:05:52 --ivc_inputs_path: /tmp/bb-client-ivc-integration-iDLDGp/ivc-inputs.msgpack (mem: 182.65 MiB) 20:05:52 --verbose: true (mem: 182.65 MiB) 20:05:52 --write_vk: true (mem: 182.65 MiB) 20:05:52 [20:05:52.028] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 182.65 MiB) 20:05:52 [20:05:52.028] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 182.65 MiB) 20:05:52 [20:05:52.134] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 182.65 MiB) 20:05:52 [20:05:52.138] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 182.65 MiB) 20:05:52 Constructing DeciderProvingKey (mem: 182.65 MiB) 20:05:52 [20:05:52.143] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 182.65 MiB) 20:05:52 goblin ecc op : 4/1024 (mem: 182.65 MiB) 20:05:52 [20:05:52.144] INFO: ivc-integration:test:native bb - busread : 7/6000 (mem: 182.65 MiB) 20:05:52 lookups : 2/15000 (mem: 182.65 MiB) 20:05:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 182.65 MiB) 20:05:52 arithmetic : 1760/56000 (mem: 182.65 MiB) 20:05:52 delta range : 1754/18000 (mem: 182.65 MiB) 20:05:52 elliptic : 2/6000 (mem: 182.65 MiB) 20:05:52 auxiliary : 26/26000 (mem: 182.65 MiB) 20:05:52 poseidon ext : 2/17000 (mem: 182.65 MiB) 20:05:52 poseidon int : 2/92000 (mem: 182.65 MiB) 20:05:52 overflow : 0/0 (mem: 182.65 MiB) 20:05:52 (mem: 182.65 MiB) 20:05:52 Total structured size: 242025 (mem: 182.65 MiB) 20:05:52 allocating polynomials object in proving key... (mem: 182.65 MiB) 20:05:52 [20:05:52.515] INFO: ivc-integration:test:native bb - populating trace... (mem: 350.00 MiB) 20:05:52 [20:05:52.533] INFO: ivc-integration:test:native bb - time to construct proving key: 390 ms. (mem: 357.00 MiB) 20:05:52 [20:05:52.764] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5beaa1ed1f80 (mem: 20:05:52 [20:05:52.764] INFO: ivc-integration:test:native bb - 357.00 MiB) 20:05:52 computing oink proof... (mem: 357.00 MiB) 20:05:52 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 357.00 MiB) 20:05:53 [20:05:53.003] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 366.00 MiB) 20:05:53 [20:05:53.008] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 366.00 MiB) 20:05:53 [20:05:53.025] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 366.00 MiB) 20:05:53 Constructing DeciderProvingKey (mem: 366.00 MiB) 20:05:53 [20:05:53.029] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 366.00 MiB) 20:05:53 goblin ecc op : 56/1024 (mem: 366.00 MiB) 20:05:53 busread : 12/6000 (mem: 366.00 20:05:53 [20:05:53.033] INFO: ivc-integration:test:native bb - MiB) 20:05:53 lookups : 2/15000 (mem: 366.00 MiB) 20:05:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 366.00 MiB) 20:05:53 arithmetic : 4677/56000 (mem: 366.00 MiB) 20:05:53 delta range : 2073/18000 (mem: 366.00 MiB) 20:05:53 elliptic : 2/6000 (mem: 366.00 MiB) 20:05:53 auxiliary : 110/26000 (mem: 366.00 MiB) 20:05:53 poseidon ext : 1322/17000 (mem: 366.00 MiB) 20:05:53 poseidon int : 7526/92000 (mem: 366.00 MiB) 20:05:53 overflow : 0/0 (mem: 366.00 MiB) 20:05:53 (mem: 366.00 MiB) 20:05:53 Total structured size: 242025 (mem: 366.00 MiB) 20:05:53 allocating polynomials object in proving key... (mem: 366.00 MiB) 20:05:53 [20:05:53.299] INFO: ivc-integration:test:native bb - populating trace... (mem: 575.00 MiB) 20:05:53 [20:05:53.333] INFO: ivc-integration:test:native bb - time to construct proving key: 306 ms. (mem: 590.00 MiB) 20:05:53 [20:05:53.515] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5beaa1edb240 (mem: 590.00 MiB) 20:05:53 computing folding proof (mem: 590.00 MiB) 20:05:53 vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 590.00 MiB) 20:05:54 [20:05:54.012] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 593.00 MiB) 20:05:54 [20:05:54.097] INFO: ivc-integration:test:native bb - perturbator round (mem: 631.00 MiB) 20:05:54 [20:05:54.159] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 663.00 MiB) 20:05:54 [20:05:54.549] INFO: ivc-integration:test:native bb - folded (mem: 663.00 MiB) 20:05:54 constructed folding proof (mem: 663.00 MiB) 20:05:54 [20:05:54.554] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 663.00 MiB) 20:05:54 Constructing DeciderProvingKey (mem: 663.00 MiB) 20:05:54 [20:05:54.555] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 20:05:54 [20:05:54.556] INFO: ivc-integration:test:native bb - (mem: 20:05:54 [20:05:54.560] INFO: ivc-integration:test:native bb - 663.00 20:05:54 [20:05:54.560] INFO: ivc-integration:test:native bb - MiB) 20:05:54 [20:05:54.562] INFO: ivc-integration:test:native bb - 20:05:54 goblin ecc op : 4/1024 (mem: 663.00 MiB) 20:05:54 busread : 7/6000 (mem: 663.00 MiB) 20:05:54 lookups : 2/15000 (mem: 663.00 MiB) 20:05:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 663.00 MiB) 20:05:54 arithmetic : 1760/56000 (mem: 663.00 MiB) 20:05:54 delta range : 1754/18000 (mem: 663.00 MiB) 20:05:54 elliptic : 2/6000 (mem: 663.00 MiB) 20:05:54 auxiliary : 26/26000 (mem: 663.00 MiB) 20:05:54 poseidon ext : 2/17000 (mem: 663.00 MiB) 20:05:54 poseidon int : 2/92000 (mem: 663.00 MiB) 20:05:54 overflow : 0/0 (mem: 663.00 MiB) 20:05:54 (mem: 663.00 MiB) 20:05:54 Total structured size: 242025 (mem: 663.00 MiB) 20:05:54 allocating polynomials object in proving key... (mem: 663.00 MiB) 20:05:54 [20:05:54.730] INFO: ivc-integration:test:native bb - populating trace... (mem: 663.00 MiB) 20:05:54 [20:05:54.757] INFO: ivc-integration:test:native bb - time to construct proving key: 205 ms. (mem: 663.00 MiB) 20:05:54 [20:05:54.884] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5beaa1ecd7c0 (mem: 663.00 MiB) 20:05:54 computing folding proof (mem: 663.00 MiB) 20:05:54 [20:05:54.886] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 663.00 MiB) 20:05:55 [20:05:55.030] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 663.00 MiB) 20:05:55 [20:05:55.181] INFO: ivc-integration:test:native bb - perturbator round (mem: 663.00 MiB) 20:05:55 [20:05:55.224] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 663.00 MiB) 20:05:55 [20:05:55.452] INFO: ivc-integration:test:native bb - folded (mem: 663.00 MiB) 20:05:55 constructed folding proof (mem: 663.00 MiB) 20:05:55 [20:05:55.463] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 663.00 MiB) 20:05:55 [20:05:55.548] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 663.00 MiB) 20:05:55 [20:05:55.603] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 663.00 MiB) 20:05:55 Constructing DeciderProvingKey (mem: 663.00 MiB) 20:05:55 [20:05:55.608] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 663.00 MiB) 20:05:55 goblin ecc op : 792/1024 (mem: 663.00 MiB) 20:05:55 busread : 12/6000 (mem: 663.00 MiB) 20:05:55 lookups : 2/15000 (mem: 663.00 MiB) 20:05:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 663.00 MiB) 20:05:55 arithmetic : 12208/56000 (mem: 663.00 MiB) 20:05:55 delta range : 2981/18000 (mem: 663.00 MiB) 20:05:55 elliptic : 2/6000 (mem: 663.00 MiB) 20:05:55 auxiliary : 350/26000 (mem: 663.00 MiB) 20:05:55 poseidon ext : 4982/17000 (mem: 663.00 MiB) 20:05:55 poseidon int : 28388/92000 (mem: 663.00 MiB) 20:05:55 overflow : 0/0 (mem: 663.00 MiB) 20:05:55 (mem: 663.00 MiB) 20:05:55 [20:05:55.609] INFO: ivc-integration:test:native bb - Total structured size: 242025 (mem: 663.00 MiB) 20:05:55 allocating polynomials object in proving key... (mem: 663.00 MiB) 20:05:55 [20:05:55.669] INFO: ivc-integration:test:native bb - populating trace... (mem: 663.00 MiB) 20:05:55 [20:05:55.699] INFO: ivc-integration:test:native bb - time to construct proving key: 96 ms. (mem: 663.00 MiB) 20:05:55 [20:05:55.798] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5beaa1f4f100 (mem: 663.00 MiB) 20:05:55 computing folding proof (mem: 663.00 MiB) 20:05:55 [20:05:55.799] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 663.00 MiB) 20:05:56 [20:05:56.155] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 663.00 MiB) 20:05:56 [20:05:56.233] INFO: ivc-integration:test:native bb - perturbator round (mem: 678.23 MiB) 20:05:56 [20:05:56.278] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 710.23 MiB) 20:05:56 [20:05:56.368] INFO: ivc-integration:test:native bb - folded (mem: 710.23 MiB) 20:05:56 constructed folding proof (mem: 710.23 MiB) 20:05:56 [20:05:56.384] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 710.23 MiB) 20:05:56 [20:05:56.436] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 710.23 MiB) 20:05:56 Constructing DeciderProvingKey (mem: 710.23 MiB) 20:05:56 [20:05:56.440] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 710.23 MiB) 20:05:56 [20:05:56.441] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 710.23 MiB) 20:05:56 busread : 16/6000 (mem: 710.23 MiB) 20:05:56 lookups : 2/15000 (mem: 710.23 MiB) 20:05:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 710.23 MiB) 20:05:56 arithmetic : 6978/56000 (mem: 710.23 MiB) 20:05:56 delta range : 2367/18000 (mem: 710.23 MiB) 20:05:56 elliptic : 2/6000 (mem: 710.23 MiB) 20:05:56 auxiliary : 77/26000 (mem: 710.23 MiB) 20:05:56 poseidon ext : 2492/17000 (mem: 710.23 MiB) 20:05:56 poseidon int : 14195/92000 (mem: 710.23 MiB) 20:05:56 overflow : 0/0 (mem: 710.23 MiB) 20:05:56 (mem: 710.23 MiB) 20:05:56 Total structured size: 242025 (mem: 710.23 MiB) 20:05:56 allocating polynomials object in proving key... (mem: 710.23 MiB) 20:05:56 [20:05:56.495] INFO: ivc-integration:test:native bb - populating trace... (mem: 710.23 MiB) 20:05:56 [20:05:56.515] INFO: ivc-integration:test:native bb - time to construct proving key: 78 ms. (mem: 710.23 MiB) 20:05:56 [20:05:56.654] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5beaa1ec1bc0 (mem: 710.23 MiB) 20:05:56 computing folding proof (mem: 710.23 MiB) 20:05:56 [20:05:56.656] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 710.23 MiB) 20:05:56 [20:05:56.940] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.23 MiB) 20:05:57 [20:05:57.039] INFO: ivc-integration:test:native bb - perturbator round (mem: 710.23 MiB) 20:05:57 [20:05:57.105] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 710.23 MiB) 20:05:57 [20:05:57.331] INFO: ivc-integration:test:native bb - folded (mem: 710.23 MiB) 20:05:57 [20:05:57.331] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 710.23 MiB) 20:05:57 [20:05:57.340] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 710.23 MiB) 20:05:57 [20:05:57.407] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 710.23 MiB) 20:05:57 Constructing DeciderProvingKey (mem: 710.23 MiB) 20:05:57 [20:05:57.410] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 20:05:57 [20:05:57.410] INFO: ivc-integration:test:native bb - (mem: 20:05:57 [20:05:57.411] INFO: ivc-integration:test:native bb - 710.23 MiB) 20:05:57 goblin ecc op : 392/1024 (mem: 710.23 MiB) 20:05:57 busread : 3/6000 (mem: 710.23 MiB) 20:05:57 lookups : 2/15000 (mem: 710.23 MiB) 20:05:57 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 710.23 MiB) 20:05:57 arithmetic : 6913/56000 (mem: 710.23 MiB) 20:05:57 delta range : 2353/18000 (mem: 710.23 MiB) 20:05:57 elliptic : 2/6000 (mem: 710.23 MiB) 20:05:57 auxiliary : 50/26000 (mem: 710.23 MiB) 20:05:57 poseidon ext : 2492/17000 (mem: 710.23 MiB) 20:05:57 poseidon int : 14195/92000 (mem: 710.23 MiB) 20:05:57 overflow : 0/0 (mem: 710.23 MiB) 20:05:57 [20:05:57.412] INFO: ivc-integration:test:native bb - (mem: 710.23 MiB) 20:05:57 Total structured size: 242025 (mem: 710.23 MiB) 20:05:57 allocating polynomials object in proving key... (mem: 710.23 MiB) 20:05:57 [20:05:57.514] INFO: ivc-integration:test:native bb - populating trace... (mem: 710.23 MiB) 20:05:57 [20:05:57.538] INFO: ivc-integration:test:native bb - time to construct proving key: 132 ms. (mem: 710.23 MiB) 20:05:57 [20:05:57.767] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5beaa1ed9440 (mem: 710.23 MiB) 20:05:57 computing folding proof (mem: 710.23 MiB) 20:05:57 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 710.23 MiB) 20:05:58 [20:05:58.164] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 20:05:58 [20:05:58.165] INFO: ivc-integration:test:native bb - (mem: 20:05:58 [20:05:58.166] INFO: ivc-integration:test:native bb - 710.23 MiB) 20:05:58 [20:05:58.240] INFO: ivc-integration:test:native bb - perturbator round (mem: 710.23 MiB) 20:05:58 [20:05:58.291] INFO: ivc-integration:test:native bb - combiner quotient round 20:05:58 [20:05:58.292] INFO: ivc-integration:test:native bb - (mem: 711.95 MiB) 20:05:58 [20:05:58.461] INFO: ivc-integration:test:native bb - folded (mem: 711.95 MiB) 20:05:58 constructed folding proof (mem: 711.95 MiB) 20:05:58 [20:05:58.461] INFO: ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 711.95 MiB) 20:05:58 Minimum required block sizes for structured trace: (mem: 711.95 MiB) 20:05:58 (mem: 711.95 MiB) 20:05:58 prove decider... (mem: 711.95 MiB) 20:05:58 [20:05:58.462] INFO: ivc-integration:test:native bb - ecc_op : 792 20:05:58 busread : 16 20:05:58 lookup : 2 20:05:58 pub_inputs : 36 20:05:58 arithmetic : 12208 20:05:58 delta_range : 2981 20:05:58 elliptic : 2 20:05:58 aux : 350 20:05:58 poseidon2_external : 4982 20:05:58 poseidon2_internal : 28388 20:05:58 overflow : 0 20:05:58 [20:05:58.551] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.95 MiB) 20:05:58 [20:05:58.628] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 711.95 MiB) 20:05:59 [20:05:59.267] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 20:05:59 [20:05:59.270] INFO: ivc-integration:test:native bb - (mem: 711.95 MiB) 20:05:59 [20:05:59.386] INFO: ivc-integration:test:native bb - computed opening proof 20:05:59 [20:05:59.389] INFO: ivc-integration:test:native bb - (mem: 711.95 MiB) 20:05:59 finished decider proving. (mem: 711.95 MiB) 20:05:59 [20:05:59.405] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e 20:05:59 [20:05:59.410] INFO: ivc-integration:test:native bb - (mem: 711.95 MiB) 20:05:59 [20:05:59.505] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 711.95 MiB) 20:05:59 [20:05:59.511] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 711.95 MiB) 20:05:59 [20:05:59.621] INFO: ivc-integration:test:native bb - populating trace... (mem: 711.95 MiB) 20:05:59 [20:05:59.660] INFO: ivc-integration:test:native bb - time to construct proving key: 155 ms. (mem: 711.95 MiB) 20:06:00 [20:06:00.437] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 711.95 MiB) 20:06:00 [20:06:00.697] INFO: ivc-integration:test:native bb - created oink proof (mem: 711.95 MiB) 20:06:00 [20:06:00.835] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.95 MiB) 20:06:01 [20:06:01.273] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 711.95 MiB) 20:06:01 [20:06:01.742] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 711.95 MiB) 20:06:01 [20:06:01.801] INFO: ivc-integration:test:native bb - computed opening proof (mem: 711.95 MiB) 20:06:01 finished decider proving. (mem: 711.95 MiB) 20:06:01 Constructing a Goblin proof with num ultra ops = 2226 (mem: 711.95 MiB) 20:06:01 [20:06:01.885] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 711.95 MiB) 20:06:02 [20:06:02.196] 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: 711.95 MiB) 20:06:02 [20:06:02.207] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 711.95 MiB) 20:06:03 [20:06:03.065] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.95 MiB) 20:06:04 [20:06:04.090] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 711.95 MiB) 20:06:10 [20:06:10.117] INFO: ivc-integration:test:native bb - finished eccvm proving. 20:06:10 [20:06:10.118] INFO: ivc-integration:test:native bb - (mem: 20:06:10 [20:06:10.119] INFO: ivc-integration:test:native bb - 711.95 20:06:10 [20:06:10.121] INFO: ivc-integration:test:native bb - MiB) 20:06:10 prove translator... (mem: 711.95 MiB) 20:06:13 [20:06:13.030] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 726.75 MiB) 20:06:15 [20:06:15.928] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 727.75 MiB) 20:06:17 [20:06:17.639] INFO: ivc-integration:test:native bb - computed opening proof (mem: 727.75 MiB) 20:06:17 [20:06:17.640] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 727.75 MiB) 20:06:17 [20:06:17.640] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 727.75 MiB) 20:06:17 [20:06:17.658] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 727.75 MiB) 20:06:17 libra_evals_verified: 1 (mem: 727.75 MiB) 20:06:17 pairing_check_verified: 1 (mem: 727.75 MiB) 20:06:17 [20:06:17.659] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 727.75 MiB) 20:06:17 [20:06:17.909] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 727.75 MiB) 20:06:17 batch opening verified?: 1 (mem: 727.75 MiB) 20:06:17 eccvm consistency check verified?: 1 (mem: 727.75 MiB) 20:06:17 translation masking consistency checked?: 1 (mem: 727.75 MiB) 20:06:17 [20:06:17.943] INFO: ivc-integration:test:native bb - merge verified?: 1 20:06:17 [20:06:17.944] INFO: ivc-integration:test:native bb - (mem: 727.75 MiB) 20:06:17 eccvm verified?: 1 (mem: 727.75 MiB) 20:06:17 accumulator construction_verified?: 1 (mem: 727.75 MiB) 20:06:17 translation verified?: 1 (mem: 727.75 MiB) 20:06:17 consistency verified?: 1 (mem: 727.75 MiB) 20:06:17 Goblin verified: 1 (mem: 727.75 MiB) 20:06:17 [20:06:17.944] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-iDLDGp" (mem: 727.75 MiB) 20:06:17 [20:06:17.947] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-iDLDGp" (mem: 727.75 MiB) 20:06:17 [20:06:17.947] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 727.75 MiB) 20:06:17 [20:06:17.951] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 727.75 MiB) 20:06:17 [20:06:17.955] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 20:06:17 [20:06:17.956] INFO: ivc-integration:test:native bb - (mem: 727.75 MiB) 20:06:17 goblin ecc op : 4/1024 (mem: 727.75 MiB) 20:06:17 busread : 3/6000 (mem: 727.75 MiB) 20:06:17 lookups : 2/15000 (mem: 727.75 MiB) 20:06:17 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 727.75 MiB) 20:06:17 arithmetic : 1773/56000 (mem: 727.75 MiB) 20:06:17 delta range : 1754/18000 (mem: 727.75 MiB) 20:06:17 elliptic : 2/6000 (mem: 727.75 MiB) 20:06:17 auxiliary : 26/26000 (mem: 727.75 MiB) 20:06:17 poseidon ext : 2/17000 (mem: 727.75 MiB) 20:06:17 poseidon int : 2/92000 (mem: 727.75 20:06:17 [20:06:17.956] INFO: ivc-integration:test:native bb - MiB) 20:06:17 overflow : 0/0 (mem: 727.75 MiB) 20:06:17 (mem: 727.75 MiB) 20:06:17 Total structured size: 242025 (mem: 727.75 MiB) 20:06:17 allocating polynomials object in proving key... (mem: 727.75 MiB) 20:06:18 [20:06:18.182] INFO: ivc-integration:test:native bb - populating trace... (mem: 727.75 MiB) 20:06:18 [20:06:18.200] INFO: ivc-integration:test:native bb - time to construct proving key: 249 ms. (mem: 727.75 MiB) 20:06:18 [20:06:18.338] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 727.75 MiB) 20:06:18 [20:06:18.496] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 727.75 MiB) 20:06:18 [20:06:18.496] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 727.75 MiB) 20:06:18 [20:06:18.701] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 728.75 MiB) 20:06:18 [20:06:18.710] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 728.75 MiB) 20:06:18 [20:06:18.725] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 728.75 MiB) 20:06:18 [20:06:18.727] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 728.75 MiB) 20:06:18 goblin ecc op : 56/1024 (mem: 728.75 MiB) 20:06:18 busread : 3/6000 (mem: 728.75 20:06:18 [20:06:18.728] INFO: ivc-integration:test:native bb - MiB) 20:06:18 lookups : 2/15000 (mem: 728.75 MiB) 20:06:18 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 728.75 MiB) 20:06:18 arithmetic : 4533/56000 (mem: 728.75 MiB) 20:06:18 delta range : 2060/18000 (mem: 728.75 MiB) 20:06:18 elliptic : 2/6000 (mem: 728.75 MiB) 20:06:18 auxiliary : 50/26000 (mem: 728.75 MiB) 20:06:18 poseidon ext : 1332/17000 (mem: 728.75 MiB) 20:06:18 poseidon int : 7583/92000 (mem: 728.75 MiB) 20:06:18 overflow : 0/0 (mem: 728.75 MiB) 20:06:18 (mem: 728.75 MiB) 20:06:18 Total structured size: 242025 (mem: 728.75 MiB) 20:06:18 allocating polynomials object in proving key... (mem: 728.75 MiB) 20:06:19 [20:06:19.018] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.75 MiB) 20:06:19 [20:06:19.073] INFO: ivc-integration:test:native bb - time to construct proving key: 347 ms. (mem: 728.75 MiB) 20:06:19 [20:06:19.321] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 728.75 MiB) 20:06:19 [20:06:19.623] INFO: ivc-integration:test:native bb - computing folding proof (mem: 728.75 MiB) 20:06:19 [20:06:19.624] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 728.75 MiB) 20:06:19 [20:06:19.959] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 728.75 MiB) 20:06:20 [20:06:20.087] INFO: ivc-integration:test:native bb - perturbator round (mem: 728.75 MiB) 20:06:20 [20:06:20.140] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 760.75 MiB) 20:06:20 [20:06:20.365] INFO: ivc-integration:test:native bb - folded (mem: 760.75 MiB) 20:06:20 constructed folding proof (mem: 760.75 MiB) 20:06:20 [20:06:20.366] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 760.75 MiB) 20:06:20 Minimum required block sizes for structured trace: (mem: 760.75 MiB) 20:06:20 (mem: 760.75 MiB) 20:06:20 prove decider... (mem: 760.75 MiB) 20:06:20 [20:06:20.367] INFO: ivc-integration:test:native bb - ecc_op : 56 20:06:20 busread : 3 20:06:20 lookup : 2 20:06:20 pub_inputs : 36 20:06:20 arithmetic : 4533 20:06:20 delta_range : 2060 20:06:20 elliptic : 2 20:06:20 aux : 50 20:06:20 poseidon2_external : 1332 20:06:20 poseidon2_internal : 7583 20:06:20 overflow : 0 20:06:20 [20:06:20.550] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 760.75 MiB) 20:06:20 [20:06:20.670] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 760.75 MiB) 20:06:21 [20:06:21.547] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 760.75 MiB) 20:06:21 [20:06:21.643] INFO: ivc-integration:test:native bb - computed opening proof (mem: 760.75 MiB) 20:06:21 finished decider proving. (mem: 760.75 MiB) 20:06:21 [20:06:21.654] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 760.75 MiB) 20:06:21 [20:06:21.741] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 760.75 MiB) 20:06:21 [20:06:21.749] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 760.75 MiB) 20:06:21 [20:06:21.886] INFO: ivc-integration:test:native bb - populating trace... (mem: 760.75 MiB) 20:06:21 [20:06:21.936] INFO: ivc-integration:test:native bb - time to construct proving key: 191 ms. (mem: 760.75 MiB) 20:06:22 [20:06:22.412] INFO: ivc-integration:test:native BB concurrency: 1 20:06:22 [20:06:22.413] 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-iDLDGp/proof -k /tmp/bb-client-ivc-integration-iDLDGp/vk -v 20:06:22 [20:06:22.430] INFO: ivc-integration:test:native bb command: verify (mem: 188.64 MiB) 20:06:22 Scheme is: client_ivc, num threads: 1 (mem: 188.64 MiB) 20:06:22 --proof_path: /tmp/bb-client-ivc-integration-iDLDGp/proof 20:06:22 [20:06:22.431] INFO: ivc-integration:test:native (mem: 188.64 MiB) 20:06:22 --vk_path: /tmp/bb-client-ivc-integration-iDLDGp/vk (mem: 188.64 MiB) 20:06:22 --verbose: true (mem: 188.64 MiB) 20:06:22 --scheme: client_ivc (mem: 188.64 MiB) 20:06:22 [20:06:22.431] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.64 MiB) 20:06:22 [20:06:22.448] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 188.64 MiB) 20:06:22 [20:06:22.449] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 188.64 MiB) 20:06:22 [20:06:22.477] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.64 MiB) 20:06:22 Initialized BN254 CRS from memory with num points = 1 (mem: 188.64 MiB) 20:06:22 sumcheck_verified: 1 (mem: 188.64 MiB) 20:06:22 libra_evals_verified: 1 (mem: 188.64 MiB) 20:06:22 pairing_check_verified: 1 (mem: 188.64 MiB) 20:06:22 Mega verified: 1 (mem: 188.64 MiB) 20:06:22 [20:06:22.991] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 20:06:22 [20:06:22.992] INFO: ivc-integration:test:native (mem: 188.64 MiB) 20:06:22 batch opening verified?: 1 (mem: 188.64 MiB) 20:06:22 eccvm consistency check verified?: 1 (mem: 188.64 MiB) 20:06:22 translation masking consistency checked?: 1 (mem: 188.64 MiB) 20:06:23 [20:06:23.011] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.64 MiB) 20:06:23 eccvm verified?: 1 (mem: 188.64 MiB) 20:06:23 accumulator construction_verified?: 1 (mem: 188.64 MiB) 20:06:23 translation verified?: 1 (mem: 188.64 MiB) 20:06:23 consistency verified?: 1 (mem: 188.64 MiB) 20:06:23 Goblin verified: 1 (mem: 188.64 MiB) 20:06:23 [20:06:23.012] INFO: ivc-integration:test:native verified: 1 (mem: 188.64 MiB) 20:06:23 PASS src/native_client_ivc_integration.test.ts (75.95 s) 20:06:23 Client IVC Integration 20:06:23 ✓ Should generate a verifiable client IVC proof from a simple mock tx (41240 ms) 20:06:23 ✓ Should generate a verifiable client IVC proof from a complex mock tx (31119 ms) 20:06:23 20:06:23 Test Suites: 1 passed, 1 total 20:06:23 Tests: 2 passed, 2 total 20:06:23 Snapshots: 0 total 20:06:23 Time: 76.04 s 20:06:23 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 20:06:23 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?