ACI ·

Parent Log: http://ci.aztec-labs.com/b5d6a8a821c1b271 Command: 73379369dc8552ae: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/7a1b59a9ea7f085cd243d25401ffbea660430ebd Env: REF_NAME=gh-readonly-queue/next/pr-15163-4608046e462faf9ff3fbee265ba34dbecb5d0b31 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 23 13:45:35 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15163_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 13:45:40 [13:45:40.058] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-swKvcj/ivc-inputs.msgpack 13:45:40 [13:45:40.065] INFO: ivc-integration:test:native bb - BB concurrency: undefined 13:45:40 [13:45:40.066] 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-swKvcj --ivc_inputs_path /tmp/bb-client-ivc-integration-swKvcj/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:45:40 [13:45:40.094] INFO: ivc-integration:test:native bb - bb command: prove (mem: 181.61 MiB) 13:45:40 Scheme is: client_ivc, num threads: 128 (mem: 181.61 MiB) 13:45:40 [13:45:40.095] INFO: ivc-integration:test:native bb - --scheme: client_ivc (mem: 181.61 MiB) 13:45:40 --output_path: /tmp/bb-client-ivc-integration-swKvcj (mem: 181.61 MiB) 13:45:40 --ivc_inputs_path: /tmp/bb-client-ivc-integration-swKvcj/ivc-inputs.msgpack (mem: 181.61 MiB) 13:45:40 --verbose: true (mem: 181.61 MiB) 13:45:40 --write_vk: true (mem: 181.61 MiB) 13:45:40 BN254 commitment key size: 262144 (mem: 181.61 MiB) 13:45:40 [13:45:40.096] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 181.61 MiB) 13:45:40 [13:45:40.168] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 181.61 MiB) 13:45:40 [13:45:40.173] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 181.61 MiB) 13:45:40 Constructing DeciderProvingKey (mem: 181.61 MiB) 13:45:40 [13:45:40.179] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 181.61 MiB) 13:45:40 goblin ecc op : 4/1024 (mem: 181.61 MiB) 13:45:40 busread : 7/6000 (mem: 181.61 MiB) 13:45:40 lookups : 2/15000 (mem: 181.61 MiB) 13:45:40 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 181.61 MiB) 13:45:40 arithmetic : 1760/56000 (mem: 181.61 MiB) 13:45:40 delta range : 1754/18000 (mem: 181.61 MiB) 13:45:40 elliptic : 2/6000 (mem: 181.61 MiB) 13:45:40 auxiliary : 26/26000 (mem: 181.61 MiB) 13:45:40 poseidon ext : 2/17000 (mem: 181.61 MiB) 13:45:40 poseidon int : 2/92000 (mem: 181.61 MiB) 13:45:40 overflow : 0/0 (mem: 181.61 MiB) 13:45:40 (mem: 181.61 MiB) 13:45:40 [13:45:40.180] INFO: ivc-integration:test:native bb - Total structured size: 242025 (mem: 181.61 MiB) 13:45:40 allocating polynomials object in proving key... (mem: 181.61 MiB) 13:45:40 [13:45:40.382] INFO: ivc-integration:test:native bb - populating trace... (mem: 347.37 MiB) 13:45:40 [13:45:40.427] INFO: ivc-integration:test:native bb - time to construct proving key: 252 ms. (mem: 357.37 MiB) 13:45:40 [13:45:40.538] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x635be7bdd200 (mem: 357.37 MiB) 13:45:40 computing oink proof... (mem: 357.37 MiB) 13:45:40 [13:45:40.539] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 357.37 MiB) 13:45:40 [13:45:40.769] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 367.37 MiB) 13:45:40 [13:45:40.777] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 367.37 MiB) 13:45:40 [13:45:40.792] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 367.37 MiB) 13:45:40 Constructing DeciderProvingKey (mem: 367.37 MiB) 13:45:40 [13:45:40.797] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 367.37 MiB) 13:45:40 goblin ecc op : 56/1024 (mem: 367.37 MiB) 13:45:40 busread : 12/6000 (mem: 367.37 MiB) 13:45:40 lookups : 2/15000 (mem: 367.37 MiB) 13:45:40 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 367.37 MiB) 13:45:40 arithmetic : 4677/56000 (mem: 367.37 MiB) 13:45:40 delta range : 2073/18000 (mem: 367.37 MiB) 13:45:40 elliptic : 2/6000 (mem: 367.37 MiB) 13:45:40 auxiliary : 110/26000 (mem: 367.37 MiB) 13:45:40 poseidon ext : 1322/17000 (mem: 367.37 MiB) 13:45:40 poseidon int : 7526/92000 (mem: 367.37 MiB) 13:45:40 overflow : 0/0 (mem: 367.37 MiB) 13:45:40 (mem: 367.37 MiB) 13:45:40 Total structured size: 242025 (mem: 367.37 MiB) 13:45:40 allocating polynomials object in proving key... (mem: 367.37 MiB) 13:45:40 [13:45:40.931] INFO: ivc-integration:test:native bb - populating trace... (mem: 570.37 MiB) 13:45:40 [13:45:40.967] INFO: ivc-integration:test:native bb - time to construct proving key: 174 ms. (mem: 585.37 MiB) 13:45:41 [13:45:41.158] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x635be7be9e40 (mem: 585.37 MiB) 13:45:41 computing folding proof (mem: 585.37 MiB) 13:45:41 [13:45:41.160] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 585.37 MiB) 13:45:41 [13:45:41.493] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 588.37 MiB) 13:45:41 [13:45:41.596] INFO: ivc-integration:test:native bb - perturbator round (mem: 628.37 MiB) 13:45:41 [13:45:41.673] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 661.37 MiB) 13:45:42 [13:45:42.128] INFO: ivc-integration:test:native bb - folded (mem: 661.37 MiB) 13:45:42 [13:45:42.130] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 661.37 MiB) 13:45:42 [13:45:42.152] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 661.37 MiB) 13:45:42 [13:45:42.218] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 661.37 MiB) 13:45:42 Constructing DeciderProvingKey (mem: 661.37 MiB) 13:45:42 [13:45:42.222] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 661.37 MiB) 13:45:42 goblin ecc op : 392/1024 (mem: 661.37 MiB) 13:45:42 busread : 3/6000 (mem: 661.37 MiB) 13:45:42 lookups : 2/15000 (mem: 661.37 MiB) 13:45:42 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 661.37 MiB) 13:45:42 arithmetic : 6913/56000 (mem: 661.37 MiB) 13:45:42 delta range : 2353/18000 (mem: 661.37 MiB) 13:45:42 elliptic : 2/6000 (mem: 661.37 MiB) 13:45:42 auxiliary : 50/26000 (mem: 661.37 MiB) 13:45:42 poseidon ext : 2492/17000 (mem: 661.37 MiB) 13:45:42 poseidon int : 14195/92000 (mem: 661.37 MiB) 13:45:42 overflow : 0/0 (mem: 661.37 MiB) 13:45:42 (mem: 661.37 MiB) 13:45:42 Total structured size: 242025 (mem: 661.37 MiB) 13:45:42 allocating polynomials object in proving key... (mem: 661.37 MiB) 13:45:42 [13:45:42.426] INFO: ivc-integration:test:native bb - populating trace... 13:45:42 [13:45:42.427] INFO: ivc-integration:test:native bb - (mem: 13:45:42 [13:45:42.430] INFO: ivc-integration:test:native bb - 661.37 MiB) 13:45:42 [13:45:42.488] INFO: ivc-integration:test:native bb - time to construct proving key: 270 ms. (mem: 661.37 MiB) 13:45:42 [13:45:42.792] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x635be7bdf5c0 (mem: 661.37 MiB) 13:45:42 computing folding proof (mem: 661.37 MiB) 13:45:42 [13:45:42.793] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 661.37 MiB) 13:45:43 [13:45:43.316] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 661.37 MiB) 13:45:43 [13:45:43.425] INFO: ivc-integration:test:native bb - perturbator round (mem: 661.37 MiB) 13:45:43 [13:45:43.499] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 671.64 MiB) 13:45:43 [13:45:43.848] INFO: ivc-integration:test:native bb - folded (mem: 671.64 MiB) 13:45:43 constructed folding proof (mem: 671.64 MiB) 13:45:43 [13:45:43.849] INFO: ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 671.64 MiB) 13:45:43 Minimum required block sizes for structured trace: (mem: 671.64 MiB) 13:45:43 (mem: 671.64 MiB) 13:45:43 prove decider... (mem: 671.64 MiB) 13:45:43 [13:45:43.850] INFO: ivc-integration:test:native bb - ecc_op : 392 13:45:43 busread : 12 13:45:43 lookup : 2 13:45:43 pub_inputs : 36 13:45:43 arithmetic : 6913 13:45:43 delta_range : 2353 13:45:43 elliptic : 2 13:45:43 aux : 110 13:45:43 poseidon2_external : 2492 13:45:43 poseidon2_internal : 14195 13:45:43 overflow : 0 13:45:44 [13:45:44.072] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 13:45:44 [13:45:44.072] INFO: ivc-integration:test:native bb - (mem: 671.64 MiB) 13:45:44 [13:45:44.262] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 671.64 MiB) 13:45:45 [13:45:45.711] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 671.64 MiB) 13:45:45 [13:45:45.840] INFO: ivc-integration:test:native bb - computed opening proof (mem: 671.64 MiB) 13:45:45 finished decider proving. (mem: 671.64 MiB) 13:45:45 [13:45:45.857] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 671.64 MiB) 13:45:46 [13:45:46.010] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 671.64 MiB) 13:45:46 [13:45:46.014] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 671.64 MiB) 13:45:46 [13:45:46.297] INFO: ivc-integration:test:native bb - populating trace... (mem: 671.64 MiB) 13:45:46 [13:45:46.360] INFO: ivc-integration:test:native bb - time to construct proving key: 351 ms. (mem: 671.64 MiB) 13:45:47 [13:45:47.854] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 671.64 MiB) 13:45:48 [13:45:48.826] INFO: ivc-integration:test:native bb - created oink proof 13:45:48 [13:45:48.828] INFO: ivc-integration:test:native bb - (mem: 671.64 MiB) 13:45:49 [13:45:49.170] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.64 MiB) 13:45:50 [13:45:50.673] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 671.64 MiB) 13:45:52 [13:45:52.535] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 13:45:52 [13:45:52.536] INFO: ivc-integration:test:native bb - (mem: 13:45:52 [13:45:52.536] INFO: ivc-integration:test:native bb - 671.64 13:45:52 [13:45:52.539] INFO: ivc-integration:test:native bb - MiB) 13:45:52 [13:45:52.619] INFO: ivc-integration:test:native bb - computed opening proof (mem: 671.64 MiB) 13:45:52 finished decider proving. (mem: 671.64 MiB) 13:45:52 Constructing a Goblin proof with num ultra ops = 1038 (mem: 671.64 MiB) 13:45:52 [13:45:52.929] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 671.64 MiB) 13:45:53 [13:45:53.559] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 13:45:53 [13:45:53.562] INFO: ivc-integration:test:native bb - (mem: 671.64 MiB) 13:45:53 [13:45:53.572] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 671.64 MiB) 13:45:56 [13:45:56.777] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.64 MiB) 13:45:59 [13:45:59.192] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 673.95 MiB) 13:46:03 [13:46:03.813] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 673.95 MiB) 13:46:03 prove translator... (mem: 673.95 MiB) 13:46:07 [13:46:07.537] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 712.95 MiB) 13:46:10 [13:46:10.531] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 13:46:10 [13:46:10.532] INFO: ivc-integration:test:native bb - (mem: 712.95 MiB) 13:46:14 [13:46:14.411] INFO: ivc-integration:test:native bb - computed opening proof (mem: 713.95 MiB) 13:46:14 [13:46:14.412] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 713.95 MiB) 13:46:14 [13:46:14.413] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 713.95 MiB) 13:46:14 [13:46:14.429] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 713.95 MiB) 13:46:14 libra_evals_verified: 1 (mem: 713.95 MiB) 13:46:14 pairing_check_verified: 1 (mem: 713.95 MiB) 13:46:14 Mega verified: 1 (mem: 713.95 MiB) 13:46:14 [13:46:14.535] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 13:46:14 [13:46:14.537] INFO: ivc-integration:test:native bb - (mem: 713.95 MiB) 13:46:14 batch opening verified?: 1 (mem: 713.95 MiB) 13:46:14 eccvm consistency check verified?: 1 (mem: 713.95 MiB) 13:46:14 translation masking consistency checked?: 1 (mem: 713.95 MiB) 13:46:14 [13:46:14.569] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 713.95 MiB) 13:46:14 eccvm verified?: 1 (mem: 713.95 MiB) 13:46:14 accumulator construction_verified?: 1 (mem: 713.95 MiB) 13:46:14 translation verified?: 1 (mem: 713.95 MiB) 13:46:14 consistency verified?: 1 (mem: 713.95 MiB) 13:46:14 Goblin verified: 1 (mem: 713.95 MiB) 13:46:14 [13:46:14.571] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-swKvcj" (mem: 713.95 MiB) 13:46:14 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-swKvcj" (mem: 713.95 MiB) 13:46:14 BN254 commitment key size: 262144 (mem: 713.95 MiB) 13:46:14 [13:46:14.574] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 713.95 MiB) 13:46:14 [13:46:14.580] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 713.95 MiB) 13:46:14 goblin ecc op : 4/1024 (mem: 713.95 MiB) 13:46:14 busread : 3/6000 (mem: 713.95 MiB) 13:46:14 lookups : 2/15000 (mem: 713.95 MiB) 13:46:14 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 713.95 MiB) 13:46:14 arithmetic : 1773/56000 (mem: 713.95 MiB) 13:46:14 delta range : 1754/18000 (mem: 713.95 MiB) 13:46:14 elliptic : 2/6000 (mem: 713.95 MiB) 13:46:14 auxiliary : 26/26000 (mem: 713.95 MiB) 13:46:14 poseidon ext : 2/17000 (mem: 713.95 MiB) 13:46:14 poseidon int : 2/92000 (mem: 713.95 MiB) 13:46:14 overflow : 0/0 (mem: 713.95 MiB) 13:46:14 (mem: 713.95 MiB) 13:46:14 Total structured size: 242025 (mem: 713.95 MiB) 13:46:14 allocating polynomials object in proving key... (mem: 713.95 MiB) 13:46:14 [13:46:14.833] INFO: ivc-integration:test:native bb - populating trace... (mem: 713.95 MiB) 13:46:14 [13:46:14.852] INFO: ivc-integration:test:native bb - time to construct proving key: 277 ms. (mem: 713.95 MiB) 13:46:15 [13:46:15.025] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 713.95 MiB) 13:46:15 [13:46:15.482] INFO: ivc-integration:test:native bb - computing oink proof... 13:46:15 [13:46:15.483] INFO: ivc-integration:test:native bb - (mem: 13:46:15 [13:46:15.483] INFO: ivc-integration:test:native bb - 713.95 13:46:15 [13:46:15.487] INFO: ivc-integration:test:native bb - MiB) 13:46:15 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 713.95 MiB) 13:46:15 [13:46:15.893] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 713.95 MiB) 13:46:15 [13:46:15.900] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 713.95 MiB) 13:46:15 [13:46:15.915] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 713.95 MiB) 13:46:15 [13:46:15.920] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 713.95 MiB) 13:46:15 goblin ecc op : 56/1024 (mem: 713.95 MiB) 13:46:15 busread : 3/6000 (mem: 713.95 MiB) 13:46:15 lookups : 2/15000 (mem: 713.95 MiB) 13:46:15 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 713.95 MiB) 13:46:15 arithmetic : 4533/56000 (mem: 713.95 MiB) 13:46:15 delta range : 2060/18000 (mem: 713.95 MiB) 13:46:15 elliptic : 2/6000 (mem: 713.95 MiB) 13:46:15 auxiliary : 50/26000 (mem: 713.95 MiB) 13:46:15 poseidon ext : 1332/17000 (mem: 713.95 MiB) 13:46:15 poseidon int : 7583/92000 (mem: 713.95 MiB) 13:46:15 overflow : 0/0 (mem: 713.95 MiB) 13:46:15 (mem: 713.95 MiB) 13:46:15 Total structured size: 242025 (mem: 713.95 MiB) 13:46:15 allocating polynomials object in proving key... (mem: 713.95 MiB) 13:46:16 [13:46:16.148] INFO: ivc-integration:test:native bb - populating trace... (mem: 713.95 MiB) 13:46:16 [13:46:16.183] INFO: ivc-integration:test:native bb - time to construct proving key: 267 ms. (mem: 713.95 MiB) 13:46:16 [13:46:16.429] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 713.95 MiB) 13:46:17 [13:46:17.048] INFO: ivc-integration:test:native bb - computing folding proof (mem: 713.95 MiB) 13:46:17 [13:46:17.051] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 713.95 MiB) 13:46:17 [13:46:17.569] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 13:46:17 [13:46:17.570] INFO: ivc-integration:test:native bb - (mem: 13:46:17 [13:46:17.572] INFO: ivc-integration:test:native bb - 713.95 MiB) 13:46:17 [13:46:17.740] INFO: ivc-integration:test:native bb - perturbator round (mem: 713.95 MiB) 13:46:17 [13:46:17.823] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 745.95 MiB) 13:46:18 [13:46:18.210] INFO: ivc-integration:test:native bb - folded (mem: 745.95 MiB) 13:46:18 constructed folding proof (mem: 745.95 MiB) 13:46:18 Largest circuit: 15565 gates. Trace details: (mem: 745.95 MiB) 13:46:18 Minimum required block sizes for structured trace: (mem: 745.95 MiB) 13:46:18 (mem: 745.95 MiB) 13:46:18 prove decider... (mem: 745.95 MiB) 13:46:18 [13:46:18.211] INFO: ivc-integration:test:native bb - ecc_op : 56 13:46:18 busread : 3 13:46:18 lookup : 2 13:46:18 pub_inputs : 36 13:46:18 arithmetic : 4533 13:46:18 delta_range : 2060 13:46:18 elliptic : 2 13:46:18 aux : 50 13:46:18 poseidon2_external : 1332 13:46:18 poseidon2_internal : 7583 13:46:18 overflow : 0 13:46:18 [13:46:18.391] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 745.95 MiB) 13:46:18 [13:46:18.496] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 745.95 MiB) 13:46:20 [13:46:20.414] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 745.95 MiB) 13:46:20 [13:46:20.604] INFO: ivc-integration:test:native bb - computed opening proof (mem: 745.95 MiB) 13:46:20 finished decider proving. (mem: 745.95 MiB) 13:46:20 [13:46:20.626] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 745.95 MiB) 13:46:20 [13:46:20.753] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 745.95 MiB) 13:46:20 [13:46:20.763] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 745.95 MiB) 13:46:20 [13:46:20.904] INFO: ivc-integration:test:native bb - populating trace... (mem: 745.95 MiB) 13:46:20 [13:46:20.958] INFO: ivc-integration:test:native bb - time to construct proving key: 205 ms. (mem: 745.95 MiB) 13:46:21 [13:46:21.960] INFO: ivc-integration:test:native BB concurrency: 1 13:46:21 [13:46:21.960] 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-swKvcj/proof -k /tmp/bb-client-ivc-integration-swKvcj/vk -v 13:46:21 [13:46:21.990] INFO: ivc-integration:test:native bb command: verify (mem: 181.61 MiB) 13:46:21 Scheme is: client_ivc, num threads: 1 (mem: 181.61 MiB) 13:46:21 --proof_path: /tmp/bb-client-ivc-integration-swKvcj/proof (mem: 181.61 MiB) 13:46:21 --vk_path: /tmp/bb-client-ivc-integration-swKvcj/vk (mem: 181.61 MiB) 13:46:21 --verbose: true (mem: 181.61 MiB) 13:46:21 --scheme: client_ivc (mem: 181.61 MiB) 13:46:21 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 181.61 MiB) 13:46:22 [13:46:22.014] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 181.61 MiB) 13:46:22 [13:46:22.017] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 181.61 MiB) 13:46:22 [13:46:22.044] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 181.61 MiB) 13:46:22 Initialized BN254 CRS from memory with num points = 1 (mem: 181.61 MiB) 13:46:22 sumcheck_verified: 1 (mem: 181.61 MiB) 13:46:22 libra_evals_verified: 1 (mem: 181.61 MiB) 13:46:22 pairing_check_verified: 1 (mem: 181.61 MiB) 13:46:22 Mega verified: 1 (mem: 181.61 MiB) 13:46:22 [13:46:22.540] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 13:46:22 [13:46:22.541] INFO: ivc-integration:test:native (mem: 181.61 MiB) 13:46:22 batch opening verified?: 1 (mem: 181.61 MiB) 13:46:22 eccvm consistency check verified?: 1 (mem: 181.61 MiB) 13:46:22 translation masking consistency checked?: 1 (mem: 181.61 MiB) 13:46:22 [13:46:22.573] INFO: ivc-integration:test:native merge verified?: 1 (mem: 181.61 MiB) 13:46:22 eccvm verified?: 1 (mem: 181.61 MiB) 13:46:22 accumulator construction_verified?: 1 (mem: 181.61 MiB) 13:46:22 translation verified?: 1 (mem: 181.61 MiB) 13:46:22 consistency verified?: 1 (mem: 181.61 MiB) 13:46:22 Goblin verified: 1 (mem: 181.61 MiB) 13:46:22 verified: 1 (mem: 181.61 MiB) 13:46:22 [13:46:22.633] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-vpZ3DT/ivc-inputs.msgpack 13:46:22 [13:46:22.635] INFO: ivc-integration:test:native bb - BB concurrency: undefined 13:46:22 [13:46:22.635] 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-vpZ3DT --ivc_inputs_path /tmp/bb-client-ivc-integration-vpZ3DT/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:46:22 [13:46:22.658] INFO: ivc-integration:test:native bb - bb command: prove (mem: 182.73 MiB) 13:46:22 Scheme is: client_ivc, num threads: 128 (mem: 182.73 MiB) 13:46:22 --scheme: client_ivc (mem: 182.73 MiB) 13:46:22 --output_path: /tmp/bb-client-ivc-integration-vpZ3DT 13:46:22 [13:46:22.659] INFO: ivc-integration:test:native bb - (mem: 182.73 MiB) 13:46:22 --ivc_inputs_path: /tmp/bb-client-ivc-integration-vpZ3DT/ivc-inputs.msgpack (mem: 182.73 MiB) 13:46:22 --verbose: true (mem: 182.73 MiB) 13:46:22 --write_vk: true (mem: 182.73 MiB) 13:46:22 [13:46:22.663] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 182.73 MiB) 13:46:22 [13:46:22.663] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 182.73 MiB) 13:46:22 [13:46:22.727] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 182.73 MiB) 13:46:22 [13:46:22.731] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 182.73 MiB) 13:46:22 Constructing DeciderProvingKey (mem: 182.73 MiB) 13:46:22 [13:46:22.735] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 182.73 MiB) 13:46:22 goblin ecc op : 4/1024 (mem: 182.73 MiB) 13:46:22 busread : 7/6000 (mem: 182.73 MiB) 13:46:22 lookups : 2/15000 (mem: 182.73 MiB) 13:46:22 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 182.73 MiB) 13:46:22 arithmetic : 1760/56000 (mem: 182.73 MiB) 13:46:22 delta range : 1754/18000 (mem: 182.73 MiB) 13:46:22 elliptic : 2/6000 (mem: 182.73 MiB) 13:46:22 auxiliary : 26/26000 (mem: 182.73 MiB) 13:46:22 poseidon ext : 2/17000 (mem: 182.73 MiB) 13:46:22 poseidon int : 2/92000 (mem: 182.73 MiB) 13:46:22 [13:46:22.736] INFO: ivc-integration:test:native bb - overflow : 0/0 (mem: 182.73 MiB) 13:46:22 (mem: 182.73 MiB) 13:46:22 Total structured size: 242025 (mem: 182.73 MiB) 13:46:22 allocating polynomials object in proving key... (mem: 182.73 MiB) 13:46:22 [13:46:22.913] INFO: ivc-integration:test:native bb - populating trace... (mem: 349.00 MiB) 13:46:22 [13:46:22.938] INFO: ivc-integration:test:native bb - time to construct proving key: 206 ms. (mem: 361.00 MiB) 13:46:23 [13:46:23.074] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5aa78a9faf80 (mem: 361.00 MiB) 13:46:23 computing oink proof... (mem: 361.00 MiB) 13:46:23 [13:46:23.074] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 361.00 MiB) 13:46:23 [13:46:23.302] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 373.00 MiB) 13:46:23 [13:46:23.309] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 373.00 MiB) 13:46:23 [13:46:23.328] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 373.00 MiB) 13:46:23 Constructing DeciderProvingKey (mem: 373.00 MiB) 13:46:23 [13:46:23.332] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 373.00 MiB) 13:46:23 goblin ecc op : 56/1024 (mem: 373.00 MiB) 13:46:23 busread : 12/6000 (mem: 373.00 MiB) 13:46:23 [13:46:23.333] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 373.00 MiB) 13:46:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 373.00 MiB) 13:46:23 arithmetic : 4677/56000 (mem: 373.00 MiB) 13:46:23 delta range : 2073/18000 (mem: 373.00 MiB) 13:46:23 elliptic : 2/6000 (mem: 373.00 MiB) 13:46:23 auxiliary : 110/26000 (mem: 373.00 MiB) 13:46:23 poseidon ext : 1322/17000 (mem: 373.00 MiB) 13:46:23 poseidon int : 7526/92000 (mem: 373.00 MiB) 13:46:23 overflow : 0/0 (mem: 373.00 MiB) 13:46:23 (mem: 373.00 MiB) 13:46:23 Total structured size: 242025 (mem: 373.00 MiB) 13:46:23 allocating polynomials object in proving key... (mem: 373.00 MiB) 13:46:23 [13:46:23.522] INFO: ivc-integration:test:native bb - populating trace... (mem: 577.00 MiB) 13:46:23 [13:46:23.559] INFO: ivc-integration:test:native bb - time to construct proving key: 229 ms. (mem: 595.00 MiB) 13:46:23 [13:46:23.730] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5aa78aa04240 (mem: 595.00 MiB) 13:46:23 computing folding proof (mem: 595.00 MiB) 13:46:23 [13:46:23.730] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 595.00 MiB) 13:46:24 [13:46:24.117] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 596.00 MiB) 13:46:24 [13:46:24.239] INFO: ivc-integration:test:native bb - perturbator round (mem: 632.00 MiB) 13:46:24 [13:46:24.309] INFO: ivc-integration:test:native bb - combiner quotient round 13:46:24 [13:46:24.310] INFO: ivc-integration:test:native bb - (mem: 13:46:24 [13:46:24.314] INFO: ivc-integration:test:native bb - 664.00 MiB) 13:46:24 [13:46:24.595] INFO: ivc-integration:test:native bb - folded (mem: 664.00 MiB) 13:46:24 constructed folding proof (mem: 13:46:24 [13:46:24.596] INFO: ivc-integration:test:native bb - 664.00 MiB) 13:46:24 [13:46:24.598] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 664.00 MiB) 13:46:24 Constructing DeciderProvingKey (mem: 664.00 MiB) 13:46:24 [13:46:24.602] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 664.00 MiB) 13:46:24 goblin ecc op : 4/1024 (mem: 664.00 MiB) 13:46:24 busread : 7/6000 13:46:24 [13:46:24.602] INFO: ivc-integration:test:native bb - (mem: 664.00 MiB) 13:46:24 lookups : 2/15000 (mem: 664.00 MiB) 13:46:24 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 664.00 MiB) 13:46:24 arithmetic : 1760/56000 (mem: 664.00 MiB) 13:46:24 delta range : 1754/18000 (mem: 664.00 MiB) 13:46:24 elliptic : 2/6000 (mem: 664.00 MiB) 13:46:24 auxiliary : 26/26000 (mem: 664.00 MiB) 13:46:24 poseidon ext : 2/17000 (mem: 664.00 MiB) 13:46:24 poseidon int : 2/92000 (mem: 664.00 MiB) 13:46:24 overflow : 0/0 (mem: 664.00 MiB) 13:46:24 (mem: 664.00 MiB) 13:46:24 Total structured size: 242025 (mem: 664.00 MiB) 13:46:24 allocating polynomials object in proving key... (mem: 664.00 MiB) 13:46:24 [13:46:24.677] INFO: ivc-integration:test:native bb - populating trace... (mem: 664.00 MiB) 13:46:24 [13:46:24.689] INFO: ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 664.00 MiB) 13:46:24 [13:46:24.756] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5aa78a9f67c0 (mem: 664.00 MiB) 13:46:24 computing folding proof (mem: 664.00 MiB) 13:46:24 [13:46:24.757] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 664.00 MiB) 13:46:24 [13:46:24.942] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 664.00 MiB) 13:46:25 [13:46:25.032] INFO: ivc-integration:test:native bb - perturbator round (mem: 664.00 MiB) 13:46:25 [13:46:25.067] INFO: ivc-integration:test:native bb - combiner quotient round 13:46:25 [13:46:25.072] INFO: ivc-integration:test:native bb - (mem: 664.00 MiB) 13:46:25 [13:46:25.283] INFO: ivc-integration:test:native bb - folded (mem: 664.00 MiB) 13:46:25 [13:46:25.283] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 664.00 MiB) 13:46:25 [13:46:25.292] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 664.00 MiB) 13:46:25 [13:46:25.352] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 664.00 MiB) 13:46:25 [13:46:25.391] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 664.00 MiB) 13:46:25 Constructing DeciderProvingKey (mem: 664.00 MiB) 13:46:25 [13:46:25.396] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 664.00 MiB) 13:46:25 goblin ecc op : 792/1024 (mem: 664.00 13:46:25 [13:46:25.397] INFO: ivc-integration:test:native bb - MiB) 13:46:25 busread : 12/6000 (mem: 664.00 MiB) 13:46:25 lookups : 2/15000 (mem: 664.00 MiB) 13:46:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 664.00 MiB) 13:46:25 arithmetic : 12208/56000 (mem: 664.00 MiB) 13:46:25 delta range : 2981/18000 (mem: 664.00 MiB) 13:46:25 elliptic : 2/6000 (mem: 664.00 MiB) 13:46:25 auxiliary : 350/26000 (mem: 664.00 MiB) 13:46:25 poseidon ext : 4982/17000 (mem: 664.00 MiB) 13:46:25 poseidon int : 28388/92000 (mem: 664.00 MiB) 13:46:25 overflow : 0/0 (mem: 664.00 MiB) 13:46:25 (mem: 664.00 MiB) 13:46:25 Total structured size: 242025 (mem: 664.00 MiB) 13:46:25 allocating polynomials object in proving key... (mem: 664.00 MiB) 13:46:25 [13:46:25.510] INFO: ivc-integration:test:native bb - populating trace... (mem: 664.00 MiB) 13:46:25 [13:46:25.600] INFO: ivc-integration:test:native bb - time to construct proving key: 207 ms. (mem: 664.00 MiB) 13:46:25 [13:46:25.675] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5aa78aa78100 (mem: 664.00 MiB) 13:46:25 computing folding proof (mem: 664.00 MiB) 13:46:25 [13:46:25.677] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 664.00 MiB) 13:46:26 [13:46:26.077] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 664.00 MiB) 13:46:26 [13:46:26.166] INFO: ivc-integration:test:native bb - perturbator round (mem: 681.18 MiB) 13:46:26 [13:46:26.224] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 713.18 MiB) 13:46:26 [13:46:26.376] INFO: ivc-integration:test:native bb - folded (mem: 713.18 MiB) 13:46:26 constructed folding proof (mem: 713.18 MiB) 13:46:26 [13:46:26.384] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 713.18 MiB) 13:46:26 [13:46:26.446] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 13:46:26 [13:46:26.446] INFO: ivc-integration:test:native bb - (mem: 13:46:26 [13:46:26.447] INFO: ivc-integration:test:native bb - 713.18 13:46:26 [13:46:26.447] INFO: ivc-integration:test:native bb - MiB) 13:46:26 [13:46:26.451] INFO: ivc-integration:test:native bb - 13:46:26 Constructing DeciderProvingKey (mem: 713.18 MiB) 13:46:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 713.18 MiB) 13:46:26 goblin ecc op : 392/1024 (mem: 713.18 MiB) 13:46:26 busread : 16/6000 (mem: 713.18 MiB) 13:46:26 lookups : 2/15000 (mem: 713.18 MiB) 13:46:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 713.18 MiB) 13:46:26 arithmetic : 6978/56000 (mem: 713.18 MiB) 13:46:26 delta range : 2367/18000 (mem: 713.18 MiB) 13:46:26 elliptic : 2/6000 (mem: 713.18 MiB) 13:46:26 auxiliary : 77/26000 (mem: 713.18 MiB) 13:46:26 poseidon ext : 2492/17000 (mem: 713.18 MiB) 13:46:26 poseidon int : 14195/92000 (mem: 713.18 MiB) 13:46:26 overflow : 0/0 (mem: 713.18 MiB) 13:46:26 (mem: 713.18 MiB) 13:46:26 Total structured size: 242025 (mem: 713.18 MiB) 13:46:26 allocating polynomials object in proving key... (mem: 713.18 MiB) 13:46:26 [13:46:26.522] INFO: ivc-integration:test:native bb - populating trace... (mem: 713.18 MiB) 13:46:26 [13:46:26.558] INFO: ivc-integration:test:native bb - time to construct proving key: 109 ms. (mem: 713.18 MiB) 13:46:26 [13:46:26.684] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5aa78a9eabc0 (mem: 713.18 MiB) 13:46:26 computing folding proof (mem: 713.18 MiB) 13:46:26 [13:46:26.684] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 713.18 MiB) 13:46:26 [13:46:26.873] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 713.18 MiB) 13:46:26 [13:46:26.929] INFO: ivc-integration:test:native bb - perturbator round (mem: 713.18 MiB) 13:46:26 [13:46:26.976] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 714.01 MiB) 13:46:27 [13:46:27.163] INFO: ivc-integration:test:native bb - folded (mem: 714.01 MiB) 13:46:27 constructed folding proof (mem: 714.01 MiB) 13:46:27 [13:46:27.171] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 714.01 MiB) 13:46:27 [13:46:27.236] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 714.01 MiB) 13:46:27 Constructing DeciderProvingKey (mem: 714.01 MiB) 13:46:27 [13:46:27.238] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 13:46:27 [13:46:27.238] INFO: ivc-integration:test:native bb - (mem: 13:46:27 [13:46:27.238] INFO: ivc-integration:test:native bb - 714.01 13:46:27 [13:46:27.239] INFO: ivc-integration:test:native bb - MiB) 13:46:27 [13:46:27.239] INFO: ivc-integration:test:native bb - 13:46:27 [13:46:27.239] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 13:46:27 [13:46:27.240] INFO: ivc-integration:test:native bb - (mem: 13:46:27 [13:46:27.240] INFO: ivc-integration:test:native bb - 714.01 13:46:27 [13:46:27.240] INFO: ivc-integration:test:native bb - MiB) 13:46:27 [13:46:27.240] INFO: ivc-integration:test:native bb - 13:46:27 [13:46:27.242] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 714.01 MiB) 13:46:27 lookups : 2/15000 (mem: 714.01 MiB) 13:46:27 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 714.01 MiB) 13:46:27 arithmetic : 6913/56000 (mem: 714.01 MiB) 13:46:27 delta range : 2353/18000 (mem: 714.01 MiB) 13:46:27 elliptic : 2/6000 (mem: 714.01 MiB) 13:46:27 auxiliary : 50/26000 (mem: 714.01 MiB) 13:46:27 poseidon ext : 2492/17000 (mem: 714.01 MiB) 13:46:27 poseidon int : 14195/92000 (mem: 714.01 MiB) 13:46:27 overflow : 0/0 (mem: 714.01 MiB) 13:46:27 (mem: 714.01 MiB) 13:46:27 Total structured size: 242025 (mem: 714.01 MiB) 13:46:27 allocating polynomials object in proving key... (mem: 714.01 MiB) 13:46:27 [13:46:27.294] INFO: ivc-integration:test:native bb - populating trace... 13:46:27 [13:46:27.295] INFO: ivc-integration:test:native bb - (mem: 714.01 MiB) 13:46:27 [13:46:27.318] INFO: ivc-integration:test:native bb - time to construct proving key: 84 ms. (mem: 714.01 MiB) 13:46:27 [13:46:27.655] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5aa78aa02440 (mem: 714.01 MiB) 13:46:27 computing folding proof (mem: 714.01 MiB) 13:46:27 [13:46:27.656] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 714.01 MiB) 13:46:28 [13:46:28.063] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 714.01 MiB) 13:46:28 [13:46:28.147] INFO: ivc-integration:test:native bb - perturbator round (mem: 714.01 MiB) 13:46:28 [13:46:28.225] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 714.96 MiB) 13:46:28 [13:46:28.443] INFO: ivc-integration:test:native bb - folded (mem: 714.96 MiB) 13:46:28 [13:46:28.444] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 714.96 MiB) 13:46:28 Largest circuit: 48925 gates. Trace details: (mem: 714.96 MiB) 13:46:28 Minimum required block sizes for structured trace: (mem: 714.96 MiB) 13:46:28 (mem: 714.96 MiB) 13:46:28 prove decider... (mem: 714.96 MiB) 13:46:28 [13:46:28.445] INFO: ivc-integration:test:native bb - ecc_op : 792 13:46:28 busread : 16 13:46:28 lookup : 2 13:46:28 pub_inputs : 36 13:46:28 arithmetic : 12208 13:46:28 delta_range : 2981 13:46:28 elliptic : 2 13:46:28 aux : 350 13:46:28 poseidon2_external : 4982 13:46:28 poseidon2_internal : 28388 13:46:28 overflow : 0 13:46:28 [13:46:28.593] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.96 MiB) 13:46:28 [13:46:28.686] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 714.96 MiB) 13:46:29 [13:46:29.400] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 714.96 MiB) 13:46:29 [13:46:29.490] INFO: ivc-integration:test:native bb - computed opening proof 13:46:29 [13:46:29.491] INFO: ivc-integration:test:native bb - (mem: 714.96 MiB) 13:46:29 finished decider proving. (mem: 714.96 MiB) 13:46:29 [13:46:29.508] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 714.96 MiB) 13:46:29 [13:46:29.593] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 714.96 MiB) 13:46:29 [13:46:29.599] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 714.96 MiB) 13:46:29 [13:46:29.668] INFO: ivc-integration:test:native bb - populating trace... (mem: 714.96 MiB) 13:46:29 [13:46:29.704] INFO: ivc-integration:test:native bb - time to construct proving key: 110 ms. (mem: 714.96 MiB) 13:46:30 [13:46:30.446] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 714.96 MiB) 13:46:30 [13:46:30.823] INFO: ivc-integration:test:native bb - created oink proof (mem: 714.96 MiB) 13:46:30 [13:46:30.996] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.96 MiB) 13:46:31 [13:46:31.440] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 714.96 MiB) 13:46:31 [13:46:31.800] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 714.96 MiB) 13:46:31 [13:46:31.836] INFO: ivc-integration:test:native bb - computed opening proof (mem: 714.96 MiB) 13:46:31 finished decider proving. (mem: 714.96 MiB) 13:46:31 [13:46:31.837] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 714.96 MiB) 13:46:31 [13:46:31.931] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 714.96 MiB) 13:46:32 [13:46:32.133] 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.96 MiB) 13:46:32 [13:46:32.144] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 714.96 MiB) 13:46:32 [13:46:32.911] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.96 MiB) 13:46:34 [13:46:34.101] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 714.96 MiB) 13:46:40 [13:46:40.214] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 714.96 MiB) 13:46:40 prove translator... (mem: 714.96 MiB) 13:46:42 [13:46:42.718] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 727.53 MiB) 13:46:44 [13:46:44.974] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 728.53 MiB) 13:46:47 [13:46:47.397] INFO: ivc-integration:test:native bb - computed opening proof (mem: 728.53 MiB) 13:46:47 [13:46:47.398] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 728.53 MiB) 13:46:47 [13:46:47.399] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 728.53 MiB) 13:46:47 [13:46:47.418] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 728.53 MiB) 13:46:47 libra_evals_verified: 1 (mem: 728.53 MiB) 13:46:47 pairing_check_verified: 1 (mem: 728.53 MiB) 13:46:47 Mega verified: 1 (mem: 728.53 MiB) 13:46:47 [13:46:47.492] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 729.53 MiB) 13:46:47 batch opening verified?: 1 (mem: 729.53 MiB) 13:46:47 eccvm consistency check verified?: 1 (mem: 729.53 MiB) 13:46:47 translation masking consistency checked?: 1 (mem: 729.53 MiB) 13:46:47 [13:46:47.515] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 729.53 MiB) 13:46:47 eccvm verified?: 1 (mem: 729.53 MiB) 13:46:47 accumulator construction_verified?: 1 (mem: 729.53 MiB) 13:46:47 translation verified?: 1 (mem: 729.53 13:46:47 [13:46:47.516] INFO: ivc-integration:test:native bb - MiB) 13:46:47 consistency verified?: 1 (mem: 729.53 MiB) 13:46:47 Goblin verified: 1 (mem: 729.53 MiB) 13:46:47 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-vpZ3DT" (mem: 729.53 MiB) 13:46:47 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-vpZ3DT" (mem: 729.53 MiB) 13:46:47 BN254 commitment key size: 262144 (mem: 729.53 MiB) 13:46:47 [13:46:47.519] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 729.53 13:46:47 [13:46:47.519] INFO: ivc-integration:test:native bb - MiB) 13:46:47 [13:46:47.522] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 729.53 MiB) 13:46:47 [13:46:47.524] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 729.53 MiB) 13:46:47 busread : 3/6000 (mem: 729.53 MiB) 13:46:47 lookups : 2/15000 (mem: 729.53 MiB) 13:46:47 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 729.53 MiB) 13:46:47 arithmetic : 1773/56000 (mem: 729.53 MiB) 13:46:47 delta range : 1754/18000 (mem: 729.53 MiB) 13:46:47 elliptic : 2/6000 (mem: 729.53 MiB) 13:46:47 auxiliary : 26/26000 (mem: 729.53 MiB) 13:46:47 poseidon ext : 2/17000 (mem: 729.53 MiB) 13:46:47 poseidon int : 2/92000 (mem: 729.53 MiB) 13:46:47 overflow : 0/0 (mem: 729.53 MiB) 13:46:47 (mem: 729.53 MiB) 13:46:47 Total structured size: 242025 (mem: 729.53 MiB) 13:46:47 allocating polynomials object in proving key... (mem: 729.53 MiB) 13:46:47 [13:46:47.642] INFO: ivc-integration:test:native bb - populating trace... (mem: 729.53 MiB) 13:46:47 [13:46:47.651] INFO: ivc-integration:test:native bb - time to construct proving key: 131 ms. (mem: 729.53 MiB) 13:46:47 [13:46:47.761] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 729.53 MiB) 13:46:47 [13:46:47.993] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 729.53 MiB) 13:46:47 [13:46:47.994] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 729.53 MiB) 13:46:48 [13:46:48.550] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 729.53 MiB) 13:46:48 [13:46:48.555] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c 13:46:48 [13:46:48.556] INFO: ivc-integration:test:native bb - (mem: 13:46:48 [13:46:48.556] INFO: ivc-integration:test:native bb - 729.53 13:46:48 [13:46:48.558] INFO: ivc-integration:test:native bb - MiB) 13:46:48 [13:46:48.559] INFO: ivc-integration:test:native bb - 13:46:48 [13:46:48.587] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 13:46:48 [13:46:48.596] INFO: ivc-integration:test:native bb - (mem: 729.53 MiB) 13:46:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 729.53 MiB) 13:46:48 goblin ecc op : 56/1024 (mem: 729.53 MiB) 13:46:48 busread : 3/6000 (mem: 729.53 MiB) 13:46:48 lookups : 2/15000 (mem: 729.53 MiB) 13:46:48 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 729.53 MiB) 13:46:48 arithmetic : 4533/56000 (mem: 729.53 MiB) 13:46:48 delta range : 2060/18000 (mem: 729.53 MiB) 13:46:48 elliptic : 2/6000 (mem: 729.53 MiB) 13:46:48 auxiliary : 50/26000 (mem: 729.53 MiB) 13:46:48 poseidon ext : 1332/17000 (mem: 729.53 MiB) 13:46:48 poseidon int : 7583/92000 (mem: 729.53 MiB) 13:46:48 overflow : 0/0 (mem: 729.53 MiB) 13:46:48 (mem: 729.53 MiB) 13:46:48 Total structured size: 242025 (mem: 729.53 MiB) 13:46:48 allocating polynomials object in proving key... (mem: 729.53 MiB) 13:46:48 [13:46:48.800] INFO: ivc-integration:test:native bb - populating trace... (mem: 729.53 MiB) 13:46:48 [13:46:48.820] INFO: ivc-integration:test:native bb - time to construct proving key: 232 ms. (mem: 729.53 MiB) 13:46:48 [13:46:48.930] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 729.53 MiB) 13:46:49 [13:46:49.202] INFO: ivc-integration:test:native bb - computing folding proof (mem: 729.53 MiB) 13:46:49 [13:46:49.207] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 729.53 MiB) 13:46:49 [13:46:49.487] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 730.53 MiB) 13:46:49 [13:46:49.604] INFO: ivc-integration:test:native bb - perturbator round (mem: 730.53 MiB) 13:46:49 [13:46:49.659] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 762.53 MiB) 13:46:49 [13:46:49.865] INFO: ivc-integration:test:native bb - folded (mem: 762.53 MiB) 13:46:49 constructed folding proof (mem: 762.53 MiB) 13:46:49 Largest circuit: 15565 gates. Trace details: (mem: 762.53 MiB) 13:46:49 Minimum required block sizes for structured trace: (mem: 762.53 MiB) 13:46:49 (mem: 762.53 MiB) 13:46:49 prove decider... (mem: 762.53 MiB) 13:46:49 [13:46:49.866] INFO: ivc-integration:test:native bb - ecc_op : 56 13:46:49 busread : 3 13:46:49 lookup : 2 13:46:49 pub_inputs : 36 13:46:49 arithmetic : 4533 13:46:49 delta_range : 2060 13:46:49 elliptic : 2 13:46:49 aux : 50 13:46:49 poseidon2_external : 1332 13:46:49 poseidon2_internal : 7583 13:46:49 overflow : 0 13:46:50 [13:46:50.008] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 762.53 MiB) 13:46:50 [13:46:50.114] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 762.53 MiB) 13:46:50 [13:46:50.829] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 13:46:50 [13:46:50.829] INFO: ivc-integration:test:native bb - (mem: 762.53 MiB) 13:46:50 [13:46:50.926] INFO: ivc-integration:test:native bb - computed opening proof (mem: 762.53 MiB) 13:46:50 finished decider proving. (mem: 762.53 MiB) 13:46:50 [13:46:50.936] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 762.53 MiB) 13:46:51 [13:46:51.029] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 762.53 MiB) 13:46:51 [13:46:51.035] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 762.53 MiB) 13:46:51 [13:46:51.115] INFO: ivc-integration:test:native bb - populating trace... (mem: 762.53 MiB) 13:46:51 [13:46:51.157] INFO: ivc-integration:test:native bb - time to construct proving key: 128 ms. (mem: 762.53 MiB) 13:46:51 [13:46:51.549] INFO: ivc-integration:test:native BB concurrency: 1 13:46:51 [13:46:51.550] 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-vpZ3DT/proof -k /tmp/bb-client-ivc-integration-vpZ3DT/vk -v 13:46:51 [13:46:51.570] INFO: ivc-integration:test:native bb command: verify (mem: 187.79 MiB) 13:46:51 Scheme is: client_ivc, num threads: 1 (mem: 187.79 MiB) 13:46:51 --proof_path: /tmp/bb-client-ivc-integration-vpZ3DT/proof (mem: 187.79 MiB) 13:46:51 --vk_path: /tmp/bb-client-ivc-integration-vpZ3DT/vk (mem: 187.79 MiB) 13:46:51 --verbose: true (mem: 187.79 MiB) 13:46:51 --scheme: client_ivc (mem: 187.79 MiB) 13:46:51 [13:46:51.571] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 187.79 MiB) 13:46:51 [13:46:51.585] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 187.79 MiB) 13:46:51 [13:46:51.586] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 187.79 MiB) 13:46:51 [13:46:51.605] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 187.79 MiB) 13:46:51 Initialized BN254 CRS from memory with num points = 1 (mem: 187.79 MiB) 13:46:51 [13:46:51.606] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 187.79 MiB) 13:46:51 libra_evals_verified: 1 (mem: 187.79 MiB) 13:46:51 pairing_check_verified: 1 (mem: 187.79 MiB) 13:46:51 Mega verified: 1 (mem: 187.79 MiB) 13:46:52 [13:46:52.070] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 187.79 MiB) 13:46:52 batch opening verified?: 1 (mem: 187.79 MiB) 13:46:52 eccvm consistency check verified?: 1 (mem: 187.79 MiB) 13:46:52 translation masking consistency checked?: 1 (mem: 187.79 MiB) 13:46:52 [13:46:52.084] INFO: ivc-integration:test:native merge verified?: 1 (mem: 187.79 MiB) 13:46:52 eccvm verified?: 1 (mem: 187.79 MiB) 13:46:52 accumulator construction_verified?: 1 (mem: 187.79 MiB) 13:46:52 translation verified?: 1 (mem: 187.79 MiB) 13:46:52 consistency verified?: 1 (mem: 187.79 13:46:52 [13:46:52.085] INFO: ivc-integration:test:native MiB) 13:46:52 Goblin verified: 1 (mem: 187.79 MiB) 13:46:52 verified: 1 (mem: 187.79 MiB) 13:46:52 PASS src/native_client_ivc_integration.test.ts (75.822 s) 13:46:52 Client IVC Integration 13:46:52 ✓ Should generate a verifiable client IVC proof from a simple mock tx (42593 ms) 13:46:52 ✓ Should generate a verifiable client IVC proof from a complex mock tx (29509 ms) 13:46:52 13:46:52 Test Suites: 1 passed, 1 total 13:46:52 Tests: 2 passed, 2 total 13:46:52 Snapshots: 0 total 13:46:52 Time: 75.899 s 13:46:52 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 13:46:52 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?