Parent Log: http://ci.aztec-labs.com/8b95d33b9956fee4 Command: 582720422b3f4dff: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/79e9bd1698f4bba6deade8f76c676f9bbb12ff74 Env: REF_NAME=gh-readonly-queue/staging/pr-15192-505a3c071181dbc5242dc8b655a9b2d69988c8db CURRENT_VERSION=1.0.0 CI_FULL=1 Date: Mon Jun 23 13:21:01 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15192_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_staging 13:21:05 [13:21:05.559] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-c0PNg0/ivc-inputs.msgpack 13:21:05 [13:21:05.565] INFO: ivc-integration:test:native bb - BB concurrency: undefined 13:21:05 [13:21:05.566] 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-c0PNg0 --ivc_inputs_path /tmp/bb-client-ivc-integration-c0PNg0/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:21:05 [13:21:05.585] INFO: ivc-integration:test:native bb - bb command: prove (mem: 182.35 MiB) 13:21:05 Scheme is: client_ivc, num threads: 128 (mem: 182.35 MiB) 13:21:05 --scheme: client_ivc (mem: 182.35 MiB) 13:21:05 --output_path: /tmp/bb-client-ivc-integration-c0PNg0 (mem: 182.35 MiB) 13:21:05 [13:21:05.586] INFO: ivc-integration:test:native bb - --ivc_inputs_path: /tmp/bb-client-ivc-integration-c0PNg0/ivc-inputs.msgpack (mem: 182.35 MiB) 13:21:05 --verbose: true (mem: 182.35 MiB) 13:21:05 --write_vk: true (mem: 182.35 MiB) 13:21:05 BN254 commitment key size: 262144 (mem: 182.35 MiB) 13:21:05 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 182.35 MiB) 13:21:05 [13:21:05.645] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 182.35 MiB) 13:21:05 [13:21:05.648] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 13:21:05 [13:21:05.649] INFO: ivc-integration:test:native bb - (mem: 182.35 MiB) 13:21:05 Constructing DeciderProvingKey (mem: 182.35 MiB) 13:21:05 [13:21:05.655] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 182.35 MiB) 13:21:05 goblin ecc op : 4/1024 (mem: 182.35 MiB) 13:21:05 busread : 7/6000 (mem: 182.35 MiB) 13:21:05 lookups : 2/15000 (mem: 182.35 MiB) 13:21:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 182.35 MiB) 13:21:05 arithmetic : 1760/56000 (mem: 182.35 MiB) 13:21:05 delta range : 1754/18000 (mem: 182.35 MiB) 13:21:05 elliptic : 2/6000 (mem: 182.35 MiB) 13:21:05 auxiliary : 26/26000 (mem: 182.35 MiB) 13:21:05 poseidon ext : 2/17000 (mem: 182.35 MiB) 13:21:05 poseidon int : 2/92000 (mem: 182.35 MiB) 13:21:05 overflow : 0/0 (mem: 182.35 MiB) 13:21:05 (mem: 182.35 MiB) 13:21:05 Total structured size: 242025 (mem: 182.35 MiB) 13:21:05 allocating polynomials object in proving key... (mem: 182.35 MiB) 13:21:05 [13:21:05.851] INFO: ivc-integration:test:native bb - populating trace... (mem: 344.14 MiB) 13:21:05 [13:21:05.867] INFO: ivc-integration:test:native bb - time to construct proving key: 216 ms. (mem: 355.14 MiB) 13:21:05 [13:21:05.965] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a052990f200 (mem: 355.14 MiB) 13:21:05 computing oink proof... (mem: 13:21:05 [13:21:05.967] INFO: ivc-integration:test:native bb - 355.14 MiB) 13:21:05 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 355.14 MiB) 13:21:06 [13:21:06.240] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 364.14 MiB) 13:21:06 [13:21:06.249] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 365.14 MiB) 13:21:06 [13:21:06.271] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 365.14 MiB) 13:21:06 Constructing DeciderProvingKey (mem: 365.14 MiB) 13:21:06 [13:21:06.275] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 365.14 MiB) 13:21:06 goblin ecc op : 56/1024 (mem: 365.14 MiB) 13:21:06 busread : 12/6000 (mem: 365.14 MiB) 13:21:06 lookups : 2/15000 (mem: 365.14 MiB) 13:21:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 365.14 MiB) 13:21:06 arithmetic : 4677/56000 (mem: 365.14 MiB) 13:21:06 delta range : 2073/18000 (mem: 365.14 MiB) 13:21:06 elliptic : 2/6000 (mem: 365.14 MiB) 13:21:06 auxiliary : 110/26000 (mem: 365.14 MiB) 13:21:06 poseidon ext : 1322/17000 (mem: 365.14 MiB) 13:21:06 poseidon int : 7526/92000 (mem: 365.14 MiB) 13:21:06 overflow : 0/0 (mem: 365.14 MiB) 13:21:06 (mem: 365.14 MiB) 13:21:06 Total structured size: 242025 (mem: 365.14 MiB) 13:21:06 allocating polynomials object in proving key... (mem: 365.14 MiB) 13:21:06 [13:21:06.430] INFO: ivc-integration:test:native bb - populating trace... (mem: 570.14 MiB) 13:21:06 [13:21:06.457] INFO: ivc-integration:test:native bb - time to construct proving key: 186 ms. (mem: 585.14 MiB) 13:21:06 [13:21:06.660] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a052991be40 (mem: 585.14 MiB) 13:21:06 computing folding proof (mem: 585.14 MiB) 13:21:06 vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 585.14 MiB) 13:21:06 [13:21:06.968] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 588.14 MiB) 13:21:07 [13:21:07.072] INFO: ivc-integration:test:native bb - perturbator round (mem: 626.14 MiB) 13:21:07 [13:21:07.134] INFO: ivc-integration:test:native bb - combiner quotient round 13:21:07 [13:21:07.135] INFO: ivc-integration:test:native bb - (mem: 658.14 MiB) 13:21:07 [13:21:07.461] INFO: ivc-integration:test:native bb - folded (mem: 658.14 MiB) 13:21:07 [13:21:07.462] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 658.14 MiB) 13:21:07 [13:21:07.475] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 658.14 MiB) 13:21:07 [13:21:07.573] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 658.14 MiB) 13:21:07 Constructing DeciderProvingKey (mem: 658.14 MiB) 13:21:07 [13:21:07.583] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 658.14 MiB) 13:21:07 goblin ecc op : 392/1024 (mem: 658.14 MiB) 13:21:07 busread : 3/6000 (mem: 658.14 MiB) 13:21:07 lookups : 2/15000 (mem: 658.14 MiB) 13:21:07 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 658.14 MiB) 13:21:07 arithmetic : 6913/56000 (mem: 658.14 MiB) 13:21:07 delta range : 2353/18000 (mem: 658.14 MiB) 13:21:07 elliptic : 2/6000 (mem: 658.14 MiB) 13:21:07 auxiliary : 50/26000 (mem: 658.14 MiB) 13:21:07 poseidon ext : 2492/17000 (mem: 658.14 MiB) 13:21:07 poseidon int : 14195/92000 (mem: 658.14 MiB) 13:21:07 overflow : 0/0 (mem: 658.14 MiB) 13:21:07 (mem: 658.14 MiB) 13:21:07 Total structured size: 242025 (mem: 658.14 MiB) 13:21:07 allocating polynomials object in proving key... (mem: 658.14 MiB) 13:21:07 [13:21:07.756] INFO: ivc-integration:test:native bb - populating trace... (mem: 658.14 MiB) 13:21:07 [13:21:07.820] INFO: ivc-integration:test:native bb - time to construct proving key: 245 ms. (mem: 658.14 MiB) 13:21:08 [13:21:08.056] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a05299115c0 (mem: 658.14 MiB) 13:21:08 computing folding proof (mem: 658.14 MiB) 13:21:08 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 658.14 MiB) 13:21:08 [13:21:08.599] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 658.14 MiB) 13:21:08 [13:21:08.703] INFO: ivc-integration:test:native bb - perturbator round (mem: 658.14 MiB) 13:21:08 [13:21:08.788] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 671.12 MiB) 13:21:09 [13:21:09.243] INFO: ivc-integration:test:native bb - folded (mem: 671.12 MiB) 13:21:09 constructed folding proof (mem: 671.12 MiB) 13:21:09 [13:21:09.248] INFO: ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 671.12 MiB) 13:21:09 Minimum required block sizes for structured trace: (mem: 671.12 MiB) 13:21:09 (mem: 671.12 MiB) 13:21:09 prove decider... (mem: 671.12 MiB) 13:21:09 [13:21:09.250] INFO: ivc-integration:test:native bb - ecc_op : 392 13:21:09 busread : 12 13:21:09 lookup : 2 13:21:09 pub_inputs : 36 13:21:09 arithmetic : 6913 13:21:09 delta_range : 2353 13:21:09 elliptic : 2 13:21:09 aux : 110 13:21:09 poseidon2_external : 2492 13:21:09 poseidon2_internal : 14195 13:21:09 overflow : 0 13:21:09 [13:21:09.410] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.12 MiB) 13:21:09 [13:21:09.592] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 671.12 MiB) 13:21:11 [13:21:11.131] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 671.12 MiB) 13:21:11 [13:21:11.235] INFO: ivc-integration:test:native bb - computed opening proof (mem: 671.12 MiB) 13:21:11 [13:21:11.236] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 671.12 MiB) 13:21:11 [13:21:11.265] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 671.12 MiB) 13:21:11 [13:21:11.394] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 13:21:11 [13:21:11.396] INFO: ivc-integration:test:native bb - (mem: 671.12 MiB) 13:21:11 [13:21:11.403] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 671.12 MiB) 13:21:11 [13:21:11.679] INFO: ivc-integration:test:native bb - populating trace... (mem: 671.12 MiB) 13:21:11 [13:21:11.729] INFO: ivc-integration:test:native bb - time to construct proving key: 334 ms. (mem: 671.12 MiB) 13:21:13 [13:21:13.168] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 671.12 MiB) 13:21:14 [13:21:14.004] INFO: ivc-integration:test:native bb - created oink proof (mem: 671.12 MiB) 13:21:14 [13:21:14.265] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.12 MiB) 13:21:15 [13:21:15.591] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 671.12 MiB) 13:21:17 [13:21:17.380] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 671.12 MiB) 13:21:17 [13:21:17.477] INFO: ivc-integration:test:native bb - computed opening proof (mem: 671.12 MiB) 13:21:17 finished decider proving. (mem: 671.12 MiB) 13:21:17 [13:21:17.490] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 671.12 MiB) 13:21:17 [13:21:17.888] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 671.12 MiB) 13:21:18 [13:21:18.617] 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: 671.12 MiB) 13:21:18 [13:21:18.628] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 671.12 MiB) 13:21:21 [13:21:21.506] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.12 MiB) 13:21:24 [13:21:24.453] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 671.12 MiB) 13:21:29 [13:21:29.131] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 671.12 MiB) 13:21:29 prove translator... (mem: 671.12 MiB) 13:21:33 [13:21:33.135] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 701.66 MiB) 13:21:36 [13:21:36.342] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 13:21:36 [13:21:36.343] INFO: ivc-integration:test:native bb - (mem: 13:21:36 [13:21:36.345] INFO: ivc-integration:test:native bb - 702.66 MiB) 13:21:40 [13:21:40.968] INFO: ivc-integration:test:native bb - computed opening proof (mem: 702.66 MiB) 13:21:40 [13:21:40.969] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 702.66 MiB) 13:21:40 [13:21:40.969] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 702.66 MiB) 13:21:40 [13:21:40.994] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 702.66 MiB) 13:21:40 libra_evals_verified: 1 (mem: 702.66 MiB) 13:21:40 pairing_check_verified: 1 (mem: 702.66 MiB) 13:21:40 Mega verified: 1 (mem: 702.66 MiB) 13:21:41 [13:21:41.166] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 703.66 MiB) 13:21:41 batch opening verified?: 1 (mem: 703.66 MiB) 13:21:41 eccvm consistency check verified?: 1 (mem: 703.66 MiB) 13:21:41 translation masking consistency checked?: 1 (mem: 703.66 MiB) 13:21:41 [13:21:41.193] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 703.66 MiB) 13:21:41 eccvm verified?: 1 (mem: 703.66 MiB) 13:21:41 accumulator construction_verified?: 1 (mem: 703.66 MiB) 13:21:41 translation verified?: 1 (mem: 703.66 MiB) 13:21:41 consistency verified?: 1 (mem: 703.66 MiB) 13:21:41 Goblin verified: 1 (mem: 703.66 MiB) 13:21:41 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-c0PNg0" (mem: 703.66 MiB) 13:21:41 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-c0PNg0" (mem: 703.66 MiB) 13:21:41 BN254 commitment key size: 262144 (mem: 703.66 MiB) 13:21:41 [13:21:41.199] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 703.66 MiB) 13:21:41 [13:21:41.204] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 703.66 MiB) 13:21:41 goblin ecc op : 4/1024 (mem: 703.66 MiB) 13:21:41 [13:21:41.205] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 703.66 MiB) 13:21:41 lookups : 2/15000 (mem: 703.66 MiB) 13:21:41 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 703.66 MiB) 13:21:41 arithmetic : 1773/56000 (mem: 703.66 MiB) 13:21:41 delta range : 1754/18000 (mem: 703.66 MiB) 13:21:41 elliptic : 2/6000 (mem: 703.66 MiB) 13:21:41 auxiliary : 26/26000 (mem: 703.66 MiB) 13:21:41 poseidon ext : 2/17000 (mem: 703.66 MiB) 13:21:41 poseidon int : 2/92000 (mem: 703.66 MiB) 13:21:41 overflow : 0/0 (mem: 703.66 MiB) 13:21:41 (mem: 703.66 MiB) 13:21:41 Total structured size: 242025 (mem: 703.66 MiB) 13:21:41 allocating polynomials object in proving key... (mem: 703.66 MiB) 13:21:41 [13:21:41.496] INFO: ivc-integration:test:native bb - populating trace... (mem: 703.66 MiB) 13:21:41 [13:21:41.538] INFO: ivc-integration:test:native bb - time to construct proving key: 337 ms. (mem: 703.66 MiB) 13:21:41 [13:21:41.801] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 703.66 MiB) 13:21:42 [13:21:42.526] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 705.66 MiB) 13:21:42 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.66 MiB) 13:21:43 [13:21:43.104] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 705.66 MiB) 13:21:43 [13:21:43.115] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.66 MiB) 13:21:43 [13:21:43.134] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 705.66 MiB) 13:21:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 705.66 MiB) 13:21:43 goblin ecc op : 56/1024 (mem: 705.66 MiB) 13:21:43 busread : 3/6000 (mem: 705.66 MiB) 13:21:43 lookups : 2/15000 (mem: 705.66 MiB) 13:21:43 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 705.66 MiB) 13:21:43 arithmetic : 4533/56000 (mem: 705.66 MiB) 13:21:43 delta range : 2060/18000 (mem: 705.66 MiB) 13:21:43 elliptic : 2/6000 (mem: 705.66 MiB) 13:21:43 auxiliary : 50/26000 (mem: 705.66 MiB) 13:21:43 poseidon ext : 1332/17000 (mem: 705.66 MiB) 13:21:43 poseidon int : 7583/92000 (mem: 705.66 MiB) 13:21:43 overflow : 0/0 (mem: 705.66 MiB) 13:21:43 (mem: 705.66 MiB) 13:21:43 Total structured size: 242025 (mem: 705.66 MiB) 13:21:43 allocating polynomials object in proving key... (mem: 705.66 MiB) 13:21:43 [13:21:43.399] INFO: ivc-integration:test:native bb - populating trace... (mem: 705.66 MiB) 13:21:43 [13:21:43.441] INFO: ivc-integration:test:native bb - time to construct proving key: 314 ms. (mem: 705.66 MiB) 13:21:43 [13:21:43.774] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 705.66 MiB) 13:21:44 [13:21:44.311] INFO: ivc-integration:test:native bb - computing folding proof (mem: 705.66 MiB) 13:21:44 [13:21:44.312] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 705.66 MiB) 13:21:44 [13:21:44.771] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 705.66 MiB) 13:21:44 [13:21:44.917] INFO: ivc-integration:test:native bb - perturbator round (mem: 705.66 MiB) 13:21:44 [13:21:44.979] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 737.66 MiB) 13:21:45 [13:21:45.780] INFO: ivc-integration:test:native bb - folded (mem: 737.66 MiB) 13:21:45 constructed folding proof (mem: 737.66 MiB) 13:21:45 Largest circuit: 15565 gates. Trace details: (mem: 737.66 MiB) 13:21:45 Minimum required block sizes for structured trace: (mem: 737.66 MiB) 13:21:45 (mem: 737.66 MiB) 13:21:45 prove decider... (mem: 737.66 MiB) 13:21:45 [13:21:45.781] INFO: ivc-integration:test:native bb - ecc_op : 56 13:21:45 busread : 3 13:21:45 lookup : 2 13:21:45 pub_inputs : 36 13:21:45 arithmetic : 4533 13:21:45 delta_range : 2060 13:21:45 elliptic : 2 13:21:45 aux : 50 13:21:45 poseidon2_external : 1332 13:21:45 poseidon2_internal : 7583 13:21:45 overflow : 0 13:21:45 [13:21:45.998] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 737.66 MiB) 13:21:46 [13:21:46.153] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 737.66 MiB) 13:21:47 [13:21:47.812] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 737.66 MiB) 13:21:47 [13:21:47.896] INFO: ivc-integration:test:native bb - computed opening proof (mem: 737.66 MiB) 13:21:47 finished decider proving. (mem: 737.66 MiB) 13:21:47 [13:21:47.909] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 737.66 MiB) 13:21:47 [13:21:47.997] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 737.66 MiB) 13:21:48 [13:21:48.000] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 737.66 MiB) 13:21:48 [13:21:48.157] INFO: ivc-integration:test:native bb - populating trace... (mem: 737.66 MiB) 13:21:48 [13:21:48.196] INFO: ivc-integration:test:native bb - time to construct proving key: 201 ms. (mem: 737.66 MiB) 13:21:48 [13:21:48.744] INFO: ivc-integration:test:native BB concurrency: 1 13:21:48 [13:21:48.745] 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-c0PNg0/proof -k /tmp/bb-client-ivc-integration-c0PNg0/vk -v 13:21:48 [13:21:48.765] INFO: ivc-integration:test:native bb command: verify (mem: 182.35 MiB) 13:21:48 Scheme is: client_ivc, num threads: 1 (mem: 182.35 MiB) 13:21:48 --proof_path: /tmp/bb-client-ivc-integration-c0PNg0/proof (mem: 182.35 MiB) 13:21:48 --vk_path: /tmp/bb-client-ivc-integration-c0PNg0/vk (mem: 182.35 MiB) 13:21:48 --verbose: true (mem: 182.35 MiB) 13:21:48 --scheme: client_ivc (mem: 182.35 MiB) 13:21:48 [13:21:48.767] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 182.35 MiB) 13:21:48 [13:21:48.780] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 182.35 MiB) 13:21:48 [13:21:48.781] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 182.35 MiB) 13:21:48 [13:21:48.803] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 182.35 MiB) 13:21:48 Initialized BN254 CRS from memory with num points = 1 (mem: 182.35 MiB) 13:21:48 sumcheck_verified: 1 (mem: 182.35 MiB) 13:21:48 libra_evals_verified: 1 (mem: 182.35 MiB) 13:21:48 pairing_check_verified: 1 (mem: 182.35 MiB) 13:21:48 Mega verified: 1 (mem: 182.35 MiB) 13:21:49 [13:21:49.326] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 182.35 MiB) 13:21:49 batch opening verified?: 1 (mem: 182.35 MiB) 13:21:49 eccvm consistency check verified?: 1 (mem: 182.35 MiB) 13:21:49 translation masking consistency checked?: 1 (mem: 182.35 MiB) 13:21:49 [13:21:49.347] INFO: ivc-integration:test:native merge verified?: 1 (mem: 182.35 MiB) 13:21:49 eccvm verified?: 1 (mem: 182.35 MiB) 13:21:49 accumulator construction_verified?: 1 (mem: 182.35 MiB) 13:21:49 translation verified?: 1 (mem: 182.35 MiB) 13:21:49 consistency verified?: 1 (mem: 182.35 MiB) 13:21:49 Goblin verified: 1 (mem: 182.35 MiB) 13:21:49 [13:21:49.351] INFO: ivc-integration:test:native verified: 1 (mem: 182.35 MiB) 13:21:49 [13:21:49.429] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-3JrXnJ/ivc-inputs.msgpack 13:21:49 [13:21:49.430] INFO: ivc-integration:test:native bb - BB concurrency: undefined 13:21:49 [13:21:49.431] 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-3JrXnJ --ivc_inputs_path /tmp/bb-client-ivc-integration-3JrXnJ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:21:49 [13:21:49.450] INFO: ivc-integration:test:native bb - bb command: prove (mem: 182.61 MiB) 13:21:49 [13:21:49.451] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 182.61 MiB) 13:21:49 --scheme: client_ivc (mem: 182.61 MiB) 13:21:49 --output_path: /tmp/bb-client-ivc-integration-3JrXnJ (mem: 182.61 MiB) 13:21:49 --ivc_inputs_path: /tmp/bb-client-ivc-integration-3JrXnJ/ivc-inputs.msgpack (mem: 182.61 MiB) 13:21:49 --verbose: true (mem: 182.61 MiB) 13:21:49 --write_vk: true (mem: 182.61 MiB) 13:21:49 [13:21:49.456] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 182.61 MiB) 13:21:49 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 182.61 MiB) 13:21:49 [13:21:49.524] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 182.61 MiB) 13:21:49 [13:21:49.528] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 13:21:49 [13:21:49.528] INFO: ivc-integration:test:native bb - (mem: 13:21:49 [13:21:49.530] INFO: ivc-integration:test:native bb - 182.61 MiB) 13:21:49 Constructing DeciderProvingKey (mem: 182.61 MiB) 13:21:49 [13:21:49.535] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 13:21:49 [13:21:49.538] INFO: ivc-integration:test:native bb - (mem: 182.61 MiB) 13:21:49 goblin ecc op : 4/1024 (mem: 182.61 MiB) 13:21:49 busread : 7/6000 (mem: 182.61 MiB) 13:21:49 lookups : 2/15000 (mem: 182.61 MiB) 13:21:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 182.61 MiB) 13:21:49 arithmetic : 1760/56000 (mem: 182.61 MiB) 13:21:49 delta range : 1754/18000 (mem: 182.61 MiB) 13:21:49 elliptic : 2/6000 (mem: 182.61 MiB) 13:21:49 auxiliary : 26/26000 (mem: 182.61 MiB) 13:21:49 poseidon ext : 2/17000 (mem: 182.61 MiB) 13:21:49 poseidon int : 2/92000 (mem: 182.61 MiB) 13:21:49 overflow : 0/0 (mem: 182.61 MiB) 13:21:49 (mem: 182.61 MiB) 13:21:49 Total structured size: 242025 (mem: 182.61 MiB) 13:21:49 allocating polynomials object in proving key... (mem: 182.61 MiB) 13:21:49 [13:21:49.706] INFO: ivc-integration:test:native bb - populating trace... (mem: 360.61 MiB) 13:21:49 [13:21:49.717] INFO: ivc-integration:test:native bb - time to construct proving key: 187 ms. (mem: 376.61 MiB) 13:21:49 [13:21:49.773] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57f5b9c47f80 (mem: 376.61 MiB) 13:21:49 computing oink proof... (mem: 376.61 MiB) 13:21:49 [13:21:49.774] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 376.61 MiB) 13:21:49 [13:21:49.906] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 388.61 MiB) 13:21:49 [13:21:49.919] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 388.61 MiB) 13:21:49 [13:21:49.936] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 388.61 MiB) 13:21:49 Constructing DeciderProvingKey (mem: 388.61 MiB) 13:21:49 [13:21:49.939] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 388.61 MiB) 13:21:49 goblin ecc op : 56/1024 (mem: 388.61 MiB) 13:21:49 busread : 12/6000 (mem: 388.61 MiB) 13:21:49 lookups : 2/15000 (mem: 388.61 MiB) 13:21:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 388.61 MiB) 13:21:49 arithmetic : 4677/56000 (mem: 388.61 MiB) 13:21:49 delta range : 2073/18000 (mem: 388.61 MiB) 13:21:49 elliptic : 2/6000 (mem: 388.61 MiB) 13:21:49 auxiliary : 110/26000 (mem: 388.61 MiB) 13:21:49 poseidon ext : 1322/17000 (mem: 388.61 MiB) 13:21:49 poseidon int : 7526/92000 (mem: 388.61 MiB) 13:21:49 overflow : 0/0 (mem: 388.61 MiB) 13:21:49 (mem: 388.61 MiB) 13:21:49 Total structured size: 242025 (mem: 388.61 MiB) 13:21:49 allocating polynomials object in proving key... (mem: 388.61 MiB) 13:21:50 [13:21:50.083] INFO: ivc-integration:test:native bb - populating trace... (mem: 595.61 MiB) 13:21:50 [13:21:50.106] INFO: ivc-integration:test:native bb - time to construct proving key: 169 ms. (mem: 605.61 MiB) 13:21:50 [13:21:50.212] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57f5b9c51240 (mem: 605.61 MiB) 13:21:50 computing folding proof (mem: 605.61 MiB) 13:21:50 [13:21:50.213] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 605.61 MiB) 13:21:50 [13:21:50.527] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 608.61 MiB) 13:21:50 [13:21:50.631] INFO: ivc-integration:test:native bb - perturbator round (mem: 645.61 MiB) 13:21:50 [13:21:50.695] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 677.61 MiB) 13:21:50 [13:21:50.965] INFO: ivc-integration:test:native bb - folded (mem: 677.61 MiB) 13:21:50 [13:21:50.966] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 677.61 MiB) 13:21:50 [13:21:50.969] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 677.61 MiB) 13:21:50 Constructing DeciderProvingKey (mem: 677.61 MiB) 13:21:50 [13:21:50.971] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 677.61 MiB) 13:21:50 goblin ecc op : 4/1024 (mem: 677.61 MiB) 13:21:50 busread : 7/6000 (mem: 677.61 MiB) 13:21:50 lookups : 2/15000 (mem: 677.61 MiB) 13:21:50 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 677.61 MiB) 13:21:50 arithmetic : 1760/56000 (mem: 677.61 MiB) 13:21:50 delta range : 1754/18000 (mem: 677.61 MiB) 13:21:50 [13:21:50.972] INFO: ivc-integration:test:native bb - elliptic : 2/6000 (mem: 677.61 MiB) 13:21:50 auxiliary : 26/26000 (mem: 677.61 MiB) 13:21:50 poseidon ext : 2/17000 (mem: 677.61 MiB) 13:21:50 poseidon int : 2/92000 (mem: 677.61 MiB) 13:21:50 overflow : 0/0 (mem: 677.61 MiB) 13:21:50 (mem: 677.61 MiB) 13:21:50 Total structured size: 242025 (mem: 677.61 MiB) 13:21:50 allocating polynomials object in proving key... (mem: 677.61 MiB) 13:21:51 [13:21:51.045] INFO: ivc-integration:test:native bb - populating trace... (mem: 677.61 MiB) 13:21:51 [13:21:51.058] INFO: ivc-integration:test:native bb - time to construct proving key: 88 ms. (mem: 677.61 MiB) 13:21:51 [13:21:51.150] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57f5b9c437c0 (mem: 677.61 MiB) 13:21:51 computing folding proof (mem: 677.61 MiB) 13:21:51 [13:21:51.151] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 677.61 MiB) 13:21:51 [13:21:51.290] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 677.61 MiB) 13:21:51 [13:21:51.336] INFO: ivc-integration:test:native bb - perturbator round (mem: 677.61 MiB) 13:21:51 [13:21:51.363] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 677.61 MiB) 13:21:51 [13:21:51.508] INFO: ivc-integration:test:native bb - folded (mem: 677.61 MiB) 13:21:51 constructed folding proof (mem: 677.61 MiB) 13:21:51 [13:21:51.517] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 677.61 MiB) 13:21:51 [13:21:51.578] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 677.61 MiB) 13:21:51 [13:21:51.635] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 677.61 MiB) 13:21:51 Constructing DeciderProvingKey (mem: 677.61 MiB) 13:21:51 [13:21:51.640] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 677.61 MiB) 13:21:51 goblin ecc op : 792/1024 (mem: 677.61 MiB) 13:21:51 busread : 12/6000 (mem: 677.61 MiB) 13:21:51 lookups : 2/15000 (mem: 677.61 MiB) 13:21:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 677.61 MiB) 13:21:51 [13:21:51.642] INFO: ivc-integration:test:native bb - arithmetic : 12208/56000 (mem: 677.61 MiB) 13:21:51 delta range : 2981/18000 (mem: 677.61 MiB) 13:21:51 elliptic : 2/6000 (mem: 677.61 MiB) 13:21:51 auxiliary : 350/26000 (mem: 677.61 MiB) 13:21:51 poseidon ext : 4982/17000 (mem: 677.61 MiB) 13:21:51 poseidon int : 28388/92000 (mem: 677.61 MiB) 13:21:51 overflow : 0/0 (mem: 677.61 MiB) 13:21:51 (mem: 677.61 MiB) 13:21:51 Total structured size: 242025 (mem: 677.61 MiB) 13:21:51 allocating polynomials object in proving key... (mem: 677.61 MiB) 13:21:51 [13:21:51.693] INFO: ivc-integration:test:native bb - populating trace... (mem: 677.61 MiB) 13:21:51 [13:21:51.726] INFO: ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 677.61 MiB) 13:21:51 [13:21:51.839] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57f5b9cc5100 (mem: 677.61 MiB) 13:21:51 computing folding proof (mem: 677.61 MiB) 13:21:51 [13:21:51.840] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 677.61 MiB) 13:21:52 [13:21:52.183] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 677.61 MiB) 13:21:52 [13:21:52.262] INFO: ivc-integration:test:native bb - perturbator round (mem: 686.29 MiB) 13:21:52 [13:21:52.304] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 718.29 MiB) 13:21:52 [13:21:52.427] INFO: ivc-integration:test:native bb - folded (mem: 718.29 MiB) 13:21:52 constructed folding proof (mem: 718.29 MiB) 13:21:52 [13:21:52.434] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 718.29 MiB) 13:21:52 [13:21:52.497] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 718.29 MiB) 13:21:52 Constructing DeciderProvingKey (mem: 718.29 MiB) 13:21:52 [13:21:52.501] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 718.29 MiB) 13:21:52 goblin ecc op : 392/1024 (mem: 718.29 MiB) 13:21:52 busread : 16/6000 (mem: 13:21:52 [13:21:52.502] INFO: ivc-integration:test:native bb - 718.29 MiB) 13:21:52 lookups : 2/15000 (mem: 718.29 MiB) 13:21:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 718.29 MiB) 13:21:52 arithmetic : 6978/56000 (mem: 718.29 MiB) 13:21:52 delta range : 2367/18000 (mem: 718.29 MiB) 13:21:52 elliptic : 2/6000 (mem: 718.29 MiB) 13:21:52 auxiliary : 77/26000 (mem: 718.29 MiB) 13:21:52 poseidon ext : 2492/17000 (mem: 718.29 MiB) 13:21:52 poseidon int : 14195/92000 (mem: 718.29 MiB) 13:21:52 overflow : 0/0 (mem: 718.29 MiB) 13:21:52 (mem: 718.29 MiB) 13:21:52 Total structured size: 242025 (mem: 718.29 MiB) 13:21:52 allocating polynomials object in proving key... (mem: 718.29 MiB) 13:21:52 [13:21:52.564] INFO: ivc-integration:test:native bb - populating trace... (mem: 718.29 MiB) 13:21:52 [13:21:52.583] INFO: ivc-integration:test:native bb - time to construct proving key: 85 ms. (mem: 718.29 MiB) 13:21:52 [13:21:52.704] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57f5b9c37bc0 (mem: 718.29 MiB) 13:21:52 computing folding proof (mem: 718.29 MiB) 13:21:52 [13:21:52.706] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 718.29 MiB) 13:21:52 [13:21:52.935] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 718.29 MiB) 13:21:53 [13:21:53.039] INFO: ivc-integration:test:native bb - perturbator round (mem: 718.29 MiB) 13:21:53 [13:21:53.089] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 719.02 MiB) 13:21:53 [13:21:53.352] INFO: ivc-integration:test:native bb - folded (mem: 719.02 MiB) 13:21:53 constructed folding proof (mem: 719.02 MiB) 13:21:53 [13:21:53.374] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 719.02 MiB) 13:21:53 [13:21:53.423] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 719.02 MiB) 13:21:53 Constructing DeciderProvingKey (mem: 719.02 MiB) 13:21:53 [13:21:53.427] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 719.02 MiB) 13:21:53 goblin ecc op : 392/1024 (mem: 719.02 MiB) 13:21:53 busread : 3/6000 (mem: 719.02 MiB) 13:21:53 lookups : 2/15000 (mem: 719.02 MiB) 13:21:53 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 719.02 MiB) 13:21:53 arithmetic : 6913/56000 (mem: 719.02 MiB) 13:21:53 delta range : 2353/18000 (mem: 719.02 MiB) 13:21:53 elliptic : 2/6000 (mem: 719.02 MiB) 13:21:53 auxiliary : 50/26000 (mem: 719.02 MiB) 13:21:53 poseidon ext : 2492/17000 (mem: 719.02 MiB) 13:21:53 poseidon int : 14195/92000 (mem: 719.02 MiB) 13:21:53 overflow : 0/0 (mem: 719.02 MiB) 13:21:53 (mem: 719.02 MiB) 13:21:53 Total structured size: 242025 (mem: 719.02 MiB) 13:21:53 allocating polynomials object in proving key... (mem: 719.02 MiB) 13:21:53 [13:21:53.518] INFO: ivc-integration:test:native bb - populating trace... (mem: 719.02 MiB) 13:21:53 [13:21:53.552] INFO: ivc-integration:test:native bb - time to construct proving key: 129 ms. (mem: 719.02 MiB) 13:21:53 [13:21:53.740] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57f5b9c4f440 (mem: 719.02 MiB) 13:21:53 computing folding proof (mem: 13:21:53 [13:21:53.740] INFO: ivc-integration:test:native bb - 719.02 MiB) 13:21:53 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 719.02 MiB) 13:21:54 [13:21:54.084] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 719.02 MiB) 13:21:54 [13:21:54.153] INFO: ivc-integration:test:native bb - perturbator round (mem: 719.02 MiB) 13:21:54 [13:21:54.221] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 719.18 MiB) 13:21:54 [13:21:54.351] INFO: ivc-integration:test:native bb - folded (mem: 719.18 MiB) 13:21:54 constructed folding proof (mem: 719.18 MiB) 13:21:54 [13:21:54.352] INFO: ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 719.18 MiB) 13:21:54 Minimum required block sizes for structured trace: (mem: 719.18 MiB) 13:21:54 (mem: 719.18 MiB) 13:21:54 prove decider... (mem: 719.18 MiB) 13:21:54 [13:21:54.353] INFO: ivc-integration:test:native bb - ecc_op : 792 13:21:54 busread : 16 13:21:54 lookup : 2 13:21:54 pub_inputs : 36 13:21:54 arithmetic : 12208 13:21:54 delta_range : 2981 13:21:54 elliptic : 2 13:21:54 aux : 350 13:21:54 poseidon2_external : 4982 13:21:54 poseidon2_internal : 28388 13:21:54 overflow : 0 13:21:54 [13:21:54.453] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 719.18 MiB) 13:21:54 [13:21:54.580] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 719.18 MiB) 13:21:55 [13:21:55.217] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 719.18 MiB) 13:21:55 [13:21:55.369] INFO: ivc-integration:test:native bb - computed opening proof (mem: 719.18 MiB) 13:21:55 finished decider proving. (mem: 719.18 MiB) 13:21:55 [13:21:55.384] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 719.18 MiB) 13:21:55 [13:21:55.495] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 719.18 MiB) 13:21:55 [13:21:55.501] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 719.18 MiB) 13:21:55 [13:21:55.581] INFO: ivc-integration:test:native bb - populating trace... (mem: 719.18 MiB) 13:21:55 [13:21:55.609] INFO: ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 719.18 MiB) 13:21:56 [13:21:56.312] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 719.18 MiB) 13:21:56 [13:21:56.631] INFO: ivc-integration:test:native bb - created oink proof 13:21:56 [13:21:56.633] INFO: ivc-integration:test:native bb - (mem: 719.18 MiB) 13:21:56 [13:21:56.768] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 719.18 MiB) 13:21:57 [13:21:57.243] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 719.18 MiB) 13:21:57 [13:21:57.672] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 719.18 MiB) 13:21:57 [13:21:57.735] INFO: ivc-integration:test:native bb - computed opening proof (mem: 719.18 MiB) 13:21:57 finished decider proving. (mem: 719.18 MiB) 13:21:57 [13:21:57.735] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 719.18 MiB) 13:21:57 [13:21:57.837] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 719.18 MiB) 13:21:58 [13:21:58.011] 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: 719.18 MiB) 13:21:58 [13:21:58.020] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 719.18 MiB) 13:21:58 [13:21:58.999] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 719.18 MiB) 13:22:01 [13:22:01.133] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 719.18 MiB) 13:22:06 [13:22:06.903] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 719.18 MiB) 13:22:06 prove translator... (mem: 719.18 MiB) 13:22:08 [13:22:08.358] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 737.45 MiB) 13:22:10 [13:22:10.885] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 737.45 MiB) 13:22:12 [13:22:12.378] INFO: ivc-integration:test:native bb - computed opening proof (mem: 737.45 MiB) 13:22:12 [13:22:12.379] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 737.45 MiB) 13:22:12 [13:22:12.380] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 737.45 MiB) 13:22:12 [13:22:12.402] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 737.45 MiB) 13:22:12 libra_evals_verified: 1 (mem: 737.45 MiB) 13:22:12 pairing_check_verified: 1 (mem: 737.45 MiB) 13:22:12 Mega verified: 1 (mem: 737.45 MiB) 13:22:12 [13:22:12.477] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 737.45 MiB) 13:22:12 batch opening verified?: 1 (mem: 737.45 MiB) 13:22:12 eccvm consistency check verified?: 1 (mem: 737.45 MiB) 13:22:12 translation masking consistency checked?: 1 (mem: 737.45 MiB) 13:22:12 [13:22:12.497] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 737.45 MiB) 13:22:12 eccvm verified?: 1 (mem: 737.45 MiB) 13:22:12 accumulator construction_verified?: 1 (mem: 737.45 MiB) 13:22:12 translation verified?: 1 (mem: 737.45 MiB) 13:22:12 consistency verified?: 1 (mem: 737.45 MiB) 13:22:12 Goblin verified: 1 (mem: 737.45 MiB) 13:22:12 [13:22:12.498] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-3JrXnJ" (mem: 737.45 MiB) 13:22:12 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-3JrXnJ" (mem: 737.45 MiB) 13:22:12 BN254 commitment key size: 262144 (mem: 737.45 MiB) 13:22:12 [13:22:12.500] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 737.45 MiB) 13:22:12 [13:22:12.502] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 737.45 MiB) 13:22:12 goblin ecc op : 4/1024 (mem: 737.45 MiB) 13:22:12 busread : 3/6000 (mem: 13:22:12 [13:22:12.502] INFO: ivc-integration:test:native bb - 737.45 MiB) 13:22:12 lookups : 2/15000 (mem: 737.45 MiB) 13:22:12 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 737.45 MiB) 13:22:12 arithmetic : 1773/56000 (mem: 737.45 MiB) 13:22:12 delta range : 1754/18000 (mem: 737.45 MiB) 13:22:12 elliptic : 2/6000 (mem: 737.45 MiB) 13:22:12 auxiliary : 26/26000 (mem: 737.45 MiB) 13:22:12 poseidon ext : 2/17000 (mem: 737.45 MiB) 13:22:12 poseidon int : 2/92000 (mem: 737.45 MiB) 13:22:12 overflow : 0/0 (mem: 737.45 MiB) 13:22:12 (mem: 737.45 MiB) 13:22:12 Total structured size: 242025 (mem: 737.45 MiB) 13:22:12 allocating polynomials object in proving key... (mem: 737.45 MiB) 13:22:12 [13:22:12.577] INFO: ivc-integration:test:native bb - populating trace... (mem: 737.45 MiB) 13:22:12 [13:22:12.587] INFO: ivc-integration:test:native bb - time to construct proving key: 87 ms. (mem: 737.45 MiB) 13:22:12 [13:22:12.671] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 737.45 MiB) 13:22:12 [13:22:12.880] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 737.45 MiB) 13:22:12 [13:22:12.881] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 737.45 MiB) 13:22:13 [13:22:13.054] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 737.45 MiB) 13:22:13 [13:22:13.066] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 737.45 MiB) 13:22:13 [13:22:13.081] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 737.45 MiB) 13:22:13 [13:22:13.088] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 737.45 MiB) 13:22:13 goblin ecc op : 56/1024 (mem: 737.45 MiB) 13:22:13 busread : 3/6000 (mem: 737.45 MiB) 13:22:13 [13:22:13.089] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 737.45 MiB) 13:22:13 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 737.45 MiB) 13:22:13 arithmetic : 4533/56000 (mem: 737.45 MiB) 13:22:13 delta range : 2060/18000 (mem: 737.45 MiB) 13:22:13 elliptic : 2/6000 (mem: 737.45 MiB) 13:22:13 auxiliary : 50/26000 (mem: 737.45 MiB) 13:22:13 poseidon ext : 1332/17000 (mem: 737.45 MiB) 13:22:13 poseidon int : 7583/92000 (mem: 737.45 MiB) 13:22:13 overflow : 0/0 (mem: 737.45 MiB) 13:22:13 (mem: 737.45 MiB) 13:22:13 Total structured size: 242025 (mem: 737.45 MiB) 13:22:13 allocating polynomials object in proving key... (mem: 737.45 MiB) 13:22:13 [13:22:13.207] INFO: ivc-integration:test:native bb - populating trace... (mem: 737.45 MiB) 13:22:13 [13:22:13.229] INFO: ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 737.45 MiB) 13:22:13 [13:22:13.756] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 737.45 MiB) 13:22:14 [13:22:14.105] INFO: ivc-integration:test:native bb - computing folding proof (mem: 738.45 MiB) 13:22:14 [13:22:14.106] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 738.45 MiB) 13:22:14 [13:22:14.387] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 738.45 MiB) 13:22:14 [13:22:14.489] INFO: ivc-integration:test:native bb - perturbator round (mem: 738.45 MiB) 13:22:14 [13:22:14.563] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 770.45 MiB) 13:22:15 [13:22:15.118] INFO: ivc-integration:test:native bb - folded (mem: 770.45 MiB) 13:22:15 constructed folding proof (mem: 770.45 MiB) 13:22:15 Largest circuit: 15565 gates. Trace details: (mem: 770.45 MiB) 13:22:15 Minimum required block sizes for structured trace: (mem: 770.45 MiB) 13:22:15 [13:22:15.119] INFO: ivc-integration:test:native bb - (mem: 770.45 MiB) 13:22:15 prove decider... (mem: 770.45 MiB) 13:22:15 [13:22:15.119] INFO: ivc-integration:test:native bb - ecc_op : 56 13:22:15 busread : 3 13:22:15 lookup : 2 13:22:15 pub_inputs : 36 13:22:15 arithmetic : 4533 13:22:15 delta_range : 2060 13:22:15 elliptic : 2 13:22:15 aux : 50 13:22:15 poseidon2_external : 1332 13:22:15 poseidon2_internal : 7583 13:22:15 overflow : 0 13:22:15 [13:22:15.268] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 770.45 MiB) 13:22:15 [13:22:15.386] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 770.45 MiB) 13:22:16 [13:22:16.211] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 770.45 MiB) 13:22:16 [13:22:16.300] INFO: ivc-integration:test:native bb - computed opening proof (mem: 770.45 MiB) 13:22:16 finished decider proving. (mem: 770.45 MiB) 13:22:16 [13:22:16.316] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 770.45 MiB) 13:22:16 [13:22:16.418] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 770.45 MiB) 13:22:16 [13:22:16.422] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 13:22:16 [13:22:16.422] INFO: ivc-integration:test:native bb - (mem: 13:22:16 [13:22:16.423] INFO: ivc-integration:test:native bb - 770.45 13:22:16 [13:22:16.423] INFO: ivc-integration:test:native bb - MiB) 13:22:16 [13:22:16.425] INFO: ivc-integration:test:native bb - 13:22:16 [13:22:16.509] INFO: ivc-integration:test:native bb - populating trace... (mem: 770.45 MiB) 13:22:16 [13:22:16.574] INFO: ivc-integration:test:native bb - time to construct proving key: 158 ms. (mem: 770.45 MiB) 13:22:17 [13:22:17.016] INFO: ivc-integration:test:native BB concurrency: 1 13:22:17 [13:22:17.016] 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-3JrXnJ/proof -k /tmp/bb-client-ivc-integration-3JrXnJ/vk -v 13:22:17 [13:22:17.038] INFO: ivc-integration:test:native bb command: verify (mem: 188.34 MiB) 13:22:17 Scheme is: client_ivc, num threads: 1 (mem: 188.34 MiB) 13:22:17 --proof_path: /tmp/bb-client-ivc-integration-3JrXnJ/proof (mem: 188.34 MiB) 13:22:17 --vk_path: /tmp/bb-client-ivc-integration-3JrXnJ/vk (mem: 188.34 MiB) 13:22:17 --verbose: true (mem: 188.34 MiB) 13:22:17 --scheme: client_ivc (mem: 188.34 MiB) 13:22:17 [13:22:17.039] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.34 MiB) 13:22:17 [13:22:17.056] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 188.34 MiB) 13:22:17 [13:22:17.057] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 188.34 MiB) 13:22:17 [13:22:17.074] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.34 MiB) 13:22:17 [13:22:17.075] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 188.34 MiB) 13:22:17 [13:22:17.076] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 188.34 MiB) 13:22:17 libra_evals_verified: 1 (mem: 188.34 MiB) 13:22:17 pairing_check_verified: 1 (mem: 188.34 MiB) 13:22:17 Mega verified: 1 (mem: 188.34 MiB) 13:22:17 [13:22:17.557] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.34 MiB) 13:22:17 batch opening verified?: 1 (mem: 188.34 MiB) 13:22:17 eccvm consistency check verified?: 1 (mem: 188.34 MiB) 13:22:17 translation masking consistency checked?: 1 (mem: 188.34 MiB) 13:22:17 [13:22:17.576] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.34 MiB) 13:22:17 eccvm verified?: 1 (mem: 188.34 MiB) 13:22:17 accumulator construction_verified?: 1 (mem: 188.34 MiB) 13:22:17 translation verified?: 1 (mem: 188.34 MiB) 13:22:17 consistency verified?: 1 (mem: 188.34 MiB) 13:22:17 Goblin verified: 1 (mem: 188.34 MiB) 13:22:17 [13:22:17.577] INFO: ivc-integration:test:native verified: 1 (mem: 188.34 MiB) 13:22:17 PASS src/native_client_ivc_integration.test.ts (75.653 s) 13:22:17 Client IVC Integration 13:22:17 ✓ Should generate a verifiable client IVC proof from a simple mock tx (43870 ms) 13:22:17 ✓ Should generate a verifiable client IVC proof from a complex mock tx (28218 ms) 13:22:17 13:22:17 Test Suites: 1 passed, 1 total 13:22:17 Tests: 2 passed, 2 total 13:22:17 Snapshots: 0 total 13:22:17 Time: 75.734 s 13:22:17 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 13:22:17 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?