Parent Log: http://ci.aztec-labs.com/701a4364c73bba1e Command: a8cc061dbe484831: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/58696523cc93fda453138a4f2c2dff72b21f0bfa Env: REF_NAME=gh-readonly-queue/next/pr-15180-a923b0dd4c74291fcefa86c41b3b5dffca7e4178 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 20 13:05:41 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15180_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 13:05:46 [13:05:46.537] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-vah1Vv/ivc-inputs.msgpack 13:05:46 [13:05:46.544] INFO: ivc-integration:test:native bb - BB concurrency: undefined 13:05:46 [13:05:46.545] 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-vah1Vv --ivc_inputs_path /tmp/bb-client-ivc-integration-vah1Vv/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:05:46 [13:05:46.561] INFO: ivc-integration:test:native bb - bb command: prove (mem: 179.67 MiB) 13:05:46 [13:05:46.562] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 179.67 MiB) 13:05:46 --scheme: client_ivc (mem: 179.67 MiB) 13:05:46 --output_path: /tmp/bb-client-ivc-integration-vah1Vv (mem: 179.67 MiB) 13:05:46 --ivc_inputs_path: /tmp/bb-client-ivc-integration-vah1Vv/ivc-inputs.msgpack (mem: 179.67 MiB) 13:05:46 --verbose: true (mem: 179.67 MiB) 13:05:46 --write_vk: true (mem: 179.67 MiB) 13:05:46 BN254 commitment key size: 262144 (mem: 179.67 MiB) 13:05:46 [13:05:46.667] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.00 MiB) 13:05:46 [13:05:46.740] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 298.48 MiB) 13:05:46 [13:05:46.744] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 298.48 MiB) 13:05:46 Constructing DeciderProvingKey (mem: 298.48 MiB) 13:05:46 [13:05:46.747] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 298.48 MiB) 13:05:46 goblin ecc op : 4/1024 (mem: 298.48 MiB) 13:05:46 [13:05:46.750] INFO: ivc-integration:test:native bb - 13:05:46 busread : 7/6000 (mem: 298.48 MiB) 13:05:46 lookups : 2/15000 (mem: 298.48 MiB) 13:05:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 298.48 MiB) 13:05:46 arithmetic : 1760/56000 (mem: 298.48 MiB) 13:05:46 delta range : 1754/18000 (mem: 298.48 MiB) 13:05:46 elliptic : 2/6000 (mem: 298.48 MiB) 13:05:46 auxiliary : 26/26000 (mem: 298.48 MiB) 13:05:46 poseidon ext : 2/17000 (mem: 298.48 MiB) 13:05:46 poseidon int : 2/92000 (mem: 298.48 MiB) 13:05:46 overflow : 0/0 (mem: 298.48 MiB) 13:05:46 (mem: 298.48 MiB) 13:05:46 Total structured size: 242025 (mem: 298.48 MiB) 13:05:46 allocating polynomials object in proving key... (mem: 298.48 MiB) 13:05:46 [13:05:46.828] INFO: ivc-integration:test:native bb - populating trace... (mem: 500.64 MiB) 13:05:46 [13:05:46.843] INFO: ivc-integration:test:native bb - time to construct proving key: 99 ms. (mem: 515.64 MiB) 13:05:46 [13:05:46.898] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x641ff54e4100 (mem: 515.64 MiB) 13:05:46 [13:05:46.899] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 515.64 MiB) 13:05:46 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.64 MiB) 13:05:47 [13:05:47.073] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 524.64 MiB) 13:05:47 [13:05:47.080] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 524.64 MiB) 13:05:47 [13:05:47.098] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 524.64 MiB) 13:05:47 Constructing DeciderProvingKey (mem: 524.64 MiB) 13:05:47 [13:05:47.101] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 524.64 MiB) 13:05:47 [13:05:47.102] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 524.64 MiB) 13:05:47 busread : 12/6000 (mem: 524.64 MiB) 13:05:47 lookups : 2/15000 (mem: 524.64 MiB) 13:05:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 524.64 MiB) 13:05:47 arithmetic : 4677/56000 (mem: 524.64 MiB) 13:05:47 delta range : 2073/18000 (mem: 524.64 MiB) 13:05:47 elliptic : 2/6000 (mem: 524.64 MiB) 13:05:47 auxiliary : 110/26000 (mem: 524.64 MiB) 13:05:47 poseidon ext : 1322/17000 (mem: 524.64 MiB) 13:05:47 poseidon int : 7526/92000 (mem: 524.64 MiB) 13:05:47 overflow : 0/0 (mem: 524.64 MiB) 13:05:47 (mem: 524.64 MiB) 13:05:47 Total structured size: 242025 (mem: 524.64 MiB) 13:05:47 allocating polynomials object in proving key... (mem: 524.64 MiB) 13:05:47 [13:05:47.232] INFO: ivc-integration:test:native bb - populating trace... (mem: 731.64 MiB) 13:05:47 [13:05:47.281] INFO: ivc-integration:test:native bb - time to construct proving key: 182 ms. (mem: 749.64 MiB) 13:05:47 [13:05:47.387] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x641ff54e2900 (mem: 749.64 MiB) 13:05:47 computing folding proof (mem: 749.64 MiB) 13:05:47 [13:05:47.388] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 749.64 MiB) 13:05:47 [13:05:47.885] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.64 MiB) 13:05:47 [13:05:47.995] INFO: ivc-integration:test:native bb - perturbator round (mem: 787.64 MiB) 13:05:48 [13:05:48.069] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 820.64 MiB) 13:05:48 [13:05:48.634] INFO: ivc-integration:test:native bb - folded (mem: 820.64 MiB) 13:05:48 [13:05:48.635] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 820.64 MiB) 13:05:48 [13:05:48.658] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.64 MiB) 13:05:48 [13:05:48.761] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 820.64 MiB) 13:05:48 Constructing DeciderProvingKey (mem: 820.64 MiB) 13:05:48 [13:05:48.772] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 820.64 MiB) 13:05:48 goblin ecc op : 392/1024 (mem: 820.64 MiB) 13:05:48 busread : 3/6000 (mem: 820.64 MiB) 13:05:48 lookups : 2/15000 (mem: 820.64 MiB) 13:05:48 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 820.64 MiB) 13:05:48 arithmetic : 6913/56000 (mem: 820.64 MiB) 13:05:48 delta range : 2353/18000 (mem: 820.64 MiB) 13:05:48 elliptic : 2/6000 (mem: 820.64 MiB) 13:05:48 auxiliary : 50/26000 (mem: 820.64 MiB) 13:05:48 poseidon ext : 2492/17000 (mem: 820.64 MiB) 13:05:48 poseidon int : 14195/92000 (mem: 820.64 MiB) 13:05:48 overflow : 0/0 (mem: 820.64 MiB) 13:05:48 (mem: 820.64 MiB) 13:05:48 Total structured size: 242025 (mem: 820.64 MiB) 13:05:48 allocating polynomials object in proving key... (mem: 820.64 MiB) 13:05:49 [13:05:49.042] INFO: ivc-integration:test:native bb - populating trace... (mem: 820.64 MiB) 13:05:49 [13:05:49.090] INFO: ivc-integration:test:native bb - time to construct proving key: 328 ms. (mem: 13:05:49 [13:05:49.091] INFO: ivc-integration:test:native bb - 820.64 MiB) 13:05:49 [13:05:49.282] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x641ff54dc940 (mem: 820.64 MiB) 13:05:49 computing folding proof (mem: 820.64 MiB) 13:05:49 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 820.64 MiB) 13:05:49 [13:05:49.746] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 820.64 MiB) 13:05:49 [13:05:49.918] INFO: ivc-integration:test:native bb - perturbator round (mem: 820.64 MiB) 13:05:49 [13:05:49.973] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 830.19 MiB) 13:05:50 [13:05:50.408] INFO: ivc-integration:test:native bb - folded (mem: 830.19 MiB) 13:05:50 constructed folding proof (mem: 830.19 MiB) 13:05:50 [13:05:50.410] INFO: ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 830.19 MiB) 13:05:50 Minimum required block sizes for structured trace: (mem: 830.19 MiB) 13:05:50 (mem: 830.19 MiB) 13:05:50 prove decider... (mem: 830.19 MiB) 13:05:50 [13:05:50.411] INFO: ivc-integration:test:native bb - ecc_op : 392 13:05:50 busread : 12 13:05:50 lookup : 2 13:05:50 pub_inputs : 36 13:05:50 arithmetic : 6913 13:05:50 delta_range : 2353 13:05:50 elliptic : 2 13:05:50 aux : 110 13:05:50 poseidon2_external : 2492 13:05:50 poseidon2_internal : 14195 13:05:50 overflow : 0 13:05:50 [13:05:50.634] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 830.19 MiB) 13:05:50 [13:05:50.860] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 830.19 MiB) 13:05:52 [13:05:52.069] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 830.19 MiB) 13:05:52 [13:05:52.182] INFO: ivc-integration:test:native bb - computed opening proof (mem: 830.19 MiB) 13:05:52 finished decider proving. (mem: 830.19 MiB) 13:05:52 [13:05:52.213] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 830.19 MiB) 13:05:52 [13:05:52.371] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 830.19 MiB) 13:05:52 [13:05:52.376] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 830.19 MiB) 13:05:52 [13:05:52.580] INFO: ivc-integration:test:native bb - populating trace... (mem: 830.19 MiB) 13:05:52 [13:05:52.678] INFO: ivc-integration:test:native bb - time to construct proving key: 308 ms. (mem: 830.19 MiB) 13:05:53 [13:05:53.842] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 830.19 MiB) 13:05:54 [13:05:54.564] INFO: ivc-integration:test:native bb - created oink proof (mem: 830.19 MiB) 13:05:54 [13:05:54.937] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 830.19 MiB) 13:05:56 [13:05:56.729] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 830.19 MiB) 13:05:57 [13:05:57.945] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 13:05:57 [13:05:57.946] INFO: ivc-integration:test:native bb - (mem: 830.19 MiB) 13:05:57 [13:05:57.984] INFO: ivc-integration:test:native bb - computed opening proof (mem: 830.19 MiB) 13:05:57 [13:05:57.985] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 830.19 MiB) 13:05:57 Constructing a Goblin proof with num ultra ops = 1038 (mem: 830.19 MiB) 13:05:58 [13:05:58.266] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 830.19 MiB) 13:05:58 [13:05:58.963] 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: 830.19 MiB) 13:05:59 [13:05:59.022] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 830.19 MiB) 13:06:01 [13:06:01.414] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 13:06:01 [13:06:01.416] INFO: ivc-integration:test:native bb - (mem: 830.19 MiB) 13:06:04 [13:06:04.208] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 830.19 MiB) 13:06:09 [13:06:09.423] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 830.19 MiB) 13:06:09 [13:06:09.424] INFO: ivc-integration:test:native bb - prove translator... (mem: 830.19 MiB) 13:06:12 [13:06:12.170] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.14 MiB) 13:06:15 [13:06:15.597] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 853.14 MiB) 13:06:18 [13:06:18.794] INFO: ivc-integration:test:native bb - computed opening proof (mem: 853.14 MiB) 13:06:18 [13:06:18.795] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 853.14 MiB) 13:06:18 [13:06:18.805] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 853.14 MiB) 13:06:18 [13:06:18.825] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 853.14 MiB) 13:06:18 libra_evals_verified: 1 (mem: 853.14 MiB) 13:06:18 pairing_check_verified: 1 (mem: 853.14 MiB) 13:06:18 Mega verified: 1 (mem: 853.14 MiB) 13:06:18 [13:06:18.912] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 854.14 MiB) 13:06:18 batch opening verified?: 1 (mem: 854.14 MiB) 13:06:18 eccvm consistency check verified?: 1 (mem: 854.14 MiB) 13:06:18 translation masking consistency checked?: 1 13:06:18 [13:06:18.913] INFO: ivc-integration:test:native bb - (mem: 854.14 MiB) 13:06:18 [13:06:18.932] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 854.14 MiB) 13:06:18 eccvm verified?: 1 (mem: 854.14 MiB) 13:06:18 accumulator construction_verified?: 1 (mem: 854.14 MiB) 13:06:18 [13:06:18.933] INFO: ivc-integration:test:native bb - 13:06:18 translation verified?: 1 (mem: 854.14 MiB) 13:06:18 consistency verified?: 1 (mem: 854.14 MiB) 13:06:18 Goblin verified: 1 (mem: 854.14 MiB) 13:06:18 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-vah1Vv" (mem: 854.14 MiB) 13:06:18 [13:06:18.933] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-vah1Vv" (mem: 854.14 MiB) 13:06:18 BN254 commitment key size: 262144 (mem: 854.14 MiB) 13:06:18 [13:06:18.937] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 854.14 MiB) 13:06:18 [13:06:18.943] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 854.14 MiB) 13:06:18 goblin ecc op : 4/1024 (mem: 854.14 MiB) 13:06:18 busread : 3/6000 (mem: 854.14 MiB) 13:06:18 lookups : 2/15000 (mem: 854.14 MiB) 13:06:18 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 854.14 MiB) 13:06:18 arithmetic : 1773/56000 (mem: 854.14 MiB) 13:06:18 delta range : 1754/18000 (mem: 854.14 MiB) 13:06:18 elliptic : 2/6000 (mem: 854.14 MiB) 13:06:18 auxiliary : 26/26000 (mem: 854.14 MiB) 13:06:18 poseidon ext : 2/17000 (mem: 854.14 MiB) 13:06:18 poseidon int : 2/92000 (mem: 854.14 MiB) 13:06:18 overflow : 0/0 (mem: 854.14 MiB) 13:06:18 (mem: 854.14 MiB) 13:06:18 Total structured size: 242025 (mem: 854.14 MiB) 13:06:18 allocating polynomials object in proving key... (mem: 854.14 MiB) 13:06:19 [13:06:19.166] INFO: ivc-integration:test:native bb - populating trace... (mem: 854.14 MiB) 13:06:19 [13:06:19.218] INFO: ivc-integration:test:native bb - time to construct proving key: 279 ms. (mem: 854.14 MiB) 13:06:19 [13:06:19.327] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 854.14 MiB) 13:06:20 [13:06:20.311] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 854.14 MiB) 13:06:20 [13:06:20.312] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 854.14 MiB) 13:06:20 [13:06:20.741] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 854.14 MiB) 13:06:20 [13:06:20.769] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 854.14 MiB) 13:06:20 [13:06:20.791] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 854.14 MiB) 13:06:20 [13:06:20.795] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 854.14 MiB) 13:06:20 goblin ecc op : 56/1024 (mem: 854.14 MiB) 13:06:20 busread : 3/6000 (mem: 854.14 MiB) 13:06:20 lookups : 2/15000 (mem: 854.14 MiB) 13:06:20 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 854.14 MiB) 13:06:20 arithmetic : 4533/56000 (mem: 854.14 MiB) 13:06:20 delta range : 2060/18000 (mem: 854.14 MiB) 13:06:20 elliptic : 2/6000 (mem: 854.14 MiB) 13:06:20 auxiliary : 50/26000 (mem: 854.14 MiB) 13:06:20 poseidon ext : 1332/17000 (mem: 854.14 MiB) 13:06:20 poseidon int : 7583/92000 (mem: 854.14 MiB) 13:06:20 overflow : 0/0 (mem: 854.14 MiB) 13:06:20 (mem: 854.14 MiB) 13:06:20 Total structured size: 242025 (mem: 854.14 MiB) 13:06:20 allocating polynomials object in proving key... (mem: 854.14 MiB) 13:06:21 [13:06:21.191] INFO: ivc-integration:test:native bb - populating trace... (mem: 854.14 MiB) 13:06:21 [13:06:21.224] INFO: ivc-integration:test:native bb - time to construct proving key: 436 ms. (mem: 854.14 MiB) 13:06:21 [13:06:21.556] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 854.14 MiB) 13:06:22 [13:06:22.498] INFO: ivc-integration:test:native bb - computing folding proof (mem: 854.14 MiB) 13:06:22 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 854.14 MiB) 13:06:23 [13:06:23.454] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 854.14 MiB) 13:06:23 [13:06:23.605] INFO: ivc-integration:test:native bb - perturbator round (mem: 857.14 MiB) 13:06:23 [13:06:23.681] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 889.14 MiB) 13:06:23 [13:06:23.950] INFO: ivc-integration:test:native bb - folded (mem: 889.14 MiB) 13:06:23 constructed folding proof (mem: 889.14 MiB) 13:06:23 [13:06:23.954] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 889.14 MiB) 13:06:23 Minimum required block sizes for structured trace: (mem: 889.14 MiB) 13:06:23 (mem: 889.14 MiB) 13:06:23 prove decider... (mem: 889.14 MiB) 13:06:23 [13:06:23.955] INFO: ivc-integration:test:native bb - ecc_op : 56 13:06:23 busread : 3 13:06:23 lookup : 2 13:06:23 pub_inputs : 36 13:06:23 arithmetic : 4533 13:06:23 delta_range : 2060 13:06:23 elliptic : 2 13:06:23 aux : 50 13:06:23 poseidon2_external : 1332 13:06:23 poseidon2_internal : 7583 13:06:23 overflow : 0 13:06:24 [13:06:24.165] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 889.14 MiB) 13:06:24 [13:06:24.376] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 889.14 MiB) 13:06:25 [13:06:25.794] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 889.14 MiB) 13:06:25 [13:06:25.914] INFO: ivc-integration:test:native bb - computed opening proof (mem: 889.14 MiB) 13:06:25 finished decider proving. (mem: 889.14 MiB) 13:06:25 [13:06:25.929] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 889.14 MiB) 13:06:26 [13:06:26.051] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 889.14 MiB) 13:06:26 [13:06:26.062] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 889.14 MiB) 13:06:26 [13:06:26.284] INFO: ivc-integration:test:native bb - populating trace... (mem: 889.14 MiB) 13:06:26 [13:06:26.348] INFO: ivc-integration:test:native bb - time to construct proving key: 295 ms. (mem: 889.14 MiB) 13:06:27 [13:06:27.076] INFO: ivc-integration:test:native BB concurrency: 1 13:06:27 [13:06:27.077] 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-vah1Vv/proof -k /tmp/bb-client-ivc-integration-vah1Vv/vk -v 13:06:27 [13:06:27.145] INFO: ivc-integration:test:native bb command: verify (mem: 179.67 MiB) 13:06:27 Scheme is: client_ivc, num threads: 1 (mem: 179.67 MiB) 13:06:27 --proof_path: /tmp/bb-client-ivc-integration-vah1Vv/proof (mem: 179.67 MiB) 13:06:27 --vk_path: /tmp/bb-client-ivc-integration-vah1Vv/vk (mem: 179.67 MiB) 13:06:27 --verbose: true (mem: 179.67 MiB) 13:06:27 --scheme: client_ivc (mem: 179.67 MiB) 13:06:27 [13:06:27.183] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 179.67 MiB) 13:06:27 [13:06:27.206] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 13:06:27 [13:06:27.208] INFO: ivc-integration:test:native (mem: 179.67 MiB) 13:06:27 [13:06:27.209] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 179.67 MiB) 13:06:27 [13:06:27.231] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 179.67 MiB) 13:06:27 Initialized BN254 CRS from memory with num points = 9 (mem: 179.67 MiB) 13:06:27 [13:06:27.232] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 179.67 MiB) 13:06:27 libra_evals_verified: 1 (mem: 179.67 MiB) 13:06:27 pairing_check_verified: 1 (mem: 179.67 MiB) 13:06:27 Mega verified: 1 (mem: 179.67 MiB) 13:06:27 [13:06:27.734] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 179.67 MiB) 13:06:27 batch opening verified?: 1 (mem: 179.67 MiB) 13:06:27 eccvm consistency check verified?: 1 (mem: 179.67 MiB) 13:06:27 translation masking consistency checked?: 1 (mem: 179.67 MiB) 13:06:27 [13:06:27.756] INFO: ivc-integration:test:native merge verified?: 1 (mem: 179.67 MiB) 13:06:27 eccvm verified?: 1 (mem: 179.67 MiB) 13:06:27 accumulator construction_verified?: 1 (mem: 179.67 MiB) 13:06:27 translation verified?: 1 (mem: 179.67 MiB) 13:06:27 consistency verified?: 1 (mem: 179.67 MiB) 13:06:27 Goblin verified: 1 (mem: 179.67 MiB) 13:06:27 [13:06:27.762] INFO: ivc-integration:test:native verified: 1 (mem: 179.67 MiB) 13:06:27 [13:06:27.870] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-e4IPwI/ivc-inputs.msgpack 13:06:27 [13:06:27.871] INFO: ivc-integration:test:native bb - BB concurrency: undefined 13:06:27 [13:06:27.872] 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-e4IPwI --ivc_inputs_path /tmp/bb-client-ivc-integration-e4IPwI/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:06:27 [13:06:27.914] INFO: ivc-integration:test:native bb - bb command: prove (mem: 183.01 MiB) 13:06:27 Scheme is: client_ivc, num threads: 128 (mem: 183.01 MiB) 13:06:27 --scheme: client_ivc (mem: 183.01 MiB) 13:06:27 --output_path: /tmp/bb-client-ivc-integration-e4IPwI (mem: 183.01 MiB) 13:06:27 --ivc_inputs_path: /tmp/bb-client-ivc-integration-e4IPwI/ivc-inputs.msgpack (mem: 183.01 MiB) 13:06:27 --verbose: true (mem: 183.01 MiB) 13:06:27 --write_vk: true (mem: 183.01 MiB) 13:06:27 [13:06:27.931] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.01 MiB) 13:06:28 [13:06:28.092] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 13:06:28 [13:06:28.103] INFO: ivc-integration:test:native bb - (mem: 279.00 MiB) 13:06:28 [13:06:28.200] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 327.02 MiB) 13:06:28 [13:06:28.204] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 327.02 MiB) 13:06:28 Constructing DeciderProvingKey (mem: 327.02 MiB) 13:06:28 [13:06:28.210] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 327.02 MiB) 13:06:28 goblin ecc op : 4/1024 (mem: 327.02 MiB) 13:06:28 busread : 7/6000 (mem: 327.02 MiB) 13:06:28 lookups : 2/15000 (mem: 327.02 MiB) 13:06:28 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 327.02 MiB) 13:06:28 [13:06:28.213] INFO: ivc-integration:test:native bb - arithmetic : 1760/56000 (mem: 327.02 MiB) 13:06:28 delta range : 1754/18000 (mem: 327.02 MiB) 13:06:28 elliptic : 2/6000 (mem: 327.02 MiB) 13:06:28 auxiliary : 26/26000 (mem: 327.02 MiB) 13:06:28 poseidon ext : 2/17000 (mem: 327.02 MiB) 13:06:28 poseidon int : 2/92000 (mem: 327.02 MiB) 13:06:28 overflow : 0/0 (mem: 327.02 MiB) 13:06:28 (mem: 327.02 MiB) 13:06:28 Total structured size: 242025 (mem: 327.02 MiB) 13:06:28 allocating polynomials object in proving key... (mem: 327.02 MiB) 13:06:28 [13:06:28.376] INFO: ivc-integration:test:native bb - populating trace... (mem: 515.12 MiB) 13:06:28 [13:06:28.437] INFO: ivc-integration:test:native bb - time to construct proving key: 232 ms. (mem: 527.12 MiB) 13:06:28 [13:06:28.564] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6450b75aae80 (mem: 527.12 MiB) 13:06:28 [13:06:28.565] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 527.12 MiB) 13:06:28 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 527.12 MiB) 13:06:28 [13:06:28.751] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 536.12 MiB) 13:06:28 [13:06:28.760] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 536.12 MiB) 13:06:28 [13:06:28.779] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 536.12 MiB) 13:06:28 Constructing DeciderProvingKey (mem: 536.12 MiB) 13:06:28 [13:06:28.781] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 536.12 MiB) 13:06:28 goblin ecc op : 56/1024 (mem: 536.12 MiB) 13:06:28 busread : 12/6000 (mem: 536.12 MiB) 13:06:28 [13:06:28.784] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 536.12 MiB) 13:06:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 536.12 MiB) 13:06:28 arithmetic : 4677/56000 (mem: 536.12 MiB) 13:06:28 delta range : 2073/18000 (mem: 536.12 MiB) 13:06:28 elliptic : 2/6000 (mem: 536.12 MiB) 13:06:28 auxiliary : 110/26000 (mem: 536.12 MiB) 13:06:28 poseidon ext : 1322/17000 (mem: 536.12 MiB) 13:06:28 poseidon int : 7526/92000 (mem: 536.12 MiB) 13:06:28 overflow : 0/0 (mem: 536.12 MiB) 13:06:28 (mem: 536.12 MiB) 13:06:28 Total structured size: 242025 (mem: 536.12 MiB) 13:06:28 allocating polynomials object in proving key... (mem: 536.12 MiB) 13:06:28 [13:06:28.915] INFO: ivc-integration:test:native bb - populating trace... (mem: 731.12 MiB) 13:06:28 [13:06:28.939] INFO: ivc-integration:test:native bb - time to construct proving key: 160 ms. (mem: 749.12 MiB) 13:06:29 [13:06:29.037] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6450b75b4100 (mem: 749.12 MiB) 13:06:29 computing folding proof (mem: 749.12 MiB) 13:06:29 vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 749.12 MiB) 13:06:29 [13:06:29.526] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 749.12 MiB) 13:06:29 [13:06:29.636] INFO: ivc-integration:test:native bb - perturbator round (mem: 785.12 MiB) 13:06:29 [13:06:29.689] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.12 MiB) 13:06:29 [13:06:29.961] INFO: ivc-integration:test:native bb - folded (mem: 818.12 MiB) 13:06:29 [13:06:29.963] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 818.12 MiB) 13:06:29 [13:06:29.969] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.12 MiB) 13:06:29 Constructing DeciderProvingKey (mem: 818.12 MiB) 13:06:29 [13:06:29.972] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 13:06:29 [13:06:29.973] INFO: ivc-integration:test:native bb - 818.12 MiB) 13:06:29 goblin ecc op : 4/1024 (mem: 818.12 MiB) 13:06:29 busread : 7/6000 (mem: 818.12 MiB) 13:06:29 lookups : 2/15000 (mem: 818.12 MiB) 13:06:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 818.12 MiB) 13:06:29 arithmetic : 1760/56000 (mem: 818.12 MiB) 13:06:29 delta range : 1754/18000 (mem: 818.12 MiB) 13:06:29 elliptic : 2/6000 (mem: 818.12 MiB) 13:06:29 auxiliary : 26/26000 (mem: 818.12 MiB) 13:06:29 poseidon ext : 2/17000 (mem: 818.12 MiB) 13:06:29 poseidon int : 2/92000 (mem: 818.12 MiB) 13:06:29 overflow : 0/0 (mem: 818.12 MiB) 13:06:29 (mem: 818.12 MiB) 13:06:29 Total structured size: 242025 (mem: 818.12 MiB) 13:06:29 allocating polynomials object in proving key... (mem: 818.12 MiB) 13:06:30 [13:06:30.061] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.12 MiB) 13:06:30 [13:06:30.073] INFO: ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 818.12 MiB) 13:06:30 [13:06:30.173] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6450b75a6680 (mem: 818.12 MiB) 13:06:30 computing folding proof (mem: 818.12 MiB) 13:06:30 [13:06:30.174] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.12 MiB) 13:06:30 [13:06:30.336] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.12 MiB) 13:06:30 [13:06:30.408] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.12 MiB) 13:06:30 [13:06:30.440] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.12 MiB) 13:06:30 [13:06:30.842] INFO: ivc-integration:test:native bb - folded (mem: 818.12 MiB) 13:06:30 constructed folding proof (mem: 818.12 MiB) 13:06:30 [13:06:30.856] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 818.12 MiB) 13:06:30 [13:06:30.923] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.12 MiB) 13:06:30 [13:06:30.994] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 818.12 MiB) 13:06:30 Constructing DeciderProvingKey (mem: 818.12 MiB) 13:06:31 [13:06:31.000] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.12 MiB) 13:06:31 goblin ecc op : 792/1024 (mem: 818.12 MiB) 13:06:31 busread : 12/6000 (mem: 818.12 MiB) 13:06:31 lookups : 2/15000 (mem: 818.12 MiB) 13:06:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 818.12 MiB) 13:06:31 arithmetic : 12208/56000 (mem: 818.12 MiB) 13:06:31 delta range : 2981/18000 (mem: 818.12 MiB) 13:06:31 elliptic : 2/6000 (mem: 818.12 MiB) 13:06:31 auxiliary : 350/26000 (mem: 818.12 MiB) 13:06:31 poseidon ext : 4982/17000 (mem: 818.12 MiB) 13:06:31 poseidon int : 28388/92000 (mem: 818.12 MiB) 13:06:31 overflow : 0/0 (mem: 818.12 MiB) 13:06:31 (mem: 818.12 MiB) 13:06:31 Total structured size: 242025 (mem: 818.12 MiB) 13:06:31 allocating polynomials object in proving key... (mem: 818.12 MiB) 13:06:31 [13:06:31.142] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.12 MiB) 13:06:31 [13:06:31.187] INFO: ivc-integration:test:native bb - time to construct proving key: 192 ms. (mem: 818.12 MiB) 13:06:31 [13:06:31.299] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6450b75a4240 (mem: 818.12 MiB) 13:06:31 computing folding proof (mem: 818.12 MiB) 13:06:31 [13:06:31.300] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 818.12 MiB) 13:06:31 [13:06:31.719] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.12 MiB) 13:06:31 [13:06:31.814] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.12 MiB) 13:06:31 [13:06:31.880] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.16 MiB) 13:06:32 [13:06:32.184] INFO: ivc-integration:test:native bb - folded (mem: 847.16 MiB) 13:06:32 constructed folding proof (mem: 847.16 MiB) 13:06:32 [13:06:32.216] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 847.16 MiB) 13:06:32 [13:06:32.278] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 847.16 MiB) 13:06:32 Constructing DeciderProvingKey (mem: 847.16 MiB) 13:06:32 [13:06:32.283] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.16 MiB) 13:06:32 goblin ecc op : 392/1024 (mem: 847.16 MiB) 13:06:32 busread : 16/6000 (mem: 847.16 MiB) 13:06:32 lookups : 2/15000 (mem: 847.16 MiB) 13:06:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 847.16 MiB) 13:06:32 arithmetic : 6978/56000 (mem: 847.16 MiB) 13:06:32 delta range : 2367/18000 (mem: 847.16 MiB) 13:06:32 elliptic : 2/6000 (mem: 847.16 MiB) 13:06:32 auxiliary : 77/26000 (mem: 847.16 MiB) 13:06:32 poseidon ext : 2492/17000 (mem: 847.16 MiB) 13:06:32 poseidon int : 14195/92000 (mem: 847.16 MiB) 13:06:32 overflow : 0/0 (mem: 847.16 MiB) 13:06:32 (mem: 847.16 MiB) 13:06:32 Total structured size: 242025 (mem: 847.16 MiB) 13:06:32 allocating polynomials object in proving key... (mem: 847.16 MiB) 13:06:32 [13:06:32.369] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.16 MiB) 13:06:32 [13:06:32.408] INFO: ivc-integration:test:native bb - time to construct proving key: 131 ms. (mem: 847.16 MiB) 13:06:32 [13:06:32.499] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6450b7628200 (mem: 847.16 MiB) 13:06:32 computing folding proof (mem: 847.16 13:06:32 [13:06:32.499] INFO: ivc-integration:test:native bb - MiB) 13:06:32 [13:06:32.499] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 847.16 MiB) 13:06:32 [13:06:32.842] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.16 MiB) 13:06:32 [13:06:32.962] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.16 MiB) 13:06:33 [13:06:33.032] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.20 MiB) 13:06:33 [13:06:33.310] INFO: ivc-integration:test:native bb - folded (mem: 847.20 MiB) 13:06:33 constructed folding proof (mem: 847.20 MiB) 13:06:33 [13:06:33.319] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 847.20 MiB) 13:06:33 [13:06:33.399] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 847.20 MiB) 13:06:33 Constructing DeciderProvingKey (mem: 847.20 MiB) 13:06:33 [13:06:33.404] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.20 MiB) 13:06:33 goblin ecc op : 392/1024 (mem: 847.20 MiB) 13:06:33 busread : 3/6000 (mem: 847.20 MiB) 13:06:33 lookups : 2/15000 (mem: 847.20 MiB) 13:06:33 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.20 MiB) 13:06:33 [13:06:33.405] INFO: ivc-integration:test:native bb - arithmetic : 6913/56000 (mem: 847.20 MiB) 13:06:33 delta range : 2353/18000 (mem: 847.20 MiB) 13:06:33 elliptic : 2/6000 (mem: 847.20 MiB) 13:06:33 auxiliary : 50/26000 (mem: 847.20 MiB) 13:06:33 poseidon ext : 2492/17000 (mem: 847.20 MiB) 13:06:33 poseidon int : 14195/92000 (mem: 847.20 MiB) 13:06:33 overflow : 0/0 (mem: 847.20 MiB) 13:06:33 (mem: 847.20 MiB) 13:06:33 Total structured size: 242025 (mem: 847.20 MiB) 13:06:33 allocating polynomials object in proving key... (mem: 847.20 MiB) 13:06:33 [13:06:33.452] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.20 MiB) 13:06:33 [13:06:33.503] INFO: ivc-integration:test:native bb - time to construct proving key: 103 ms. (mem: 847.20 MiB) 13:06:33 [13:06:33.667] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6450b76228c0 (mem: 847.20 MiB) 13:06:33 computing folding proof (mem: 847.20 MiB) 13:06:33 [13:06:33.667] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 847.20 MiB) 13:06:34 [13:06:33.998] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.20 MiB) 13:06:34 [13:06:34.092] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.20 MiB) 13:06:34 [13:06:34.157] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.48 MiB) 13:06:34 [13:06:34.354] INFO: ivc-integration:test:native bb - folded (mem: 847.48 MiB) 13:06:34 constructed folding proof (mem: 847.48 MiB) 13:06:34 [13:06:34.354] INFO: ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 847.48 MiB) 13:06:34 Minimum required block sizes for structured trace: (mem: 847.48 MiB) 13:06:34 (mem: 847.48 MiB) 13:06:34 prove decider... (mem: 847.48 MiB) 13:06:34 [13:06:34.354] INFO: ivc-integration:test:native bb - ecc_op : 792 13:06:34 busread : 16 13:06:34 lookup : 2 13:06:34 pub_inputs : 36 13:06:34 arithmetic : 12208 13:06:34 delta_range : 2981 13:06:34 elliptic : 2 13:06:34 aux : 350 13:06:34 poseidon2_external : 4982 13:06:34 poseidon2_internal : 28388 13:06:34 overflow : 0 13:06:34 [13:06:34.428] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.48 MiB) 13:06:34 [13:06:34.504] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.48 MiB) 13:06:34 [13:06:34.913] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.48 MiB) 13:06:34 [13:06:34.990] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.48 MiB) 13:06:34 finished decider proving. (mem: 847.48 MiB) 13:06:35 [13:06:35.008] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 847.48 MiB) 13:06:35 [13:06:35.108] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.48 MiB) 13:06:35 [13:06:35.113] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 847.48 MiB) 13:06:35 [13:06:35.161] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.48 MiB) 13:06:35 [13:06:35.196] INFO: ivc-integration:test:native bb - time to construct proving key: 88 ms. (mem: 847.48 MiB) 13:06:35 [13:06:35.924] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 847.48 MiB) 13:06:36 [13:06:36.300] INFO: ivc-integration:test:native bb - created oink proof (mem: 847.48 MiB) 13:06:36 [13:06:36.407] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.48 MiB) 13:06:36 [13:06:36.967] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.48 MiB) 13:06:37 [13:06:37.564] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.48 MiB) 13:06:37 [13:06:37.586] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.48 MiB) 13:06:37 finished decider proving. (mem: 847.48 MiB) 13:06:37 [13:06:37.587] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 847.48 MiB) 13:06:37 [13:06:37.659] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 847.48 MiB) 13:06:37 [13:06:37.907] 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: 847.48 MiB) 13:06:37 [13:06:37.919] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 847.48 MiB) 13:06:39 [13:06:39.204] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.48 MiB) 13:06:40 [13:06:40.143] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.48 MiB) 13:06:42 [13:06:42.473] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 847.48 MiB) 13:06:42 prove translator... (mem: 847.48 MiB) 13:06:45 [13:06:45.451] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 872.29 MiB) 13:06:48 [13:06:48.169] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 873.29 MiB) 13:06:50 [13:06:50.740] INFO: ivc-integration:test:native bb - computed opening proof (mem: 873.29 MiB) 13:06:50 [13:06:50.742] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 873.29 MiB) 13:06:50 [13:06:50.759] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 873.29 MiB) 13:06:50 [13:06:50.776] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 873.29 MiB) 13:06:50 libra_evals_verified: 1 (mem: 873.29 MiB) 13:06:50 pairing_check_verified: 1 (mem: 873.29 MiB) 13:06:50 Mega verified: 1 (mem: 873.29 MiB) 13:06:50 [13:06:50.876] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 873.29 MiB) 13:06:50 batch opening verified?: 1 (mem: 873.29 MiB) 13:06:50 eccvm consistency check verified?: 1 (mem: 873.29 MiB) 13:06:50 translation masking consistency checked?: 1 (mem: 873.29 MiB) 13:06:50 [13:06:50.891] INFO: ivc-integration:test:native bb - merge verified?: 1 13:06:50 [13:06:50.895] INFO: ivc-integration:test:native bb - (mem: 873.29 MiB) 13:06:50 eccvm verified?: 1 (mem: 873.29 MiB) 13:06:50 accumulator construction_verified?: 1 (mem: 873.29 MiB) 13:06:50 translation verified?: 1 (mem: 873.29 MiB) 13:06:50 consistency verified?: 1 (mem: 873.29 MiB) 13:06:50 Goblin verified: 1 (mem: 873.29 MiB) 13:06:50 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-e4IPwI" (mem: 873.29 MiB) 13:06:50 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-e4IPwI" (mem: 873.29 MiB) 13:06:50 BN254 commitment key size: 262144 (mem: 873.29 MiB) 13:06:50 [13:06:50.897] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 13:06:50 [13:06:50.899] INFO: ivc-integration:test:native bb - (mem: 873.29 MiB) 13:06:50 [13:06:50.903] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 873.29 MiB) 13:06:50 goblin ecc op : 4/1024 (mem: 873.29 MiB) 13:06:50 busread : 3/6000 (mem: 873.29 MiB) 13:06:50 lookups : 2/15000 (mem: 873.29 MiB) 13:06:50 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 873.29 MiB) 13:06:50 arithmetic : 1773/56000 (mem: 873.29 MiB) 13:06:50 delta range : 1754/18000 (mem: 873.29 MiB) 13:06:50 elliptic : 2/6000 (mem: 873.29 MiB) 13:06:50 auxiliary : 26/26000 (mem: 873.29 MiB) 13:06:50 poseidon ext : 2/17000 (mem: 873.29 MiB) 13:06:50 poseidon int : 2/92000 (mem: 873.29 MiB) 13:06:50 overflow : 0/0 (mem: 873.29 MiB) 13:06:50 (mem: 873.29 MiB) 13:06:50 Total structured size: 242025 (mem: 873.29 MiB) 13:06:50 allocating polynomials object in proving key... (mem: 873.29 MiB) 13:06:51 [13:06:51.137] INFO: ivc-integration:test:native bb - populating trace... (mem: 873.29 MiB) 13:06:51 [13:06:51.177] INFO: ivc-integration:test:native bb - time to construct proving key: 277 ms. (mem: 873.29 MiB) 13:06:51 [13:06:51.419] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 873.29 MiB) 13:06:52 [13:06:52.043] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 873.29 MiB) 13:06:52 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 873.29 MiB) 13:06:52 [13:06:52.303] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 873.29 MiB) 13:06:52 [13:06:52.312] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 873.29 MiB) 13:06:52 [13:06:52.329] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 873.29 MiB) 13:06:52 [13:06:52.333] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 873.29 MiB) 13:06:52 goblin ecc op : 56/1024 (mem: 873.29 MiB) 13:06:52 busread : 3/6000 (mem: 873.29 MiB) 13:06:52 lookups : 2/15000 (mem: 873.29 MiB) 13:06:52 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 13:06:52 [13:06:52.334] INFO: ivc-integration:test:native bb - 873.29 MiB) 13:06:52 arithmetic : 4533/56000 (mem: 873.29 MiB) 13:06:52 delta range : 2060/18000 (mem: 873.29 MiB) 13:06:52 elliptic : 2/6000 (mem: 873.29 MiB) 13:06:52 auxiliary : 50/26000 (mem: 873.29 MiB) 13:06:52 poseidon ext : 1332/17000 (mem: 873.29 MiB) 13:06:52 poseidon int : 7583/92000 (mem: 873.29 MiB) 13:06:52 overflow : 0/0 (mem: 873.29 MiB) 13:06:52 (mem: 873.29 MiB) 13:06:52 Total structured size: 242025 (mem: 873.29 MiB) 13:06:52 allocating polynomials object in proving key... (mem: 873.29 MiB) 13:06:52 [13:06:52.563] INFO: ivc-integration:test:native bb - populating trace... (mem: 873.29 MiB) 13:06:52 [13:06:52.602] INFO: ivc-integration:test:native bb - time to construct proving key: 272 ms. (mem: 873.29 MiB) 13:06:52 [13:06:52.822] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 873.29 MiB) 13:06:53 [13:06:53.448] INFO: ivc-integration:test:native bb - computing folding proof (mem: 873.29 MiB) 13:06:53 [13:06:53.448] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 873.29 MiB) 13:06:53 [13:06:53.765] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 873.29 MiB) 13:06:53 [13:06:53.881] INFO: ivc-integration:test:native bb - perturbator round (mem: 873.29 MiB) 13:06:53 [13:06:53.923] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 905.29 MiB) 13:06:54 [13:06:54.018] INFO: ivc-integration:test:native bb - folded (mem: 905.29 MiB) 13:06:54 constructed folding proof (mem: 905.29 MiB) 13:06:54 Largest circuit: 15565 gates. Trace details: (mem: 905.29 MiB) 13:06:54 Minimum required block sizes for structured trace: (mem: 905.29 MiB) 13:06:54 (mem: 905.29 MiB) 13:06:54 prove decider... (mem: 905.29 MiB) 13:06:54 [13:06:54.019] INFO: ivc-integration:test:native bb - ecc_op : 56 13:06:54 busread : 3 13:06:54 lookup : 2 13:06:54 pub_inputs : 36 13:06:54 arithmetic : 4533 13:06:54 delta_range : 2060 13:06:54 elliptic : 2 13:06:54 aux : 50 13:06:54 poseidon2_external : 1332 13:06:54 poseidon2_internal : 7583 13:06:54 overflow : 0 13:06:54 [13:06:54.096] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 905.29 MiB) 13:06:54 [13:06:54.161] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 905.29 MiB) 13:06:54 [13:06:54.492] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 905.29 MiB) 13:06:54 [13:06:54.538] INFO: ivc-integration:test:native bb - computed opening proof (mem: 905.29 MiB) 13:06:54 finished decider proving. (mem: 905.29 MiB) 13:06:54 [13:06:54.547] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 905.29 MiB) 13:06:54 [13:06:54.622] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 905.29 MiB) 13:06:54 [13:06:54.625] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 905.29 MiB) 13:06:54 [13:06:54.664] INFO: ivc-integration:test:native bb - populating trace... (mem: 905.29 MiB) 13:06:54 [13:06:54.690] INFO: ivc-integration:test:native bb - time to construct proving key: 68 ms. (mem: 905.29 MiB) 13:06:55 [13:06:55.049] INFO: ivc-integration:test:native BB concurrency: 1 13:06:55 [13:06:55.051] 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-e4IPwI/proof -k /tmp/bb-client-ivc-integration-e4IPwI/vk -v 13:06:55 [13:06:55.125] INFO: ivc-integration:test:native bb command: verify 13:06:55 [13:06:55.129] INFO: ivc-integration:test:native (mem: 188.07 MiB) 13:06:55 Scheme is: client_ivc, num threads: 1 (mem: 188.07 MiB) 13:06:55 --proof_path: /tmp/bb-client-ivc-integration-e4IPwI/proof (mem: 188.07 MiB) 13:06:55 --vk_path: /tmp/bb-client-ivc-integration-e4IPwI/vk (mem: 188.07 MiB) 13:06:55 --verbose: true (mem: 188.07 MiB) 13:06:55 --scheme: client_ivc (mem: 188.07 MiB) 13:06:55 [13:06:55.152] 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.07 MiB) 13:06:55 [13:06:55.176] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 188.07 MiB) 13:06:55 [13:06:55.179] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 188.07 MiB) 13:06:55 [13:06:55.198] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.07 MiB) 13:06:55 [13:06:55.199] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 188.07 MiB) 13:06:55 sumcheck_verified: 1 (mem: 188.07 MiB) 13:06:55 libra_evals_verified: 1 (mem: 188.07 MiB) 13:06:55 pairing_check_verified: 1 (mem: 188.07 MiB) 13:06:55 Mega verified: 1 (mem: 188.07 MiB) 13:06:55 [13:06:55.619] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.07 MiB) 13:06:55 batch opening verified?: 1 (mem: 188.07 MiB) 13:06:55 eccvm consistency check verified?: 1 (mem: 188.07 MiB) 13:06:55 translation masking consistency checked?: 1 (mem: 188.07 MiB) 13:06:55 [13:06:55.639] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.07 MiB) 13:06:55 eccvm verified?: 1 (mem: 188.07 MiB) 13:06:55 accumulator construction_verified?: 1 (mem: 188.07 MiB) 13:06:55 translation verified?: 1 (mem: 188.07 MiB) 13:06:55 consistency verified?: 1 (mem: 188.07 MiB) 13:06:55 Goblin verified: 1 (mem: 188.07 MiB) 13:06:55 [13:06:55.643] INFO: ivc-integration:test:native verified: 1 (mem: 188.07 MiB) 13:06:55 PASS src/native_client_ivc_integration.test.ts (72.836 s) 13:06:55 Client IVC Integration 13:06:55 ✓ Should generate a verifiable client IVC proof from a simple mock tx (41316 ms) 13:06:55 ✓ Should generate a verifiable client IVC proof from a complex mock tx (27872 ms) 13:06:55 13:06:55 Test Suites: 1 passed, 1 total 13:06:55 Tests: 2 passed, 2 total 13:06:55 Snapshots: 0 total 13:06:55 Time: 72.925 s 13:06:55 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 13:06:55 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?