ACI ·

Parent Log: http://ci.aztec-labs.com/4550886f47cecaad Command: 0ad117f24cdb9abe: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/9d6fb0bd1594726370a5f3a56591963452264642 Env: REF_NAME=gh-readonly-queue/next/pr-14985-47c749527b1c3cce3edd9defedc46e89ea00c69e CURRENT_VERSION=0.87.6 CI_FULL=0 Date: Fri Jun 13 17:22:28 UTC 2025 System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-14985_arm64_a1-fast Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 17:22:31 [17:22:31.356] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-R8zWHx/ivc-inputs.msgpack 17:22:31 [17:22:31.361] 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-R8zWHx --ivc_inputs_path /tmp/bb-client-ivc-integration-R8zWHx/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 17:22:31 [17:22:31.374] INFO: ivc-integration:test:native bb - bb command: prove (mem: 143.97 MiB) 17:22:31 [17:22:31.375] INFO: ivc-integration:test:native bb - 17:22:31 Scheme is: client_ivc, num threads: 64 (mem: 143.97 MiB) 17:22:31 --scheme: client_ivc (mem: 143.97 MiB) 17:22:31 --output_path: /tmp/bb-client-ivc-integration-R8zWHx (mem: 143.97 MiB) 17:22:31 --ivc_inputs_path: /tmp/bb-client-ivc-integration-R8zWHx/ivc-inputs.msgpack (mem: 143.97 MiB) 17:22:31 --verbose: true (mem: 143.97 MiB) 17:22:31 --write_vk: true (mem: 143.97 MiB) 17:22:31 [17:22:31.375] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 143.97 MiB) 17:22:31 [17:22:31.407] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 193.50 MiB) 17:22:31 [17:22:31.464] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 241.88 MiB) 17:22:31 [17:22:31.467] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 241.88 MiB) 17:22:31 Constructing DeciderProvingKey (mem: 17:22:31 [17:22:31.467] INFO: ivc-integration:test:native bb - 241.88 MiB) 17:22:31 [17:22:31.470] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 241.88 MiB) 17:22:31 goblin ecc op : 4/1024 (mem: 241.88 MiB) 17:22:31 busread : 7/6000 (mem: 241.88 MiB) 17:22:31 lookups : 2/15000 (mem: 241.88 MiB) 17:22:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 241.88 MiB) 17:22:31 arithmetic : 1760/56000 (mem: 241.88 MiB) 17:22:31 delta range : 1754/18000 (mem: 241.88 MiB) 17:22:31 [17:22:31.471] INFO: ivc-integration:test:native bb - 17:22:31 elliptic : 2/6000 (mem: 241.88 MiB) 17:22:31 auxiliary : 26/26000 (mem: 241.88 MiB) 17:22:31 poseidon ext : 2/17000 (mem: 241.88 MiB) 17:22:31 poseidon int : 2/92000 (mem: 241.88 MiB) 17:22:31 overflow : 0/0 (mem: 241.88 MiB) 17:22:31 (mem: 241.88 MiB) 17:22:31 Total structured size: 242025 (mem: 241.88 MiB) 17:22:31 allocating polynomials object in proving key... (mem: 241.88 MiB) 17:22:31 [17:22:31.520] INFO: ivc-integration:test:native bb - populating trace... (mem: 451.48 MiB) 17:22:31 [17:22:31.534] INFO: ivc-integration:test:native bb - time to construct proving key: 67 ms. (mem: 465.48 MiB) 17:22:31 [17:22:31.547] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xbbfd61c21e00 (mem: 465.48 MiB) 17:22:31 [17:22:31.548] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 465.48 MiB) 17:22:31 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 465.48 MiB) 17:22:32 [17:22:32.080] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 465.98 MiB) 17:22:32 [17:22:32.237] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 474.98 MiB) 17:22:32 [17:22:32.241] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 475.48 MiB) 17:22:32 [17:22:32.249] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 475.48 MiB) 17:22:32 Constructing DeciderProvingKey (mem: 475.48 MiB) 17:22:32 [17:22:32.251] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 475.48 MiB) 17:22:32 goblin ecc op : 56/1024 (mem: 475.48 MiB) 17:22:32 busread : 12/6000 (mem: 475.48 17:22:32 [17:22:32.252] INFO: ivc-integration:test:native bb - MiB) 17:22:32 lookups : 2/15000 (mem: 475.48 MiB) 17:22:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 475.48 MiB) 17:22:32 arithmetic : 4625/56000 (mem: 475.48 MiB) 17:22:32 delta range : 2054/18000 (mem: 475.48 MiB) 17:22:32 elliptic : 2/6000 (mem: 475.48 MiB) 17:22:32 auxiliary : 110/26000 (mem: 475.48 MiB) 17:22:32 poseidon ext : 1302/17000 (mem: 475.48 MiB) 17:22:32 poseidon int : 7412/92000 (mem: 475.48 MiB) 17:22:32 overflow : 0/0 (mem: 475.48 MiB) 17:22:32 (mem: 475.48 MiB) 17:22:32 Total structured size: 242025 (mem: 475.48 MiB) 17:22:32 allocating polynomials object in proving key... (mem: 475.48 MiB) 17:22:32 [17:22:32.298] INFO: ivc-integration:test:native bb - populating trace... (mem: 688.98 MiB) 17:22:32 [17:22:32.308] INFO: ivc-integration:test:native bb - time to construct proving key: 58 ms. (mem: 705.98 MiB) 17:22:32 [17:22:32.334] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xbbfd61c1aac0 (mem: 705.98 MiB) 17:22:32 computing folding proof (mem: 705.98 MiB) 17:22:32 [17:22:32.334] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 705.98 MiB) 17:22:32 [17:22:32.834] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 705.98 MiB) 17:22:33 [17:22:33.113] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.98 MiB) 17:22:33 [17:22:33.161] INFO: ivc-integration:test:native bb - perturbator round (mem: 743.48 MiB) 17:22:33 [17:22:33.193] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 776.98 MiB) 17:22:33 [17:22:33.277] INFO: ivc-integration:test:native bb - folded (mem: 776.98 MiB) 17:22:33 constructed folding proof (mem: 776.98 MiB) 17:22:33 [17:22:33.281] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 776.98 MiB) 17:22:33 [17:22:33.321] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 776.98 MiB) 17:22:33 Constructing DeciderProvingKey (mem: 776.98 MiB) 17:22:33 [17:22:33.323] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 776.98 MiB) 17:22:33 goblin ecc op : 392/1024 (mem: 776.98 MiB) 17:22:33 busread : 3/6000 (mem: 776.98 MiB) 17:22:33 lookups : 2/15000 (mem: 776.98 MiB) 17:22:33 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 776.98 MiB) 17:22:33 [17:22:33.324] INFO: ivc-integration:test:native bb - arithmetic : 6849/56000 (mem: 776.98 MiB) 17:22:33 delta range : 2333/18000 (mem: 776.98 MiB) 17:22:33 elliptic : 2/6000 (mem: 776.98 MiB) 17:22:33 auxiliary : 50/26000 (mem: 776.98 MiB) 17:22:33 poseidon ext : 2472/17000 (mem: 776.98 MiB) 17:22:33 poseidon int : 14081/92000 (mem: 776.98 MiB) 17:22:33 overflow : 0/0 (mem: 776.98 MiB) 17:22:33 (mem: 776.98 MiB) 17:22:33 Total structured size: 242025 (mem: 776.98 MiB) 17:22:33 allocating polynomials object in proving key... (mem: 776.98 MiB) 17:22:33 [17:22:33.330] INFO: ivc-integration:test:native bb - populating trace... (mem: 776.98 MiB) 17:22:33 [17:22:33.344] INFO: ivc-integration:test:native bb - time to construct proving key: 23 ms. (mem: 776.98 MiB) 17:22:33 [17:22:33.368] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xbbfd61c24440 (mem: 776.98 MiB) 17:22:33 computing folding proof (mem: 776.98 MiB) 17:22:33 [17:22:33.369] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 776.98 MiB) 17:22:33 [17:22:33.763] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 776.98 MiB) 17:22:33 [17:22:33.980] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 776.98 MiB) 17:22:34 [17:22:34.028] INFO: ivc-integration:test:native bb - perturbator round (mem: 776.98 MiB) 17:22:34 [17:22:34.060] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 785.86 MiB) 17:22:34 [17:22:34.157] INFO: ivc-integration:test:native bb - folded (mem: 785.86 MiB) 17:22:34 constructed folding proof (mem: 785.86 MiB) 17:22:34 [17:22:34.157] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 785.86 MiB) 17:22:34 Minimum required block sizes for structured trace: (mem: 785.86 MiB) 17:22:34 (mem: 785.86 MiB) 17:22:34 prove decider... (mem: 785.86 MiB) 17:22:34 [17:22:34.158] INFO: ivc-integration:test:native bb - ecc_op : 392 17:22:34 busread : 12 17:22:34 lookup : 2 17:22:34 pub_inputs : 36 17:22:34 arithmetic : 6849 17:22:34 delta_range : 2333 17:22:34 elliptic : 2 17:22:34 aux : 110 17:22:34 poseidon2_external : 2472 17:22:34 poseidon2_internal : 14081 17:22:34 overflow : 0 17:22:34 [17:22:34.227] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 785.86 MiB) 17:22:34 [17:22:34.302] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 785.86 MiB) 17:22:34 [17:22:34.728] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 785.86 MiB) 17:22:34 [17:22:34.795] INFO: ivc-integration:test:native bb - computed opening proof (mem: 785.86 MiB) 17:22:34 finished decider proving. (mem: 785.86 MiB) 17:22:34 [17:22:34.801] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a 17:22:34 [17:22:34.802] INFO: ivc-integration:test:native bb - (mem: 17:22:34 [17:22:34.803] INFO: ivc-integration:test:native bb - 785.86 17:22:34 [17:22:34.804] INFO: ivc-integration:test:native bb - MiB) 17:22:34 [17:22:34.865] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 17:22:34 [17:22:34.865] INFO: ivc-integration:test:native bb - (mem: 17:22:34 [17:22:34.866] INFO: ivc-integration:test:native bb - 785.86 17:22:34 [17:22:34.866] INFO: ivc-integration:test:native bb - MiB) 17:22:34 [17:22:34.867] INFO: ivc-integration:test:native bb - 17:22:34 [17:22:34.870] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 17:22:34 [17:22:34.871] INFO: ivc-integration:test:native bb - (mem: 785.86 MiB) 17:22:34 [17:22:34.920] INFO: ivc-integration:test:native bb - populating trace... (mem: 785.86 MiB) 17:22:34 [17:22:34.947] INFO: ivc-integration:test:native bb - time to construct proving key: 79 ms. (mem: 785.86 MiB) 17:22:35 [17:22:35.233] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 785.86 MiB) 17:22:35 [17:22:35.468] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 785.86 MiB) 17:22:35 [17:22:35.802] INFO: ivc-integration:test:native bb - created oink proof (mem: 785.86 MiB) 17:22:35 [17:22:35.899] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 17:22:35 [17:22:35.900] INFO: ivc-integration:test:native bb - (mem: 17:22:35 [17:22:35.900] INFO: ivc-integration:test:native bb - 785.86 17:22:35 [17:22:35.901] INFO: ivc-integration:test:native bb - MiB) 17:22:36 [17:22:36.158] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 17:22:36 [17:22:36.158] INFO: ivc-integration:test:native bb - (mem: 785.86 MiB) 17:22:36 [17:22:36.519] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 785.86 MiB) 17:22:36 [17:22:36.539] INFO: ivc-integration:test:native bb - computed opening proof (mem: 785.86 MiB) 17:22:36 finished decider proving. (mem: 785.86 MiB) 17:22:36 [17:22:36.539] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 785.86 MiB) 17:22:36 [17:22:36.625] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 785.86 MiB) 17:22:36 [17:22:36.733] 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: 785.86 MiB) 17:22:36 [17:22:36.743] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 785.86 MiB) 17:22:37 [17:22:37.270] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 785.86 MiB) 17:22:37 [17:22:37.990] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 785.86 MiB) 17:22:39 [17:22:39.221] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 785.86 MiB) 17:22:39 prove translator... (mem: 785.86 MiB) 17:22:40 [17:22:40.585] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 799.86 MiB) 17:22:41 [17:22:41.178] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 799.86 MiB) 17:22:41 [17:22:41.724] INFO: ivc-integration:test:native bb - computed opening proof (mem: 799.86 MiB) 17:22:41 [17:22:41.725] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 799.86 MiB) 17:22:41 [17:22:41.725] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 799.86 MiB) 17:22:41 [17:22:41.740] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 800.36 MiB) 17:22:41 libra_evals_verified: 1 (mem: 800.36 MiB) 17:22:41 pairing_check_verified: 1 (mem: 800.36 MiB) 17:22:41 Mega verified: 1 (mem: 800.36 MiB) 17:22:41 [17:22:41.782] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 800.36 MiB) 17:22:41 batch opening verified?: 1 (mem: 800.36 MiB) 17:22:41 eccvm consistency check verified?: 1 (mem: 800.36 MiB) 17:22:41 [17:22:41.783] INFO: ivc-integration:test:native bb - translation masking consistency checked?: 1 (mem: 800.36 MiB) 17:22:41 [17:22:41.801] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 800.36 MiB) 17:22:41 eccvm verified?: 1 (mem: 800.36 MiB) 17:22:41 accumulator construction_verified?: 1 (mem: 800.36 MiB) 17:22:41 translation verified?: 1 (mem: 800.36 MiB) 17:22:41 consistency verified?: 1 (mem: 800.36 MiB) 17:22:41 [17:22:41.801] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 800.36 MiB) 17:22:41 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-R8zWHx" (mem: 800.36 MiB) 17:22:41 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-R8zWHx" (mem: 800.36 MiB) 17:22:41 BN254 commitment key size: 262144 (mem: 800.36 MiB) 17:22:41 [17:22:41.802] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 800.36 MiB) 17:22:41 [17:22:41.804] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 800.36 MiB) 17:22:41 goblin ecc op : 4/1024 (mem: 17:22:41 [17:22:41.804] INFO: ivc-integration:test:native bb - 800.36 MiB) 17:22:41 busread : 3/6000 (mem: 800.36 MiB) 17:22:41 lookups : 2/15000 (mem: 800.36 MiB) 17:22:41 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 800.36 MiB) 17:22:41 arithmetic : 1773/56000 (mem: 800.36 MiB) 17:22:41 delta range : 1754/18000 (mem: 800.36 MiB) 17:22:41 elliptic : 2/6000 (mem: 800.36 MiB) 17:22:41 auxiliary : 26/26000 (mem: 800.36 MiB) 17:22:41 poseidon ext : 2/17000 (mem: 800.36 MiB) 17:22:41 poseidon int : 2/92000 (mem: 800.36 MiB) 17:22:41 overflow : 0/0 (mem: 800.36 MiB) 17:22:41 (mem: 800.36 MiB) 17:22:41 Total structured size: 242025 (mem: 800.36 MiB) 17:22:41 allocating polynomials object in proving key... (mem: 800.36 MiB) 17:22:41 [17:22:41.814] INFO: ivc-integration:test:native bb - populating trace... (mem: 800.36 MiB) 17:22:41 [17:22:41.844] INFO: ivc-integration:test:native bb - time to construct proving key: 41 ms. (mem: 800.36 MiB) 17:22:41 [17:22:41.851] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 800.36 MiB) 17:22:42 [17:22:42.301] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 800.36 MiB) 17:22:42 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 800.36 MiB) 17:22:42 [17:22:42.810] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 800.36 MiB) 17:22:42 [17:22:42.862] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 800.36 MiB) 17:22:42 [17:22:42.866] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 800.36 MiB) 17:22:42 [17:22:42.873] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 800.36 MiB) 17:22:42 [17:22:42.875] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 800.36 MiB) 17:22:42 goblin ecc op : 56/1024 (mem: 800.36 MiB) 17:22:42 [17:22:42.876] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 800.36 MiB) 17:22:42 lookups : 2/15000 (mem: 800.36 MiB) 17:22:42 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 800.36 MiB) 17:22:42 arithmetic : 4481/56000 (mem: 800.36 MiB) 17:22:42 delta range : 2041/18000 (mem: 800.36 MiB) 17:22:42 elliptic : 2/6000 (mem: 800.36 MiB) 17:22:42 auxiliary : 50/26000 (mem: 800.36 MiB) 17:22:42 poseidon ext : 1312/17000 (mem: 800.36 MiB) 17:22:42 poseidon int : 7469/92000 (mem: 800.36 MiB) 17:22:42 overflow : 0/0 (mem: 800.36 MiB) 17:22:42 (mem: 800.36 MiB) 17:22:42 Total structured size: 242025 (mem: 800.36 MiB) 17:22:42 allocating polynomials object in proving key... (mem: 800.36 MiB) 17:22:42 [17:22:42.885] INFO: ivc-integration:test:native bb - populating trace... (mem: 800.36 MiB) 17:22:42 [17:22:42.897] INFO: ivc-integration:test:native bb - time to construct proving key: 23 ms. (mem: 800.36 MiB) 17:22:42 [17:22:42.909] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 800.36 MiB) 17:22:43 [17:22:43.210] INFO: ivc-integration:test:native bb - computing folding proof (mem: 800.36 MiB) 17:22:43 [17:22:43.211] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 800.36 MiB) 17:22:43 [17:22:43.537] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 800.36 MiB) 17:22:43 [17:22:43.738] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 800.36 MiB) 17:22:43 [17:22:43.781] INFO: ivc-integration:test:native bb - perturbator round (mem: 802.36 MiB) 17:22:43 [17:22:43.812] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 834.86 MiB) 17:22:43 [17:22:43.926] INFO: ivc-integration:test:native bb - folded (mem: 834.86 MiB) 17:22:43 constructed folding proof (mem: 834.86 MiB) 17:22:43 [17:22:43.929] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 834.86 MiB) 17:22:43 Minimum required block sizes for structured trace: (mem: 834.86 MiB) 17:22:43 (mem: 834.86 MiB) 17:22:43 prove decider... (mem: 834.86 MiB) 17:22:43 [17:22:43.930] INFO: ivc-integration:test:native bb - ecc_op : 56 17:22:43 busread : 3 17:22:43 lookup : 2 17:22:43 pub_inputs : 36 17:22:43 arithmetic : 4481 17:22:43 delta_range : 2041 17:22:43 elliptic : 2 17:22:43 aux : 50 17:22:43 poseidon2_external : 1312 17:22:43 poseidon2_internal : 7469 17:22:43 overflow : 0 17:22:43 [17:22:43.971] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 834.86 MiB) 17:22:44 [17:22:44.041] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 834.86 MiB) 17:22:44 [17:22:44.423] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 834.86 MiB) 17:22:44 [17:22:44.475] INFO: ivc-integration:test:native bb - computed opening proof (mem: 834.86 MiB) 17:22:44 finished decider proving. (mem: 834.86 MiB) 17:22:44 [17:22:44.481] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 834.86 MiB) 17:22:44 [17:22:44.542] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 834.86 MiB) 17:22:44 [17:22:44.544] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 834.86 MiB) 17:22:44 [17:22:44.550] INFO: ivc-integration:test:native bb - populating trace... (mem: 834.86 MiB) 17:22:44 [17:22:44.565] INFO: ivc-integration:test:native bb - time to construct proving key: 23 ms. (mem: 834.86 MiB) 17:22:44 [17:22:44.793] 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-R8zWHx/proof -k /tmp/bb-client-ivc-integration-R8zWHx/vk -v 17:22:44 [17:22:44.820] INFO: ivc-integration:test:native bb command: verify (mem: 143.97 MiB) 17:22:44 [17:22:44.820] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 64 (mem: 143.97 MiB) 17:22:44 --proof_path: /tmp/bb-client-ivc-integration-R8zWHx/proof (mem: 143.97 MiB) 17:22:44 --vk_path: /tmp/bb-client-ivc-integration-R8zWHx/vk (mem: 143.97 MiB) 17:22:44 --verbose: true (mem: 143.97 MiB) 17:22:44 --scheme: client_ivc (mem: 143.97 MiB) 17:22:44 [17:22:44.839] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 143.97 MiB) 17:22:44 [17:22:44.854] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 143.97 MiB) 17:22:44 [17:22:44.855] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 143.97 MiB) 17:22:44 [17:22:44.871] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 143.97 MiB) 17:22:44 [17:22:44.872] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 513 (mem: 143.97 MiB) 17:22:44 [17:22:44.873] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 143.97 MiB) 17:22:44 libra_evals_verified: 1 (mem: 143.97 MiB) 17:22:44 pairing_check_verified: 1 (mem: 143.97 MiB) 17:22:44 Mega verified: 1 (mem: 143.97 MiB) 17:22:44 [17:22:44.931] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 143.97 MiB) 17:22:44 batch opening verified?: 1 (mem: 143.97 MiB) 17:22:44 eccvm consistency check verified?: 1 (mem: 143.97 MiB) 17:22:44 translation masking consistency checked?: 1 (mem: 143.97 MiB) 17:22:44 [17:22:44.950] INFO: ivc-integration:test:native merge verified?: 1 (mem: 143.97 MiB) 17:22:44 eccvm verified?: 1 (mem: 143.97 MiB) 17:22:44 accumulator construction_verified?: 1 (mem: 143.97 MiB) 17:22:44 translation verified?: 1 (mem: 143.97 MiB) 17:22:44 consistency verified?: 1 (mem: 143.97 MiB) 17:22:44 Goblin verified: 1 (mem: 143.97 MiB) 17:22:44 [17:22:44.952] INFO: ivc-integration:test:native verified: 1 (mem: 143.97 MiB) 17:22:45 [17:22:45.026] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-UWyyB4/ivc-inputs.msgpack 17:22:45 [17:22:45.026] 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-UWyyB4 --ivc_inputs_path /tmp/bb-client-ivc-integration-UWyyB4/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 17:22:45 [17:22:45.042] INFO: ivc-integration:test:native bb - bb command: prove (mem: 147.50 MiB) 17:22:45 [17:22:45.043] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 64 (mem: 147.50 MiB) 17:22:45 --scheme: client_ivc (mem: 147.50 MiB) 17:22:45 --output_path: /tmp/bb-client-ivc-integration-UWyyB4 (mem: 147.50 MiB) 17:22:45 --ivc_inputs_path: /tmp/bb-client-ivc-integration-UWyyB4/ivc-inputs.msgpack (mem: 147.50 MiB) 17:22:45 --verbose: true (mem: 147.50 MiB) 17:22:45 --write_vk: true (mem: 147.50 MiB) 17:22:45 [17:22:45.046] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 147.50 MiB) 17:22:45 [17:22:45.079] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 196.39 MiB) 17:22:45 [17:22:45.137] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 244.70 MiB) 17:22:45 [17:22:45.140] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 244.70 MiB) 17:22:45 Constructing DeciderProvingKey (mem: 244.70 MiB) 17:22:45 [17:22:45.143] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 244.70 MiB) 17:22:45 goblin ecc op : 4/1024 (mem: 244.70 MiB) 17:22:45 busread : 7/6000 (mem: 244.70 MiB) 17:22:45 lookups : 2/15000 (mem: 244.70 MiB) 17:22:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 244.70 MiB) 17:22:45 arithmetic : 1760/56000 17:22:45 [17:22:45.144] INFO: ivc-integration:test:native bb - (mem: 244.70 MiB) 17:22:45 delta range : 1754/18000 (mem: 244.70 MiB) 17:22:45 elliptic : 2/6000 (mem: 244.70 MiB) 17:22:45 auxiliary : 26/26000 (mem: 244.70 MiB) 17:22:45 poseidon ext : 2/17000 (mem: 244.70 MiB) 17:22:45 poseidon int : 2/92000 (mem: 244.70 MiB) 17:22:45 overflow : 0/0 (mem: 244.70 MiB) 17:22:45 (mem: 244.70 MiB) 17:22:45 Total structured size: 242025 (mem: 244.70 MiB) 17:22:45 allocating polynomials object in proving key... (mem: 244.70 MiB) 17:22:45 [17:22:45.176] INFO: ivc-integration:test:native bb - populating trace... (mem: 452.76 MiB) 17:22:45 [17:22:45.181] INFO: ivc-integration:test:native bb - time to construct proving key: 41 ms. (mem: 467.76 MiB) 17:22:45 [17:22:45.187] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb41244055c40 (mem: 468.26 MiB) 17:22:45 computing oink proof... 17:22:45 [17:22:45.187] INFO: ivc-integration:test:native bb - (mem: 468.26 MiB) 17:22:45 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 468.26 MiB) 17:22:45 [17:22:45.660] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 468.26 MiB) 17:22:45 [17:22:45.748] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 477.26 MiB) 17:22:45 [17:22:45.752] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 477.76 MiB) 17:22:45 [17:22:45.760] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 477.76 MiB) 17:22:45 Constructing DeciderProvingKey (mem: 477.76 MiB) 17:22:45 [17:22:45.762] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 477.76 MiB) 17:22:45 goblin ecc op : 56/1024 (mem: 477.76 MiB) 17:22:45 busread : 12/6000 17:22:45 [17:22:45.762] INFO: ivc-integration:test:native bb - (mem: 477.76 MiB) 17:22:45 lookups : 2/15000 (mem: 477.76 MiB) 17:22:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 477.76 MiB) 17:22:45 arithmetic : 4625/56000 (mem: 477.76 MiB) 17:22:45 delta range : 2054/18000 (mem: 477.76 MiB) 17:22:45 elliptic : 2/6000 (mem: 477.76 MiB) 17:22:45 auxiliary : 110/26000 (mem: 477.76 MiB) 17:22:45 poseidon ext : 1302/17000 (mem: 477.76 MiB) 17:22:45 poseidon int : 7412/92000 (mem: 477.76 MiB) 17:22:45 overflow : 0/0 (mem: 477.76 MiB) 17:22:45 (mem: 477.76 MiB) 17:22:45 Total structured size: 242025 (mem: 477.76 MiB) 17:22:45 allocating polynomials object in proving key... (mem: 477.76 MiB) 17:22:45 [17:22:45.807] INFO: ivc-integration:test:native bb - populating trace... (mem: 689.76 MiB) 17:22:45 [17:22:45.817] INFO: ivc-integration:test:native bb - time to construct proving key: 57 ms. (mem: 704.76 MiB) 17:22:45 [17:22:45.838] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb4124405f240 (mem: 704.76 MiB) 17:22:45 computing folding proof (mem: 704.76 MiB) 17:22:45 [17:22:45.838] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 704.76 MiB) 17:22:46 [17:22:46.153] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 704.76 MiB) 17:22:46 [17:22:46.325] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 708.76 MiB) 17:22:46 [17:22:46.367] INFO: ivc-integration:test:native bb - perturbator round (mem: 741.76 MiB) 17:22:46 [17:22:46.404] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 773.76 MiB) 17:22:46 [17:22:46.516] INFO: ivc-integration:test:native bb - folded (mem: 773.76 MiB) 17:22:46 constructed folding proof (mem: 773.76 MiB) 17:22:46 [17:22:46.518] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 773.76 MiB) 17:22:46 [17:22:46.518] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 773.76 MiB) 17:22:46 [17:22:46.519] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 773.76 MiB) 17:22:46 [17:22:46.520] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 773.76 MiB) 17:22:46 busread : 7/6000 (mem: 773.76 MiB) 17:22:46 lookups : 2/15000 (mem: 773.76 MiB) 17:22:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 773.76 MiB) 17:22:46 arithmetic : 1760/56000 (mem: 773.76 MiB) 17:22:46 delta range : 1754/18000 (mem: 773.76 MiB) 17:22:46 elliptic : 2/6000 (mem: 773.76 MiB) 17:22:46 auxiliary : 26/26000 (mem: 773.76 MiB) 17:22:46 poseidon ext : 2/17000 (mem: 773.76 MiB) 17:22:46 poseidon int : 2/92000 (mem: 773.76 MiB) 17:22:46 overflow : 0/0 (mem: 773.76 MiB) 17:22:46 (mem: 773.76 MiB) 17:22:46 Total structured size: 242025 (mem: 773.76 MiB) 17:22:46 allocating polynomials object in proving key... (mem: 773.76 MiB) 17:22:46 [17:22:46.529] INFO: ivc-integration:test:native bb - populating trace... (mem: 773.76 MiB) 17:22:46 [17:22:46.534] INFO: ivc-integration:test:native bb - time to construct proving key: 15 ms. (mem: 773.76 MiB) 17:22:46 [17:22:46.544] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb41244056480 (mem: 773.76 MiB) 17:22:46 computing folding proof (mem: 773.76 MiB) 17:22:46 [17:22:46.545] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 773.76 MiB) 17:22:47 [17:22:47.005] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 773.76 MiB) 17:22:47 [17:22:47.083] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 773.76 MiB) 17:22:47 [17:22:47.124] INFO: ivc-integration:test:native bb - perturbator round (mem: 773.76 MiB) 17:22:47 [17:22:47.155] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 773.98 MiB) 17:22:47 [17:22:47.241] INFO: ivc-integration:test:native bb - folded (mem: 773.98 MiB) 17:22:47 constructed folding proof (mem: 773.98 MiB) 17:22:47 [17:22:47.246] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 773.98 MiB) 17:22:47 [17:22:47.284] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 773.98 MiB) 17:22:47 [17:22:47.327] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 773.98 MiB) 17:22:47 Constructing DeciderProvingKey (mem: 773.98 MiB) 17:22:47 [17:22:47.330] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 773.98 MiB) 17:22:47 goblin ecc op : 792/1024 (mem: 773.98 MiB) 17:22:47 busread : 12/6000 (mem: 773.98 MiB) 17:22:47 [17:22:47.330] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 773.98 MiB) 17:22:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 773.98 MiB) 17:22:47 arithmetic : 12080/56000 (mem: 773.98 MiB) 17:22:47 delta range : 2942/18000 (mem: 773.98 MiB) 17:22:47 elliptic : 2/6000 (mem: 773.98 MiB) 17:22:47 auxiliary : 350/26000 (mem: 773.98 MiB) 17:22:47 poseidon ext : 4942/17000 (mem: 773.98 MiB) 17:22:47 poseidon int : 28160/92000 (mem: 773.98 MiB) 17:22:47 overflow : 0/0 (mem: 773.98 MiB) 17:22:47 (mem: 773.98 MiB) 17:22:47 Total structured size: 242025 (mem: 773.98 MiB) 17:22:47 allocating polynomials object in proving key... (mem: 773.98 MiB) 17:22:47 [17:22:47.337] INFO: ivc-integration:test:native bb - populating trace... (mem: 773.98 MiB) 17:22:47 [17:22:47.352] INFO: ivc-integration:test:native bb - time to construct proving key: 25 ms. (mem: 773.98 MiB) 17:22:47 [17:22:47.379] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb4124404f300 (mem: 773.98 MiB) 17:22:47 computing folding proof (mem: 773.98 MiB) 17:22:47 [17:22:47.380] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 773.98 MiB) 17:22:47 [17:22:47.670] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 773.98 MiB) 17:22:47 [17:22:47.841] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 773.98 MiB) 17:22:47 [17:22:47.885] INFO: ivc-integration:test:native bb - perturbator round (mem: 773.98 MiB) 17:22:47 [17:22:47.921] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 803.74 MiB) 17:22:47 [17:22:47.986] INFO: ivc-integration:test:native bb - folded (mem: 803.74 MiB) 17:22:47 constructed folding proof (mem: 803.74 MiB) 17:22:47 [17:22:47.990] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 803.74 MiB) 17:22:48 [17:22:48.029] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 803.74 MiB) 17:22:48 Constructing DeciderProvingKey (mem: 803.74 MiB) 17:22:48 [17:22:48.032] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 803.74 MiB) 17:22:48 goblin ecc op : 392/1024 (mem: 803.74 MiB) 17:22:48 [17:22:48.032] INFO: ivc-integration:test:native bb - busread : 16/6000 (mem: 803.74 MiB) 17:22:48 lookups : 2/15000 (mem: 803.74 MiB) 17:22:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 803.74 MiB) 17:22:48 arithmetic : 6914/56000 (mem: 803.74 MiB) 17:22:48 delta range : 2347/18000 (mem: 803.74 MiB) 17:22:48 elliptic : 2/6000 (mem: 803.74 MiB) 17:22:48 auxiliary : 77/26000 (mem: 803.74 MiB) 17:22:48 poseidon ext : 2472/17000 (mem: 803.74 MiB) 17:22:48 poseidon int : 14081/92000 (mem: 803.74 MiB) 17:22:48 overflow : 0/0 (mem: 803.74 MiB) 17:22:48 (mem: 803.74 MiB) 17:22:48 Total structured size: 242025 (mem: 803.74 MiB) 17:22:48 allocating polynomials object in proving key... (mem: 803.74 MiB) 17:22:48 [17:22:48.038] INFO: ivc-integration:test:native bb - populating trace... (mem: 803.74 MiB) 17:22:48 [17:22:48.050] INFO: ivc-integration:test:native bb - time to construct proving key: 20 ms. (mem: 803.74 MiB) 17:22:48 [17:22:48.080] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb412440d18c0 (mem: 803.74 MiB) 17:22:48 computing folding proof (mem: 803.74 MiB) 17:22:48 [17:22:48.080] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 803.74 MiB) 17:22:48 [17:22:48.349] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 803.74 MiB) 17:22:48 [17:22:48.463] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 803.74 MiB) 17:22:48 [17:22:48.506] INFO: ivc-integration:test:native bb - perturbator round (mem: 803.74 MiB) 17:22:48 [17:22:48.540] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 804.40 MiB) 17:22:48 [17:22:48.588] INFO: ivc-integration:test:native bb - folded (mem: 804.40 MiB) 17:22:48 constructed folding proof (mem: 804.40 MiB) 17:22:48 [17:22:48.592] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 804.40 MiB) 17:22:48 [17:22:48.632] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 804.40 MiB) 17:22:48 Constructing DeciderProvingKey (mem: 804.40 MiB) 17:22:48 [17:22:48.634] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 804.40 MiB) 17:22:48 goblin ecc op : 392/1024 (mem: 804.40 MiB) 17:22:48 [17:22:48.634] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 804.40 MiB) 17:22:48 lookups : 2/15000 (mem: 804.40 MiB) 17:22:48 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 804.40 MiB) 17:22:48 arithmetic : 6849/56000 (mem: 804.40 MiB) 17:22:48 delta range : 2333/18000 (mem: 804.40 MiB) 17:22:48 elliptic : 2/6000 (mem: 804.40 MiB) 17:22:48 auxiliary : 50/26000 (mem: 804.40 MiB) 17:22:48 poseidon ext : 2472/17000 (mem: 804.40 MiB) 17:22:48 poseidon int : 14081/92000 (mem: 804.40 MiB) 17:22:48 overflow : 0/0 (mem: 804.40 MiB) 17:22:48 (mem: 804.40 MiB) 17:22:48 Total structured size: 242025 (mem: 804.40 MiB) 17:22:48 allocating polynomials object in proving key... (mem: 804.40 MiB) 17:22:48 [17:22:48.642] INFO: ivc-integration:test:native bb - populating trace... (mem: 804.40 MiB) 17:22:48 [17:22:48.650] INFO: ivc-integration:test:native bb - time to construct proving key: 18 ms. (mem: 804.40 MiB) 17:22:48 [17:22:48.682] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb41244056cc0 (mem: 804.40 MiB) 17:22:48 computing folding proof (mem: 804.40 MiB) 17:22:48 [17:22:48.683] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 804.40 MiB) 17:22:48 [17:22:48.946] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 804.40 MiB) 17:22:49 [17:22:49.057] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 804.40 MiB) 17:22:49 [17:22:49.098] INFO: ivc-integration:test:native bb - perturbator round (mem: 804.40 MiB) 17:22:49 [17:22:49.118] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 804.40 MiB) 17:22:49 [17:22:49.177] INFO: ivc-integration:test:native bb - folded (mem: 804.40 MiB) 17:22:49 constructed folding proof (mem: 804.40 MiB) 17:22:49 [17:22:49.178] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 804.40 MiB) 17:22:49 Minimum required block sizes for structured trace: (mem: 804.40 MiB) 17:22:49 (mem: 804.40 MiB) 17:22:49 prove decider... (mem: 804.40 MiB) 17:22:49 [17:22:49.178] INFO: ivc-integration:test:native bb - ecc_op : 792 17:22:49 busread : 16 17:22:49 lookup : 2 17:22:49 pub_inputs : 36 17:22:49 arithmetic : 12080 17:22:49 delta_range : 2942 17:22:49 elliptic : 2 17:22:49 aux : 350 17:22:49 poseidon2_external : 4942 17:22:49 poseidon2_internal : 28160 17:22:49 overflow : 0 17:22:49 [17:22:49.206] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 804.40 MiB) 17:22:49 [17:22:49.242] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 804.40 MiB) 17:22:49 [17:22:49.453] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 804.40 MiB) 17:22:49 [17:22:49.497] INFO: ivc-integration:test:native bb - computed opening proof (mem: 804.40 MiB) 17:22:49 finished decider proving. (mem: 804.40 MiB) 17:22:49 [17:22:49.506] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 804.40 MiB) 17:22:49 [17:22:49.566] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 804.40 MiB) 17:22:49 [17:22:49.569] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 804.40 MiB) 17:22:49 [17:22:49.579] INFO: ivc-integration:test:native bb - populating trace... (mem: 804.40 MiB) 17:22:49 [17:22:49.598] INFO: ivc-integration:test:native bb - time to construct proving key: 31 ms. (mem: 804.40 MiB) 17:22:49 [17:22:49.768] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 804.40 MiB) 17:22:49 [17:22:49.906] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 804.40 MiB) 17:22:50 [17:22:50.160] INFO: ivc-integration:test:native bb - created oink proof (mem: 804.40 MiB) 17:22:50 [17:22:50.185] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 804.40 MiB) 17:22:50 [17:22:50.284] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 804.40 MiB) 17:22:50 [17:22:50.426] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 804.40 MiB) 17:22:50 [17:22:50.444] INFO: ivc-integration:test:native bb - computed opening proof (mem: 804.40 MiB) 17:22:50 finished decider proving. (mem: 804.40 MiB) 17:22:50 [17:22:50.445] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 804.40 MiB) 17:22:50 [17:22:50.474] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 804.40 MiB) 17:22:50 [17:22:50.579] 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: 804.40 MiB) 17:22:50 [17:22:50.588] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 804.40 MiB) 17:22:51 [17:22:51.017] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 804.40 MiB) 17:22:51 [17:22:51.444] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 804.40 MiB) 17:22:52 [17:22:52.203] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 804.40 MiB) 17:22:52 prove translator... (mem: 804.40 MiB) 17:22:53 [17:22:53.466] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.69 MiB) 17:22:53 [17:22:53.998] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 821.69 MiB) 17:22:54 [17:22:54.416] INFO: ivc-integration:test:native bb - computed opening proof (mem: 821.69 MiB) 17:22:54 [17:22:54.416] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 821.69 MiB) 17:22:54 [17:22:54.417] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 821.69 MiB) 17:22:54 [17:22:54.432] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 822.19 MiB) 17:22:54 libra_evals_verified: 1 (mem: 822.19 MiB) 17:22:54 pairing_check_verified: 1 (mem: 822.19 MiB) 17:22:54 Mega verified: 1 (mem: 822.19 MiB) 17:22:54 [17:22:54.471] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 822.19 MiB) 17:22:54 batch opening verified?: 1 (mem: 822.19 MiB) 17:22:54 eccvm consistency check verified?: 1 (mem: 822.19 MiB) 17:22:54 translation masking consistency checked?: 1 (mem: 822.19 MiB) 17:22:54 [17:22:54.490] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 822.19 MiB) 17:22:54 eccvm verified?: 1 (mem: 822.19 MiB) 17:22:54 accumulator construction_verified?: 1 (mem: 822.19 MiB) 17:22:54 translation verified?: 1 (mem: 822.19 MiB) 17:22:54 [17:22:54.490] INFO: ivc-integration:test:native bb - consistency verified?: 1 (mem: 822.19 MiB) 17:22:54 Goblin verified: 1 (mem: 822.19 MiB) 17:22:54 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-UWyyB4" (mem: 822.19 MiB) 17:22:54 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-UWyyB4" (mem: 822.19 MiB) 17:22:54 BN254 commitment key size: 262144 (mem: 822.19 MiB) 17:22:54 [17:22:54.491] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 822.19 MiB) 17:22:54 [17:22:54.493] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.19 MiB) 17:22:54 goblin ecc op : 4/1024 (mem: 822.19 MiB) 17:22:54 [17:22:54.493] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 822.19 MiB) 17:22:54 lookups : 2/15000 (mem: 822.19 MiB) 17:22:54 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 822.19 MiB) 17:22:54 arithmetic : 1773/56000 (mem: 822.19 MiB) 17:22:54 delta range : 1754/18000 (mem: 822.19 MiB) 17:22:54 elliptic : 2/6000 (mem: 822.19 MiB) 17:22:54 auxiliary : 26/26000 (mem: 822.19 MiB) 17:22:54 poseidon ext : 2/17000 (mem: 822.19 MiB) 17:22:54 poseidon int : 2/92000 (mem: 822.19 MiB) 17:22:54 overflow : 0/0 (mem: 822.19 MiB) 17:22:54 (mem: 822.19 MiB) 17:22:54 Total structured size: 242025 (mem: 822.19 MiB) 17:22:54 allocating polynomials object in proving key... (mem: 822.19 MiB) 17:22:54 [17:22:54.500] INFO: ivc-integration:test:native bb - populating trace... (mem: 822.19 MiB) 17:22:54 [17:22:54.503] INFO: ivc-integration:test:native bb - time to construct proving key: 11 ms. (mem: 822.19 MiB) 17:22:54 [17:22:54.509] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 822.19 MiB) 17:22:54 [17:22:54.921] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 822.19 MiB) 17:22:54 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 822.19 MiB) 17:22:55 [17:22:55.317] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 822.19 MiB) 17:22:55 [17:22:55.360] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 822.19 MiB) 17:22:55 [17:22:55.364] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 822.19 MiB) 17:22:55 [17:22:55.371] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 822.19 MiB) 17:22:55 [17:22:55.373] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.19 MiB) 17:22:55 goblin ecc op : 56/1024 (mem: 822.19 MiB) 17:22:55 busread : 3/6000 (mem: 822.19 17:22:55 [17:22:55.374] INFO: ivc-integration:test:native bb - MiB) 17:22:55 lookups : 2/15000 (mem: 822.19 MiB) 17:22:55 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 822.19 MiB) 17:22:55 arithmetic : 4481/56000 (mem: 822.19 MiB) 17:22:55 delta range : 2041/18000 (mem: 822.19 MiB) 17:22:55 elliptic : 2/6000 (mem: 822.19 MiB) 17:22:55 auxiliary : 50/26000 (mem: 822.19 MiB) 17:22:55 poseidon ext : 1312/17000 (mem: 822.19 MiB) 17:22:55 poseidon int : 7469/92000 (mem: 822.19 MiB) 17:22:55 overflow : 0/0 (mem: 822.19 MiB) 17:22:55 (mem: 822.19 MiB) 17:22:55 Total structured size: 242025 (mem: 822.19 MiB) 17:22:55 allocating polynomials object in proving key... (mem: 822.19 MiB) 17:22:55 [17:22:55.382] INFO: ivc-integration:test:native bb - populating trace... (mem: 822.19 MiB) 17:22:55 [17:22:55.389] INFO: ivc-integration:test:native bb - time to construct proving key: 17 ms. (mem: 822.19 MiB) 17:22:55 [17:22:55.397] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 822.19 MiB) 17:22:55 [17:22:55.643] INFO: ivc-integration:test:native bb - computing folding proof (mem: 822.19 MiB) 17:22:55 [17:22:55.644] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 822.19 MiB) 17:22:55 [17:22:55.892] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 822.19 MiB) 17:22:55 [17:22:55.992] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 822.19 MiB) 17:22:56 [17:22:56.030] INFO: ivc-integration:test:native bb - perturbator round (mem: 822.19 MiB) 17:22:56 [17:22:56.061] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 854.19 MiB) 17:22:56 [17:22:56.121] INFO: ivc-integration:test:native bb - folded (mem: 854.19 MiB) 17:22:56 constructed folding proof (mem: 854.19 MiB) 17:22:56 [17:22:56.122] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 854.19 MiB) 17:22:56 Minimum required block sizes for structured trace: (mem: 854.19 MiB) 17:22:56 (mem: 854.19 MiB) 17:22:56 prove decider... (mem: 854.19 MiB) 17:22:56 [17:22:56.122] INFO: ivc-integration:test:native bb - ecc_op : 56 17:22:56 busread : 3 17:22:56 lookup : 2 17:22:56 pub_inputs : 36 17:22:56 arithmetic : 4481 17:22:56 delta_range : 2041 17:22:56 elliptic : 2 17:22:56 aux : 50 17:22:56 poseidon2_external : 1312 17:22:56 poseidon2_internal : 7469 17:22:56 overflow : 0 17:22:56 [17:22:56.138] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 854.19 MiB) 17:22:56 [17:22:56.167] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 854.19 MiB) 17:22:56 [17:22:56.350] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 854.19 MiB) 17:22:56 [17:22:56.390] INFO: ivc-integration:test:native bb - computed opening proof (mem: 854.19 MiB) 17:22:56 finished decider proving. (mem: 854.19 MiB) 17:22:56 [17:22:56.397] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 854.19 MiB) 17:22:56 [17:22:56.458] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 854.19 MiB) 17:22:56 [17:22:56.461] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 854.19 MiB) 17:22:56 [17:22:56.466] INFO: ivc-integration:test:native bb - populating trace... (mem: 854.19 MiB) 17:22:56 [17:22:56.481] INFO: ivc-integration:test:native bb - time to construct proving key: 22 ms. (mem: 854.19 MiB) 17:22:56 [17:22:56.662] 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-UWyyB4/proof -k /tmp/bb-client-ivc-integration-UWyyB4/vk -v 17:22:56 [17:22:56.674] INFO: ivc-integration:test:native bb command: verify (mem: 150.93 MiB) 17:22:56 [17:22:56.674] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 64 (mem: 150.93 MiB) 17:22:56 --proof_path: /tmp/bb-client-ivc-integration-UWyyB4/proof (mem: 150.93 MiB) 17:22:56 --vk_path: /tmp/bb-client-ivc-integration-UWyyB4/vk (mem: 150.93 MiB) 17:22:56 --verbose: true (mem: 150.93 MiB) 17:22:56 --scheme: client_ivc (mem: 150.93 MiB) 17:22:56 [17:22:56.698] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 150.93 MiB) 17:22:56 [17:22:56.713] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 150.93 MiB) 17:22:56 [17:22:56.714] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 150.93 MiB) 17:22:56 [17:22:56.730] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 150.93 MiB) 17:22:56 [17:22:56.731] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 513 (mem: 150.93 MiB) 17:22:56 [17:22:56.732] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 150.93 MiB) 17:22:56 libra_evals_verified: 1 (mem: 150.93 17:22:56 [17:22:56.732] INFO: ivc-integration:test:native MiB) 17:22:56 pairing_check_verified: 1 (mem: 150.93 MiB) 17:22:56 Mega verified: 1 (mem: 150.93 MiB) 17:22:56 [17:22:56.777] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 150.93 MiB) 17:22:56 batch opening verified?: 1 (mem: 150.93 MiB) 17:22:56 eccvm consistency check verified?: 1 (mem: 150.93 MiB) 17:22:56 translation masking consistency checked?: 1 (mem: 150.93 MiB) 17:22:56 [17:22:56.795] INFO: ivc-integration:test:native merge verified?: 1 (mem: 150.93 MiB) 17:22:56 eccvm verified?: 1 (mem: 150.93 MiB) 17:22:56 accumulator construction_verified?: 1 (mem: 150.93 MiB) 17:22:56 translation verified?: 1 (mem: 150.93 MiB) 17:22:56 consistency verified?: 1 (mem: 150.93 MiB) 17:22:56 [17:22:56.796] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 150.93 MiB) 17:22:56 [17:22:56.799] INFO: ivc-integration:test:native verified: 1 (mem: 150.93 MiB) 17:22:56 PASS src/native_client_ivc_integration.test.ts (27.737 s) 17:22:56 Client IVC Integration 17:22:56 ✓ Should generate a verifiable client IVC proof from a simple mock tx (13668 ms) 17:22:56 ✓ Should generate a verifiable client IVC proof from a complex mock tx (11845 ms) 17:22:56 17:22:56 Test Suites: 1 passed, 1 total 17:22:56 Tests: 2 passed, 2 total 17:22:56 Snapshots: 0 total 17:22:56 Time: 27.807 s 17:22:56 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 17:22:56 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?