Parent Log: http://ci.aztec-labs.com/338dc61726cce170 Command: bbc5a7ea91d19a83: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/4800d08570523bc1b2a9e8ec0dfb09e326f4689a Env: REF_NAME=gh-readonly-queue/next/pr-14900-d3bba2d69dbc070d51bcd50607354193573876ba CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 13:28:21 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14900_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 13:28:24 [13:28:24.955] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-MsPLyt/ivc-inputs.msgpack 13:28:24 [13:28:24.962] 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-MsPLyt --ivc_inputs_path /tmp/bb-client-ivc-integration-MsPLyt/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:28:24 [13:28:24.981] INFO: ivc-integration:test:native bb - bb command: prove (mem: 158.63 MiB) 13:28:24 [13:28:24.982] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 158.63 MiB) 13:28:24 --scheme: client_ivc (mem: 158.63 MiB) 13:28:24 --output_path: /tmp/bb-client-ivc-integration-MsPLyt (mem: 158.63 MiB) 13:28:24 --ivc_inputs_path: /tmp/bb-client-ivc-integration-MsPLyt/ivc-inputs.msgpack (mem: 158.63 MiB) 13:28:24 --verbose: true (mem: 158.63 MiB) 13:28:24 --write_vk: true (mem: 158.63 MiB) 13:28:24 BN254 commitment key size: 262144 (mem: 158.63 MiB) 13:28:25 [13:28:25.088] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.00 MiB) 13:28:25 [13:28:25.171] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 283.69 MiB) 13:28:25 [13:28:25.176] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 283.69 MiB) 13:28:25 [13:28:25.176] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 283.69 MiB) 13:28:25 [13:28:25.182] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 283.69 MiB) 13:28:25 goblin ecc op : 4/1024 (mem: 283.69 MiB) 13:28:25 busread : 7/6000 (mem: 283.69 MiB) 13:28:25 lookups : 2/15000 (mem: 283.69 MiB) 13:28:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 283.69 MiB) 13:28:25 arithmetic : 1760/56000 (mem: 283.69 MiB) 13:28:25 delta range : 1754/18000 (mem: 283.69 MiB) 13:28:25 elliptic : 2/6000 (mem: 283.69 MiB) 13:28:25 auxiliary : 26/26000 (mem: 283.69 MiB) 13:28:25 poseidon ext : 2/17000 (mem: 283.69 MiB) 13:28:25 poseidon int : 2/92000 (mem: 283.69 MiB) 13:28:25 overflow : 0/0 (mem: 283.69 MiB) 13:28:25 (mem: 283.69 MiB) 13:28:25 Total structured size: 242025 (mem: 283.69 MiB) 13:28:25 [13:28:25.184] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 283.69 MiB) 13:28:25 [13:28:25.246] INFO: ivc-integration:test:native bb - populating trace... (mem: 497.85 MiB) 13:28:25 [13:28:25.261] INFO: ivc-integration:test:native bb - time to construct proving key: 84 ms. (mem: 510.85 MiB) 13:28:25 [13:28:25.300] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a66d6e83f00 (mem: 510.85 MiB) 13:28:25 computing oink proof... (mem: 510.85 MiB) 13:28: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: 510.85 MiB) 13:28:25 [13:28:25.859] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 510.85 MiB) 13:28:26 [13:28:26.147] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 520.85 MiB) 13:28:26 [13:28:26.167] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.85 MiB) 13:28:26 [13:28:26.196] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 520.85 MiB) 13:28:26 Constructing DeciderProvingKey (mem: 520.85 MiB) 13:28:26 [13:28:26.204] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 520.85 MiB) 13:28:26 goblin ecc op : 56/1024 (mem: 520.85 MiB) 13:28:26 busread : 12/6000 (mem: 520.85 MiB) 13:28:26 lookups : 2/15000 (mem: 520.85 MiB) 13:28:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 520.85 MiB) 13:28:26 arithmetic : 4625/56000 (mem: 520.85 MiB) 13:28:26 delta range : 2054/18000 (mem: 520.85 MiB) 13:28:26 elliptic : 2/6000 (mem: 520.85 MiB) 13:28:26 auxiliary : 110/26000 (mem: 520.85 MiB) 13:28:26 poseidon ext : 1302/17000 (mem: 520.85 MiB) 13:28:26 poseidon int : 7412/92000 (mem: 520.85 MiB) 13:28:26 overflow : 0/0 (mem: 520.85 MiB) 13:28:26 (mem: 520.85 MiB) 13:28:26 Total structured size: 242025 (mem: 520.85 MiB) 13:28:26 allocating polynomials object in proving key... (mem: 520.85 MiB) 13:28:26 [13:28:26.378] INFO: ivc-integration:test:native bb - populating trace... (mem: 727.85 MiB) 13:28:26 [13:28:26.427] INFO: ivc-integration:test:native bb - time to construct proving key: 230 ms. (mem: 744.85 MiB) 13:28:26 [13:28:26.597] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a66d6e90b80 (mem: 744.85 MiB) 13:28:26 computing folding proof (mem: 744.85 MiB) 13:28:26 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 744.85 MiB) 13:28:27 [13:28:27.233] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 744.85 MiB) 13:28:27 [13:28:27.671] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 744.85 MiB) 13:28:27 [13:28:27.769] INFO: ivc-integration:test:native bb - perturbator round (mem: 781.85 MiB) 13:28:27 [13:28:27.817] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 813.85 MiB) 13:28:28 [13:28:28.176] INFO: ivc-integration:test:native bb - folded (mem: 813.85 MiB) 13:28:28 constructed folding proof (mem: 813.85 MiB) 13:28:28 [13:28:28.188] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 813.85 MiB) 13:28:28 [13:28:28.254] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 813.85 MiB) 13:28:28 Constructing DeciderProvingKey (mem: 813.85 MiB) 13:28:28 [13:28:28.258] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 813.85 MiB) 13:28:28 goblin ecc op : 392/1024 (mem: 813.85 MiB) 13:28:28 busread : 3/6000 (mem: 813.85 MiB) 13:28:28 lookups : 2/15000 (mem: 813.85 MiB) 13:28:28 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 813.85 MiB) 13:28:28 arithmetic : 6849/56000 (mem: 813.85 MiB) 13:28:28 delta range : 2333/18000 (mem: 813.85 MiB) 13:28:28 elliptic : 2/6000 (mem: 813.85 MiB) 13:28:28 auxiliary : 50/26000 (mem: 813.85 MiB) 13:28:28 poseidon ext : 2472/17000 (mem: 813.85 MiB) 13:28:28 poseidon int : 14081/92000 (mem: 813.85 MiB) 13:28:28 overflow : 0/0 (mem: 813.85 MiB) 13:28:28 (mem: 813.85 MiB) 13:28:28 Total structured size: 242025 (mem: 813.85 MiB) 13:28:28 allocating polynomials object in proving key... (mem: 813.85 MiB) 13:28:28 [13:28:28.501] INFO: ivc-integration:test:native bb - populating trace... (mem: 813.85 MiB) 13:28:28 [13:28:28.526] INFO: ivc-integration:test:native bb - time to construct proving key: 273 ms. (mem: 813.85 MiB) 13:28:28 [13:28:28.612] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a66d6e86540 (mem: 813.85 MiB) 13:28:28 computing folding proof (mem: 813.85 MiB) 13:28:28 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 813.85 MiB) 13:28:29 [13:28:29.232] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 813.85 MiB) 13:28:29 [13:28:29.972] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 813.85 MiB) 13:28:30 [13:28:30.101] INFO: ivc-integration:test:native bb - perturbator round (mem: 813.85 MiB) 13:28:30 [13:28:30.163] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.59 MiB) 13:28:30 [13:28:30.593] INFO: ivc-integration:test:native bb - folded (mem: 821.59 MiB) 13:28:30 constructed folding proof (mem: 821.59 MiB) 13:28:30 Largest circuit: 25792 gates. Trace details: (mem: 821.59 MiB) 13:28:30 Minimum required block sizes for structured trace: (mem: 821.59 MiB) 13:28:30 (mem: 821.59 MiB) 13:28:30 prove decider... (mem: 821.59 MiB) 13:28:30 [13:28:30.595] INFO: ivc-integration:test:native bb - ecc_op : 392 13:28:30 busread : 12 13:28:30 lookup : 2 13:28:30 pub_inputs : 36 13:28:30 arithmetic : 6849 13:28:30 delta_range : 2333 13:28:30 elliptic : 2 13:28:30 aux : 110 13:28:30 poseidon2_external : 2472 13:28:30 poseidon2_internal : 14081 13:28:30 overflow : 0 13:28:30 [13:28:30.747] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.59 MiB) 13:28:30 [13:28:30.912] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 821.59 MiB) 13:28:31 [13:28:31.903] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 821.59 MiB) 13:28:31 [13:28:31.990] INFO: ivc-integration:test:native bb - computed opening proof (mem: 821.59 MiB) 13:28:31 finished decider proving. (mem: 821.59 MiB) 13:28:32 [13:28:32.012] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 821.59 MiB) 13:28:32 [13:28:32.131] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 821.59 MiB) 13:28:32 [13:28:32.137] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 821.59 MiB) 13:28:32 [13:28:32.348] INFO: ivc-integration:test:native bb - populating trace... 13:28:32 [13:28:32.355] INFO: ivc-integration:test:native bb - (mem: 821.59 MiB) 13:28:32 [13:28:32.453] INFO: ivc-integration:test:native bb - time to construct proving key: 315 ms. (mem: 821.59 MiB) 13:28:33 [13:28:33.032] 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: 821.59 MiB) 13:28:33 [13:28:33.600] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 821.59 MiB) 13:28:34 [13:28:34.395] INFO: ivc-integration:test:native bb - created oink proof (mem: 821.59 MiB) 13:28:34 [13:28:34.685] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 13:28:34 [13:28:34.686] INFO: ivc-integration:test:native bb - (mem: 821.59 MiB) 13:28:36 [13:28:36.335] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 821.59 MiB) 13:28:37 [13:28:37.529] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 821.59 MiB) 13:28:37 [13:28:37.583] INFO: ivc-integration:test:native bb - computed opening proof (mem: 821.59 MiB) 13:28:37 finished decider proving. (mem: 821.59 MiB) 13:28:37 [13:28:37.584] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 821.59 MiB) 13:28:37 [13:28:37.899] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 821.59 MiB) 13:28:38 [13:28:38.564] 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: 821.59 MiB) 13:28:38 [13:28:38.604] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 821.59 MiB) 13:28:40 [13:28:40.924] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.59 MiB) 13:28:43 [13:28:43.078] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 13:28:43 [13:28:43.079] INFO: ivc-integration:test:native bb - (mem: 13:28:43 [13:28:43.079] INFO: ivc-integration:test:native bb - 821.59 13:28:43 [13:28:43.079] INFO: ivc-integration:test:native bb - MiB) 13:28:43 [13:28:43.079] INFO: ivc-integration:test:native bb - 13:28:48 [13:28:48.500] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 821.59 MiB) 13:28:48 prove translator... (mem: 821.59 MiB) 13:28:51 [13:28:51.771] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 842.56 MiB) 13:28:54 [13:28:54.591] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 843.56 MiB) 13:28:57 [13:28:57.767] INFO: ivc-integration:test:native bb - computed opening proof (mem: 843.56 MiB) 13:28:57 finished translator proving. (mem: 843.56 MiB) 13:28:57 [13:28:57.774] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 843.56 MiB) 13:28:57 [13:28:57.802] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 843.56 MiB) 13:28:57 libra_evals_verified: 1 (mem: 843.56 MiB) 13:28:57 pairing_check_verified: 1 (mem: 843.56 MiB) 13:28:57 Mega verified: 1 (mem: 13:28:57 [13:28:57.803] INFO: ivc-integration:test:native bb - 843.56 MiB) 13:28:57 [13:28:57.890] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 843.56 MiB) 13:28:57 batch opening verified?: 1 (mem: 843.56 MiB) 13:28:57 eccvm consistency check verified?: 1 (mem: 843.56 MiB) 13:28:57 translation masking consistency checked?: 1 (mem: 843.56 MiB) 13:28:57 [13:28:57.912] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 843.56 MiB) 13:28:57 eccvm verified?: 1 (mem: 843.56 MiB) 13:28:57 accumulator construction_verified?: 1 (mem: 843.56 MiB) 13:28:57 translation verified?: 1 (mem: 843.56 MiB) 13:28:57 consistency verified?: 1 (mem: 843.56 MiB) 13:28:57 Goblin verified: 1 (mem: 843.56 MiB) 13:28:57 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-MsPLyt" (mem: 843.56 MiB) 13:28:57 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-MsPLyt" (mem: 843.56 MiB) 13:28:57 BN254 commitment key size: 262144 (mem: 843.56 MiB) 13:28:57 [13:28:57.914] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 843.56 MiB) 13:28:57 [13:28:57.919] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 843.56 MiB) 13:28:57 goblin ecc op : 4/1024 (mem: 843.56 MiB) 13:28:57 busread : 3/6000 (mem: 843.56 MiB) 13:28:57 lookups : 2/15000 (mem: 843.56 MiB) 13:28:57 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 843.56 MiB) 13:28:57 arithmetic : 1773/56000 (mem: 843.56 MiB) 13:28:57 delta range : 1754/18000 (mem: 843.56 MiB) 13:28:57 elliptic : 2/6000 (mem: 843.56 MiB) 13:28:57 auxiliary : 26/26000 (mem: 843.56 MiB) 13:28:57 poseidon ext : 2/17000 (mem: 843.56 MiB) 13:28:57 poseidon int : 2/92000 (mem: 843.56 MiB) 13:28:57 overflow : 0/0 (mem: 843.56 MiB) 13:28:57 (mem: 843.56 MiB) 13:28:57 Total structured size: 242025 (mem: 843.56 MiB) 13:28:57 allocating polynomials object in proving key... (mem: 843.56 MiB) 13:28:58 [13:28:58.269] INFO: ivc-integration:test:native bb - populating trace... (mem: 843.56 MiB) 13:28:58 [13:28:58.294] INFO: ivc-integration:test:native bb - time to construct proving key: 379 ms. (mem: 843.56 MiB) 13:28:58 [13:28:58.420] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 843.56 MiB) 13:28:59 [13:28:59.422] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 843.56 MiB) 13:28:59 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 843.56 MiB) 13:29:00 [13:29:00.417] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 843.56 MiB) 13:29:00 [13:29:00.824] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 843.56 MiB) 13:29:00 [13:29:00.835] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 843.56 MiB) 13:29:00 [13:29:00.859] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 843.56 MiB) 13:29:00 [13:29:00.864] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 843.56 MiB) 13:29:00 goblin ecc op : 56/1024 (mem: 843.56 MiB) 13:29:00 busread : 3/6000 (mem: 843.56 MiB) 13:29:00 lookups : 2/15000 (mem: 843.56 MiB) 13:29:00 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 843.56 MiB) 13:29:00 arithmetic : 4481/56000 (mem: 843.56 MiB) 13:29:00 delta range : 2041/18000 (mem: 843.56 MiB) 13:29:00 elliptic : 2/6000 (mem: 843.56 MiB) 13:29:00 auxiliary : 50/26000 (mem: 843.56 MiB) 13:29:00 poseidon ext : 1312/17000 (mem: 843.56 MiB) 13:29:00 poseidon int : 7469/92000 (mem: 843.56 MiB) 13:29:00 overflow : 0/0 (mem: 843.56 MiB) 13:29:00 (mem: 843.56 MiB) 13:29:00 Total structured size: 242025 (mem: 843.56 MiB) 13:29:00 allocating polynomials object in proving key... (mem: 843.56 MiB) 13:29:01 [13:29:01.084] INFO: ivc-integration:test:native bb - populating trace... (mem: 843.56 MiB) 13:29:01 [13:29:01.164] INFO: ivc-integration:test:native bb - time to construct proving key: 290 ms. (mem: 843.56 MiB) 13:29:01 [13:29:01.522] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 843.56 MiB) 13:29:02 [13:29:02.573] INFO: ivc-integration:test:native bb - computing folding proof (mem: 843.56 MiB) 13:29: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: 843.56 MiB) 13:29:03 [13:29:03.207] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 843.56 MiB) 13:29:04 [13:29:04.024] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 843.56 MiB) 13:29:04 [13:29:04.152] INFO: ivc-integration:test:native bb - perturbator round (mem: 845.56 MiB) 13:29:04 [13:29:04.220] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 877.56 MiB) 13:29:04 [13:29:04.490] INFO: ivc-integration:test:native bb - folded (mem: 877.56 MiB) 13:29:04 [13:29:04.490] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 877.56 MiB) 13:29:04 Largest circuit: 15360 gates. Trace details: (mem: 877.56 MiB) 13:29:04 Minimum required block sizes for structured trace: (mem: 877.56 MiB) 13:29:04 (mem: 877.56 MiB) 13:29:04 prove decider... (mem: 877.56 MiB) 13:29:04 [13:29:04.491] INFO: ivc-integration:test:native bb - ecc_op : 56 13:29:04 busread : 3 13:29:04 lookup : 2 13:29:04 pub_inputs : 36 13:29:04 arithmetic : 4481 13:29:04 delta_range : 2041 13:29:04 elliptic : 2 13:29:04 aux : 50 13:29:04 poseidon2_external : 1312 13:29:04 poseidon2_internal : 7469 13:29:04 overflow : 0 13:29:04 [13:29:04.724] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 877.56 MiB) 13:29:04 [13:29:04.892] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 877.56 MiB) 13:29:06 [13:29:06.140] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 877.56 MiB) 13:29:06 [13:29:06.207] INFO: ivc-integration:test:native bb - computed opening proof (mem: 877.56 MiB) 13:29:06 finished decider proving. (mem: 877.56 MiB) 13:29:06 [13:29:06.225] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 877.56 MiB) 13:29:06 [13:29:06.328] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 13:29:06 [13:29:06.331] INFO: ivc-integration:test:native bb - (mem: 877.56 MiB) 13:29:06 [13:29:06.334] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 13:29:06 [13:29:06.335] INFO: ivc-integration:test:native bb - (mem: 13:29:06 [13:29:06.335] INFO: ivc-integration:test:native bb - 877.56 MiB) 13:29:06 [13:29:06.521] INFO: ivc-integration:test:native bb - populating trace... (mem: 877.56 MiB) 13:29:06 [13:29:06.611] INFO: ivc-integration:test:native bb - time to construct proving key: 281 ms. (mem: 877.56 MiB) 13:29:07 [13:29:07.508] 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-MsPLyt/proof -k /tmp/bb-client-ivc-integration-MsPLyt/vk -v 13:29:07 [13:29:07.536] INFO: ivc-integration:test:native bb command: verify (mem: 158.63 MiB) 13:29:07 Scheme is: client_ivc, num threads: 128 (mem: 158.63 MiB) 13:29:07 --proof_path: /tmp/bb-client-ivc-integration-MsPLyt/proof (mem: 158.63 MiB) 13:29:07 --vk_path: /tmp/bb-client-ivc-integration-MsPLyt/vk (mem: 158.63 MiB) 13:29:07 --verbose: true (mem: 158.63 MiB) 13:29:07 --scheme: client_ivc (mem: 158.63 MiB) 13:29:07 [13:29:07.638] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 158.63 MiB) 13:29:07 [13:29:07.668] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 13:29:07 [13:29:07.670] INFO: ivc-integration:test:native (mem: 170.89 MiB) 13:29:07 [13:29:07.674] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 170.89 MiB) 13:29:07 [13:29:07.694] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 13:29:07 [13:29:07.696] INFO: ivc-integration:test:native (mem: 170.89 MiB) 13:29:07 Initialized BN254 CRS from memory with num points = 1025 (mem: 170.89 MiB) 13:29:07 [13:29:07.697] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 170.89 MiB) 13:29:07 libra_evals_verified: 1 (mem: 170.89 MiB) 13:29:07 pairing_check_verified: 1 (mem: 170.89 MiB) 13:29:07 Mega verified: 1 (mem: 170.89 MiB) 13:29:07 [13:29:07.785] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 186.34 MiB) 13:29:07 batch opening verified?: 1 (mem: 186.34 MiB) 13:29:07 eccvm consistency check verified?: 1 (mem: 186.34 MiB) 13:29:07 translation masking consistency checked?: 1 (mem: 186.34 MiB) 13:29:07 [13:29:07.806] INFO: ivc-integration:test:native merge verified?: 1 (mem: 186.34 MiB) 13:29:07 eccvm verified?: 1 (mem: 186.34 MiB) 13:29:07 accumulator construction_verified?: 1 (mem: 186.34 MiB) 13:29:07 translation verified?: 1 (mem: 186.34 MiB) 13:29:07 consistency verified?: 1 (mem: 186.34 MiB) 13:29:07 [13:29:07.810] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 186.34 MiB) 13:29:07 [13:29:07.812] INFO: ivc-integration:test:native verified: 1 (mem: 186.34 MiB) 13:29:07 [13:29:07.941] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-YFKAWw/ivc-inputs.msgpack 13:29:07 [13:29:07.942] 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-YFKAWw --ivc_inputs_path /tmp/bb-client-ivc-integration-YFKAWw/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:29:07 [13:29:07.965] INFO: ivc-integration:test:native bb - bb command: prove (mem: 159.06 MiB) 13:29:07 [13:29:07.967] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 159.06 MiB) 13:29:07 --scheme: client_ivc (mem: 159.06 MiB) 13:29:07 --output_path: /tmp/bb-client-ivc-integration-YFKAWw (mem: 159.06 MiB) 13:29:07 --ivc_inputs_path: /tmp/bb-client-ivc-integration-YFKAWw/ivc-inputs.msgpack (mem: 159.06 MiB) 13:29:07 --verbose: true (mem: 159.06 MiB) 13:29:07 --write_vk: true (mem: 159.06 MiB) 13:29:07 [13:29:07.973] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 159.06 MiB) 13:29:08 [13:29:08.108] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 263.00 MiB) 13:29:08 [13:29:08.206] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 310.95 MiB) 13:29:08 [13:29:08.211] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 310.95 MiB) 13:29:08 Constructing DeciderProvingKey (mem: 310.95 MiB) 13:29:08 [13:29:08.217] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 310.95 MiB) 13:29:08 goblin ecc op : 4/1024 (mem: 310.95 MiB) 13:29:08 [13:29:08.218] INFO: ivc-integration:test:native bb - busread : 7/6000 (mem: 310.95 MiB) 13:29:08 lookups : 2/15000 (mem: 310.95 MiB) 13:29:08 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 310.95 MiB) 13:29:08 arithmetic : 1760/56000 (mem: 310.95 MiB) 13:29:08 delta range : 1754/18000 (mem: 310.95 MiB) 13:29:08 elliptic : 2/6000 (mem: 310.95 MiB) 13:29:08 auxiliary : 26/26000 (mem: 310.95 MiB) 13:29:08 poseidon ext : 2/17000 (mem: 310.95 MiB) 13:29:08 poseidon int : 2/92000 (mem: 310.95 MiB) 13:29:08 overflow : 0/0 (mem: 310.95 MiB) 13:29:08 (mem: 310.95 MiB) 13:29:08 Total structured size: 242025 (mem: 310.95 MiB) 13:29:08 allocating polynomials object in proving key... (mem: 310.95 MiB) 13:29:08 [13:29:08.393] INFO: ivc-integration:test:native bb - populating trace... (mem: 512.77 MiB) 13:29:08 [13:29:08.423] INFO: ivc-integration:test:native bb - time to construct proving key: 211 ms. (mem: 522.77 MiB) 13:29:08 [13:29:08.503] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x633514ea6d40 (mem: 522.77 MiB) 13:29:08 computing oink proof... (mem: 522.77 MiB) 13:29:08 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 13:29:08 [13:29:08.505] INFO: ivc-integration:test:native bb - 522.77 MiB) 13:29:09 [13:29:09.353] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.77 MiB) 13:29:09 [13:29:09.804] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 529.77 MiB) 13:29:09 [13:29:09.836] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 529.77 MiB) 13:29:09 [13:29:09.882] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 13:29:09 [13:29:09.892] INFO: ivc-integration:test:native bb - (mem: 529.77 MiB) 13:29:09 [13:29:09.893] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 529.77 MiB) 13:29:09 [13:29:09.905] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 529.77 MiB) 13:29:09 goblin ecc op : 56/1024 (mem: 529.77 MiB) 13:29:09 busread : 12/6000 (mem: 529.77 MiB) 13:29:09 lookups : 2/15000 (mem: 529.77 MiB) 13:29:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 529.77 MiB) 13:29:09 arithmetic : 4625/56000 (mem: 529.77 MiB) 13:29:09 delta range : 2054/18000 (mem: 529.77 MiB) 13:29:09 elliptic : 2/6000 (mem: 529.77 MiB) 13:29:09 auxiliary : 110/26000 (mem: 529.77 MiB) 13:29:09 poseidon ext : 1302/17000 (mem: 529.77 MiB) 13:29:09 poseidon int : 7412/92000 (mem: 529.77 MiB) 13:29:09 overflow : 0/0 (mem: 529.77 MiB) 13:29:09 (mem: 529.77 MiB) 13:29:09 Total structured size: 242025 (mem: 529.77 MiB) 13:29:09 allocating polynomials object in proving key... (mem: 529.77 MiB) 13:29:10 [13:29:10.098] INFO: ivc-integration:test:native bb - populating trace... (mem: 736.77 MiB) 13:29:10 [13:29:10.150] INFO: ivc-integration:test:native bb - time to construct proving key: 256 ms. (mem: 753.77 MiB) 13:29:10 [13:29:10.266] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x633514eaffc0 (mem: 753.77 MiB) 13:29:10 computing folding proof (mem: 753.77 MiB) 13:29:10 [13:29:10.268] 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: 753.77 MiB) 13:29:11 [13:29:11.013] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 753.77 MiB) 13:29:11 [13:29:11.478] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 753.77 MiB) 13:29:11 [13:29:11.565] INFO: ivc-integration:test:native bb - perturbator round (mem: 789.77 MiB) 13:29:11 [13:29:11.636] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.77 MiB) 13:29:11 [13:29:11.861] INFO: ivc-integration:test:native bb - folded (mem: 821.77 MiB) 13:29:11 constructed folding proof (mem: 821.77 MiB) 13:29:11 [13:29:11.864] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.77 MiB) 13:29:11 [13:29:11.864] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 821.77 MiB) 13:29:11 [13:29:11.871] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.77 MiB) 13:29:11 goblin ecc op : 4/1024 (mem: 821.77 MiB) 13:29:11 busread : 7/6000 (mem: 821.77 MiB) 13:29:11 lookups : 2/15000 (mem: 821.77 MiB) 13:29:11 [13:29:11.872] INFO: ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.77 MiB) 13:29:11 arithmetic : 1760/56000 (mem: 821.77 MiB) 13:29:11 delta range : 1754/18000 (mem: 821.77 MiB) 13:29:11 elliptic : 2/6000 (mem: 821.77 MiB) 13:29:11 auxiliary : 26/26000 (mem: 821.77 MiB) 13:29:11 poseidon ext : 2/17000 (mem: 821.77 MiB) 13:29:11 poseidon int : 2/92000 (mem: 821.77 MiB) 13:29:11 overflow : 0/0 (mem: 821.77 MiB) 13:29:11 (mem: 821.77 MiB) 13:29:11 Total structured size: 242025 (mem: 821.77 MiB) 13:29:11 allocating polynomials object in proving key... (mem: 821.77 MiB) 13:29:11 [13:29:11.971] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.77 MiB) 13:29:11 [13:29:11.994] INFO: ivc-integration:test:native bb - time to construct proving key: 129 ms. (mem: 821.77 MiB) 13:29:12 [13:29:12.083] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x633514ea7580 (mem: 821.77 MiB) 13:29:12 computing folding proof (mem: 821.77 MiB) 13:29: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: 821.77 MiB) 13:29:12 [13:29:12.781] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.77 MiB) 13:29:13 [13:29:13.040] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.77 MiB) 13:29:13 [13:29:13.117] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.77 MiB) 13:29:13 [13:29:13.202] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.78 MiB) 13:29:13 [13:29:13.461] INFO: ivc-integration:test:native bb - folded (mem: 821.78 MiB) 13:29:13 constructed folding proof (mem: 821.78 MiB) 13:29:13 [13:29:13.475] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 821.78 MiB) 13:29:13 [13:29:13.564] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.78 MiB) 13:29:13 [13:29:13.647] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 821.78 MiB) 13:29:13 Constructing DeciderProvingKey (mem: 821.78 MiB) 13:29:13 [13:29:13.653] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.78 MiB) 13:29:13 goblin ecc op : 792/1024 (mem: 821.78 MiB) 13:29:13 busread : 12/6000 (mem: 821.78 MiB) 13:29:13 lookups : 2/15000 (mem: 821.78 MiB) 13:29:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.78 MiB) 13:29:13 arithmetic : 12080/56000 (mem: 821.78 MiB) 13:29:13 [13:29:13.654] INFO: ivc-integration:test:native bb - delta range : 2942/18000 (mem: 821.78 MiB) 13:29:13 elliptic : 2/6000 (mem: 821.78 MiB) 13:29:13 auxiliary : 350/26000 (mem: 821.78 MiB) 13:29:13 poseidon ext : 4942/17000 (mem: 821.78 MiB) 13:29:13 poseidon int : 28160/92000 (mem: 821.78 MiB) 13:29:13 overflow : 0/0 (mem: 821.78 MiB) 13:29:13 (mem: 821.78 MiB) 13:29:13 Total structured size: 242025 (mem: 821.78 MiB) 13:29:13 allocating polynomials object in proving key... (mem: 821.78 MiB) 13:29:13 [13:29:13.739] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.78 MiB) 13:29:13 [13:29:13.791] INFO: ivc-integration:test:native bb - time to construct proving key: 143 ms. (mem: 821.78 MiB) 13:29:13 [13:29:13.916] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x633514ea1000 (mem: 821.78 MiB) 13:29:13 computing folding proof (mem: 821.78 MiB) 13:29:13 [13:29:13.917] 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: 821.78 MiB) 13:29:14 [13:29:14.549] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 821.78 MiB) 13:29:15 [13:29:15.045] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.78 MiB) 13:29:15 [13:29:15.125] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.78 MiB) 13:29:15 [13:29:15.179] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.40 MiB) 13:29:15 [13:29:15.312] INFO: ivc-integration:test:native bb - folded (mem: 850.40 MiB) 13:29:15 constructed folding proof (mem: 850.40 MiB) 13:29:15 [13:29:15.323] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 850.40 MiB) 13:29:15 [13:29:15.385] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 850.40 MiB) 13:29:15 Constructing DeciderProvingKey (mem: 850.40 MiB) 13:29:15 [13:29:15.388] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.40 MiB) 13:29:15 goblin ecc op : 392/1024 (mem: 850.40 MiB) 13:29:15 busread : 16/6000 (mem: 850.40 MiB) 13:29:15 lookups : 2/15000 (mem: 850.40 MiB) 13:29:15 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 850.40 MiB) 13:29:15 arithmetic : 6914/56000 (mem: 850.40 MiB) 13:29:15 delta range : 2347/18000 (mem: 850.40 MiB) 13:29:15 elliptic : 2/6000 (mem: 850.40 MiB) 13:29:15 auxiliary : 77/26000 (mem: 850.40 MiB) 13:29:15 poseidon ext : 2472/17000 (mem: 850.40 MiB) 13:29:15 poseidon int : 14081/92000 (mem: 850.40 MiB) 13:29:15 overflow : 0/0 (mem: 850.40 MiB) 13:29:15 (mem: 850.40 MiB) 13:29:15 Total structured size: 242025 (mem: 850.40 MiB) 13:29:15 allocating polynomials object in proving key... (mem: 850.40 MiB) 13:29:15 [13:29:15.463] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.40 MiB) 13:29:15 [13:29:15.498] INFO: ivc-integration:test:native bb - time to construct proving key: 114 ms. (mem: 850.40 MiB) 13:29:15 [13:29:15.620] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x633514f23ec0 13:29:15 [13:29:15.621] INFO: ivc-integration:test:native bb - (mem: 850.40 MiB) 13:29:15 computing folding proof (mem: 850.40 MiB) 13:29:15 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.40 MiB) 13:29:16 [13:29:16.139] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.40 MiB) 13:29:16 [13:29:16.730] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.40 MiB) 13:29:16 [13:29:16.956] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.40 MiB) 13:29:17 [13:29:17.042] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.42 MiB) 13:29:17 [13:29:17.504] INFO: ivc-integration:test:native bb - folded (mem: 851.42 MiB) 13:29:17 [13:29:17.505] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 851.42 MiB) 13:29:17 [13:29:17.515] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 13:29:17 [13:29:17.516] INFO: ivc-integration:test:native bb - 851.42 MiB) 13:29:17 [13:29:17.613] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 851.42 MiB) 13:29:17 Constructing DeciderProvingKey (mem: 851.42 MiB) 13:29:17 [13:29:17.615] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 13:29:17 [13:29:17.615] INFO: ivc-integration:test:native bb - (mem: 13:29:17 [13:29:17.616] INFO: ivc-integration:test:native bb - 851.42 13:29:17 [13:29:17.616] INFO: ivc-integration:test:native bb - MiB) 13:29:17 [13:29:17.617] INFO: ivc-integration:test:native bb - 13:29:17 [13:29:17.617] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 13:29:17 [13:29:17.619] INFO: ivc-integration:test:native bb - (mem: 851.42 MiB) 13:29:17 busread : 3/6000 (mem: 851.42 MiB) 13:29:17 lookups : 2/15000 (mem: 851.42 MiB) 13:29:17 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.42 MiB) 13:29:17 arithmetic : 6849/56000 (mem: 851.42 MiB) 13:29:17 delta range : 2333/18000 (mem: 851.42 MiB) 13:29:17 elliptic : 2/6000 (mem: 851.42 MiB) 13:29:17 auxiliary : 50/26000 (mem: 851.42 MiB) 13:29:17 poseidon ext : 2472/17000 (mem: 851.42 MiB) 13:29:17 poseidon int : 14081/92000 (mem: 851.42 MiB) 13:29:17 overflow : 0/0 (mem: 851.42 MiB) 13:29:17 (mem: 851.42 MiB) 13:29:17 Total structured size: 242025 (mem: 851.42 MiB) 13:29:17 allocating polynomials object in proving key... (mem: 851.42 MiB) 13:29:17 [13:29:17.809] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.42 MiB) 13:29:17 [13:29:17.868] INFO: ivc-integration:test:native bb - time to construct proving key: 252 ms. (mem: 851.42 MiB) 13:29:18 [13:29:18.104] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x633514eba7c0 (mem: 851.42 MiB) 13:29:18 computing folding proof (mem: 851.42 MiB) 13:29:18 [13:29:18.106] 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.42 MiB) 13:29:18 [13:29:18.706] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.42 MiB) 13:29:19 [13:29:19.457] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.42 MiB) 13:29:19 [13:29:19.577] INFO: ivc-integration:test:native bb - perturbator round (mem: 851.42 MiB) 13:29:19 [13:29:19.658] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.84 MiB) 13:29:20 [13:29:20.156] INFO: ivc-integration:test:native bb - folded (mem: 851.84 MiB) 13:29:20 constructed folding proof (mem: 851.84 MiB) 13:29:20 [13:29:20.162] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 851.84 MiB) 13:29:20 Minimum required block sizes for structured trace: (mem: 851.84 MiB) 13:29:20 [13:29:20.163] INFO: ivc-integration:test:native bb - (mem: 851.84 MiB) 13:29:20 prove decider... (mem: 851.84 MiB) 13:29:20 [13:29:20.163] INFO: ivc-integration:test:native bb - ecc_op : 792 13:29:20 busread : 16 13:29:20 lookup : 2 13:29:20 pub_inputs : 36 13:29:20 arithmetic : 12080 13:29:20 delta_range : 2942 13:29:20 elliptic : 2 13:29:20 aux : 350 13:29:20 poseidon2_external : 4942 13:29:20 poseidon2_internal : 28160 13:29:20 overflow : 0 13:29:20 [13:29:20.386] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.84 MiB) 13:29:20 [13:29:20.539] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.84 MiB) 13:29:21 [13:29:21.904] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.84 MiB) 13:29:22 [13:29:22.052] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.84 MiB) 13:29:22 finished decider proving. (mem: 851.84 MiB) 13:29:22 [13:29:22.089] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.84 MiB) 13:29:22 [13:29:22.299] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.84 MiB) 13:29:22 [13:29:22.311] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 851.84 MiB) 13:29:22 [13:29:22.560] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.84 MiB) 13:29:22 [13:29:22.668] INFO: ivc-integration:test:native bb - time to construct proving key: 363 ms. (mem: 851.84 MiB) 13:29:23 [13:29:23.174] 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.84 MiB) 13:29:23 [13:29:23.739] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 851.84 MiB) 13:29:24 [13:29:24.400] INFO: ivc-integration:test:native bb - created oink proof (mem: 851.84 MiB) 13:29:24 [13:29:24.592] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.84 MiB) 13:29:25 [13:29:25.967] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.84 MiB) 13:29:26 [13:29:26.949] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.84 MiB) 13:29:27 [13:29:27.031] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.84 MiB) 13:29:27 finished decider proving. (mem: 851.84 MiB) 13:29:27 [13:29:27.036] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 851.84 MiB) 13:29:27 [13:29:27.467] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 851.84 MiB) 13:29:28 [13:29:28.084] 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.84 MiB) 13:29:28 [13:29:28.104] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 851.84 MiB) 13:29:30 [13:29:30.160] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.84 MiB) 13:29:32 [13:29:32.507] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.84 MiB) 13:29:36 [13:29:36.444] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 851.84 MiB) 13:29:36 prove translator... (mem: 851.84 MiB) 13:29:39 [13:29:39.789] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 871.09 MiB) 13:29:41 [13:29:41.253] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 871.09 MiB) 13:29:42 [13:29:42.769] INFO: ivc-integration:test:native bb - computed opening proof (mem: 871.09 MiB) 13:29:42 [13:29:42.770] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 871.09 MiB) 13:29:42 [13:29:42.782] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 871.09 MiB) 13:29:42 [13:29:42.797] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 871.09 MiB) 13:29:42 libra_evals_verified: 1 (mem: 871.09 MiB) 13:29:42 pairing_check_verified: 1 (mem: 871.09 13:29:42 [13:29:42.799] INFO: ivc-integration:test:native bb - MiB) 13:29:42 Mega verified: 1 (mem: 871.09 MiB) 13:29:42 [13:29:42.882] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 872.09 MiB) 13:29:42 batch opening verified?: 1 (mem: 872.09 MiB) 13:29:42 eccvm consistency check verified?: 1 (mem: 872.09 MiB) 13:29:42 translation masking consistency checked?: 1 (mem: 872.09 MiB) 13:29:42 [13:29:42.905] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 872.09 MiB) 13:29:42 eccvm verified?: 1 (mem: 872.09 MiB) 13:29:42 accumulator construction_verified?: 1 (mem: 872.09 MiB) 13:29:42 translation verified?: 1 (mem: 872.09 MiB) 13:29:42 consistency verified?: 1 (mem: 872.09 MiB) 13:29:42 Goblin verified: 1 (mem: 872.09 MiB) 13:29:42 [13:29:42.906] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-YFKAWw" (mem: 872.09 MiB) 13:29:42 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-YFKAWw" (mem: 872.09 MiB) 13:29:42 BN254 commitment key size: 262144 (mem: 872.09 MiB) 13:29:42 [13:29:42.908] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.09 MiB) 13:29:42 [13:29:42.912] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.09 MiB) 13:29:42 goblin ecc op : 4/1024 (mem: 872.09 MiB) 13:29:42 busread : 3/6000 (mem: 872.09 MiB) 13:29:42 [13:29:42.913] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 872.09 MiB) 13:29:42 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 872.09 MiB) 13:29:42 arithmetic : 1773/56000 (mem: 872.09 MiB) 13:29:42 delta range : 1754/18000 (mem: 872.09 MiB) 13:29:42 elliptic : 2/6000 (mem: 872.09 MiB) 13:29:42 auxiliary : 26/26000 (mem: 872.09 MiB) 13:29:42 poseidon ext : 2/17000 (mem: 872.09 MiB) 13:29:42 poseidon int : 2/92000 (mem: 872.09 MiB) 13:29:42 overflow : 0/0 (mem: 872.09 MiB) 13:29:42 (mem: 872.09 MiB) 13:29:42 Total structured size: 242025 (mem: 872.09 MiB) 13:29:42 allocating polynomials object in proving key... (mem: 872.09 MiB) 13:29:42 [13:29:42.995] INFO: ivc-integration:test:native bb - populating trace... (mem: 872.09 MiB) 13:29:43 [13:29:43.005] INFO: ivc-integration:test:native bb - time to construct proving key: 97 ms. (mem: 872.09 MiB) 13:29:43 [13:29:43.066] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.09 MiB) 13:29:43 [13:29:43.493] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 872.09 MiB) 13:29:43 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 872.09 MiB) 13:29:43 [13:29:43.925] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.09 MiB) 13:29:44 [13:29:44.097] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 872.09 MiB) 13:29:44 [13:29:44.112] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.09 MiB) 13:29:44 [13:29:44.131] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.09 MiB) 13:29:44 [13:29:44.134] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.09 MiB) 13:29:44 goblin ecc op : 56/1024 (mem: 13:29:44 [13:29:44.135] INFO: ivc-integration:test:native bb - 872.09 MiB) 13:29:44 busread : 3/6000 (mem: 872.09 MiB) 13:29:44 lookups : 2/15000 (mem: 872.09 MiB) 13:29:44 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 872.09 MiB) 13:29:44 arithmetic : 4481/56000 (mem: 872.09 MiB) 13:29:44 delta range : 2041/18000 (mem: 872.09 MiB) 13:29:44 elliptic : 2/6000 (mem: 872.09 MiB) 13:29:44 auxiliary : 50/26000 (mem: 872.09 MiB) 13:29:44 poseidon ext : 1312/17000 (mem: 872.09 MiB) 13:29:44 poseidon int : 7469/92000 (mem: 872.09 MiB) 13:29:44 overflow : 0/0 (mem: 872.09 MiB) 13:29:44 (mem: 872.09 MiB) 13:29:44 Total structured size: 242025 (mem: 872.09 MiB) 13:29:44 allocating polynomials object in proving key... (mem: 872.09 MiB) 13:29:44 [13:29:44.231] INFO: ivc-integration:test:native bb - populating trace... (mem: 872.09 MiB) 13:29:44 [13:29:44.257] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 872.09 MiB) 13:29:44 [13:29:44.312] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.09 MiB) 13:29:44 [13:29:44.766] INFO: ivc-integration:test:native bb - computing folding proof (mem: 872.09 MiB) 13:29:44 [13:29:44.767] 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: 872.09 MiB) 13:29:45 [13:29:45.245] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 872.09 MiB) 13:29:45 [13:29:45.532] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 872.09 MiB) 13:29:45 [13:29:45.630] INFO: ivc-integration:test:native bb - perturbator round (mem: 872.09 MiB) 13:29:45 [13:29:45.675] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 904.09 MiB) 13:29:45 [13:29:45.821] INFO: ivc-integration:test:native bb - folded (mem: 904.09 MiB) 13:29:45 constructed folding proof (mem: 904.09 MiB) 13:29:45 [13:29:45.822] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 904.09 MiB) 13:29:45 Minimum required block sizes for structured trace: (mem: 904.09 MiB) 13:29:45 (mem: 904.09 MiB) 13:29:45 prove decider... (mem: 904.09 MiB) 13:29:45 [13:29:45.823] INFO: ivc-integration:test:native bb - ecc_op : 56 13:29:45 busread : 3 13:29:45 lookup : 2 13:29:45 pub_inputs : 36 13:29:45 arithmetic : 4481 13:29:45 delta_range : 2041 13:29:45 elliptic : 2 13:29:45 aux : 50 13:29:45 poseidon2_external : 1312 13:29:45 poseidon2_internal : 7469 13:29:45 overflow : 0 13:29:45 [13:29:45.909] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 904.09 MiB) 13:29:45 [13:29:45.994] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 904.09 MiB) 13:29:46 [13:29:46.426] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 904.09 MiB) 13:29:46 [13:29:46.476] INFO: ivc-integration:test:native bb - computed opening proof (mem: 904.09 MiB) 13:29:46 finished decider proving. (mem: 904.09 MiB) 13:29:46 [13:29:46.489] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 904.09 MiB) 13:29:46 [13:29:46.598] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 904.09 MiB) 13:29:46 [13:29:46.604] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 904.09 MiB) 13:29:46 [13:29:46.689] INFO: ivc-integration:test:native bb - populating trace... (mem: 904.09 MiB) 13:29:46 [13:29:46.733] INFO: ivc-integration:test:native bb - time to construct proving key: 135 ms. (mem: 904.09 MiB) 13:29:47 [13:29:47.149] 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-YFKAWw/proof -k /tmp/bb-client-ivc-integration-YFKAWw/vk -v 13:29:47 [13:29:47.170] INFO: ivc-integration:test:native bb command: verify 13:29:47 [13:29:47.171] INFO: ivc-integration:test:native (mem: 163.43 MiB) 13:29:47 Scheme is: client_ivc, num threads: 128 (mem: 163.43 MiB) 13:29:47 --proof_path: /tmp/bb-client-ivc-integration-YFKAWw/proof (mem: 163.43 MiB) 13:29:47 --vk_path: /tmp/bb-client-ivc-integration-YFKAWw/vk (mem: 163.43 MiB) 13:29:47 --verbose: true (mem: 163.43 MiB) 13:29:47 --scheme: client_ivc (mem: 163.43 MiB) 13:29:47 [13:29:47.275] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 163.43 MiB) 13:29:47 [13:29:47.297] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 163.43 MiB) 13:29:47 [13:29:47.298] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 163.43 MiB) 13:29:47 [13:29:47.312] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 163.43 MiB) 13:29:47 [13:29:47.313] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 163.43 MiB) 13:29:47 [13:29:47.314] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 163.43 MiB) 13:29:47 libra_evals_verified: 1 (mem: 163.43 MiB) 13:29:47 pairing_check_verified: 1 (mem: 163.43 MiB) 13:29:47 Mega verified: 1 (mem: 163.43 MiB) 13:29:47 [13:29:47.377] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 174.80 MiB) 13:29:47 batch opening verified?: 1 (mem: 174.80 MiB) 13:29:47 eccvm consistency check verified?: 1 (mem: 174.80 MiB) 13:29:47 translation masking consistency checked?: 1 (mem: 174.80 MiB) 13:29:47 [13:29:47.399] INFO: ivc-integration:test:native merge verified?: 1 (mem: 174.80 MiB) 13:29:47 eccvm verified?: 1 (mem: 174.80 MiB) 13:29:47 accumulator construction_verified?: 1 (mem: 174.80 MiB) 13:29:47 translation verified?: 1 (mem: 174.80 MiB) 13:29:47 consistency verified?: 1 (mem: 174.80 MiB) 13:29:47 Goblin verified: 1 (mem: 174.80 MiB) 13:29:47 [13:29:47.403] INFO: ivc-integration:test:native verified: 1 (mem: 174.80 MiB) 13:29:47 PASS src/native_client_ivc_integration.test.ts (85.642 s) 13:29:47 Client IVC Integration 13:29:47 ✓ Should generate a verifiable client IVC proof from a simple mock tx (42967 ms) 13:29:47 ✓ Should generate a verifiable client IVC proof from a complex mock tx (39567 ms) 13:29:47 13:29:47 Test Suites: 1 passed, 1 total 13:29:47 Tests: 2 passed, 2 total 13:29:47 Snapshots: 0 total 13:29:47 Time: 85.721 s 13:29:47 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 13:29:47 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?