ACI ·

Parent Log: http://ci.aztec-labs.com/6f8b3fb3c6d0ec65 Command: 128a905c1f9c1691: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/9d6fb0bd1594726370a5f3a56591963452264642 Env: REF_NAME=gh-readonly-queue/next/pr-14985-47c749527b1c3cce3edd9defedc46e89ea00c69e CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 17:20:31 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14985_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 17:20:35 [17:20:35.311] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-GjJQiR/ivc-inputs.msgpack 17:20:35 [17:20:35.317] 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-GjJQiR --ivc_inputs_path /tmp/bb-client-ivc-integration-GjJQiR/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 17:20:35 [17:20:35.336] INFO: ivc-integration:test:native bb - bb command: prove (mem: 153.34 MiB) 17:20:35 [17:20:35.337] INFO: ivc-integration:test:native bb - 17:20:35 Scheme is: client_ivc, num threads: 128 (mem: 153.34 MiB) 17:20:35 --scheme: client_ivc (mem: 153.34 MiB) 17:20:35 --output_path: /tmp/bb-client-ivc-integration-GjJQiR (mem: 153.34 MiB) 17:20:35 --ivc_inputs_path: /tmp/bb-client-ivc-integration-GjJQiR/ivc-inputs.msgpack (mem: 153.34 MiB) 17:20:35 --verbose: true (mem: 153.34 MiB) 17:20:35 --write_vk: true (mem: 153.34 MiB) 17:20:35 [17:20:35.337] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 153.34 MiB) 17:20:35 [17:20:35.435] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 245.00 MiB) 17:20:35 [17:20:35.518] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 294.74 MiB) 17:20:35 [17:20:35.524] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 294.74 MiB) 17:20:35 Constructing DeciderProvingKey (mem: 294.74 MiB) 17:20:35 [17:20:35.529] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 294.74 MiB) 17:20:35 goblin ecc op : 4/1024 (mem: 294.74 MiB) 17:20:35 busread : 7/6000 (mem: 294.74 MiB) 17:20:35 lookups : 2/15000 (mem: 294.74 MiB) 17:20:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 294.74 MiB) 17:20:35 [17:20:35.530] INFO: ivc-integration:test:native bb - arithmetic : 1760/56000 (mem: 294.74 MiB) 17:20:35 delta range : 1754/18000 (mem: 294.74 MiB) 17:20:35 elliptic : 2/6000 (mem: 294.74 MiB) 17:20:35 auxiliary : 26/26000 (mem: 294.74 MiB) 17:20:35 poseidon ext : 2/17000 (mem: 294.74 MiB) 17:20:35 poseidon int : 2/92000 (mem: 294.74 MiB) 17:20:35 overflow : 0/0 (mem: 294.74 MiB) 17:20:35 (mem: 294.74 MiB) 17:20:35 Total structured size: 242025 (mem: 294.74 MiB) 17:20:35 allocating polynomials object in proving key... (mem: 294.74 MiB) 17:20:35 [17:20:35.583] INFO: ivc-integration:test:native bb - populating trace... (mem: 500.90 MiB) 17:20:35 [17:20:35.592] INFO: ivc-integration:test:native bb - time to construct proving key: 67 ms. (mem: 512.90 MiB) 17:20:35 [17:20:35.647] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5776605a6f00 (mem: 512.90 MiB) 17:20:35 computing oink proof... (mem: 512.90 MiB) 17:20:35 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 512.90 MiB) 17:20:36 [17:20:36.174] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.90 MiB) 17:20:36 [17:20:36.396] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 521.90 MiB) 17:20:36 [17:20:36.410] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.90 MiB) 17:20:36 [17:20:36.430] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 521.90 MiB) 17:20:36 Constructing DeciderProvingKey (mem: 521.90 MiB) 17:20:36 [17:20:36.433] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 521.90 MiB) 17:20:36 goblin ecc op : 56/1024 (mem: 521.90 MiB) 17:20:36 busread : 12/6000 (mem: 521.90 MiB) 17:20:36 [17:20:36.434] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 521.90 MiB) 17:20:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 521.90 MiB) 17:20:36 arithmetic : 4625/56000 (mem: 521.90 MiB) 17:20:36 delta range : 2054/18000 (mem: 521.90 MiB) 17:20:36 elliptic : 2/6000 (mem: 521.90 MiB) 17:20:36 auxiliary : 110/26000 (mem: 521.90 MiB) 17:20:36 poseidon ext : 1302/17000 (mem: 521.90 MiB) 17:20:36 poseidon int : 7412/92000 (mem: 521.90 MiB) 17:20:36 overflow : 0/0 (mem: 521.90 MiB) 17:20:36 (mem: 521.90 MiB) 17:20:36 Total structured size: 242025 (mem: 521.90 MiB) 17:20:36 allocating polynomials object in proving key... (mem: 521.90 MiB) 17:20:36 [17:20:36.530] INFO: ivc-integration:test:native bb - populating trace... 17:20:36 [17:20:36.532] INFO: ivc-integration:test:native bb - (mem: 734.90 MiB) 17:20:36 [17:20:36.554] INFO: ivc-integration:test:native bb - time to construct proving key: 124 ms. (mem: 754.90 MiB) 17:20:36 [17:20:36.625] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5776605b3b80 (mem: 754.90 MiB) 17:20:36 computing folding proof (mem: 754.90 MiB) 17:20:36 [17:20:36.626] 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: 754.90 MiB) 17:20:37 [17:20:37.204] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 754.90 MiB) 17:20:37 [17:20:37.785] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 754.90 MiB) 17:20:37 [17:20:37.884] INFO: ivc-integration:test:native bb - perturbator round (mem: 792.90 MiB) 17:20:37 [17:20:37.937] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 824.90 MiB) 17:20:38 [17:20:38.413] INFO: ivc-integration:test:native bb - folded (mem: 824.90 MiB) 17:20:38 constructed folding proof (mem: 824.90 MiB) 17:20:38 [17:20:38.423] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 824.90 MiB) 17:20:38 [17:20:38.504] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 824.90 MiB) 17:20:38 Constructing DeciderProvingKey (mem: 824.90 MiB) 17:20:38 [17:20:38.507] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 824.90 MiB) 17:20:38 goblin ecc op : 392/1024 (mem: 824.90 MiB) 17:20:38 busread : 3/6000 (mem: 824.90 MiB) 17:20:38 lookups : 2/15000 (mem: 824.90 MiB) 17:20:38 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 824.90 MiB) 17:20:38 arithmetic : 6849/56000 (mem: 824.90 MiB) 17:20:38 delta range : 2333/18000 (mem: 824.90 MiB) 17:20:38 elliptic : 2/6000 (mem: 824.90 MiB) 17:20:38 auxiliary : 50/26000 (mem: 824.90 MiB) 17:20:38 poseidon ext : 2472/17000 (mem: 824.90 MiB) 17:20:38 poseidon int : 14081/92000 (mem: 824.90 MiB) 17:20:38 overflow : 0/0 (mem: 824.90 MiB) 17:20:38 (mem: 824.90 MiB) 17:20:38 Total structured size: 242025 (mem: 824.90 MiB) 17:20:38 allocating polynomials object in proving key... (mem: 824.90 MiB) 17:20:38 [17:20:38.631] INFO: ivc-integration:test:native bb - populating trace... (mem: 824.90 MiB) 17:20:38 [17:20:38.673] INFO: ivc-integration:test:native bb - time to construct proving key: 172 ms. (mem: 824.90 MiB) 17:20:38 [17:20:38.802] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5776605a9540 (mem: 824.90 MiB) 17:20:38 computing folding proof (mem: 824.90 MiB) 17:20:38 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.90 MiB) 17:20:39 [17:20:39.418] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 824.90 MiB) 17:20:39 [17:20:39.847] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 824.90 MiB) 17:20:39 [17:20:39.965] INFO: ivc-integration:test:native bb - perturbator round (mem: 824.90 MiB) 17:20:40 [17:20:40.027] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 833.68 MiB) 17:20:40 [17:20:40.543] INFO: ivc-integration:test:native bb - folded (mem: 833.68 MiB) 17:20:40 constructed folding proof (mem: 833.68 MiB) 17:20:40 [17:20:40.544] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 833.68 MiB) 17:20:40 Minimum required block sizes for structured trace: (mem: 833.68 MiB) 17:20:40 (mem: 833.68 MiB) 17:20:40 prove decider... (mem: 833.68 MiB) 17:20:40 [17:20:40.544] INFO: ivc-integration:test:native bb - ecc_op : 392 17:20:40 busread : 12 17:20:40 lookup : 2 17:20:40 pub_inputs : 36 17:20:40 arithmetic : 6849 17:20:40 delta_range : 2333 17:20:40 elliptic : 2 17:20:40 aux : 110 17:20:40 poseidon2_external : 2472 17:20:40 poseidon2_internal : 14081 17:20:40 overflow : 0 17:20:40 [17:20:40.739] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 833.68 MiB) 17:20:40 [17:20:40.891] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 833.68 MiB) 17:20:41 [17:20:41.983] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 833.68 MiB) 17:20:42 [17:20:42.106] INFO: ivc-integration:test:native bb - computed opening proof (mem: 833.68 MiB) 17:20:42 finished decider proving. (mem: 833.68 MiB) 17:20:42 [17:20:42.129] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 833.68 MiB) 17:20:42 [17:20:42.261] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 833.68 MiB) 17:20:42 [17:20:42.265] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 17:20:42 [17:20:42.266] INFO: ivc-integration:test:native bb - (mem: 17:20:42 [17:20:42.267] INFO: ivc-integration:test:native bb - 833.68 17:20:42 [17:20:42.268] INFO: ivc-integration:test:native bb - MiB) 17:20:42 [17:20:42.467] INFO: ivc-integration:test:native bb - populating trace... 17:20:42 [17:20:42.469] INFO: ivc-integration:test:native bb - (mem: 833.68 MiB) 17:20:42 [17:20:42.535] INFO: ivc-integration:test:native bb - time to construct proving key: 277 ms. (mem: 833.68 MiB) 17:20:43 [17:20:43.084] 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: 833.68 MiB) 17:20:43 [17:20:43.667] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 833.68 MiB) 17:20:44 [17:20:44.332] INFO: ivc-integration:test:native bb - created oink proof (mem: 833.68 MiB) 17:20:44 [17:20:44.690] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 833.68 MiB) 17:20:46 [17:20:46.447] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 833.68 MiB) 17:20:47 [17:20:47.149] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 833.68 MiB) 17:20:47 [17:20:47.189] INFO: ivc-integration:test:native bb - computed opening proof (mem: 833.68 MiB) 17:20:47 finished decider proving. (mem: 833.68 MiB) 17:20:47 Constructing a Goblin proof with num ultra ops = 1038 (mem: 833.68 MiB) 17:20:47 [17:20:47.380] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 833.68 MiB) 17:20:47 [17:20:47.747] 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: 833.68 MiB) 17:20:47 [17:20:47.764] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 833.68 MiB) 17:20:49 [17:20:49.453] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 833.68 MiB) 17:20:51 [17:20:51.414] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 833.68 MiB) 17:20:57 [17:20:57.776] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 833.68 MiB) 17:20:57 prove translator... (mem: 833.68 MiB) 17:21:01 [17:21:01.286] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 855.84 MiB) 17:21:03 [17:21:03.331] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 856.84 MiB) 17:21:05 [17:21:05.841] INFO: ivc-integration:test:native bb - computed opening proof (mem: 856.84 MiB) 17:21:05 [17:21:05.847] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 856.84 MiB) 17:21:05 [17:21:05.851] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 856.84 MiB) 17:21:05 [17:21:05.867] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 856.84 MiB) 17:21:05 libra_evals_verified: 1 (mem: 856.84 MiB) 17:21:05 pairing_check_verified: 1 (mem: 856.84 MiB) 17:21:05 [17:21:05.868] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 856.84 MiB) 17:21:05 [17:21:05.947] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 857.84 MiB) 17:21:05 batch opening verified?: 1 (mem: 857.84 MiB) 17:21:05 eccvm consistency check verified?: 1 (mem: 857.84 MiB) 17:21:05 [17:21:05.948] INFO: ivc-integration:test:native bb - translation masking consistency checked?: 1 (mem: 857.84 MiB) 17:21:05 [17:21:05.967] INFO: ivc-integration:test:native bb - merge verified?: 1 17:21:05 [17:21:05.971] INFO: ivc-integration:test:native bb - (mem: 857.84 MiB) 17:21:05 eccvm verified?: 1 (mem: 857.84 MiB) 17:21:05 accumulator construction_verified?: 1 (mem: 857.84 MiB) 17:21:05 translation verified?: 1 (mem: 857.84 MiB) 17:21:05 consistency verified?: 1 (mem: 857.84 MiB) 17:21:05 Goblin verified: 1 (mem: 857.84 MiB) 17:21:05 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-GjJQiR" (mem: 857.84 MiB) 17:21:05 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-GjJQiR" (mem: 857.84 MiB) 17:21:05 BN254 commitment key size: 262144 (mem: 857.84 MiB) 17:21:05 [17:21:05.974] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 857.84 MiB) 17:21:05 [17:21:05.976] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 857.84 MiB) 17:21:05 goblin ecc op : 4/1024 (mem: 857.84 MiB) 17:21:05 busread : 3/6000 (mem: 857.84 MiB) 17:21:05 [17:21:05.977] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 857.84 MiB) 17:21:05 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 857.84 MiB) 17:21:05 arithmetic : 1773/56000 (mem: 857.84 MiB) 17:21:05 delta range : 1754/18000 (mem: 857.84 MiB) 17:21:05 elliptic : 2/6000 (mem: 857.84 MiB) 17:21:05 auxiliary : 26/26000 (mem: 857.84 MiB) 17:21:05 poseidon ext : 2/17000 (mem: 857.84 MiB) 17:21:05 poseidon int : 2/92000 (mem: 857.84 MiB) 17:21:05 overflow : 0/0 (mem: 857.84 MiB) 17:21:05 (mem: 857.84 MiB) 17:21:05 Total structured size: 242025 (mem: 857.84 MiB) 17:21:05 allocating polynomials object in proving key... (mem: 857.84 MiB) 17:21:06 [17:21:06.159] INFO: ivc-integration:test:native bb - populating trace... (mem: 857.84 MiB) 17:21:06 [17:21:06.199] INFO: ivc-integration:test:native bb - time to construct proving key: 225 ms. (mem: 857.84 MiB) 17:21:06 [17:21:06.293] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 857.84 MiB) 17:21:07 [17:21:07.351] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 857.84 MiB) 17:21: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: 857.84 MiB) 17:21:08 [17:21:08.154] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 857.84 MiB) 17:21:08 [17:21:08.862] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 857.84 MiB) 17:21:08 [17:21:08.869] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 857.84 MiB) 17:21:08 [17:21:08.891] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 857.84 MiB) 17:21:08 [17:21:08.894] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 857.84 MiB) 17:21:08 [17:21:08.894] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 857.84 MiB) 17:21:08 busread : 3/6000 (mem: 857.84 MiB) 17:21:08 lookups : 2/15000 (mem: 857.84 MiB) 17:21:08 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 857.84 MiB) 17:21:08 arithmetic : 4481/56000 (mem: 857.84 MiB) 17:21:08 delta range : 2041/18000 (mem: 857.84 MiB) 17:21:08 elliptic : 2/6000 (mem: 857.84 MiB) 17:21:08 auxiliary : 50/26000 (mem: 857.84 MiB) 17:21:08 poseidon ext : 1312/17000 (mem: 857.84 MiB) 17:21:08 poseidon int : 7469/92000 (mem: 857.84 MiB) 17:21:08 overflow : 0/0 (mem: 857.84 MiB) 17:21:08 (mem: 857.84 MiB) 17:21:08 Total structured size: 242025 (mem: 857.84 MiB) 17:21:08 allocating polynomials object in proving key... (mem: 857.84 MiB) 17:21:09 [17:21:09.085] INFO: ivc-integration:test:native bb - populating trace... (mem: 857.84 MiB) 17:21:09 [17:21:09.129] INFO: ivc-integration:test:native bb - time to construct proving key: 239 ms. 17:21:09 [17:21:09.130] INFO: ivc-integration:test:native bb - (mem: 857.84 MiB) 17:21:09 [17:21:09.244] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 857.84 MiB) 17:21:10 [17:21:10.098] INFO: ivc-integration:test:native bb - computing folding proof (mem: 857.84 MiB) 17:21:10 [17:21:10.099] 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: 857.84 MiB) 17:21:10 [17:21:10.997] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 857.84 MiB) 17:21:11 [17:21:11.717] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 857.84 MiB) 17:21:11 [17:21:11.825] INFO: ivc-integration:test:native bb - perturbator round (mem: 859.84 MiB) 17:21:11 [17:21:11.882] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 891.84 MiB) 17:21:12 [17:21:12.538] INFO: ivc-integration:test:native bb - folded (mem: 891.84 MiB) 17:21:12 [17:21:12.540] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 891.84 MiB) 17:21:12 Largest circuit: 15360 gates. Trace details: (mem: 891.84 MiB) 17:21:12 Minimum required block sizes for structured trace: (mem: 891.84 MiB) 17:21:12 (mem: 891.84 MiB) 17:21:12 prove decider... (mem: 891.84 MiB) 17:21:12 [17:21:12.542] INFO: ivc-integration:test:native bb - ecc_op : 56 17:21:12 busread : 3 17:21:12 lookup : 2 17:21:12 pub_inputs : 36 17:21:12 arithmetic : 4481 17:21:12 delta_range : 2041 17:21:12 elliptic : 2 17:21:12 aux : 50 17:21:12 poseidon2_external : 1312 17:21:12 poseidon2_internal : 7469 17:21:12 overflow : 0 17:21:12 [17:21:12.753] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 891.84 MiB) 17:21:12 [17:21:12.942] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 17:21:12 [17:21:12.946] INFO: ivc-integration:test:native bb - (mem: 891.84 MiB) 17:21:14 [17:21:14.617] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 17:21:14 [17:21:14.619] INFO: ivc-integration:test:native bb - (mem: 17:21:14 [17:21:14.619] INFO: ivc-integration:test:native bb - 891.84 MiB) 17:21:14 [17:21:14.704] INFO: ivc-integration:test:native bb - computed opening proof (mem: 891.84 MiB) 17:21:14 finished decider proving. (mem: 891.84 MiB) 17:21:14 [17:21:14.732] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 891.84 MiB) 17:21:14 [17:21:14.858] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 891.84 MiB) 17:21:14 [17:21:14.865] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 891.84 MiB) 17:21:15 [17:21:15.071] INFO: ivc-integration:test:native bb - populating trace... (mem: 891.84 MiB) 17:21:15 [17:21:15.135] INFO: ivc-integration:test:native bb - time to construct proving key: 277 ms. (mem: 891.84 MiB) 17:21:16 [17:21:16.017] 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-GjJQiR/proof -k /tmp/bb-client-ivc-integration-GjJQiR/vk -v 17:21:16 [17:21:16.079] INFO: ivc-integration:test:native bb command: verify (mem: 153.34 MiB) 17:21:16 Scheme is: client_ivc, num threads: 128 (mem: 153.34 MiB) 17:21:16 --proof_path: /tmp/bb-client-ivc-integration-GjJQiR/proof (mem: 153.34 MiB) 17:21:16 --vk_path: /tmp/bb-client-ivc-integration-GjJQiR/vk (mem: 153.34 MiB) 17:21:16 --verbose: true (mem: 153.34 MiB) 17:21:16 --scheme: client_ivc (mem: 153.34 MiB) 17:21:16 [17:21:16.181] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 156.00 MiB) 17:21:16 [17:21:16.203] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 167.57 MiB) 17:21:16 [17:21:16.205] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 167.57 MiB) 17:21:16 [17:21:16.226] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 167.57 MiB) 17:21:16 [17:21:16.229] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 167.57 MiB) 17:21:16 sumcheck_verified: 1 (mem: 167.57 MiB) 17:21:16 libra_evals_verified: 1 (mem: 167.57 MiB) 17:21:16 pairing_check_verified: 1 (mem: 167.57 MiB) 17:21:16 Mega verified: 1 (mem: 167.57 MiB) 17:21:16 [17:21:16.337] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 184.70 MiB) 17:21:16 batch opening verified?: 1 (mem: 184.70 MiB) 17:21:16 eccvm consistency check verified?: 1 (mem: 184.70 MiB) 17:21:16 translation masking consistency checked?: 1 17:21:16 [17:21:16.338] INFO: ivc-integration:test:native (mem: 184.70 MiB) 17:21:16 [17:21:16.388] INFO: ivc-integration:test:native merge verified?: 1 (mem: 184.70 MiB) 17:21:16 eccvm verified?: 1 (mem: 184.70 MiB) 17:21:16 accumulator construction_verified?: 1 (mem: 184.70 MiB) 17:21:16 translation verified?: 1 (mem: 184.70 MiB) 17:21:16 consistency verified?: 1 (mem: 184.70 MiB) 17:21:16 Goblin verified: 1 (mem: 184.70 MiB) 17:21:16 verified: 1 (mem: 184.70 MiB) 17:21:16 [17:21:16.549] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-E6TnLL/ivc-inputs.msgpack 17:21:16 [17:21:16.550] 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-E6TnLL --ivc_inputs_path /tmp/bb-client-ivc-integration-E6TnLL/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 17:21:16 [17:21:16.577] INFO: ivc-integration:test:native bb - bb command: prove 17:21:16 [17:21:16.578] INFO: ivc-integration:test:native bb - (mem: 17:21:16 [17:21:16.582] INFO: ivc-integration:test:native bb - 154.43 17:21:16 [17:21:16.583] INFO: ivc-integration:test:native bb - MiB) 17:21:16 [17:21:16.584] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 154.43 MiB) 17:21:16 --scheme: client_ivc (mem: 154.43 MiB) 17:21:16 --output_path: /tmp/bb-client-ivc-integration-E6TnLL (mem: 154.43 MiB) 17:21:16 --ivc_inputs_path: /tmp/bb-client-ivc-integration-E6TnLL/ivc-inputs.msgpack (mem: 154.43 MiB) 17:21:16 --verbose: true (mem: 154.43 MiB) 17:21:16 --write_vk: true (mem: 154.43 MiB) 17:21:16 [17:21:16.589] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 154.43 MiB) 17:21:16 [17:21:16.711] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 268.00 MiB) 17:21:16 [17:21:16.814] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 316.21 MiB) 17:21:16 [17:21:16.817] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 316.21 MiB) 17:21:16 Constructing DeciderProvingKey (mem: 316.21 MiB) 17:21:16 [17:21:16.822] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 17:21:16 [17:21:16.825] INFO: ivc-integration:test:native bb - (mem: 316.21 MiB) 17:21:16 goblin ecc op : 4/1024 (mem: 316.21 MiB) 17:21:16 busread : 7/6000 (mem: 316.21 MiB) 17:21:16 lookups : 2/15000 (mem: 316.21 MiB) 17:21:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 316.21 MiB) 17:21:16 arithmetic : 1760/56000 (mem: 316.21 MiB) 17:21:16 delta range : 1754/18000 (mem: 316.21 MiB) 17:21:16 elliptic : 2/6000 (mem: 316.21 MiB) 17:21:16 auxiliary : 26/26000 (mem: 316.21 MiB) 17:21:16 poseidon ext : 2/17000 (mem: 316.21 MiB) 17:21:16 poseidon int : 2/92000 (mem: 316.21 MiB) 17:21:16 overflow : 0/0 (mem: 316.21 MiB) 17:21:16 (mem: 316.21 MiB) 17:21:16 Total structured size: 242025 (mem: 316.21 MiB) 17:21:16 allocating polynomials object in proving key... (mem: 316.21 MiB) 17:21:17 [17:21:17.057] INFO: ivc-integration:test:native bb - populating trace... (mem: 508.34 MiB) 17:21:17 [17:21:17.103] INFO: ivc-integration:test:native bb - time to construct proving key: 285 ms. (mem: 518.34 MiB) 17:21:17 [17:21:17.231] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x586a0772ed40 (mem: 518.34 MiB) 17:21:17 computing oink proof... (mem: 518.34 MiB) 17:21: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: 518.34 MiB) 17:21:17 [17:21:17.886] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.34 MiB) 17:21:18 [17:21:18.343] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 527.34 MiB) 17:21:18 [17:21:18.352] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 527.34 MiB) 17:21:18 [17:21:18.376] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 527.34 MiB) 17:21:18 Constructing DeciderProvingKey (mem: 527.34 MiB) 17:21:18 [17:21:18.381] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 527.34 MiB) 17:21:18 goblin ecc op : 56/1024 (mem: 527.34 MiB) 17:21:18 busread : 12/6000 (mem: 527.34 MiB) 17:21:18 lookups : 2/15000 (mem: 527.34 MiB) 17:21:18 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 527.34 MiB) 17:21:18 arithmetic : 4625/56000 (mem: 527.34 MiB) 17:21:18 delta range : 2054/18000 (mem: 527.34 MiB) 17:21:18 elliptic : 2/6000 (mem: 527.34 MiB) 17:21:18 auxiliary : 110/26000 (mem: 527.34 MiB) 17:21:18 poseidon ext : 1302/17000 (mem: 527.34 MiB) 17:21:18 poseidon int : 7412/92000 (mem: 527.34 MiB) 17:21:18 overflow : 0/0 (mem: 527.34 MiB) 17:21:18 (mem: 527.34 MiB) 17:21:18 Total structured size: 242025 (mem: 527.34 MiB) 17:21:18 allocating polynomials object in proving key... (mem: 527.34 MiB) 17:21:18 [17:21:18.583] INFO: ivc-integration:test:native bb - populating trace... (mem: 736.34 MiB) 17:21:18 [17:21:18.627] INFO: ivc-integration:test:native bb - time to construct proving key: 253 ms. (mem: 748.34 MiB) 17:21:18 [17:21:18.700] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x586a07737fc0 (mem: 748.34 MiB) 17:21:18 [17:21:18.702] INFO: ivc-integration:test:native bb - computing folding proof (mem: 748.34 MiB) 17:21:18 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 748.34 MiB) 17:21:19 [17:21:19.563] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 748.34 MiB) 17:21:20 [17:21:20.280] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 753.34 MiB) 17:21:20 [17:21:20.384] INFO: ivc-integration:test:native bb - perturbator round (mem: 785.34 MiB) 17:21:20 [17:21:20.477] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.34 MiB) 17:21:20 [17:21:20.784] INFO: ivc-integration:test:native bb - folded (mem: 818.34 MiB) 17:21:20 constructed folding proof (mem: 818.34 MiB) 17:21:20 [17:21:20.786] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.34 MiB) 17:21:20 [17:21:20.787] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 818.34 MiB) 17:21:20 [17:21:20.790] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.34 MiB) 17:21:20 goblin ecc op : 4/1024 (mem: 818.34 MiB) 17:21:20 busread : 7/6000 (mem: 818.34 MiB) 17:21:20 lookups : 2/15000 (mem: 818.34 MiB) 17:21:20 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 818.34 MiB) 17:21:20 arithmetic : 1760/56000 (mem: 818.34 MiB) 17:21:20 delta range : 1754/18000 (mem: 818.34 MiB) 17:21:20 elliptic : 2/6000 (mem: 818.34 MiB) 17:21:20 auxiliary : 26/26000 (mem: 818.34 MiB) 17:21:20 poseidon ext : 2/17000 (mem: 818.34 MiB) 17:21:20 poseidon int : 2/92000 (mem: 818.34 MiB) 17:21:20 overflow : 0/0 (mem: 818.34 MiB) 17:21:20 (mem: 818.34 MiB) 17:21:20 Total structured size: 242025 (mem: 818.34 MiB) 17:21:20 allocating polynomials object in proving key... (mem: 818.34 MiB) 17:21:21 [17:21:21.006] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.34 MiB) 17:21:21 [17:21:21.047] INFO: ivc-integration:test:native bb - time to construct proving key: 260 ms. (mem: 818.34 MiB) 17:21:21 [17:21:21.265] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x586a0772f580 (mem: 818.34 MiB) 17:21:21 computing folding proof (mem: 818.34 MiB) 17:21: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: 818.34 MiB) 17:21:21 [17:21:21.970] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.34 MiB) 17:21:22 [17:21:22.185] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.34 MiB) 17:21:22 [17:21:22.272] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.34 MiB) 17:21:22 [17:21:22.333] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 820.27 MiB) 17:21:22 [17:21:22.897] INFO: ivc-integration:test:native bb - folded (mem: 820.27 MiB) 17:21:22 constructed folding proof (mem: 820.27 MiB) 17:21:22 [17:21:22.913] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.27 MiB) 17:21:23 [17:21:23.028] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 820.27 MiB) 17:21:23 [17:21:23.094] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 820.27 MiB) 17:21:23 Constructing DeciderProvingKey (mem: 820.27 MiB) 17:21:23 [17:21:23.103] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 820.27 MiB) 17:21:23 goblin ecc op : 792/1024 (mem: 820.27 MiB) 17:21:23 busread : 12/6000 (mem: 820.27 MiB) 17:21:23 lookups : 2/15000 (mem: 820.27 MiB) 17:21:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 820.27 MiB) 17:21:23 arithmetic : 12080/56000 (mem: 820.27 MiB) 17:21:23 delta range : 2942/18000 (mem: 820.27 MiB) 17:21:23 elliptic : 2/6000 (mem: 820.27 MiB) 17:21:23 auxiliary : 350/26000 (mem: 820.27 MiB) 17:21:23 poseidon ext : 4942/17000 (mem: 820.27 MiB) 17:21:23 poseidon int : 28160/92000 (mem: 820.27 MiB) 17:21:23 overflow : 0/0 (mem: 820.27 MiB) 17:21:23 (mem: 820.27 MiB) 17:21:23 Total structured size: 242025 (mem: 820.27 MiB) 17:21:23 allocating polynomials object in proving key... (mem: 820.27 MiB) 17:21:23 [17:21:23.329] INFO: ivc-integration:test:native bb - populating trace... (mem: 820.27 MiB) 17:21:23 [17:21:23.385] INFO: ivc-integration:test:native bb - time to construct proving key: 291 ms. 17:21:23 [17:21:23.387] INFO: ivc-integration:test:native bb - (mem: 820.27 MiB) 17:21:23 [17:21:23.526] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x586a07729000 (mem: 820.27 MiB) 17:21:23 computing folding proof (mem: 820.27 MiB) 17:21:23 [17:21:23.533] 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: 820.27 MiB) 17:21:24 [17:21:24.196] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 820.27 MiB) 17:21:24 [17:21:24.522] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 820.27 MiB) 17:21:24 [17:21:24.619] INFO: ivc-integration:test:native bb - perturbator round (mem: 820.27 MiB) 17:21:24 [17:21:24.681] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.32 MiB) 17:21:24 [17:21:24.863] INFO: ivc-integration:test:native bb - folded (mem: 851.32 MiB) 17:21:24 constructed folding proof (mem: 851.32 MiB) 17:21:24 [17:21:24.871] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 851.32 MiB) 17:21:24 [17:21:24.935] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 851.32 MiB) 17:21:24 Constructing DeciderProvingKey (mem: 851.32 MiB) 17:21:24 [17:21:24.940] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 17:21:24 [17:21:24.940] INFO: ivc-integration:test:native bb - (mem: 17:21:24 [17:21:24.941] INFO: ivc-integration:test:native bb - 851.32 17:21:24 [17:21:24.942] INFO: ivc-integration:test:native bb - MiB) 17:21:24 goblin ecc op : 392/1024 (mem: 851.32 MiB) 17:21:24 busread : 16/6000 (mem: 851.32 MiB) 17:21:24 lookups : 2/15000 (mem: 851.32 MiB) 17:21:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 851.32 MiB) 17:21:24 arithmetic : 6914/56000 (mem: 851.32 MiB) 17:21:24 delta range : 2347/18000 (mem: 851.32 MiB) 17:21:24 elliptic : 2/6000 (mem: 851.32 MiB) 17:21:24 auxiliary : 77/26000 (mem: 851.32 MiB) 17:21:24 poseidon ext : 2472/17000 (mem: 851.32 MiB) 17:21:24 poseidon int : 14081/92000 (mem: 851.32 MiB) 17:21:24 overflow : 0/0 (mem: 851.32 MiB) 17:21:24 (mem: 851.32 MiB) 17:21:24 Total structured size: 242025 (mem: 851.32 MiB) 17:21:24 allocating polynomials object in proving key... (mem: 851.32 MiB) 17:21:25 [17:21:25.051] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.32 MiB) 17:21:25 [17:21:25.073] INFO: ivc-integration:test:native bb - time to construct proving key: 138 ms. (mem: 851.32 MiB) 17:21:25 [17:21:25.180] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x586a077abec0 (mem: 851.32 MiB) 17:21:25 computing folding proof (mem: 851.32 MiB) 17:21: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: 851.32 MiB) 17:21:25 [17:21:25.616] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 851.32 MiB) 17:21:25 [17:21:25.843] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.32 MiB) 17:21:25 [17:21:25.915] INFO: ivc-integration:test:native bb - perturbator round (mem: 851.32 MiB) 17:21:25 [17:21:25.967] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 852.55 MiB) 17:21:26 [17:21:26.219] INFO: ivc-integration:test:native bb - folded (mem: 852.55 MiB) 17:21:26 constructed folding proof (mem: 852.55 MiB) 17:21:26 [17:21:26.229] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 852.55 MiB) 17:21:26 [17:21:26.295] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 852.55 MiB) 17:21:26 Constructing DeciderProvingKey (mem: 852.55 MiB) 17:21:26 [17:21:26.300] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 852.55 MiB) 17:21:26 goblin ecc op : 392/1024 (mem: 852.55 MiB) 17:21:26 busread : 3/6000 (mem: 852.55 MiB) 17:21:26 lookups : 2/15000 (mem: 852.55 MiB) 17:21:26 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 852.55 MiB) 17:21:26 arithmetic : 6849/56000 (mem: 852.55 MiB) 17:21:26 delta range : 2333/18000 (mem: 852.55 MiB) 17:21:26 elliptic : 2/6000 (mem: 852.55 MiB) 17:21:26 auxiliary : 50/26000 (mem: 852.55 MiB) 17:21:26 poseidon ext : 2472/17000 (mem: 852.55 MiB) 17:21:26 poseidon int : 14081/92000 (mem: 852.55 MiB) 17:21:26 overflow : 0/0 (mem: 852.55 MiB) 17:21:26 (mem: 852.55 MiB) 17:21:26 Total structured size: 242025 (mem: 852.55 MiB) 17:21:26 allocating polynomials object in proving key... (mem: 852.55 MiB) 17:21:26 [17:21:26.396] INFO: ivc-integration:test:native bb - populating trace... (mem: 852.55 MiB) 17:21:26 [17:21:26.420] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 852.55 MiB) 17:21:26 [17:21:26.616] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x586a077427c0 (mem: 852.55 MiB) 17:21:26 computing folding proof (mem: 852.55 MiB) 17:21:26 [17:21:26.619] 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: 852.55 MiB) 17:21:27 [17:21:27.307] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 852.55 MiB) 17:21:27 [17:21:27.683] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 852.55 MiB) 17:21:27 [17:21:27.820] INFO: ivc-integration:test:native bb - perturbator round (mem: 852.55 MiB) 17:21:27 [17:21:27.898] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 852.95 MiB) 17:21:28 [17:21:28.238] INFO: ivc-integration:test:native bb - folded (mem: 852.95 MiB) 17:21:28 constructed folding proof (mem: 852.95 MiB) 17:21:28 [17:21:28.240] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 852.95 MiB) 17:21:28 Minimum required block sizes for structured trace: (mem: 852.95 MiB) 17:21:28 (mem: 852.95 MiB) 17:21:28 prove decider... (mem: 852.95 MiB) 17:21:28 [17:21:28.241] INFO: ivc-integration:test:native bb - ecc_op : 792 17:21:28 busread : 16 17:21:28 lookup : 2 17:21:28 pub_inputs : 36 17:21:28 arithmetic : 12080 17:21:28 delta_range : 2942 17:21:28 elliptic : 2 17:21:28 aux : 350 17:21:28 poseidon2_external : 4942 17:21:28 poseidon2_internal : 28160 17:21:28 overflow : 0 17:21:28 [17:21:28.438] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.95 MiB) 17:21:28 [17:21:28.540] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 852.95 MiB) 17:21:29 [17:21:29.188] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.95 MiB) 17:21:29 [17:21:29.255] INFO: ivc-integration:test:native bb - computed opening proof (mem: 852.95 MiB) 17:21:29 finished decider proving. (mem: 852.95 MiB) 17:21:29 [17:21:29.271] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 852.95 MiB) 17:21:29 [17:21:29.376] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 852.95 MiB) 17:21:29 [17:21:29.386] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 852.95 MiB) 17:21:29 [17:21:29.502] INFO: ivc-integration:test:native bb - populating trace... (mem: 852.95 MiB) 17:21:29 [17:21:29.547] INFO: ivc-integration:test:native bb - time to construct proving key: 170 ms. (mem: 852.95 MiB) 17:21:29 [17:21:29.971] 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: 852.95 MiB) 17:21:30 [17:21:30.387] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 852.95 MiB) 17:21:30 [17:21:30.850] INFO: ivc-integration:test:native bb - created oink proof (mem: 852.95 MiB) 17:21:31 [17:21:31.084] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.95 MiB) 17:21:32 [17:21:32.153] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 852.95 MiB) 17:21:32 [17:21:32.985] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.95 MiB) 17:21:33 [17:21:33.046] INFO: ivc-integration:test:native bb - computed opening proof (mem: 852.95 MiB) 17:21:33 finished decider proving. (mem: 852.95 MiB) 17:21:33 Constructing a Goblin proof with num ultra ops = 2226 (mem: 852.95 MiB) 17:21:33 [17:21:33.230] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 852.95 MiB) 17:21:33 [17:21:33.836] 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: 852.95 MiB) 17:21:33 [17:21:33.854] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 852.95 MiB) 17:21:35 [17:21:35.329] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.95 MiB) 17:21:37 [17:21:37.228] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 852.95 MiB) 17:21:42 [17:21:42.891] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 852.95 MiB) 17:21:42 prove translator... (mem: 852.95 MiB) 17:21:46 [17:21:46.393] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 866.08 MiB) 17:21:48 [17:21:48.789] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 867.08 MiB) 17:21:50 [17:21:50.490] INFO: ivc-integration:test:native bb - computed opening proof (mem: 867.08 MiB) 17:21:50 [17:21:50.492] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 867.08 MiB) 17:21:50 [17:21:50.498] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 867.08 MiB) 17:21:50 [17:21:50.524] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 867.08 MiB) 17:21:50 libra_evals_verified: 1 (mem: 867.08 MiB) 17:21:50 pairing_check_verified: 1 (mem: 867.08 MiB) 17:21:50 Mega verified: 1 (mem: 867.08 MiB) 17:21:50 [17:21:50.587] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 868.08 MiB) 17:21:50 batch opening verified?: 1 (mem: 868.08 MiB) 17:21:50 eccvm consistency check verified?: 1 (mem: 868.08 MiB) 17:21:50 translation masking consistency checked?: 1 (mem: 868.08 MiB) 17:21:50 [17:21:50.606] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 868.08 MiB) 17:21:50 eccvm verified?: 1 (mem: 868.08 MiB) 17:21:50 accumulator construction_verified?: 1 (mem: 868.08 MiB) 17:21:50 translation verified?: 1 (mem: 868.08 MiB) 17:21:50 consistency verified?: 1 (mem: 868.08 MiB) 17:21:50 Goblin verified: 1 (mem: 868.08 MiB) 17:21:50 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-E6TnLL" (mem: 868.08 MiB) 17:21:50 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-E6TnLL" (mem: 868.08 MiB) 17:21:50 BN254 commitment key size: 262144 (mem: 868.08 MiB) 17:21:50 [17:21:50.607] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 868.08 MiB) 17:21:50 [17:21:50.609] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 868.08 MiB) 17:21:50 goblin ecc op : 4/1024 (mem: 868.08 MiB) 17:21:50 busread : 3/6000 (mem: 868.08 MiB) 17:21:50 lookups : 2/15000 (mem: 868.08 17:21:50 [17:21:50.610] INFO: ivc-integration:test:native bb - MiB) 17:21:50 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 868.08 MiB) 17:21:50 arithmetic : 1773/56000 (mem: 868.08 MiB) 17:21:50 delta range : 1754/18000 (mem: 868.08 MiB) 17:21:50 elliptic : 2/6000 (mem: 868.08 MiB) 17:21:50 auxiliary : 26/26000 (mem: 868.08 MiB) 17:21:50 poseidon ext : 2/17000 (mem: 868.08 MiB) 17:21:50 poseidon int : 2/92000 (mem: 868.08 MiB) 17:21:50 overflow : 0/0 (mem: 868.08 MiB) 17:21:50 (mem: 868.08 MiB) 17:21:50 Total structured size: 242025 (mem: 868.08 MiB) 17:21:50 allocating polynomials object in proving key... (mem: 868.08 MiB) 17:21:50 [17:21:50.665] INFO: ivc-integration:test:native bb - populating trace... (mem: 868.08 MiB) 17:21:50 [17:21:50.679] INFO: ivc-integration:test:native bb - time to construct proving key: 71 ms. (mem: 868.08 MiB) 17:21:50 [17:21:50.724] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 868.08 MiB) 17:21:51 [17:21:51.220] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 868.08 MiB) 17:21:51 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 868.08 MiB) 17:21:52 [17:21:52.130] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 868.08 MiB) 17:21:52 [17:21:52.326] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 868.08 MiB) 17:21:52 [17:21:52.335] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 868.08 MiB) 17:21:52 [17:21:52.359] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 868.08 MiB) 17:21:52 [17:21:52.362] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 868.08 MiB) 17:21:52 [17:21:52.364] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 868.08 MiB) 17:21:52 busread : 3/6000 (mem: 868.08 MiB) 17:21:52 lookups : 2/15000 (mem: 868.08 MiB) 17:21:52 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 868.08 MiB) 17:21:52 arithmetic : 4481/56000 (mem: 868.08 MiB) 17:21:52 delta range : 2041/18000 (mem: 868.08 MiB) 17:21:52 elliptic : 2/6000 (mem: 868.08 MiB) 17:21:52 auxiliary : 50/26000 (mem: 868.08 MiB) 17:21:52 poseidon ext : 1312/17000 (mem: 868.08 MiB) 17:21:52 poseidon int : 7469/92000 (mem: 868.08 MiB) 17:21:52 overflow : 0/0 (mem: 868.08 MiB) 17:21:52 (mem: 868.08 MiB) 17:21:52 Total structured size: 242025 (mem: 868.08 MiB) 17:21:52 allocating polynomials object in proving key... (mem: 868.08 MiB) 17:21:52 [17:21:52.473] INFO: ivc-integration:test:native bb - populating trace... (mem: 868.08 MiB) 17:21:52 [17:21:52.501] INFO: ivc-integration:test:native bb - time to construct proving key: 141 ms. (mem: 868.08 MiB) 17:21:52 [17:21:52.627] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 868.08 MiB) 17:21:53 [17:21:53.416] INFO: ivc-integration:test:native bb - computing folding proof (mem: 868.08 17:21:53 [17:21:53.417] INFO: ivc-integration:test:native bb - MiB) 17:21: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: 868.08 MiB) 17:21:54 [17:21:54.089] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 868.08 MiB) 17:21:54 [17:21:54.610] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 868.08 MiB) 17:21:54 [17:21:54.743] INFO: ivc-integration:test:native bb - perturbator round 17:21:54 [17:21:54.744] INFO: ivc-integration:test:native bb - (mem: 17:21:54 [17:21:54.745] INFO: ivc-integration:test:native bb - 868.08 17:21:54 [17:21:54.745] INFO: ivc-integration:test:native bb - MiB) 17:21:54 [17:21:54.745] INFO: ivc-integration:test:native bb - 17:21:54 [17:21:54.789] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 900.08 MiB) 17:21:55 [17:21:55.178] INFO: ivc-integration:test:native bb - folded (mem: 900.08 MiB) 17:21:55 constructed folding proof (mem: 900.08 MiB) 17:21:55 Largest circuit: 15360 gates. Trace details: (mem: 900.08 MiB) 17:21:55 Minimum required block sizes for structured trace: (mem: 900.08 MiB) 17:21:55 (mem: 900.08 MiB) 17:21:55 prove decider... (mem: 900.08 MiB) 17:21:55 [17:21:55.181] INFO: ivc-integration:test:native bb - ecc_op : 56 17:21:55 busread : 3 17:21:55 lookup : 2 17:21:55 pub_inputs : 36 17:21:55 arithmetic : 4481 17:21:55 delta_range : 2041 17:21:55 elliptic : 2 17:21:55 aux : 50 17:21:55 poseidon2_external : 1312 17:21:55 poseidon2_internal : 7469 17:21:55 overflow : 0 17:21:55 [17:21:55.480] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 900.08 MiB) 17:21:55 [17:21:55.731] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 900.08 MiB) 17:21:56 [17:21:56.926] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 900.08 MiB) 17:21:57 [17:21:57.024] INFO: ivc-integration:test:native bb - computed opening proof (mem: 900.08 MiB) 17:21:57 finished decider proving. (mem: 900.08 MiB) 17:21:57 [17:21:57.046] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 900.08 MiB) 17:21:57 [17:21:57.149] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 17:21:57 [17:21:57.151] INFO: ivc-integration:test:native bb - (mem: 900.08 MiB) 17:21:57 [17:21:57.156] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 900.08 MiB) 17:21:57 [17:21:57.384] INFO: ivc-integration:test:native bb - populating trace... (mem: 900.08 MiB) 17:21:57 [17:21:57.447] INFO: ivc-integration:test:native bb - time to construct proving key: 296 ms. (mem: 900.08 MiB) 17:21:58 [17:21:58.137] 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-E6TnLL/proof -k /tmp/bb-client-ivc-integration-E6TnLL/vk -v 17:21:58 [17:21:58.161] INFO: ivc-integration:test:native bb command: verify (mem: 158.29 MiB) 17:21:58 [17:21:58.162] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 158.29 MiB) 17:21:58 --proof_path: /tmp/bb-client-ivc-integration-E6TnLL/proof (mem: 158.29 MiB) 17:21:58 --vk_path: /tmp/bb-client-ivc-integration-E6TnLL/vk (mem: 158.29 MiB) 17:21:58 --verbose: true (mem: 158.29 MiB) 17:21:58 --scheme: client_ivc (mem: 158.29 MiB) 17:21:58 [17:21:58.279] 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.29 MiB) 17:21:58 [17:21:58.305] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 159.42 MiB) 17:21:58 [17:21:58.306] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 159.42 MiB) 17:21:58 [17:21:58.324] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 159.42 MiB) 17:21:58 [17:21:58.325] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 159.42 MiB) 17:21:58 [17:21:58.326] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 159.42 MiB) 17:21:58 libra_evals_verified: 1 (mem: 159.42 MiB) 17:21:58 pairing_check_verified: 1 (mem: 159.42 MiB) 17:21:58 Mega verified: 1 (mem: 159.42 MiB) 17:21:58 [17:21:58.400] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 176.55 MiB) 17:21:58 batch opening verified?: 1 (mem: 176.55 MiB) 17:21:58 eccvm consistency check verified?: 1 (mem: 176.55 MiB) 17:21:58 translation masking consistency checked?: 1 (mem: 176.55 MiB) 17:21:58 [17:21:58.421] INFO: ivc-integration:test:native merge verified?: 1 (mem: 176.55 MiB) 17:21:58 eccvm verified?: 1 (mem: 176.55 MiB) 17:21:58 accumulator construction_verified?: 1 (mem: 176.55 MiB) 17:21:58 translation verified?: 1 (mem: 176.55 MiB) 17:21:58 consistency verified?: 1 (mem: 176.55 MiB) 17:21:58 Goblin verified: 1 (mem: 176.55 MiB) 17:21:58 [17:21:58.426] INFO: ivc-integration:test:native verified: 1 (mem: 176.55 MiB) 17:21:58 PASS src/native_client_ivc_integration.test.ts (86.544 s) 17:21:58 Client IVC Integration 17:21:58 ✓ Should generate a verifiable client IVC proof from a simple mock tx (41193 ms) 17:21:58 ✓ Should generate a verifiable client IVC proof from a complex mock tx (42037 ms) 17:21:58 17:21:58 Test Suites: 1 passed, 1 total 17:21:58 Tests: 2 passed, 2 total 17:21:58 Snapshots: 0 total 17:21:58 Time: 86.623 s 17:21:58 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 17:21:58 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?