Parent Log: http://ci.aztec-labs.com/30fc99b02d171efe Command: be792e9a8a7f847e: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/a8c553f203c98e5ca274e763c8e51daaaaf760d6 Env: REF_NAME=gh-readonly-queue/next/pr-15017-30660269b33bab8cca354c41659533acf4d48e07 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 09:33:17 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15017_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 09:33:21 [09:33:21.374] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-qGfwxD/ivc-inputs.msgpack 09:33:21 [09:33:21.383] 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-qGfwxD --ivc_inputs_path /tmp/bb-client-ivc-integration-qGfwxD/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 09:33:21 [09:33:21.407] INFO: ivc-integration:test:native bb - bb command: prove (mem: 159.88 MiB) 09:33:21 [09:33:21.408] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 159.88 MiB) 09:33:21 --scheme: client_ivc (mem: 159.88 MiB) 09:33:21 --output_path: /tmp/bb-client-ivc-integration-qGfwxD (mem: 159.88 MiB) 09:33:21 --ivc_inputs_path: /tmp/bb-client-ivc-integration-qGfwxD/ivc-inputs.msgpack (mem: 159.88 MiB) 09:33:21 --verbose: true (mem: 159.88 MiB) 09:33:21 --write_vk: true (mem: 159.88 MiB) 09:33:21 BN254 commitment key size: 262144 (mem: 159.88 MiB) 09:33:21 [09:33:21.511] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 245.00 MiB) 09:33:21 [09:33:21.600] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 293.93 MiB) 09:33:21 [09:33:21.603] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 293.93 MiB) 09:33:21 Constructing DeciderProvingKey (mem: 293.93 MiB) 09:33:21 [09:33:21.609] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 293.93 MiB) 09:33:21 goblin ecc op : 4/1024 (mem: 293.93 MiB) 09:33:21 busread : 7/6000 (mem: 293.93 MiB) 09:33:21 [09:33:21.610] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 293.93 MiB) 09:33:21 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 293.93 MiB) 09:33:21 arithmetic : 1760/56000 (mem: 293.93 MiB) 09:33:21 delta range : 1754/18000 (mem: 293.93 MiB) 09:33:21 elliptic : 2/6000 (mem: 293.93 MiB) 09:33:21 auxiliary : 26/26000 (mem: 293.93 MiB) 09:33:21 poseidon ext : 2/17000 (mem: 293.93 MiB) 09:33:21 poseidon int : 2/92000 (mem: 293.93 MiB) 09:33:21 overflow : 0/0 (mem: 293.93 MiB) 09:33:21 (mem: 293.93 MiB) 09:33:21 Total structured size: 242025 (mem: 293.93 MiB) 09:33:21 allocating polynomials object in proving key... (mem: 293.93 MiB) 09:33:21 [09:33:21.686] INFO: ivc-integration:test:native bb - populating trace... (mem: 496.08 MiB) 09:33:21 [09:33:21.700] INFO: ivc-integration:test:native bb - time to construct proving key: 96 ms. (mem: 509.08 MiB) 09:33:21 [09:33:21.735] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5eb8845caf00 (mem: 509.08 MiB) 09:33:21 computing oink proof... (mem: 509.08 MiB) 09:33: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: 509.08 MiB) 09:33:22 [09:33:22.265] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 509.08 MiB) 09:33:22 [09:33:22.575] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 519.08 MiB) 09:33:22 [09:33:22.591] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 519.08 MiB) 09:33:22 [09:33:22.616] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 519.08 MiB) 09:33:22 Constructing DeciderProvingKey (mem: 519.08 MiB) 09:33:22 [09:33:22.621] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 519.08 MiB) 09:33:22 goblin ecc op : 56/1024 (mem: 519.08 MiB) 09:33:22 busread : 12/6000 (mem: 519.08 MiB) 09:33:22 lookups : 2/15000 (mem: 519.08 MiB) 09:33:22 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 519.08 MiB) 09:33:22 arithmetic : 4625/56000 (mem: 519.08 MiB) 09:33:22 delta range : 2054/18000 (mem: 519.08 MiB) 09:33:22 elliptic : 2/6000 (mem: 519.08 MiB) 09:33:22 auxiliary : 110/26000 (mem: 519.08 MiB) 09:33:22 poseidon ext : 1302/17000 (mem: 519.08 MiB) 09:33:22 poseidon int : 7412/92000 (mem: 519.08 MiB) 09:33:22 overflow : 0/0 (mem: 519.08 MiB) 09:33:22 (mem: 519.08 MiB) 09:33:22 Total structured size: 242025 (mem: 519.08 MiB) 09:33:22 allocating polynomials object in proving key... (mem: 519.08 MiB) 09:33:22 [09:33:22.733] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.08 MiB) 09:33:22 [09:33:22.775] INFO: ivc-integration:test:native bb - time to construct proving key: 158 ms. (mem: 740.08 MiB) 09:33:22 [09:33:22.870] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5eb8845d7b80 (mem: 740.08 MiB) 09:33:22 computing folding proof (mem: 740.08 MiB) 09:33:22 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.08 MiB) 09:33:23 [09:33:23.474] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 740.08 MiB) 09:33:24 [09:33:24.166] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.08 MiB) 09:33:24 [09:33:24.265] INFO: ivc-integration:test:native bb - perturbator round (mem: 779.08 MiB) 09:33:24 [09:33:24.321] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 811.08 MiB) 09:33:24 [09:33:24.809] INFO: ivc-integration:test:native bb - folded (mem: 811.08 MiB) 09:33:24 constructed folding proof (mem: 811.08 MiB) 09:33:24 [09:33:24.817] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 811.08 MiB) 09:33:24 [09:33:24.888] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 811.08 MiB) 09:33:24 Constructing DeciderProvingKey (mem: 811.08 MiB) 09:33:24 [09:33:24.892] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 811.08 MiB) 09:33:24 goblin ecc op : 392/1024 (mem: 811.08 MiB) 09:33:24 busread : 3/6000 (mem: 811.08 MiB) 09:33:24 lookups : 2/15000 (mem: 811.08 MiB) 09:33:24 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 811.08 MiB) 09:33:24 arithmetic : 6849/56000 (mem: 811.08 MiB) 09:33:24 delta range : 2333/18000 (mem: 811.08 MiB) 09:33:24 elliptic : 2/6000 (mem: 811.08 MiB) 09:33:24 auxiliary : 50/26000 (mem: 811.08 MiB) 09:33:24 poseidon ext : 2472/17000 (mem: 811.08 MiB) 09:33:24 poseidon int : 14081/92000 (mem: 811.08 MiB) 09:33:24 overflow : 0/0 (mem: 811.08 MiB) 09:33:24 (mem: 811.08 MiB) 09:33:24 Total structured size: 242025 (mem: 811.08 MiB) 09:33:24 allocating polynomials object in proving key... (mem: 811.08 MiB) 09:33:25 [09:33:25.092] INFO: ivc-integration:test:native bb - populating trace... (mem: 811.08 MiB) 09:33:25 [09:33:25.147] INFO: ivc-integration:test:native bb - time to construct proving key: 258 ms. (mem: 811.08 MiB) 09:33:25 [09:33:25.278] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5eb8845cd540 (mem: 811.08 MiB) 09:33:25 computing folding proof (mem: 811.08 MiB) 09:33:25 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 811.08 MiB) 09:33:26 [09:33:26.011] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 811.08 MiB) 09:33:26 [09:33:26.722] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 811.08 MiB) 09:33:26 [09:33:26.878] INFO: ivc-integration:test:native bb - perturbator round (mem: 811.08 MiB) 09:33:26 [09:33:26.978] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.03 MiB) 09:33:27 [09:33:27.446] INFO: ivc-integration:test:native bb - folded (mem: 819.03 MiB) 09:33:27 constructed folding proof (mem: 819.03 MiB) 09:33:27 Largest circuit: 25792 gates. Trace details: (mem: 819.03 MiB) 09:33:27 Minimum required block sizes for structured trace: (mem: 819.03 MiB) 09:33:27 [09:33:27.453] INFO: ivc-integration:test:native bb - ecc_op : 392 09:33:27 busread : 12 09:33:27 lookup : 2 09:33:27 pub_inputs : 36 09:33:27 arithmetic : 6849 09:33:27 delta_range : 2333 09:33:27 elliptic : 2 09:33:27 aux : 110 09:33:27 poseidon2_external : 2472 09:33:27 poseidon2_internal : 14081 09:33:27 overflow : 0 09:33:27 [09:33:27.459] INFO: ivc-integration:test:native bb - (mem: 819.03 MiB) 09:33:27 prove decider... (mem: 819.03 MiB) 09:33:27 [09:33:27.691] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.03 MiB) 09:33:27 [09:33:27.927] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 819.03 MiB) 09:33:29 [09:33:29.255] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 819.03 MiB) 09:33:29 [09:33:29.382] INFO: ivc-integration:test:native bb - computed opening proof (mem: 819.03 MiB) 09:33:29 finished decider proving. (mem: 819.03 MiB) 09:33:29 [09:33:29.408] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 819.03 MiB) 09:33:29 [09:33:29.587] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 09:33:29 [09:33:29.594] INFO: ivc-integration:test:native bb - (mem: 819.03 MiB) 09:33:29 [09:33:29.603] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 09:33:29 [09:33:29.611] INFO: ivc-integration:test:native bb - (mem: 819.03 MiB) 09:33:29 [09:33:29.848] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.03 MiB) 09:33:29 [09:33:29.906] INFO: ivc-integration:test:native bb - time to construct proving key: 314 ms. (mem: 819.03 MiB) 09:33:30 [09:33:30.588] 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: 819.03 MiB) 09:33:31 [09:33:31.095] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 819.03 MiB) 09:33:31 [09:33:31.851] INFO: ivc-integration:test:native bb - created oink proof (mem: 819.03 MiB) 09:33:32 [09:33:32.111] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.03 MiB) 09:33:33 [09:33:33.797] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 09:33:33 [09:33:33.799] INFO: ivc-integration:test:native bb - (mem: 09:33:33 [09:33:33.799] INFO: ivc-integration:test:native bb - 819.03 09:33:33 [09:33:33.802] INFO: ivc-integration:test:native bb - MiB) 09:33:34 [09:33:34.947] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 819.03 MiB) 09:33:34 [09:33:34.991] INFO: ivc-integration:test:native bb - computed opening proof (mem: 819.03 MiB) 09:33:34 finished decider proving. (mem: 819.03 MiB) 09:33:34 Constructing a Goblin proof with num ultra ops = 1038 (mem: 819.03 MiB) 09:33:35 [09:33:35.250] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 819.03 MiB) 09:33:36 [09:33:36.043] 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: 819.03 MiB) 09:33:36 [09:33:36.085] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 09:33:36 [09:33:36.088] INFO: ivc-integration:test:native bb - (mem: 819.03 MiB) 09:33:37 [09:33:37.985] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.03 MiB) 09:33:40 [09:33:40.222] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 819.03 MiB) 09:33:45 [09:33:45.645] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 819.03 MiB) 09:33:45 prove translator... (mem: 819.03 MiB) 09:33:48 [09:33:48.731] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 838.66 MiB) 09:33:51 [09:33:51.694] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 838.66 MiB) 09:33:55 [09:33:55.153] INFO: ivc-integration:test:native bb - computed opening proof (mem: 838.66 MiB) 09:33:55 [09:33:55.154] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 838.66 MiB) 09:33:55 [09:33:55.163] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 838.66 MiB) 09:33:55 [09:33:55.180] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 838.66 MiB) 09:33:55 libra_evals_verified: 1 (mem: 838.66 MiB) 09:33:55 pairing_check_verified: 1 (mem: 838.66 MiB) 09:33:55 Mega verified: 1 (mem: 838.66 MiB) 09:33:55 [09:33:55.270] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 838.66 MiB) 09:33:55 batch opening verified?: 1 (mem: 838.66 MiB) 09:33:55 eccvm consistency check verified?: 1 (mem: 838.66 MiB) 09:33:55 translation masking consistency checked?: 1 (mem: 838.66 MiB) 09:33:55 [09:33:55.298] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 838.66 MiB) 09:33:55 eccvm verified?: 1 (mem: 838.66 MiB) 09:33:55 accumulator construction_verified?: 1 (mem: 838.66 MiB) 09:33:55 translation verified?: 1 (mem: 838.66 MiB) 09:33:55 consistency verified?: 1 (mem: 838.66 MiB) 09:33:55 Goblin verified: 1 (mem: 838.66 MiB) 09:33:55 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-qGfwxD" (mem: 838.66 MiB) 09:33:55 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-qGfwxD" (mem: 838.66 MiB) 09:33:55 BN254 commitment key size: 262144 (mem: 838.66 MiB) 09:33:55 [09:33:55.302] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 838.66 MiB) 09:33:55 [09:33:55.308] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 838.66 MiB) 09:33:55 goblin ecc op : 4/1024 (mem: 838.66 MiB) 09:33:55 busread : 3/6000 (mem: 838.66 MiB) 09:33:55 lookups : 2/15000 (mem: 838.66 MiB) 09:33:55 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 838.66 MiB) 09:33:55 [09:33:55.314] INFO: ivc-integration:test:native bb - 09:33:55 arithmetic : 1773/56000 (mem: 838.66 MiB) 09:33:55 delta range : 1754/18000 (mem: 838.66 MiB) 09:33:55 elliptic : 2/6000 (mem: 838.66 MiB) 09:33:55 auxiliary : 26/26000 (mem: 838.66 MiB) 09:33:55 poseidon ext : 2/17000 (mem: 838.66 MiB) 09:33:55 poseidon int : 2/92000 (mem: 838.66 MiB) 09:33:55 overflow : 0/0 (mem: 838.66 MiB) 09:33:55 (mem: 838.66 MiB) 09:33:55 Total structured size: 242025 (mem: 838.66 MiB) 09:33:55 allocating polynomials object in proving key... (mem: 838.66 MiB) 09:33:55 [09:33:55.561] INFO: ivc-integration:test:native bb - populating trace... (mem: 838.66 MiB) 09:33:55 [09:33:55.610] INFO: ivc-integration:test:native bb - time to construct proving key: 308 ms. (mem: 838.66 MiB) 09:33:55 [09:33:55.723] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 838.66 MiB) 09:33:56 [09:33:56.701] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 838.66 MiB) 09:33:56 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 838.66 MiB) 09:33:57 [09:33:57.723] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 838.66 MiB) 09:33:58 [09:33:58.199] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 838.66 MiB) 09:33:58 [09:33:58.212] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 838.66 MiB) 09:33:58 [09:33:58.246] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 838.66 MiB) 09:33:58 [09:33:58.247] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 838.66 MiB) 09:33:58 goblin ecc op : 56/1024 (mem: 838.66 MiB) 09:33:58 busread : 3/6000 (mem: 838.66 MiB) 09:33:58 lookups : 2/15000 (mem: 838.66 MiB) 09:33:58 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 838.66 MiB) 09:33:58 arithmetic : 4481/56000 (mem: 838.66 MiB) 09:33:58 delta range : 2041/18000 (mem: 838.66 MiB) 09:33:58 elliptic : 2/6000 (mem: 838.66 MiB) 09:33:58 auxiliary : 50/26000 (mem: 838.66 MiB) 09:33:58 poseidon ext : 1312/17000 (mem: 838.66 MiB) 09:33:58 poseidon int : 7469/92000 (mem: 838.66 MiB) 09:33:58 overflow : 0/0 (mem: 838.66 MiB) 09:33:58 (mem: 838.66 MiB) 09:33:58 Total structured size: 242025 (mem: 838.66 MiB) 09:33:58 allocating polynomials object in proving key... (mem: 838.66 MiB) 09:33:58 [09:33:58.671] INFO: ivc-integration:test:native bb - populating trace... (mem: 838.66 MiB) 09:33:58 [09:33:58.714] INFO: ivc-integration:test:native bb - time to construct proving key: 470 ms. (mem: 838.66 MiB) 09:33:58 [09:33:58.837] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 838.66 MiB) 09:33:59 [09:33:59.687] INFO: ivc-integration:test:native bb - computing folding proof (mem: 838.66 MiB) 09:33:59 [09:33:59.688] 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: 838.66 MiB) 09:34:00 [09:34:00.660] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 838.66 MiB) 09:34:01 [09:34:01.233] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 09:34:01 [09:34:01.235] INFO: ivc-integration:test:native bb - (mem: 838.66 MiB) 09:34:01 [09:34:01.400] INFO: ivc-integration:test:native bb - perturbator round (mem: 841.66 MiB) 09:34:01 [09:34:01.461] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 873.66 MiB) 09:34:02 [09:34:02.035] INFO: ivc-integration:test:native bb - folded (mem: 873.66 MiB) 09:34:02 constructed folding proof (mem: 873.66 MiB) 09:34:02 Largest circuit: 15360 gates. Trace details: (mem: 873.66 MiB) 09:34:02 Minimum required block sizes for structured trace: (mem: 873.66 MiB) 09:34:02 (mem: 873.66 MiB) 09:34:02 prove decider... (mem: 873.66 MiB) 09:34:02 [09:34:02.037] INFO: ivc-integration:test:native bb - ecc_op : 56 09:34:02 busread : 3 09:34:02 lookup : 2 09:34:02 pub_inputs : 36 09:34:02 arithmetic : 4481 09:34:02 delta_range : 2041 09:34:02 elliptic : 2 09:34:02 aux : 50 09:34:02 poseidon2_external : 1312 09:34:02 poseidon2_internal : 7469 09:34:02 overflow : 0 09:34:02 [09:34:02.405] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 873.66 MiB) 09:34:02 [09:34:02.635] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 873.66 MiB) 09:34:03 [09:34:03.998] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 873.66 MiB) 09:34:04 [09:34:04.074] INFO: ivc-integration:test:native bb - computed opening proof (mem: 873.66 MiB) 09:34:04 finished decider proving. (mem: 873.66 MiB) 09:34:04 [09:34:04.088] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 873.66 MiB) 09:34:04 [09:34:04.215] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 873.66 MiB) 09:34:04 [09:34:04.220] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 873.66 MiB) 09:34:04 [09:34:04.388] INFO: ivc-integration:test:native bb - populating trace... (mem: 873.66 MiB) 09:34:04 [09:34:04.436] INFO: ivc-integration:test:native bb - time to construct proving key: 220 ms. (mem: 873.66 MiB) 09:34:05 [09:34:05.320] 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-qGfwxD/proof -k /tmp/bb-client-ivc-integration-qGfwxD/vk -v 09:34:05 [09:34:05.359] INFO: ivc-integration:test:native bb command: verify (mem: 159.88 MiB) 09:34:05 [09:34:05.360] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 159.88 MiB) 09:34:05 --proof_path: /tmp/bb-client-ivc-integration-qGfwxD/proof (mem: 159.88 MiB) 09:34:05 --vk_path: /tmp/bb-client-ivc-integration-qGfwxD/vk (mem: 159.88 MiB) 09:34:05 --verbose: true (mem: 159.88 MiB) 09:34:05 --scheme: client_ivc (mem: 159.88 MiB) 09:34:05 [09:34:05.474] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 159.88 MiB) 09:34:05 [09:34:05.497] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 09:34:05 [09:34:05.500] INFO: ivc-integration:test:native (mem: 164.09 MiB) 09:34:05 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 164.09 MiB) 09:34:05 [09:34:05.519] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 164.09 MiB) 09:34:05 Initialized BN254 CRS from memory with num points = 1025 (mem: 164.09 MiB) 09:34:05 [09:34:05.521] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 164.09 MiB) 09:34:05 libra_evals_verified: 1 (mem: 164.09 MiB) 09:34:05 pairing_check_verified: 1 (mem: 164.09 MiB) 09:34:05 Mega verified: 1 (mem: 164.09 MiB) 09:34:05 [09:34:05.618] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 181.21 MiB) 09:34:05 batch opening verified?: 1 (mem: 181.21 MiB) 09:34:05 eccvm consistency check verified?: 1 (mem: 181.21 MiB) 09:34:05 translation masking consistency checked?: 1 (mem: 181.21 MiB) 09:34:05 [09:34:05.643] INFO: ivc-integration:test:native merge verified?: 1 (mem: 181.21 MiB) 09:34:05 eccvm verified?: 1 (mem: 181.21 MiB) 09:34:05 accumulator construction_verified?: 1 (mem: 181.21 MiB) 09:34:05 translation verified?: 1 (mem: 181.21 MiB) 09:34:05 consistency verified?: 1 (mem: 181.21 MiB) 09:34:05 Goblin verified: 1 (mem: 181.21 MiB) 09:34:05 [09:34:05.650] INFO: ivc-integration:test:native verified: 1 (mem: 181.21 MiB) 09:34:05 [09:34:05.777] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-viWSWx/ivc-inputs.msgpack 09:34:05 [09:34:05.779] 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-viWSWx --ivc_inputs_path /tmp/bb-client-ivc-integration-viWSWx/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 09:34:05 [09:34:05.817] INFO: ivc-integration:test:native bb - bb command: prove (mem: 161.73 MiB) 09:34:05 [09:34:05.818] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 161.73 MiB) 09:34:05 --scheme: client_ivc (mem: 161.73 MiB) 09:34:05 --output_path: /tmp/bb-client-ivc-integration-viWSWx (mem: 161.73 MiB) 09:34:05 --ivc_inputs_path: /tmp/bb-client-ivc-integration-viWSWx/ivc-inputs.msgpack (mem: 161.73 MiB) 09:34:05 --verbose: true (mem: 161.73 MiB) 09:34:05 --write_vk: true (mem: 161.73 MiB) 09:34:05 [09:34:05.822] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 161.73 MiB) 09:34:05 [09:34:05.961] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.00 MiB) 09:34:06 [09:34:06.060] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 299.32 MiB) 09:34:06 [09:34:06.063] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 299.32 MiB) 09:34:06 Constructing DeciderProvingKey (mem: 299.32 MiB) 09:34:06 [09:34:06.075] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 299.32 MiB) 09:34:06 goblin ecc op : 4/1024 (mem: 299.32 MiB) 09:34:06 busread : 7/6000 (mem: 299.32 MiB) 09:34:06 lookups : 2/15000 (mem: 299.32 MiB) 09:34:06 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 299.32 MiB) 09:34:06 arithmetic : 1760/56000 (mem: 299.32 MiB) 09:34:06 delta range : 1754/18000 (mem: 299.32 MiB) 09:34:06 elliptic : 2/6000 (mem: 299.32 MiB) 09:34:06 auxiliary : 26/26000 (mem: 299.32 MiB) 09:34:06 poseidon ext : 2/17000 (mem: 299.32 MiB) 09:34:06 poseidon int : 2/92000 (mem: 299.32 MiB) 09:34:06 overflow : 0/0 (mem: 299.32 MiB) 09:34:06 (mem: 299.32 MiB) 09:34:06 Total structured size: 242025 (mem: 299.32 MiB) 09:34:06 allocating polynomials object in proving key... (mem: 299.32 MiB) 09:34:06 [09:34:06.254] INFO: ivc-integration:test:native bb - populating trace... (mem: 497.45 MiB) 09:34:06 [09:34:06.279] INFO: ivc-integration:test:native bb - time to construct proving key: 215 ms. (mem: 511.45 MiB) 09:34:06 [09:34:06.326] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64b1d8e8ad40 (mem: 511.45 MiB) 09:34:06 [09:34:06.328] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 511.45 MiB) 09:34:06 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 511.45 MiB) 09:34:07 [09:34:07.209] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 511.45 MiB) 09:34:07 [09:34:07.543] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 518.45 MiB) 09:34:07 [09:34:07.554] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 519.45 MiB) 09:34:07 [09:34:07.572] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 519.45 MiB) 09:34:07 Constructing DeciderProvingKey (mem: 519.45 MiB) 09:34:07 [09:34:07.577] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 519.45 MiB) 09:34:07 goblin ecc op : 56/1024 (mem: 519.45 MiB) 09:34:07 busread : 12/6000 (mem: 519.45 MiB) 09:34:07 lookups : 2/15000 (mem: 519.45 MiB) 09:34:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 519.45 MiB) 09:34:07 arithmetic : 4625/56000 09:34:07 [09:34:07.578] INFO: ivc-integration:test:native bb - (mem: 519.45 MiB) 09:34:07 delta range : 2054/18000 (mem: 519.45 MiB) 09:34:07 elliptic : 2/6000 (mem: 519.45 MiB) 09:34:07 auxiliary : 110/26000 (mem: 519.45 MiB) 09:34:07 poseidon ext : 1302/17000 (mem: 519.45 MiB) 09:34:07 poseidon int : 7412/92000 (mem: 519.45 MiB) 09:34:07 overflow : 0/0 (mem: 519.45 MiB) 09:34:07 (mem: 519.45 MiB) 09:34:07 Total structured size: 242025 (mem: 519.45 MiB) 09:34:07 allocating polynomials object in proving key... (mem: 519.45 MiB) 09:34:07 [09:34:07.681] INFO: ivc-integration:test:native bb - populating trace... (mem: 734.45 MiB) 09:34:07 [09:34:07.717] INFO: ivc-integration:test:native bb - time to construct proving key: 141 ms. (mem: 749.45 MiB) 09:34:07 [09:34:07.786] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64b1d8e93fc0 (mem: 749.45 MiB) 09:34:07 computing folding proof (mem: 749.45 MiB) 09:34:07 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 749.45 MiB) 09:34:08 [09:34:08.288] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 749.45 MiB) 09:34:08 [09:34:08.624] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 754.45 MiB) 09:34:08 [09:34:08.710] INFO: ivc-integration:test:native bb - perturbator round (mem: 788.45 MiB) 09:34:08 [09:34:08.762] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 820.45 MiB) 09:34:08 [09:34:08.973] INFO: ivc-integration:test:native bb - folded (mem: 820.45 MiB) 09:34:08 constructed folding proof (mem: 820.45 MiB) 09:34:08 [09:34:08.978] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 820.45 MiB) 09:34:08 Constructing DeciderProvingKey (mem: 820.45 MiB) 09:34:08 [09:34:08.980] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 820.45 MiB) 09:34:08 goblin ecc op : 4/1024 (mem: 820.45 MiB) 09:34:08 busread : 7/6000 (mem: 820.45 MiB) 09:34:08 lookups : 2/15000 (mem: 820.45 MiB) 09:34:08 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 820.45 MiB) 09:34:08 arithmetic : 1760/56000 (mem: 820.45 MiB) 09:34:08 delta range : 1754/18000 (mem: 820.45 MiB) 09:34:08 elliptic : 2/6000 (mem: 820.45 MiB) 09:34:08 auxiliary : 26/26000 (mem: 820.45 MiB) 09:34:08 poseidon ext : 2/17000 (mem: 820.45 MiB) 09:34:08 poseidon int : 2/92000 (mem: 820.45 MiB) 09:34:08 overflow : 0/0 (mem: 820.45 MiB) 09:34:08 (mem: 820.45 MiB) 09:34:08 Total structured size: 242025 (mem: 820.45 MiB) 09:34:08 allocating polynomials object in proving key... (mem: 820.45 MiB) 09:34:09 [09:34:09.022] INFO: ivc-integration:test:native bb - populating trace... (mem: 820.45 MiB) 09:34:09 [09:34:09.040] INFO: ivc-integration:test:native bb - time to construct proving key: 64 ms. (mem: 820.45 MiB) 09:34:09 [09:34:09.115] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64b1d8e8b580 (mem: 820.45 MiB) 09:34:09 computing folding proof (mem: 820.45 MiB) 09:34:09 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.45 MiB) 09:34:09 [09:34:09.701] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 820.45 MiB) 09:34:09 [09:34:09.849] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 820.45 MiB) 09:34:09 [09:34:09.904] INFO: ivc-integration:test:native bb - perturbator round (mem: 820.45 MiB) 09:34:09 [09:34:09.954] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.90 MiB) 09:34:10 [09:34:10.271] INFO: ivc-integration:test:native bb - folded (mem: 821.90 MiB) 09:34:10 [09:34:10.272] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 821.90 MiB) 09:34:10 [09:34:10.291] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 821.90 MiB) 09:34:10 [09:34:10.342] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.90 MiB) 09:34:10 [09:34:10.413] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 821.90 MiB) 09:34:10 Constructing DeciderProvingKey (mem: 821.90 MiB) 09:34:10 [09:34:10.418] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.90 MiB) 09:34:10 goblin ecc op : 792/1024 (mem: 09:34:10 [09:34:10.419] INFO: ivc-integration:test:native bb - 821.90 MiB) 09:34:10 busread : 12/6000 (mem: 821.90 MiB) 09:34:10 lookups : 2/15000 (mem: 821.90 MiB) 09:34:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.90 MiB) 09:34:10 arithmetic : 12080/56000 (mem: 821.90 MiB) 09:34:10 delta range : 2942/18000 (mem: 821.90 MiB) 09:34:10 elliptic : 2/6000 (mem: 821.90 MiB) 09:34:10 auxiliary : 350/26000 (mem: 821.90 MiB) 09:34:10 poseidon ext : 4942/17000 (mem: 821.90 MiB) 09:34:10 poseidon int : 28160/92000 (mem: 821.90 MiB) 09:34:10 overflow : 0/0 (mem: 821.90 MiB) 09:34:10 (mem: 821.90 MiB) 09:34:10 Total structured size: 242025 (mem: 821.90 MiB) 09:34:10 allocating polynomials object in proving key... (mem: 821.90 MiB) 09:34:10 [09:34:10.487] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.90 MiB) 09:34:10 [09:34:10.519] INFO: ivc-integration:test:native bb - time to construct proving key: 106 ms. (mem: 821.90 MiB) 09:34:10 [09:34:10.618] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64b1d8e85000 (mem: 821.90 MiB) 09:34:10 computing folding proof (mem: 821.90 MiB) 09:34:10 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 821.90 MiB) 09:34:11 [09:34:11.028] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 821.90 MiB) 09:34:11 [09:34:11.353] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.90 MiB) 09:34:11 [09:34:11.473] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.90 MiB) 09:34:11 [09:34:11.520] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.96 MiB) 09:34:11 [09:34:11.903] INFO: ivc-integration:test:native bb - folded (mem: 850.96 MiB) 09:34:11 constructed folding proof (mem: 850.96 MiB) 09:34:11 [09:34:11.918] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 850.96 MiB) 09:34:11 [09:34:11.993] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 850.96 MiB) 09:34:11 Constructing DeciderProvingKey (mem: 850.96 MiB) 09:34:11 [09:34:11.997] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 09:34:11 [09:34:11.997] INFO: ivc-integration:test:native bb - (mem: 09:34:12 [09:34:12.000] INFO: ivc-integration:test:native bb - 850.96 MiB) 09:34:12 goblin ecc op : 392/1024 (mem: 850.96 MiB) 09:34:12 busread : 16/6000 (mem: 850.96 MiB) 09:34:12 lookups : 2/15000 (mem: 850.96 MiB) 09:34:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 850.96 MiB) 09:34:12 arithmetic : 6914/56000 (mem: 850.96 MiB) 09:34:12 delta range : 2347/18000 (mem: 850.96 MiB) 09:34:12 elliptic : 2/6000 (mem: 850.96 MiB) 09:34:12 auxiliary : 77/26000 (mem: 850.96 MiB) 09:34:12 poseidon ext : 2472/17000 (mem: 850.96 MiB) 09:34:12 poseidon int : 14081/92000 (mem: 850.96 MiB) 09:34:12 overflow : 0/0 (mem: 850.96 MiB) 09:34:12 (mem: 850.96 MiB) 09:34:12 Total structured size: 242025 (mem: 850.96 MiB) 09:34:12 allocating polynomials object in proving key... (mem: 850.96 MiB) 09:34:12 [09:34:12.243] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.96 MiB) 09:34:12 [09:34:12.279] INFO: ivc-integration:test:native bb - time to construct proving key: 287 ms. (mem: 850.96 MiB) 09:34:12 [09:34:12.450] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64b1d8f07ec0 (mem: 850.96 MiB) 09:34:12 computing folding proof (mem: 850.96 MiB) 09:34: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: 850.96 MiB) 09:34:12 [09:34:12.957] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.96 MiB) 09:34:13 [09:34:13.395] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.96 MiB) 09:34:13 [09:34:13.479] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.96 MiB) 09:34:13 [09:34:13.555] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.06 MiB) 09:34:13 [09:34:13.929] INFO: ivc-integration:test:native bb - folded 09:34:13 [09:34:13.931] INFO: ivc-integration:test:native bb - (mem: 851.06 MiB) 09:34:13 constructed folding proof (mem: 851.06 MiB) 09:34:13 [09:34:13.941] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 851.06 MiB) 09:34:14 [09:34:14.012] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 09:34:14 [09:34:14.017] INFO: ivc-integration:test:native bb - (mem: 851.06 MiB) 09:34:14 Constructing DeciderProvingKey (mem: 851.06 MiB) 09:34:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 851.06 MiB) 09:34:14 goblin ecc op : 392/1024 (mem: 851.06 MiB) 09:34:14 busread : 3/6000 (mem: 851.06 MiB) 09:34:14 lookups : 2/15000 (mem: 851.06 MiB) 09:34:14 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.06 MiB) 09:34:14 arithmetic : 6849/56000 (mem: 851.06 MiB) 09:34:14 delta range : 2333/18000 (mem: 851.06 MiB) 09:34:14 elliptic : 2/6000 (mem: 851.06 MiB) 09:34:14 auxiliary : 50/26000 (mem: 851.06 MiB) 09:34:14 poseidon ext : 2472/17000 (mem: 851.06 MiB) 09:34:14 poseidon int : 14081/92000 (mem: 851.06 MiB) 09:34:14 overflow : 0/0 (mem: 851.06 MiB) 09:34:14 (mem: 851.06 MiB) 09:34:14 Total structured size: 242025 (mem: 851.06 MiB) 09:34:14 allocating polynomials object in proving key... (mem: 851.06 MiB) 09:34:14 [09:34:14.121] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.06 MiB) 09:34:14 [09:34:14.162] INFO: ivc-integration:test:native bb - time to construct proving key: 148 ms. (mem: 851.06 MiB) 09:34:14 [09:34:14.383] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64b1d8e9e7c0 (mem: 851.06 MiB) 09:34:14 computing folding proof (mem: 851.06 MiB) 09:34: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: 851.06 MiB) 09:34:15 [09:34:15.002] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.06 MiB) 09:34:15 [09:34:15.447] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.06 MiB) 09:34:15 [09:34:15.634] INFO: ivc-integration:test:native bb - perturbator round (mem: 851.06 MiB) 09:34:15 [09:34:15.687] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.07 MiB) 09:34:16 [09:34:16.248] INFO: ivc-integration:test:native bb - folded (mem: 851.07 MiB) 09:34:16 constructed folding proof (mem: 851.07 MiB) 09:34:16 [09:34:16.251] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 851.07 MiB) 09:34:16 Minimum required block sizes for structured trace: (mem: 851.07 MiB) 09:34:16 (mem: 851.07 MiB) 09:34:16 prove decider... (mem: 851.07 MiB) 09:34:16 [09:34:16.252] INFO: ivc-integration:test:native bb - ecc_op : 792 09:34:16 busread : 16 09:34:16 lookup : 2 09:34:16 pub_inputs : 36 09:34:16 arithmetic : 12080 09:34:16 delta_range : 2942 09:34:16 elliptic : 2 09:34:16 aux : 350 09:34:16 poseidon2_external : 4942 09:34:16 poseidon2_internal : 28160 09:34:16 overflow : 0 09:34:16 [09:34:16.463] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.07 MiB) 09:34:16 [09:34:16.611] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.07 MiB) 09:34:17 [09:34:17.800] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.07 MiB) 09:34:17 [09:34:17.910] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.07 MiB) 09:34:17 finished decider proving. (mem: 851.07 MiB) 09:34:17 [09:34:17.923] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.07 MiB) 09:34:18 [09:34:18.035] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.07 MiB) 09:34:18 [09:34:18.037] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 09:34:18 [09:34:18.038] INFO: ivc-integration:test:native bb - (mem: 851.07 MiB) 09:34:18 [09:34:18.154] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.07 MiB) 09:34:18 [09:34:18.208] INFO: ivc-integration:test:native bb - time to construct proving key: 176 ms. (mem: 851.07 MiB) 09:34:18 [09:34:18.640] 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: 851.07 MiB) 09:34:18 [09:34:18.984] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 851.07 MiB) 09:34:19 [09:34:19.353] INFO: ivc-integration:test:native bb - created oink proof (mem: 851.07 MiB) 09:34:19 [09:34:19.554] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.07 MiB) 09:34:20 [09:34:20.892] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.07 MiB) 09:34:21 [09:34:21.544] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.07 MiB) 09:34:21 [09:34:21.592] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.07 MiB) 09:34:21 finished decider proving. (mem: 851.07 MiB) 09:34:21 [09:34:21.594] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 851.07 MiB) 09:34:21 [09:34:21.745] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 851.07 MiB) 09:34:22 [09:34:22.232] 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: 851.07 MiB) 09:34:22 [09:34:22.261] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 851.07 MiB) 09:34:24 [09:34:24.253] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.07 MiB) 09:34:26 [09:34:26.555] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.07 MiB) 09:34:31 [09:34:31.757] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 851.07 MiB) 09:34:31 prove translator... (mem: 851.07 MiB) 09:34:34 [09:34:34.531] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 863.21 MiB) 09:34:36 [09:34:36.479] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 864.21 MiB) 09:34:38 [09:34:38.154] INFO: ivc-integration:test:native bb - computed opening proof (mem: 864.21 MiB) 09:34:38 [09:34:38.155] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 864.21 MiB) 09:34:38 [09:34:38.157] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 864.21 MiB) 09:34:38 [09:34:38.172] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 864.21 MiB) 09:34:38 libra_evals_verified: 1 (mem: 864.21 MiB) 09:34:38 pairing_check_verified: 1 (mem: 864.21 MiB) 09:34:38 Mega verified: 1 (mem: 864.21 MiB) 09:34:38 [09:34:38.228] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 865.21 MiB) 09:34:38 batch opening verified?: 1 (mem: 865.21 MiB) 09:34:38 eccvm consistency check verified?: 1 (mem: 865.21 MiB) 09:34:38 translation masking consistency checked?: 1 (mem: 865.21 MiB) 09:34:38 [09:34:38.248] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 865.21 MiB) 09:34:38 eccvm verified?: 1 (mem: 865.21 MiB) 09:34:38 accumulator construction_verified?: 1 (mem: 865.21 MiB) 09:34:38 translation verified?: 1 (mem: 865.21 MiB) 09:34:38 consistency verified?: 1 (mem: 865.21 MiB) 09:34:38 Goblin verified: 1 (mem: 865.21 MiB) 09:34:38 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-viWSWx" (mem: 865.21 MiB) 09:34:38 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-viWSWx" (mem: 865.21 MiB) 09:34:38 BN254 commitment key size: 262144 (mem: 865.21 MiB) 09:34:38 [09:34:38.251] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 865.21 MiB) 09:34:38 [09:34:38.255] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 865.21 MiB) 09:34:38 goblin ecc op : 4/1024 (mem: 865.21 MiB) 09:34:38 busread : 3/6000 (mem: 865.21 MiB) 09:34:38 lookups : 2/15000 (mem: 865.21 MiB) 09:34:38 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 865.21 MiB) 09:34:38 arithmetic : 1773/56000 (mem: 865.21 MiB) 09:34:38 delta range : 1754/18000 (mem: 865.21 MiB) 09:34:38 elliptic : 2/6000 (mem: 865.21 MiB) 09:34:38 auxiliary : 26/26000 (mem: 865.21 MiB) 09:34:38 poseidon ext : 2/17000 (mem: 865.21 MiB) 09:34:38 poseidon int : 2/92000 (mem: 865.21 MiB) 09:34:38 overflow : 0/0 (mem: 865.21 MiB) 09:34:38 (mem: 865.21 MiB) 09:34:38 Total structured size: 242025 (mem: 865.21 MiB) 09:34:38 allocating polynomials object in proving key... (mem: 865.21 MiB) 09:34:38 [09:34:38.446] INFO: ivc-integration:test:native bb - populating trace... (mem: 865.21 MiB) 09:34:38 [09:34:38.465] INFO: ivc-integration:test:native bb - time to construct proving key: 214 ms. (mem: 865.21 MiB) 09:34:38 [09:34:38.619] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 865.21 MiB) 09:34:39 [09:34:39.281] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 865.21 MiB) 09:34:39 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 865.21 MiB) 09:34:39 [09:34:39.977] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 865.21 MiB) 09:34:40 [09:34:40.185] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 865.21 MiB) 09:34:40 [09:34:40.198] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 865.21 MiB) 09:34:40 [09:34:40.228] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 865.21 MiB) 09:34:40 [09:34:40.230] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 865.21 MiB) 09:34:40 goblin ecc op : 56/1024 (mem: 865.21 MiB) 09:34:40 busread : 3/6000 (mem: 865.21 MiB) 09:34:40 lookups : 2/15000 (mem: 865.21 MiB) 09:34:40 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 865.21 MiB) 09:34:40 arithmetic : 4481/56000 (mem: 865.21 MiB) 09:34:40 delta range : 2041/18000 (mem: 865.21 MiB) 09:34:40 elliptic : 2/6000 (mem: 865.21 MiB) 09:34:40 auxiliary : 50/26000 (mem: 865.21 MiB) 09:34:40 poseidon ext : 1312/17000 (mem: 865.21 MiB) 09:34:40 poseidon int : 7469/92000 (mem: 865.21 MiB) 09:34:40 overflow : 0/0 (mem: 865.21 MiB) 09:34:40 (mem: 865.21 MiB) 09:34:40 Total structured size: 242025 (mem: 865.21 MiB) 09:34:40 allocating polynomials object in proving key... (mem: 865.21 MiB) 09:34:40 [09:34:40.373] INFO: ivc-integration:test:native bb - populating trace... (mem: 865.21 MiB) 09:34:40 [09:34:40.447] INFO: ivc-integration:test:native bb - time to construct proving key: 218 ms. (mem: 865.21 MiB) 09:34:40 [09:34:40.564] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 865.21 MiB) 09:34:41 [09:34:41.260] INFO: ivc-integration:test:native bb - computing folding proof (mem: 865.21 MiB) 09:34:41 [09:34:41.261] 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: 865.21 MiB) 09:34:41 [09:34:41.946] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 865.21 MiB) 09:34:42 [09:34:42.504] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 865.21 MiB) 09:34:42 [09:34:42.684] INFO: ivc-integration:test:native bb - perturbator round (mem: 865.21 MiB) 09:34:42 [09:34:42.727] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 897.21 MiB) 09:34:43 [09:34:42.998] INFO: ivc-integration:test:native bb - folded (mem: 897.21 MiB) 09:34:43 constructed folding proof (mem: 897.21 MiB) 09:34:43 [09:34:42.999] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 897.21 MiB) 09:34:43 Minimum required block sizes for structured trace: (mem: 897.21 MiB) 09:34:43 (mem: 897.21 MiB) 09:34:43 prove decider... (mem: 897.21 MiB) 09:34:43 [09:34:43.000] INFO: ivc-integration:test:native bb - ecc_op : 56 09:34:43 busread : 3 09:34:43 lookup : 2 09:34:43 pub_inputs : 36 09:34:43 arithmetic : 4481 09:34:43 delta_range : 2041 09:34:43 elliptic : 2 09:34:43 aux : 50 09:34:43 poseidon2_external : 1312 09:34:43 poseidon2_internal : 7469 09:34:43 overflow : 0 09:34:43 [09:34:43.131] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 897.21 MiB) 09:34:43 [09:34:43.229] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 897.21 MiB) 09:34:43 [09:34:43.834] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 897.21 MiB) 09:34:43 [09:34:43.883] INFO: ivc-integration:test:native bb - computed opening proof (mem: 897.21 MiB) 09:34:43 finished decider proving. (mem: 897.21 MiB) 09:34:43 [09:34:43.897] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 897.21 MiB) 09:34:44 [09:34:44.010] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 09:34:44 [09:34:44.011] INFO: ivc-integration:test:native bb - 897.21 MiB) 09:34:44 [09:34:44.016] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 897.21 MiB) 09:34:44 [09:34:44.127] INFO: ivc-integration:test:native bb - populating trace... (mem: 897.21 MiB) 09:34:44 [09:34:44.183] INFO: ivc-integration:test:native bb - time to construct proving key: 171 ms. (mem: 897.21 MiB) 09:34:44 [09:34:44.667] 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-viWSWx/proof -k /tmp/bb-client-ivc-integration-viWSWx/vk -v 09:34:44 [09:34:44.701] INFO: ivc-integration:test:native bb command: verify (mem: 164.02 MiB) 09:34:44 Scheme is: client_ivc, num threads: 128 (mem: 164.02 MiB) 09:34:44 --proof_path: /tmp/bb-client-ivc-integration-viWSWx/proof (mem: 164.02 MiB) 09:34:44 --vk_path: /tmp/bb-client-ivc-integration-viWSWx/vk (mem: 164.02 MiB) 09:34:44 --verbose: true (mem: 164.02 MiB) 09:34:44 --scheme: client_ivc (mem: 164.02 MiB) 09:34:44 [09:34:44.807] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 164.02 MiB) 09:34:44 [09:34:44.827] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 164.02 MiB) 09:34:44 [09:34:44.827] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 164.02 MiB) 09:34:44 [09:34:44.847] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 164.02 MiB) 09:34:44 Initialized BN254 CRS from memory with num points = 1025 (mem: 164.02 MiB) 09:34:44 [09:34:44.848] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 164.02 MiB) 09:34:44 libra_evals_verified: 1 (mem: 164.02 MiB) 09:34:44 pairing_check_verified: 1 (mem: 164.02 MiB) 09:34:44 [09:34:44.849] INFO: ivc-integration:test:native Mega verified: 1 (mem: 164.02 MiB) 09:34:44 [09:34:44.913] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 173.75 MiB) 09:34:44 batch opening verified?: 1 (mem: 173.75 MiB) 09:34:44 eccvm consistency check verified?: 1 (mem: 173.75 MiB) 09:34:44 translation masking consistency checked?: 1 (mem: 173.75 MiB) 09:34:44 [09:34:44.936] INFO: ivc-integration:test:native merge verified?: 1 (mem: 173.75 MiB) 09:34:44 eccvm verified?: 1 (mem: 173.75 MiB) 09:34:44 accumulator construction_verified?: 1 (mem: 173.75 MiB) 09:34:44 translation verified?: 1 (mem: 173.75 MiB) 09:34:44 consistency verified?: 1 (mem: 173.75 MiB) 09:34:44 Goblin verified: 1 (mem: 173.75 MiB) 09:34:44 [09:34:44.940] INFO: ivc-integration:test:native verified: 1 (mem: 173.75 MiB) 09:34:44 PASS src/native_client_ivc_integration.test.ts (87.039 s) 09:34:44 Client IVC Integration 09:34:44 ✓ Should generate a verifiable client IVC proof from a simple mock tx (44383 ms) 09:34:44 ✓ Should generate a verifiable client IVC proof from a complex mock tx (39286 ms) 09:34:44 09:34:44 Test Suites: 1 passed, 1 total 09:34:44 Tests: 2 passed, 2 total 09:34:44 Snapshots: 0 total 09:34:44 Time: 87.113 s 09:34:44 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 09:34:44 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?