ACI ·

Parent Log: http://ci.aztec-labs.com/859c0f8441ea940a Command: 9c87e3b98c85c9a9: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/7763eef5eb7f045b9184a0a4591b394296eb3aa8 Env: REF_NAME=gh-readonly-queue/next/pr-14770-5ca43853c40a2b8bfbc2148d5fdd46c6f82a74eb CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 16 15:02:00 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14770_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 15:02:04 [15:02:04.782] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-eAgvwU/ivc-inputs.msgpack 15:02:04 [15:02:04.790] 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-eAgvwU --ivc_inputs_path /tmp/bb-client-ivc-integration-eAgvwU/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:02:04 [15:02:04.814] INFO: ivc-integration:test:native bb - bb command: prove (mem: 15:02:04 [15:02:04.815] INFO: ivc-integration:test:native bb - 183.20 MiB) 15:02:04 Scheme is: client_ivc, num threads: 128 (mem: 183.20 MiB) 15:02:04 --scheme: client_ivc (mem: 183.20 MiB) 15:02:04 --output_path: /tmp/bb-client-ivc-integration-eAgvwU (mem: 183.20 MiB) 15:02:04 --ivc_inputs_path: /tmp/bb-client-ivc-integration-eAgvwU/ivc-inputs.msgpack (mem: 183.20 MiB) 15:02:04 --verbose: true (mem: 183.20 MiB) 15:02:04 --write_vk: true (mem: 183.20 MiB) 15:02:04 [15:02:04.815] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.20 MiB) 15:02:04 [15:02:04.919] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 244.00 MiB) 15:02:04 [15:02:04.995] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 292.96 MiB) 15:02:05 [15:02:05.000] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 292.96 MiB) 15:02:05 Constructing DeciderProvingKey (mem: 292.96 MiB) 15:02:05 [15:02:05.004] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 292.96 MiB) 15:02:05 goblin ecc op : 4/1024 (mem: 292.96 MiB) 15:02:05 [15:02:05.005] INFO: ivc-integration:test:native bb - busread : 7/6000 (mem: 292.96 MiB) 15:02:05 lookups : 2/15000 (mem: 292.96 MiB) 15:02:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 292.96 MiB) 15:02:05 arithmetic : 1760/56000 (mem: 292.96 MiB) 15:02:05 delta range : 1754/18000 (mem: 292.96 MiB) 15:02:05 elliptic : 2/6000 (mem: 292.96 MiB) 15:02:05 auxiliary : 26/26000 (mem: 292.96 MiB) 15:02:05 poseidon ext : 2/17000 (mem: 292.96 MiB) 15:02:05 poseidon int : 2/92000 (mem: 292.96 MiB) 15:02:05 overflow : 0/0 (mem: 292.96 MiB) 15:02:05 (mem: 292.96 MiB) 15:02:05 Total structured size: 242025 (mem: 292.96 MiB) 15:02:05 allocating polynomials object in proving key... (mem: 292.96 MiB) 15:02:05 [15:02:05.079] INFO: ivc-integration:test:native bb - populating trace... (mem: 502.11 MiB) 15:02:05 [15:02:05.089] INFO: ivc-integration:test:native bb - time to construct proving key: 89 ms. (mem: 516.11 MiB) 15:02:05 [15:02:05.118] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57cdb841c600 (mem: 516.11 MiB) 15:02:05 [15:02:05.119] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 516.11 MiB) 15:02:05 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.11 MiB) 15:02:05 [15:02:05.290] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 525.11 MiB) 15:02:05 [15:02:05.301] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.11 MiB) 15:02:05 [15:02:05.320] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 525.11 MiB) 15:02:05 Constructing DeciderProvingKey (mem: 525.11 MiB) 15:02:05 [15:02:05.324] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.11 MiB) 15:02:05 goblin ecc op : 56/1024 (mem: 525.11 MiB) 15:02:05 busread : 12/6000 (mem: 525.11 MiB) 15:02:05 lookups : 2/15000 (mem: 525.11 MiB) 15:02:05 [15:02:05.325] INFO: ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.11 MiB) 15:02:05 arithmetic : 4625/56000 (mem: 525.11 MiB) 15:02:05 delta range : 2054/18000 (mem: 525.11 MiB) 15:02:05 elliptic : 2/6000 (mem: 525.11 MiB) 15:02:05 auxiliary : 110/26000 (mem: 525.11 MiB) 15:02:05 poseidon ext : 1302/17000 (mem: 525.11 MiB) 15:02:05 poseidon int : 7412/92000 (mem: 525.11 MiB) 15:02:05 overflow : 0/0 (mem: 525.11 MiB) 15:02:05 (mem: 525.11 MiB) 15:02:05 Total structured size: 242025 (mem: 525.11 MiB) 15:02:05 allocating polynomials object in proving key... (mem: 525.11 MiB) 15:02:05 [15:02:05.420] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.11 MiB) 15:02:05 [15:02:05.452] INFO: ivc-integration:test:native bb - time to construct proving key: 130 ms. (mem: 746.11 MiB) 15:02:05 [15:02:05.545] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57cdb8429280 (mem: 746.11 MiB) 15:02:05 computing folding proof (mem: 746.11 MiB) 15:02:05 vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 746.11 MiB) 15:02:06 [15:02:06.031] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.11 MiB) 15:02:06 [15:02:06.202] INFO: ivc-integration:test:native bb - perturbator round (mem: 785.11 MiB) 15:02:06 [15:02:06.258] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.11 MiB) 15:02:06 [15:02:06.651] INFO: ivc-integration:test:native bb - folded (mem: 817.11 MiB) 15:02:06 constructed folding proof (mem: 817.11 MiB) 15:02:06 [15:02:06.665] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 817.11 MiB) 15:02:06 [15:02:06.752] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.11 MiB) 15:02:06 Constructing DeciderProvingKey (mem: 817.11 MiB) 15:02:06 [15:02:06.758] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.11 MiB) 15:02:06 goblin ecc op : 392/1024 (mem: 817.11 MiB) 15:02:06 busread : 3/6000 (mem: 817.11 MiB) 15:02:06 lookups : 2/15000 (mem: 817.11 MiB) 15:02:06 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.11 MiB) 15:02:06 arithmetic : 6849/56000 (mem: 817.11 MiB) 15:02:06 delta range : 2333/18000 (mem: 817.11 MiB) 15:02:06 elliptic : 2/6000 (mem: 817.11 MiB) 15:02:06 auxiliary : 50/26000 (mem: 817.11 MiB) 15:02:06 poseidon ext : 2472/17000 (mem: 817.11 MiB) 15:02:06 poseidon int : 14081/92000 (mem: 817.11 MiB) 15:02:06 overflow : 0/0 (mem: 817.11 MiB) 15:02:06 (mem: 817.11 MiB) 15:02:06 Total structured size: 242025 (mem: 817.11 MiB) 15:02:06 allocating polynomials object in proving key... (mem: 817.11 MiB) 15:02:07 [15:02:07.007] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.11 MiB) 15:02:07 [15:02:07.056] INFO: ivc-integration:test:native bb - time to construct proving key: 304 ms. (mem: 817.11 MiB) 15:02:07 [15:02:07.271] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57cdb841ed00 (mem: 817.11 MiB) 15:02:07 computing folding proof (mem: 817.11 MiB) 15:02:07 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.11 MiB) 15:02:07 [15:02:07.758] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.11 MiB) 15:02:07 [15:02:07.891] INFO: ivc-integration:test:native bb - perturbator round (mem: 817.11 MiB) 15:02:07 [15:02:07.927] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.11 MiB) 15:02:08 [15:02:08.220] INFO: ivc-integration:test:native bb - folded (mem: 817.11 MiB) 15:02:08 constructed folding proof (mem: 817.11 MiB) 15:02:08 Largest circuit: 25792 gates. Trace details: (mem: 817.11 MiB) 15:02:08 Minimum required block sizes for structured trace: (mem: 817.11 MiB) 15:02:08 (mem: 817.11 MiB) 15:02:08 prove decider... (mem: 817.11 MiB) 15:02:08 [15:02:08.222] INFO: ivc-integration:test:native bb - ecc_op : 392 15:02:08 busread : 12 15:02:08 lookup : 2 15:02:08 pub_inputs : 36 15:02:08 arithmetic : 6849 15:02:08 delta_range : 2333 15:02:08 elliptic : 2 15:02:08 aux : 110 15:02:08 poseidon2_external : 2472 15:02:08 poseidon2_internal : 14081 15:02:08 overflow : 0 15:02:08 [15:02:08.374] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.11 MiB) 15:02:08 [15:02:08.570] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 817.11 MiB) 15:02:09 [15:02:09.747] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.11 MiB) 15:02:09 [15:02:09.836] INFO: ivc-integration:test:native bb - computed opening proof (mem: 817.11 MiB) 15:02:09 finished decider proving. (mem: 817.11 MiB) 15:02:09 [15:02:09.855] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.11 MiB) 15:02:09 [15:02:09.971] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 15:02:09 [15:02:09.972] INFO: ivc-integration:test:native bb - (mem: 817.11 MiB) 15:02:09 [15:02:09.980] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 817.11 MiB) 15:02:10 [15:02:10.117] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.11 MiB) 15:02:10 [15:02:10.167] INFO: ivc-integration:test:native bb - time to construct proving key: 194 ms. (mem: 817.11 MiB) 15:02:11 [15:02:11.282] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 817.11 MiB) 15:02:11 [15:02:11.945] INFO: ivc-integration:test:native bb - created oink proof (mem: 817.11 MiB) 15:02:12 [15:02:12.305] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.11 MiB) 15:02:14 [15:02:14.148] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 15:02:14 [15:02:14.149] INFO: ivc-integration:test:native bb - (mem: 817.11 MiB) 15:02:15 [15:02:15.159] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 15:02:15 [15:02:15.160] INFO: ivc-integration:test:native bb - (mem: 15:02:15 [15:02:15.161] INFO: ivc-integration:test:native bb - 817.11 MiB) 15:02:15 [15:02:15.209] INFO: ivc-integration:test:native bb - computed opening proof (mem: 817.11 MiB) 15:02:15 finished decider proving. (mem: 817.11 MiB) 15:02:15 Constructing a Goblin proof with num ultra ops = 1038 (mem: 817.11 MiB) 15:02:15 [15:02:15.520] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 817.11 MiB) 15:02:16 [15:02:16.228] 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: 817.11 MiB) 15:02:16 [15:02:16.255] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 817.11 MiB) 15:02:18 [15:02:18.042] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 15:02:18 [15:02:18.045] INFO: ivc-integration:test:native bb - (mem: 817.11 MiB) 15:02:20 [15:02:20.638] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.11 MiB) 15:02:25 [15:02:25.730] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 817.11 MiB) 15:02:25 prove translator... (mem: 817.11 MiB) 15:02:28 [15:02:28.277] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.09 MiB) 15:02:31 [15:02:31.197] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 850.09 MiB) 15:02:34 [15:02:34.080] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.09 MiB) 15:02:34 [15:02:34.084] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 850.09 MiB) 15:02:34 [15:02:34.097] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 850.09 MiB) 15:02:34 [15:02:34.114] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 850.09 MiB) 15:02:34 libra_evals_verified: 1 (mem: 850.09 MiB) 15:02:34 pairing_check_verified: 1 (mem: 850.09 MiB) 15:02:34 Mega verified: 1 (mem: 850.09 MiB) 15:02:34 [15:02:34.199] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 851.09 MiB) 15:02:34 batch opening verified?: 1 (mem: 851.09 MiB) 15:02:34 eccvm consistency check verified?: 1 (mem: 851.09 MiB) 15:02:34 translation masking consistency checked?: 1 (mem: 851.09 MiB) 15:02:34 [15:02:34.228] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 851.09 MiB) 15:02:34 eccvm verified?: 1 (mem: 851.09 MiB) 15:02:34 accumulator construction_verified?: 1 (mem: 851.09 MiB) 15:02:34 translation verified?: 1 (mem: 851.09 MiB) 15:02:34 consistency verified?: 1 (mem: 851.09 MiB) 15:02:34 Goblin verified: 1 (mem: 851.09 MiB) 15:02:34 [15:02:34.229] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-eAgvwU" (mem: 851.09 MiB) 15:02:34 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-eAgvwU" (mem: 851.09 MiB) 15:02:34 BN254 commitment key size: 262144 (mem: 851.09 MiB) 15:02:34 [15:02:34.238] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.09 MiB) 15:02:34 [15:02:34.239] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 15:02:34 [15:02:34.240] INFO: ivc-integration:test:native bb - (mem: 15:02:34 [15:02:34.240] INFO: ivc-integration:test:native bb - 851.09 15:02:34 [15:02:34.241] INFO: ivc-integration:test:native bb - MiB) 15:02:34 goblin ecc op : 4/1024 (mem: 851.09 MiB) 15:02:34 busread : 3/6000 (mem: 851.09 MiB) 15:02:34 lookups : 2/15000 (mem: 851.09 MiB) 15:02:34 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 851.09 MiB) 15:02:34 arithmetic : 1773/56000 (mem: 851.09 MiB) 15:02:34 delta range : 1754/18000 (mem: 851.09 MiB) 15:02:34 elliptic : 2/6000 (mem: 851.09 MiB) 15:02:34 auxiliary : 26/26000 (mem: 851.09 MiB) 15:02:34 poseidon ext : 2/17000 (mem: 851.09 MiB) 15:02:34 poseidon int : 2/92000 (mem: 851.09 MiB) 15:02:34 overflow : 0/0 (mem: 851.09 MiB) 15:02:34 (mem: 851.09 MiB) 15:02:34 Total structured size: 242025 (mem: 851.09 MiB) 15:02:34 allocating polynomials object in proving key... (mem: 851.09 MiB) 15:02:34 [15:02:34.541] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.09 MiB) 15:02:34 [15:02:34.578] INFO: ivc-integration:test:native bb - time to construct proving key: 343 ms. (mem: 851.09 MiB) 15:02:34 [15:02:34.742] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 851.09 MiB) 15:02:35 [15:02:35.869] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 851.09 MiB) 15:02:35 [15:02:35.870] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.09 MiB) 15:02:36 [15:02:36.374] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 851.09 MiB) 15:02:36 [15:02:36.385] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.09 MiB) 15:02:36 [15:02:36.411] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.09 MiB) 15:02:36 [15:02:36.417] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.09 MiB) 15:02:36 goblin ecc op : 56/1024 (mem: 851.09 MiB) 15:02:36 busread : 3/6000 (mem: 851.09 MiB) 15:02:36 lookups : 2/15000 (mem: 851.09 MiB) 15:02:36 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.09 MiB) 15:02:36 arithmetic : 4481/56000 (mem: 851.09 MiB) 15:02:36 delta range : 2041/18000 (mem: 851.09 MiB) 15:02:36 elliptic : 2/6000 (mem: 851.09 MiB) 15:02:36 auxiliary : 50/26000 (mem: 851.09 MiB) 15:02:36 poseidon ext : 1312/17000 (mem: 851.09 MiB) 15:02:36 poseidon int : 7469/92000 (mem: 851.09 MiB) 15:02:36 overflow : 0/0 (mem: 851.09 MiB) 15:02:36 (mem: 851.09 MiB) 15:02:36 Total structured size: 242025 (mem: 851.09 MiB) 15:02:36 allocating polynomials object in proving key... (mem: 851.09 MiB) 15:02:36 [15:02:36.638] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.09 MiB) 15:02:36 [15:02:36.705] INFO: ivc-integration:test:native bb - time to construct proving key: 296 ms. 15:02:36 [15:02:36.706] INFO: ivc-integration:test:native bb - (mem: 15:02:36 [15:02:36.706] INFO: ivc-integration:test:native bb - 851.09 15:02:36 [15:02:36.708] INFO: ivc-integration:test:native bb - MiB) 15:02:36 [15:02:36.795] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 851.09 MiB) 15:02:37 [15:02:37.852] INFO: ivc-integration:test:native bb - computing folding proof (mem: 851.09 MiB) 15:02:37 [15:02:37.852] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 851.09 MiB) 15:02:38 [15:02:38.638] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.09 MiB) 15:02:38 [15:02:38.811] INFO: ivc-integration:test:native bb - perturbator round (mem: 852.09 MiB) 15:02:38 [15:02:38.886] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 883.09 MiB) 15:02:39 [15:02:39.560] INFO: ivc-integration:test:native bb - folded (mem: 883.09 MiB) 15:02:39 constructed folding proof (mem: 883.09 MiB) 15:02:39 [15:02:39.561] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 883.09 MiB) 15:02:39 Minimum required block sizes for structured trace: (mem: 883.09 MiB) 15:02:39 (mem: 883.09 MiB) 15:02:39 prove decider... (mem: 883.09 MiB) 15:02:39 [15:02:39.561] INFO: ivc-integration:test:native bb - ecc_op : 56 15:02:39 busread : 3 15:02:39 lookup : 2 15:02:39 pub_inputs : 36 15:02:39 arithmetic : 4481 15:02:39 delta_range : 2041 15:02:39 elliptic : 2 15:02:39 aux : 50 15:02:39 poseidon2_external : 1312 15:02:39 poseidon2_internal : 7469 15:02:39 overflow : 0 15:02:39 [15:02:39.766] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 883.09 MiB) 15:02:39 [15:02:39.951] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 883.09 MiB) 15:02:41 [15:02:41.316] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 883.09 MiB) 15:02:41 [15:02:41.398] INFO: ivc-integration:test:native bb - computed opening proof (mem: 883.09 MiB) 15:02:41 finished decider proving. (mem: 883.09 MiB) 15:02:41 [15:02:41.414] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 883.09 MiB) 15:02:41 [15:02:41.542] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 883.09 MiB) 15:02:41 [15:02:41.550] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 883.09 MiB) 15:02:41 [15:02:41.758] INFO: ivc-integration:test:native bb - populating trace... (mem: 883.09 MiB) 15:02:41 [15:02:41.807] INFO: ivc-integration:test:native bb - time to construct proving key: 263 ms. (mem: 883.09 MiB) 15:02:42 [15:02:42.475] 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-eAgvwU/proof -k /tmp/bb-client-ivc-integration-eAgvwU/vk -v 15:02:42 [15:02:42.502] INFO: ivc-integration:test:native bb command: verify (mem: 183.20 MiB) 15:02:42 Scheme is: client_ivc, num threads: 128 (mem: 183.20 MiB) 15:02:42 --proof_path: /tmp/bb-client-ivc-integration-eAgvwU/proof (mem: 183.20 MiB) 15:02:42 --vk_path: /tmp/bb-client-ivc-integration-eAgvwU/vk (mem: 183.20 MiB) 15:02:42 --verbose: true (mem: 183.20 MiB) 15:02:42 --scheme: client_ivc (mem: 183.20 MiB) 15:02:42 [15:02:42.595] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 183.20 MiB) 15:02:42 [15:02:42.618] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 183.20 MiB) 15:02:42 [15:02:42.619] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 183.20 MiB) 15:02:42 [15:02:42.640] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.20 MiB) 15:02:42 Initialized BN254 CRS from memory with num points = 1025 (mem: 183.20 MiB) 15:02:42 sumcheck_verified: 1 (mem: 183.20 MiB) 15:02:42 libra_evals_verified: 1 (mem: 183.20 MiB) 15:02:42 pairing_check_verified: 1 (mem: 183.20 MiB) 15:02:42 Mega verified: 1 (mem: 183.20 MiB) 15:02:42 [15:02:42.716] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 183.20 MiB) 15:02:42 batch opening verified?: 1 (mem: 183.20 MiB) 15:02:42 eccvm consistency check verified?: 1 (mem: 183.20 MiB) 15:02:42 translation masking consistency checked?: 1 (mem: 183.20 MiB) 15:02:42 [15:02:42.748] INFO: ivc-integration:test:native merge verified?: 1 (mem: 183.20 MiB) 15:02:42 eccvm verified?: 1 (mem: 183.20 MiB) 15:02:42 accumulator construction_verified?: 1 (mem: 183.20 MiB) 15:02:42 translation verified?: 1 (mem: 183.20 MiB) 15:02:42 consistency verified?: 1 (mem: 183.20 MiB) 15:02:42 [15:02:42.751] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 183.20 MiB) 15:02:42 [15:02:42.761] INFO: ivc-integration:test:native verified: 1 (mem: 183.20 MiB) 15:02:42 [15:02:42.857] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-NStIMA/ivc-inputs.msgpack 15:02:42 [15:02:42.857] 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-NStIMA --ivc_inputs_path /tmp/bb-client-ivc-integration-NStIMA/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:02:42 [15:02:42.883] INFO: ivc-integration:test:native bb - bb command: prove (mem: 184.22 MiB) 15:02:42 [15:02:42.884] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 184.22 MiB) 15:02:42 --scheme: client_ivc (mem: 184.22 MiB) 15:02:42 --output_path: /tmp/bb-client-ivc-integration-NStIMA (mem: 184.22 MiB) 15:02:42 --ivc_inputs_path: /tmp/bb-client-ivc-integration-NStIMA/ivc-inputs.msgpack (mem: 184.22 MiB) 15:02:42 --verbose: true (mem: 184.22 MiB) 15:02:42 --write_vk: true (mem: 184.22 MiB) 15:02:42 [15:02:42.895] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.22 MiB) 15:02:43 [15:02:43.079] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 15:02:43 [15:02:43.080] INFO: ivc-integration:test:native bb - (mem: 274.00 MiB) 15:02:43 [15:02:43.178] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 322.09 MiB) 15:02:43 [15:02:43.182] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 322.09 MiB) 15:02:43 Constructing DeciderProvingKey (mem: 322.09 MiB) 15:02:43 [15:02:43.187] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 322.09 MiB) 15:02:43 goblin ecc op : 4/1024 (mem: 322.09 MiB) 15:02:43 busread : 7/6000 (mem: 322.09 MiB) 15:02:43 lookups : 2/15000 (mem: 322.09 MiB) 15:02:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 322.09 MiB) 15:02:43 arithmetic : 1760/56000 (mem: 322.09 MiB) 15:02:43 delta range : 1754/18000 (mem: 322.09 MiB) 15:02:43 elliptic : 2/6000 (mem: 15:02:43 [15:02:43.188] INFO: ivc-integration:test:native bb - 322.09 MiB) 15:02:43 auxiliary : 26/26000 (mem: 322.09 MiB) 15:02:43 poseidon ext : 2/17000 (mem: 322.09 MiB) 15:02:43 poseidon int : 2/92000 (mem: 322.09 MiB) 15:02:43 overflow : 0/0 (mem: 322.09 MiB) 15:02:43 (mem: 322.09 MiB) 15:02:43 Total structured size: 242025 (mem: 322.09 MiB) 15:02:43 allocating polynomials object in proving key... (mem: 322.09 MiB) 15:02:43 [15:02:43.297] INFO: ivc-integration:test:native bb - populating trace... (mem: 502.21 MiB) 15:02:43 [15:02:43.322] INFO: ivc-integration:test:native bb - time to construct proving key: 139 ms. (mem: 515.21 MiB) 15:02:43 [15:02:43.430] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61733024d440 (mem: 515.21 MiB) 15:02:43 [15:02:43.430] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 515.21 MiB) 15:02:43 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.21 MiB) 15:02:43 [15:02:43.757] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 524.21 MiB) 15:02:43 [15:02:43.766] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 524.21 MiB) 15:02:43 [15:02:43.784] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 524.21 MiB) 15:02:43 Constructing DeciderProvingKey (mem: 524.21 MiB) 15:02:43 [15:02:43.787] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 524.21 MiB) 15:02:43 goblin ecc op : 56/1024 (mem: 524.21 MiB) 15:02:43 busread : 12/6000 (mem: 524.21 MiB) 15:02:43 lookups : 2/15000 (mem: 524.21 MiB) 15:02:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 524.21 MiB) 15:02:43 arithmetic : 4625/56000 (mem: 524.21 MiB) 15:02:43 delta range : 2054/18000 (mem: 524.21 MiB) 15:02:43 elliptic : 2/6000 (mem: 524.21 MiB) 15:02:43 auxiliary : 110/26000 (mem: 524.21 MiB) 15:02:43 poseidon ext : 1302/17000 (mem: 524.21 MiB) 15:02:43 poseidon int : 7412/92000 (mem: 524.21 MiB) 15:02:43 overflow : 0/0 (mem: 524.21 MiB) 15:02:43 (mem: 524.21 MiB) 15:02:43 Total structured size: 242025 (mem: 524.21 MiB) 15:02:43 allocating polynomials object in proving key... (mem: 524.21 MiB) 15:02:44 [15:02:44.124] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.21 MiB) 15:02:44 [15:02:44.169] INFO: ivc-integration:test:native bb - time to construct proving key: 385 ms. (mem: 740.21 MiB) 15:02:44 [15:02:44.251] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6173302566c0 (mem: 740.21 MiB) 15:02:44 computing folding proof (mem: 740.21 MiB) 15:02:44 [15:02:44.252] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 740.21 MiB) 15:02:44 [15:02:44.809] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 740.21 MiB) 15:02:44 [15:02:44.908] INFO: ivc-integration:test:native bb - perturbator round (mem: 778.21 MiB) 15:02:44 [15:02:44.978] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 811.21 MiB) 15:02:45 [15:02:45.299] INFO: ivc-integration:test:native bb - folded (mem: 811.21 MiB) 15:02:45 constructed folding proof (mem: 811.21 MiB) 15:02:45 [15:02:45.301] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 811.21 MiB) 15:02:45 Constructing DeciderProvingKey (mem: 15:02:45 [15:02:45.302] INFO: ivc-integration:test:native bb - 811.21 MiB) 15:02:45 [15:02:45.304] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 811.21 MiB) 15:02:45 goblin ecc op : 4/1024 (mem: 811.21 MiB) 15:02:45 busread : 7/6000 (mem: 15:02:45 [15:02:45.304] INFO: ivc-integration:test:native bb - 811.21 MiB) 15:02:45 lookups : 2/15000 (mem: 811.21 MiB) 15:02:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 811.21 MiB) 15:02:45 arithmetic : 1760/56000 (mem: 811.21 MiB) 15:02:45 delta range : 1754/18000 (mem: 811.21 MiB) 15:02:45 elliptic : 2/6000 (mem: 811.21 MiB) 15:02:45 auxiliary : 26/26000 (mem: 811.21 MiB) 15:02:45 poseidon ext : 2/17000 (mem: 811.21 MiB) 15:02:45 poseidon int : 2/92000 (mem: 811.21 MiB) 15:02:45 overflow : 0/0 (mem: 811.21 MiB) 15:02:45 (mem: 811.21 MiB) 15:02:45 Total structured size: 242025 (mem: 811.21 MiB) 15:02:45 allocating polynomials object in proving key... (mem: 811.21 MiB) 15:02:45 [15:02:45.386] INFO: ivc-integration:test:native bb - populating trace... (mem: 811.21 MiB) 15:02:45 [15:02:45.402] INFO: ivc-integration:test:native bb - time to construct proving key: 100 ms. (mem: 811.21 MiB) 15:02:45 [15:02:45.476] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61733024dc80 (mem: 811.21 MiB) 15:02:45 computing folding proof (mem: 15:02:45 [15:02:45.477] INFO: ivc-integration:test:native bb - 811.21 MiB) 15:02:45 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 811.21 MiB) 15:02:45 [15:02:45.723] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 811.21 MiB) 15:02:45 [15:02:45.802] INFO: ivc-integration:test:native bb - perturbator round (mem: 811.21 MiB) 15:02:45 [15:02:45.835] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 811.21 MiB) 15:02:46 [15:02:46.079] INFO: ivc-integration:test:native bb - folded (mem: 811.21 MiB) 15:02:46 constructed folding proof (mem: 811.21 MiB) 15:02:46 [15:02:46.091] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d 15:02:46 [15:02:46.091] INFO: ivc-integration:test:native bb - (mem: 811.21 MiB) 15:02:46 [15:02:46.160] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 811.21 MiB) 15:02:46 [15:02:46.274] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 811.21 MiB) 15:02:46 Constructing DeciderProvingKey (mem: 811.21 MiB) 15:02:46 [15:02:46.280] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 811.21 MiB) 15:02:46 goblin ecc op : 792/1024 (mem: 811.21 MiB) 15:02:46 [15:02:46.280] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 811.21 MiB) 15:02:46 lookups : 2/15000 (mem: 811.21 MiB) 15:02:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 811.21 MiB) 15:02:46 arithmetic : 12080/56000 (mem: 811.21 MiB) 15:02:46 delta range : 2942/18000 (mem: 811.21 MiB) 15:02:46 elliptic : 2/6000 (mem: 811.21 MiB) 15:02:46 auxiliary : 350/26000 (mem: 811.21 MiB) 15:02:46 poseidon ext : 4942/17000 (mem: 811.21 MiB) 15:02:46 poseidon int : 28160/92000 (mem: 811.21 MiB) 15:02:46 overflow : 0/0 (mem: 811.21 MiB) 15:02:46 (mem: 811.21 MiB) 15:02:46 Total structured size: 242025 (mem: 811.21 MiB) 15:02:46 allocating polynomials object in proving key... (mem: 811.21 MiB) 15:02:46 [15:02:46.550] INFO: ivc-integration:test:native bb - populating trace... (mem: 811.21 MiB) 15:02:46 [15:02:46.612] INFO: ivc-integration:test:native bb - time to construct proving key: 337 ms. (mem: 811.21 MiB) 15:02:46 [15:02:46.747] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6173302ca340 (mem: 811.21 MiB) 15:02:46 computing folding proof (mem: 811.21 MiB) 15:02:46 [15:02:46.750] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 811.21 MiB) 15:02:47 [15:02:47.074] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 811.21 MiB) 15:02:47 [15:02:47.175] INFO: ivc-integration:test:native bb - perturbator round (mem: 811.21 MiB) 15:02:47 [15:02:47.254] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 842.65 MiB) 15:02:47 [15:02:47.504] INFO: ivc-integration:test:native bb - folded (mem: 842.65 MiB) 15:02:47 constructed folding proof (mem: 842.65 MiB) 15:02:47 [15:02:47.512] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 842.65 MiB) 15:02:47 [15:02:47.576] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 842.65 MiB) 15:02:47 Constructing DeciderProvingKey (mem: 842.65 MiB) 15:02:47 [15:02:47.580] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 842.65 MiB) 15:02:47 goblin ecc op : 392/1024 (mem: 842.65 MiB) 15:02:47 busread : 16/6000 (mem: 842.65 MiB) 15:02:47 lookups : 2/15000 (mem: 842.65 MiB) 15:02:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 842.65 MiB) 15:02:47 arithmetic : 6914/56000 (mem: 842.65 MiB) 15:02:47 delta range : 2347/18000 (mem: 842.65 MiB) 15:02:47 elliptic : 2/6000 (mem: 842.65 MiB) 15:02:47 auxiliary : 77/26000 (mem: 842.65 MiB) 15:02:47 poseidon ext : 2472/17000 (mem: 842.65 MiB) 15:02:47 poseidon int : 14081/92000 (mem: 842.65 MiB) 15:02:47 overflow : 0/0 (mem: 842.65 MiB) 15:02:47 (mem: 842.65 MiB) 15:02:47 Total structured size: 242025 (mem: 842.65 MiB) 15:02:47 allocating polynomials object in proving key... (mem: 842.65 MiB) 15:02:47 [15:02:47.672] INFO: ivc-integration:test:native bb - populating trace... 15:02:47 [15:02:47.674] INFO: ivc-integration:test:native bb - (mem: 842.65 MiB) 15:02:47 [15:02:47.700] INFO: ivc-integration:test:native bb - time to construct proving key: 122 ms. (mem: 842.65 MiB) 15:02:47 [15:02:47.798] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6173302c4d40 (mem: 842.65 MiB) 15:02:47 computing folding proof (mem: 842.65 MiB) 15:02:47 [15:02:47.799] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 842.65 MiB) 15:02:48 [15:02:48.188] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 842.65 MiB) 15:02:48 [15:02:48.252] INFO: ivc-integration:test:native bb - perturbator round (mem: 842.65 MiB) 15:02:48 [15:02:48.308] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 843.62 MiB) 15:02:48 [15:02:48.490] INFO: ivc-integration:test:native bb - folded (mem: 843.62 MiB) 15:02:48 constructed folding proof (mem: 843.62 MiB) 15:02:48 [15:02:48.502] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 843.62 MiB) 15:02:48 [15:02:48.586] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 843.62 MiB) 15:02:48 Constructing DeciderProvingKey (mem: 843.62 MiB) 15:02:48 [15:02:48.590] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 843.62 MiB) 15:02:48 goblin ecc op : 392/1024 (mem: 843.62 MiB) 15:02:48 busread : 3/6000 (mem: 843.62 MiB) 15:02:48 lookups : 2/15000 (mem: 843.62 MiB) 15:02:48 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 843.62 MiB) 15:02:48 arithmetic : 6849/56000 (mem: 843.62 MiB) 15:02:48 delta range : 2333/18000 (mem: 843.62 MiB) 15:02:48 elliptic : 2/6000 (mem: 843.62 MiB) 15:02:48 [15:02:48.591] INFO: ivc-integration:test:native bb - auxiliary : 50/26000 (mem: 843.62 MiB) 15:02:48 poseidon ext : 2472/17000 (mem: 843.62 MiB) 15:02:48 poseidon int : 14081/92000 (mem: 843.62 MiB) 15:02:48 overflow : 0/0 (mem: 843.62 MiB) 15:02:48 (mem: 843.62 MiB) 15:02:48 Total structured size: 242025 (mem: 843.62 MiB) 15:02:48 allocating polynomials object in proving key... (mem: 843.62 MiB) 15:02:48 [15:02:48.655] INFO: ivc-integration:test:native bb - populating trace... (mem: 843.62 MiB) 15:02:48 [15:02:48.685] INFO: ivc-integration:test:native bb - time to construct proving key: 100 ms. (mem: 843.62 MiB) 15:02:48 [15:02:48.882] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61733025bfc0 (mem: 843.62 MiB) 15:02:48 computing folding proof (mem: 843.62 MiB) 15:02:48 [15:02:48.883] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 843.62 MiB) 15:02:49 [15:02:49.246] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 15:02:49 [15:02:49.247] INFO: ivc-integration:test:native bb - (mem: 843.62 MiB) 15:02:49 [15:02:49.339] INFO: ivc-integration:test:native bb - perturbator round (mem: 843.62 MiB) 15:02:49 [15:02:49.397] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 844.54 MiB) 15:02:49 [15:02:49.724] INFO: ivc-integration:test:native bb - folded (mem: 844.54 MiB) 15:02:49 constructed folding proof (mem: 844.54 MiB) 15:02:49 Largest circuit: 48490 gates. Trace details: (mem: 844.54 MiB) 15:02:49 Minimum required block sizes for structured trace: (mem: 844.54 MiB) 15:02:49 (mem: 844.54 MiB) 15:02:49 prove decider... (mem: 844.54 MiB) 15:02:49 [15:02:49.725] INFO: ivc-integration:test:native bb - ecc_op : 792 15:02:49 busread : 16 15:02:49 lookup : 2 15:02:49 pub_inputs : 36 15:02:49 arithmetic : 12080 15:02:49 delta_range : 2942 15:02:49 elliptic : 2 15:02:49 aux : 350 15:02:49 poseidon2_external : 4942 15:02:49 poseidon2_internal : 28160 15:02:49 overflow : 0 15:02:49 [15:02:49.828] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.54 MiB) 15:02:49 [15:02:49.990] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 844.54 MiB) 15:02:50 [15:02:50.676] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 844.54 MiB) 15:02:50 [15:02:50.748] INFO: ivc-integration:test:native bb - computed opening proof (mem: 844.54 MiB) 15:02:50 finished decider proving. (mem: 844.54 15:02:50 [15:02:50.748] INFO: ivc-integration:test:native bb - MiB) 15:02:50 [15:02:50.769] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 844.54 MiB) 15:02:50 [15:02:50.865] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 15:02:50 [15:02:50.868] INFO: ivc-integration:test:native bb - (mem: 844.54 MiB) 15:02:50 [15:02:50.872] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 844.54 MiB) 15:02:51 [15:02:51.028] INFO: ivc-integration:test:native bb - populating trace... (mem: 844.54 MiB) 15:02:51 [15:02:51.091] INFO: ivc-integration:test:native bb - time to construct proving key: 223 ms. (mem: 844.54 MiB) 15:02:51 [15:02:51.709] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 844.54 MiB) 15:02:52 [15:02:52.024] INFO: ivc-integration:test:native bb - created oink proof (mem: 844.54 MiB) 15:02:52 [15:02:52.197] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.54 MiB) 15:02:53 [15:02:53.165] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 844.54 MiB) 15:02:53 [15:02:53.647] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 844.54 MiB) 15:02:53 [15:02:53.680] INFO: ivc-integration:test:native bb - computed opening proof (mem: 844.54 MiB) 15:02:53 [15:02:53.685] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 844.54 MiB) 15:02:53 Constructing a Goblin proof with num ultra ops = 2226 (mem: 844.54 MiB) 15:02:53 [15:02:53.898] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 844.54 MiB) 15:02:54 [15:02:54.588] 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: 844.54 MiB) 15:02:54 [15:02:54.610] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 844.54 MiB) 15:02:56 [15:02:56.026] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.54 MiB) 15:02:57 [15:02:57.279] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 844.54 MiB) 15:03:01 [15:03:01.317] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 844.54 MiB) 15:03:01 prove translator... (mem: 844.54 MiB) 15:03:04 [15:03:04.677] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 866.18 MiB) 15:03:07 [15:03:07.227] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 866.18 MiB) 15:03:09 [15:03:09.205] INFO: ivc-integration:test:native bb - computed opening proof (mem: 866.18 MiB) 15:03:09 [15:03:09.206] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 866.18 MiB) 15:03:09 [15:03:09.210] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 866.18 MiB) 15:03:09 [15:03:09.230] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 866.18 MiB) 15:03:09 libra_evals_verified: 1 (mem: 866.18 MiB) 15:03:09 pairing_check_verified: 1 (mem: 866.18 MiB) 15:03:09 Mega verified: 1 (mem: 866.18 MiB) 15:03:09 [15:03:09.287] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 866.18 MiB) 15:03:09 batch opening verified?: 1 (mem: 866.18 MiB) 15:03:09 eccvm consistency check verified?: 1 (mem: 866.18 MiB) 15:03:09 translation masking consistency checked?: 1 (mem: 866.18 MiB) 15:03:09 [15:03:09.303] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 866.18 MiB) 15:03:09 eccvm verified?: 1 (mem: 866.18 MiB) 15:03:09 accumulator construction_verified?: 1 (mem: 866.18 MiB) 15:03:09 translation verified?: 1 (mem: 866.18 MiB) 15:03:09 [15:03:09.305] INFO: ivc-integration:test:native bb - consistency verified?: 1 (mem: 866.18 MiB) 15:03:09 Goblin verified: 1 (mem: 866.18 MiB) 15:03:09 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-NStIMA" (mem: 866.18 MiB) 15:03:09 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-NStIMA" (mem: 866.18 MiB) 15:03:09 BN254 commitment key size: 262144 (mem: 866.18 MiB) 15:03:09 [15:03:09.307] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 866.18 MiB) 15:03:09 [15:03:09.309] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.18 MiB) 15:03:09 goblin ecc op : 4/1024 (mem: 866.18 MiB) 15:03:09 busread : 3/6000 (mem: 866.18 MiB) 15:03:09 lookups : 2/15000 (mem: 866.18 MiB) 15:03:09 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 866.18 MiB) 15:03:09 arithmetic : 1773/56000 (mem: 866.18 MiB) 15:03:09 [15:03:09.310] INFO: ivc-integration:test:native bb - delta range : 1754/18000 (mem: 866.18 MiB) 15:03:09 elliptic : 2/6000 (mem: 866.18 MiB) 15:03:09 auxiliary : 26/26000 (mem: 866.18 MiB) 15:03:09 poseidon ext : 2/17000 (mem: 866.18 MiB) 15:03:09 poseidon int : 2/92000 (mem: 866.18 MiB) 15:03:09 overflow : 0/0 (mem: 866.18 MiB) 15:03:09 (mem: 866.18 MiB) 15:03:09 Total structured size: 242025 (mem: 866.18 MiB) 15:03:09 allocating polynomials object in proving key... (mem: 866.18 MiB) 15:03:09 [15:03:09.343] INFO: ivc-integration:test:native bb - populating trace... (mem: 866.18 MiB) 15:03:09 [15:03:09.354] INFO: ivc-integration:test:native bb - time to construct proving key: 47 ms. (mem: 866.18 MiB) 15:03:09 [15:03:09.392] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.18 MiB) 15:03:09 [15:03:09.778] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 866.18 MiB) 15:03:09 [15:03:09.778] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.18 MiB) 15:03:09 [15:03:09.889] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 866.18 MiB) 15:03:09 [15:03:09.897] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.18 MiB) 15:03:09 [15:03:09.915] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 866.18 MiB) 15:03:09 [15:03:09.919] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.18 MiB) 15:03:09 goblin ecc op : 56/1024 (mem: 866.18 MiB) 15:03:09 [15:03:09.919] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 866.18 MiB) 15:03:09 lookups : 2/15000 (mem: 866.18 MiB) 15:03:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 866.18 MiB) 15:03:09 arithmetic : 4481/56000 (mem: 866.18 MiB) 15:03:09 delta range : 2041/18000 (mem: 866.18 MiB) 15:03:09 elliptic : 2/6000 (mem: 866.18 MiB) 15:03:09 auxiliary : 50/26000 (mem: 866.18 MiB) 15:03:09 poseidon ext : 1312/17000 (mem: 866.18 MiB) 15:03:09 poseidon int : 7469/92000 (mem: 866.18 MiB) 15:03:09 overflow : 0/0 (mem: 866.18 MiB) 15:03:09 (mem: 866.18 MiB) 15:03:09 Total structured size: 242025 (mem: 866.18 MiB) 15:03:09 allocating polynomials object in proving key... (mem: 866.18 MiB) 15:03:10 [15:03:10.004] INFO: ivc-integration:test:native bb - populating trace... (mem: 866.18 MiB) 15:03:10 [15:03:10.017] INFO: ivc-integration:test:native bb - time to construct proving key: 101 ms. (mem: 866.18 MiB) 15:03:10 [15:03:10.066] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.18 MiB) 15:03:10 [15:03:10.418] INFO: ivc-integration:test:native bb - computing folding proof (mem: 866.18 MiB) 15:03:10 [15:03:10.419] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 866.18 MiB) 15:03:10 [15:03:10.925] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 866.18 MiB) 15:03:11 [15:03:11.051] INFO: ivc-integration:test:native bb - perturbator round (mem: 866.18 MiB) 15:03:11 [15:03:11.165] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 898.18 MiB) 15:03:11 [15:03:11.491] INFO: ivc-integration:test:native bb - folded (mem: 898.18 MiB) 15:03:11 constructed folding proof (mem: 898.18 MiB) 15:03:11 Largest circuit: 15360 gates. Trace details: (mem: 898.18 15:03:11 [15:03:11.491] INFO: ivc-integration:test:native bb - MiB) 15:03:11 Minimum required block sizes for structured trace: (mem: 898.18 MiB) 15:03:11 (mem: 898.18 MiB) 15:03:11 prove decider... (mem: 898.18 MiB) 15:03:11 [15:03:11.492] INFO: ivc-integration:test:native bb - ecc_op : 56 15:03:11 busread : 3 15:03:11 lookup : 2 15:03:11 pub_inputs : 36 15:03:11 arithmetic : 4481 15:03:11 delta_range : 2041 15:03:11 elliptic : 2 15:03:11 aux : 50 15:03:11 poseidon2_external : 1312 15:03:11 poseidon2_internal : 7469 15:03:11 overflow : 0 15:03:11 [15:03:11.601] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 898.18 MiB) 15:03:11 [15:03:11.674] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 898.18 MiB) 15:03:12 [15:03:12.600] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 898.18 MiB) 15:03:12 [15:03:12.656] INFO: ivc-integration:test:native bb - computed opening proof (mem: 898.18 MiB) 15:03:12 finished decider proving. (mem: 898.18 MiB) 15:03:12 [15:03:12.666] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 898.18 MiB) 15:03:12 [15:03:12.761] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 898.18 MiB) 15:03:12 [15:03:12.765] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 898.18 MiB) 15:03:12 [15:03:12.816] INFO: ivc-integration:test:native bb - populating trace... (mem: 898.18 MiB) 15:03:12 [15:03:12.849] INFO: ivc-integration:test:native bb - time to construct proving key: 87 ms. (mem: 898.18 MiB) 15:03:13 [15:03:13.298] 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-NStIMA/proof -k /tmp/bb-client-ivc-integration-NStIMA/vk -v 15:03:13 [15:03:13.330] INFO: ivc-integration:test:native bb command: verify (mem: 190.54 MiB) 15:03:13 Scheme is: client_ivc, num threads: 128 (mem: 190.54 MiB) 15:03:13 --proof_path: /tmp/bb-client-ivc-integration-NStIMA/proof (mem: 190.54 MiB) 15:03:13 --vk_path: /tmp/bb-client-ivc-integration-NStIMA/vk (mem: 190.54 MiB) 15:03:13 --verbose: true (mem: 190.54 MiB) 15:03:13 --scheme: client_ivc (mem: 190.54 MiB) 15:03:13 [15:03:13.436] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 190.54 MiB) 15:03:13 [15:03:13.460] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 190.54 MiB) 15:03:13 [15:03:13.464] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 190.54 MiB) 15:03:13 [15:03:13.482] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 190.54 MiB) 15:03:13 [15:03:13.483] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 190.54 MiB) 15:03:13 sumcheck_verified: 1 (mem: 190.54 MiB) 15:03:13 libra_evals_verified: 1 (mem: 190.54 MiB) 15:03:13 pairing_check_verified: 1 (mem: 190.54 MiB) 15:03:13 Mega verified: 1 (mem: 190.54 MiB) 15:03:13 [15:03:13.541] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 190.54 MiB) 15:03:13 batch opening verified?: 1 (mem: 190.54 MiB) 15:03:13 eccvm consistency check verified?: 1 (mem: 190.54 MiB) 15:03:13 translation masking consistency checked?: 1 (mem: 190.54 MiB) 15:03:13 [15:03:13.560] INFO: ivc-integration:test:native merge verified?: 1 (mem: 190.54 MiB) 15:03:13 eccvm verified?: 1 (mem: 190.54 MiB) 15:03:13 accumulator construction_verified?: 1 (mem: 190.54 MiB) 15:03:13 translation verified?: 1 (mem: 190.54 MiB) 15:03:13 consistency verified?: 1 (mem: 190.54 MiB) 15:03:13 Goblin verified: 1 (mem: 190.54 MiB) 15:03:13 [15:03:13.571] INFO: ivc-integration:test:native verified: 1 (mem: 190.54 MiB) 15:03:13 PASS src/native_client_ivc_integration.test.ts (72.515 s) 15:03:13 Client IVC Integration 15:03:13 ✓ Should generate a verifiable client IVC proof from a simple mock tx (38084 ms) 15:03:13 ✓ Should generate a verifiable client IVC proof from a complex mock tx (30819 ms) 15:03:13 15:03:13 Test Suites: 1 passed, 1 total 15:03:13 Tests: 2 passed, 2 total 15:03:13 Snapshots: 0 total 15:03:13 Time: 72.629 s 15:03:13 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 15:03:13 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?