ACI ·

Parent Log: http://ci.aztec-labs.com/ffb0cedf91fb98de Command: 52bd9327d3603bc3: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/ee24aac96469b4f1cb8d70e614b2dd27bf0eb134 Env: REF_NAME=gh-readonly-queue/next/pr-15242-1c2c2ee2949dbe31742cc9501a31bf3bce8083cf CURRENT_VERSION=0.87.6 CI_FULL=0 Date: Tue Jun 24 14:03:30 UTC 2025 System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15242_arm64_a1-fast Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 14:03:34 [14:03:34.182] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-p4E605/ivc-inputs.msgpack 14:03:34 [14:03:34.186] INFO: ivc-integration:test:native bb - BB concurrency: undefined 14:03:34 [14:03:34.187] 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-p4E605 --ivc_inputs_path /tmp/bb-client-ivc-integration-p4E605/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 14:03:34 [14:03:34.202] INFO: ivc-integration:test:native bb - bb command: prove (mem: 234.27 MiB) 14:03:34 [14:03:34.202] INFO: ivc-integration:test:native bb - 14:03:34 Scheme is: client_ivc, num threads: 64 (mem: 234.27 MiB) 14:03:34 --scheme: client_ivc (mem: 234.27 MiB) 14:03:34 --output_path: /tmp/bb-client-ivc-integration-p4E605 (mem: 234.27 MiB) 14:03:34 --ivc_inputs_path: /tmp/bb-client-ivc-integration-p4E605/ivc-inputs.msgpack (mem: 234.27 MiB) 14:03:34 --verbose: true (mem: 234.27 MiB) 14:03:34 --write_vk: true (mem: 234.27 MiB) 14:03:34 [14:03:34.204] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 234.27 MiB) 14:03:34 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 234.27 MiB) 14:03:34 [14:03:34.247] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 234.27 MiB) 14:03:34 [14:03:34.250] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 234.27 MiB) 14:03:34 Constructing DeciderProvingKey (mem: 234.27 MiB) 14:03:34 [14:03:34.252] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 234.27 MiB) 14:03:34 goblin ecc op : 4/1024 (mem: 234.27 MiB) 14:03:34 busread : 7/6000 (mem: 234.27 14:03:34 [14:03:34.254] INFO: ivc-integration:test:native bb - MiB) 14:03:34 lookups : 2/15000 (mem: 234.27 MiB) 14:03:34 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 234.27 MiB) 14:03:34 arithmetic : 1760/56000 (mem: 234.27 MiB) 14:03:34 delta range : 1754/18000 (mem: 234.27 MiB) 14:03:34 elliptic : 2/6000 (mem: 234.27 MiB) 14:03:34 auxiliary : 26/26000 (mem: 234.27 MiB) 14:03:34 poseidon ext : 2/17000 (mem: 234.27 MiB) 14:03:34 poseidon int : 2/92000 (mem: 234.27 MiB) 14:03:34 overflow : 0/0 (mem: 234.27 MiB) 14:03:34 (mem: 234.27 MiB) 14:03:34 Total structured size: 242025 (mem: 234.27 MiB) 14:03:34 allocating polynomials object in proving key... (mem: 234.27 MiB) 14:03:34 [14:03:34.342] INFO: ivc-integration:test:native bb - populating trace... (mem: 307.65 MiB) 14:03:34 [14:03:34.355] INFO: ivc-integration:test:native bb - time to construct proving key: 104 ms. (mem: 323.65 MiB) 14:03:34 [14:03:34.376] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb4ca94065440 (mem: 323.65 MiB) 14:03:34 computing oink proof... (mem: 323.65 MiB) 14:03:34 [14:03:34.376] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 323.65 MiB) 14:03:34 [14:03:34.470] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 333.15 MiB) 14:03:34 [14:03:34.474] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 333.15 MiB) 14:03:34 [14:03:34.482] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 333.65 MiB) 14:03:34 Constructing DeciderProvingKey (mem: 333.65 MiB) 14:03:34 [14:03:34.484] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 333.65 MiB) 14:03:34 goblin ecc op : 56/1024 (mem: 333.65 MiB) 14:03:34 busread : 12/6000 (mem: 333.65 MiB) 14:03:34 [14:03:34.485] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 333.65 MiB) 14:03:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 333.65 MiB) 14:03:34 arithmetic : 4677/56000 (mem: 333.65 MiB) 14:03:34 delta range : 2073/18000 (mem: 333.65 MiB) 14:03:34 elliptic : 2/6000 (mem: 333.65 MiB) 14:03:34 auxiliary : 110/26000 (mem: 333.65 MiB) 14:03:34 poseidon ext : 1322/17000 (mem: 333.65 MiB) 14:03:34 poseidon int : 7526/92000 (mem: 333.65 MiB) 14:03:34 overflow : 0/0 (mem: 333.65 MiB) 14:03:34 (mem: 333.65 MiB) 14:03:34 Total structured size: 242025 (mem: 333.65 MiB) 14:03:34 allocating polynomials object in proving key... (mem: 333.65 MiB) 14:03:34 [14:03:34.535] INFO: ivc-integration:test:native bb - populating trace... (mem: 547.65 MiB) 14:03:34 [14:03:34.545] INFO: ivc-integration:test:native bb - time to construct proving key: 62 ms. (mem: 564.15 MiB) 14:03:34 [14:03:34.564] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb4ca94060d80 (mem: 564.15 MiB) 14:03:34 computing folding proof (mem: 564.15 MiB) 14:03:34 [14:03:34.565] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 564.15 MiB) 14:03:34 [14:03:34.785] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 564.65 MiB) 14:03:34 [14:03:34.844] INFO: ivc-integration:test:native bb - perturbator round (mem: 601.15 MiB) 14:03:34 [14:03:34.881] INFO: ivc-integration:test:native bb - combiner quotient round 14:03:34 [14:03:34.883] INFO: ivc-integration:test:native bb - (mem: 633.15 MiB) 14:03:35 [14:03:35.075] INFO: ivc-integration:test:native bb - folded (mem: 633.15 MiB) 14:03:35 constructed folding proof (mem: 633.15 MiB) 14:03:35 [14:03:35.080] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 633.15 MiB) 14:03:35 [14:03:35.119] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 633.15 MiB) 14:03:35 Constructing DeciderProvingKey (mem: 633.15 MiB) 14:03:35 [14:03:35.122] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 633.15 MiB) 14:03:35 goblin ecc op : 392/1024 (mem: 633.15 MiB) 14:03:35 busread : 3/6000 (mem: 633.15 MiB) 14:03:35 lookups : 2/15000 (mem: 633.15 MiB) 14:03:35 [14:03:35.122] INFO: ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 633.15 MiB) 14:03:35 arithmetic : 6913/56000 (mem: 633.15 MiB) 14:03:35 delta range : 2353/18000 (mem: 633.15 MiB) 14:03:35 elliptic : 2/6000 (mem: 633.15 MiB) 14:03:35 auxiliary : 50/26000 (mem: 633.15 MiB) 14:03:35 poseidon ext : 2492/17000 (mem: 633.15 MiB) 14:03:35 poseidon int : 14195/92000 (mem: 633.15 MiB) 14:03:35 overflow : 0/0 (mem: 633.15 MiB) 14:03:35 (mem: 633.15 MiB) 14:03:35 Total structured size: 242025 (mem: 633.15 MiB) 14:03:35 allocating polynomials object in proving key... (mem: 633.15 MiB) 14:03:35 [14:03:35.163] INFO: ivc-integration:test:native bb - populating trace... (mem: 633.15 MiB) 14:03:35 [14:03:35.179] INFO: ivc-integration:test:native bb - time to construct proving key: 59 ms. (mem: 633.15 MiB) 14:03:35 [14:03:35.248] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb4ca940723c0 (mem: 633.15 MiB) 14:03:35 computing folding proof (mem: 633.15 MiB) 14:03:35 [14:03:35.249] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 633.15 MiB) 14:03:35 [14:03:35.569] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 633.15 MiB) 14:03:35 [14:03:35.632] INFO: ivc-integration:test:native bb - perturbator round (mem: 633.15 MiB) 14:03:35 [14:03:35.676] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 641.30 MiB) 14:03:35 [14:03:35.835] INFO: ivc-integration:test:native bb - folded (mem: 641.30 MiB) 14:03:35 constructed folding proof (mem: 641.30 MiB) 14:03:35 Largest circuit: 26010 gates. Trace details: (mem: 641.30 MiB) 14:03:35 Minimum required block sizes for structured trace: (mem: 641.30 MiB) 14:03:35 (mem: 641.30 MiB) 14:03:35 prove decider... (mem: 641.30 MiB) 14:03:35 [14:03:35.836] INFO: ivc-integration:test:native bb - ecc_op : 392 14:03:35 busread : 12 14:03:35 lookup : 2 14:03:35 pub_inputs : 36 14:03:35 arithmetic : 6913 14:03:35 delta_range : 2353 14:03:35 elliptic : 2 14:03:35 aux : 110 14:03:35 poseidon2_external : 2492 14:03:35 poseidon2_internal : 14195 14:03:35 overflow : 0 14:03:35 [14:03:35.876] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 641.30 MiB) 14:03:35 [14:03:35.943] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 14:03:35 [14:03:35.944] INFO: ivc-integration:test:native bb - 641.30 MiB) 14:03:36 [14:03:36.508] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 641.30 MiB) 14:03:36 [14:03:36.578] INFO: ivc-integration:test:native bb - computed opening proof (mem: 641.30 MiB) 14:03:36 finished decider proving. (mem: 641.30 MiB) 14:03:36 [14:03:36.587] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 641.30 MiB) 14:03:36 [14:03:36.648] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 641.30 MiB) 14:03:36 [14:03:36.651] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 641.30 MiB) 14:03:36 [14:03:36.677] INFO: ivc-integration:test:native bb - populating trace... (mem: 641.30 MiB) 14:03:36 [14:03:36.696] INFO: ivc-integration:test:native bb - time to construct proving key: 47 ms. (mem: 641.30 MiB) 14:03:37 [14:03:37.160] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 641.30 MiB) 14:03:37 [14:03:37.430] INFO: ivc-integration:test:native bb - created oink proof (mem: 641.30 MiB) 14:03:37 [14:03:37.503] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 641.30 MiB) 14:03:37 [14:03:37.821] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 641.30 MiB) 14:03:38 [14:03:38.372] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 641.30 MiB) 14:03:38 [14:03:38.416] INFO: ivc-integration:test:native bb - computed opening proof (mem: 641.30 MiB) 14:03:38 finished decider proving. (mem: 641.30 MiB) 14:03:38 [14:03:38.417] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 641.30 MiB) 14:03:38 [14:03:38.534] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 641.30 MiB) 14:03:38 [14:03:38.668] 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: 641.30 MiB) 14:03:38 [14:03:38.673] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 14:03:38 [14:03:38.674] INFO: ivc-integration:test:native bb - (mem: 14:03:38 [14:03:38.674] INFO: ivc-integration:test:native bb - 641.30 14:03:38 [14:03:38.675] INFO: ivc-integration:test:native bb - MiB) 14:03:38 [14:03:38.675] INFO: ivc-integration:test:native bb - 14:03:39 [14:03:39.633] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 641.30 MiB) 14:03:40 [14:03:40.493] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 641.30 MiB) 14:03:42 [14:03:42.810] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 641.30 MiB) 14:03:42 prove translator... (mem: 641.30 MiB) 14:03:43 [14:03:43.787] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 661.17 MiB) 14:03:44 [14:03:44.378] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 661.17 MiB) 14:03:45 [14:03:45.334] INFO: ivc-integration:test:native bb - computed opening proof (mem: 661.17 MiB) 14:03:45 [14:03:45.334] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 661.17 MiB) 14:03:45 [14:03:45.335] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 661.17 MiB) 14:03:45 [14:03:45.350] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 661.17 MiB) 14:03:45 libra_evals_verified: 1 (mem: 661.17 MiB) 14:03:45 pairing_check_verified: 1 (mem: 661.17 MiB) 14:03:45 Mega verified: 1 (mem: 661.17 MiB) 14:03:45 [14:03:45.417] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 661.67 MiB) 14:03:45 batch opening verified?: 1 (mem: 661.67 MiB) 14:03:45 eccvm consistency check verified?: 1 (mem: 661.67 MiB) 14:03:45 translation masking consistency checked?: 1 (mem: 661.67 MiB) 14:03:45 [14:03:45.435] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 662.17 MiB) 14:03:45 eccvm verified?: 1 (mem: 662.17 MiB) 14:03:45 accumulator construction_verified?: 1 (mem: 662.17 MiB) 14:03:45 translation verified?: 1 (mem: 662.17 MiB) 14:03:45 consistency verified?: 1 (mem: 662.17 MiB) 14:03:45 [14:03:45.436] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 662.17 MiB) 14:03:45 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-p4E605" (mem: 662.17 MiB) 14:03:45 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-p4E605" (mem: 662.17 MiB) 14:03:45 BN254 commitment key size: 262144 (mem: 662.17 MiB) 14:03:45 [14:03:45.437] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 662.17 MiB) 14:03:45 [14:03:45.439] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 662.17 MiB) 14:03:45 goblin ecc op : 4/1024 (mem: 662.17 MiB) 14:03:45 busread : 3/6000 (mem: 662.17 MiB) 14:03:45 lookups : 2/15000 (mem: 662.17 MiB) 14:03:45 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 662.17 MiB) 14:03:45 arithmetic : 1773/56000 (mem: 662.17 MiB) 14:03:45 delta range : 1754/18000 (mem: 662.17 MiB) 14:03:45 elliptic : 2/6000 (mem: 662.17 MiB) 14:03:45 auxiliary : 26/26000 (mem: 662.17 MiB) 14:03:45 poseidon ext : 2/17000 (mem: 662.17 MiB) 14:03:45 [14:03:45.439] INFO: ivc-integration:test:native bb - poseidon int : 2/92000 (mem: 662.17 MiB) 14:03:45 overflow : 0/0 (mem: 662.17 MiB) 14:03:45 (mem: 662.17 MiB) 14:03:45 Total structured size: 242025 (mem: 662.17 MiB) 14:03:45 allocating polynomials object in proving key... (mem: 662.17 MiB) 14:03:45 [14:03:45.454] INFO: ivc-integration:test:native bb - populating trace... (mem: 662.17 MiB) 14:03:45 [14:03:45.460] INFO: ivc-integration:test:native bb - time to construct proving key: 22 ms. (mem: 662.17 MiB) 14:03:45 [14:03:45.483] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 662.17 MiB) 14:03:45 [14:03:45.548] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 662.17 MiB) 14:03:45 [14:03:45.549] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 662.17 MiB) 14:03:45 [14:03:45.633] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 662.17 MiB) 14:03:45 [14:03:45.637] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 662.17 MiB) 14:03:45 [14:03:45.645] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 662.17 MiB) 14:03:45 [14:03:45.647] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 662.17 MiB) 14:03:45 goblin ecc op : 56/1024 (mem: 662.17 MiB) 14:03:45 [14:03:45.647] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 662.17 MiB) 14:03:45 lookups : 2/15000 (mem: 662.17 MiB) 14:03:45 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 662.17 MiB) 14:03:45 arithmetic : 4533/56000 (mem: 662.17 MiB) 14:03:45 delta range : 2060/18000 (mem: 662.17 MiB) 14:03:45 elliptic : 2/6000 (mem: 662.17 MiB) 14:03:45 auxiliary : 50/26000 (mem: 662.17 MiB) 14:03:45 poseidon ext : 1332/17000 (mem: 662.17 MiB) 14:03:45 poseidon int : 7583/92000 (mem: 662.17 MiB) 14:03:45 overflow : 0/0 (mem: 662.17 MiB) 14:03:45 (mem: 662.17 MiB) 14:03:45 Total structured size: 242025 (mem: 662.17 MiB) 14:03:45 allocating polynomials object in proving key... (mem: 662.17 MiB) 14:03:45 [14:03:45.661] INFO: ivc-integration:test:native bb - populating trace... (mem: 662.17 MiB) 14:03:45 [14:03:45.668] INFO: ivc-integration:test:native bb - time to construct proving key: 23 ms. (mem: 662.17 MiB) 14:03:45 [14:03:45.714] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 662.17 MiB) 14:03:45 [14:03:45.804] INFO: ivc-integration:test:native bb - computing folding proof (mem: 662.17 MiB) 14:03:45 [14:03:45.805] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 662.17 MiB) 14:03:45 [14:03:45.909] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 662.17 MiB) 14:03:45 [14:03:45.949] INFO: ivc-integration:test:native bb - perturbator round (mem: 662.17 MiB) 14:03:45 [14:03:45.979] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 694.17 MiB) 14:03:46 [14:03:46.035] INFO: ivc-integration:test:native bb - folded (mem: 694.17 MiB) 14:03:46 constructed folding proof (mem: 694.17 MiB) 14:03:46 [14:03:46.036] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 694.17 MiB) 14:03:46 Minimum required block sizes for structured trace: (mem: 694.17 MiB) 14:03:46 (mem: 694.17 MiB) 14:03:46 prove decider... (mem: 694.17 MiB) 14:03:46 [14:03:46.036] INFO: ivc-integration:test:native bb - ecc_op : 56 14:03:46 busread : 3 14:03:46 lookup : 2 14:03:46 pub_inputs : 36 14:03:46 arithmetic : 4533 14:03:46 delta_range : 2060 14:03:46 elliptic : 2 14:03:46 aux : 50 14:03:46 poseidon2_external : 1332 14:03:46 poseidon2_internal : 7583 14:03:46 overflow : 0 14:03:46 [14:03:46.105] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 694.17 MiB) 14:03:46 [14:03:46.211] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 694.17 MiB) 14:03:46 [14:03:46.645] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 694.17 MiB) 14:03:46 [14:03:46.749] INFO: ivc-integration:test:native bb - computed opening proof (mem: 694.17 MiB) 14:03:46 finished decider proving. (mem: 694.17 MiB) 14:03:46 [14:03:46.754] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 14:03:46 [14:03:46.754] INFO: ivc-integration:test:native bb - (mem: 14:03:46 [14:03:46.755] INFO: ivc-integration:test:native bb - 694.17 14:03:46 [14:03:46.755] INFO: ivc-integration:test:native bb - MiB) 14:03:46 [14:03:46.756] INFO: ivc-integration:test:native bb - 14:03:46 [14:03:46.816] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 694.17 MiB) 14:03:46 [14:03:46.819] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 694.17 MiB) 14:03:46 [14:03:46.834] INFO: ivc-integration:test:native bb - populating trace... (mem: 694.17 MiB) 14:03:46 [14:03:46.849] INFO: ivc-integration:test:native bb - time to construct proving key: 32 ms. (mem: 694.17 MiB) 14:03:47 [14:03:47.023] INFO: ivc-integration:test:native BB concurrency: 1 14:03:47 [14:03:47.023] 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-p4E605/proof -k /tmp/bb-client-ivc-integration-p4E605/vk -v 14:03:47 [14:03:47.036] INFO: ivc-integration:test:native bb command: verify (mem: 234.83 MiB) 14:03:47 Scheme is: client_ivc, num threads: 1 (mem: 234.83 MiB) 14:03:47 [14:03:47.037] INFO: ivc-integration:test:native --proof_path: /tmp/bb-client-ivc-integration-p4E605/proof (mem: 234.83 MiB) 14:03:47 --vk_path: /tmp/bb-client-ivc-integration-p4E605/vk (mem: 234.83 MiB) 14:03:47 --verbose: true (mem: 234.83 MiB) 14:03:47 --scheme: client_ivc (mem: 234.83 MiB) 14:03:47 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 234.83 MiB) 14:03:47 [14:03:47.047] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 234.83 MiB) 14:03:47 [14:03:47.048] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 234.83 MiB) 14:03:47 [14:03:47.065] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 234.83 MiB) 14:03:47 [14:03:47.065] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 234.83 MiB) 14:03:47 [14:03:47.066] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 234.83 MiB) 14:03:47 libra_evals_verified: 1 (mem: 234.83 MiB) 14:03:47 pairing_check_verified: 1 (mem: 14:03:47 [14:03:47.066] INFO: ivc-integration:test:native 234.83 MiB) 14:03:47 Mega verified: 1 (mem: 234.83 MiB) 14:03:47 [14:03:47.458] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 234.83 MiB) 14:03:47 batch opening verified?: 1 (mem: 234.83 MiB) 14:03:47 eccvm consistency check verified?: 1 (mem: 234.83 MiB) 14:03:47 translation masking consistency checked?: 1 (mem: 234.83 MiB) 14:03:47 [14:03:47.476] INFO: ivc-integration:test:native merge verified?: 1 (mem: 234.83 MiB) 14:03:47 eccvm verified?: 1 (mem: 234.83 MiB) 14:03:47 accumulator construction_verified?: 1 (mem: 234.83 MiB) 14:03:47 translation verified?: 1 (mem: 234.83 MiB) 14:03:47 consistency verified?: 1 (mem: 234.83 MiB) 14:03:47 [14:03:47.477] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 234.83 MiB) 14:03:47 verified: 1 (mem: 234.83 MiB) 14:03:47 [14:03:47.528] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-IHGdAk/ivc-inputs.msgpack 14:03:47 [14:03:47.528] INFO: ivc-integration:test:native bb - BB concurrency: undefined 14:03:47 [14:03:47.529] 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-IHGdAk --ivc_inputs_path /tmp/bb-client-ivc-integration-IHGdAk/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 14:03:47 [14:03:47.543] INFO: ivc-integration:test:native bb - bb command: prove (mem: 241.25 MiB) 14:03:47 Scheme is: client_ivc, num threads: 64 (mem: 241.25 MiB) 14:03:47 --scheme: client_ivc (mem: 241.25 MiB) 14:03:47 --output_path: /tmp/bb-client-ivc-integration-IHGdAk (mem: 14:03:47 [14:03:47.543] INFO: ivc-integration:test:native bb - 241.25 MiB) 14:03:47 --ivc_inputs_path: /tmp/bb-client-ivc-integration-IHGdAk/ivc-inputs.msgpack (mem: 241.25 MiB) 14:03:47 --verbose: true (mem: 241.25 MiB) 14:03:47 --write_vk: true (mem: 241.25 MiB) 14:03:47 [14:03:47.546] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 241.25 MiB) 14:03:47 [14:03:47.546] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 241.25 MiB) 14:03:47 [14:03:47.590] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 241.25 MiB) 14:03:47 [14:03:47.593] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 241.25 MiB) 14:03:47 Constructing DeciderProvingKey (mem: 241.25 MiB) 14:03:47 [14:03:47.595] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 241.25 MiB) 14:03:47 goblin ecc op : 4/1024 (mem: 241.25 MiB) 14:03:47 busread : 7/6000 (mem: 241.25 14:03:47 [14:03:47.596] INFO: ivc-integration:test:native bb - MiB) 14:03:47 lookups : 2/15000 (mem: 241.25 MiB) 14:03:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 241.25 MiB) 14:03:47 arithmetic : 1760/56000 (mem: 241.25 MiB) 14:03:47 delta range : 1754/18000 (mem: 241.25 MiB) 14:03:47 elliptic : 2/6000 (mem: 241.25 MiB) 14:03:47 auxiliary : 26/26000 (mem: 241.25 MiB) 14:03:47 poseidon ext : 2/17000 (mem: 241.25 MiB) 14:03:47 poseidon int : 2/92000 (mem: 241.25 MiB) 14:03:47 overflow : 0/0 (mem: 241.25 MiB) 14:03:47 (mem: 241.25 MiB) 14:03:47 Total structured size: 242025 (mem: 241.25 MiB) 14:03:47 allocating polynomials object in proving key... (mem: 241.25 MiB) 14:03:47 [14:03:47.654] INFO: ivc-integration:test:native bb - populating trace... (mem: 309.11 MiB) 14:03:47 [14:03:47.658] INFO: ivc-integration:test:native bb - time to construct proving key: 65 ms. (mem: 323.11 MiB) 14:03:47 [14:03:47.673] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc29268551340 (mem: 323.11 MiB) 14:03:47 [14:03:47.673] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 323.11 MiB) 14:03:47 [14:03:47.674] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 323.11 MiB) 14:03:47 [14:03:47.717] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 332.61 MiB) 14:03:47 [14:03:47.721] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 333.61 MiB) 14:03:47 [14:03:47.729] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 333.61 MiB) 14:03:47 Constructing DeciderProvingKey (mem: 333.61 MiB) 14:03:47 [14:03:47.731] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 333.61 MiB) 14:03:47 goblin ecc op : 56/1024 (mem: 333.61 MiB) 14:03:47 busread : 12/6000 (mem: 333.61 14:03:47 [14:03:47.731] INFO: ivc-integration:test:native bb - MiB) 14:03:47 lookups : 2/15000 (mem: 333.61 MiB) 14:03:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 333.61 MiB) 14:03:47 arithmetic : 4677/56000 (mem: 333.61 MiB) 14:03:47 delta range : 2073/18000 (mem: 333.61 MiB) 14:03:47 elliptic : 2/6000 (mem: 333.61 MiB) 14:03:47 auxiliary : 110/26000 (mem: 333.61 MiB) 14:03:47 poseidon ext : 1322/17000 (mem: 333.61 MiB) 14:03:47 poseidon int : 7526/92000 (mem: 333.61 MiB) 14:03:47 overflow : 0/0 (mem: 333.61 MiB) 14:03:47 (mem: 333.61 MiB) 14:03:47 Total structured size: 242025 (mem: 333.61 MiB) 14:03:47 allocating polynomials object in proving key... (mem: 333.61 MiB) 14:03:47 [14:03:47.774] INFO: ivc-integration:test:native bb - populating trace... (mem: 545.11 MiB) 14:03:47 [14:03:47.787] INFO: ivc-integration:test:native bb - time to construct proving key: 57 ms. (mem: 562.11 MiB) 14:03:47 [14:03:47.805] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc2926855a8c0 (mem: 562.11 MiB) 14:03:47 computing folding proof (mem: 562.11 MiB) 14:03:47 [14:03:47.805] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 562.11 MiB) 14:03:47 [14:03:47.933] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 562.61 MiB) 14:03:47 [14:03:47.978] INFO: ivc-integration:test:native bb - perturbator round (mem: 599.61 MiB) 14:03:48 [14:03:48.008] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 632.61 MiB) 14:03:48 [14:03:48.086] INFO: ivc-integration:test:native bb - folded (mem: 632.61 MiB) 14:03:48 constructed folding proof (mem: 632.61 MiB) 14:03:48 [14:03:48.087] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 632.61 MiB) 14:03:48 Constructing DeciderProvingKey (mem: 632.61 MiB) 14:03:48 [14:03:48.089] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 632.61 MiB) 14:03:48 goblin ecc op : 4/1024 (mem: 14:03:48 [14:03:48.090] INFO: ivc-integration:test:native bb - 632.61 MiB) 14:03:48 busread : 7/6000 (mem: 632.61 MiB) 14:03:48 lookups : 2/15000 (mem: 632.61 MiB) 14:03:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 632.61 MiB) 14:03:48 arithmetic : 1760/56000 (mem: 632.61 MiB) 14:03:48 delta range : 1754/18000 (mem: 632.61 MiB) 14:03:48 elliptic : 2/6000 (mem: 632.61 MiB) 14:03:48 auxiliary : 26/26000 (mem: 632.61 MiB) 14:03:48 poseidon ext : 2/17000 (mem: 632.61 MiB) 14:03:48 poseidon int : 2/92000 (mem: 632.61 MiB) 14:03:48 overflow : 0/0 (mem: 632.61 MiB) 14:03:48 (mem: 632.61 MiB) 14:03:48 Total structured size: 242025 (mem: 632.61 MiB) 14:03:48 allocating polynomials object in proving key... (mem: 632.61 MiB) 14:03:48 [14:03:48.106] INFO: ivc-integration:test:native bb - populating trace... (mem: 632.61 MiB) 14:03:48 [14:03:48.109] INFO: ivc-integration:test:native bb - time to construct proving key: 20 ms. (mem: 632.61 MiB) 14:03:48 [14:03:48.133] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc2926854ce80 (mem: 14:03:48 [14:03:48.134] INFO: ivc-integration:test:native bb - 632.61 MiB) 14:03:48 computing folding proof (mem: 632.61 MiB) 14:03:48 [14:03:48.134] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 632.61 MiB) 14:03:48 [14:03:48.195] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 632.61 MiB) 14:03:48 [14:03:48.244] INFO: ivc-integration:test:native bb - perturbator round (mem: 632.61 MiB) 14:03:48 [14:03:48.273] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 633.85 MiB) 14:03:48 [14:03:48.354] INFO: ivc-integration:test:native bb - folded (mem: 633.85 MiB) 14:03:48 constructed folding proof (mem: 633.85 MiB) 14:03:48 [14:03:48.359] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 633.85 MiB) 14:03:48 [14:03:48.401] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 633.85 MiB) 14:03:48 [14:03:48.440] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 633.85 MiB) 14:03:48 Constructing DeciderProvingKey (mem: 633.85 MiB) 14:03:48 [14:03:48.443] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 633.85 MiB) 14:03:48 goblin ecc op : 792/1024 (mem: 633.85 MiB) 14:03:48 busread : 12/6000 (mem: 633.85 MiB) 14:03:48 [14:03:48.444] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 633.85 MiB) 14:03:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 633.85 MiB) 14:03:48 arithmetic : 12208/56000 (mem: 633.85 MiB) 14:03:48 delta range : 2981/18000 (mem: 633.85 MiB) 14:03:48 elliptic : 2/6000 (mem: 633.85 MiB) 14:03:48 auxiliary : 350/26000 (mem: 633.85 MiB) 14:03:48 poseidon ext : 4982/17000 (mem: 633.85 MiB) 14:03:48 poseidon int : 28388/92000 (mem: 633.85 MiB) 14:03:48 overflow : 0/0 (mem: 633.85 MiB) 14:03:48 (mem: 633.85 MiB) 14:03:48 Total structured size: 242025 (mem: 633.85 MiB) 14:03:48 allocating polynomials object in proving key... (mem: 633.85 MiB) 14:03:48 [14:03:48.456] INFO: ivc-integration:test:native bb - populating trace... (mem: 633.85 MiB) 14:03:48 [14:03:48.475] INFO: ivc-integration:test:native bb - time to construct proving key: 34 ms. (mem: 633.85 MiB) 14:03:48 [14:03:48.513] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc29268551bc0 (mem: 633.85 MiB) 14:03:48 computing folding proof (mem: 633.85 MiB) 14:03:48 [14:03:48.513] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 633.85 MiB) 14:03:48 [14:03:48.719] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 633.85 MiB) 14:03:48 [14:03:48.760] INFO: ivc-integration:test:native bb - perturbator round (mem: 638.49 MiB) 14:03:48 [14:03:48.793] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 670.49 MiB) 14:03:48 [14:03:48.833] INFO: ivc-integration:test:native bb - folded (mem: 670.49 MiB) 14:03:48 constructed folding proof (mem: 670.49 MiB) 14:03:48 [14:03:48.837] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 670.49 MiB) 14:03:48 [14:03:48.877] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 670.49 MiB) 14:03:48 Constructing DeciderProvingKey (mem: 670.49 MiB) 14:03:48 [14:03:48.879] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 670.49 MiB) 14:03:48 goblin ecc op : 392/1024 (mem: 670.49 MiB) 14:03:48 [14:03:48.879] INFO: ivc-integration:test:native bb - 14:03:48 busread : 16/6000 (mem: 670.49 MiB) 14:03:48 lookups : 2/15000 (mem: 670.49 MiB) 14:03:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 670.49 MiB) 14:03:48 arithmetic : 6978/56000 (mem: 670.49 MiB) 14:03:48 delta range : 2367/18000 (mem: 670.49 MiB) 14:03:48 elliptic : 2/6000 (mem: 670.49 MiB) 14:03:48 auxiliary : 77/26000 (mem: 670.49 MiB) 14:03:48 poseidon ext : 2492/17000 (mem: 670.49 MiB) 14:03:48 poseidon int : 14195/92000 (mem: 670.49 MiB) 14:03:48 overflow : 0/0 (mem: 670.49 MiB) 14:03:48 (mem: 670.49 MiB) 14:03:48 Total structured size: 242025 (mem: 670.49 MiB) 14:03:48 allocating polynomials object in proving key... (mem: 670.49 MiB) 14:03:48 [14:03:48.885] INFO: ivc-integration:test:native bb - populating trace... (mem: 670.49 MiB) 14:03:48 [14:03:48.894] INFO: ivc-integration:test:native bb - time to construct proving key: 17 ms. (mem: 670.49 MiB) 14:03:48 [14:03:48.921] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc292685c6d80 (mem: 670.49 MiB) 14:03:48 computing folding proof (mem: 670.49 MiB) 14:03:48 [14:03:48.921] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 670.49 MiB) 14:03:49 [14:03:49.034] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 670.49 MiB) 14:03:49 [14:03:49.076] INFO: ivc-integration:test:native bb - perturbator round (mem: 670.49 MiB) 14:03:49 [14:03:49.105] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 670.75 MiB) 14:03:49 [14:03:49.151] INFO: ivc-integration:test:native bb - folded (mem: 670.75 MiB) 14:03:49 constructed folding proof (mem: 670.75 MiB) 14:03:49 [14:03:49.155] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 670.75 MiB) 14:03:49 [14:03:49.194] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 670.75 MiB) 14:03:49 Constructing DeciderProvingKey (mem: 670.75 MiB) 14:03:49 [14:03:49.197] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 670.75 MiB) 14:03:49 goblin ecc op : 392/1024 (mem: 670.75 MiB) 14:03:49 [14:03:49.197] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 670.75 MiB) 14:03:49 lookups : 2/15000 (mem: 670.75 MiB) 14:03:49 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 670.75 MiB) 14:03:49 arithmetic : 6913/56000 (mem: 670.75 MiB) 14:03:49 delta range : 2353/18000 (mem: 670.75 MiB) 14:03:49 elliptic : 2/6000 (mem: 670.75 MiB) 14:03:49 auxiliary : 50/26000 (mem: 670.75 MiB) 14:03:49 poseidon ext : 2492/17000 (mem: 670.75 MiB) 14:03:49 poseidon int : 14195/92000 (mem: 670.75 MiB) 14:03:49 overflow : 0/0 (mem: 670.75 MiB) 14:03:49 (mem: 670.75 MiB) 14:03:49 Total structured size: 242025 (mem: 670.75 MiB) 14:03:49 allocating polynomials object in proving key... (mem: 670.75 MiB) 14:03:49 [14:03:49.203] INFO: ivc-integration:test:native bb - populating trace... (mem: 670.75 MiB) 14:03:49 [14:03:49.212] INFO: ivc-integration:test:native bb - time to construct proving key: 17 ms. (mem: 670.75 MiB) 14:03:49 [14:03:49.241] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc292685bf400 (mem: 670.75 MiB) 14:03:49 computing folding proof (mem: 670.75 MiB) 14:03:49 [14:03:49.242] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 670.75 MiB) 14:03:49 [14:03:49.363] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 670.75 MiB) 14:03:49 [14:03:49.405] INFO: ivc-integration:test:native bb - perturbator round (mem: 670.75 MiB) 14:03:49 [14:03:49.426] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 670.75 MiB) 14:03:49 [14:03:49.473] INFO: ivc-integration:test:native bb - folded (mem: 670.75 MiB) 14:03:49 constructed folding proof (mem: 670.75 MiB) 14:03:49 [14:03:49.473] INFO: ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 670.75 MiB) 14:03:49 Minimum required block sizes for structured trace: (mem: 670.75 MiB) 14:03:49 (mem: 670.75 MiB) 14:03:49 prove decider... (mem: 670.75 MiB) 14:03:49 [14:03:49.473] INFO: ivc-integration:test:native bb - ecc_op : 792 14:03:49 busread : 16 14:03:49 lookup : 2 14:03:49 pub_inputs : 36 14:03:49 arithmetic : 12208 14:03:49 delta_range : 2981 14:03:49 elliptic : 2 14:03:49 aux : 350 14:03:49 poseidon2_external : 4982 14:03:49 poseidon2_internal : 28388 14:03:49 overflow : 0 14:03:49 [14:03:49.500] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 670.75 MiB) 14:03:49 [14:03:49.542] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 670.75 MiB) 14:03:49 [14:03:49.831] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 670.75 MiB) 14:03:49 [14:03:49.908] INFO: ivc-integration:test:native bb - computed opening proof (mem: 670.75 MiB) 14:03:49 finished decider proving. (mem: 670.75 MiB) 14:03:49 [14:03:49.917] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 670.75 MiB) 14:03:49 [14:03:49.978] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 670.75 MiB) 14:03:49 [14:03:49.981] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 670.75 MiB) 14:03:49 [14:03:49.989] INFO: ivc-integration:test:native bb - populating trace... (mem: 670.75 MiB) 14:03:50 [14:03:50.007] INFO: ivc-integration:test:native bb - time to construct proving key: 29 ms. (mem: 670.75 MiB) 14:03:50 [14:03:50.305] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 670.75 MiB) 14:03:50 [14:03:50.493] INFO: ivc-integration:test:native bb - created oink proof (mem: 670.75 MiB) 14:03:50 [14:03:50.527] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 670.75 MiB) 14:03:50 [14:03:50.603] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 670.75 MiB) 14:03:50 [14:03:50.781] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 670.75 MiB) 14:03:50 [14:03:50.809] INFO: ivc-integration:test:native bb - computed opening proof (mem: 670.75 MiB) 14:03:50 finished decider proving. (mem: 670.75 MiB) 14:03:50 [14:03:50.809] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 670.75 MiB) 14:03:50 [14:03:50.843] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 670.75 MiB) 14:03:50 [14:03:50.948] 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: 670.75 MiB) 14:03:50 [14:03:50.955] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 670.75 MiB) 14:03:51 [14:03:51.463] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 670.75 MiB) 14:03:51 [14:03:51.979] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 670.75 MiB) 14:03:53 [14:03:53.024] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 670.75 MiB) 14:03:53 prove translator... (mem: 670.75 MiB) 14:03:53 [14:03:53.429] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 679.25 MiB) 14:03:53 [14:03:53.932] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 679.25 MiB) 14:03:54 [14:03:54.571] INFO: ivc-integration:test:native bb - computed opening proof (mem: 679.25 MiB) 14:03:54 [14:03:54.572] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 679.25 MiB) 14:03:54 [14:03:54.572] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 679.25 MiB) 14:03:54 [14:03:54.587] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 679.25 MiB) 14:03:54 libra_evals_verified: 1 (mem: 679.25 MiB) 14:03:54 pairing_check_verified: 1 (mem: 679.25 MiB) 14:03:54 Mega verified: 1 (mem: 679.25 MiB) 14:03:54 [14:03:54.637] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 679.75 MiB) 14:03:54 batch opening verified?: 1 (mem: 679.75 MiB) 14:03:54 eccvm consistency check verified?: 1 (mem: 679.75 MiB) 14:03:54 translation masking consistency checked?: 1 (mem: 679.75 MiB) 14:03:54 [14:03:54.656] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 680.25 MiB) 14:03:54 eccvm verified?: 1 (mem: 680.25 MiB) 14:03:54 accumulator construction_verified?: 1 (mem: 680.25 MiB) 14:03:54 translation verified?: 1 (mem: 680.25 MiB) 14:03:54 consistency verified?: 1 (mem: 680.25 MiB) 14:03:54 [14:03:54.656] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 680.25 MiB) 14:03:54 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-IHGdAk" (mem: 680.25 MiB) 14:03:54 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-IHGdAk" (mem: 680.25 MiB) 14:03:54 BN254 commitment key size: 262144 (mem: 680.25 MiB) 14:03:54 [14:03:54.657] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 680.25 MiB) 14:03:54 [14:03:54.659] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 680.25 MiB) 14:03:54 goblin ecc op : 4/1024 (mem: 14:03:54 [14:03:54.659] INFO: ivc-integration:test:native bb - 680.25 MiB) 14:03:54 busread : 3/6000 (mem: 680.25 MiB) 14:03:54 lookups : 2/15000 (mem: 680.25 MiB) 14:03:54 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 680.25 MiB) 14:03:54 arithmetic : 1773/56000 (mem: 680.25 MiB) 14:03:54 delta range : 1754/18000 (mem: 680.25 MiB) 14:03:54 elliptic : 2/6000 (mem: 680.25 MiB) 14:03:54 auxiliary : 26/26000 (mem: 680.25 MiB) 14:03:54 poseidon ext : 2/17000 (mem: 680.25 MiB) 14:03:54 poseidon int : 2/92000 (mem: 680.25 MiB) 14:03:54 overflow : 0/0 (mem: 680.25 MiB) 14:03:54 (mem: 680.25 MiB) 14:03:54 Total structured size: 242025 (mem: 680.25 MiB) 14:03:54 allocating polynomials object in proving key... (mem: 680.25 MiB) 14:03:54 [14:03:54.666] INFO: ivc-integration:test:native bb - populating trace... (mem: 680.25 MiB) 14:03:54 [14:03:54.671] INFO: ivc-integration:test:native bb - time to construct proving key: 13 ms. (mem: 680.25 MiB) 14:03:54 [14:03:54.681] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 680.25 MiB) 14:03:54 [14:03:54.734] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 680.25 MiB) 14:03:54 [14:03:54.735] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 680.25 MiB) 14:03:54 [14:03:54.788] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 680.25 MiB) 14:03:54 [14:03:54.791] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 680.25 MiB) 14:03:54 [14:03:54.799] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 680.25 MiB) 14:03:54 [14:03:54.801] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 680.25 MiB) 14:03:54 goblin ecc op : 56/1024 (mem: 680.25 MiB) 14:03:54 busread : 3/6000 (mem: 14:03:54 [14:03:54.801] INFO: ivc-integration:test:native bb - 680.25 MiB) 14:03:54 lookups : 2/15000 (mem: 680.25 MiB) 14:03:54 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 680.25 MiB) 14:03:54 arithmetic : 4533/56000 (mem: 680.25 MiB) 14:03:54 delta range : 2060/18000 (mem: 680.25 MiB) 14:03:54 elliptic : 2/6000 (mem: 680.25 MiB) 14:03:54 auxiliary : 50/26000 (mem: 680.25 MiB) 14:03:54 poseidon ext : 1332/17000 (mem: 680.25 MiB) 14:03:54 poseidon int : 7583/92000 (mem: 680.25 MiB) 14:03:54 overflow : 0/0 (mem: 680.25 MiB) 14:03:54 (mem: 680.25 MiB) 14:03:54 Total structured size: 242025 (mem: 680.25 MiB) 14:03:54 allocating polynomials object in proving key... (mem: 680.25 MiB) 14:03:54 [14:03:54.807] INFO: ivc-integration:test:native bb - populating trace... (mem: 680.25 MiB) 14:03:54 [14:03:54.813] INFO: ivc-integration:test:native bb - time to construct proving key: 13 ms. (mem: 680.25 MiB) 14:03:54 [14:03:54.829] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 680.25 MiB) 14:03:54 [14:03:54.900] INFO: ivc-integration:test:native bb - computing folding proof (mem: 680.25 MiB) 14:03:54 [14:03:54.900] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 680.25 MiB) 14:03:54 [14:03:54.979] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 680.25 MiB) 14:03:55 [14:03:55.020] INFO: ivc-integration:test:native bb - perturbator round (mem: 680.25 MiB) 14:03:55 [14:03:55.046] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 712.25 MiB) 14:03:55 [14:03:55.103] INFO: ivc-integration:test:native bb - folded (mem: 712.25 MiB) 14:03:55 constructed folding proof (mem: 712.25 MiB) 14:03:55 [14:03:55.103] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 712.25 MiB) 14:03:55 Minimum required block sizes for structured trace: (mem: 712.25 MiB) 14:03:55 (mem: 712.25 MiB) 14:03:55 prove decider... (mem: 712.25 MiB) 14:03:55 [14:03:55.104] INFO: ivc-integration:test:native bb - ecc_op : 56 14:03:55 busread : 3 14:03:55 lookup : 2 14:03:55 pub_inputs : 36 14:03:55 arithmetic : 4533 14:03:55 delta_range : 2060 14:03:55 elliptic : 2 14:03:55 aux : 50 14:03:55 poseidon2_external : 1332 14:03:55 poseidon2_internal : 7583 14:03:55 overflow : 0 14:03:55 [14:03:55.121] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 712.25 MiB) 14:03:55 [14:03:55.157] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 712.25 MiB) 14:03:55 [14:03:55.396] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 712.25 MiB) 14:03:55 [14:03:55.446] INFO: ivc-integration:test:native bb - computed opening proof (mem: 712.25 MiB) 14:03:55 finished decider proving. (mem: 712.25 MiB) 14:03:55 [14:03:55.453] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 712.25 MiB) 14:03:55 [14:03:55.513] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 712.25 MiB) 14:03:55 [14:03:55.516] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 712.25 MiB) 14:03:55 [14:03:55.522] INFO: ivc-integration:test:native bb - populating trace... (mem: 712.25 MiB) 14:03:55 [14:03:55.536] INFO: ivc-integration:test:native bb - time to construct proving key: 22 ms. (mem: 712.25 MiB) 14:03:55 [14:03:55.680] INFO: ivc-integration:test:native BB concurrency: 1 14:03:55 [14:03:55.680] 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-IHGdAk/proof -k /tmp/bb-client-ivc-integration-IHGdAk/vk -v 14:03:55 [14:03:55.694] INFO: ivc-integration:test:native bb command: verify (mem: 242.92 MiB) 14:03:55 [14:03:55.694] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 1 (mem: 242.92 MiB) 14:03:55 --proof_path: /tmp/bb-client-ivc-integration-IHGdAk/proof (mem: 242.92 MiB) 14:03:55 --vk_path: /tmp/bb-client-ivc-integration-IHGdAk/vk (mem: 242.92 MiB) 14:03:55 --verbose: true (mem: 242.92 MiB) 14:03:55 --scheme: client_ivc (mem: 242.92 MiB) 14:03:55 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 242.92 MiB) 14:03:55 [14:03:55.705] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 242.92 MiB) 14:03:55 [14:03:55.706] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 242.92 MiB) 14:03:55 [14:03:55.723] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 242.92 MiB) 14:03:55 [14:03:55.723] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 242.92 MiB) 14:03:55 [14:03:55.724] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 242.92 MiB) 14:03:55 libra_evals_verified: 1 (mem: 242.92 MiB) 14:03:55 pairing_check_verified: 1 (mem: 242.92 MiB) 14:03:55 [14:03:55.724] INFO: ivc-integration:test:native Mega verified: 1 (mem: 242.92 MiB) 14:03:56 [14:03:56.116] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 242.92 MiB) 14:03:56 batch opening verified?: 1 (mem: 242.92 MiB) 14:03:56 eccvm consistency check verified?: 1 (mem: 242.92 MiB) 14:03:56 translation masking consistency checked?: 1 (mem: 242.92 MiB) 14:03:56 [14:03:56.134] INFO: ivc-integration:test:native merge verified?: 1 (mem: 242.92 MiB) 14:03:56 eccvm verified?: 1 (mem: 242.92 MiB) 14:03:56 accumulator construction_verified?: 1 (mem: 242.92 MiB) 14:03:56 translation verified?: 1 (mem: 242.92 MiB) 14:03:56 consistency verified?: 1 (mem: 242.92 MiB) 14:03:56 [14:03:56.135] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 242.92 MiB) 14:03:56 verified: 1 (mem: 242.92 MiB) 14:03:56 PASS src/native_client_ivc_integration.test.ts (24.727 s) 14:03:56 Client IVC Integration 14:03:56 ✓ Should generate a verifiable client IVC proof from a simple mock tx (13536 ms) 14:03:56 ✓ Should generate a verifiable client IVC proof from a complex mock tx (8655 ms) 14:03:56 14:03:56 Test Suites: 1 passed, 1 total 14:03:56 Tests: 2 passed, 2 total 14:03:56 Snapshots: 0 total 14:03:56 Time: 24.801 s 14:03:56 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 14:03:56 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?