Parent Log: http://ci.aztec-labs.com/67b970199dfcde97 Command: 7a41fc0e1576329f: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/142e6cd5fbf7371f649078f9d6d08828585c664d Env: REF_NAME=gh-readonly-queue/next/pr-14610-016def8adbfe93f34b41a41f439b146b5318c895 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 24 12:53:39 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14610_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 12:53:44 [12:53:44.527] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-kQCMse/ivc-inputs.msgpack 12:53:44 [12:53:44.533] INFO: ivc-integration:test:native bb - BB concurrency: undefined 12:53:44 [12:53:44.534] 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-kQCMse --ivc_inputs_path /tmp/bb-client-ivc-integration-kQCMse/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 12:53:44 [12:53:44.562] INFO: ivc-integration:test:native bb - bb command: prove (mem: 235.09 MiB) 12:53:44 Scheme is: client_ivc, num threads: 128 (mem: 235.09 MiB) 12:53:44 --scheme: client_ivc (mem: 235.09 MiB) 12:53:44 --output_path: /tmp/bb-client-ivc-integration-kQCMse (mem: 235.09 MiB) 12:53:44 --ivc_inputs_path: /tmp/bb-client-ivc-integration-kQCMse/ivc-inputs.msgpack (mem: 235.09 MiB) 12:53:44 --verbose: true (mem: 235.09 MiB) 12:53:44 --write_vk: true (mem: 235.09 MiB) 12:53:44 [12:53:44.568] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 235.09 MiB) 12:53:44 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.09 MiB) 12:53:44 [12:53:44.632] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 235.09 MiB) 12:53:44 [12:53:44.640] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 235.09 MiB) 12:53:44 Constructing DeciderProvingKey (mem: 235.09 MiB) 12:53:44 [12:53:44.641] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 235.09 MiB) 12:53:44 goblin ecc op : 4/1024 (mem: 235.09 MiB) 12:53:44 busread : 7/6000 (mem: 235.09 MiB) 12:53:44 lookups : 2/15000 (mem: 235.09 MiB) 12:53:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 235.09 MiB) 12:53:44 arithmetic : 1760/56000 (mem: 235.09 MiB) 12:53:44 delta range : 1754/18000 (mem: 235.09 MiB) 12:53:44 elliptic : 2/6000 (mem: 235.09 MiB) 12:53:44 auxiliary : 26/26000 (mem: 235.09 MiB) 12:53:44 poseidon ext : 2/17000 (mem: 235.09 MiB) 12:53:44 poseidon int : 2/92000 (mem: 235.09 MiB) 12:53:44 overflow : 0/0 (mem: 235.09 MiB) 12:53:44 (mem: 235.09 MiB) 12:53:44 Total structured size: 242025 (mem: 235.09 MiB) 12:53:44 [12:53:44.644] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 235.09 MiB) 12:53:44 [12:53:44.846] INFO: ivc-integration:test:native bb - populating trace... (mem: 345.04 MiB) 12:53:44 [12:53:44.862] INFO: ivc-integration:test:native bb - time to construct proving key: 224 ms. (mem: 352.04 MiB) 12:53:44 [12:53:44.952] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c1a9fb345c0 (mem: 352.04 MiB) 12:53:44 [12:53:44.953] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 352.04 MiB) 12:53:44 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 352.04 MiB) 12:53:45 [12:53:45.142] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 362.04 MiB) 12:53:45 [12:53:45.151] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 362.04 MiB) 12:53:45 [12:53:45.167] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 362.04 MiB) 12:53:45 Constructing DeciderProvingKey (mem: 362.04 MiB) 12:53:45 [12:53:45.177] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 362.04 MiB) 12:53:45 goblin ecc op : 56/1024 (mem: 362.04 MiB) 12:53:45 busread : 12/6000 (mem: 362.04 MiB) 12:53:45 lookups : 2/15000 (mem: 362.04 MiB) 12:53:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 362.04 MiB) 12:53:45 arithmetic : 4676/56000 (mem: 362.04 MiB) 12:53:45 delta range : 2073/18000 (mem: 362.04 MiB) 12:53:45 elliptic : 2/6000 (mem: 362.04 MiB) 12:53:45 auxiliary : 110/26000 (mem: 362.04 MiB) 12:53:45 poseidon ext : 1322/17000 (mem: 362.04 MiB) 12:53:45 poseidon int : 7526/92000 (mem: 362.04 MiB) 12:53:45 overflow : 0/0 (mem: 362.04 MiB) 12:53:45 (mem: 362.04 MiB) 12:53:45 Total structured size: 242025 (mem: 362.04 MiB) 12:53:45 allocating polynomials object in proving key... (mem: 362.04 MiB) 12:53:45 [12:53:45.325] INFO: ivc-integration:test:native bb - populating trace... (mem: 569.04 MiB) 12:53:45 [12:53:45.362] INFO: ivc-integration:test:native bb - time to construct proving key: 192 ms. (mem: 588.04 MiB) 12:53:45 [12:53:45.622] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c1a9fb412c0 (mem: 588.04 MiB) 12:53:45 computing folding proof (mem: 588.04 MiB) 12:53:45 [12:53:45.623] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 588.04 MiB) 12:53:45 [12:53:45.929] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 591.04 MiB) 12:53:46 [12:53:46.045] INFO: ivc-integration:test:native bb - perturbator round (mem: 629.04 MiB) 12:53:46 [12:53:46.115] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 662.04 MiB) 12:53:46 [12:53:46.517] INFO: ivc-integration:test:native bb - folded (mem: 662.04 MiB) 12:53:46 constructed folding proof (mem: 662.04 MiB) 12:53:46 [12:53:46.526] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 662.04 MiB) 12:53:46 [12:53:46.583] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 662.04 MiB) 12:53:46 Constructing DeciderProvingKey (mem: 662.04 MiB) 12:53:46 [12:53:46.586] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 662.04 MiB) 12:53:46 goblin ecc op : 392/1024 (mem: 662.04 MiB) 12:53:46 busread : 3/6000 (mem: 662.04 MiB) 12:53:46 lookups : 2/15000 (mem: 662.04 MiB) 12:53:46 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 662.04 MiB) 12:53:46 arithmetic : 6912/56000 (mem: 662.04 MiB) 12:53:46 delta range : 2353/18000 (mem: 662.04 MiB) 12:53:46 elliptic : 2/6000 (mem: 662.04 MiB) 12:53:46 [12:53:46.589] INFO: ivc-integration:test:native bb - auxiliary : 50/26000 (mem: 662.04 MiB) 12:53:46 poseidon ext : 2492/17000 (mem: 662.04 MiB) 12:53:46 poseidon int : 14195/92000 (mem: 662.04 MiB) 12:53:46 overflow : 0/0 (mem: 662.04 MiB) 12:53:46 (mem: 662.04 MiB) 12:53:46 Total structured size: 242025 (mem: 662.04 MiB) 12:53:46 allocating polynomials object in proving key... (mem: 662.04 MiB) 12:53:46 [12:53:46.799] INFO: ivc-integration:test:native bb - populating trace... (mem: 662.04 MiB) 12:53:46 [12:53:46.847] INFO: ivc-integration:test:native bb - time to construct proving key: 264 ms. (mem: 662.04 MiB) 12:53:47 [12:53:47.194] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c1a9fb4c780 (mem: 662.04 MiB) 12:53:47 computing folding proof (mem: 662.04 MiB) 12:53:47 [12:53:47.203] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 662.04 MiB) 12:53:47 [12:53:47.590] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 662.04 MiB) 12:53:47 [12:53:47.699] INFO: ivc-integration:test:native bb - perturbator round (mem: 662.04 MiB) 12:53:47 [12:53:47.763] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 671.29 MiB) 12:53:48 [12:53:48.097] INFO: ivc-integration:test:native bb - folded (mem: 671.29 MiB) 12:53:48 constructed folding proof (mem: 671.29 MiB) 12:53:48 Largest circuit: 26009 gates. Trace details: (mem: 671.29 MiB) 12:53:48 Minimum required block sizes for structured trace: (mem: 671.29 MiB) 12:53:48 [12:53:48.098] INFO: ivc-integration:test:native bb - (mem: 671.29 MiB) 12:53:48 prove decider... (mem: 671.29 MiB) 12:53:48 [12:53:48.102] INFO: ivc-integration:test:native bb - ecc_op : 392 12:53:48 busread : 12 12:53:48 lookup : 2 12:53:48 pub_inputs : 36 12:53:48 arithmetic : 6912 12:53:48 delta_range : 2353 12:53:48 elliptic : 2 12:53:48 aux : 110 12:53:48 poseidon2_external : 2492 12:53:48 poseidon2_internal : 14195 12:53:48 overflow : 0 12:53:48 [12:53:48.334] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.29 MiB) 12:53:48 [12:53:48.501] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 671.29 MiB) 12:53:50 [12:53:49.996] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 671.29 MiB) 12:53:50 [12:53:50.129] INFO: ivc-integration:test:native bb - computed opening proof (mem: 671.29 MiB) 12:53:50 finished decider proving. (mem: 671.29 MiB) 12:53:50 [12:53:50.146] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb 12:53:50 [12:53:50.147] INFO: ivc-integration:test:native bb - (mem: 12:53:50 [12:53:50.150] INFO: ivc-integration:test:native bb - 671.29 MiB) 12:53:50 [12:53:50.274] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 671.29 MiB) 12:53:50 [12:53:50.288] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 12:53:50 [12:53:50.289] INFO: ivc-integration:test:native bb - (mem: 12:53:50 [12:53:50.290] INFO: ivc-integration:test:native bb - 671.29 12:53:50 [12:53:50.290] INFO: ivc-integration:test:native bb - MiB) 12:53:50 [12:53:50.291] INFO: ivc-integration:test:native bb - 12:53:50 [12:53:50.481] INFO: ivc-integration:test:native bb - populating trace... (mem: 671.29 MiB) 12:53:50 [12:53:50.531] INFO: ivc-integration:test:native bb - time to construct proving key: 257 ms. (mem: 671.29 MiB) 12:53:52 [12:53:52.141] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 671.29 MiB) 12:53:52 [12:53:52.906] INFO: ivc-integration:test:native bb - created oink proof (mem: 671.29 MiB) 12:53:53 [12:53:53.243] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.29 MiB) 12:53:54 [12:53:54.702] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 671.29 MiB) 12:53:56 [12:53:56.139] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 12:53:56 [12:53:56.144] INFO: ivc-integration:test:native bb - (mem: 671.29 MiB) 12:53:56 [12:53:56.265] INFO: ivc-integration:test:native bb - computed opening proof (mem: 671.29 MiB) 12:53:56 finished decider proving. (mem: 671.29 MiB) 12:53:56 Constructing a Goblin proof with num ultra ops = 1038 (mem: 671.29 MiB) 12:53:56 [12:53:56.599] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 671.29 MiB) 12:53:57 [12:53:57.078] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 12:53:57 [12:53:57.079] INFO: ivc-integration:test:native bb - (mem: 671.29 MiB) 12:53:57 [12:53:57.111] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 671.29 MiB) 12:53:59 [12:53:59.487] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.29 MiB) 12:54:02 [12:54:02.235] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 12:54:02 [12:54:02.236] INFO: ivc-integration:test:native bb - (mem: 671.29 MiB) 12:54:07 [12:54:07.616] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 671.29 MiB) 12:54:07 prove translator... (mem: 671.29 MiB) 12:54:10 [12:54:10.801] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 704.90 MiB) 12:54:14 [12:54:14.560] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 704.90 MiB) 12:54:18 [12:54:18.260] INFO: ivc-integration:test:native bb - computed opening proof (mem: 704.90 MiB) 12:54:18 finished translator proving. (mem: 704.90 MiB) 12:54:18 vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 704.90 MiB) 12:54:18 [12:54:18.352] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 704.90 MiB) 12:54:18 libra_evals_verified: 1 (mem: 704.90 MiB) 12:54:18 pairing_check_verified: 1 (mem: 704.90 MiB) 12:54:18 Mega verified: 1 12:54:18 [12:54:18.353] INFO: ivc-integration:test:native bb - (mem: 704.90 MiB) 12:54:18 [12:54:18.537] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 12:54:18 [12:54:18.538] INFO: ivc-integration:test:native bb - (mem: 12:54:18 [12:54:18.539] INFO: ivc-integration:test:native bb - 704.90 MiB) 12:54:18 batch opening verified?: 1 (mem: 704.90 MiB) 12:54:18 eccvm consistency check verified?: 1 (mem: 704.90 MiB) 12:54:18 translation masking consistency checked?: 1 (mem: 704.90 MiB) 12:54:18 [12:54:18.570] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 704.90 MiB) 12:54:18 eccvm verified?: 1 (mem: 704.90 MiB) 12:54:18 accumulator construction_verified?: 1 (mem: 704.90 MiB) 12:54:18 translation verified?: 1 (mem: 704.90 MiB) 12:54:18 consistency verified?: 1 (mem: 704.90 MiB) 12:54:18 Goblin verified: 1 (mem: 704.90 MiB) 12:54:18 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-kQCMse" (mem: 704.90 MiB) 12:54:18 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-kQCMse" (mem: 704.90 MiB) 12:54:18 BN254 commitment key size: 262144 (mem: 704.90 MiB) 12:54:18 [12:54:18.575] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 704.90 MiB) 12:54:18 [12:54:18.576] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 704.90 MiB) 12:54:18 goblin ecc op : 4/1024 (mem: 704.90 MiB) 12:54:18 busread : 3/6000 (mem: 704.90 MiB) 12:54:18 lookups : 2/15000 (mem: 704.90 MiB) 12:54:18 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 704.90 MiB) 12:54:18 arithmetic : 1773/56000 (mem: 704.90 MiB) 12:54:18 delta range : 1754/18000 (mem: 704.90 MiB) 12:54:18 elliptic : 2/6000 (mem: 704.90 MiB) 12:54:18 auxiliary : 26/26000 (mem: 704.90 MiB) 12:54:18 poseidon ext : 2/17000 (mem: 704.90 MiB) 12:54:18 poseidon int : 2/92000 (mem: 704.90 MiB) 12:54:18 overflow : 0/0 (mem: 704.90 MiB) 12:54:18 (mem: 704.90 MiB) 12:54:18 Total structured size: 242025 (mem: 704.90 MiB) 12:54:18 allocating polynomials object in proving key... (mem: 704.90 MiB) 12:54:18 [12:54:18.892] INFO: ivc-integration:test:native bb - populating trace... (mem: 704.90 MiB) 12:54:18 [12:54:18.917] INFO: ivc-integration:test:native bb - time to construct proving key: 343 ms. (mem: 704.90 MiB) 12:54:19 [12:54:19.153] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 704.90 MiB) 12:54:19 [12:54:19.849] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 705.90 MiB) 12:54:19 [12:54:19.852] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.90 MiB) 12:54:20 [12:54:20.550] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 705.90 MiB) 12:54:20 [12:54:20.557] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.90 MiB) 12:54:20 [12:54:20.572] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 705.90 MiB) 12:54:20 [12:54:20.576] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 705.90 MiB) 12:54:20 goblin ecc op : 56/1024 (mem: 705.90 MiB) 12:54:20 busread : 3/6000 (mem: 705.90 MiB) 12:54:20 lookups : 2/15000 (mem: 705.90 MiB) 12:54:20 [12:54:20.577] INFO: ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 705.90 MiB) 12:54:20 arithmetic : 4532/56000 (mem: 705.90 MiB) 12:54:20 delta range : 2060/18000 (mem: 705.90 MiB) 12:54:20 elliptic : 2/6000 (mem: 705.90 MiB) 12:54:20 auxiliary : 50/26000 (mem: 705.90 MiB) 12:54:20 poseidon ext : 1332/17000 (mem: 705.90 MiB) 12:54:20 poseidon int : 7583/92000 (mem: 705.90 MiB) 12:54:20 overflow : 0/0 (mem: 705.90 MiB) 12:54:20 (mem: 705.90 MiB) 12:54:20 Total structured size: 242025 (mem: 705.90 MiB) 12:54:20 allocating polynomials object in proving key... (mem: 705.90 MiB) 12:54:20 [12:54:20.919] INFO: ivc-integration:test:native bb - populating trace... (mem: 705.90 MiB) 12:54:20 [12:54:20.975] INFO: ivc-integration:test:native bb - time to construct proving key: 401 ms. (mem: 705.90 MiB) 12:54:21 [12:54:21.399] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 705.90 MiB) 12:54:22 [12:54:22.250] INFO: ivc-integration:test:native bb - computing folding proof (mem: 705.90 MiB) 12:54:22 [12:54:22.251] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 705.90 MiB) 12:54:22 [12:54:22.799] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 12:54:22 [12:54:22.800] INFO: ivc-integration:test:native bb - (mem: 705.90 MiB) 12:54:22 [12:54:22.915] INFO: ivc-integration:test:native bb - perturbator round (mem: 705.90 MiB) 12:54:22 [12:54:22.994] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 737.90 MiB) 12:54:23 [12:54:23.413] INFO: ivc-integration:test:native bb - folded (mem: 737.90 MiB) 12:54:23 constructed folding proof (mem: 737.90 MiB) 12:54:23 Largest circuit: 15564 gates. Trace details: (mem: 737.90 MiB) 12:54:23 Minimum required block sizes for structured trace: (mem: 737.90 MiB) 12:54:23 (mem: 737.90 MiB) 12:54:23 prove decider... (mem: 737.90 MiB) 12:54:23 [12:54:23.415] INFO: ivc-integration:test:native bb - ecc_op : 56 12:54:23 busread : 3 12:54:23 lookup : 2 12:54:23 pub_inputs : 36 12:54:23 arithmetic : 4532 12:54:23 delta_range : 2060 12:54:23 elliptic : 2 12:54:23 aux : 50 12:54:23 poseidon2_external : 1332 12:54:23 poseidon2_internal : 7583 12:54:23 overflow : 0 12:54:23 [12:54:23.620] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 737.90 MiB) 12:54:23 [12:54:23.850] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 12:54:23 [12:54:23.855] INFO: ivc-integration:test:native bb - (mem: 737.90 MiB) 12:54:25 [12:54:25.740] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 737.90 MiB) 12:54:25 [12:54:25.854] INFO: ivc-integration:test:native bb - computed opening proof (mem: 737.90 MiB) 12:54:25 finished decider proving. (mem: 737.90 MiB) 12:54:25 [12:54:25.866] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 737.90 MiB) 12:54:25 [12:54:25.959] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 737.90 MiB) 12:54:25 [12:54:25.963] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 737.90 MiB) 12:54:26 [12:54:26.059] INFO: ivc-integration:test:native bb - populating trace... (mem: 737.90 MiB) 12:54:26 [12:54:26.134] INFO: ivc-integration:test:native bb - time to construct proving key: 175 ms. (mem: 737.90 MiB) 12:54:26 [12:54:26.711] INFO: ivc-integration:test:native BB concurrency: 1 12:54:26 [12:54:26.712] 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-kQCMse/proof -k /tmp/bb-client-ivc-integration-kQCMse/vk -v 12:54:26 [12:54:26.738] INFO: ivc-integration:test:native bb command: verify 12:54:26 [12:54:26.739] INFO: ivc-integration:test:native (mem: 235.62 MiB) 12:54:26 Scheme is: client_ivc, num threads: 1 (mem: 235.62 MiB) 12:54:26 --proof_path: /tmp/bb-client-ivc-integration-kQCMse/proof (mem: 235.62 MiB) 12:54:26 --vk_path: /tmp/bb-client-ivc-integration-kQCMse/vk (mem: 235.62 MiB) 12:54:26 --verbose: true (mem: 235.62 MiB) 12:54:26 --scheme: client_ivc (mem: 235.62 MiB) 12:54:26 [12:54:26.739] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 235.62 MiB) 12:54:26 [12:54:26.767] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 235.62 MiB) 12:54:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 235.62 MiB) 12:54:26 [12:54:26.797] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.62 MiB) 12:54:26 Initialized BN254 CRS from memory with num points = 1 (mem: 235.62 MiB) 12:54:26 [12:54:26.813] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 235.62 MiB) 12:54:26 libra_evals_verified: 1 (mem: 235.62 MiB) 12:54:26 pairing_check_verified: 1 (mem: 235.62 MiB) 12:54:26 Mega verified: 1 (mem: 235.62 MiB) 12:54:27 [12:54:27.423] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 235.62 MiB) 12:54:27 batch opening verified?: 1 (mem: 235.62 MiB) 12:54:27 eccvm consistency check verified?: 1 (mem: 235.62 MiB) 12:54:27 translation masking consistency checked?: 1 (mem: 235.62 MiB) 12:54:27 [12:54:27.445] INFO: ivc-integration:test:native merge verified?: 1 (mem: 235.62 MiB) 12:54:27 eccvm verified?: 1 (mem: 235.62 MiB) 12:54:27 accumulator construction_verified?: 1 (mem: 235.62 MiB) 12:54:27 translation verified?: 1 (mem: 235.62 MiB) 12:54:27 consistency verified?: 1 (mem: 235.62 MiB) 12:54:27 [12:54:27.446] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 235.62 MiB) 12:54:27 verified: 1 (mem: 235.62 MiB) 12:54:27 [12:54:27.604] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Nvtcpl/ivc-inputs.msgpack 12:54:27 [12:54:27.605] INFO: ivc-integration:test:native bb - BB concurrency: undefined 12:54:27 [12:54:27.606] 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-Nvtcpl --ivc_inputs_path /tmp/bb-client-ivc-integration-Nvtcpl/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 12:54:27 [12:54:27.641] INFO: ivc-integration:test:native bb - bb command: prove (mem: 238.11 MiB) 12:54:27 Scheme is: client_ivc, num threads: 128 (mem: 238.11 MiB) 12:54:27 --scheme: client_ivc 12:54:27 [12:54:27.641] INFO: ivc-integration:test:native bb - (mem: 238.11 MiB) 12:54:27 --output_path: /tmp/bb-client-ivc-integration-Nvtcpl (mem: 238.11 MiB) 12:54:27 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Nvtcpl/ivc-inputs.msgpack (mem: 238.11 MiB) 12:54:27 --verbose: true (mem: 238.11 MiB) 12:54:27 --write_vk: true (mem: 238.11 MiB) 12:54:27 [12:54:27.646] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 238.11 MiB) 12:54:27 [12:54:27.648] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 238.11 MiB) 12:54:27 [12:54:27.714] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 238.11 MiB) 12:54:27 [12:54:27.718] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 12:54:27 [12:54:27.718] INFO: ivc-integration:test:native bb - (mem: 12:54:27 [12:54:27.719] INFO: ivc-integration:test:native bb - 238.11 12:54:27 [12:54:27.719] INFO: ivc-integration:test:native bb - MiB) 12:54:27 [12:54:27.719] INFO: ivc-integration:test:native bb - 12:54:27 [12:54:27.721] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 238.11 MiB) 12:54:27 [12:54:27.731] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 238.11 MiB) 12:54:27 goblin ecc op : 4/1024 (mem: 238.11 MiB) 12:54:27 busread : 7/6000 (mem: 238.11 MiB) 12:54:27 lookups : 2/15000 (mem: 238.11 MiB) 12:54:27 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 238.11 MiB) 12:54:27 arithmetic : 1760/56000 (mem: 238.11 MiB) 12:54:27 delta range : 1754/18000 (mem: 238.11 MiB) 12:54:27 elliptic : 2/6000 (mem: 238.11 MiB) 12:54:27 auxiliary : 26/26000 (mem: 238.11 MiB) 12:54:27 poseidon ext : 2/17000 (mem: 238.11 MiB) 12:54:27 poseidon int : 2/92000 (mem: 238.11 MiB) 12:54:27 overflow : 0/0 (mem: 238.11 MiB) 12:54:27 (mem: 238.11 MiB) 12:54:27 Total structured size: 242025 (mem: 238.11 MiB) 12:54:27 allocating polynomials object in proving key... (mem: 238.11 MiB) 12:54:28 [12:54:28.124] INFO: ivc-integration:test:native bb - populating trace... (mem: 345.60 MiB) 12:54:28 [12:54:28.157] INFO: ivc-integration:test:native bb - time to construct proving key: 436 ms. (mem: 359.60 MiB) 12:54:28 [12:54:28.352] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b144a8e53c0 (mem: 359.60 MiB) 12:54:28 [12:54:28.353] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 359.60 MiB) 12:54:28 [12:54:28.353] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 359.60 MiB) 12:54:28 [12:54:28.646] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 368.60 MiB) 12:54:28 [12:54:28.654] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 368.60 MiB) 12:54:28 [12:54:28.671] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 368.60 MiB) 12:54:28 Constructing DeciderProvingKey (mem: 368.60 12:54:28 [12:54:28.671] INFO: ivc-integration:test:native bb - MiB) 12:54:28 [12:54:28.676] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 368.60 MiB) 12:54:28 goblin ecc op : 56/1024 (mem: 368.60 MiB) 12:54:28 [12:54:28.677] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 368.60 MiB) 12:54:28 lookups : 2/15000 (mem: 368.60 MiB) 12:54:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 368.60 MiB) 12:54:28 arithmetic : 4676/56000 (mem: 368.60 MiB) 12:54:28 delta range : 2073/18000 (mem: 368.60 MiB) 12:54:28 elliptic : 2/6000 (mem: 368.60 MiB) 12:54:28 auxiliary : 110/26000 (mem: 368.60 MiB) 12:54:28 poseidon ext : 1322/17000 (mem: 368.60 MiB) 12:54:28 poseidon int : 7526/92000 (mem: 368.60 MiB) 12:54:28 overflow : 0/0 (mem: 368.60 MiB) 12:54:28 (mem: 368.60 MiB) 12:54:28 Total structured size: 242025 (mem: 368.60 MiB) 12:54:28 allocating polynomials object in proving key... (mem: 368.60 MiB) 12:54:28 [12:54:28.842] INFO: ivc-integration:test:native bb - populating trace... (mem: 571.60 MiB) 12:54:28 [12:54:28.881] INFO: ivc-integration:test:native bb - time to construct proving key: 209 ms. (mem: 585.60 MiB) 12:54:29 [12:54:29.024] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b144a8ee680 (mem: 585.60 MiB) 12:54:29 computing folding proof (mem: 585.60 MiB) 12:54:29 [12:54:29.025] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 585.60 MiB) 12:54:29 [12:54:29.255] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 587.60 MiB) 12:54:29 [12:54:29.336] INFO: ivc-integration:test:native bb - perturbator round (mem: 625.60 MiB) 12:54:29 [12:54:29.382] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 657.60 MiB) 12:54:29 [12:54:29.627] INFO: ivc-integration:test:native bb - folded (mem: 657.60 MiB) 12:54:29 constructed folding proof (mem: 657.60 MiB) 12:54:29 [12:54:29.630] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 657.60 MiB) 12:54:29 Constructing DeciderProvingKey (mem: 657.60 MiB) 12:54:29 [12:54:29.633] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 657.60 MiB) 12:54:29 goblin ecc op : 4/1024 (mem: 657.60 MiB) 12:54:29 busread : 7/6000 (mem: 657.60 MiB) 12:54:29 [12:54:29.634] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 657.60 MiB) 12:54:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 657.60 MiB) 12:54:29 arithmetic : 1760/56000 (mem: 657.60 MiB) 12:54:29 delta range : 1754/18000 (mem: 657.60 MiB) 12:54:29 elliptic : 2/6000 (mem: 657.60 MiB) 12:54:29 auxiliary : 26/26000 (mem: 657.60 MiB) 12:54:29 poseidon ext : 2/17000 (mem: 657.60 MiB) 12:54:29 poseidon int : 2/92000 (mem: 657.60 MiB) 12:54:29 overflow : 0/0 (mem: 657.60 MiB) 12:54:29 (mem: 657.60 MiB) 12:54:29 Total structured size: 242025 (mem: 657.60 MiB) 12:54:29 allocating polynomials object in proving key... (mem: 657.60 MiB) 12:54:29 [12:54:29.677] INFO: ivc-integration:test:native bb - populating trace... (mem: 657.60 MiB) 12:54:29 [12:54:29.691] INFO: ivc-integration:test:native bb - time to construct proving key: 61 ms. (mem: 657.60 MiB) 12:54:29 [12:54:29.775] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b144a8ea340 (mem: 657.60 MiB) 12:54:29 computing folding proof (mem: 657.60 MiB) 12:54:29 [12:54:29.776] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 657.60 MiB) 12:54:29 [12:54:29.883] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 657.60 MiB) 12:54:29 [12:54:29.940] INFO: ivc-integration:test:native bb - perturbator round (mem: 657.60 MiB) 12:54:29 [12:54:29.985] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 659.24 MiB) 12:54:30 [12:54:30.080] INFO: ivc-integration:test:native bb - folded (mem: 659.24 MiB) 12:54:30 constructed folding proof (mem: 659.24 MiB) 12:54:30 [12:54:30.086] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 659.24 MiB) 12:54:30 [12:54:30.162] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 659.24 MiB) 12:54:30 [12:54:30.229] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 659.24 MiB) 12:54:30 [12:54:30.230] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 659.24 MiB) 12:54:30 [12:54:30.235] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 659.24 MiB) 12:54:30 goblin ecc op : 792/1024 (mem: 659.24 MiB) 12:54:30 busread : 12/6000 (mem: 659.24 MiB) 12:54:30 [12:54:30.236] INFO: ivc-integration:test:native bb - 12:54:30 lookups : 2/15000 (mem: 659.24 MiB) 12:54:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 659.24 MiB) 12:54:30 arithmetic : 12206/56000 (mem: 659.24 MiB) 12:54:30 delta range : 2981/18000 (mem: 659.24 MiB) 12:54:30 elliptic : 2/6000 (mem: 659.24 MiB) 12:54:30 auxiliary : 350/26000 (mem: 659.24 MiB) 12:54:30 poseidon ext : 4982/17000 (mem: 659.24 MiB) 12:54:30 poseidon int : 28388/92000 (mem: 659.24 MiB) 12:54:30 overflow : 0/0 (mem: 659.24 MiB) 12:54:30 (mem: 659.24 MiB) 12:54:30 Total structured size: 242025 (mem: 659.24 MiB) 12:54:30 allocating polynomials object in proving key... (mem: 659.24 MiB) 12:54:30 [12:54:30.339] INFO: ivc-integration:test:native bb - populating trace... (mem: 659.24 MiB) 12:54:30 [12:54:30.377] INFO: ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 659.24 MiB) 12:54:30 [12:54:30.464] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b144a962400 (mem: 659.24 MiB) 12:54:30 computing folding proof (mem: 659.24 MiB) 12:54:30 [12:54:30.465] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 659.24 MiB) 12:54:30 [12:54:30.793] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 659.24 MiB) 12:54:30 [12:54:30.908] INFO: ivc-integration:test:native bb - perturbator round (mem: 676.70 MiB) 12:54:30 [12:54:30.974] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 708.70 MiB) 12:54:31 [12:54:31.221] INFO: ivc-integration:test:native bb - folded (mem: 708.70 MiB) 12:54:31 constructed folding proof (mem: 708.70 MiB) 12:54:31 [12:54:31.230] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 708.70 MiB) 12:54:31 [12:54:31.304] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 12:54:31 [12:54:31.308] INFO: ivc-integration:test:native bb - (mem: 708.70 MiB) 12:54:31 Constructing DeciderProvingKey (mem: 708.70 MiB) 12:54:31 [12:54:31.310] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 12:54:31 [12:54:31.310] INFO: ivc-integration:test:native bb - (mem: 12:54:31 [12:54:31.310] INFO: ivc-integration:test:native bb - 708.70 12:54:31 [12:54:31.311] INFO: ivc-integration:test:native bb - MiB) 12:54:31 [12:54:31.311] INFO: ivc-integration:test:native bb - 12:54:31 [12:54:31.311] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 12:54:31 [12:54:31.312] INFO: ivc-integration:test:native bb - (mem: 708.70 MiB) 12:54:31 busread : 16/6000 (mem: 708.70 MiB) 12:54:31 lookups : 2/15000 (mem: 708.70 MiB) 12:54:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 708.70 MiB) 12:54:31 arithmetic : 6977/56000 (mem: 708.70 MiB) 12:54:31 delta range : 2367/18000 (mem: 708.70 MiB) 12:54:31 elliptic : 2/6000 (mem: 708.70 MiB) 12:54:31 auxiliary : 77/26000 (mem: 708.70 MiB) 12:54:31 poseidon ext : 2492/17000 (mem: 708.70 MiB) 12:54:31 poseidon int : 14195/92000 (mem: 708.70 MiB) 12:54:31 overflow : 0/0 (mem: 708.70 MiB) 12:54:31 (mem: 708.70 MiB) 12:54:31 Total structured size: 242025 (mem: 708.70 MiB) 12:54:31 allocating polynomials object in proving key... (mem: 708.70 MiB) 12:54:31 [12:54:31.398] INFO: ivc-integration:test:native bb - populating trace... (mem: 708.70 MiB) 12:54:31 [12:54:31.442] INFO: ivc-integration:test:native bb - time to construct proving key: 136 ms. (mem: 708.70 MiB) 12:54:31 [12:54:31.669] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b144a94b980 (mem: 708.70 MiB) 12:54:31 computing folding proof (mem: 708.70 MiB) 12:54:31 [12:54:31.671] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 708.70 MiB) 12:54:32 [12:54:32.011] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 708.70 MiB) 12:54:32 [12:54:32.074] INFO: ivc-integration:test:native bb - perturbator round (mem: 708.70 MiB) 12:54:32 [12:54:32.137] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 709.09 MiB) 12:54:32 [12:54:32.297] INFO: ivc-integration:test:native bb - folded (mem: 709.09 MiB) 12:54:32 constructed folding proof (mem: 709.09 MiB) 12:54:32 [12:54:32.306] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 709.09 MiB) 12:54:32 [12:54:32.362] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 709.09 MiB) 12:54:32 Constructing DeciderProvingKey (mem: 709.09 MiB) 12:54:32 [12:54:32.367] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 709.09 MiB) 12:54:32 goblin ecc op : 392/1024 (mem: 709.09 MiB) 12:54:32 busread : 3/6000 (mem: 709.09 MiB) 12:54:32 lookups : 2/15000 (mem: 709.09 MiB) 12:54:32 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 709.09 MiB) 12:54:32 arithmetic : 6912/56000 (mem: 709.09 MiB) 12:54:32 delta range : 2353/18000 (mem: 709.09 MiB) 12:54:32 elliptic : 2/6000 (mem: 709.09 MiB) 12:54:32 auxiliary : 50/26000 (mem: 709.09 MiB) 12:54:32 poseidon ext : 2492/17000 (mem: 709.09 MiB) 12:54:32 poseidon int : 14195/92000 (mem: 709.09 MiB) 12:54:32 overflow : 0/0 (mem: 709.09 MiB) 12:54:32 (mem: 709.09 MiB) 12:54:32 Total structured size: 242025 (mem: 709.09 MiB) 12:54:32 allocating polynomials object in proving key... (mem: 709.09 MiB) 12:54:32 [12:54:32.409] INFO: ivc-integration:test:native bb - populating trace... (mem: 709.09 MiB) 12:54:32 [12:54:32.426] INFO: ivc-integration:test:native bb - time to construct proving key: 63 ms. (mem: 709.09 MiB) 12:54:32 [12:54:32.511] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b144a95cc40 (mem: 709.09 MiB) 12:54:32 computing folding proof (mem: 709.09 MiB) 12:54:32 [12:54:32.512] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 709.09 MiB) 12:54:32 [12:54:32.748] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 709.09 MiB) 12:54:32 [12:54:32.796] INFO: ivc-integration:test:native bb - perturbator round (mem: 709.09 MiB) 12:54:32 [12:54:32.850] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 710.45 MiB) 12:54:33 [12:54:33.071] INFO: ivc-integration:test:native bb - folded (mem: 710.45 MiB) 12:54:33 constructed folding proof (mem: 710.45 MiB) 12:54:33 [12:54:33.072] INFO: ivc-integration:test:native bb - Largest circuit: 48923 gates. Trace details: (mem: 710.45 MiB) 12:54:33 Minimum required block sizes for structured trace: (mem: 710.45 MiB) 12:54:33 (mem: 710.45 MiB) 12:54:33 prove decider... (mem: 710.45 MiB) 12:54:33 [12:54:33.072] INFO: ivc-integration:test:native bb - ecc_op : 792 12:54:33 busread : 16 12:54:33 lookup : 2 12:54:33 pub_inputs : 36 12:54:33 arithmetic : 12206 12:54:33 delta_range : 2981 12:54:33 elliptic : 2 12:54:33 aux : 350 12:54:33 poseidon2_external : 4982 12:54:33 poseidon2_internal : 28388 12:54:33 overflow : 0 12:54:33 [12:54:33.177] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 710.45 MiB) 12:54:33 [12:54:33.318] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 710.45 MiB) 12:54:34 [12:54:34.179] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 710.45 MiB) 12:54:34 [12:54:34.328] INFO: ivc-integration:test:native bb - computed opening proof (mem: 710.45 MiB) 12:54:34 finished decider proving. (mem: 710.45 MiB) 12:54:34 [12:54:34.343] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 710.45 MiB) 12:54:34 [12:54:34.425] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 710.45 MiB) 12:54:34 [12:54:34.429] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 710.45 MiB) 12:54:34 [12:54:34.473] INFO: ivc-integration:test:native bb - populating trace... (mem: 710.45 MiB) 12:54:34 [12:54:34.502] INFO: ivc-integration:test:native bb - time to construct proving key: 77 ms. (mem: 710.45 MiB) 12:54:34 [12:54:34.956] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 710.45 MiB) 12:54:35 [12:54:35.219] INFO: ivc-integration:test:native bb - created oink proof (mem: 710.45 MiB) 12:54:35 [12:54:35.310] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 710.45 MiB) 12:54:35 [12:54:35.667] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 710.45 MiB) 12:54:36 [12:54:36.185] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 710.45 MiB) 12:54:36 [12:54:36.231] INFO: ivc-integration:test:native bb - computed opening proof (mem: 710.45 MiB) 12:54:36 finished decider proving. (mem: 710.45 MiB) 12:54:36 [12:54:36.231] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 710.45 MiB) 12:54:36 [12:54:36.324] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 710.45 MiB) 12:54:36 [12:54:36.557] 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: 710.45 MiB) 12:54:36 [12:54:36.569] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 710.45 MiB) 12:54:37 [12:54:37.740] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 710.45 MiB) 12:54:38 [12:54:38.730] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 710.45 MiB) 12:54:41 [12:54:41.164] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 710.45 MiB) 12:54:41 prove translator... (mem: 710.45 MiB) 12:54:41 [12:54:41.957] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 725.55 MiB) 12:54:45 [12:54:45.205] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 726.55 MiB) 12:54:48 [12:54:48.615] INFO: ivc-integration:test:native bb - computed opening proof (mem: 726.55 MiB) 12:54:48 finished translator proving. (mem: 726.55 MiB) 12:54:48 [12:54:48.618] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 726.55 MiB) 12:54:48 [12:54:48.633] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 726.55 MiB) 12:54:48 libra_evals_verified: 1 (mem: 726.55 MiB) 12:54:48 pairing_check_verified: 1 (mem: 12:54:48 [12:54:48.636] INFO: ivc-integration:test:native bb - 726.55 MiB) 12:54:48 Mega verified: 1 (mem: 726.55 MiB) 12:54:48 [12:54:48.775] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 12:54:48 [12:54:48.777] INFO: ivc-integration:test:native bb - (mem: 727.55 MiB) 12:54:48 batch opening verified?: 1 (mem: 727.55 MiB) 12:54:48 eccvm consistency check verified?: 1 (mem: 727.55 MiB) 12:54:48 translation masking consistency checked?: 1 (mem: 727.55 MiB) 12:54:48 [12:54:48.800] INFO: ivc-integration:test:native bb - merge verified?: 1 12:54:48 [12:54:48.801] INFO: ivc-integration:test:native bb - (mem: 727.55 MiB) 12:54:48 eccvm verified?: 1 (mem: 727.55 MiB) 12:54:48 accumulator construction_verified?: 1 (mem: 727.55 MiB) 12:54:48 translation verified?: 1 (mem: 727.55 MiB) 12:54:48 consistency verified?: 1 (mem: 727.55 MiB) 12:54:48 Goblin verified: 1 (mem: 727.55 MiB) 12:54:48 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Nvtcpl" (mem: 727.55 MiB) 12:54:48 [12:54:48.801] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Nvtcpl" (mem: 727.55 MiB) 12:54:48 BN254 commitment key size: 262144 (mem: 727.55 MiB) 12:54:48 [12:54:48.805] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 727.55 MiB) 12:54:48 [12:54:48.810] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 727.55 MiB) 12:54:48 goblin ecc op : 4/1024 (mem: 727.55 MiB) 12:54:48 busread : 3/6000 (mem: 727.55 MiB) 12:54:48 lookups : 2/15000 (mem: 727.55 MiB) 12:54:48 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 727.55 MiB) 12:54:48 arithmetic : 1773/56000 (mem: 727.55 MiB) 12:54:48 delta range : 1754/18000 (mem: 727.55 MiB) 12:54:48 elliptic : 2/6000 (mem: 727.55 MiB) 12:54:48 auxiliary : 26/26000 (mem: 727.55 MiB) 12:54:48 poseidon ext : 2/17000 (mem: 727.55 MiB) 12:54:48 poseidon int : 2/92000 (mem: 727.55 MiB) 12:54:48 overflow : 0/0 (mem: 727.55 MiB) 12:54:48 (mem: 727.55 MiB) 12:54:48 Total structured size: 242025 (mem: 727.55 MiB) 12:54:48 allocating polynomials object in proving key... (mem: 727.55 MiB) 12:54:49 [12:54:49.102] INFO: ivc-integration:test:native bb - populating trace... (mem: 727.55 MiB) 12:54:49 [12:54:49.133] INFO: ivc-integration:test:native bb - time to construct proving key: 327 ms. (mem: 727.55 MiB) 12:54:49 [12:54:49.347] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 727.55 MiB) 12:54:49 [12:54:49.877] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 729.55 MiB) 12:54:49 [12:54:49.880] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 729.55 MiB) 12:54:50 [12:54:50.248] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 729.55 MiB) 12:54:50 [12:54:50.255] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 729.55 MiB) 12:54:50 [12:54:50.270] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 729.55 MiB) 12:54:50 [12:54:50.273] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 729.55 MiB) 12:54:50 goblin ecc op : 56/1024 (mem: 729.55 MiB) 12:54:50 busread : 3/6000 (mem: 729.55 MiB) 12:54:50 lookups : 2/15000 (mem: 729.55 MiB) 12:54:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 729.55 MiB) 12:54:50 arithmetic : 4532/56000 (mem: 729.55 MiB) 12:54:50 delta range : 2060/18000 (mem: 729.55 MiB) 12:54:50 elliptic : 2/6000 (mem: 729.55 MiB) 12:54:50 auxiliary : 50/26000 (mem: 729.55 MiB) 12:54:50 poseidon ext : 1332/17000 (mem: 729.55 MiB) 12:54:50 poseidon int : 7583/92000 (mem: 729.55 MiB) 12:54:50 overflow : 0/0 (mem: 729.55 MiB) 12:54:50 (mem: 729.55 MiB) 12:54:50 Total structured size: 242025 (mem: 729.55 MiB) 12:54:50 allocating polynomials object in proving key... (mem: 729.55 MiB) 12:54:50 [12:54:50.519] INFO: ivc-integration:test:native bb - populating trace... (mem: 729.55 MiB) 12:54:50 [12:54:50.561] INFO: ivc-integration:test:native bb - time to construct proving key: 291 ms. (mem: 729.55 MiB) 12:54:50 [12:54:50.787] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 729.55 MiB) 12:54:51 [12:54:51.143] INFO: ivc-integration:test:native bb - computing folding proof (mem: 730.55 MiB) 12:54:51 vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 730.55 MiB) 12:54:51 [12:54:51.431] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 730.55 MiB) 12:54:51 [12:54:51.555] INFO: ivc-integration:test:native bb - perturbator round (mem: 730.55 MiB) 12:54:51 [12:54:51.579] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 730.55 MiB) 12:54:51 [12:54:51.744] INFO: ivc-integration:test:native bb - folded (mem: 730.55 MiB) 12:54:51 constructed folding proof (mem: 730.55 MiB) 12:54:51 Largest circuit: 15564 gates. Trace details: (mem: 730.55 MiB) 12:54:51 Minimum required block sizes for structured trace: (mem: 730.55 MiB) 12:54:51 (mem: 730.55 MiB) 12:54:51 prove decider... (mem: 730.55 MiB) 12:54:51 [12:54:51.745] INFO: ivc-integration:test:native bb - ecc_op : 56 12:54:51 busread : 3 12:54:51 lookup : 2 12:54:51 pub_inputs : 36 12:54:51 arithmetic : 4532 12:54:51 delta_range : 2060 12:54:51 elliptic : 2 12:54:51 aux : 50 12:54:51 poseidon2_external : 1332 12:54:51 poseidon2_internal : 7583 12:54:51 overflow : 0 12:54:51 [12:54:51.876] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 730.55 MiB) 12:54:52 [12:54:52.025] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 730.55 MiB) 12:54:53 [12:54:53.276] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 730.55 MiB) 12:54:53 [12:54:53.501] INFO: ivc-integration:test:native bb - computed opening proof (mem: 730.55 MiB) 12:54:53 finished decider proving. (mem: 730.55 MiB) 12:54:53 [12:54:53.541] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab 12:54:53 [12:54:53.549] INFO: ivc-integration:test:native bb - (mem: 730.55 MiB) 12:54:53 [12:54:53.771] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 12:54:53 [12:54:53.772] INFO: ivc-integration:test:native bb - (mem: 12:54:53 [12:54:53.773] INFO: ivc-integration:test:native bb - 730.55 MiB) 12:54:53 [12:54:53.778] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 730.55 MiB) 12:54:53 [12:54:53.977] INFO: ivc-integration:test:native bb - populating trace... (mem: 730.55 MiB) 12:54:54 [12:54:54.031] INFO: ivc-integration:test:native bb - time to construct proving key: 258 ms. (mem: 730.55 MiB) 12:54:54 [12:54:54.452] INFO: ivc-integration:test:native BB concurrency: 1 12:54:54 [12:54:54.452] 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-Nvtcpl/proof -k /tmp/bb-client-ivc-integration-Nvtcpl/vk -v 12:54:54 [12:54:54.484] INFO: ivc-integration:test:native bb command: verify (mem: 243.52 MiB) 12:54:54 Scheme is: client_ivc, num threads: 1 (mem: 243.52 MiB) 12:54:54 --proof_path: /tmp/bb-client-ivc-integration-Nvtcpl/proof (mem: 243.52 MiB) 12:54:54 --vk_path: /tmp/bb-client-ivc-integration-Nvtcpl/vk (mem: 243.52 MiB) 12:54:54 --verbose: true (mem: 243.52 MiB) 12:54:54 --scheme: client_ivc (mem: 243.52 MiB) 12:54:54 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 243.52 MiB) 12:54:54 [12:54:54.520] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 243.52 MiB) 12:54:54 vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 243.52 MiB) 12:54:54 [12:54:54.538] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 243.52 MiB) 12:54:54 [12:54:54.539] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 243.52 MiB) 12:54:54 [12:54:54.540] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 243.52 MiB) 12:54:54 libra_evals_verified: 1 (mem: 243.52 MiB) 12:54:54 pairing_check_verified: 1 (mem: 243.52 MiB) 12:54:54 Mega verified: 1 (mem: 243.52 MiB) 12:54:55 [12:54:55.027] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 243.52 MiB) 12:54:55 batch opening verified?: 1 (mem: 243.52 MiB) 12:54:55 eccvm consistency check verified?: 1 (mem: 243.52 MiB) 12:54:55 translation masking consistency checked?: 1 (mem: 243.52 MiB) 12:54:55 [12:54:55.049] INFO: ivc-integration:test:native merge verified?: 1 (mem: 243.52 MiB) 12:54:55 eccvm verified?: 1 (mem: 243.52 MiB) 12:54:55 accumulator construction_verified?: 1 (mem: 243.52 MiB) 12:54:55 translation verified?: 1 (mem: 243.52 MiB) 12:54:55 consistency verified?: 1 (mem: 243.52 MiB) 12:54:55 Goblin verified: 1 (mem: 243.52 MiB) 12:54:55 [12:54:55.050] INFO: ivc-integration:test:native verified: 1 (mem: 243.52 MiB) 12:54:55 PASS src/native_client_ivc_integration.test.ts (74.445 s) 12:54:55 Client IVC Integration 12:54:55 ✓ Should generate a verifiable client IVC proof from a simple mock tx (43242 ms) 12:54:55 ✓ Should generate a verifiable client IVC proof from a complex mock tx (27598 ms) 12:54:55 12:54:55 Test Suites: 1 passed, 1 total 12:54:55 Tests: 2 passed, 2 total 12:54:55 Snapshots: 0 total 12:54:55 Time: 74.533 s 12:54:55 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 12:54:55 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?