Parent Log: http://ci.aztec-labs.com/f9daaf627a43018f Command: 53eb328a1446f762: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/a48851a8c6884f4b9615a154f8862a549722d25e Env: REF_NAME=gh-readonly-queue/next/pr-14680-3b5835195491b53670250790b18c14d922718574 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 11:24:14 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14680_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 11:24:19 [11:24:19.131] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-oeI9dv/ivc-inputs.msgpack 11:24:19 [11:24:19.136] 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-oeI9dv --ivc_inputs_path /tmp/bb-client-ivc-integration-oeI9dv/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:24:19 [11:24:19.162] INFO: ivc-integration:test:native bb - bb command: prove (mem: 182.48 MiB) 11:24:19 [11:24:19.164] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 182.48 MiB) 11:24:19 --scheme: client_ivc (mem: 182.48 MiB) 11:24:19 --output_path: /tmp/bb-client-ivc-integration-oeI9dv (mem: 182.48 MiB) 11:24:19 --ivc_inputs_path: /tmp/bb-client-ivc-integration-oeI9dv/ivc-inputs.msgpack (mem: 182.48 MiB) 11:24:19 --verbose: true (mem: 182.48 MiB) 11:24:19 --write_vk: true (mem: 182.48 MiB) 11:24:19 [11:24:19.165] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 182.48 MiB) 11:24:19 [11:24:19.268] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.00 MiB) 11:24:19 [11:24:19.360] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 301.01 MiB) 11:24:19 [11:24:19.365] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 11:24:19 [11:24:19.367] INFO: ivc-integration:test:native bb - (mem: 301.01 MiB) 11:24:19 Constructing DeciderProvingKey (mem: 301.01 MiB) 11:24:19 [11:24:19.371] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 301.01 MiB) 11:24:19 goblin ecc op : 4/1024 (mem: 301.01 MiB) 11:24:19 busread : 7/6000 (mem: 301.01 MiB) 11:24:19 lookups : 2/15000 (mem: 301.01 MiB) 11:24:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 301.01 MiB) 11:24:19 arithmetic : 1760/56000 (mem: 301.01 MiB) 11:24:19 delta range : 1754/18000 (mem: 301.01 MiB) 11:24:19 elliptic : 2/6000 (mem: 301.01 MiB) 11:24:19 [11:24:19.373] INFO: ivc-integration:test:native bb - 11:24:19 auxiliary : 26/26000 (mem: 301.01 MiB) 11:24:19 poseidon ext : 2/17000 (mem: 301.01 MiB) 11:24:19 poseidon int : 2/92000 (mem: 301.01 MiB) 11:24:19 overflow : 0/0 (mem: 301.01 MiB) 11:24:19 (mem: 301.01 MiB) 11:24:19 Total structured size: 242025 (mem: 301.01 MiB) 11:24:19 allocating polynomials object in proving key... (mem: 301.01 MiB) 11:24:19 [11:24:19.447] INFO: ivc-integration:test:native bb - populating trace... (mem: 504.16 MiB) 11:24:19 [11:24:19.460] INFO: ivc-integration:test:native bb - time to construct proving key: 94 ms. (mem: 518.16 MiB) 11:24:19 [11:24:19.516] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63a58f391440 (mem: 518.16 MiB) 11:24:19 [11:24:19.518] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 518.16 MiB) 11:24:19 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.16 MiB) 11:24:19 [11:24:19.701] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 525.16 MiB) 11:24:19 [11:24:19.710] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.16 MiB) 11:24:19 [11:24:19.726] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 525.16 MiB) 11:24:19 Constructing DeciderProvingKey (mem: 525.16 MiB) 11:24:19 [11:24:19.732] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.16 MiB) 11:24:19 goblin ecc op : 56/1024 (mem: 525.16 MiB) 11:24:19 busread : 12/6000 (mem: 525.16 MiB) 11:24:19 lookups : 2/15000 (mem: 525.16 MiB) 11:24:19 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.16 MiB) 11:24:19 arithmetic : 4625/56000 (mem: 525.16 MiB) 11:24:19 delta range : 2054/18000 (mem: 525.16 MiB) 11:24:19 elliptic : 2/6000 (mem: 525.16 MiB) 11:24:19 auxiliary : 110/26000 (mem: 525.16 MiB) 11:24:19 poseidon ext : 1302/17000 (mem: 525.16 MiB) 11:24:19 poseidon int : 7412/92000 (mem: 525.16 MiB) 11:24:19 overflow : 0/0 (mem: 525.16 MiB) 11:24:19 (mem: 525.16 MiB) 11:24:19 Total structured size: 242025 (mem: 525.16 MiB) 11:24:19 allocating polynomials object in proving key... (mem: 525.16 MiB) 11:24:19 [11:24:19.826] INFO: ivc-integration:test:native bb - populating trace... (mem: 731.16 MiB) 11:24:19 [11:24:19.852] INFO: ivc-integration:test:native bb - time to construct proving key: 124 ms. (mem: 745.16 MiB) 11:24:19 [11:24:19.938] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63a58f39e100 (mem: 745.16 MiB) 11:24:19 [11:24:19.941] INFO: ivc-integration:test:native bb - 11:24:19 computing folding proof (mem: 745.16 MiB) 11:24:19 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 745.16 MiB) 11:24:20 [11:24:20.384] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.16 MiB) 11:24:20 [11:24:20.483] INFO: ivc-integration:test:native bb - perturbator round (mem: 785.16 MiB) 11:24:20 [11:24:20.541] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.16 MiB) 11:24:21 [11:24:21.081] INFO: ivc-integration:test:native bb - folded (mem: 817.16 MiB) 11:24:21 [11:24:21.082] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 817.16 MiB) 11:24:21 [11:24:21.100] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 817.16 MiB) 11:24:21 [11:24:21.174] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.16 MiB) 11:24:21 Constructing DeciderProvingKey (mem: 817.16 MiB) 11:24:21 [11:24:21.176] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.16 MiB) 11:24:21 goblin ecc op : 392/1024 (mem: 817.16 MiB) 11:24:21 busread : 3/6000 (mem: 817.16 MiB) 11:24:21 lookups : 2/15000 (mem: 817.16 MiB) 11:24:21 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.16 MiB) 11:24:21 arithmetic : 6849/56000 (mem: 817.16 MiB) 11:24:21 delta range : 2333/18000 (mem: 817.16 MiB) 11:24:21 elliptic : 2/6000 (mem: 817.16 MiB) 11:24:21 auxiliary : 50/26000 (mem: 817.16 MiB) 11:24:21 poseidon ext : 2472/17000 (mem: 817.16 11:24:21 [11:24:21.177] INFO: ivc-integration:test:native bb - MiB) 11:24:21 poseidon int : 14081/92000 (mem: 817.16 MiB) 11:24:21 overflow : 0/0 (mem: 817.16 MiB) 11:24:21 (mem: 817.16 MiB) 11:24:21 Total structured size: 242025 (mem: 817.16 MiB) 11:24:21 allocating polynomials object in proving key... (mem: 817.16 MiB) 11:24:21 [11:24:21.373] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.16 MiB) 11:24:21 [11:24:21.409] INFO: ivc-integration:test:native bb - time to construct proving key: 236 ms. (mem: 817.16 MiB) 11:24:21 [11:24:21.651] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63a58f393a80 (mem: 817.16 MiB) 11:24:21 computing folding proof (mem: 817.16 MiB) 11:24:21 [11:24:21.653] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 817.16 MiB) 11:24:22 [11:24:22.171] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.16 MiB) 11:24:22 [11:24:22.281] INFO: ivc-integration:test:native bb - perturbator round (mem: 817.16 MiB) 11:24:22 [11:24:22.310] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.16 MiB) 11:24:22 [11:24:22.698] INFO: ivc-integration:test:native bb - folded (mem: 817.16 MiB) 11:24:22 constructed folding proof (mem: 817.16 MiB) 11:24:22 Largest circuit: 25792 gates. Trace details: (mem: 817.16 MiB) 11:24:22 Minimum required block sizes for structured trace: (mem: 817.16 MiB) 11:24:22 (mem: 817.16 MiB) 11:24:22 prove decider... (mem: 817.16 MiB) 11:24:22 [11:24:22.699] INFO: ivc-integration:test:native bb - ecc_op : 392 11:24:22 busread : 12 11:24:22 lookup : 2 11:24:22 pub_inputs : 36 11:24:22 arithmetic : 6849 11:24:22 delta_range : 2333 11:24:22 elliptic : 2 11:24:22 aux : 110 11:24:22 poseidon2_external : 2472 11:24:22 poseidon2_internal : 14081 11:24:22 overflow : 0 11:24:22 [11:24:22.884] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.16 MiB) 11:24:23 [11:24:23.028] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 817.16 MiB) 11:24:23 [11:24:23.923] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.16 MiB) 11:24:23 [11:24:23.924] INFO: ivc-integration:test:native bb - 11:24:24 [11:24:24.030] INFO: ivc-integration:test:native bb - computed opening proof (mem: 817.16 MiB) 11:24:24 finished decider proving. (mem: 817.16 MiB) 11:24:24 [11:24:24.050] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 817.16 MiB) 11:24:24 [11:24:24.158] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.16 MiB) 11:24:24 [11:24:24.173] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 817.16 MiB) 11:24:24 [11:24:24.353] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.16 MiB) 11:24:24 [11:24:24.431] INFO: ivc-integration:test:native bb - time to construct proving key: 273 ms. (mem: 817.16 MiB) 11:24:25 [11:24:25.431] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 817.16 MiB) 11:24:25 [11:24:25.960] INFO: ivc-integration:test:native bb - created oink proof (mem: 817.16 MiB) 11:24:26 [11:24:26.257] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.16 MiB) 11:24:28 [11:24:28.547] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 11:24:28 [11:24:28.548] INFO: ivc-integration:test:native bb - (mem: 817.16 MiB) 11:24:29 [11:24:29.600] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.16 MiB) 11:24:29 [11:24:29.656] INFO: ivc-integration:test:native bb - computed opening proof (mem: 817.16 MiB) 11:24:29 finished decider proving. (mem: 817.16 MiB) 11:24:29 Constructing a Goblin proof with num ultra ops = 1038 (mem: 817.16 MiB) 11:24:29 [11:24:29.820] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 817.16 MiB) 11:24:30 [11:24:30.337] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 817.16 MiB) 11:24:30 [11:24:30.371] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 817.16 MiB) 11:24:32 [11:24:32.181] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.16 MiB) 11:24:34 [11:24:34.100] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.16 MiB) 11:24:38 [11:24:38.707] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 817.16 MiB) 11:24:38 prove translator... (mem: 817.16 MiB) 11:24:41 [11:24:41.543] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.71 MiB) 11:24:43 [11:24:43.458] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 846.71 MiB) 11:24:45 [11:24:45.998] INFO: ivc-integration:test:native bb - computed opening proof (mem: 846.71 MiB) 11:24:45 [11:24:45.999] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 846.71 MiB) 11:24:46 [11:24:46.005] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 846.71 MiB) 11:24:46 [11:24:46.023] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 11:24:46 [11:24:46.026] INFO: ivc-integration:test:native bb - (mem: 846.71 MiB) 11:24:46 [11:24:46.027] INFO: ivc-integration:test:native bb - libra_evals_verified: 1 (mem: 846.71 MiB) 11:24:46 pairing_check_verified: 1 (mem: 846.71 MiB) 11:24:46 Mega verified: 1 (mem: 846.71 MiB) 11:24:46 [11:24:46.103] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 846.71 MiB) 11:24:46 batch opening verified?: 1 (mem: 846.71 MiB) 11:24:46 eccvm consistency check verified?: 1 (mem: 846.71 MiB) 11:24:46 translation masking consistency checked?: 1 (mem: 846.71 MiB) 11:24:46 [11:24:46.123] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 846.71 MiB) 11:24:46 eccvm verified?: 1 (mem: 846.71 MiB) 11:24:46 accumulator construction_verified?: 1 (mem: 846.71 MiB) 11:24:46 translation verified?: 1 (mem: 846.71 MiB) 11:24:46 consistency verified?: 1 (mem: 846.71 MiB) 11:24:46 Goblin verified: 1 (mem: 846.71 MiB) 11:24:46 [11:24:46.124] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-oeI9dv" (mem: 846.71 MiB) 11:24:46 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-oeI9dv" (mem: 846.71 MiB) 11:24:46 BN254 commitment key size: 262144 (mem: 846.71 MiB) 11:24:46 [11:24:46.125] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.71 MiB) 11:24:46 [11:24:46.128] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.71 MiB) 11:24:46 goblin ecc op : 4/1024 (mem: 846.71 MiB) 11:24:46 busread : 3/6000 (mem: 846.71 MiB) 11:24:46 lookups : 2/15000 (mem: 846.71 MiB) 11:24:46 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.71 MiB) 11:24:46 arithmetic : 1773/56000 (mem: 846.71 MiB) 11:24:46 delta range : 1754/18000 (mem: 846.71 MiB) 11:24:46 elliptic : 2/6000 (mem: 846.71 MiB) 11:24:46 auxiliary : 26/26000 (mem: 846.71 MiB) 11:24:46 poseidon ext : 2/17000 11:24:46 [11:24:46.129] INFO: ivc-integration:test:native bb - (mem: 846.71 MiB) 11:24:46 poseidon int : 2/92000 (mem: 846.71 MiB) 11:24:46 overflow : 0/0 (mem: 846.71 MiB) 11:24:46 (mem: 846.71 MiB) 11:24:46 Total structured size: 242025 (mem: 846.71 MiB) 11:24:46 allocating polynomials object in proving key... (mem: 846.71 MiB) 11:24:46 [11:24:46.372] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.71 MiB) 11:24:46 [11:24:46.405] INFO: ivc-integration:test:native bb - time to construct proving key: 277 ms. (mem: 846.71 MiB) 11:24:46 [11:24:46.519] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.71 MiB) 11:24:47 [11:24:47.384] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 846.71 MiB) 11:24:47 [11:24:47.388] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.71 MiB) 11:24:47 [11:24:47.704] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 846.71 MiB) 11:24:47 [11:24:47.712] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.71 MiB) 11:24:47 [11:24:47.733] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.71 MiB) 11:24:47 [11:24:47.738] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.71 MiB) 11:24:47 goblin ecc op : 56/1024 (mem: 846.71 MiB) 11:24:47 busread : 3/6000 (mem: 846.71 MiB) 11:24:47 lookups : 2/15000 (mem: 846.71 MiB) 11:24:47 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.71 MiB) 11:24:47 arithmetic : 4481/56000 (mem: 846.71 MiB) 11:24:47 delta range : 2041/18000 (mem: 846.71 MiB) 11:24:47 elliptic : 2/6000 (mem: 846.71 MiB) 11:24:47 auxiliary : 50/26000 (mem: 846.71 MiB) 11:24:47 poseidon ext : 1312/17000 (mem: 846.71 MiB) 11:24:47 poseidon int : 7469/92000 (mem: 846.71 MiB) 11:24:47 overflow : 0/0 (mem: 846.71 MiB) 11:24:47 (mem: 846.71 MiB) 11:24:47 Total structured size: 242025 (mem: 846.71 MiB) 11:24:47 allocating polynomials object in proving key... (mem: 846.71 MiB) 11:24:48 [11:24:48.019] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.71 MiB) 11:24:48 [11:24:48.050] INFO: ivc-integration:test:native bb - time to construct proving key: 318 ms. (mem: 846.71 MiB) 11:24:48 [11:24:48.220] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.71 MiB) 11:24:49 [11:24:49.106] INFO: ivc-integration:test:native bb - computing folding proof (mem: 846.71 MiB) 11:24:49 [11:24:49.108] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 846.71 MiB) 11:24:49 [11:24:49.955] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.71 MiB) 11:24:50 [11:24:50.128] INFO: ivc-integration:test:native bb - perturbator round (mem: 848.71 MiB) 11:24:50 [11:24:50.204] INFO: ivc-integration:test:native bb - combiner quotient round 11:24:50 [11:24:50.205] INFO: ivc-integration:test:native bb - (mem: 11:24:50 [11:24:50.206] INFO: ivc-integration:test:native bb - 880.71 MiB) 11:24:50 [11:24:50.732] INFO: ivc-integration:test:native bb - folded (mem: 880.71 MiB) 11:24:50 constructed folding proof (mem: 880.71 MiB) 11:24:50 Largest circuit: 15360 gates. Trace details: (mem: 880.71 MiB) 11:24:50 Minimum required block sizes for structured trace: (mem: 880.71 MiB) 11:24:50 (mem: 880.71 MiB) 11:24:50 prove decider... (mem: 880.71 MiB) 11:24:50 [11:24:50.733] INFO: ivc-integration:test:native bb - ecc_op : 56 11:24:50 busread : 3 11:24:50 lookup : 2 11:24:50 pub_inputs : 36 11:24:50 arithmetic : 4481 11:24:50 delta_range : 2041 11:24:50 elliptic : 2 11:24:50 aux : 50 11:24:50 poseidon2_external : 1312 11:24:50 poseidon2_internal : 7469 11:24:50 overflow : 0 11:24:51 [11:24:50.999] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 11:24:51 [11:24:51.008] INFO: ivc-integration:test:native bb - (mem: 880.71 MiB) 11:24:51 [11:24:51.248] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 11:24:51 [11:24:51.251] INFO: ivc-integration:test:native bb - (mem: 880.71 MiB) 11:24:52 [11:24:52.720] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 880.71 11:24:52 [11:24:52.721] INFO: ivc-integration:test:native bb - MiB) 11:24:52 [11:24:52.823] INFO: ivc-integration:test:native bb - computed opening proof (mem: 880.71 MiB) 11:24:52 finished decider proving. (mem: 880.71 MiB) 11:24:52 [11:24:52.838] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 880.71 MiB) 11:24:52 [11:24:52.944] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 880.71 MiB) 11:24:52 [11:24:52.957] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 880.71 MiB) 11:24:53 [11:24:53.111] INFO: ivc-integration:test:native bb - populating trace... (mem: 880.71 MiB) 11:24:53 [11:24:53.163] INFO: ivc-integration:test:native bb - time to construct proving key: 218 ms. (mem: 880.71 MiB) 11:24:53 [11:24:53.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-oeI9dv/proof -k /tmp/bb-client-ivc-integration-oeI9dv/vk -v 11:24:54 [11:24:54.028] INFO: ivc-integration:test:native bb command: verify (mem: 182.48 MiB) 11:24:54 Scheme is: client_ivc, num threads: 128 (mem: 182.48 MiB) 11:24:54 --proof_path: /tmp/bb-client-ivc-integration-oeI9dv/proof (mem: 182.48 MiB) 11:24:54 --vk_path: /tmp/bb-client-ivc-integration-oeI9dv/vk (mem: 182.48 MiB) 11:24:54 --verbose: true (mem: 182.48 MiB) 11:24:54 --scheme: client_ivc (mem: 182.48 MiB) 11:24:54 [11:24:54.210] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 182.48 MiB) 11:24:54 [11:24:54.241] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 182.48 MiB) 11:24:54 vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 182.48 MiB) 11:24:54 [11:24:54.266] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 182.48 MiB) 11:24:54 [11:24:54.271] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 182.48 MiB) 11:24:54 sumcheck_verified: 1 (mem: 182.48 MiB) 11:24:54 libra_evals_verified: 1 (mem: 182.48 MiB) 11:24:54 pairing_check_verified: 1 (mem: 182.48 MiB) 11:24:54 Mega verified: 1 (mem: 182.48 MiB) 11:24:54 [11:24:54.400] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 182.48 MiB) 11:24:54 batch opening verified?: 1 (mem: 182.48 MiB) 11:24:54 eccvm consistency check verified?: 1 (mem: 182.48 MiB) 11:24:54 translation masking consistency checked?: 1 (mem: 182.48 MiB) 11:24:54 [11:24:54.424] INFO: ivc-integration:test:native merge verified?: 1 11:24:54 [11:24:54.426] INFO: ivc-integration:test:native (mem: 182.48 MiB) 11:24:54 eccvm verified?: 1 (mem: 182.48 MiB) 11:24:54 accumulator construction_verified?: 1 (mem: 182.48 MiB) 11:24:54 translation verified?: 1 (mem: 182.48 MiB) 11:24:54 consistency verified?: 1 (mem: 182.48 MiB) 11:24:54 Goblin verified: 1 (mem: 182.48 MiB) 11:24:54 [11:24:54.437] INFO: ivc-integration:test:native verified: 1 (mem: 182.48 MiB) 11:24:54 [11:24:54.560] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-AN4zMB/ivc-inputs.msgpack 11:24:54 [11:24:54.561] 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-AN4zMB --ivc_inputs_path /tmp/bb-client-ivc-integration-AN4zMB/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:24:54 [11:24:54.604] INFO: ivc-integration:test:native bb - bb command: prove (mem: 182.52 MiB) 11:24:54 Scheme is: client_ivc, num threads: 128 (mem: 182.52 MiB) 11:24:54 --scheme: client_ivc (mem: 182.52 MiB) 11:24:54 --output_path: /tmp/bb-client-ivc-integration-AN4zMB (mem: 182.52 MiB) 11:24:54 --ivc_inputs_path: /tmp/bb-client-ivc-integration-AN4zMB/ivc-inputs.msgpack (mem: 182.52 MiB) 11:24:54 --verbose: true (mem: 182.52 MiB) 11:24:54 --write_vk: true (mem: 182.52 MiB) 11:24:54 [11:24:54.612] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 182.52 MiB) 11:24:54 [11:24:54.742] 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) 11:24:54 [11:24:54.841] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 305.20 MiB) 11:24:54 [11:24:54.851] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 305.20 MiB) 11:24:54 Constructing DeciderProvingKey (mem: 305.20 MiB) 11:24:54 [11:24:54.856] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 305.20 MiB) 11:24:54 [11:24:54.857] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 305.20 MiB) 11:24:54 busread : 7/6000 (mem: 305.20 MiB) 11:24:54 lookups : 2/15000 (mem: 305.20 MiB) 11:24:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 305.20 MiB) 11:24:54 arithmetic : 1760/56000 (mem: 305.20 MiB) 11:24:54 delta range : 1754/18000 (mem: 305.20 MiB) 11:24:54 elliptic : 2/6000 (mem: 305.20 MiB) 11:24:54 auxiliary : 26/26000 (mem: 305.20 MiB) 11:24:54 poseidon ext : 2/17000 (mem: 305.20 MiB) 11:24:54 poseidon int : 2/92000 (mem: 305.20 MiB) 11:24:54 overflow : 0/0 (mem: 305.20 MiB) 11:24:54 (mem: 305.20 MiB) 11:24:54 Total structured size: 242025 (mem: 305.20 MiB) 11:24:54 [11:24:54.858] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 305.20 MiB) 11:24:55 [11:24:55.081] INFO: ivc-integration:test:native bb - populating trace... (mem: 495.33 MiB) 11:24:55 [11:24:55.107] INFO: ivc-integration:test:native bb - time to construct proving key: 252 ms. (mem: 510.33 MiB) 11:24:55 [11:24:55.314] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6260bda36240 (mem: 510.33 MiB) 11:24:55 computing oink proof... (mem: 510.33 MiB) 11:24:55 [11:24:55.316] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 510.33 MiB) 11:24:55 [11:24:55.793] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 520.33 MiB) 11:24:55 [11:24:55.843] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.33 MiB) 11:24:55 [11:24:55.912] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 520.33 MiB) 11:24:55 [11:24:55.916] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 520.33 MiB) 11:24:55 [11:24:55.922] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 520.33 MiB) 11:24:55 goblin ecc op : 56/1024 (mem: 520.33 MiB) 11:24:55 busread : 12/6000 (mem: 520.33 MiB) 11:24:55 lookups : 2/15000 (mem: 520.33 MiB) 11:24:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 520.33 MiB) 11:24:55 arithmetic : 4625/56000 (mem: 520.33 MiB) 11:24:55 delta range : 2054/18000 (mem: 520.33 MiB) 11:24:55 elliptic : 2/6000 (mem: 520.33 MiB) 11:24:55 auxiliary : 110/26000 (mem: 520.33 MiB) 11:24:55 [11:24:55.923] INFO: ivc-integration:test:native bb - poseidon ext : 1302/17000 (mem: 520.33 MiB) 11:24:55 poseidon int : 7412/92000 (mem: 520.33 MiB) 11:24:55 overflow : 0/0 (mem: 520.33 MiB) 11:24:55 (mem: 520.33 MiB) 11:24:55 Total structured size: 242025 (mem: 520.33 MiB) 11:24:55 allocating polynomials object in proving key... (mem: 520.33 MiB) 11:24:56 [11:24:56.132] INFO: ivc-integration:test:native bb - populating trace... (mem: 729.33 MiB) 11:24:56 [11:24:56.170] INFO: ivc-integration:test:native bb - time to construct proving key: 252 ms. (mem: 744.33 MiB) 11:24:56 [11:24:56.358] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6260bda3f480 (mem: 744.33 MiB) 11:24:56 computing folding proof (mem: 744.33 MiB) 11:24:56 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 744.33 MiB) 11:24:57 [11:24:57.017] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.33 MiB) 11:24:57 [11:24:57.196] INFO: ivc-integration:test:native bb - perturbator round (mem: 782.33 MiB) 11:24:57 [11:24:57.269] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.33 MiB) 11:24:58 [11:24:58.002] INFO: ivc-integration:test:native bb - folded (mem: 816.33 MiB) 11:24:58 constructed folding proof (mem: 816.33 MiB) 11:24:58 [11:24:58.006] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.33 MiB) 11:24:58 Constructing DeciderProvingKey (mem: 816.33 MiB) 11:24:58 [11:24:58.011] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.33 MiB) 11:24:58 goblin ecc op : 4/1024 (mem: 816.33 MiB) 11:24:58 busread : 7/6000 (mem: 816.33 MiB) 11:24:58 lookups : 2/15000 (mem: 816.33 MiB) 11:24:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 816.33 MiB) 11:24:58 arithmetic : 1760/56000 (mem: 816.33 MiB) 11:24:58 delta range : 1754/18000 (mem: 816.33 MiB) 11:24:58 elliptic : 2/6000 (mem: 816.33 MiB) 11:24:58 auxiliary : 26/26000 (mem: 816.33 MiB) 11:24:58 poseidon ext : 2/17000 (mem: 816.33 MiB) 11:24:58 poseidon int : 2/92000 (mem: 816.33 MiB) 11:24:58 overflow : 0/0 (mem: 816.33 MiB) 11:24:58 (mem: 816.33 MiB) 11:24:58 Total structured size: 242025 (mem: 816.33 MiB) 11:24:58 allocating polynomials object in proving key... (mem: 816.33 MiB) 11:24:58 [11:24:58.184] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.33 MiB) 11:24:58 [11:24:58.211] INFO: ivc-integration:test:native bb - time to construct proving key: 207 ms. (mem: 816.33 MiB) 11:24:58 [11:24:58.321] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6260bda31dc0 (mem: 816.33 MiB) 11:24:58 computing folding proof (mem: 816.33 MiB) 11:24:58 [11:24:58.323] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.33 MiB) 11:24:58 [11:24:58.612] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.33 MiB) 11:24:58 [11:24:58.699] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.33 MiB) 11:24:58 [11:24:58.800] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.34 MiB) 11:24:59 [11:24:59.229] INFO: ivc-integration:test:native bb - folded (mem: 817.34 MiB) 11:24:59 constructed folding proof (mem: 817.34 MiB) 11:24:59 [11:24:59.240] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 817.34 MiB) 11:24:59 [11:24:59.316] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 11:24:59 [11:24:59.320] INFO: ivc-integration:test:native bb - (mem: 817.34 MiB) 11:24:59 [11:24:59.394] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 817.34 MiB) 11:24:59 [11:24:59.395] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.34 MiB) 11:24:59 [11:24:59.402] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.34 MiB) 11:24:59 goblin ecc op : 792/1024 (mem: 817.34 MiB) 11:24:59 [11:24:59.403] INFO: ivc-integration:test:native bb - 11:24:59 busread : 12/6000 (mem: 817.34 MiB) 11:24:59 lookups : 2/15000 (mem: 817.34 MiB) 11:24:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 817.34 MiB) 11:24:59 arithmetic : 12080/56000 (mem: 817.34 MiB) 11:24:59 delta range : 2942/18000 (mem: 817.34 MiB) 11:24:59 elliptic : 2/6000 (mem: 817.34 MiB) 11:24:59 auxiliary : 350/26000 (mem: 817.34 MiB) 11:24:59 poseidon ext : 4942/17000 (mem: 817.34 MiB) 11:24:59 poseidon int : 28160/92000 (mem: 817.34 MiB) 11:24:59 overflow : 0/0 (mem: 817.34 MiB) 11:24:59 (mem: 817.34 MiB) 11:24:59 Total structured size: 242025 (mem: 817.34 MiB) 11:24:59 allocating polynomials object in proving key... (mem: 817.34 MiB) 11:24:59 [11:24:59.540] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.34 MiB) 11:24:59 [11:24:59.584] INFO: ivc-integration:test:native bb - time to construct proving key: 190 ms. 11:24:59 [11:24:59.585] INFO: ivc-integration:test:native bb - (mem: 817.34 MiB) 11:24:59 [11:24:59.651] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6260bda36a80 (mem: 817.34 MiB) 11:24:59 computing folding proof (mem: 817.34 MiB) 11:24:59 vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 817.34 MiB) 11:25:00 [11:25:00.271] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.34 MiB) 11:25:00 [11:25:00.375] INFO: ivc-integration:test:native bb - perturbator round (mem: 817.34 MiB) 11:25:00 [11:25:00.437] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 845.47 MiB) 11:25:00 [11:25:00.856] INFO: ivc-integration:test:native bb - folded (mem: 845.47 MiB) 11:25:00 constructed folding proof (mem: 845.47 MiB) 11:25:00 [11:25:00.867] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 845.47 MiB) 11:25:00 [11:25:00.967] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 845.47 MiB) 11:25:00 Constructing DeciderProvingKey (mem: 845.47 MiB) 11:25:00 [11:25:00.975] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.47 MiB) 11:25:00 goblin ecc op : 392/1024 (mem: 845.47 MiB) 11:25:00 busread : 16/6000 (mem: 845.47 MiB) 11:25:00 lookups : 2/15000 (mem: 845.47 MiB) 11:25:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 845.47 MiB) 11:25:00 arithmetic : 6914/56000 (mem: 845.47 MiB) 11:25:00 delta range : 2347/18000 (mem: 845.47 MiB) 11:25:00 elliptic : 2/6000 (mem: 845.47 MiB) 11:25:00 auxiliary : 77/26000 (mem: 845.47 MiB) 11:25:00 poseidon ext : 2472/17000 (mem: 845.47 MiB) 11:25:00 poseidon int : 14081/92000 (mem: 845.47 MiB) 11:25:00 overflow : 0/0 (mem: 845.47 MiB) 11:25:00 (mem: 845.47 MiB) 11:25:00 Total structured size: 242025 (mem: 845.47 MiB) 11:25:00 allocating polynomials object in proving key... (mem: 845.47 MiB) 11:25:01 [11:25:01.088] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.47 MiB) 11:25:01 [11:25:01.142] INFO: ivc-integration:test:native bb - time to construct proving key: 175 ms. (mem: 845.47 MiB) 11:25:01 [11:25:01.279] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6260bdab3180 (mem: 845.47 MiB) 11:25:01 computing folding proof (mem: 845.47 MiB) 11:25:01 [11:25:01.280] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 845.47 MiB) 11:25:01 [11:25:01.823] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 845.47 MiB) 11:25:01 [11:25:01.909] INFO: ivc-integration:test:native bb - perturbator round (mem: 845.47 MiB) 11:25:01 [11:25:01.992] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 845.50 MiB) 11:25:02 [11:25:02.292] INFO: ivc-integration:test:native bb - folded (mem: 845.50 MiB) 11:25:02 constructed folding proof (mem: 845.50 MiB) 11:25:02 [11:25:02.303] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 845.50 MiB) 11:25:02 [11:25:02.406] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 845.50 MiB) 11:25:02 Constructing DeciderProvingKey (mem: 845.50 MiB) 11:25:02 [11:25:02.408] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.50 MiB) 11:25:02 goblin ecc op : 392/1024 (mem: 845.50 MiB) 11:25:02 busread : 3/6000 (mem: 845.50 MiB) 11:25:02 lookups : 2/15000 (mem: 845.50 MiB) 11:25:02 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 845.50 MiB) 11:25:02 arithmetic : 6849/56000 (mem: 845.50 MiB) 11:25:02 delta range : 2333/18000 (mem: 845.50 MiB) 11:25:02 elliptic : 2/6000 (mem: 845.50 MiB) 11:25:02 auxiliary : 50/26000 (mem: 845.50 MiB) 11:25:02 poseidon ext : 2472/17000 (mem: 845.50 MiB) 11:25:02 poseidon int : 14081/92000 (mem: 845.50 MiB) 11:25:02 overflow : 0/0 (mem: 845.50 MiB) 11:25:02 (mem: 845.50 MiB) 11:25:02 Total structured size: 242025 (mem: 845.50 MiB) 11:25:02 allocating polynomials object in proving key... (mem: 845.50 MiB) 11:25:02 [11:25:02.537] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.50 MiB) 11:25:02 [11:25:02.584] INFO: ivc-integration:test:native bb - time to construct proving key: 180 ms. (mem: 845.50 MiB) 11:25:02 [11:25:02.885] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6260bda9ae00 (mem: 845.50 MiB) 11:25:02 computing folding proof (mem: 845.50 MiB) 11:25:02 [11:25:02.886] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 845.50 MiB) 11:25:03 [11:25:03.478] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 845.50 MiB) 11:25:03 [11:25:03.594] INFO: ivc-integration:test:native bb - perturbator round (mem: 845.50 MiB) 11:25:03 [11:25:03.674] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 845.92 MiB) 11:25:04 [11:25:04.311] INFO: ivc-integration:test:native bb - folded (mem: 845.92 MiB) 11:25:04 [11:25:04.312] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 845.92 MiB) 11:25:04 [11:25:04.312] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 845.92 MiB) 11:25:04 [11:25:04.312] INFO: ivc-integration:test:native bb - Minimum required block sizes for structured trace: (mem: 845.92 MiB) 11:25:04 (mem: 845.92 MiB) 11:25:04 prove decider... (mem: 845.92 MiB) 11:25:04 [11:25:04.313] INFO: ivc-integration:test:native bb - ecc_op : 792 11:25:04 busread : 16 11:25:04 lookup : 2 11:25:04 pub_inputs : 36 11:25:04 arithmetic : 12080 11:25:04 delta_range : 2942 11:25:04 elliptic : 2 11:25:04 aux : 350 11:25:04 poseidon2_external : 4942 11:25:04 poseidon2_internal : 28160 11:25:04 overflow : 0 11:25:04 [11:25:04.470] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 11:25:04 [11:25:04.472] INFO: ivc-integration:test:native bb - (mem: 845.92 MiB) 11:25:04 [11:25:04.614] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.92 MiB) 11:25:05 [11:25:05.543] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 11:25:05 [11:25:05.544] INFO: ivc-integration:test:native bb - (mem: 11:25:05 [11:25:05.545] INFO: ivc-integration:test:native bb - 845.92 MiB) 11:25:05 [11:25:05.631] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.92 MiB) 11:25:05 finished decider proving. (mem: 845.92 MiB) 11:25:05 [11:25:05.657] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a 11:25:05 [11:25:05.657] INFO: ivc-integration:test:native bb - (mem: 11:25:05 [11:25:05.658] INFO: ivc-integration:test:native bb - 845.92 11:25:05 [11:25:05.658] INFO: ivc-integration:test:native bb - MiB) 11:25:05 [11:25:05.659] INFO: ivc-integration:test:native bb - 11:25:05 [11:25:05.764] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.92 MiB) 11:25:05 [11:25:05.774] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 845.92 MiB) 11:25:05 [11:25:05.915] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.92 MiB) 11:25:05 [11:25:05.963] INFO: ivc-integration:test:native bb - time to construct proving key: 198 ms. (mem: 845.92 MiB) 11:25:06 [11:25:06.861] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 845.92 MiB) 11:25:07 [11:25:07.288] INFO: ivc-integration:test:native bb - created oink proof (mem: 845.92 MiB) 11:25:07 [11:25:07.531] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.92 MiB) 11:25:08 [11:25:08.548] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.92 MiB) 11:25:09 [11:25:09.517] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.92 MiB) 11:25:09 [11:25:09.580] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.92 MiB) 11:25:09 finished decider proving. (mem: 845.92 MiB) 11:25:09 Constructing a Goblin proof with num ultra ops = 2226 (mem: 845.92 MiB) 11:25:09 [11:25:09.867] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 845.92 MiB) 11:25:10 [11:25:10.317] 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: 845.92 MiB) 11:25:10 [11:25:10.340] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 845.92 MiB) 11:25:11 [11:25:11.610] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.92 MiB) 11:25:13 [11:25:13.204] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.92 MiB) 11:25:17 [11:25:17.774] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 845.92 MiB) 11:25:17 prove translator... (mem: 11:25:17 [11:25:17.775] INFO: ivc-integration:test:native bb - 845.92 MiB) 11:25:21 [11:25:21.964] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 863.93 MiB) 11:25:24 [11:25:24.325] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 863.93 MiB) 11:25:25 [11:25:25.322] INFO: ivc-integration:test:native bb - computed opening proof (mem: 863.93 MiB) 11:25:25 [11:25:25.323] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 863.93 MiB) 11:25:25 [11:25:25.326] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 863.93 MiB) 11:25:25 [11:25:25.338] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 863.93 MiB) 11:25:25 libra_evals_verified: 1 (mem: 863.93 MiB) 11:25:25 pairing_check_verified: 1 (mem: 863.93 MiB) 11:25:25 Mega verified: 1 (mem: 863.93 MiB) 11:25:25 [11:25:25.380] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 863.93 MiB) 11:25:25 batch opening verified?: 1 (mem: 863.93 MiB) 11:25:25 eccvm consistency check verified?: 1 (mem: 863.93 MiB) 11:25:25 translation masking consistency checked?: 1 (mem: 863.93 MiB) 11:25:25 [11:25:25.400] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 863.93 MiB) 11:25:25 eccvm verified?: 1 (mem: 863.93 11:25:25 [11:25:25.401] INFO: ivc-integration:test:native bb - MiB) 11:25:25 accumulator construction_verified?: 1 (mem: 863.93 MiB) 11:25:25 translation verified?: 1 (mem: 863.93 MiB) 11:25:25 consistency verified?: 1 (mem: 863.93 MiB) 11:25:25 Goblin verified: 1 (mem: 863.93 MiB) 11:25:25 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-AN4zMB" (mem: 863.93 MiB) 11:25:25 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-AN4zMB" (mem: 863.93 MiB) 11:25:25 BN254 commitment key size: 262144 (mem: 863.93 MiB) 11:25:25 [11:25:25.403] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 863.93 MiB) 11:25:25 [11:25:25.406] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 863.93 MiB) 11:25:25 goblin ecc op : 4/1024 (mem: 863.93 MiB) 11:25:25 busread : 3/6000 (mem: 11:25:25 [11:25:25.406] INFO: ivc-integration:test:native bb - 863.93 MiB) 11:25:25 lookups : 2/15000 (mem: 863.93 MiB) 11:25:25 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 863.93 MiB) 11:25:25 arithmetic : 1773/56000 (mem: 863.93 MiB) 11:25:25 delta range : 1754/18000 (mem: 863.93 MiB) 11:25:25 elliptic : 2/6000 (mem: 863.93 MiB) 11:25:25 auxiliary : 26/26000 (mem: 863.93 MiB) 11:25:25 poseidon ext : 2/17000 (mem: 863.93 MiB) 11:25:25 poseidon int : 2/92000 (mem: 863.93 MiB) 11:25:25 overflow : 0/0 (mem: 863.93 MiB) 11:25:25 (mem: 863.93 MiB) 11:25:25 Total structured size: 242025 (mem: 863.93 MiB) 11:25:25 allocating polynomials object in proving key... (mem: 863.93 MiB) 11:25:25 [11:25:25.454] INFO: ivc-integration:test:native bb - populating trace... (mem: 863.93 MiB) 11:25:25 [11:25:25.465] INFO: ivc-integration:test:native bb - time to construct proving key: 61 ms. (mem: 863.93 MiB) 11:25:25 [11:25:25.497] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 863.93 MiB) 11:25:26 [11:25:26.146] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 863.93 MiB) 11:25:26 [11:25:26.147] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 863.93 MiB) 11:25:26 [11:25:26.251] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 863.93 MiB) 11:25:26 [11:25:26.257] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 863.93 MiB) 11:25:26 [11:25:26.268] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 863.93 MiB) 11:25:26 [11:25:26.270] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 863.93 MiB) 11:25:26 goblin ecc op : 56/1024 (mem: 863.93 MiB) 11:25:26 [11:25:26.270] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 863.93 MiB) 11:25:26 lookups : 2/15000 (mem: 863.93 MiB) 11:25:26 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 863.93 MiB) 11:25:26 arithmetic : 4481/56000 (mem: 863.93 MiB) 11:25:26 delta range : 2041/18000 (mem: 863.93 MiB) 11:25:26 elliptic : 2/6000 (mem: 863.93 MiB) 11:25:26 auxiliary : 50/26000 (mem: 863.93 MiB) 11:25:26 poseidon ext : 1312/17000 (mem: 863.93 MiB) 11:25:26 poseidon int : 7469/92000 (mem: 863.93 MiB) 11:25:26 overflow : 0/0 (mem: 863.93 MiB) 11:25:26 (mem: 863.93 MiB) 11:25:26 Total structured size: 242025 (mem: 863.93 MiB) 11:25:26 allocating polynomials object in proving key... (mem: 863.93 MiB) 11:25:26 [11:25:26.359] INFO: ivc-integration:test:native bb - populating trace... (mem: 863.93 MiB) 11:25:26 [11:25:26.386] INFO: ivc-integration:test:native bb - time to construct proving key: 117 ms. (mem: 863.93 MiB) 11:25:26 [11:25:26.440] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 863.93 MiB) 11:25:27 [11:25:27.250] INFO: ivc-integration:test:native bb - computing folding proof (mem: 863.93 MiB) 11:25:27 [11:25:27.251] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 863.93 MiB) 11:25:27 [11:25:27.559] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 863.93 MiB) 11:25:27 [11:25:27.670] INFO: ivc-integration:test:native bb - perturbator round (mem: 863.93 MiB) 11:25:27 [11:25:27.722] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 895.93 MiB) 11:25:27 [11:25:27.939] INFO: ivc-integration:test:native bb - folded (mem: 895.93 MiB) 11:25:27 constructed folding proof (mem: 895.93 MiB) 11:25:27 [11:25:27.940] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 895.93 MiB) 11:25:27 Minimum required block sizes for structured trace: (mem: 895.93 MiB) 11:25:27 (mem: 895.93 MiB) 11:25:27 prove decider... (mem: 895.93 MiB) 11:25:27 [11:25:27.943] INFO: ivc-integration:test:native bb - ecc_op : 56 11:25:27 busread : 3 11:25:27 lookup : 2 11:25:27 pub_inputs : 36 11:25:27 arithmetic : 4481 11:25:27 delta_range : 2041 11:25:27 elliptic : 2 11:25:27 aux : 50 11:25:27 poseidon2_external : 1312 11:25:27 poseidon2_internal : 7469 11:25:27 overflow : 0 11:25:28 [11:25:28.036] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 895.93 MiB) 11:25:28 [11:25:28.348] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 895.93 MiB) 11:25:28 [11:25:28.971] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 895.93 MiB) 11:25:29 [11:25:29.022] INFO: ivc-integration:test:native bb - computed opening proof (mem: 895.93 MiB) 11:25:29 finished decider proving. (mem: 895.93 MiB) 11:25:29 [11:25:29.036] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 895.93 MiB) 11:25:29 [11:25:29.142] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 895.93 MiB) 11:25:29 [11:25:29.147] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 11:25:29 [11:25:29.149] INFO: ivc-integration:test:native bb - (mem: 895.93 MiB) 11:25:29 [11:25:29.234] INFO: ivc-integration:test:native bb - populating trace... (mem: 895.93 MiB) 11:25:29 [11:25:29.269] INFO: ivc-integration:test:native bb - time to construct proving key: 128 ms. (mem: 895.93 MiB) 11:25:29 [11:25:29.746] 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-AN4zMB/proof -k /tmp/bb-client-ivc-integration-AN4zMB/vk -v 11:25:29 [11:25:29.772] INFO: ivc-integration:test:native bb command: verify (mem: 188.09 MiB) 11:25:29 Scheme is: client_ivc, num threads: 128 (mem: 188.09 MiB) 11:25:29 --proof_path: /tmp/bb-client-ivc-integration-AN4zMB/proof (mem: 188.09 MiB) 11:25:29 [11:25:29.774] INFO: ivc-integration:test:native --vk_path: /tmp/bb-client-ivc-integration-AN4zMB/vk (mem: 188.09 MiB) 11:25:29 --verbose: true (mem: 188.09 MiB) 11:25:29 --scheme: client_ivc (mem: 188.09 MiB) 11:25:29 [11:25:29.887] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.09 MiB) 11:25:29 [11:25:29.917] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 188.09 MiB) 11:25:29 [11:25:29.919] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 188.09 MiB) 11:25:29 [11:25:29.939] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.09 MiB) 11:25:29 Initialized BN254 CRS from memory with num points = 1025 (mem: 188.09 MiB) 11:25:29 [11:25:29.943] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 188.09 MiB) 11:25:29 libra_evals_verified: 1 (mem: 188.09 MiB) 11:25:29 pairing_check_verified: 1 (mem: 188.09 MiB) 11:25:29 Mega verified: 1 (mem: 188.09 MiB) 11:25:30 [11:25:30.004] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.09 MiB) 11:25:30 batch opening verified?: 1 (mem: 188.09 MiB) 11:25:30 eccvm consistency check verified?: 1 (mem: 188.09 MiB) 11:25:30 translation masking consistency checked?: 1 (mem: 188.09 MiB) 11:25:30 [11:25:30.020] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.09 MiB) 11:25:30 eccvm verified?: 1 (mem: 188.09 MiB) 11:25:30 accumulator construction_verified?: 1 (mem: 188.09 MiB) 11:25:30 translation verified?: 1 (mem: 188.09 MiB) 11:25:30 consistency verified?: 1 (mem: 188.09 MiB) 11:25:30 Goblin verified: 1 (mem: 188.09 MiB) 11:25:30 [11:25:30.028] INFO: ivc-integration:test:native verified: 1 (mem: 188.09 MiB) 11:25:30 PASS src/native_client_ivc_integration.test.ts (74.61 s) 11:25:30 Client IVC Integration 11:25:30 ✓ Should generate a verifiable client IVC proof from a simple mock tx (35439 ms) 11:25:30 ✓ Should generate a verifiable client IVC proof from a complex mock tx (35567 ms) 11:25:30 11:25:30 Test Suites: 1 passed, 1 total 11:25:30 Tests: 2 passed, 2 total 11:25:30 Snapshots: 0 total 11:25:30 Time: 74.709 s 11:25:30 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 11:25:30 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?