ACI ·

Parent Log: http://ci.aztec-labs.com/4d411729895c71ab 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:01:39 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14770_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 15:01:44 [15:01:44.367] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-t65SJd/ivc-inputs.msgpack 15:01:44 [15:01:44.374] 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-t65SJd --ivc_inputs_path /tmp/bb-client-ivc-integration-t65SJd/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:01:44 [15:01:44.410] INFO: ivc-integration:test:native bb - bb command: prove (mem: 184.00 MiB) 15:01:44 Scheme is: client_ivc, num threads: 128 (mem: 184.00 MiB) 15:01:44 --scheme: client_ivc (mem: 184.00 MiB) 15:01:44 --output_path: /tmp/bb-client-ivc-integration-t65SJd (mem: 184.00 MiB) 15:01:44 --ivc_inputs_path: /tmp/bb-client-ivc-integration-t65SJd/ivc-inputs.msgpack (mem: 184.00 MiB) 15:01:44 --verbose: true (mem: 184.00 MiB) 15:01:44 --write_vk: true (mem: 184.00 MiB) 15:01:44 BN254 commitment key size: 262144 (mem: 184.00 MiB) 15:01:44 [15:01:44.523] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 246.00 MiB) 15:01:44 [15:01:44.602] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 294.26 MiB) 15:01:44 [15:01:44.608] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 294.26 MiB) 15:01:44 Constructing DeciderProvingKey (mem: 294.26 MiB) 15:01:44 [15:01:44.613] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 15:01:44 [15:01:44.618] INFO: ivc-integration:test:native bb - (mem: 294.26 MiB) 15:01:44 goblin ecc op : 4/1024 (mem: 294.26 MiB) 15:01:44 busread : 7/6000 (mem: 294.26 MiB) 15:01:44 lookups : 2/15000 (mem: 294.26 MiB) 15:01:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 294.26 MiB) 15:01:44 arithmetic : 1760/56000 (mem: 294.26 MiB) 15:01:44 delta range : 1754/18000 (mem: 294.26 MiB) 15:01:44 elliptic : 2/6000 (mem: 294.26 MiB) 15:01:44 auxiliary : 26/26000 (mem: 294.26 MiB) 15:01:44 poseidon ext : 2/17000 (mem: 294.26 MiB) 15:01:44 poseidon int : 2/92000 (mem: 294.26 MiB) 15:01:44 overflow : 0/0 (mem: 294.26 MiB) 15:01:44 (mem: 294.26 MiB) 15:01:44 Total structured size: 242025 (mem: 294.26 MiB) 15:01:44 allocating polynomials object in proving key... (mem: 294.26 MiB) 15:01:44 [15:01:44.680] INFO: ivc-integration:test:native bb - populating trace... (mem: 505.42 MiB) 15:01:44 [15:01:44.692] INFO: ivc-integration:test:native bb - time to construct proving key: 85 ms. (mem: 520.42 MiB) 15:01:44 [15:01:44.735] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60203bf87600 (mem: 520.42 MiB) 15:01:44 computing oink proof... (mem: 520.42 MiB) 15:01:44 [15:01:44.737] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.42 MiB) 15:01:44 [15:01:44.888] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 528.42 MiB) 15:01:44 [15:01:44.896] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 528.42 MiB) 15:01:44 [15:01:44.911] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 528.42 MiB) 15:01:44 Constructing DeciderProvingKey (mem: 528.42 MiB) 15:01:44 [15:01:44.914] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 528.42 MiB) 15:01:44 goblin ecc op : 56/1024 (mem: 528.42 MiB) 15:01:44 busread : 12/6000 (mem: 528.42 MiB) 15:01:44 lookups : 2/15000 (mem: 528.42 MiB) 15:01:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 528.42 MiB) 15:01:44 arithmetic : 4625/56000 (mem: 528.42 MiB) 15:01:44 delta range : 2054/18000 (mem: 528.42 MiB) 15:01:44 elliptic : 2/6000 (mem: 528.42 MiB) 15:01:44 auxiliary : 110/26000 (mem: 528.42 MiB) 15:01:44 poseidon ext : 1302/17000 (mem: 528.42 MiB) 15:01:44 poseidon int : 7412/92000 (mem: 528.42 MiB) 15:01:44 overflow : 0/0 (mem: 528.42 MiB) 15:01:44 (mem: 528.42 MiB) 15:01:44 Total structured size: 242025 (mem: 528.42 MiB) 15:01:44 allocating polynomials object in proving key... (mem: 528.42 MiB) 15:01:45 [15:01:45.016] INFO: ivc-integration:test:native bb - populating trace... (mem: 725.42 MiB) 15:01:45 [15:01:45.038] INFO: ivc-integration:test:native bb - time to construct proving key: 126 ms. (mem: 742.42 MiB) 15:01:45 [15:01:45.150] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60203bf94280 (mem: 742.42 MiB) 15:01:45 computing folding proof (mem: 742.42 MiB) 15:01:45 [15:01:45.152] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 742.42 MiB) 15:01:45 [15:01:45.634] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 742.42 MiB) 15:01:45 [15:01:45.745] INFO: ivc-integration:test:native bb - perturbator round (mem: 779.42 MiB) 15:01:45 [15:01:45.813] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 811.42 MiB) 15:01:46 [15:01:46.243] INFO: ivc-integration:test:native bb - folded (mem: 811.42 MiB) 15:01:46 constructed folding proof (mem: 811.42 MiB) 15:01:46 [15:01:46.258] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 811.42 MiB) 15:01:46 [15:01:46.324] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 811.42 MiB) 15:01:46 Constructing DeciderProvingKey (mem: 811.42 MiB) 15:01:46 [15:01:46.328] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 811.42 MiB) 15:01:46 goblin ecc op : 392/1024 (mem: 811.42 MiB) 15:01:46 busread : 3/6000 (mem: 811.42 MiB) 15:01:46 lookups : 2/15000 (mem: 811.42 MiB) 15:01:46 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 811.42 MiB) 15:01:46 arithmetic : 6849/56000 (mem: 811.42 MiB) 15:01:46 delta range : 2333/18000 (mem: 811.42 MiB) 15:01:46 elliptic : 2/6000 (mem: 811.42 MiB) 15:01:46 auxiliary : 50/26000 (mem: 811.42 MiB) 15:01:46 poseidon ext : 2472/17000 (mem: 811.42 MiB) 15:01:46 poseidon int : 14081/92000 (mem: 811.42 MiB) 15:01:46 overflow : 0/0 (mem: 811.42 MiB) 15:01:46 (mem: 811.42 MiB) 15:01:46 Total structured size: 242025 (mem: 811.42 MiB) 15:01:46 allocating polynomials object in proving key... (mem: 811.42 MiB) 15:01:46 [15:01:46.590] INFO: ivc-integration:test:native bb - populating trace... (mem: 811.42 MiB) 15:01:46 [15:01:46.633] INFO: ivc-integration:test:native bb - time to construct proving key: 308 ms. (mem: 811.42 MiB) 15:01:46 [15:01:46.831] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60203bf89d00 (mem: 811.42 MiB) 15:01:46 computing folding proof (mem: 811.42 MiB) 15:01:46 [15:01:46.833] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 811.42 MiB) 15:01:47 [15:01:47.377] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 811.42 MiB) 15:01:47 [15:01:47.469] INFO: ivc-integration:test:native bb - perturbator round (mem: 811.42 MiB) 15:01:47 [15:01:47.504] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 811.42 MiB) 15:01:47 [15:01:47.892] INFO: ivc-integration:test:native bb - folded (mem: 811.42 MiB) 15:01:47 constructed folding proof (mem: 811.42 MiB) 15:01:47 [15:01:47.893] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 811.42 MiB) 15:01:47 Minimum required block sizes for structured trace: (mem: 811.42 MiB) 15:01:47 (mem: 811.42 MiB) 15:01:47 prove decider... (mem: 811.42 MiB) 15:01:47 [15:01:47.902] INFO: ivc-integration:test:native bb - ecc_op : 392 15:01:47 busread : 12 15:01:47 lookup : 2 15:01:47 pub_inputs : 36 15:01:47 arithmetic : 6849 15:01:47 delta_range : 2333 15:01:47 elliptic : 2 15:01:47 aux : 110 15:01:47 poseidon2_external : 2472 15:01:47 poseidon2_internal : 14081 15:01:47 overflow : 0 15:01:48 [15:01:48.192] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 811.42 MiB) 15:01:48 [15:01:48.318] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 811.42 MiB) 15:01:49 [15:01:49.531] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 811.42 MiB) 15:01:49 [15:01:49.643] INFO: ivc-integration:test:native bb - computed opening proof (mem: 811.42 MiB) 15:01:49 finished decider proving. (mem: 811.42 MiB) 15:01:49 [15:01:49.673] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 811.42 MiB) 15:01:49 [15:01:49.789] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 811.42 MiB) 15:01:49 [15:01:49.797] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 811.42 MiB) 15:01:49 [15:01:49.963] INFO: ivc-integration:test:native bb - populating trace... (mem: 811.42 MiB) 15:01:50 [15:01:50.031] INFO: ivc-integration:test:native bb - time to construct proving key: 242 ms. (mem: 811.42 MiB) 15:01:51 [15:01:51.167] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 811.42 MiB) 15:01:51 [15:01:51.791] INFO: ivc-integration:test:native bb - created oink proof 15:01:51 [15:01:51.792] INFO: ivc-integration:test:native bb - (mem: 811.42 MiB) 15:01:52 [15:01:52.044] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 811.42 MiB) 15:01:54 [15:01:54.133] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 15:01:54 [15:01:54.136] INFO: ivc-integration:test:native bb - (mem: 811.42 MiB) 15:01:55 [15:01:55.027] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 811.42 MiB) 15:01:55 [15:01:55.064] INFO: ivc-integration:test:native bb - computed opening proof (mem: 811.42 MiB) 15:01:55 finished decider proving. (mem: 811.42 MiB) 15:01:55 [15:01:55.065] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 811.42 MiB) 15:01:55 [15:01:55.255] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 811.42 MiB) 15:01:55 [15:01:55.717] 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: 811.42 MiB) 15:01:55 [15:01:55.737] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 811.42 MiB) 15:01:57 [15:01:57.654] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 811.42 MiB) 15:02:00 [15:02:00.122] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 811.42 MiB) 15:02:05 [15:02:05.270] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 811.42 MiB) 15:02:05 prove translator... (mem: 811.42 MiB) 15:02:07 [15:02:07.905] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 842.30 MiB) 15:02:10 [15:02:10.912] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 843.30 MiB) 15:02:13 [15:02:13.541] INFO: ivc-integration:test:native bb - computed opening proof 15:02:13 [15:02:13.543] INFO: ivc-integration:test:native bb - (mem: 843.30 MiB) 15:02:13 finished translator proving. (mem: 843.30 MiB) 15:02:13 [15:02:13.548] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 843.30 MiB) 15:02:13 [15:02:13.564] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 843.30 MiB) 15:02:13 libra_evals_verified: 1 (mem: 843.30 MiB) 15:02:13 pairing_check_verified: 1 (mem: 843.30 MiB) 15:02:13 Mega verified: 1 (mem: 843.30 MiB) 15:02:13 [15:02:13.650] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 843.30 MiB) 15:02:13 [15:02:13.651] INFO: ivc-integration:test:native bb - batch opening verified?: 1 (mem: 843.30 MiB) 15:02:13 eccvm consistency check verified?: 1 (mem: 843.30 MiB) 15:02:13 translation masking consistency checked?: 1 (mem: 843.30 MiB) 15:02:13 [15:02:13.671] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 843.30 MiB) 15:02:13 eccvm verified?: 1 (mem: 843.30 MiB) 15:02:13 accumulator construction_verified?: 1 (mem: 843.30 MiB) 15:02:13 translation verified?: 1 (mem: 843.30 MiB) 15:02:13 consistency verified?: 1 (mem: 843.30 MiB) 15:02:13 Goblin verified: 1 (mem: 843.30 MiB) 15:02:13 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-t65SJd" (mem: 843.30 MiB) 15:02:13 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-t65SJd" (mem: 843.30 MiB) 15:02:13 BN254 commitment key size: 262144 (mem: 843.30 MiB) 15:02:13 [15:02:13.677] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 843.30 MiB) 15:02:13 [15:02:13.681] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 843.30 MiB) 15:02:13 goblin ecc op : 4/1024 (mem: 843.30 MiB) 15:02:13 busread : 3/6000 (mem: 843.30 MiB) 15:02:13 lookups : 2/15000 (mem: 843.30 MiB) 15:02:13 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 843.30 MiB) 15:02:13 arithmetic : 1773/56000 (mem: 843.30 MiB) 15:02:13 delta range : 1754/18000 (mem: 843.30 MiB) 15:02:13 elliptic : 2/6000 (mem: 843.30 MiB) 15:02:13 auxiliary : 26/26000 (mem: 843.30 MiB) 15:02:13 poseidon ext : 2/17000 (mem: 843.30 MiB) 15:02:13 poseidon int : 2/92000 (mem: 843.30 MiB) 15:02:13 overflow : 0/0 (mem: 843.30 MiB) 15:02:13 (mem: 843.30 MiB) 15:02:13 Total structured size: 242025 (mem: 843.30 MiB) 15:02:13 allocating polynomials object in proving key... (mem: 843.30 MiB) 15:02:13 [15:02:13.932] INFO: ivc-integration:test:native bb - populating trace... (mem: 843.30 MiB) 15:02:13 [15:02:13.948] INFO: ivc-integration:test:native bb - time to construct proving key: 271 ms. (mem: 843.30 MiB) 15:02:14 [15:02:14.208] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 843.30 MiB) 15:02:15 [15:02:15.221] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 843.30 MiB) 15:02:15 [15:02:15.224] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 843.30 MiB) 15:02:15 [15:02:15.745] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 843.30 MiB) 15:02:15 [15:02:15.755] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c 15:02:15 [15:02:15.756] INFO: ivc-integration:test:native bb - (mem: 843.30 MiB) 15:02:15 [15:02:15.772] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 843.30 MiB) 15:02:15 [15:02:15.776] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 843.30 MiB) 15:02:15 goblin ecc op : 56/1024 (mem: 843.30 MiB) 15:02:15 [15:02:15.777] INFO: ivc-integration:test:native bb - 15:02:15 busread : 3/6000 (mem: 843.30 MiB) 15:02:15 lookups : 2/15000 (mem: 843.30 MiB) 15:02:15 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 843.30 MiB) 15:02:15 arithmetic : 4481/56000 (mem: 843.30 MiB) 15:02:15 delta range : 2041/18000 (mem: 843.30 MiB) 15:02:15 elliptic : 2/6000 (mem: 843.30 MiB) 15:02:15 auxiliary : 50/26000 (mem: 843.30 MiB) 15:02:15 poseidon ext : 1312/17000 (mem: 843.30 MiB) 15:02:15 poseidon int : 7469/92000 (mem: 843.30 MiB) 15:02:15 overflow : 0/0 (mem: 843.30 MiB) 15:02:15 (mem: 843.30 MiB) 15:02:15 Total structured size: 242025 (mem: 843.30 MiB) 15:02:15 allocating polynomials object in proving key... (mem: 843.30 MiB) 15:02:16 [15:02:16.002] INFO: ivc-integration:test:native bb - populating trace... (mem: 843.30 MiB) 15:02:16 [15:02:16.072] INFO: ivc-integration:test:native bb - time to construct proving key: 299 ms. (mem: 843.30 MiB) 15:02:16 [15:02:16.155] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 843.30 MiB) 15:02:16 [15:02:16.894] INFO: ivc-integration:test:native bb - computing folding proof (mem: 843.30 MiB) 15:02:16 [15:02:16.896] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 843.30 MiB) 15:02:17 [15:02:17.770] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 15:02:17 [15:02:17.771] INFO: ivc-integration:test:native bb - (mem: 843.30 MiB) 15:02:17 [15:02:17.930] INFO: ivc-integration:test:native bb - perturbator round (mem: 845.30 MiB) 15:02:18 [15:02:18.123] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 877.30 MiB) 15:02:18 [15:02:18.720] INFO: ivc-integration:test:native bb - folded 15:02:18 [15:02:18.721] INFO: ivc-integration:test:native bb - (mem: 877.30 MiB) 15:02:18 constructed folding proof (mem: 877.30 MiB) 15:02:18 Largest circuit: 15360 gates. Trace details: (mem: 877.30 MiB) 15:02:18 Minimum required block sizes for structured trace: (mem: 877.30 MiB) 15:02:18 (mem: 877.30 MiB) 15:02:18 prove decider... (mem: 877.30 MiB) 15:02:18 [15:02:18.722] INFO: ivc-integration:test:native bb - ecc_op : 56 15:02:18 busread : 3 15:02:18 lookup : 2 15:02:18 pub_inputs : 36 15:02:18 arithmetic : 4481 15:02:18 delta_range : 2041 15:02:18 elliptic : 2 15:02:18 aux : 50 15:02:18 poseidon2_external : 1312 15:02:18 poseidon2_internal : 7469 15:02:18 overflow : 0 15:02:18 [15:02:18.914] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 877.30 MiB) 15:02:19 [15:02:19.217] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 877.30 15:02:19 [15:02:19.218] INFO: ivc-integration:test:native bb - MiB) 15:02:20 [15:02:20.446] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 877.30 MiB) 15:02:20 [15:02:20.530] INFO: ivc-integration:test:native bb - computed opening proof (mem: 877.30 MiB) 15:02:20 finished decider proving. (mem: 877.30 MiB) 15:02:20 [15:02:20.544] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 877.30 MiB) 15:02:20 [15:02:20.642] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 877.30 MiB) 15:02:20 [15:02:20.649] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 877.30 MiB) 15:02:20 [15:02:20.755] INFO: ivc-integration:test:native bb - populating trace... (mem: 877.30 MiB) 15:02:20 [15:02:20.882] INFO: ivc-integration:test:native bb - time to construct proving key: 239 ms. (mem: 877.30 MiB) 15:02:21 [15:02:21.593] 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-t65SJd/proof -k /tmp/bb-client-ivc-integration-t65SJd/vk -v 15:02:21 [15:02:21.636] INFO: ivc-integration:test:native bb command: verify (mem: 184.00 MiB) 15:02:21 Scheme is: client_ivc, num threads: 128 (mem: 184.00 MiB) 15:02:21 --proof_path: /tmp/bb-client-ivc-integration-t65SJd/proof (mem: 184.00 MiB) 15:02:21 --vk_path: /tmp/bb-client-ivc-integration-t65SJd/vk (mem: 184.00 MiB) 15:02:21 --verbose: true (mem: 184.00 MiB) 15:02:21 --scheme: client_ivc (mem: 184.00 MiB) 15:02:21 [15:02:21.763] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 184.00 MiB) 15:02:21 [15:02:21.783] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 184.00 MiB) 15:02:21 [15:02:21.785] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 184.00 MiB) 15:02:21 [15:02:21.811] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.00 MiB) 15:02:21 Initialized BN254 CRS from memory with num points = 1025 (mem: 184.00 MiB) 15:02:21 [15:02:21.813] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 184.00 MiB) 15:02:21 libra_evals_verified: 1 (mem: 184.00 MiB) 15:02:21 pairing_check_verified: 1 (mem: 184.00 MiB) 15:02:21 Mega verified: 1 (mem: 184.00 MiB) 15:02:21 [15:02:21.902] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 184.00 MiB) 15:02:21 batch opening verified?: 1 (mem: 184.00 MiB) 15:02:21 eccvm consistency check verified?: 1 (mem: 184.00 MiB) 15:02:21 translation masking consistency checked?: 1 (mem: 184.00 MiB) 15:02:21 [15:02:21.921] INFO: ivc-integration:test:native merge verified?: 1 (mem: 184.00 MiB) 15:02:21 [15:02:21.922] INFO: ivc-integration:test:native eccvm verified?: 1 (mem: 184.00 MiB) 15:02:21 accumulator construction_verified?: 1 (mem: 184.00 MiB) 15:02:21 translation verified?: 1 (mem: 184.00 MiB) 15:02:21 consistency verified?: 1 (mem: 184.00 MiB) 15:02:21 Goblin verified: 1 (mem: 184.00 MiB) 15:02:21 [15:02:21.931] INFO: ivc-integration:test:native verified: 1 (mem: 184.00 MiB) 15:02:22 [15:02:22.064] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-4zHtx3/ivc-inputs.msgpack 15:02:22 [15:02:22.065] 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-4zHtx3 --ivc_inputs_path /tmp/bb-client-ivc-integration-4zHtx3/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:02:22 [15:02:22.094] INFO: ivc-integration:test:native bb - bb command: prove (mem: 187.54 MiB) 15:02:22 Scheme is: client_ivc, num threads: 128 (mem: 187.54 MiB) 15:02:22 --scheme: client_ivc (mem: 187.54 MiB) 15:02:22 --output_path: /tmp/bb-client-ivc-integration-4zHtx3 (mem: 187.54 MiB) 15:02:22 --ivc_inputs_path: /tmp/bb-client-ivc-integration-4zHtx3/ivc-inputs.msgpack (mem: 187.54 MiB) 15:02:22 --verbose: true (mem: 187.54 MiB) 15:02:22 --write_vk: true (mem: 187.54 MiB) 15:02:22 [15:02:22.099] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 187.54 MiB) 15:02:22 [15:02:22.275] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 257.00 MiB) 15:02:22 [15:02:22.375] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 305.00 MiB) 15:02:22 [15:02:22.379] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 305.00 MiB) 15:02:22 Constructing DeciderProvingKey (mem: 305.00 MiB) 15:02:22 [15:02:22.384] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 305.00 MiB) 15:02:22 goblin ecc op : 4/1024 (mem: 305.00 MiB) 15:02:22 busread : 7/6000 (mem: 305.00 MiB) 15:02:22 lookups : 2/15000 (mem: 305.00 MiB) 15:02:22 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 305.00 MiB) 15:02:22 arithmetic : 1760/56000 (mem: 305.00 MiB) 15:02:22 delta range : 1754/18000 (mem: 305.00 MiB) 15:02:22 elliptic : 2/6000 (mem: 305.00 MiB) 15:02:22 auxiliary : 26/26000 (mem: 305.00 MiB) 15:02:22 poseidon ext : 2/17000 (mem: 305.00 MiB) 15:02:22 poseidon int : 2/92000 (mem: 305.00 MiB) 15:02:22 overflow : 0/0 (mem: 305.00 MiB) 15:02:22 (mem: 305.00 MiB) 15:02:22 Total structured size: 242025 (mem: 305.00 MiB) 15:02:22 allocating polynomials object in proving key... (mem: 305.00 MiB) 15:02:22 [15:02:22.491] INFO: ivc-integration:test:native bb - populating trace... (mem: 503.45 MiB) 15:02:22 [15:02:22.503] INFO: ivc-integration:test:native bb - time to construct proving key: 123 ms. (mem: 517.45 MiB) 15:02:22 [15:02:22.540] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x580eacfe1440 (mem: 517.45 MiB) 15:02:22 computing oink proof... (mem: 517.45 MiB) 15:02:22 [15:02:22.542] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 517.45 MiB) 15:02:22 [15:02:22.761] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 527.45 MiB) 15:02:22 [15:02:22.772] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 527.45 MiB) 15:02:22 [15:02:22.789] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 527.45 MiB) 15:02:22 Constructing DeciderProvingKey (mem: 527.45 MiB) 15:02:22 [15:02:22.791] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 527.45 MiB) 15:02:22 goblin ecc op : 56/1024 (mem: 527.45 MiB) 15:02:22 busread : 12/6000 (mem: 15:02:22 [15:02:22.792] INFO: ivc-integration:test:native bb - 527.45 MiB) 15:02:22 lookups : 2/15000 (mem: 527.45 MiB) 15:02:22 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 527.45 MiB) 15:02:22 arithmetic : 4625/56000 (mem: 527.45 MiB) 15:02:22 delta range : 2054/18000 (mem: 527.45 MiB) 15:02:22 elliptic : 2/6000 (mem: 527.45 MiB) 15:02:22 auxiliary : 110/26000 (mem: 527.45 MiB) 15:02:22 poseidon ext : 1302/17000 (mem: 527.45 MiB) 15:02:22 poseidon int : 7412/92000 (mem: 527.45 MiB) 15:02:22 overflow : 0/0 (mem: 527.45 MiB) 15:02:22 (mem: 527.45 MiB) 15:02:22 Total structured size: 242025 (mem: 527.45 MiB) 15:02:22 allocating polynomials object in proving key... (mem: 527.45 MiB) 15:02:23 [15:02:23.080] INFO: ivc-integration:test:native bb - populating trace... (mem: 733.45 MiB) 15:02:23 [15:02:23.159] INFO: ivc-integration:test:native bb - time to construct proving key: 364 ms. (mem: 747.45 MiB) 15:02:23 [15:02:23.301] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x580eacfea6c0 (mem: 747.45 MiB) 15:02:23 computing folding proof (mem: 747.45 MiB) 15:02:23 [15:02:23.302] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 747.45 MiB) 15:02:23 [15:02:23.730] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.45 MiB) 15:02:23 [15:02:23.850] INFO: ivc-integration:test:native bb - perturbator round (mem: 784.45 MiB) 15:02:23 [15:02:23.929] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.45 MiB) 15:02:24 [15:02:24.491] INFO: ivc-integration:test:native bb - folded (mem: 816.45 MiB) 15:02:24 constructed folding proof (mem: 816.45 MiB) 15:02:24 [15:02:24.496] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.45 MiB) 15:02:24 Constructing DeciderProvingKey (mem: 816.45 MiB) 15:02:24 [15:02:24.500] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.45 MiB) 15:02:24 goblin ecc op : 4/1024 (mem: 816.45 MiB) 15:02:24 busread : 7/6000 (mem: 15:02:24 [15:02:24.500] INFO: ivc-integration:test:native bb - 816.45 MiB) 15:02:24 lookups : 2/15000 (mem: 816.45 MiB) 15:02:24 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 816.45 MiB) 15:02:24 arithmetic : 1760/56000 (mem: 816.45 MiB) 15:02:24 delta range : 1754/18000 (mem: 816.45 MiB) 15:02:24 elliptic : 2/6000 (mem: 816.45 MiB) 15:02:24 auxiliary : 26/26000 (mem: 816.45 MiB) 15:02:24 poseidon ext : 2/17000 (mem: 816.45 MiB) 15:02:24 poseidon int : 2/92000 (mem: 816.45 MiB) 15:02:24 overflow : 0/0 (mem: 816.45 MiB) 15:02:24 (mem: 816.45 MiB) 15:02:24 Total structured size: 242025 (mem: 816.45 MiB) 15:02:24 allocating polynomials object in proving key... (mem: 816.45 MiB) 15:02:24 [15:02:24.595] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.45 MiB) 15:02:24 [15:02:24.633] INFO: ivc-integration:test:native bb - time to construct proving key: 136 ms. (mem: 816.45 MiB) 15:02:24 [15:02:24.703] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x580eacfe1c80 (mem: 816.45 MiB) 15:02:24 computing folding proof (mem: 816.45 MiB) 15:02:24 [15:02:24.704] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.45 MiB) 15:02:25 [15:02:25.007] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.45 MiB) 15:02:25 [15:02:25.124] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.45 MiB) 15:02:25 [15:02:25.164] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.45 MiB) 15:02:25 [15:02:25.494] INFO: ivc-integration:test:native bb - folded (mem: 816.45 MiB) 15:02:25 constructed folding proof (mem: 816.45 MiB) 15:02:25 [15:02:25.505] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 816.45 MiB) 15:02:25 [15:02:25.569] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.45 MiB) 15:02:25 [15:02:25.676] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 816.45 MiB) 15:02:25 Constructing DeciderProvingKey (mem: 816.45 MiB) 15:02:25 [15:02:25.685] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.45 MiB) 15:02:25 goblin ecc op : 792/1024 (mem: 816.45 MiB) 15:02:25 busread : 12/6000 (mem: 816.45 MiB) 15:02:25 lookups : 2/15000 (mem: 816.45 MiB) 15:02:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 816.45 MiB) 15:02:25 arithmetic : 12080/56000 (mem: 816.45 MiB) 15:02:25 delta range : 2942/18000 (mem: 816.45 MiB) 15:02:25 elliptic : 2/6000 (mem: 816.45 MiB) 15:02:25 auxiliary : 350/26000 (mem: 816.45 MiB) 15:02:25 poseidon ext : 4942/17000 (mem: 816.45 MiB) 15:02:25 poseidon int : 28160/92000 (mem: 816.45 MiB) 15:02:25 overflow : 0/0 (mem: 816.45 MiB) 15:02:25 (mem: 816.45 MiB) 15:02:25 Total structured size: 242025 (mem: 816.45 MiB) 15:02:25 allocating polynomials object in proving key... (mem: 816.45 MiB) 15:02:25 [15:02:25.968] INFO: ivc-integration:test:native bb - populating trace... 15:02:25 [15:02:25.969] INFO: ivc-integration:test:native bb - (mem: 816.45 MiB) 15:02:26 [15:02:26.051] INFO: ivc-integration:test:native bb - time to construct proving key: 375 ms. (mem: 816.45 MiB) 15:02:26 [15:02:26.209] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x580ead05e340 (mem: 816.45 MiB) 15:02:26 computing folding proof (mem: 816.45 MiB) 15:02:26 [15:02:26.215] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 816.45 MiB) 15:02:26 [15:02:26.717] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.45 MiB) 15:02:26 [15:02:26.816] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.45 MiB) 15:02:26 [15:02:26.881] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 846.11 MiB) 15:02:27 [15:02:27.080] INFO: ivc-integration:test:native bb - folded (mem: 846.11 MiB) 15:02:27 constructed folding proof (mem: 846.11 MiB) 15:02:27 [15:02:27.088] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 846.11 MiB) 15:02:27 [15:02:27.153] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 846.11 MiB) 15:02:27 Constructing DeciderProvingKey (mem: 846.11 MiB) 15:02:27 [15:02:27.157] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.11 MiB) 15:02:27 [15:02:27.157] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 846.11 MiB) 15:02:27 busread : 16/6000 (mem: 846.11 MiB) 15:02:27 lookups : 2/15000 (mem: 846.11 MiB) 15:02:27 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 846.11 MiB) 15:02:27 arithmetic : 6914/56000 (mem: 846.11 MiB) 15:02:27 delta range : 2347/18000 (mem: 846.11 MiB) 15:02:27 elliptic : 2/6000 (mem: 846.11 MiB) 15:02:27 auxiliary : 77/26000 (mem: 846.11 MiB) 15:02:27 poseidon ext : 2472/17000 (mem: 846.11 MiB) 15:02:27 poseidon int : 14081/92000 (mem: 846.11 MiB) 15:02:27 overflow : 0/0 (mem: 846.11 MiB) 15:02:27 (mem: 846.11 MiB) 15:02:27 Total structured size: 242025 (mem: 846.11 MiB) 15:02:27 allocating polynomials object in proving key... (mem: 846.11 MiB) 15:02:27 [15:02:27.206] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.11 MiB) 15:02:27 [15:02:27.221] INFO: ivc-integration:test:native bb - time to construct proving key: 67 ms. (mem: 846.11 MiB) 15:02:27 [15:02:27.332] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x580ead058d40 (mem: 846.11 MiB) 15:02:27 computing folding proof (mem: 846.11 MiB) 15:02:27 [15:02:27.333] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 846.11 MiB) 15:02:27 [15:02:27.688] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.11 MiB) 15:02:27 [15:02:27.763] INFO: ivc-integration:test:native bb - perturbator round (mem: 846.11 MiB) 15:02:27 [15:02:27.865] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 846.12 MiB) 15:02:28 [15:02:28.045] INFO: ivc-integration:test:native bb - folded (mem: 846.12 MiB) 15:02:28 constructed folding proof (mem: 846.12 MiB) 15:02:28 [15:02:28.054] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 846.12 MiB) 15:02:28 [15:02:28.116] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 846.12 MiB) 15:02:28 Constructing DeciderProvingKey (mem: 846.12 MiB) 15:02:28 [15:02:28.121] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.12 MiB) 15:02:28 goblin ecc op : 392/1024 (mem: 846.12 MiB) 15:02:28 busread : 3/6000 (mem: 846.12 MiB) 15:02:28 lookups : 2/15000 (mem: 846.12 MiB) 15:02:28 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.12 MiB) 15:02:28 arithmetic : 6849/56000 (mem: 846.12 MiB) 15:02:28 delta range : 2333/18000 (mem: 846.12 MiB) 15:02:28 elliptic : 2/6000 (mem: 846.12 MiB) 15:02:28 auxiliary : 50/26000 (mem: 846.12 MiB) 15:02:28 poseidon ext : 2472/17000 (mem: 846.12 MiB) 15:02:28 poseidon int : 14081/92000 (mem: 846.12 MiB) 15:02:28 overflow : 0/0 (mem: 846.12 MiB) 15:02:28 (mem: 846.12 MiB) 15:02:28 Total structured size: 242025 (mem: 846.12 MiB) 15:02:28 allocating polynomials object in proving key... (mem: 846.12 MiB) 15:02:28 [15:02:28.212] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.12 MiB) 15:02:28 [15:02:28.236] INFO: ivc-integration:test:native bb - time to construct proving key: 120 ms. (mem: 846.12 MiB) 15:02:28 [15:02:28.332] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x580eacfeffc0 (mem: 846.12 MiB) 15:02:28 computing folding proof (mem: 846.12 MiB) 15:02:28 [15:02:28.333] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 846.12 MiB) 15:02:28 [15:02:28.640] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.12 MiB) 15:02:28 [15:02:28.712] INFO: ivc-integration:test:native bb - perturbator round (mem: 846.12 MiB) 15:02:28 [15:02:28.787] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 846.25 MiB) 15:02:28 [15:02:28.994] INFO: ivc-integration:test:native bb - folded (mem: 846.25 MiB) 15:02:28 constructed folding proof (mem: 846.25 MiB) 15:02:28 [15:02:28.995] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 846.25 MiB) 15:02:28 Minimum required block sizes for structured trace: (mem: 846.25 MiB) 15:02:28 (mem: 846.25 MiB) 15:02:28 prove decider... (mem: 846.25 MiB) 15:02:28 [15:02:28.995] INFO: ivc-integration:test:native bb - ecc_op : 792 15:02:28 busread : 16 15:02:28 lookup : 2 15:02:28 pub_inputs : 36 15:02:28 arithmetic : 12080 15:02:28 delta_range : 2942 15:02:28 elliptic : 2 15:02:28 aux : 350 15:02:28 poseidon2_external : 4942 15:02:28 poseidon2_internal : 28160 15:02:28 overflow : 0 15:02:29 [15:02:29.069] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.25 MiB) 15:02:29 [15:02:29.187] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 846.25 MiB) 15:02:29 [15:02:29.766] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 846.25 MiB) 15:02:29 [15:02:29.841] INFO: ivc-integration:test:native bb - computed opening proof (mem: 846.25 MiB) 15:02:29 finished decider proving. (mem: 846.25 MiB) 15:02:29 [15:02:29.868] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 846.25 MiB) 15:02:29 [15:02:29.973] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.25 MiB) 15:02:29 [15:02:29.978] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 846.25 MiB) 15:02:30 [15:02:30.162] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.25 MiB) 15:02:30 [15:02:30.202] INFO: ivc-integration:test:native bb - time to construct proving key: 227 ms. (mem: 846.25 MiB) 15:02:30 [15:02:30.819] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.25 MiB) 15:02:31 [15:02:31.307] INFO: ivc-integration:test:native bb - created oink proof (mem: 846.25 MiB) 15:02:31 [15:02:31.494] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.25 MiB) 15:02:32 [15:02:32.963] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 846.25 MiB) 15:02:33 [15:02:33.789] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 846.25 MiB) 15:02:33 [15:02:33.822] INFO: ivc-integration:test:native bb - computed opening proof (mem: 846.25 MiB) 15:02:33 [15:02:33.824] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 846.25 MiB) 15:02:33 Constructing a Goblin proof with num ultra ops = 2226 (mem: 846.25 MiB) 15:02:33 [15:02:33.953] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 846.25 MiB) 15:02:34 [15:02:34.432] 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: 846.25 MiB) 15:02:34 [15:02:34.457] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 846.25 MiB) 15:02:35 [15:02:35.621] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.25 MiB) 15:02:37 [15:02:37.467] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 846.25 MiB) 15:02:41 [15:02:41.731] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 846.25 MiB) 15:02:41 prove translator... (mem: 846.25 MiB) 15:02:45 [15:02:45.182] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 862.42 MiB) 15:02:47 [15:02:47.112] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 863.42 MiB) 15:02:49 [15:02:49.206] INFO: ivc-integration:test:native bb - computed opening proof (mem: 863.42 MiB) 15:02:49 [15:02:49.207] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 863.42 MiB) 15:02:49 [15:02:49.211] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 863.42 MiB) 15:02:49 [15:02:49.226] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 863.42 MiB) 15:02:49 libra_evals_verified: 1 (mem: 863.42 MiB) 15:02:49 pairing_check_verified: 1 (mem: 863.42 MiB) 15:02:49 Mega verified: 1 (mem: 863.42 MiB) 15:02:49 [15:02:49.408] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 864.42 MiB) 15:02:49 batch opening verified?: 1 (mem: 864.42 MiB) 15:02:49 eccvm consistency check verified?: 1 (mem: 864.42 MiB) 15:02:49 translation masking consistency checked?: 1 (mem: 864.42 MiB) 15:02:49 [15:02:49.431] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 864.42 MiB) 15:02:49 eccvm verified?: 1 (mem: 864.42 MiB) 15:02:49 accumulator construction_verified?: 1 (mem: 864.42 MiB) 15:02:49 translation verified?: 1 (mem: 864.42 MiB) 15:02:49 consistency verified?: 1 (mem: 864.42 MiB) 15:02:49 Goblin verified: 1 (mem: 864.42 MiB) 15:02:49 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-4zHtx3" (mem: 864.42 MiB) 15:02:49 [15:02:49.436] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-4zHtx3" (mem: 864.42 MiB) 15:02:49 BN254 commitment key size: 262144 (mem: 864.42 MiB) 15:02:49 [15:02:49.441] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 864.42 MiB) 15:02:49 [15:02:49.447] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 864.42 MiB) 15:02:49 goblin ecc op : 4/1024 (mem: 864.42 MiB) 15:02:49 busread : 3/6000 (mem: 864.42 MiB) 15:02:49 lookups : 2/15000 (mem: 864.42 MiB) 15:02:49 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 864.42 MiB) 15:02:49 arithmetic : 1773/56000 (mem: 864.42 MiB) 15:02:49 delta range : 1754/18000 (mem: 864.42 MiB) 15:02:49 elliptic : 2/6000 (mem: 864.42 MiB) 15:02:49 auxiliary : 26/26000 (mem: 864.42 MiB) 15:02:49 poseidon ext : 2/17000 (mem: 864.42 MiB) 15:02:49 poseidon int : 2/92000 (mem: 864.42 MiB) 15:02:49 overflow : 0/0 (mem: 864.42 MiB) 15:02:49 (mem: 864.42 MiB) 15:02:49 Total structured size: 242025 (mem: 864.42 MiB) 15:02:49 allocating polynomials object in proving key... (mem: 864.42 MiB) 15:02:49 [15:02:49.627] INFO: ivc-integration:test:native bb - populating trace... (mem: 864.42 MiB) 15:02:49 [15:02:49.658] INFO: ivc-integration:test:native bb - time to construct proving key: 218 ms. (mem: 864.42 MiB) 15:02:49 [15:02:49.724] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 864.42 MiB) 15:02:50 [15:02:50.342] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 864.42 MiB) 15:02:50 [15:02:50.343] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 864.42 MiB) 15:02:50 [15:02:50.486] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 864.42 MiB) 15:02:50 [15:02:50.495] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 864.42 MiB) 15:02:50 [15:02:50.511] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 864.42 MiB) 15:02:50 [15:02:50.514] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 864.42 MiB) 15:02:50 goblin ecc op : 56/1024 (mem: 864.42 MiB) 15:02:50 busread : 3/6000 (mem: 864.42 MiB) 15:02:50 lookups : 2/15000 (mem: 864.42 MiB) 15:02:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 864.42 MiB) 15:02:50 arithmetic : 4481/56000 (mem: 864.42 MiB) 15:02:50 delta range : 2041/18000 (mem: 864.42 15:02:50 [15:02:50.515] INFO: ivc-integration:test:native bb - MiB) 15:02:50 elliptic : 2/6000 (mem: 864.42 MiB) 15:02:50 auxiliary : 50/26000 (mem: 864.42 MiB) 15:02:50 poseidon ext : 1312/17000 (mem: 864.42 MiB) 15:02:50 poseidon int : 7469/92000 (mem: 864.42 MiB) 15:02:50 overflow : 0/0 (mem: 864.42 MiB) 15:02:50 (mem: 864.42 MiB) 15:02:50 Total structured size: 242025 (mem: 864.42 MiB) 15:02:50 allocating polynomials object in proving key... (mem: 864.42 MiB) 15:02:50 [15:02:50.581] INFO: ivc-integration:test:native bb - populating trace... (mem: 864.42 MiB) 15:02:50 [15:02:50.595] INFO: ivc-integration:test:native bb - time to construct proving key: 83 ms. (mem: 864.42 MiB) 15:02:50 [15:02:50.623] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 864.42 MiB) 15:02:51 [15:02:51.104] INFO: ivc-integration:test:native bb - computing folding proof (mem: 864.42 MiB) 15:02:51 [15:02:51.105] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 864.42 MiB) 15:02:51 [15:02:51.568] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 864.42 MiB) 15:02:51 [15:02:51.711] INFO: ivc-integration:test:native bb - perturbator round (mem: 864.42 MiB) 15:02:51 [15:02:51.773] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 896.42 MiB) 15:02:51 [15:02:51.947] INFO: ivc-integration:test:native bb - folded (mem: 896.42 MiB) 15:02:51 constructed folding proof (mem: 896.42 MiB) 15:02:51 Largest circuit: 15360 gates. Trace details: (mem: 896.42 MiB) 15:02:51 Minimum required block sizes for structured trace: (mem: 896.42 MiB) 15:02:51 (mem: 896.42 MiB) 15:02:51 prove decider... (mem: 896.42 MiB) 15:02:51 [15:02:51.948] INFO: ivc-integration:test:native bb - ecc_op : 56 15:02:51 busread : 3 15:02:51 lookup : 2 15:02:51 pub_inputs : 36 15:02:51 arithmetic : 4481 15:02:51 delta_range : 2041 15:02:51 elliptic : 2 15:02:51 aux : 50 15:02:51 poseidon2_external : 1312 15:02:51 poseidon2_internal : 7469 15:02:51 overflow : 0 15:02:52 [15:02:52.040] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 896.42 MiB) 15:02:52 [15:02:52.098] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 896.42 MiB) 15:02:52 [15:02:52.472] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 896.42 MiB) 15:02:52 [15:02:52.523] INFO: ivc-integration:test:native bb - computed opening proof (mem: 896.42 MiB) 15:02:52 finished decider proving. (mem: 896.42 MiB) 15:02:52 [15:02:52.534] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 896.42 MiB) 15:02:52 [15:02:52.614] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 896.42 MiB) 15:02:52 [15:02:52.619] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 896.42 MiB) 15:02:52 [15:02:52.686] INFO: ivc-integration:test:native bb - populating trace... (mem: 896.42 MiB) 15:02:52 [15:02:52.711] INFO: ivc-integration:test:native bb - time to construct proving key: 96 ms. (mem: 896.42 MiB) 15:02:53 [15:02:53.053] 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-4zHtx3/proof -k /tmp/bb-client-ivc-integration-4zHtx3/vk -v 15:02:53 [15:02:53.073] INFO: ivc-integration:test:native bb command: verify (mem: 15:02:53 [15:02:53.074] INFO: ivc-integration:test:native 189.62 MiB) 15:02:53 Scheme is: client_ivc, num threads: 128 (mem: 189.62 MiB) 15:02:53 --proof_path: /tmp/bb-client-ivc-integration-4zHtx3/proof (mem: 189.62 MiB) 15:02:53 --vk_path: /tmp/bb-client-ivc-integration-4zHtx3/vk (mem: 189.62 MiB) 15:02:53 --verbose: true (mem: 189.62 MiB) 15:02:53 --scheme: client_ivc (mem: 189.62 MiB) 15:02:53 [15:02:53.160] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 189.62 MiB) 15:02:53 [15:02:53.181] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 189.62 MiB) 15:02:53 [15:02:53.182] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 189.62 MiB) 15:02:53 [15:02:53.199] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 189.62 MiB) 15:02:53 [15:02:53.200] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 189.62 MiB) 15:02:53 [15:02:53.200] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 189.62 MiB) 15:02:53 libra_evals_verified: 1 (mem: 189.62 MiB) 15:02:53 pairing_check_verified: 1 (mem: 189.62 15:02:53 [15:02:53.200] INFO: ivc-integration:test:native MiB) 15:02:53 Mega verified: 1 (mem: 189.62 MiB) 15:02:53 [15:02:53.249] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.62 MiB) 15:02:53 batch opening verified?: 1 (mem: 189.62 MiB) 15:02:53 eccvm consistency check verified?: 1 (mem: 189.62 MiB) 15:02:53 translation masking consistency checked?: 1 (mem: 189.62 MiB) 15:02:53 [15:02:53.268] INFO: ivc-integration:test:native merge verified?: 1 (mem: 189.62 MiB) 15:02:53 eccvm verified?: 1 (mem: 189.62 MiB) 15:02:53 accumulator construction_verified?: 1 (mem: 189.62 MiB) 15:02:53 translation verified?: 1 (mem: 189.62 MiB) 15:02:53 consistency verified?: 1 (mem: 189.62 MiB) 15:02:53 Goblin verified: 1 (mem: 189.62 MiB) 15:02:53 [15:02:53.273] INFO: ivc-integration:test:native verified: 1 (mem: 189.62 MiB) 15:02:53 PASS src/native_client_ivc_integration.test.ts (72.636 s) 15:02:53 Client IVC Integration 15:02:53 ✓ Should generate a verifiable client IVC proof from a simple mock tx (37680 ms) 15:02:53 ✓ Should generate a verifiable client IVC proof from a complex mock tx (31318 ms) 15:02:53 15:02:53 Test Suites: 1 passed, 1 total 15:02:53 Tests: 2 passed, 2 total 15:02:53 Snapshots: 0 total 15:02:53 Time: 72.751 s 15:02:53 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 15:02:53 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?