ACI ·

Parent Log: http://ci.aztec-labs.com/f2f5cc639551c62d Command: 736bd65c2c998997: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/2b96419831503435fa46a83dc2e2b7ba19109d0f Env: REF_NAME=gh-readonly-queue/next/pr-15229-af094bce13530e078c78de9f3264280e6693d533 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 24 08:35:30 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15229_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 08:35:35 [08:35:35.348] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-GIz4mT/ivc-inputs.msgpack 08:35:35 [08:35:35.355] INFO: ivc-integration:test:native bb - BB concurrency: undefined 08:35:35 [08:35:35.356] 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-GIz4mT --ivc_inputs_path /tmp/bb-client-ivc-integration-GIz4mT/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 08:35:35 [08:35:35.376] INFO: ivc-integration:test:native bb - bb command: prove (mem: 08:35:35 [08:35:35.377] INFO: ivc-integration:test:native bb - 188.34 MiB) 08:35:35 Scheme is: client_ivc, num threads: 128 (mem: 188.34 MiB) 08:35:35 --scheme: client_ivc (mem: 188.34 MiB) 08:35:35 --output_path: /tmp/bb-client-ivc-integration-GIz4mT (mem: 188.34 MiB) 08:35:35 --ivc_inputs_path: /tmp/bb-client-ivc-integration-GIz4mT/ivc-inputs.msgpack (mem: 188.34 MiB) 08:35:35 --verbose: true (mem: 188.34 MiB) 08:35:35 --write_vk: true (mem: 188.34 MiB) 08:35:35 [08:35:35.378] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 188.34 MiB) 08:35:35 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.34 MiB) 08:35:35 [08:35:35.447] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 188.34 MiB) 08:35:35 [08:35:35.452] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 188.34 MiB) 08:35:35 Constructing DeciderProvingKey (mem: 188.34 MiB) 08:35:35 [08:35:35.456] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 188.34 MiB) 08:35:35 goblin ecc op : 4/1024 (mem: 188.34 MiB) 08:35:35 busread : 7/6000 (mem: 188.34 MiB) 08:35:35 lookups : 2/15000 (mem: 188.34 MiB) 08:35:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 188.34 MiB) 08:35:35 arithmetic : 1760/56000 (mem: 188.34 MiB) 08:35:35 delta range : 1754/18000 (mem: 188.34 MiB) 08:35:35 elliptic : 2/6000 (mem: 188.34 MiB) 08:35:35 auxiliary : 26/26000 (mem: 188.34 MiB) 08:35:35 poseidon ext : 2/17000 (mem: 188.34 MiB) 08:35:35 poseidon int : 2/92000 (mem: 188.34 MiB) 08:35:35 overflow : 0/0 (mem: 188.34 MiB) 08:35:35 [08:35:35.458] INFO: ivc-integration:test:native bb - (mem: 188.34 MiB) 08:35:35 Total structured size: 242025 (mem: 188.34 MiB) 08:35:35 allocating polynomials object in proving key... (mem: 188.34 MiB) 08:35:35 [08:35:35.616] INFO: ivc-integration:test:native bb - populating trace... (mem: 336.70 MiB) 08:35:35 [08:35:35.628] INFO: ivc-integration:test:native bb - time to construct proving key: 176 ms. (mem: 352.70 MiB) 08:35:35 [08:35:35.800] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cb863d98200 (mem: 352.70 MiB) 08:35:35 computing oink proof... (mem: 352.70 MiB) 08:35:35 [08:35:35.801] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 352.70 MiB) 08:35:36 [08:35:36.021] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 362.70 MiB) 08:35:36 [08:35:36.034] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 362.70 MiB) 08:35:36 [08:35:36.048] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 362.70 MiB) 08:35:36 Constructing DeciderProvingKey (mem: 362.70 MiB) 08:35:36 [08:35:36.051] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 362.70 MiB) 08:35:36 goblin ecc op : 56/1024 (mem: 362.70 MiB) 08:35:36 [08:35:36.051] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 362.70 MiB) 08:35:36 lookups : 2/15000 (mem: 362.70 MiB) 08:35:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 362.70 MiB) 08:35:36 arithmetic : 4677/56000 (mem: 362.70 MiB) 08:35:36 delta range : 2073/18000 (mem: 362.70 MiB) 08:35:36 elliptic : 2/6000 (mem: 362.70 MiB) 08:35:36 auxiliary : 110/26000 (mem: 362.70 MiB) 08:35:36 poseidon ext : 1322/17000 (mem: 362.70 MiB) 08:35:36 poseidon int : 7526/92000 (mem: 362.70 MiB) 08:35:36 overflow : 0/0 (mem: 362.70 MiB) 08:35:36 (mem: 362.70 MiB) 08:35:36 Total structured size: 242025 (mem: 362.70 MiB) 08:35:36 allocating polynomials object in proving key... (mem: 362.70 MiB) 08:35:36 [08:35:36.220] INFO: ivc-integration:test:native bb - populating trace... (mem: 564.70 MiB) 08:35:36 [08:35:36.242] INFO: ivc-integration:test:native bb - time to construct proving key: 193 ms. (mem: 584.70 MiB) 08:35:36 [08:35:36.395] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cb863da4e40 (mem: 584.70 MiB) 08:35:36 [08:35:36.396] INFO: ivc-integration:test:native bb - computing folding proof (mem: 584.70 MiB) 08:35:36 [08:35:36.396] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 584.70 MiB) 08:35:36 [08:35:36.691] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 586.70 MiB) 08:35:36 [08:35:36.782] INFO: ivc-integration:test:native bb - perturbator round (mem: 624.70 MiB) 08:35:36 [08:35:36.833] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 656.70 MiB) 08:35:37 [08:35:37.135] INFO: ivc-integration:test:native bb - folded (mem: 656.70 MiB) 08:35:37 [08:35:37.137] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 656.70 MiB) 08:35:37 [08:35:37.158] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 656.70 MiB) 08:35:37 [08:35:37.231] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 656.70 MiB) 08:35:37 Constructing DeciderProvingKey (mem: 656.70 MiB) 08:35:37 [08:35:37.235] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 656.70 MiB) 08:35:37 goblin ecc op : 392/1024 (mem: 656.70 MiB) 08:35:37 [08:35:37.236] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 656.70 MiB) 08:35:37 lookups : 2/15000 (mem: 656.70 MiB) 08:35:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 656.70 MiB) 08:35:37 arithmetic : 6913/56000 (mem: 656.70 MiB) 08:35:37 delta range : 2353/18000 (mem: 656.70 MiB) 08:35:37 elliptic : 2/6000 (mem: 656.70 MiB) 08:35:37 auxiliary : 50/26000 (mem: 656.70 MiB) 08:35:37 poseidon ext : 2492/17000 (mem: 656.70 MiB) 08:35:37 poseidon int : 14195/92000 (mem: 656.70 MiB) 08:35:37 overflow : 0/0 (mem: 656.70 MiB) 08:35:37 (mem: 656.70 MiB) 08:35:37 Total structured size: 242025 (mem: 656.70 MiB) 08:35:37 allocating polynomials object in proving key... (mem: 656.70 MiB) 08:35:37 [08:35:37.452] INFO: ivc-integration:test:native bb - populating trace... (mem: 656.70 MiB) 08:35:37 [08:35:37.496] INFO: ivc-integration:test:native bb - time to construct proving key: 265 ms. (mem: 656.70 MiB) 08:35:37 [08:35:37.747] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cb863d9a5c0 (mem: 656.70 MiB) 08:35:37 computing folding proof (mem: 656.70 MiB) 08:35:37 [08:35:37.748] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 656.70 MiB) 08:35:38 [08:35:38.274] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 656.70 MiB) 08:35:38 [08:35:38.372] INFO: ivc-integration:test:native bb - perturbator round (mem: 656.70 MiB) 08:35:38 [08:35:38.420] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 669.00 MiB) 08:35:38 [08:35:38.695] INFO: ivc-integration:test:native bb - folded (mem: 669.00 MiB) 08:35:38 constructed folding proof (mem: 669.00 MiB) 08:35:38 [08:35:38.696] INFO: ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 669.00 MiB) 08:35:38 Minimum required block sizes for structured trace: (mem: 669.00 MiB) 08:35:38 (mem: 669.00 MiB) 08:35:38 prove decider... (mem: 669.00 MiB) 08:35:38 [08:35:38.697] INFO: ivc-integration:test:native bb - ecc_op : 392 08:35:38 busread : 12 08:35:38 lookup : 2 08:35:38 pub_inputs : 36 08:35:38 arithmetic : 6913 08:35:38 delta_range : 2353 08:35:38 elliptic : 2 08:35:38 aux : 110 08:35:38 poseidon2_external : 2492 08:35:38 poseidon2_internal : 14195 08:35:38 overflow : 0 08:35:38 [08:35:38.921] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 669.00 MiB) 08:35:39 [08:35:39.082] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 669.00 MiB) 08:35:40 [08:35:40.362] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 669.00 MiB) 08:35:40 [08:35:40.464] INFO: ivc-integration:test:native bb - computed opening proof (mem: 669.00 MiB) 08:35:40 finished decider proving. (mem: 669.00 MiB) 08:35:40 [08:35:40.482] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 669.00 MiB) 08:35:40 [08:35:40.575] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 669.00 MiB) 08:35:40 [08:35:40.581] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 669.00 MiB) 08:35:40 [08:35:40.855] INFO: ivc-integration:test:native bb - populating trace... (mem: 669.00 MiB) 08:35:40 [08:35:40.905] INFO: ivc-integration:test:native bb - time to construct proving key: 329 ms. (mem: 669.00 MiB) 08:35:42 [08:35:42.237] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 669.00 MiB) 08:35:43 [08:35:43.011] INFO: ivc-integration:test:native bb - created oink proof (mem: 669.00 MiB) 08:35:43 [08:35:43.417] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 669.00 MiB) 08:35:44 [08:35:44.850] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 08:35:44 [08:35:44.852] INFO: ivc-integration:test:native bb - (mem: 669.00 MiB) 08:35:46 [08:35:46.537] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 08:35:46 [08:35:46.538] INFO: ivc-integration:test:native bb - 669.00 MiB) 08:35:46 [08:35:46.635] INFO: ivc-integration:test:native bb - computed opening proof (mem: 669.00 MiB) 08:35:46 finished decider proving. (mem: 669.00 MiB) 08:35:46 [08:35:46.636] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 669.00 MiB) 08:35:47 [08:35:47.127] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 669.00 MiB) 08:35:47 [08:35:47.787] 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: 669.00 MiB) 08:35:47 [08:35:47.798] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 669.00 MiB) 08:35:50 [08:35:50.328] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 669.00 MiB) 08:35:53 [08:35:53.219] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 669.00 MiB) 08:35:57 [08:35:57.849] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 669.00 MiB) 08:35:57 prove translator... (mem: 669.00 MiB) 08:36:00 [08:36:00.144] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 706.48 MiB) 08:36:04 [08:36:04.005] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 706.48 MiB) 08:36:07 [08:36:07.785] INFO: ivc-integration:test:native bb - computed opening proof (mem: 706.48 MiB) 08:36:07 [08:36:07.786] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 706.48 MiB) 08:36:07 [08:36:07.786] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 706.48 MiB) 08:36:07 [08:36:07.803] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 706.48 MiB) 08:36:07 libra_evals_verified: 1 (mem: 706.48 MiB) 08:36:07 pairing_check_verified: 1 (mem: 706.48 MiB) 08:36:07 Mega verified: 1 (mem: 706.48 MiB) 08:36:08 [08:36:08.005] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 706.48 MiB) 08:36:08 batch opening verified?: 1 (mem: 706.48 MiB) 08:36:08 eccvm consistency check verified?: 1 (mem: 706.48 MiB) 08:36:08 translation masking consistency checked?: 1 (mem: 706.48 MiB) 08:36:08 [08:36:08.032] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 706.48 MiB) 08:36:08 eccvm verified?: 1 (mem: 706.48 MiB) 08:36:08 accumulator construction_verified?: 1 (mem: 706.48 MiB) 08:36:08 translation verified?: 1 (mem: 706.48 MiB) 08:36:08 consistency verified?: 1 (mem: 706.48 MiB) 08:36:08 [08:36:08.034] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 706.48 MiB) 08:36:08 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-GIz4mT" (mem: 706.48 MiB) 08:36:08 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-GIz4mT" (mem: 706.48 MiB) 08:36:08 BN254 commitment key size: 262144 (mem: 706.48 MiB) 08:36:08 [08:36:08.041] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 706.48 MiB) 08:36:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 706.48 MiB) 08:36:08 goblin ecc op : 4/1024 (mem: 706.48 MiB) 08:36:08 busread : 3/6000 (mem: 706.48 MiB) 08:36:08 lookups : 2/15000 (mem: 706.48 MiB) 08:36:08 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 706.48 MiB) 08:36:08 arithmetic : 1773/56000 (mem: 706.48 MiB) 08:36:08 delta range : 1754/18000 (mem: 706.48 MiB) 08:36:08 elliptic : 2/6000 (mem: 706.48 MiB) 08:36:08 auxiliary : 26/26000 (mem: 706.48 MiB) 08:36:08 poseidon ext : 2/17000 (mem: 706.48 MiB) 08:36:08 poseidon int : 2/92000 (mem: 706.48 MiB) 08:36:08 overflow : 0/0 (mem: 706.48 MiB) 08:36:08 (mem: 706.48 MiB) 08:36:08 Total structured size: 242025 (mem: 706.48 MiB) 08:36:08 allocating polynomials object in proving key... (mem: 706.48 MiB) 08:36:08 [08:36:08.346] INFO: ivc-integration:test:native bb - populating trace... (mem: 706.48 MiB) 08:36:08 [08:36:08.450] INFO: ivc-integration:test:native bb - time to construct proving key: 414 ms. (mem: 706.48 MiB) 08:36:08 [08:36:08.795] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 706.48 MiB) 08:36:09 [08:36:09.150] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 706.48 MiB) 08:36:09 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 706.48 MiB) 08:36:09 [08:36:09.560] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 706.48 MiB) 08:36:09 [08:36:09.566] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 706.48 MiB) 08:36:09 [08:36:09.581] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 706.48 MiB) 08:36:09 [08:36:09.585] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 706.48 MiB) 08:36:09 goblin ecc op : 56/1024 (mem: 706.48 MiB) 08:36:09 busread : 3/6000 08:36:09 [08:36:09.586] INFO: ivc-integration:test:native bb - (mem: 706.48 MiB) 08:36:09 lookups : 2/15000 (mem: 706.48 MiB) 08:36:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 706.48 MiB) 08:36:09 arithmetic : 4533/56000 (mem: 706.48 MiB) 08:36:09 delta range : 2060/18000 (mem: 706.48 MiB) 08:36:09 elliptic : 2/6000 (mem: 706.48 MiB) 08:36:09 auxiliary : 50/26000 (mem: 706.48 MiB) 08:36:09 poseidon ext : 1332/17000 (mem: 706.48 MiB) 08:36:09 poseidon int : 7583/92000 (mem: 706.48 MiB) 08:36:09 overflow : 0/0 (mem: 706.48 MiB) 08:36:09 (mem: 706.48 MiB) 08:36:09 Total structured size: 242025 (mem: 706.48 MiB) 08:36:09 allocating polynomials object in proving key... (mem: 706.48 MiB) 08:36:09 [08:36:09.916] INFO: ivc-integration:test:native bb - populating trace... (mem: 706.48 MiB) 08:36:09 [08:36:09.955] INFO: ivc-integration:test:native bb - time to construct proving key: 374 ms. (mem: 706.48 MiB) 08:36:10 [08:36:10.284] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 706.48 MiB) 08:36:10 [08:36:10.776] INFO: ivc-integration:test:native bb - computing folding proof (mem: 706.48 MiB) 08:36:10 [08:36:10.777] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 706.48 MiB) 08:36:11 [08:36:11.266] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 706.48 MiB) 08:36:11 [08:36:11.406] INFO: ivc-integration:test:native bb - perturbator round (mem: 706.48 MiB) 08:36:11 [08:36:11.472] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 738.48 MiB) 08:36:12 [08:36:12.117] INFO: ivc-integration:test:native bb - folded (mem: 738.48 MiB) 08:36:12 [08:36:12.123] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 738.48 MiB) 08:36:12 Largest circuit: 15565 gates. Trace details: (mem: 738.48 MiB) 08:36:12 Minimum required block sizes for structured trace: (mem: 738.48 MiB) 08:36:12 (mem: 738.48 MiB) 08:36:12 prove decider... (mem: 738.48 MiB) 08:36:12 [08:36:12.124] INFO: ivc-integration:test:native bb - ecc_op : 56 08:36:12 busread : 3 08:36:12 lookup : 2 08:36:12 pub_inputs : 36 08:36:12 arithmetic : 4533 08:36:12 delta_range : 2060 08:36:12 elliptic : 2 08:36:12 aux : 50 08:36:12 poseidon2_external : 1332 08:36:12 poseidon2_internal : 7583 08:36:12 overflow : 0 08:36:12 [08:36:12.328] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 738.48 MiB) 08:36:12 [08:36:12.507] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 738.48 MiB) 08:36:14 [08:36:14.188] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 738.48 MiB) 08:36:14 [08:36:14.314] INFO: ivc-integration:test:native bb - computed opening proof (mem: 738.48 MiB) 08:36:14 finished decider proving. (mem: 738.48 MiB) 08:36:14 [08:36:14.323] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 738.48 MiB) 08:36:14 [08:36:14.440] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 738.48 MiB) 08:36:14 [08:36:14.451] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 738.48 MiB) 08:36:14 [08:36:14.677] INFO: ivc-integration:test:native bb - populating trace... (mem: 738.48 MiB) 08:36:14 [08:36:14.763] INFO: ivc-integration:test:native bb - time to construct proving key: 321 ms. (mem: 738.48 MiB) 08:36:15 [08:36:15.709] INFO: ivc-integration:test:native BB concurrency: 1 08:36:15 [08:36:15.710] 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-GIz4mT/proof -k /tmp/bb-client-ivc-integration-GIz4mT/vk -v 08:36:15 [08:36:15.748] INFO: ivc-integration:test:native bb command: verify (mem: 234.91 MiB) 08:36:15 Scheme is: client_ivc, num threads: 1 (mem: 234.91 MiB) 08:36:15 --proof_path: /tmp/bb-client-ivc-integration-GIz4mT/proof (mem: 234.91 MiB) 08:36:15 --vk_path: /tmp/bb-client-ivc-integration-GIz4mT/vk (mem: 234.91 MiB) 08:36:15 --verbose: true (mem: 234.91 MiB) 08:36:15 --scheme: client_ivc (mem: 234.91 MiB) 08:36:15 [08:36:15.749] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 234.91 MiB) 08:36:15 [08:36:15.767] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 234.91 MiB) 08:36:15 [08:36:15.768] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 234.91 MiB) 08:36:15 [08:36:15.786] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 234.91 MiB) 08:36:15 Initialized BN254 CRS from memory with num points = 1 (mem: 234.91 MiB) 08:36:15 sumcheck_verified: 1 (mem: 234.91 MiB) 08:36:15 libra_evals_verified: 1 (mem: 234.91 MiB) 08:36:15 pairing_check_verified: 1 (mem: 234.91 MiB) 08:36:15 Mega verified: 1 (mem: 234.91 MiB) 08:36:16 [08:36:16.275] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 234.91 MiB) 08:36:16 batch opening verified?: 1 (mem: 234.91 MiB) 08:36:16 eccvm consistency check verified?: 1 (mem: 234.91 MiB) 08:36:16 translation masking consistency checked?: 1 (mem: 234.91 MiB) 08:36:16 [08:36:16.299] INFO: ivc-integration:test:native merge verified?: 1 08:36:16 [08:36:16.301] INFO: ivc-integration:test:native (mem: 234.91 MiB) 08:36:16 eccvm verified?: 1 (mem: 234.91 MiB) 08:36:16 accumulator construction_verified?: 1 (mem: 234.91 MiB) 08:36:16 translation verified?: 1 (mem: 234.91 MiB) 08:36:16 consistency verified?: 1 (mem: 234.91 MiB) 08:36:16 Goblin verified: 1 (mem: 234.91 MiB) 08:36:16 verified: 1 (mem: 08:36:16 [08:36:16.302] INFO: ivc-integration:test:native 234.91 MiB) 08:36:16 [08:36:16.400] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-KR45JF/ivc-inputs.msgpack 08:36:16 [08:36:16.401] INFO: ivc-integration:test:native bb - BB concurrency: undefined 08:36:16 [08:36:16.411] 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-KR45JF --ivc_inputs_path /tmp/bb-client-ivc-integration-KR45JF/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 08:36:16 [08:36:16.449] INFO: ivc-integration:test:native bb - bb command: prove (mem: 236.80 MiB) 08:36:16 Scheme is: client_ivc, num threads: 128 (mem: 236.80 MiB) 08:36:16 --scheme: client_ivc (mem: 236.80 MiB) 08:36:16 --output_path: /tmp/bb-client-ivc-integration-KR45JF (mem: 236.80 MiB) 08:36:16 --ivc_inputs_path: /tmp/bb-client-ivc-integration-KR45JF/ivc-inputs.msgpack (mem: 236.80 MiB) 08:36:16 --verbose: true (mem: 236.80 MiB) 08:36:16 --write_vk: true (mem: 236.80 MiB) 08:36:16 [08:36:16.451] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 236.80 MiB) 08:36:16 [08:36:16.451] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 236.80 MiB) 08:36:16 [08:36:16.530] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 236.80 MiB) 08:36:16 [08:36:16.535] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 236.80 MiB) 08:36:16 Constructing DeciderProvingKey (mem: 236.80 MiB) 08:36:16 [08:36:16.541] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 236.80 MiB) 08:36:16 goblin ecc op : 4/1024 (mem: 236.80 MiB) 08:36:16 busread : 7/6000 (mem: 236.80 MiB) 08:36:16 lookups : 2/15000 (mem: 236.80 MiB) 08:36:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 236.80 MiB) 08:36:16 arithmetic : 1760/56000 (mem: 236.80 MiB) 08:36:16 delta range : 1754/18000 (mem: 236.80 MiB) 08:36:16 elliptic : 2/6000 (mem: 236.80 MiB) 08:36:16 auxiliary : 26/26000 (mem: 236.80 MiB) 08:36:16 poseidon ext : 2/17000 (mem: 236.80 MiB) 08:36:16 poseidon int : 2/92000 (mem: 236.80 MiB) 08:36:16 overflow : 0/0 (mem: 236.80 MiB) 08:36:16 (mem: 236.80 MiB) 08:36:16 Total structured size: 242025 (mem: 236.80 MiB) 08:36:16 allocating polynomials object in proving key... (mem: 236.80 MiB) 08:36:16 [08:36:16.840] INFO: ivc-integration:test:native bb - populating trace... (mem: 365.86 MiB) 08:36:16 [08:36:16.889] INFO: ivc-integration:test:native bb - time to construct proving key: 353 ms. (mem: 377.86 MiB) 08:36:17 [08:36:17.065] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60c8ec973f80 (mem: 377.86 MiB) 08:36:17 [08:36:17.066] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 377.86 MiB) 08:36:17 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 377.86 MiB) 08:36:17 [08:36:17.387] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 387.86 MiB) 08:36:17 [08:36:17.403] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 08:36:17 [08:36:17.406] INFO: ivc-integration:test:native bb - 388.86 MiB) 08:36:17 [08:36:17.419] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 388.86 MiB) 08:36:17 Constructing DeciderProvingKey (mem: 388.86 MiB) 08:36:17 [08:36:17.427] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 388.86 MiB) 08:36:17 goblin ecc op : 56/1024 (mem: 388.86 MiB) 08:36:17 busread : 12/6000 (mem: 388.86 MiB) 08:36:17 lookups : 2/15000 (mem: 388.86 MiB) 08:36:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 388.86 MiB) 08:36:17 arithmetic : 4677/56000 (mem: 388.86 MiB) 08:36:17 delta range : 2073/18000 (mem: 388.86 MiB) 08:36:17 elliptic : 2/6000 (mem: 388.86 MiB) 08:36:17 auxiliary : 110/26000 (mem: 388.86 MiB) 08:36:17 poseidon ext : 1322/17000 (mem: 388.86 MiB) 08:36:17 poseidon int : 7526/92000 (mem: 388.86 MiB) 08:36:17 overflow : 0/0 (mem: 388.86 MiB) 08:36:17 (mem: 388.86 MiB) 08:36:17 Total structured size: 242025 (mem: 388.86 MiB) 08:36:17 allocating polynomials object in proving key... (mem: 388.86 MiB) 08:36:17 [08:36:17.626] INFO: ivc-integration:test:native bb - populating trace... (mem: 584.86 MiB) 08:36:17 [08:36:17.661] INFO: ivc-integration:test:native bb - time to construct proving key: 241 ms. (mem: 599.86 MiB) 08:36:17 [08:36:17.830] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60c8ec97d240 (mem: 599.86 MiB) 08:36:17 computing folding proof (mem: 599.86 MiB) 08:36:17 [08:36:17.835] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 599.86 MiB) 08:36:18 [08:36:18.321] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 602.86 MiB) 08:36:18 [08:36:18.433] INFO: ivc-integration:test:native bb - perturbator round (mem: 639.86 MiB) 08:36:18 [08:36:18.511] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 672.86 MiB) 08:36:18 [08:36:18.731] INFO: ivc-integration:test:native bb - folded (mem: 672.86 MiB) 08:36:18 constructed folding proof (mem: 672.86 MiB) 08:36:18 [08:36:18.733] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 672.86 MiB) 08:36:18 Constructing DeciderProvingKey (mem: 672.86 MiB) 08:36:18 [08:36:18.736] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 672.86 MiB) 08:36:18 goblin ecc op : 4/1024 (mem: 672.86 MiB) 08:36:18 busread : 7/6000 (mem: 672.86 MiB) 08:36:18 lookups : 2/15000 (mem: 672.86 MiB) 08:36:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 08:36:18 [08:36:18.737] INFO: ivc-integration:test:native bb - 672.86 MiB) 08:36:18 arithmetic : 1760/56000 (mem: 672.86 MiB) 08:36:18 delta range : 1754/18000 (mem: 672.86 MiB) 08:36:18 elliptic : 2/6000 (mem: 672.86 MiB) 08:36:18 auxiliary : 26/26000 (mem: 672.86 MiB) 08:36:18 poseidon ext : 2/17000 (mem: 672.86 MiB) 08:36:18 poseidon int : 2/92000 (mem: 672.86 MiB) 08:36:18 overflow : 0/0 (mem: 672.86 MiB) 08:36:18 (mem: 672.86 MiB) 08:36:18 Total structured size: 242025 (mem: 672.86 MiB) 08:36:18 allocating polynomials object in proving key... (mem: 672.86 MiB) 08:36:18 [08:36:18.783] INFO: ivc-integration:test:native bb - populating trace... (mem: 672.86 MiB) 08:36:18 [08:36:18.794] INFO: ivc-integration:test:native bb - time to construct proving key: 61 ms. (mem: 672.86 MiB) 08:36:18 [08:36:18.899] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60c8ec96f7c0 (mem: 672.86 MiB) 08:36:18 computing folding proof (mem: 672.86 MiB) 08:36:18 [08:36:18.900] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 672.86 MiB) 08:36:19 [08:36:19.032] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 672.86 MiB) 08:36:19 [08:36:19.105] INFO: ivc-integration:test:native bb - perturbator round (mem: 672.86 MiB) 08:36:19 [08:36:19.143] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 672.86 MiB) 08:36:19 [08:36:19.413] INFO: ivc-integration:test:native bb - folded (mem: 672.86 MiB) 08:36:19 [08:36:19.414] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 672.86 MiB) 08:36:19 [08:36:19.422] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 672.86 MiB) 08:36:19 [08:36:19.491] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 672.86 MiB) 08:36:19 [08:36:19.550] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 672.86 MiB) 08:36:19 Constructing DeciderProvingKey (mem: 672.86 MiB) 08:36:19 [08:36:19.554] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 672.86 MiB) 08:36:19 goblin ecc op : 792/1024 (mem: 672.86 MiB) 08:36:19 busread : 12/6000 (mem: 672.86 MiB) 08:36:19 lookups : 2/15000 (mem: 672.86 MiB) 08:36:19 [08:36:19.555] INFO: ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 672.86 MiB) 08:36:19 arithmetic : 12208/56000 (mem: 672.86 MiB) 08:36:19 delta range : 2981/18000 (mem: 672.86 MiB) 08:36:19 elliptic : 2/6000 (mem: 672.86 MiB) 08:36:19 auxiliary : 350/26000 (mem: 672.86 MiB) 08:36:19 poseidon ext : 4982/17000 (mem: 672.86 MiB) 08:36:19 poseidon int : 28388/92000 (mem: 672.86 MiB) 08:36:19 overflow : 0/0 (mem: 672.86 MiB) 08:36:19 (mem: 672.86 MiB) 08:36:19 Total structured size: 242025 (mem: 672.86 MiB) 08:36:19 allocating polynomials object in proving key... (mem: 672.86 MiB) 08:36:19 [08:36:19.627] INFO: ivc-integration:test:native bb - populating trace... (mem: 672.86 MiB) 08:36:19 [08:36:19.664] INFO: ivc-integration:test:native bb - time to construct proving key: 110 ms. (mem: 672.86 MiB) 08:36:19 [08:36:19.816] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60c8ec9f1100 (mem: 672.86 MiB) 08:36:19 computing folding proof (mem: 672.86 MiB) 08:36:19 [08:36:19.817] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 672.86 MiB) 08:36:20 [08:36:20.377] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 672.86 MiB) 08:36:20 [08:36:20.459] INFO: ivc-integration:test:native bb - perturbator round (mem: 681.18 MiB) 08:36:20 [08:36:20.523] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 714.18 MiB) 08:36:20 [08:36:20.728] INFO: ivc-integration:test:native bb - folded (mem: 714.18 MiB) 08:36:20 constructed folding proof (mem: 714.18 MiB) 08:36:20 [08:36:20.741] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 714.18 MiB) 08:36:20 [08:36:20.791] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 714.18 MiB) 08:36:20 Constructing DeciderProvingKey (mem: 714.18 MiB) 08:36:20 [08:36:20.795] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 714.18 MiB) 08:36:20 goblin ecc op : 392/1024 (mem: 714.18 MiB) 08:36:20 busread : 16/6000 (mem: 714.18 MiB) 08:36:20 lookups : 2/15000 (mem: 714.18 MiB) 08:36:20 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 714.18 MiB) 08:36:20 arithmetic : 6978/56000 (mem: 714.18 MiB) 08:36:20 delta range : 2367/18000 (mem: 714.18 MiB) 08:36:20 elliptic : 2/6000 (mem: 714.18 MiB) 08:36:20 auxiliary : 77/26000 (mem: 714.18 MiB) 08:36:20 poseidon ext : 2492/17000 (mem: 714.18 MiB) 08:36:20 poseidon int : 14195/92000 (mem: 714.18 MiB) 08:36:20 overflow : 0/0 (mem: 714.18 MiB) 08:36:20 [08:36:20.795] INFO: ivc-integration:test:native bb - (mem: 714.18 MiB) 08:36:20 Total structured size: 242025 (mem: 714.18 MiB) 08:36:20 allocating polynomials object in proving key... (mem: 714.18 MiB) 08:36:20 [08:36:20.837] INFO: ivc-integration:test:native bb - populating trace... (mem: 714.18 MiB) 08:36:20 [08:36:20.856] INFO: ivc-integration:test:native bb - time to construct proving key: 64 ms. (mem: 714.18 MiB) 08:36:20 [08:36:20.942] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60c8ec963bc0 (mem: 714.18 MiB) 08:36:20 computing folding proof (mem: 714.18 MiB) 08:36:20 [08:36:20.944] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 714.18 MiB) 08:36:21 [08:36:21.217] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 714.18 MiB) 08:36:21 [08:36:21.294] INFO: ivc-integration:test:native bb - perturbator round (mem: 714.18 MiB) 08:36:21 [08:36:21.341] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 714.18 MiB) 08:36:21 [08:36:21.473] INFO: ivc-integration:test:native bb - folded (mem: 08:36:21 [08:36:21.474] INFO: ivc-integration:test:native bb - 714.18 MiB) 08:36:21 constructed folding proof (mem: 714.18 MiB) 08:36:21 [08:36:21.484] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 714.18 MiB) 08:36:21 [08:36:21.534] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 714.18 MiB) 08:36:21 Constructing DeciderProvingKey (mem: 714.18 MiB) 08:36:21 [08:36:21.537] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 714.18 MiB) 08:36:21 goblin ecc op : 392/1024 (mem: 714.18 MiB) 08:36:21 busread : 3/6000 (mem: 714.18 MiB) 08:36:21 [08:36:21.537] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 714.18 MiB) 08:36:21 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 714.18 MiB) 08:36:21 arithmetic : 6913/56000 (mem: 714.18 MiB) 08:36:21 delta range : 2353/18000 (mem: 714.18 MiB) 08:36:21 elliptic : 2/6000 (mem: 714.18 MiB) 08:36:21 auxiliary : 50/26000 (mem: 714.18 MiB) 08:36:21 poseidon ext : 2492/17000 (mem: 714.18 MiB) 08:36:21 poseidon int : 14195/92000 (mem: 714.18 MiB) 08:36:21 overflow : 0/0 (mem: 714.18 MiB) 08:36:21 (mem: 714.18 MiB) 08:36:21 Total structured size: 242025 (mem: 714.18 MiB) 08:36:21 allocating polynomials object in proving key... (mem: 714.18 MiB) 08:36:21 [08:36:21.597] INFO: ivc-integration:test:native bb - populating trace... (mem: 714.18 MiB) 08:36:21 [08:36:21.614] INFO: ivc-integration:test:native bb - time to construct proving key: 80 ms. (mem: 714.18 MiB) 08:36:21 [08:36:21.806] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60c8ec97b440 (mem: 714.18 MiB) 08:36:21 computing folding proof (mem: 714.18 MiB) 08:36:21 [08:36:21.807] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 714.18 MiB) 08:36:22 [08:36:22.157] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 714.18 MiB) 08:36:22 [08:36:22.256] INFO: ivc-integration:test:native bb - perturbator round (mem: 714.18 MiB) 08:36:22 [08:36:22.337] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 714.18 MiB) 08:36:22 [08:36:22.680] INFO: ivc-integration:test:native bb - folded (mem: 714.18 MiB) 08:36:22 [08:36:22.681] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 714.18 MiB) 08:36:22 Largest circuit: 48925 gates. Trace details: (mem: 714.18 MiB) 08:36:22 Minimum required block sizes for structured trace: (mem: 714.18 MiB) 08:36:22 [08:36:22.681] INFO: ivc-integration:test:native bb - (mem: 714.18 MiB) 08:36:22 prove decider... (mem: 714.18 MiB) 08:36:22 [08:36:22.682] INFO: ivc-integration:test:native bb - ecc_op : 792 08:36:22 busread : 16 08:36:22 lookup : 2 08:36:22 pub_inputs : 36 08:36:22 arithmetic : 12208 08:36:22 delta_range : 2981 08:36:22 elliptic : 2 08:36:22 aux : 350 08:36:22 poseidon2_external : 4982 08:36:22 poseidon2_internal : 28388 08:36:22 overflow : 0 08:36:22 [08:36:22.866] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.18 MiB) 08:36:22 [08:36:22.971] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 714.18 MiB) 08:36:23 [08:36:23.596] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 714.18 MiB) 08:36:23 [08:36:23.687] INFO: ivc-integration:test:native bb - computed opening proof (mem: 714.18 MiB) 08:36:23 finished decider proving. (mem: 714.18 MiB) 08:36:23 [08:36:23.700] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 714.18 MiB) 08:36:23 [08:36:23.788] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 714.18 MiB) 08:36:23 [08:36:23.791] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 714.18 MiB) 08:36:23 [08:36:23.924] INFO: ivc-integration:test:native bb - populating trace... (mem: 714.18 MiB) 08:36:23 [08:36:23.968] INFO: ivc-integration:test:native bb - time to construct proving key: 181 ms. (mem: 714.18 MiB) 08:36:24 [08:36:24.617] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 714.18 MiB) 08:36:25 [08:36:25.048] INFO: ivc-integration:test:native bb - created oink proof (mem: 714.18 MiB) 08:36:25 [08:36:25.185] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.18 MiB) 08:36:25 [08:36:25.669] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 714.18 MiB) 08:36:26 [08:36:26.431] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 714.18 MiB) 08:36:26 [08:36:26.498] INFO: ivc-integration:test:native bb - computed opening proof (mem: 714.18 MiB) 08:36:26 finished decider proving. (mem: 08:36:26 [08:36:26.499] INFO: ivc-integration:test:native bb - 714.18 MiB) 08:36:26 Constructing a Goblin proof with num ultra ops = 2226 (mem: 714.18 MiB) 08:36:26 [08:36:26.639] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 714.18 MiB) 08:36:26 [08:36:26.955] 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: 714.18 MiB) 08:36:26 [08:36:26.966] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 714.18 MiB) 08:36:28 [08:36:28.185] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.18 MiB) 08:36:30 [08:36:30.006] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 714.18 MiB) 08:36:37 [08:36:37.549] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 714.18 MiB) 08:36:37 prove translator... (mem: 714.18 MiB) 08:36:39 [08:36:39.387] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 725.56 MiB) 08:36:41 [08:36:41.430] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 726.56 MiB) 08:36:43 [08:36:43.009] INFO: ivc-integration:test:native bb - computed opening proof (mem: 726.56 MiB) 08:36:43 [08:36:43.009] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 726.56 MiB) 08:36:43 [08:36:43.010] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 726.56 MiB) 08:36:43 [08:36:43.034] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 726.56 MiB) 08:36:43 libra_evals_verified: 1 (mem: 726.56 MiB) 08:36:43 pairing_check_verified: 1 (mem: 726.56 MiB) 08:36:43 Mega verified: 1 (mem: 726.56 MiB) 08:36:43 [08:36:43.133] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 726.56 MiB) 08:36:43 batch opening verified?: 1 (mem: 726.56 MiB) 08:36:43 [08:36:43.135] INFO: ivc-integration:test:native bb - eccvm consistency check verified?: 1 (mem: 726.56 MiB) 08:36:43 translation masking consistency checked?: 1 (mem: 726.56 MiB) 08:36:43 [08:36:43.158] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 726.56 MiB) 08:36:43 eccvm verified?: 1 (mem: 726.56 MiB) 08:36:43 accumulator construction_verified?: 1 (mem: 726.56 MiB) 08:36:43 [08:36:43.159] INFO: ivc-integration:test:native bb - translation verified?: 1 (mem: 726.56 MiB) 08:36:43 consistency verified?: 1 (mem: 726.56 MiB) 08:36:43 Goblin verified: 1 (mem: 726.56 MiB) 08:36:43 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-KR45JF" (mem: 726.56 MiB) 08:36:43 [08:36:43.160] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-KR45JF" (mem: 726.56 MiB) 08:36:43 BN254 commitment key size: 262144 (mem: 726.56 MiB) 08:36:43 [08:36:43.163] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 08:36:43 [08:36:43.164] INFO: ivc-integration:test:native bb - (mem: 726.56 MiB) 08:36:43 [08:36:43.168] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 726.56 MiB) 08:36:43 [08:36:43.170] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 726.56 MiB) 08:36:43 busread : 3/6000 (mem: 726.56 MiB) 08:36:43 lookups : 2/15000 (mem: 726.56 MiB) 08:36:43 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 726.56 MiB) 08:36:43 arithmetic : 1773/56000 (mem: 726.56 MiB) 08:36:43 delta range : 1754/18000 (mem: 726.56 MiB) 08:36:43 elliptic : 2/6000 (mem: 726.56 MiB) 08:36:43 auxiliary : 26/26000 (mem: 726.56 MiB) 08:36:43 poseidon ext : 2/17000 (mem: 726.56 MiB) 08:36:43 poseidon int : 2/92000 (mem: 726.56 MiB) 08:36:43 overflow : 0/0 (mem: 726.56 MiB) 08:36:43 (mem: 726.56 MiB) 08:36:43 Total structured size: 242025 (mem: 726.56 MiB) 08:36:43 allocating polynomials object in proving key... (mem: 726.56 MiB) 08:36:43 [08:36:43.322] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.56 MiB) 08:36:43 [08:36:43.336] INFO: ivc-integration:test:native bb - time to construct proving key: 172 ms. (mem: 726.56 MiB) 08:36:43 [08:36:43.473] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 726.56 MiB) 08:36:43 [08:36:43.744] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 726.56 MiB) 08:36:43 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 726.56 MiB) 08:36:44 [08:36:44.009] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 726.56 MiB) 08:36:44 [08:36:44.017] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 726.56 MiB) 08:36:44 [08:36:44.033] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 726.56 MiB) 08:36:44 [08:36:44.036] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 726.56 MiB) 08:36:44 goblin ecc op : 56/1024 (mem: 726.56 MiB) 08:36:44 busread : 3/6000 08:36:44 [08:36:44.036] INFO: ivc-integration:test:native bb - (mem: 726.56 MiB) 08:36:44 lookups : 2/15000 (mem: 726.56 MiB) 08:36:44 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 726.56 MiB) 08:36:44 arithmetic : 4533/56000 (mem: 726.56 MiB) 08:36:44 delta range : 2060/18000 (mem: 726.56 MiB) 08:36:44 elliptic : 2/6000 (mem: 726.56 MiB) 08:36:44 auxiliary : 50/26000 (mem: 726.56 MiB) 08:36:44 poseidon ext : 1332/17000 (mem: 726.56 MiB) 08:36:44 poseidon int : 7583/92000 (mem: 726.56 MiB) 08:36:44 overflow : 0/0 (mem: 726.56 MiB) 08:36:44 (mem: 726.56 MiB) 08:36:44 Total structured size: 242025 (mem: 726.56 MiB) 08:36:44 allocating polynomials object in proving key... (mem: 726.56 MiB) 08:36:44 [08:36:44.174] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.56 MiB) 08:36:44 [08:36:44.211] INFO: ivc-integration:test:native bb - time to construct proving key: 178 ms. 08:36:44 [08:36:44.212] INFO: ivc-integration:test:native bb - (mem: 726.56 MiB) 08:36:44 [08:36:44.357] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 726.56 MiB) 08:36:44 [08:36:44.742] INFO: ivc-integration:test:native bb - computing folding proof (mem: 727.56 MiB) 08:36:44 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 727.56 MiB) 08:36:45 [08:36:45.153] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 727.56 MiB) 08:36:45 [08:36:45.260] INFO: ivc-integration:test:native bb - perturbator round (mem: 727.56 MiB) 08:36:45 [08:36:45.314] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 759.56 MiB) 08:36:45 [08:36:45.596] INFO: ivc-integration:test:native bb - folded (mem: 759.56 MiB) 08:36:45 constructed folding proof (mem: 759.56 MiB) 08:36:45 Largest circuit: 15565 gates. Trace details: (mem: 759.56 MiB) 08:36:45 Minimum required block sizes for structured trace: (mem: 759.56 MiB) 08:36:45 (mem: 759.56 MiB) 08:36:45 prove decider... (mem: 759.56 MiB) 08:36:45 [08:36:45.597] INFO: ivc-integration:test:native bb - ecc_op : 56 08:36:45 busread : 3 08:36:45 lookup : 2 08:36:45 pub_inputs : 36 08:36:45 arithmetic : 4533 08:36:45 delta_range : 2060 08:36:45 elliptic : 2 08:36:45 aux : 50 08:36:45 poseidon2_external : 1332 08:36:45 poseidon2_internal : 7583 08:36:45 overflow : 0 08:36:45 [08:36:45.706] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 759.56 MiB) 08:36:45 [08:36:45.825] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 759.56 MiB) 08:36:46 [08:36:46.606] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 759.56 MiB) 08:36:46 [08:36:46.702] INFO: ivc-integration:test:native bb - computed opening proof (mem: 759.56 MiB) 08:36:46 [08:36:46.703] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 759.56 MiB) 08:36:46 [08:36:46.718] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 759.56 MiB) 08:36:46 [08:36:46.807] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 759.56 MiB) 08:36:46 [08:36:46.813] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 759.56 MiB) 08:36:46 [08:36:46.893] INFO: ivc-integration:test:native bb - populating trace... (mem: 759.56 MiB) 08:36:46 [08:36:46.934] INFO: ivc-integration:test:native bb - time to construct proving key: 127 ms. (mem: 759.56 MiB) 08:36:47 [08:36:47.416] INFO: ivc-integration:test:native BB concurrency: 1 08:36:47 [08:36:47.416] 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-KR45JF/proof -k /tmp/bb-client-ivc-integration-KR45JF/vk -v 08:36:47 [08:36:47.443] INFO: ivc-integration:test:native bb command: verify (mem: 236.80 MiB) 08:36:47 Scheme is: client_ivc, num threads: 1 (mem: 236.80 MiB) 08:36:47 --proof_path: /tmp/bb-client-ivc-integration-KR45JF/proof (mem: 236.80 MiB) 08:36:47 --vk_path: /tmp/bb-client-ivc-integration-KR45JF/vk (mem: 236.80 MiB) 08:36:47 --verbose: true (mem: 236.80 MiB) 08:36:47 --scheme: client_ivc (mem: 236.80 MiB) 08:36:47 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 236.80 MiB) 08:36:47 [08:36:47.464] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 08:36:47 [08:36:47.468] INFO: ivc-integration:test:native (mem: 236.80 MiB) 08:36:47 [08:36:47.468] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 236.80 MiB) 08:36:47 [08:36:47.488] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 236.80 MiB) 08:36:47 [08:36:47.491] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 236.80 MiB) 08:36:47 sumcheck_verified: 1 (mem: 236.80 MiB) 08:36:47 libra_evals_verified: 1 (mem: 236.80 MiB) 08:36:47 pairing_check_verified: 1 (mem: 236.80 MiB) 08:36:47 Mega verified: 1 (mem: 236.80 MiB) 08:36:47 [08:36:47.988] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 236.80 MiB) 08:36:47 batch opening verified?: 1 (mem: 236.80 MiB) 08:36:47 eccvm consistency check verified?: 1 (mem: 236.80 MiB) 08:36:47 translation masking consistency checked?: 1 (mem: 236.80 MiB) 08:36:48 [08:36:48.009] INFO: ivc-integration:test:native merge verified?: 1 (mem: 236.80 MiB) 08:36:48 eccvm verified?: 1 (mem: 236.80 MiB) 08:36:48 accumulator construction_verified?: 1 (mem: 236.80 MiB) 08:36:48 [08:36:48.010] INFO: ivc-integration:test:native translation verified?: 1 (mem: 236.80 MiB) 08:36:48 consistency verified?: 1 (mem: 236.80 MiB) 08:36:48 Goblin verified: 1 (mem: 236.80 MiB) 08:36:48 verified: 1 (mem: 236.80 MiB) 08:36:48 PASS src/native_client_ivc_integration.test.ts (76.279 s) 08:36:48 Client IVC Integration 08:36:48 ✓ Should generate a verifiable client IVC proof from a simple mock tx (41040 ms) 08:36:48 ✓ Should generate a verifiable client IVC proof from a complex mock tx (31705 ms) 08:36:48 08:36:48 Test Suites: 1 passed, 1 total 08:36:48 Tests: 2 passed, 2 total 08:36:48 Snapshots: 0 total 08:36:48 Time: 76.368 s 08:36:48 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 08:36:48 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?