ACI ·

Parent Log: http://ci.aztec-labs.com/f378932cfb9e1a30 Command: 61f8e44af0fc4001: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/e56baa7f24bac54baf9e2f22f6f33ae6fa8b8c0f Env: REF_NAME=gh-readonly-queue/next/pr-14891-76ca48a2187e3506bb464eae574e49476c2876ca CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 19:16:31 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14891_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 19:16:35 [19:16:35.699] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-FMkxLQ/ivc-inputs.msgpack 19:16:35 [19:16:35.705] 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-FMkxLQ --ivc_inputs_path /tmp/bb-client-ivc-integration-FMkxLQ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 19:16:35 [19:16:35.727] INFO: ivc-integration:test:native bb - bb command: prove (mem: 19:16:35 [19:16:35.728] INFO: ivc-integration:test:native bb - 155.86 MiB) 19:16:35 Scheme is: client_ivc, num threads: 128 (mem: 155.86 MiB) 19:16:35 --scheme: client_ivc (mem: 155.86 MiB) 19:16:35 --output_path: /tmp/bb-client-ivc-integration-FMkxLQ (mem: 155.86 MiB) 19:16:35 --ivc_inputs_path: /tmp/bb-client-ivc-integration-FMkxLQ/ivc-inputs.msgpack (mem: 155.86 MiB) 19:16:35 --verbose: true (mem: 155.86 MiB) 19:16:35 --write_vk: true (mem: 155.86 MiB) 19:16:35 BN254 commitment key size: 262144 (mem: 155.86 MiB) 19:16:35 [19:16:35.840] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.00 MiB) 19:16:35 [19:16:35.928] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 300.31 MiB) 19:16:35 [19:16:35.933] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 300.31 MiB) 19:16:35 [19:16:35.934] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 300.31 MiB) 19:16:35 [19:16:35.940] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 300.31 MiB) 19:16:35 goblin ecc op : 4/1024 (mem: 300.31 MiB) 19:16:35 busread : 7/6000 (mem: 300.31 MiB) 19:16:35 lookups : 2/15000 (mem: 300.31 MiB) 19:16:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 300.31 MiB) 19:16:35 arithmetic : 1760/56000 (mem: 300.31 MiB) 19:16:35 delta range : 1754/18000 (mem: 300.31 MiB) 19:16:35 elliptic : 2/6000 (mem: 300.31 MiB) 19:16:35 auxiliary : 26/26000 (mem: 300.31 MiB) 19:16:35 poseidon ext : 2/17000 (mem: 300.31 MiB) 19:16:35 poseidon int : 2/92000 (mem: 300.31 MiB) 19:16:35 overflow : 0/0 (mem: 300.31 MiB) 19:16:35 (mem: 300.31 MiB) 19:16:35 Total structured size: 242025 (mem: 300.31 MiB) 19:16:35 allocating polynomials object in proving key... (mem: 300.31 MiB) 19:16:36 [19:16:36.012] INFO: ivc-integration:test:native bb - populating trace... (mem: 505.46 MiB) 19:16:36 [19:16:36.022] INFO: ivc-integration:test:native bb - time to construct proving key: 88 ms. (mem: 522.46 MiB) 19:16:36 [19:16:36.052] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62b158380f00 (mem: 522.46 MiB) 19:16:36 computing oink proof... (mem: 522.46 MiB) 19:16:36 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 522.46 MiB) 19:16:36 [19:16:36.552] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.46 MiB) 19:16:36 [19:16:36.801] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 531.46 MiB) 19:16:36 [19:16:36.812] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 531.46 MiB) 19:16:36 [19:16:36.828] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 531.46 MiB) 19:16:36 Constructing DeciderProvingKey (mem: 531.46 MiB) 19:16:36 [19:16:36.832] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 531.46 MiB) 19:16:36 goblin ecc op : 56/1024 (mem: 531.46 MiB) 19:16:36 busread : 12/6000 (mem: 531.46 MiB) 19:16:36 lookups : 2/15000 (mem: 531.46 MiB) 19:16:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 531.46 MiB) 19:16:36 arithmetic : 4625/56000 (mem: 531.46 MiB) 19:16:36 delta range : 2054/18000 (mem: 531.46 MiB) 19:16:36 elliptic : 2/6000 (mem: 531.46 MiB) 19:16:36 auxiliary : 110/26000 (mem: 531.46 MiB) 19:16:36 poseidon ext : 1302/17000 (mem: 531.46 MiB) 19:16:36 poseidon int : 7412/92000 (mem: 531.46 MiB) 19:16:36 overflow : 0/0 (mem: 531.46 MiB) 19:16:36 (mem: 531.46 MiB) 19:16:36 Total structured size: 242025 (mem: 531.46 MiB) 19:16:36 allocating polynomials object in proving key... (mem: 531.46 MiB) 19:16:36 [19:16:36.986] INFO: ivc-integration:test:native bb - populating trace... (mem: 734.46 MiB) 19:16:37 [19:16:37.021] INFO: ivc-integration:test:native bb - time to construct proving key: 192 ms. (mem: 746.46 MiB) 19:16:37 [19:16:37.101] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62b15838db80 (mem: 746.46 MiB) 19:16:37 computing folding proof (mem: 746.46 MiB) 19:16:37 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 746.46 MiB) 19:16:37 [19:16:37.649] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 746.46 MiB) 19:16:38 [19:16:38.260] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 746.46 MiB) 19:16:38 [19:16:38.384] INFO: ivc-integration:test:native bb - perturbator round (mem: 782.46 MiB) 19:16:38 [19:16:38.450] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 815.46 MiB) 19:16:38 [19:16:38.936] INFO: ivc-integration:test:native bb - folded (mem: 815.46 MiB) 19:16:38 constructed folding proof (mem: 815.46 MiB) 19:16:38 [19:16:38.951] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 815.46 MiB) 19:16:39 [19:16:39.041] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 815.46 MiB) 19:16:39 Constructing DeciderProvingKey (mem: 815.46 MiB) 19:16:39 [19:16:39.047] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.46 MiB) 19:16:39 goblin ecc op : 392/1024 (mem: 815.46 MiB) 19:16:39 busread : 3/6000 (mem: 815.46 MiB) 19:16:39 [19:16:39.047] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 815.46 MiB) 19:16:39 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 815.46 MiB) 19:16:39 arithmetic : 6849/56000 (mem: 815.46 MiB) 19:16:39 delta range : 2333/18000 (mem: 815.46 MiB) 19:16:39 elliptic : 2/6000 (mem: 815.46 MiB) 19:16:39 auxiliary : 50/26000 (mem: 815.46 MiB) 19:16:39 poseidon ext : 2472/17000 (mem: 815.46 MiB) 19:16:39 poseidon int : 14081/92000 (mem: 815.46 MiB) 19:16:39 overflow : 0/0 (mem: 815.46 MiB) 19:16:39 (mem: 815.46 MiB) 19:16:39 Total structured size: 242025 (mem: 815.46 MiB) 19:16:39 allocating polynomials object in proving key... (mem: 815.46 MiB) 19:16:39 [19:16:39.247] INFO: ivc-integration:test:native bb - populating trace... (mem: 815.46 MiB) 19:16:39 [19:16:39.274] INFO: ivc-integration:test:native bb - time to construct proving key: 232 ms. (mem: 815.46 MiB) 19:16:39 [19:16:39.408] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62b158383540 (mem: 815.46 MiB) 19:16:39 computing folding proof (mem: 815.46 MiB) 19:16:39 [19:16:39.413] 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: 815.46 MiB) 19:16:40 [19:16:40.108] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 815.46 MiB) 19:16:40 [19:16:40.572] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.46 MiB) 19:16:40 [19:16:40.762] INFO: ivc-integration:test:native bb - perturbator round (mem: 815.46 MiB) 19:16:40 [19:16:40.847] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 824.27 MiB) 19:16:41 [19:16:41.459] INFO: ivc-integration:test:native bb - folded (mem: 824.27 MiB) 19:16:41 constructed folding proof (mem: 824.27 MiB) 19:16:41 [19:16:41.460] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 824.27 MiB) 19:16:41 Minimum required block sizes for structured trace: (mem: 824.27 MiB) 19:16:41 (mem: 824.27 MiB) 19:16:41 prove decider... (mem: 824.27 MiB) 19:16:41 [19:16:41.462] INFO: ivc-integration:test:native bb - ecc_op : 392 19:16:41 busread : 12 19:16:41 lookup : 2 19:16:41 pub_inputs : 36 19:16:41 arithmetic : 6849 19:16:41 delta_range : 2333 19:16:41 elliptic : 2 19:16:41 aux : 110 19:16:41 poseidon2_external : 2472 19:16:41 poseidon2_internal : 14081 19:16:41 overflow : 0 19:16:41 [19:16:41.792] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 824.27 MiB) 19:16:42 [19:16:42.027] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 824.27 MiB) 19:16:43 [19:16:43.410] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 824.27 MiB) 19:16:43 [19:16:43.493] INFO: ivc-integration:test:native bb - computed opening proof (mem: 824.27 MiB) 19:16:43 finished decider proving. (mem: 824.27 MiB) 19:16:43 [19:16:43.511] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 824.27 MiB) 19:16:43 [19:16:43.669] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 824.27 MiB) 19:16:43 [19:16:43.677] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 824.27 MiB) 19:16:43 [19:16:43.921] INFO: ivc-integration:test:native bb - populating trace... (mem: 824.27 MiB) 19:16:43 [19:16:43.990] INFO: ivc-integration:test:native bb - time to construct proving key: 320 ms. (mem: 824.27 MiB) 19:16:44 [19:16:44.653] 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. 19:16:44 [19:16:44.654] INFO: ivc-integration:test:native bb - (mem: 19:16:44 [19:16:44.655] INFO: ivc-integration:test:native bb - 824.27 19:16:44 [19:16:44.660] INFO: ivc-integration:test:native bb - MiB) 19:16:45 [19:16:45.287] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 824.27 MiB) 19:16:46 [19:16:46.117] INFO: ivc-integration:test:native bb - created oink proof (mem: 824.27 MiB) 19:16:46 [19:16:46.435] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 19:16:46 [19:16:46.436] INFO: ivc-integration:test:native bb - (mem: 824.27 MiB) 19:16:48 [19:16:48.306] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 19:16:48 [19:16:48.307] INFO: ivc-integration:test:native bb - (mem: 824.27 MiB) 19:16:49 [19:16:49.242] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 19:16:49 [19:16:49.242] INFO: ivc-integration:test:native bb - (mem: 824.27 MiB) 19:16:49 [19:16:49.272] INFO: ivc-integration:test:native bb - computed opening proof (mem: 824.27 MiB) 19:16:49 finished decider proving. (mem: 824.27 MiB) 19:16:49 [19:16:49.273] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 824.27 MiB) 19:16:49 [19:16:49.486] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 824.27 MiB) 19:16:49 [19:16:49.966] 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: 824.27 MiB) 19:16:49 [19:16:49.997] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 824.27 MiB) 19:16:52 [19:16:52.037] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 824.27 MiB) 19:16:54 [19:16:54.280] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 19:16:54 [19:16:54.281] INFO: ivc-integration:test:native bb - (mem: 824.27 MiB) 19:17:00 [19:17:00.023] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 824.27 MiB) 19:17:00 prove translator... (mem: 824.27 MiB) 19:17:02 [19:17:02.819] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 841.16 MiB) 19:17:04 [19:17:04.617] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 841.16 MiB) 19:17:06 [19:17:06.096] INFO: ivc-integration:test:native bb - computed opening proof (mem: 841.16 MiB) 19:17:06 [19:17:06.098] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 841.16 MiB) 19:17:06 [19:17:06.102] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 19:17:06 [19:17:06.104] INFO: ivc-integration:test:native bb - (mem: 841.16 MiB) 19:17:06 [19:17:06.119] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 19:17:06 [19:17:06.120] INFO: ivc-integration:test:native bb - (mem: 19:17:06 [19:17:06.121] INFO: ivc-integration:test:native bb - 841.16 MiB) 19:17:06 libra_evals_verified: 1 (mem: 841.16 MiB) 19:17:06 pairing_check_verified: 1 (mem: 841.16 MiB) 19:17:06 Mega verified: 1 (mem: 841.16 MiB) 19:17:06 [19:17:06.213] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 841.16 MiB) 19:17:06 batch opening verified?: 1 (mem: 841.16 MiB) 19:17:06 eccvm consistency check verified?: 1 (mem: 841.16 MiB) 19:17:06 translation masking consistency checked?: 1 (mem: 841.16 MiB) 19:17:06 [19:17:06.230] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 841.16 MiB) 19:17:06 eccvm verified?: 1 (mem: 841.16 MiB) 19:17:06 accumulator construction_verified?: 1 (mem: 841.16 MiB) 19:17:06 translation verified?: 1 (mem: 841.16 MiB) 19:17:06 consistency verified?: 1 (mem: 841.16 MiB) 19:17:06 Goblin verified: 1 (mem: 841.16 MiB) 19:17:06 [19:17:06.231] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-FMkxLQ" (mem: 841.16 MiB) 19:17:06 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-FMkxLQ" (mem: 841.16 MiB) 19:17:06 BN254 commitment key size: 262144 (mem: 841.16 MiB) 19:17:06 [19:17:06.234] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 841.16 MiB) 19:17:06 [19:17:06.236] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 841.16 MiB) 19:17:06 goblin ecc op : 4/1024 (mem: 841.16 MiB) 19:17:06 busread : 3/6000 (mem: 841.16 MiB) 19:17:06 lookups : 2/15000 (mem: 841.16 MiB) 19:17:06 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 841.16 MiB) 19:17:06 arithmetic : 1773/56000 (mem: 841.16 MiB) 19:17:06 delta range : 1754/18000 (mem: 841.16 MiB) 19:17:06 elliptic : 2/6000 (mem: 841.16 MiB) 19:17:06 auxiliary : 26/26000 (mem: 841.16 MiB) 19:17:06 poseidon ext : 2/17000 (mem: 841.16 MiB) 19:17:06 poseidon int : 2/92000 (mem: 841.16 MiB) 19:17:06 overflow : 0/0 (mem: 841.16 MiB) 19:17:06 (mem: 841.16 MiB) 19:17:06 Total structured size: 242025 (mem: 841.16 MiB) 19:17:06 allocating polynomials object in proving key... (mem: 841.16 MiB) 19:17:06 [19:17:06.391] INFO: ivc-integration:test:native bb - populating trace... 19:17:06 [19:17:06.392] INFO: ivc-integration:test:native bb - (mem: 841.16 MiB) 19:17:06 [19:17:06.470] INFO: ivc-integration:test:native bb - time to construct proving key: 237 ms. (mem: 841.16 MiB) 19:17:06 [19:17:06.536] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 841.16 MiB) 19:17:07 [19:17:07.603] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 841.16 MiB) 19:17: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: 841.16 MiB) 19:17:08 [19:17:08.320] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 841.16 MiB) 19:17:08 [19:17:08.778] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 841.16 MiB) 19:17:08 [19:17:08.786] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 841.16 MiB) 19:17:08 [19:17:08.810] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 841.16 MiB) 19:17:08 [19:17:08.812] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 19:17:08 [19:17:08.812] INFO: ivc-integration:test:native bb - (mem: 19:17:08 [19:17:08.814] INFO: ivc-integration:test:native bb - 841.16 MiB) 19:17:08 goblin ecc op : 56/1024 (mem: 841.16 MiB) 19:17:08 busread : 3/6000 (mem: 841.16 MiB) 19:17:08 lookups : 2/15000 (mem: 841.16 MiB) 19:17:08 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 841.16 MiB) 19:17:08 arithmetic : 4481/56000 (mem: 841.16 MiB) 19:17:08 delta range : 2041/18000 (mem: 841.16 MiB) 19:17:08 elliptic : 2/6000 (mem: 841.16 MiB) 19:17:08 auxiliary : 50/26000 (mem: 841.16 MiB) 19:17:08 poseidon ext : 1312/17000 (mem: 841.16 MiB) 19:17:08 poseidon int : 7469/92000 (mem: 841.16 MiB) 19:17:08 overflow : 0/0 (mem: 841.16 MiB) 19:17:08 (mem: 841.16 MiB) 19:17:08 Total structured size: 242025 (mem: 841.16 MiB) 19:17:08 allocating polynomials object in proving key... (mem: 841.16 MiB) 19:17:09 [19:17:09.039] INFO: ivc-integration:test:native bb - populating trace... (mem: 841.16 MiB) 19:17:09 [19:17:09.066] INFO: ivc-integration:test:native bb - time to construct proving key: 257 ms. (mem: 841.16 MiB) 19:17:09 [19:17:09.264] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 841.16 MiB) 19:17:10 [19:17:10.023] INFO: ivc-integration:test:native bb - computing folding proof (mem: 841.16 MiB) 19:17:10 [19:17:10.024] 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: 841.16 MiB) 19:17:10 [19:17:10.738] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 841.16 MiB) 19:17:11 [19:17:11.460] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 842.16 MiB) 19:17:11 [19:17:11.591] INFO: ivc-integration:test:native bb - perturbator round 19:17:11 [19:17:11.599] INFO: ivc-integration:test:native bb - (mem: 844.16 MiB) 19:17:11 [19:17:11.705] INFO: ivc-integration:test:native bb - combiner quotient round 19:17:11 [19:17:11.707] INFO: ivc-integration:test:native bb - (mem: 876.16 MiB) 19:17:12 [19:17:12.138] INFO: ivc-integration:test:native bb - folded (mem: 876.16 MiB) 19:17:12 constructed folding proof (mem: 876.16 MiB) 19:17:12 [19:17:12.139] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 876.16 MiB) 19:17:12 Minimum required block sizes for structured trace: (mem: 876.16 MiB) 19:17:12 (mem: 876.16 MiB) 19:17:12 prove decider... 19:17:12 [19:17:12.140] INFO: ivc-integration:test:native bb - ecc_op : 56 19:17:12 busread : 3 19:17:12 lookup : 2 19:17:12 pub_inputs : 36 19:17:12 arithmetic : 4481 19:17:12 delta_range : 2041 19:17:12 elliptic : 2 19:17:12 aux : 50 19:17:12 poseidon2_external : 1312 19:17:12 poseidon2_internal : 7469 19:17:12 overflow : 0 19:17:12 [19:17:12.140] INFO: ivc-integration:test:native bb - (mem: 876.16 MiB) 19:17:12 [19:17:12.319] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 876.16 MiB) 19:17:12 [19:17:12.611] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 876.16 MiB) 19:17:14 [19:17:14.208] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 19:17:14 [19:17:14.210] INFO: ivc-integration:test:native bb - (mem: 876.16 MiB) 19:17:14 [19:17:14.310] INFO: ivc-integration:test:native bb - computed opening proof (mem: 876.16 MiB) 19:17:14 finished decider proving. (mem: 876.16 MiB) 19:17:14 [19:17:14.335] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 876.16 MiB) 19:17:14 [19:17:14.463] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 876.16 MiB) 19:17:14 [19:17:14.475] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 876.16 MiB) 19:17:14 [19:17:14.882] INFO: ivc-integration:test:native bb - populating trace... (mem: 876.16 MiB) 19:17:14 [19:17:14.981] INFO: ivc-integration:test:native bb - time to construct proving key: 519 ms. (mem: 876.16 MiB) 19:17:15 [19:17:15.977] 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-FMkxLQ/proof -k /tmp/bb-client-ivc-integration-FMkxLQ/vk -v 19:17:16 [19:17:16.012] INFO: ivc-integration:test:native bb command: verify (mem: 155.86 MiB) 19:17:16 Scheme is: client_ivc, num threads: 128 (mem: 155.86 MiB) 19:17:16 --proof_path: /tmp/bb-client-ivc-integration-FMkxLQ/proof (mem: 155.86 MiB) 19:17:16 --vk_path: /tmp/bb-client-ivc-integration-FMkxLQ/vk (mem: 155.86 MiB) 19:17:16 --verbose: true (mem: 155.86 MiB) 19:17:16 --scheme: client_ivc (mem: 155.86 MiB) 19:17:16 [19:17:16.151] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 155.86 MiB) 19:17:16 [19:17:16.181] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 156.33 MiB) 19:17:16 [19:17:16.183] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 156.33 MiB) 19:17:16 [19:17:16.210] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 156.33 MiB) 19:17:16 [19:17:16.211] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 156.33 MiB) 19:17:16 [19:17:16.212] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 156.33 MiB) 19:17:16 libra_evals_verified: 1 (mem: 156.33 MiB) 19:17:16 pairing_check_verified: 1 (mem: 19:17:16 [19:17:16.213] INFO: ivc-integration:test:native 156.33 MiB) 19:17:16 Mega verified: 1 (mem: 156.33 MiB) 19:17:16 [19:17:16.328] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 171.46 MiB) 19:17:16 batch opening verified?: 1 (mem: 171.46 MiB) 19:17:16 eccvm consistency check verified?: 1 (mem: 171.46 MiB) 19:17:16 [19:17:16.329] INFO: ivc-integration:test:native translation masking consistency checked?: 1 (mem: 171.46 MiB) 19:17:16 [19:17:16.356] INFO: ivc-integration:test:native merge verified?: 1 (mem: 171.46 MiB) 19:17:16 eccvm verified?: 1 (mem: 171.46 MiB) 19:17:16 accumulator construction_verified?: 1 (mem: 171.46 MiB) 19:17:16 translation verified?: 1 (mem: 171.46 MiB) 19:17:16 consistency verified?: 1 (mem: 171.46 MiB) 19:17:16 Goblin verified: 1 (mem: 171.46 MiB) 19:17:16 [19:17:16.366] INFO: ivc-integration:test:native verified: 1 (mem: 171.46 MiB) 19:17:16 [19:17:16.463] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-rEaoGN/ivc-inputs.msgpack 19:17:16 [19:17:16.464] 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-rEaoGN --ivc_inputs_path /tmp/bb-client-ivc-integration-rEaoGN/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 19:17:16 [19:17:16.482] INFO: ivc-integration:test:native bb - bb command: prove (mem: 156.19 MiB) 19:17:16 [19:17:16.483] INFO: ivc-integration:test:native bb - 19:17:16 Scheme is: client_ivc, num threads: 128 (mem: 156.19 MiB) 19:17:16 --scheme: client_ivc (mem: 156.19 MiB) 19:17:16 --output_path: /tmp/bb-client-ivc-integration-rEaoGN (mem: 156.19 MiB) 19:17:16 --ivc_inputs_path: /tmp/bb-client-ivc-integration-rEaoGN/ivc-inputs.msgpack (mem: 156.19 MiB) 19:17:16 --verbose: true (mem: 156.19 MiB) 19:17:16 --write_vk: true (mem: 156.19 MiB) 19:17:16 [19:17:16.486] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 156.19 MiB) 19:17:16 [19:17:16.609] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 256.00 MiB) 19:17:16 [19:17:16.697] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 304.00 MiB) 19:17:16 [19:17:16.702] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 304.00 MiB) 19:17:16 Constructing DeciderProvingKey (mem: 304.00 MiB) 19:17:16 [19:17:16.710] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 304.00 MiB) 19:17:16 goblin ecc op : 4/1024 (mem: 304.00 MiB) 19:17:16 busread : 7/6000 (mem: 304.00 MiB) 19:17:16 lookups : 2/15000 (mem: 304.00 MiB) 19:17:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 304.00 MiB) 19:17:16 arithmetic : 1760/56000 (mem: 304.00 MiB) 19:17:16 delta range : 1754/18000 (mem: 304.00 MiB) 19:17:16 elliptic : 2/6000 (mem: 304.00 MiB) 19:17:16 auxiliary : 26/26000 (mem: 304.00 MiB) 19:17:16 poseidon ext : 2/17000 (mem: 304.00 MiB) 19:17:16 poseidon int : 2/92000 (mem: 304.00 MiB) 19:17:16 overflow : 0/0 (mem: 304.00 MiB) 19:17:16 (mem: 304.00 MiB) 19:17:16 Total structured size: 242025 (mem: 304.00 MiB) 19:17:16 allocating polynomials object in proving key... (mem: 304.00 MiB) 19:17:16 [19:17:16.934] INFO: ivc-integration:test:native bb - populating trace... (mem: 509.12 MiB) 19:17:16 [19:17:16.988] INFO: ivc-integration:test:native bb - time to construct proving key: 286 ms. (mem: 522.12 MiB) 19:17:17 [19:17:17.186] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55639e567d40 (mem: 522.12 MiB) 19:17:17 computing oink proof... (mem: 522.12 MiB) 19:17:17 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 522.12 MiB) 19:17:18 [19:17:18.221] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.12 MiB) 19:17:18 [19:17:18.642] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 531.12 MiB) 19:17:18 [19:17:18.657] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 531.12 MiB) 19:17:18 [19:17:18.688] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 532.12 MiB) 19:17:18 Constructing DeciderProvingKey (mem: 532.12 MiB) 19:17:18 [19:17:18.699] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 532.12 MiB) 19:17:18 goblin ecc op : 56/1024 (mem: 532.12 MiB) 19:17:18 busread : 12/6000 (mem: 532.12 MiB) 19:17:18 lookups : 2/15000 (mem: 532.12 MiB) 19:17:18 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 532.12 MiB) 19:17:18 arithmetic : 4625/56000 (mem: 532.12 MiB) 19:17:18 delta range : 2054/18000 (mem: 532.12 MiB) 19:17:18 elliptic : 2/6000 (mem: 532.12 MiB) 19:17:18 auxiliary : 110/26000 (mem: 532.12 MiB) 19:17:18 poseidon ext : 1302/17000 (mem: 532.12 MiB) 19:17:18 poseidon int : 7412/92000 (mem: 532.12 MiB) 19:17:18 overflow : 0/0 (mem: 532.12 MiB) 19:17:18 (mem: 532.12 MiB) 19:17:18 Total structured size: 242025 (mem: 532.12 MiB) 19:17:18 allocating polynomials object in proving key... (mem: 532.12 MiB) 19:17:18 [19:17:18.924] INFO: ivc-integration:test:native bb - populating trace... (mem: 742.12 MiB) 19:17:18 [19:17:18.968] INFO: ivc-integration:test:native bb - time to construct proving key: 282 ms. (mem: 756.12 MiB) 19:17:19 [19:17:19.081] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55639e570fc0 (mem: 756.12 MiB) 19:17:19 [19:17:19.083] INFO: ivc-integration:test:native bb - computing folding proof (mem: 756.12 MiB) 19:17:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 756.12 MiB) 19:17:19 [19:17:19.713] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 756.12 MiB) 19:17:20 [19:17:20.460] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 760.12 MiB) 19:17:20 [19:17:20.579] INFO: ivc-integration:test:native bb - perturbator round (mem: 792.12 MiB) 19:17:20 [19:17:20.632] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 824.12 MiB) 19:17:21 [19:17:21.136] INFO: ivc-integration:test:native bb - folded 19:17:21 [19:17:21.140] INFO: ivc-integration:test:native bb - (mem: 824.12 MiB) 19:17:21 constructed folding proof (mem: 824.12 MiB) 19:17:21 [19:17:21.144] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 824.12 MiB) 19:17:21 Constructing DeciderProvingKey (mem: 824.12 MiB) 19:17:21 [19:17:21.146] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 19:17:21 [19:17:21.147] INFO: ivc-integration:test:native bb - (mem: 19:17:21 [19:17:21.149] INFO: ivc-integration:test:native bb - 824.12 MiB) 19:17:21 goblin ecc op : 4/1024 (mem: 824.12 MiB) 19:17:21 busread : 7/6000 (mem: 824.12 MiB) 19:17:21 lookups : 2/15000 (mem: 824.12 MiB) 19:17:21 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 824.12 MiB) 19:17:21 arithmetic : 1760/56000 (mem: 824.12 MiB) 19:17:21 delta range : 1754/18000 (mem: 824.12 MiB) 19:17:21 elliptic : 2/6000 (mem: 824.12 MiB) 19:17:21 auxiliary : 26/26000 (mem: 824.12 MiB) 19:17:21 poseidon ext : 2/17000 (mem: 824.12 MiB) 19:17:21 poseidon int : 2/92000 (mem: 824.12 MiB) 19:17:21 overflow : 0/0 (mem: 824.12 MiB) 19:17:21 (mem: 824.12 MiB) 19:17:21 Total structured size: 242025 (mem: 824.12 MiB) 19:17:21 allocating polynomials object in proving key... (mem: 824.12 MiB) 19:17:21 [19:17:21.326] INFO: ivc-integration:test:native bb - populating trace... 19:17:21 [19:17:21.328] INFO: ivc-integration:test:native bb - (mem: 824.12 MiB) 19:17:21 [19:17:21.350] INFO: ivc-integration:test:native bb - time to construct proving key: 207 ms. (mem: 824.12 MiB) 19:17:21 [19:17:21.419] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55639e568580 19:17:21 [19:17:21.421] INFO: ivc-integration:test:native bb - (mem: 824.12 MiB) 19:17:21 computing folding proof (mem: 824.12 MiB) 19:17: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: 824.12 MiB) 19:17:22 [19:17:22.192] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 824.12 MiB) 19:17:22 [19:17:22.507] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 824.12 MiB) 19:17:22 [19:17:22.625] INFO: ivc-integration:test:native bb - perturbator round (mem: 824.12 MiB) 19:17:22 [19:17:22.695] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 824.20 MiB) 19:17:23 [19:17:23.099] INFO: ivc-integration:test:native bb - folded (mem: 824.20 MiB) 19:17:23 constructed folding proof (mem: 824.20 MiB) 19:17:23 [19:17:23.112] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 824.20 MiB) 19:17:23 [19:17:23.181] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 824.20 MiB) 19:17:23 [19:17:23.243] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 824.20 MiB) 19:17:23 Constructing DeciderProvingKey (mem: 824.20 MiB) 19:17:23 [19:17:23.249] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 824.20 MiB) 19:17:23 goblin ecc op : 792/1024 (mem: 19:17:23 [19:17:23.252] INFO: ivc-integration:test:native bb - 824.20 MiB) 19:17:23 busread : 12/6000 (mem: 824.20 MiB) 19:17:23 lookups : 2/15000 (mem: 824.20 MiB) 19:17:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 824.20 MiB) 19:17:23 arithmetic : 12080/56000 (mem: 824.20 MiB) 19:17:23 delta range : 2942/18000 (mem: 824.20 MiB) 19:17:23 elliptic : 2/6000 (mem: 824.20 MiB) 19:17:23 auxiliary : 350/26000 (mem: 824.20 MiB) 19:17:23 poseidon ext : 4942/17000 (mem: 824.20 MiB) 19:17:23 poseidon int : 28160/92000 (mem: 824.20 MiB) 19:17:23 overflow : 0/0 (mem: 824.20 MiB) 19:17:23 (mem: 824.20 MiB) 19:17:23 Total structured size: 242025 (mem: 824.20 MiB) 19:17:23 allocating polynomials object in proving key... (mem: 824.20 MiB) 19:17:23 [19:17:23.368] INFO: ivc-integration:test:native bb - populating trace... (mem: 824.20 MiB) 19:17:23 [19:17:23.409] INFO: ivc-integration:test:native bb - time to construct proving key: 164 ms. (mem: 824.20 MiB) 19:17:23 [19:17:23.543] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55639e562000 (mem: 824.20 MiB) 19:17:23 computing folding proof (mem: 824.20 MiB) 19:17:23 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 824.20 MiB) 19:17:24 [19:17:24.107] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 824.20 MiB) 19:17:24 [19:17:24.752] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 824.20 MiB) 19:17:24 [19:17:24.881] INFO: ivc-integration:test:native bb - perturbator round (mem: 824.20 MiB) 19:17:24 [19:17:24.971] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 853.19 MiB) 19:17:25 [19:17:25.276] INFO: ivc-integration:test:native bb - folded (mem: 853.19 MiB) 19:17:25 constructed folding proof (mem: 853.19 MiB) 19:17:25 [19:17:25.282] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 853.19 MiB) 19:17:25 [19:17:25.343] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 853.19 MiB) 19:17:25 Constructing DeciderProvingKey (mem: 853.19 MiB) 19:17:25 [19:17:25.346] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 853.19 MiB) 19:17:25 [19:17:25.347] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 853.19 MiB) 19:17:25 busread : 16/6000 (mem: 853.19 MiB) 19:17:25 lookups : 2/15000 (mem: 853.19 MiB) 19:17:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 853.19 MiB) 19:17:25 arithmetic : 6914/56000 (mem: 853.19 MiB) 19:17:25 delta range : 2347/18000 (mem: 853.19 MiB) 19:17:25 elliptic : 2/6000 (mem: 853.19 MiB) 19:17:25 auxiliary : 77/26000 (mem: 853.19 MiB) 19:17:25 poseidon ext : 2472/17000 (mem: 853.19 MiB) 19:17:25 poseidon int : 14081/92000 (mem: 853.19 MiB) 19:17:25 overflow : 0/0 (mem: 853.19 MiB) 19:17:25 (mem: 853.19 MiB) 19:17:25 Total structured size: 242025 (mem: 853.19 MiB) 19:17:25 allocating polynomials object in proving key... (mem: 853.19 MiB) 19:17:25 [19:17:25.619] INFO: ivc-integration:test:native bb - populating trace... (mem: 853.19 MiB) 19:17:25 [19:17:25.685] INFO: ivc-integration:test:native bb - time to construct proving key: 343 ms. (mem: 853.19 MiB) 19:17:25 [19:17:25.959] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55639e5e4ec0 (mem: 853.19 MiB) 19:17:25 computing folding proof (mem: 853.19 MiB) 19:17: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: 853.19 MiB) 19:17:26 [19:17:26.728] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 853.19 MiB) 19:17:27 [19:17:27.375] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 853.19 MiB) 19:17:27 [19:17:27.502] INFO: ivc-integration:test:native bb - perturbator round (mem: 853.19 MiB) 19:17:27 [19:17:27.577] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 853.68 MiB) 19:17:28 [19:17:28.033] INFO: ivc-integration:test:native bb - folded (mem: 853.68 MiB) 19:17:28 constructed folding proof (mem: 853.68 MiB) 19:17:28 [19:17:28.048] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 853.68 MiB) 19:17:28 [19:17:28.113] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 853.68 MiB) 19:17:28 Constructing DeciderProvingKey (mem: 853.68 MiB) 19:17:28 [19:17:28.116] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 853.68 MiB) 19:17:28 goblin ecc op : 392/1024 (mem: 853.68 MiB) 19:17:28 busread : 3/6000 (mem: 19:17:28 [19:17:28.117] INFO: ivc-integration:test:native bb - 853.68 MiB) 19:17:28 lookups : 2/15000 (mem: 853.68 MiB) 19:17:28 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 853.68 MiB) 19:17:28 arithmetic : 6849/56000 (mem: 853.68 MiB) 19:17:28 delta range : 2333/18000 (mem: 853.68 MiB) 19:17:28 elliptic : 2/6000 (mem: 853.68 MiB) 19:17:28 auxiliary : 50/26000 (mem: 853.68 MiB) 19:17:28 poseidon ext : 2472/17000 (mem: 853.68 MiB) 19:17:28 poseidon int : 14081/92000 (mem: 853.68 MiB) 19:17:28 overflow : 0/0 (mem: 853.68 MiB) 19:17:28 (mem: 853.68 MiB) 19:17:28 Total structured size: 242025 (mem: 853.68 MiB) 19:17:28 allocating polynomials object in proving key... (mem: 853.68 MiB) 19:17:28 [19:17:28.229] INFO: ivc-integration:test:native bb - populating trace... (mem: 853.68 MiB) 19:17:28 [19:17:28.273] INFO: ivc-integration:test:native bb - time to construct proving key: 159 ms. (mem: 853.68 MiB) 19:17:28 [19:17:28.460] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55639e57b7c0 (mem: 853.68 MiB) 19:17:28 computing folding proof (mem: 853.68 MiB) 19:17:28 [19:17:28.462] 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: 853.68 MiB) 19:17:29 [19:17:29.096] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 853.68 MiB) 19:17:29 [19:17:29.521] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 853.68 MiB) 19:17:29 [19:17:29.608] INFO: ivc-integration:test:native bb - perturbator round (mem: 853.68 MiB) 19:17:29 [19:17:29.661] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 854.48 MiB) 19:17:29 [19:17:29.937] INFO: ivc-integration:test:native bb - folded (mem: 854.48 MiB) 19:17:29 constructed folding proof (mem: 854.48 MiB) 19:17:29 [19:17:29.938] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 854.48 MiB) 19:17:29 Minimum required block sizes for structured trace: (mem: 854.48 MiB) 19:17:29 (mem: 854.48 MiB) 19:17:29 prove decider... (mem: 854.48 MiB) 19:17:29 [19:17:29.939] INFO: ivc-integration:test:native bb - ecc_op : 792 19:17:29 busread : 16 19:17:29 lookup : 2 19:17:29 pub_inputs : 36 19:17:29 arithmetic : 12080 19:17:29 delta_range : 2942 19:17:29 elliptic : 2 19:17:29 aux : 350 19:17:29 poseidon2_external : 4942 19:17:29 poseidon2_internal : 28160 19:17:29 overflow : 0 19:17:30 [19:17:30.062] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 854.48 MiB) 19:17:30 [19:17:30.226] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 854.48 MiB) 19:17:30 [19:17:30.931] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 854.48 MiB) 19:17:31 [19:17:31.051] INFO: ivc-integration:test:native bb - computed opening proof (mem: 854.48 MiB) 19:17:31 finished decider proving. (mem: 854.48 MiB) 19:17:31 [19:17:31.080] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 854.48 MiB) 19:17:31 [19:17:31.196] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 854.48 MiB) 19:17:31 [19:17:31.199] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 854.48 MiB) 19:17:31 [19:17:31.254] INFO: ivc-integration:test:native bb - populating trace... (mem: 854.48 MiB) 19:17:31 [19:17:31.300] INFO: ivc-integration:test:native bb - time to construct proving key: 101 ms. (mem: 854.48 MiB) 19:17:31 [19:17:31.742] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 854.48 MiB) 19:17:32 [19:17:32.102] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 854.48 MiB) 19:17:32 [19:17:32.515] INFO: ivc-integration:test:native bb - created oink proof (mem: 854.48 MiB) 19:17:32 [19:17:32.671] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 854.48 MiB) 19:17:33 [19:17:33.592] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 854.48 MiB) 19:17:34 [19:17:34.331] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 854.48 MiB) 19:17:34 [19:17:34.385] INFO: ivc-integration:test:native bb - computed opening proof (mem: 854.48 MiB) 19:17:34 [19:17:34.386] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 854.48 MiB) 19:17:34 Constructing a Goblin proof with num ultra ops = 2226 (mem: 854.48 MiB) 19:17:34 [19:17:34.528] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 854.48 MiB) 19:17:34 [19:17:34.887] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 854.48 MiB) 19:17:34 [19:17:34.901] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 854.48 MiB) 19:17:36 [19:17:36.532] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 19:17:36 [19:17:36.534] INFO: ivc-integration:test:native bb - (mem: 854.48 MiB) 19:17:38 [19:17:38.458] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 854.48 MiB) 19:17:43 [19:17:43.730] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 854.48 MiB) 19:17:43 prove translator... (mem: 854.48 MiB) 19:17:46 [19:17:46.822] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 869.06 MiB) 19:17:48 [19:17:48.659] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 870.06 MiB) 19:17:49 [19:17:49.865] INFO: ivc-integration:test:native bb - computed opening proof (mem: 870.06 MiB) 19:17:49 finished translator proving. (mem: 870.06 MiB) 19:17:49 [19:17:49.879] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 19:17:49 [19:17:49.881] INFO: ivc-integration:test:native bb - (mem: 870.06 MiB) 19:17:49 [19:17:49.914] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 19:17:49 [19:17:49.916] INFO: ivc-integration:test:native bb - (mem: 870.06 MiB) 19:17:49 libra_evals_verified: 1 (mem: 870.06 MiB) 19:17:49 pairing_check_verified: 1 (mem: 870.06 MiB) 19:17:49 Mega verified: 1 (mem: 870.06 MiB) 19:17:50 [19:17:50.066] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 19:17:50 [19:17:50.067] INFO: ivc-integration:test:native bb - (mem: 870.06 MiB) 19:17:50 batch opening verified?: 1 (mem: 870.06 MiB) 19:17:50 eccvm consistency check verified?: 1 (mem: 870.06 MiB) 19:17:50 translation masking consistency checked?: 1 (mem: 870.06 MiB) 19:17:50 [19:17:50.089] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 870.06 MiB) 19:17:50 eccvm verified?: 1 (mem: 870.06 MiB) 19:17:50 accumulator construction_verified?: 1 (mem: 870.06 MiB) 19:17:50 translation verified?: 1 (mem: 870.06 MiB) 19:17:50 consistency verified?: 1 (mem: 870.06 MiB) 19:17:50 Goblin verified: 1 (mem: 870.06 MiB) 19:17:50 [19:17:50.091] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-rEaoGN" (mem: 870.06 MiB) 19:17:50 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-rEaoGN" (mem: 870.06 MiB) 19:17:50 BN254 commitment key size: 262144 (mem: 870.06 MiB) 19:17:50 [19:17:50.093] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 870.06 MiB) 19:17:50 [19:17:50.097] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 870.06 MiB) 19:17:50 goblin ecc op : 4/1024 (mem: 870.06 MiB) 19:17:50 busread : 3/6000 (mem: 870.06 MiB) 19:17:50 [19:17:50.100] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 870.06 MiB) 19:17:50 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 870.06 MiB) 19:17:50 arithmetic : 1773/56000 (mem: 870.06 MiB) 19:17:50 delta range : 1754/18000 (mem: 870.06 MiB) 19:17:50 elliptic : 2/6000 (mem: 870.06 MiB) 19:17:50 auxiliary : 26/26000 (mem: 870.06 MiB) 19:17:50 poseidon ext : 2/17000 (mem: 870.06 MiB) 19:17:50 poseidon int : 2/92000 (mem: 870.06 MiB) 19:17:50 overflow : 0/0 (mem: 870.06 MiB) 19:17:50 (mem: 870.06 MiB) 19:17:50 Total structured size: 242025 (mem: 870.06 MiB) 19:17:50 allocating polynomials object in proving key... (mem: 870.06 MiB) 19:17:50 [19:17:50.257] INFO: ivc-integration:test:native bb - populating trace... (mem: 870.06 MiB) 19:17:50 [19:17:50.266] INFO: ivc-integration:test:native bb - time to construct proving key: 172 ms. (mem: 870.06 MiB) 19:17:50 [19:17:50.324] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 870.06 MiB) 19:17:50 [19:17:50.878] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 870.06 MiB) 19:17:50 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 870.06 MiB) 19:17:51 [19:17:51.568] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 870.06 MiB) 19:17:51 [19:17:51.955] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 870.06 MiB) 19:17:51 [19:17:51.975] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 870.06 MiB) 19:17:51 [19:17:51.989] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 870.06 MiB) 19:17:51 [19:17:51.992] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 870.06 MiB) 19:17:51 [19:17:51.993] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 870.06 MiB) 19:17:51 busread : 3/6000 (mem: 870.06 MiB) 19:17:51 lookups : 2/15000 (mem: 870.06 MiB) 19:17:51 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 870.06 MiB) 19:17:51 arithmetic : 4481/56000 (mem: 870.06 MiB) 19:17:51 delta range : 2041/18000 (mem: 870.06 MiB) 19:17:51 elliptic : 2/6000 (mem: 870.06 MiB) 19:17:51 auxiliary : 50/26000 (mem: 870.06 MiB) 19:17:51 poseidon ext : 1312/17000 (mem: 870.06 MiB) 19:17:51 poseidon int : 7469/92000 (mem: 870.06 MiB) 19:17:51 overflow : 0/0 (mem: 870.06 MiB) 19:17:51 (mem: 870.06 MiB) 19:17:51 Total structured size: 242025 (mem: 870.06 MiB) 19:17:51 allocating polynomials object in proving key... (mem: 870.06 MiB) 19:17:52 [19:17:52.105] INFO: ivc-integration:test:native bb - populating trace... (mem: 870.06 MiB) 19:17:52 [19:17:52.157] INFO: ivc-integration:test:native bb - time to construct proving key: 167 ms. (mem: 870.06 MiB) 19:17:52 [19:17:52.210] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 870.06 MiB) 19:17:53 [19:17:53.044] INFO: ivc-integration:test:native bb - computing folding proof (mem: 870.06 MiB) 19:17:53 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 870.06 MiB) 19:17:53 [19:17:53.896] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 870.06 MiB) 19:17:54 [19:17:54.612] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 870.06 MiB) 19:17:54 [19:17:54.738] INFO: ivc-integration:test:native bb - perturbator round (mem: 870.06 MiB) 19:17:54 [19:17:54.812] INFO: ivc-integration:test:native bb - combiner quotient round 19:17:54 [19:17:54.813] INFO: ivc-integration:test:native bb - (mem: 903.06 MiB) 19:17:55 [19:17:55.190] INFO: ivc-integration:test:native bb - folded (mem: 903.06 MiB) 19:17:55 constructed folding proof (mem: 903.06 MiB) 19:17:55 [19:17:55.191] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 903.06 MiB) 19:17:55 Minimum required block sizes for structured trace: (mem: 903.06 MiB) 19:17:55 (mem: 903.06 MiB) 19:17:55 prove decider... (mem: 903.06 MiB) 19:17:55 [19:17:55.192] INFO: ivc-integration:test:native bb - ecc_op : 56 19:17:55 busread : 3 19:17:55 lookup : 2 19:17:55 pub_inputs : 36 19:17:55 arithmetic : 4481 19:17:55 delta_range : 2041 19:17:55 elliptic : 2 19:17:55 aux : 50 19:17:55 poseidon2_external : 1312 19:17:55 poseidon2_internal : 7469 19:17:55 overflow : 0 19:17:55 [19:17:55.405] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 903.06 MiB) 19:17:55 [19:17:55.607] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 903.06 MiB) 19:17:56 [19:17:56.677] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 903.06 MiB) 19:17:56 [19:17:56.763] INFO: ivc-integration:test:native bb - computed opening proof (mem: 903.06 MiB) 19:17:56 finished decider proving. (mem: 903.06 MiB) 19:17:56 [19:17:56.776] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 903.06 MiB) 19:17:56 [19:17:56.869] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 903.06 MiB) 19:17:56 [19:17:56.879] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 903.06 MiB) 19:17:56 [19:17:56.928] INFO: ivc-integration:test:native bb - populating trace... (mem: 903.06 MiB) 19:17:56 [19:17:56.980] INFO: ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 903.06 MiB) 19:17:57 [19:17:57.407] 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-rEaoGN/proof -k /tmp/bb-client-ivc-integration-rEaoGN/vk -v 19:17:57 [19:17:57.422] INFO: ivc-integration:test:native bb command: verify (mem: 160.34 MiB) 19:17:57 [19:17:57.423] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 160.34 MiB) 19:17:57 --proof_path: /tmp/bb-client-ivc-integration-rEaoGN/proof (mem: 160.34 MiB) 19:17:57 --vk_path: /tmp/bb-client-ivc-integration-rEaoGN/vk (mem: 160.34 MiB) 19:17:57 --verbose: true (mem: 160.34 MiB) 19:17:57 --scheme: client_ivc (mem: 160.34 MiB) 19:17:57 [19:17:57.528] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 160.34 MiB) 19:17:57 [19:17:57.548] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 160.34 MiB) 19:17:57 [19:17:57.549] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 160.34 MiB) 19:17:57 [19:17:57.566] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 160.34 MiB) 19:17:57 [19:17:57.567] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 160.34 MiB) 19:17:57 [19:17:57.568] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 160.34 MiB) 19:17:57 libra_evals_verified: 1 (mem: 160.34 MiB) 19:17:57 pairing_check_verified: 1 (mem: 160.34 MiB) 19:17:57 Mega verified: 1 (mem: 160.34 MiB) 19:17:57 [19:17:57.629] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 170.09 MiB) 19:17:57 batch opening verified?: 1 (mem: 170.09 MiB) 19:17:57 eccvm consistency check verified?: 1 (mem: 170.09 MiB) 19:17:57 translation masking consistency checked?: 1 (mem: 170.09 MiB) 19:17:57 [19:17:57.647] INFO: ivc-integration:test:native merge verified?: 1 (mem: 170.09 MiB) 19:17:57 eccvm verified?: 1 (mem: 170.09 MiB) 19:17:57 accumulator construction_verified?: 1 (mem: 170.09 MiB) 19:17:57 translation verified?: 1 (mem: 170.09 MiB) 19:17:57 consistency verified?: 1 (mem: 170.09 MiB) 19:17:57 Goblin verified: 1 (mem: 170.09 MiB) 19:17:57 [19:17:57.653] INFO: ivc-integration:test:native verified: 1 (mem: 170.09 MiB) 19:17:57 PASS src/native_client_ivc_integration.test.ts (85.428 s) 19:17:57 Client IVC Integration 19:17:57 ✓ Should generate a verifiable client IVC proof from a simple mock tx (40755 ms) 19:17:57 ✓ Should generate a verifiable client IVC proof from a complex mock tx (41297 ms) 19:17:57 19:17:57 Test Suites: 1 passed, 1 total 19:17:57 Tests: 2 passed, 2 total 19:17:57 Snapshots: 0 total 19:17:57 Time: 85.507 s 19:17:57 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 19:17:57 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?