ACI ·

Parent Log: http://ci.aztec-labs.com/a2cd928a8ad9a44d Command: 49bbc26acf87c0b5: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/b608f9359219731d3c03407689a4fadaaa5a0d45 Env: REF_NAME=gh-readonly-queue/next/pr-15006-082468f0c1e7e5424b3654b5be0f3560eed7e487 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 12 13:43:27 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15006_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 13:43:31 [13:43:31.747] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-VlVlTs/ivc-inputs.msgpack 13:43:31 [13:43:31.760] 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-VlVlTs --ivc_inputs_path /tmp/bb-client-ivc-integration-VlVlTs/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:43:31 [13:43:31.780] INFO: ivc-integration:test:native bb - bb command: prove (mem: 13:43:31 [13:43:31.782] INFO: ivc-integration:test:native bb - 155.66 MiB) 13:43:31 Scheme is: client_ivc, num threads: 128 (mem: 155.66 MiB) 13:43:31 --scheme: client_ivc (mem: 155.66 MiB) 13:43:31 --output_path: /tmp/bb-client-ivc-integration-VlVlTs (mem: 155.66 MiB) 13:43:31 --ivc_inputs_path: /tmp/bb-client-ivc-integration-VlVlTs/ivc-inputs.msgpack (mem: 155.66 MiB) 13:43:31 --verbose: true (mem: 155.66 MiB) 13:43:31 --write_vk: true (mem: 155.66 MiB) 13:43:31 BN254 commitment key size: 262144 (mem: 155.66 MiB) 13:43:31 [13:43:31.887] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 247.00 MiB) 13:43:31 [13:43:31.952] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 295.74 MiB) 13:43:31 [13:43:31.957] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 295.74 MiB) 13:43:31 Constructing DeciderProvingKey (mem: 295.74 MiB) 13:43:31 [13:43:31.962] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 295.74 MiB) 13:43:31 goblin ecc op : 4/1024 (mem: 295.74 MiB) 13:43:31 busread : 7/6000 (mem: 295.74 MiB) 13:43:31 lookups : 2/15000 (mem: 295.74 MiB) 13:43:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 295.74 MiB) 13:43:31 arithmetic : 1760/56000 (mem: 295.74 MiB) 13:43:31 delta range : 1754/18000 (mem: 295.74 MiB) 13:43:31 elliptic : 2/6000 (mem: 295.74 MiB) 13:43:31 auxiliary : 26/26000 (mem: 295.74 MiB) 13:43:31 poseidon ext : 2/17000 (mem: 295.74 MiB) 13:43:31 poseidon int : 2/92000 (mem: 295.74 MiB) 13:43:31 overflow : 0/0 (mem: 295.74 MiB) 13:43:31 (mem: 295.74 MiB) 13:43:31 Total structured size: 242025 (mem: 295.74 MiB) 13:43:31 allocating polynomials object in proving key... (mem: 295.74 MiB) 13:43:32 [13:43:32.024] INFO: ivc-integration:test:native bb - populating trace... (mem: 499.89 MiB) 13:43:32 [13:43:32.036] INFO: ivc-integration:test:native bb - time to construct proving key: 78 ms. (mem: 515.89 MiB) 13:43:32 [13:43:32.080] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cb56477ff00 (mem: 515.89 MiB) 13:43:32 [13:43:32.081] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 515.89 MiB) 13:43:32 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 515.89 MiB) 13:43:32 [13:43:32.574] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.89 MiB) 13:43:32 [13:43:32.830] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 525.89 MiB) 13:43:32 [13:43:32.844] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.89 MiB) 13:43:32 [13:43:32.881] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 525.89 MiB) 13:43:32 Constructing DeciderProvingKey (mem: 525.89 MiB) 13:43:32 [13:43:32.886] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.89 MiB) 13:43:32 goblin ecc op : 56/1024 (mem: 525.89 MiB) 13:43:32 busread : 12/6000 (mem: 525.89 MiB) 13:43:32 lookups : 2/15000 (mem: 525.89 MiB) 13:43:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.89 MiB) 13:43:32 arithmetic : 4625/56000 (mem: 525.89 MiB) 13:43:32 delta range : 2054/18000 (mem: 525.89 MiB) 13:43:32 elliptic : 2/6000 (mem: 525.89 MiB) 13:43:32 auxiliary : 110/26000 (mem: 525.89 MiB) 13:43:32 poseidon ext : 1302/17000 (mem: 525.89 MiB) 13:43:32 poseidon int : 7412/92000 (mem: 525.89 MiB) 13:43:32 overflow : 0/0 (mem: 525.89 MiB) 13:43:32 (mem: 525.89 MiB) 13:43:32 Total structured size: 242025 (mem: 525.89 MiB) 13:43:32 allocating polynomials object in proving key... (mem: 525.89 MiB) 13:43:33 [13:43:33.040] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.89 MiB) 13:43:33 [13:43:33.084] INFO: ivc-integration:test:native bb - time to construct proving key: 202 ms. (mem: 740.89 MiB) 13:43:33 [13:43:33.152] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cb56478cb80 (mem: 740.89 MiB) 13:43:33 computing folding proof (mem: 740.89 MiB) 13:43:33 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 740.89 MiB) 13:43:33 [13:43:33.657] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 740.89 MiB) 13:43:34 [13:43:34.182] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 741.89 MiB) 13:43:34 [13:43:34.288] INFO: ivc-integration:test:native bb - perturbator round (mem: 778.89 MiB) 13:43:34 [13:43:34.356] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 810.89 MiB) 13:43:34 [13:43:34.817] INFO: ivc-integration:test:native bb - folded (mem: 810.89 MiB) 13:43:34 constructed folding proof (mem: 810.89 MiB) 13:43:34 [13:43:34.836] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 810.89 MiB) 13:43:34 [13:43:34.919] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 810.89 MiB) 13:43:34 Constructing DeciderProvingKey (mem: 810.89 MiB) 13:43:34 [13:43:34.922] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 810.89 MiB) 13:43:34 goblin ecc op : 392/1024 (mem: 810.89 MiB) 13:43:34 busread : 3/6000 (mem: 810.89 MiB) 13:43:34 lookups : 2/15000 (mem: 810.89 MiB) 13:43:34 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 810.89 MiB) 13:43:34 arithmetic : 6849/56000 (mem: 810.89 MiB) 13:43:34 delta range : 2333/18000 (mem: 810.89 MiB) 13:43:34 elliptic : 2/6000 (mem: 810.89 MiB) 13:43:34 auxiliary : 50/26000 (mem: 810.89 MiB) 13:43:34 poseidon ext : 2472/17000 (mem: 810.89 MiB) 13:43:34 poseidon int : 14081/92000 (mem: 810.89 MiB) 13:43:34 overflow : 0/0 (mem: 810.89 MiB) 13:43:34 (mem: 810.89 MiB) 13:43:34 Total structured size: 242025 (mem: 810.89 MiB) 13:43:34 allocating polynomials object in proving key... (mem: 810.89 MiB) 13:43:35 [13:43:35.029] INFO: ivc-integration:test:native bb - populating trace... (mem: 810.89 MiB) 13:43:35 [13:43:35.055] INFO: ivc-integration:test:native bb - time to construct proving key: 138 ms. (mem: 810.89 MiB) 13:43:35 [13:43:35.197] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cb564782540 (mem: 810.89 MiB) 13:43:35 computing folding proof (mem: 810.89 MiB) 13:43:35 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 810.89 MiB) 13:43:35 [13:43:35.908] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 810.89 MiB) 13:43:36 [13:43:36.505] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 810.89 MiB) 13:43:36 [13:43:36.690] INFO: ivc-integration:test:native bb - perturbator round (mem: 810.89 MiB) 13:43:36 [13:43:36.752] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.90 MiB) 13:43:37 [13:43:37.165] INFO: ivc-integration:test:native bb - folded (mem: 817.90 MiB) 13:43:37 constructed folding proof (mem: 817.90 MiB) 13:43:37 Largest circuit: 25792 gates. Trace details: (mem: 817.90 MiB) 13:43:37 Minimum required block sizes for structured trace: (mem: 817.90 MiB) 13:43:37 (mem: 817.90 MiB) 13:43:37 prove decider... (mem: 817.90 MiB) 13:43:37 [13:43:37.166] INFO: ivc-integration:test:native bb - ecc_op : 392 13:43:37 busread : 12 13:43:37 lookup : 2 13:43:37 pub_inputs : 36 13:43:37 arithmetic : 6849 13:43:37 delta_range : 2333 13:43:37 elliptic : 2 13:43:37 aux : 110 13:43:37 poseidon2_external : 2472 13:43:37 poseidon2_internal : 14081 13:43:37 overflow : 0 13:43:37 [13:43:37.411] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.90 MiB) 13:43:37 [13:43:37.584] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 817.90 MiB) 13:43:38 [13:43:38.514] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.90 MiB) 13:43:38 [13:43:38.620] INFO: ivc-integration:test:native bb - computed opening proof (mem: 817.90 MiB) 13:43:38 finished decider proving. (mem: 817.90 MiB) 13:43:38 [13:43:38.639] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.90 MiB) 13:43:38 [13:43:38.751] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.90 MiB) 13:43:38 allocating polynomials object in proving key... (mem: 817.90 MiB) 13:43:38 [13:43:38.916] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.90 MiB) 13:43:38 [13:43:38.965] INFO: ivc-integration:test:native bb - time to construct proving key: 220 ms. (mem: 817.90 MiB) 13:43:39 [13:43:39.479] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 817.90 MiB) 13:43:40 [13:43:40.081] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 817.90 MiB) 13:43:40 [13:43:40.662] INFO: ivc-integration:test:native bb - created oink proof (mem: 817.90 MiB) 13:43:40 [13:43:40.957] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.90 MiB) 13:43:42 [13:43:42.508] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 13:43:42 [13:43:42.510] INFO: ivc-integration:test:native bb - (mem: 817.90 MiB) 13:43:43 [13:43:43.298] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.90 MiB) 13:43:43 [13:43:43.342] INFO: ivc-integration:test:native bb - computed opening proof (mem: 817.90 MiB) 13:43:43 finished decider proving. (mem: 817.90 MiB) 13:43:43 Constructing a Goblin proof with num ultra ops = 1038 (mem: 817.90 MiB) 13:43:43 [13:43:43.608] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 817.90 MiB) 13:43:44 [13:43:44.131] 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: 817.90 MiB) 13:43:44 [13:43:44.147] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 817.90 MiB) 13:43:46 [13:43:46.339] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 13:43:46 [13:43:46.340] INFO: ivc-integration:test:native bb - 817.90 MiB) 13:43:48 [13:43:48.586] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.90 MiB) 13:43:53 [13:43:53.698] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 817.90 MiB) 13:43:53 prove translator... (mem: 817.90 MiB) 13:43:56 [13:43:56.876] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 835.15 MiB) 13:43:58 [13:43:58.972] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 835.15 MiB) 13:44:01 [13:44:01.198] INFO: ivc-integration:test:native bb - computed opening proof (mem: 835.15 MiB) 13:44:01 [13:44:01.199] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 835.15 MiB) 13:44:01 [13:44:01.202] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 835.15 MiB) 13:44:01 [13:44:01.219] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 835.15 MiB) 13:44:01 libra_evals_verified: 1 (mem: 835.15 MiB) 13:44:01 pairing_check_verified: 1 (mem: 835.15 MiB) 13:44:01 Mega verified: 1 (mem: 835.15 MiB) 13:44:01 [13:44:01.388] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 13:44:01 [13:44:01.389] INFO: ivc-integration:test:native bb - (mem: 835.15 MiB) 13:44:01 batch opening verified?: 1 (mem: 835.15 MiB) 13:44:01 eccvm consistency check verified?: 1 (mem: 835.15 MiB) 13:44:01 translation masking consistency checked?: 1 (mem: 835.15 MiB) 13:44:01 [13:44:01.417] INFO: ivc-integration:test:native bb - merge verified?: 1 13:44:01 [13:44:01.418] INFO: ivc-integration:test:native bb - (mem: 835.15 MiB) 13:44:01 eccvm verified?: 1 (mem: 835.15 MiB) 13:44:01 accumulator construction_verified?: 1 (mem: 835.15 MiB) 13:44:01 translation verified?: 1 (mem: 835.15 MiB) 13:44:01 consistency verified?: 1 (mem: 835.15 MiB) 13:44:01 Goblin verified: 1 (mem: 835.15 MiB) 13:44:01 [13:44:01.419] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-VlVlTs" (mem: 835.15 MiB) 13:44:01 [13:44:01.419] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-VlVlTs" (mem: 835.15 MiB) 13:44:01 BN254 commitment key size: 262144 (mem: 835.15 MiB) 13:44:01 [13:44:01.425] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 835.15 MiB) 13:44:01 [13:44:01.430] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 835.15 MiB) 13:44:01 goblin ecc op : 4/1024 (mem: 835.15 MiB) 13:44:01 busread : 3/6000 (mem: 835.15 MiB) 13:44:01 lookups : 2/15000 (mem: 835.15 MiB) 13:44:01 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 835.15 MiB) 13:44:01 arithmetic : 1773/56000 (mem: 835.15 MiB) 13:44:01 delta range : 1754/18000 (mem: 835.15 MiB) 13:44:01 elliptic : 2/6000 (mem: 835.15 MiB) 13:44:01 auxiliary : 26/26000 (mem: 835.15 MiB) 13:44:01 poseidon ext : 2/17000 (mem: 835.15 MiB) 13:44:01 poseidon int : 2/92000 (mem: 835.15 MiB) 13:44:01 overflow : 0/0 (mem: 835.15 MiB) 13:44:01 (mem: 835.15 MiB) 13:44:01 Total structured size: 242025 (mem: 835.15 MiB) 13:44:01 allocating polynomials object in proving key... (mem: 835.15 MiB) 13:44:01 [13:44:01.617] INFO: ivc-integration:test:native bb - populating trace... (mem: 835.15 MiB) 13:44:01 [13:44:01.632] INFO: ivc-integration:test:native bb - time to construct proving key: 209 ms. (mem: 835.15 MiB) 13:44:01 [13:44:01.791] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 835.15 MiB) 13:44:02 [13:44:02.700] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 835.15 MiB) 13:44:02 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 835.15 MiB) 13:44:03 [13:44:03.622] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 835.15 MiB) 13:44:04 [13:44:04.175] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 835.15 MiB) 13:44:04 [13:44:04.196] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 835.15 MiB) 13:44:04 [13:44:04.232] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 835.15 MiB) 13:44:04 [13:44:04.236] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 835.15 MiB) 13:44:04 goblin ecc op : 56/1024 (mem: 835.15 MiB) 13:44:04 busread : 3/6000 (mem: 835.15 MiB) 13:44:04 [13:44:04.237] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 835.15 MiB) 13:44:04 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 835.15 MiB) 13:44:04 arithmetic : 4481/56000 (mem: 835.15 MiB) 13:44:04 delta range : 2041/18000 (mem: 835.15 MiB) 13:44:04 elliptic : 2/6000 (mem: 835.15 MiB) 13:44:04 auxiliary : 50/26000 (mem: 835.15 MiB) 13:44:04 poseidon ext : 1312/17000 (mem: 835.15 MiB) 13:44:04 poseidon int : 7469/92000 (mem: 835.15 MiB) 13:44:04 overflow : 0/0 (mem: 835.15 MiB) 13:44:04 (mem: 835.15 MiB) 13:44:04 Total structured size: 242025 (mem: 835.15 MiB) 13:44:04 allocating polynomials object in proving key... (mem: 835.15 MiB) 13:44:04 [13:44:04.444] INFO: ivc-integration:test:native bb - populating trace... (mem: 835.15 MiB) 13:44:04 [13:44:04.507] INFO: ivc-integration:test:native bb - time to construct proving key: 269 ms. (mem: 835.15 MiB) 13:44:04 [13:44:04.660] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 835.15 MiB) 13:44:05 [13:44:05.684] INFO: ivc-integration:test:native bb - computing folding proof (mem: 835.15 MiB) 13:44:05 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 835.15 MiB) 13:44:06 [13:44:06.628] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 835.15 MiB) 13:44:07 [13:44:07.549] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 835.15 MiB) 13:44:07 [13:44:07.741] INFO: ivc-integration:test:native bb - perturbator round (mem: 838.15 MiB) 13:44:07 [13:44:07.812] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 870.15 MiB) 13:44:08 [13:44:08.329] INFO: ivc-integration:test:native bb - folded 13:44:08 [13:44:08.338] INFO: ivc-integration:test:native bb - (mem: 870.15 MiB) 13:44:08 constructed folding proof (mem: 870.15 MiB) 13:44:08 Largest circuit: 15360 gates. Trace details: (mem: 870.15 MiB) 13:44:08 Minimum required block sizes for structured trace: (mem: 870.15 MiB) 13:44:08 (mem: 870.15 MiB) 13:44:08 prove decider... (mem: 870.15 MiB) 13:44:08 [13:44:08.343] INFO: ivc-integration:test:native bb - ecc_op : 56 13:44:08 busread : 3 13:44:08 lookup : 2 13:44:08 pub_inputs : 36 13:44:08 arithmetic : 4481 13:44:08 delta_range : 2041 13:44:08 elliptic : 2 13:44:08 aux : 50 13:44:08 poseidon2_external : 1312 13:44:08 poseidon2_internal : 7469 13:44:08 overflow : 0 13:44:08 [13:44:08.633] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 870.15 MiB) 13:44:08 [13:44:08.916] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 870.15 MiB) 13:44:10 [13:44:10.059] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 870.15 MiB) 13:44:10 [13:44:10.174] INFO: ivc-integration:test:native bb - computed opening proof (mem: 870.15 MiB) 13:44:10 finished decider proving. (mem: 870.15 MiB) 13:44:10 [13:44:10.190] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 870.15 MiB) 13:44:10 [13:44:10.340] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 870.15 MiB) 13:44:10 [13:44:10.347] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 870.15 MiB) 13:44:10 [13:44:10.523] INFO: ivc-integration:test:native bb - populating trace... (mem: 870.15 MiB) 13:44:10 [13:44:10.613] INFO: ivc-integration:test:native bb - time to construct proving key: 271 ms. (mem: 870.15 MiB) 13:44:11 [13:44:11.513] 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-VlVlTs/proof -k /tmp/bb-client-ivc-integration-VlVlTs/vk -v 13:44:11 [13:44:11.537] INFO: ivc-integration:test:native bb command: verify (mem: 155.66 MiB) 13:44:11 Scheme is: client_ivc, num threads: 128 (mem: 155.66 MiB) 13:44:11 --proof_path: /tmp/bb-client-ivc-integration-VlVlTs/proof (mem: 155.66 MiB) 13:44:11 --vk_path: /tmp/bb-client-ivc-integration-VlVlTs/vk (mem: 155.66 MiB) 13:44:11 --verbose: true (mem: 155.66 MiB) 13:44:11 --scheme: client_ivc (mem: 155.66 MiB) 13:44:11 [13:44:11.625] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 155.66 MiB) 13:44:11 [13:44:11.646] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 165.99 MiB) 13:44:11 [13:44:11.647] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 165.99 MiB) 13:44:11 [13:44:11.672] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 165.99 MiB) 13:44:11 Initialized BN254 CRS from memory with num points = 1025 (mem: 165.99 MiB) 13:44:11 sumcheck_verified: 1 (mem: 165.99 MiB) 13:44:11 libra_evals_verified: 1 (mem: 165.99 MiB) 13:44:11 pairing_check_verified: 1 (mem: 165.99 MiB) 13:44:11 Mega verified: 1 (mem: 165.99 MiB) 13:44:11 [13:44:11.745] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 13:44:11 [13:44:11.746] INFO: ivc-integration:test:native (mem: 182.11 MiB) 13:44:11 batch opening verified?: 1 (mem: 182.11 MiB) 13:44:11 eccvm consistency check verified?: 1 (mem: 182.11 MiB) 13:44:11 translation masking consistency checked?: 1 (mem: 182.11 MiB) 13:44:11 [13:44:11.766] INFO: ivc-integration:test:native merge verified?: 1 (mem: 182.11 MiB) 13:44:11 eccvm verified?: 1 (mem: 182.11 MiB) 13:44:11 accumulator construction_verified?: 1 (mem: 182.11 MiB) 13:44:11 translation verified?: 1 (mem: 182.11 MiB) 13:44:11 consistency verified?: 1 (mem: 182.11 MiB) 13:44:11 Goblin verified: 1 (mem: 182.11 MiB) 13:44:11 [13:44:11.770] INFO: ivc-integration:test:native verified: 1 (mem: 182.11 MiB) 13:44:11 [13:44:11.934] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-0jOLWb/ivc-inputs.msgpack 13:44:11 [13:44:11.935] 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-0jOLWb --ivc_inputs_path /tmp/bb-client-ivc-integration-0jOLWb/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:44:11 [13:44:11.954] INFO: ivc-integration:test:native bb - bb command: prove (mem: 161.49 MiB) 13:44:11 Scheme is: client_ivc, num threads: 128 (mem: 161.49 MiB) 13:44:11 --scheme: client_ivc (mem: 161.49 MiB) 13:44:11 --output_path: /tmp/bb-client-ivc-integration-0jOLWb (mem: 161.49 MiB) 13:44:11 --ivc_inputs_path: /tmp/bb-client-ivc-integration-0jOLWb/ivc-inputs.msgpack (mem: 161.49 MiB) 13:44:11 --verbose: true (mem: 161.49 MiB) 13:44:11 --write_vk: true (mem: 161.49 MiB) 13:44:11 [13:44:11.959] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 161.49 MiB) 13:44:12 [13:44:12.105] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 258.00 MiB) 13:44:12 [13:44:12.201] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 306.63 MiB) 13:44:12 [13:44:12.206] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 306.63 MiB) 13:44:12 Constructing DeciderProvingKey (mem: 306.63 MiB) 13:44:12 [13:44:12.213] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 306.63 MiB) 13:44:12 goblin ecc op : 4/1024 (mem: 306.63 MiB) 13:44:12 busread : 7/6000 (mem: 306.63 MiB) 13:44:12 lookups : 2/15000 (mem: 306.63 MiB) 13:44:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 306.63 MiB) 13:44:12 [13:44:12.215] INFO: ivc-integration:test:native bb - arithmetic : 1760/56000 (mem: 306.63 MiB) 13:44:12 delta range : 1754/18000 (mem: 306.63 MiB) 13:44:12 elliptic : 2/6000 (mem: 306.63 MiB) 13:44:12 auxiliary : 26/26000 (mem: 306.63 MiB) 13:44:12 poseidon ext : 2/17000 (mem: 306.63 MiB) 13:44:12 poseidon int : 2/92000 (mem: 306.63 MiB) 13:44:12 overflow : 0/0 (mem: 306.63 MiB) 13:44:12 (mem: 306.63 MiB) 13:44:12 Total structured size: 242025 (mem: 306.63 MiB) 13:44:12 allocating polynomials object in proving key... (mem: 306.63 MiB) 13:44:12 [13:44:12.341] INFO: ivc-integration:test:native bb - populating trace... (mem: 502.75 MiB) 13:44:12 [13:44:12.383] INFO: ivc-integration:test:native bb - time to construct proving key: 175 ms. (mem: 516.75 MiB) 13:44:12 [13:44:12.466] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b89da82fd40 (mem: 516.75 MiB) 13:44:12 computing oink proof... (mem: 516.75 MiB) 13:44:12 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 516.75 MiB) 13:44:13 [13:44:13.309] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.75 MiB) 13:44:13 [13:44:13.732] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 523.75 MiB) 13:44:13 [13:44:13.778] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 524.75 MiB) 13:44:13 [13:44:13.817] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 524.75 MiB) 13:44:13 Constructing DeciderProvingKey (mem: 524.75 MiB) 13:44:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 524.75 MiB) 13:44:13 goblin ecc op : 56/1024 (mem: 524.75 MiB) 13:44:13 busread : 12/6000 (mem: 524.75 MiB) 13:44:13 lookups : 2/15000 (mem: 524.75 MiB) 13:44:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 524.75 MiB) 13:44:13 arithmetic : 4625/56000 (mem: 524.75 MiB) 13:44:13 delta range : 2054/18000 (mem: 524.75 MiB) 13:44:13 elliptic : 2/6000 (mem: 524.75 MiB) 13:44:13 auxiliary : 110/26000 (mem: 524.75 MiB) 13:44:13 poseidon ext : 1302/17000 (mem: 524.75 MiB) 13:44:13 poseidon int : 7412/92000 (mem: 524.75 MiB) 13:44:13 overflow : 0/0 (mem: 524.75 MiB) 13:44:13 (mem: 524.75 MiB) 13:44:13 Total structured size: 242025 (mem: 524.75 MiB) 13:44:13 allocating polynomials object in proving key... (mem: 524.75 MiB) 13:44:14 [13:44:14.045] INFO: ivc-integration:test:native bb - populating trace... (mem: 735.75 MiB) 13:44:14 [13:44:14.080] INFO: ivc-integration:test:native bb - time to construct proving key: 272 ms. (mem: 752.75 MiB) 13:44:14 [13:44:14.173] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b89da838fc0 (mem: 752.75 MiB) 13:44:14 computing folding proof (mem: 752.75 MiB) 13:44:14 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 752.75 MiB) 13:44:14 [13:44:14.748] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 752.75 MiB) 13:44:15 [13:44:15.359] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 753.75 MiB) 13:44:15 [13:44:15.492] INFO: ivc-integration:test:native bb - perturbator round (mem: 790.75 MiB) 13:44:15 [13:44:15.543] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 824.75 MiB) 13:44:15 [13:44:15.974] INFO: ivc-integration:test:native bb - folded (mem: 824.75 MiB) 13:44:15 constructed folding proof (mem: 824.75 MiB) 13:44:15 [13:44:15.977] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 824.75 MiB) 13:44:15 Constructing DeciderProvingKey (mem: 824.75 MiB) 13:44:15 [13:44:15.980] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 824.75 MiB) 13:44:15 goblin ecc op : 4/1024 (mem: 824.75 MiB) 13:44:15 busread : 7/6000 (mem: 824.75 MiB) 13:44:15 lookups : 2/15000 (mem: 824.75 MiB) 13:44:15 [13:44:15.981] INFO: ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 824.75 MiB) 13:44:15 arithmetic : 1760/56000 (mem: 824.75 MiB) 13:44:15 delta range : 1754/18000 (mem: 824.75 MiB) 13:44:15 elliptic : 2/6000 (mem: 824.75 MiB) 13:44:15 auxiliary : 26/26000 (mem: 824.75 MiB) 13:44:15 poseidon ext : 2/17000 (mem: 824.75 MiB) 13:44:15 poseidon int : 2/92000 (mem: 824.75 MiB) 13:44:15 overflow : 0/0 (mem: 824.75 MiB) 13:44:15 (mem: 824.75 MiB) 13:44:15 Total structured size: 242025 (mem: 824.75 MiB) 13:44:15 allocating polynomials object in proving key... (mem: 824.75 MiB) 13:44:16 [13:44:16.098] INFO: ivc-integration:test:native bb - populating trace... (mem: 824.75 MiB) 13:44:16 [13:44:16.115] INFO: ivc-integration:test:native bb - time to construct proving key: 137 ms. (mem: 824.75 MiB) 13:44:16 [13:44:16.192] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b89da830580 (mem: 824.75 MiB) 13:44:16 computing folding proof (mem: 824.75 MiB) 13:44:16 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 824.75 MiB) 13:44:16 [13:44:16.945] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 13:44:16 [13:44:16.946] INFO: ivc-integration:test:native bb - (mem: 824.75 MiB) 13:44:17 [13:44:17.322] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 824.75 MiB) 13:44:17 [13:44:17.435] INFO: ivc-integration:test:native bb - perturbator round 13:44:17 [13:44:17.440] INFO: ivc-integration:test:native bb - (mem: 824.75 MiB) 13:44:17 [13:44:17.495] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 825.21 MiB) 13:44:17 [13:44:17.702] INFO: ivc-integration:test:native bb - folded (mem: 825.21 MiB) 13:44:17 constructed folding proof (mem: 825.21 MiB) 13:44:17 [13:44:17.712] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 825.21 MiB) 13:44:17 [13:44:17.793] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 825.21 MiB) 13:44:17 [13:44:17.853] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 825.21 MiB) 13:44:17 Constructing DeciderProvingKey (mem: 825.21 MiB) 13:44:17 [13:44:17.859] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 825.21 MiB) 13:44:17 goblin ecc op : 792/1024 (mem: 825.21 MiB) 13:44:17 busread : 12/6000 (mem: 825.21 MiB) 13:44:17 lookups : 2/15000 (mem: 825.21 MiB) 13:44:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 825.21 MiB) 13:44:17 arithmetic : 12080/56000 (mem: 825.21 MiB) 13:44:17 delta range : 2942/18000 (mem: 825.21 MiB) 13:44:17 elliptic : 2/6000 (mem: 825.21 MiB) 13:44:17 auxiliary : 350/26000 (mem: 825.21 MiB) 13:44:17 poseidon ext : 4942/17000 (mem: 825.21 MiB) 13:44:17 poseidon int : 28160/92000 (mem: 825.21 MiB) 13:44:17 overflow : 0/0 (mem: 825.21 MiB) 13:44:17 (mem: 825.21 MiB) 13:44:17 Total structured size: 242025 (mem: 825.21 MiB) 13:44:17 allocating polynomials object in proving key... (mem: 825.21 MiB) 13:44:17 [13:44:17.950] INFO: ivc-integration:test:native bb - populating trace... (mem: 825.21 MiB) 13:44:18 [13:44:18.003] INFO: ivc-integration:test:native bb - time to construct proving key: 148 ms. (mem: 825.21 MiB) 13:44:18 [13:44:18.115] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b89da82a000 (mem: 825.21 MiB) 13:44:18 computing folding proof (mem: 13:44:18 [13:44:18.116] INFO: ivc-integration:test:native bb - 825.21 MiB) 13:44:18 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 825.21 MiB) 13:44:18 [13:44:18.610] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 825.21 MiB) 13:44:19 [13:44:19.031] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 825.21 MiB) 13:44:19 [13:44:19.107] INFO: ivc-integration:test:native bb - perturbator round (mem: 825.21 MiB) 13:44:19 [13:44:19.167] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 853.94 MiB) 13:44:19 [13:44:19.394] INFO: ivc-integration:test:native bb - folded (mem: 853.94 MiB) 13:44:19 constructed folding proof (mem: 853.94 MiB) 13:44:19 [13:44:19.404] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 853.94 MiB) 13:44:19 [13:44:19.463] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 853.94 MiB) 13:44:19 Constructing DeciderProvingKey (mem: 853.94 MiB) 13:44:19 [13:44:19.466] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 853.94 MiB) 13:44:19 goblin ecc op : 392/1024 (mem: 853.94 MiB) 13:44:19 busread : 16/6000 (mem: 853.94 MiB) 13:44:19 lookups : 2/15000 (mem: 853.94 MiB) 13:44:19 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 853.94 MiB) 13:44:19 arithmetic : 6914/56000 (mem: 853.94 MiB) 13:44:19 [13:44:19.467] INFO: ivc-integration:test:native bb - delta range : 2347/18000 (mem: 853.94 MiB) 13:44:19 elliptic : 2/6000 (mem: 853.94 MiB) 13:44:19 auxiliary : 77/26000 (mem: 853.94 MiB) 13:44:19 poseidon ext : 2472/17000 (mem: 853.94 MiB) 13:44:19 poseidon int : 14081/92000 (mem: 853.94 MiB) 13:44:19 overflow : 0/0 (mem: 853.94 MiB) 13:44:19 (mem: 853.94 MiB) 13:44:19 Total structured size: 242025 (mem: 853.94 MiB) 13:44:19 allocating polynomials object in proving key... (mem: 853.94 MiB) 13:44:19 [13:44:19.577] INFO: ivc-integration:test:native bb - populating trace... (mem: 853.94 MiB) 13:44:19 [13:44:19.620] INFO: ivc-integration:test:native bb - time to construct proving key: 155 ms. (mem: 853.94 MiB) 13:44:19 [13:44:19.747] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b89da8acec0 (mem: 853.94 MiB) 13:44:19 [13:44:19.748] INFO: ivc-integration:test:native bb - computing folding proof (mem: 853.94 MiB) 13:44:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 853.94 MiB) 13:44:20 [13:44:20.351] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 853.94 MiB) 13:44:20 [13:44:20.790] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 853.94 MiB) 13:44:20 [13:44:20.927] INFO: ivc-integration:test:native bb - perturbator round (mem: 853.94 MiB) 13:44:20 [13:44:20.977] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 854.25 MiB) 13:44:21 [13:44:21.232] INFO: ivc-integration:test:native bb - folded (mem: 854.25 MiB) 13:44:21 constructed folding proof (mem: 854.25 MiB) 13:44:21 [13:44:21.243] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 854.25 MiB) 13:44:21 [13:44:21.314] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 854.25 MiB) 13:44:21 Constructing DeciderProvingKey (mem: 854.25 MiB) 13:44:21 [13:44:21.318] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 854.25 MiB) 13:44:21 goblin ecc op : 392/1024 (mem: 854.25 MiB) 13:44:21 [13:44:21.319] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 854.25 MiB) 13:44:21 lookups : 2/15000 (mem: 854.25 MiB) 13:44:21 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 854.25 MiB) 13:44:21 arithmetic : 6849/56000 (mem: 854.25 MiB) 13:44:21 delta range : 2333/18000 (mem: 854.25 MiB) 13:44:21 elliptic : 2/6000 (mem: 854.25 MiB) 13:44:21 auxiliary : 50/26000 (mem: 854.25 MiB) 13:44:21 poseidon ext : 2472/17000 (mem: 854.25 MiB) 13:44:21 poseidon int : 14081/92000 (mem: 854.25 MiB) 13:44:21 overflow : 0/0 (mem: 854.25 MiB) 13:44:21 (mem: 854.25 MiB) 13:44:21 Total structured size: 242025 (mem: 854.25 MiB) 13:44:21 allocating polynomials object in proving key... (mem: 854.25 MiB) 13:44:21 [13:44:21.562] INFO: ivc-integration:test:native bb - populating trace... (mem: 854.25 MiB) 13:44:21 [13:44:21.588] INFO: ivc-integration:test:native bb - time to construct proving key: 273 ms. (mem: 854.25 MiB) 13:44:21 [13:44:21.751] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b89da8437c0 (mem: 854.25 MiB) 13:44:21 computing folding proof (mem: 13:44:21 [13:44:21.752] INFO: ivc-integration:test:native bb - 854.25 MiB) 13:44:21 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 854.25 MiB) 13:44:22 [13:44:22.461] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 854.25 MiB) 13:44:22 [13:44:22.899] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 854.25 MiB) 13:44:22 [13:44:22.979] INFO: ivc-integration:test:native bb - perturbator round (mem: 854.25 MiB) 13:44:23 [13:44:23.046] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 854.25 MiB) 13:44:23 [13:44:23.176] INFO: ivc-integration:test:native bb - folded (mem: 854.25 MiB) 13:44:23 constructed folding proof (mem: 854.25 MiB) 13:44:23 [13:44:23.177] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 854.25 MiB) 13:44:23 Minimum required block sizes for structured trace: (mem: 854.25 MiB) 13:44:23 (mem: 854.25 MiB) 13:44:23 prove decider... (mem: 854.25 MiB) 13:44:23 [13:44:23.177] INFO: ivc-integration:test:native bb - ecc_op : 792 13:44:23 busread : 16 13:44:23 lookup : 2 13:44:23 pub_inputs : 36 13:44:23 arithmetic : 12080 13:44:23 delta_range : 2942 13:44:23 elliptic : 2 13:44:23 aux : 350 13:44:23 poseidon2_external : 4942 13:44:23 poseidon2_internal : 28160 13:44:23 overflow : 0 13:44:23 [13:44:23.288] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 854.25 MiB) 13:44:23 [13:44:23.464] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 854.25 MiB) 13:44:24 [13:44:24.388] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 854.25 MiB) 13:44:24 [13:44:24.490] INFO: ivc-integration:test:native bb - computed opening proof (mem: 854.25 MiB) 13:44:24 finished decider proving. (mem: 854.25 MiB) 13:44:24 [13:44:24.510] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 854.25 MiB) 13:44:24 [13:44:24.608] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 854.25 MiB) 13:44:24 [13:44:24.614] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 854.25 MiB) 13:44:24 [13:44:24.689] INFO: ivc-integration:test:native bb - populating trace... (mem: 854.25 MiB) 13:44:24 [13:44:24.790] INFO: ivc-integration:test:native bb - time to construct proving key: 182 ms. (mem: 854.25 MiB) 13:44:25 [13:44:25.171] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 854.25 MiB) 13:44:25 [13:44:25.654] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 854.25 MiB) 13:44:26 [13:44:26.326] INFO: ivc-integration:test:native bb - created oink proof (mem: 854.25 MiB) 13:44:26 [13:44:26.527] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 854.25 MiB) 13:44:27 [13:44:27.783] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 854.25 MiB) 13:44:28 [13:44:28.941] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 854.25 MiB) 13:44:28 [13:44:28.975] INFO: ivc-integration:test:native bb - computed opening proof (mem: 854.25 MiB) 13:44:28 finished decider proving. (mem: 854.25 MiB) 13:44:28 [13:44:28.975] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 854.25 MiB) 13:44:29 [13:44:29.100] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 854.25 MiB) 13:44:29 [13:44:29.465] 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: 854.25 MiB) 13:44:29 [13:44:29.485] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 854.25 MiB) 13:44:31 [13:44:31.487] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 854.25 MiB) 13:44:34 [13:44:34.045] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 854.25 MiB) 13:44:39 [13:44:39.978] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 854.25 MiB) 13:44:39 prove translator... (mem: 854.25 MiB) 13:44:43 [13:44:43.442] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 867.33 MiB) 13:44:45 [13:44:45.614] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 867.33 MiB) 13:44:47 [13:44:47.329] INFO: ivc-integration:test:native bb - computed opening proof (mem: 867.33 MiB) 13:44:47 [13:44:47.330] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 867.33 MiB) 13:44:47 [13:44:47.332] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 867.33 MiB) 13:44:47 [13:44:47.348] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 867.33 MiB) 13:44:47 libra_evals_verified: 1 (mem: 867.33 MiB) 13:44:47 pairing_check_verified: 1 (mem: 867.33 MiB) 13:44:47 Mega verified: 1 (mem: 867.33 MiB) 13:44:47 [13:44:47.414] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 867.33 MiB) 13:44:47 batch opening verified?: 1 (mem: 867.33 MiB) 13:44:47 eccvm consistency check verified?: 1 (mem: 867.33 MiB) 13:44:47 translation masking consistency checked?: 1 (mem: 867.33 MiB) 13:44:47 [13:44:47.433] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 867.33 MiB) 13:44:47 eccvm verified?: 1 (mem: 867.33 MiB) 13:44:47 accumulator construction_verified?: 1 (mem: 867.33 MiB) 13:44:47 translation verified?: 1 (mem: 867.33 MiB) 13:44:47 consistency verified?: 1 (mem: 867.33 MiB) 13:44:47 [13:44:47.434] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 867.33 MiB) 13:44:47 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-0jOLWb" (mem: 867.33 MiB) 13:44:47 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-0jOLWb" (mem: 867.33 MiB) 13:44:47 BN254 commitment key size: 262144 (mem: 867.33 MiB) 13:44:47 [13:44:47.435] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 867.33 MiB) 13:44:47 [13:44:47.439] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 867.33 MiB) 13:44:47 goblin ecc op : 4/1024 (mem: 867.33 MiB) 13:44:47 busread : 3/6000 (mem: 867.33 MiB) 13:44:47 lookups : 2/15000 (mem: 867.33 MiB) 13:44:47 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 867.33 MiB) 13:44:47 arithmetic : 1773/56000 (mem: 867.33 MiB) 13:44:47 delta range : 1754/18000 (mem: 867.33 MiB) 13:44:47 elliptic : 2/6000 (mem: 867.33 MiB) 13:44:47 [13:44:47.440] INFO: ivc-integration:test:native bb - auxiliary : 26/26000 (mem: 867.33 MiB) 13:44:47 poseidon ext : 2/17000 (mem: 867.33 MiB) 13:44:47 poseidon int : 2/92000 (mem: 867.33 MiB) 13:44:47 overflow : 0/0 (mem: 867.33 MiB) 13:44:47 (mem: 867.33 MiB) 13:44:47 Total structured size: 242025 (mem: 867.33 MiB) 13:44:47 allocating polynomials object in proving key... (mem: 867.33 MiB) 13:44:47 [13:44:47.509] INFO: ivc-integration:test:native bb - populating trace... (mem: 867.33 MiB) 13:44:47 [13:44:47.522] INFO: ivc-integration:test:native bb - time to construct proving key: 86 ms. (mem: 867.33 MiB) 13:44:47 [13:44:47.619] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 867.33 MiB) 13:44:48 [13:44:48.177] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 867.33 MiB) 13:44:48 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 867.33 MiB) 13:44:48 [13:44:48.761] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 867.33 MiB) 13:44:48 [13:44:48.980] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 867.33 MiB) 13:44:48 [13:44:48.989] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 867.33 MiB) 13:44:49 [13:44:49.004] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 13:44:49 [13:44:49.005] INFO: ivc-integration:test:native bb - 867.33 MiB) 13:44:49 [13:44:49.008] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 867.33 MiB) 13:44:49 goblin ecc op : 56/1024 (mem: 867.33 MiB) 13:44:49 [13:44:49.008] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 867.33 MiB) 13:44:49 lookups : 2/15000 (mem: 867.33 MiB) 13:44:49 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 867.33 MiB) 13:44:49 arithmetic : 4481/56000 (mem: 867.33 MiB) 13:44:49 delta range : 2041/18000 (mem: 867.33 MiB) 13:44:49 elliptic : 2/6000 (mem: 867.33 MiB) 13:44:49 auxiliary : 50/26000 (mem: 867.33 MiB) 13:44:49 poseidon ext : 1312/17000 (mem: 867.33 MiB) 13:44:49 poseidon int : 7469/92000 (mem: 867.33 MiB) 13:44:49 overflow : 0/0 (mem: 867.33 MiB) 13:44:49 (mem: 867.33 MiB) 13:44:49 Total structured size: 242025 (mem: 867.33 MiB) 13:44:49 allocating polynomials object in proving key... (mem: 867.33 MiB) 13:44:49 [13:44:49.095] INFO: ivc-integration:test:native bb - populating trace... (mem: 867.33 MiB) 13:44:49 [13:44:49.112] INFO: ivc-integration:test:native bb - time to construct proving key: 107 ms. (mem: 867.33 MiB) 13:44:49 [13:44:49.156] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 867.33 MiB) 13:44:49 [13:44:49.675] INFO: ivc-integration:test:native bb - computing folding proof (mem: 867.33 MiB) 13:44:49 [13:44:49.676] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 867.33 MiB) 13:44:50 [13:44:50.200] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 867.33 MiB) 13:44:50 [13:44:50.565] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 867.33 MiB) 13:44:50 [13:44:50.639] INFO: ivc-integration:test:native bb - perturbator round (mem: 867.33 MiB) 13:44:50 [13:44:50.702] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 899.33 MiB) 13:44:50 [13:44:50.953] INFO: ivc-integration:test:native bb - folded (mem: 899.33 MiB) 13:44:50 constructed folding proof (mem: 899.33 MiB) 13:44:50 [13:44:50.954] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 899.33 MiB) 13:44:50 Minimum required block sizes for structured trace: (mem: 899.33 MiB) 13:44:50 (mem: 899.33 MiB) 13:44:50 prove decider... (mem: 899.33 MiB) 13:44:50 [13:44:50.955] INFO: ivc-integration:test:native bb - ecc_op : 56 13:44:50 busread : 3 13:44:50 lookup : 2 13:44:50 pub_inputs : 36 13:44:50 arithmetic : 4481 13:44:50 delta_range : 2041 13:44:50 elliptic : 2 13:44:50 aux : 50 13:44:50 poseidon2_external : 1312 13:44:50 poseidon2_internal : 7469 13:44:50 overflow : 0 13:44:51 [13:44:51.073] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 899.33 MiB) 13:44:51 [13:44:51.179] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 899.33 MiB) 13:44:51 [13:44:51.672] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 899.33 MiB) 13:44:51 [13:44:51.732] INFO: ivc-integration:test:native bb - computed opening proof (mem: 899.33 MiB) 13:44:51 finished decider proving. (mem: 899.33 MiB) 13:44:51 [13:44:51.742] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 899.33 MiB) 13:44:51 [13:44:51.833] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 899.33 MiB) 13:44:51 [13:44:51.838] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 899.33 MiB) 13:44:51 [13:44:51.899] INFO: ivc-integration:test:native bb - populating trace... (mem: 899.33 MiB) 13:44:51 [13:44:51.926] INFO: ivc-integration:test:native bb - time to construct proving key: 92 ms. (mem: 899.33 MiB) 13:44:52 [13:44:52.305] 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-0jOLWb/proof -k /tmp/bb-client-ivc-integration-0jOLWb/vk -v 13:44:52 [13:44:52.320] INFO: ivc-integration:test:native bb command: verify (mem: 161.65 MiB) 13:44:52 [13:44:52.321] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 161.65 MiB) 13:44:52 --proof_path: /tmp/bb-client-ivc-integration-0jOLWb/proof (mem: 161.65 MiB) 13:44:52 --vk_path: /tmp/bb-client-ivc-integration-0jOLWb/vk (mem: 161.65 MiB) 13:44:52 --verbose: true (mem: 161.65 MiB) 13:44:52 --scheme: client_ivc (mem: 161.65 MiB) 13:44:52 [13:44:52.415] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 161.65 MiB) 13:44:52 [13:44:52.433] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 161.65 MiB) 13:44:52 [13:44:52.434] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 161.65 MiB) 13:44:52 [13:44:52.449] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 161.65 MiB) 13:44:52 [13:44:52.450] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 161.65 MiB) 13:44:52 sumcheck_verified: 1 (mem: 161.65 MiB) 13:44:52 libra_evals_verified: 1 (mem: 161.65 MiB) 13:44:52 pairing_check_verified: 1 (mem: 161.65 MiB) 13:44:52 Mega verified: 1 (mem: 161.65 MiB) 13:44:52 [13:44:52.517] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 169.38 MiB) 13:44:52 batch opening verified?: 1 (mem: 169.38 MiB) 13:44:52 eccvm consistency check verified?: 1 (mem: 169.38 MiB) 13:44:52 translation masking consistency checked?: 1 (mem: 169.38 MiB) 13:44:52 [13:44:52.538] INFO: ivc-integration:test:native merge verified?: 1 (mem: 169.38 MiB) 13:44:52 eccvm verified?: 1 (mem: 169.38 MiB) 13:44:52 accumulator construction_verified?: 1 (mem: 169.38 MiB) 13:44:52 translation verified?: 1 (mem: 169.38 MiB) 13:44:52 consistency verified?: 1 (mem: 169.38 MiB) 13:44:52 Goblin verified: 1 (mem: 169.38 MiB) 13:44:52 [13:44:52.545] INFO: ivc-integration:test:native verified: 1 (mem: 169.38 MiB) 13:44:52 PASS src/native_client_ivc_integration.test.ts (84.025 s) 13:44:52 Client IVC Integration 13:44:52 ✓ Should generate a verifiable client IVC proof from a simple mock tx (40135 ms) 13:44:52 ✓ Should generate a verifiable client IVC proof from a complex mock tx (40751 ms) 13:44:52 13:44:52 Test Suites: 1 passed, 1 total 13:44:52 Tests: 2 passed, 2 total 13:44:52 Snapshots: 0 total 13:44:52 Time: 84.112 s 13:44:52 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 13:44:52 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?