Parent Log: http://ci.aztec-labs.com/63d6054517662e68 Command: e4e37220d2336322: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/282da3bd25d49b92970e6fc85f110092e8566299 Env: REF_NAME=gh-readonly-queue/next/pr-14610-ee24aac96469b4f1cb8d70e614b2dd27bf0eb134 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 24 14:13:37 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14610_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 14:13:42 [14:13:42.278] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-SCKYNO/ivc-inputs.msgpack 14:13:42 [14:13:42.284] INFO: ivc-integration:test:native bb - BB concurrency: undefined 14:13:42 [14:13:42.285] 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-SCKYNO --ivc_inputs_path /tmp/bb-client-ivc-integration-SCKYNO/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 14:13:42 [14:13:42.310] INFO: ivc-integration:test:native bb - bb command: prove (mem: 235.41 MiB) 14:13:42 [14:13:42.311] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 235.41 MiB) 14:13:42 --scheme: client_ivc (mem: 235.41 MiB) 14:13:42 --output_path: /tmp/bb-client-ivc-integration-SCKYNO (mem: 235.41 MiB) 14:13:42 --ivc_inputs_path: /tmp/bb-client-ivc-integration-SCKYNO/ivc-inputs.msgpack (mem: 235.41 MiB) 14:13:42 --verbose: true (mem: 235.41 MiB) 14:13:42 --write_vk: true (mem: 235.41 MiB) 14:13:42 [14:13:42.312] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 235.41 MiB) 14:13:42 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.41 MiB) 14:13:42 [14:13:42.375] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 235.41 MiB) 14:13:42 [14:13:42.381] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 235.41 MiB) 14:13:42 Constructing DeciderProvingKey (mem: 235.41 MiB) 14:13:42 [14:13:42.386] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 235.41 MiB) 14:13:42 goblin ecc op : 4/1024 (mem: 235.41 MiB) 14:13:42 busread : 7/6000 (mem: 235.41 MiB) 14:13:42 lookups : 2/15000 (mem: 235.41 MiB) 14:13:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 235.41 MiB) 14:13:42 arithmetic : 1760/56000 (mem: 235.41 MiB) 14:13:42 delta range : 1754/18000 (mem: 235.41 MiB) 14:13:42 elliptic : 2/6000 (mem: 235.41 MiB) 14:13:42 auxiliary : 26/26000 (mem: 235.41 MiB) 14:13:42 poseidon ext : 2/17000 (mem: 235.41 MiB) 14:13:42 poseidon int : 2/92000 (mem: 235.41 MiB) 14:13:42 overflow : 0/0 (mem: 235.41 MiB) 14:13:42 (mem: 235.41 MiB) 14:13:42 Total structured size: 242025 (mem: 235.41 MiB) 14:13:42 allocating polynomials object in proving key... (mem: 235.41 MiB) 14:13:42 [14:13:42.555] INFO: ivc-integration:test:native bb - populating trace... (mem: 342.13 MiB) 14:13:42 [14:13:42.568] INFO: ivc-integration:test:native bb - time to construct proving key: 187 ms. (mem: 354.13 MiB) 14:13:42 [14:13:42.662] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1572faa5c0 (mem: 355.13 MiB) 14:13:42 [14:13:42.663] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 355.13 MiB) 14:13:42 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 355.13 MiB) 14:13:42 [14:13:42.911] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 367.13 MiB) 14:13:42 [14:13:42.921] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 367.13 MiB) 14:13:42 [14:13:42.938] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 367.13 MiB) 14:13:42 Constructing DeciderProvingKey (mem: 367.13 MiB) 14:13:42 [14:13:42.941] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 367.13 MiB) 14:13:42 goblin ecc op : 56/1024 (mem: 367.13 MiB) 14:13:42 busread : 12/6000 (mem: 367.13 MiB) 14:13:42 lookups : 2/15000 (mem: 367.13 MiB) 14:13:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 367.13 MiB) 14:13:42 arithmetic : 4676/56000 (mem: 367.13 MiB) 14:13:42 delta range : 2073/18000 (mem: 367.13 MiB) 14:13:42 elliptic : 2/6000 (mem: 367.13 MiB) 14:13:42 auxiliary : 110/26000 (mem: 367.13 MiB) 14:13:42 poseidon ext : 1322/17000 (mem: 367.13 MiB) 14:13:42 poseidon int : 7526/92000 (mem: 367.13 MiB) 14:13:42 overflow : 0/0 (mem: 367.13 MiB) 14:13:42 (mem: 367.13 MiB) 14:13:42 Total structured size: 242025 (mem: 367.13 MiB) 14:13:42 allocating polynomials object in proving key... (mem: 367.13 MiB) 14:13:43 [14:13:43.094] INFO: ivc-integration:test:native bb - populating trace... (mem: 572.13 MiB) 14:13:43 [14:13:43.132] INFO: ivc-integration:test:native bb - time to construct proving key: 194 ms. (mem: 589.13 MiB) 14:13:43 [14:13:43.312] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1572fb72c0 (mem: 589.13 MiB) 14:13:43 computing folding proof (mem: 589.13 MiB) 14:13:43 [14:13:43.314] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 589.13 MiB) 14:13:43 [14:13:43.709] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 592.13 MiB) 14:13:43 [14:13:43.794] INFO: ivc-integration:test:native bb - perturbator round (mem: 628.13 MiB) 14:13:43 [14:13:43.850] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 660.13 MiB) 14:13:44 [14:13:44.115] INFO: ivc-integration:test:native bb - folded (mem: 660.13 MiB) 14:13:44 constructed folding proof (mem: 660.13 MiB) 14:13:44 [14:13:44.122] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 660.13 MiB) 14:13:44 [14:13:44.185] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 660.13 MiB) 14:13:44 Constructing DeciderProvingKey (mem: 660.13 MiB) 14:13:44 [14:13:44.190] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 660.13 MiB) 14:13:44 goblin ecc op : 392/1024 (mem: 660.13 MiB) 14:13:44 busread : 3/6000 (mem: 660.13 MiB) 14:13:44 lookups : 2/15000 (mem: 660.13 MiB) 14:13:44 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 660.13 MiB) 14:13:44 arithmetic : 6912/56000 (mem: 660.13 MiB) 14:13:44 delta range : 2353/18000 (mem: 660.13 MiB) 14:13:44 elliptic : 2/6000 (mem: 660.13 MiB) 14:13:44 auxiliary : 50/26000 (mem: 660.13 MiB) 14:13:44 poseidon ext : 2492/17000 (mem: 660.13 MiB) 14:13:44 poseidon int : 14195/92000 (mem: 660.13 MiB) 14:13:44 overflow : 0/0 (mem: 660.13 MiB) 14:13:44 (mem: 660.13 MiB) 14:13:44 Total structured size: 242025 (mem: 660.13 MiB) 14:13:44 allocating polynomials object in proving key... (mem: 660.13 MiB) 14:13:44 [14:13:44.449] INFO: ivc-integration:test:native bb - populating trace... (mem: 660.13 MiB) 14:13:44 [14:13:44.480] INFO: ivc-integration:test:native bb - time to construct proving key: 293 ms. (mem: 660.13 MiB) 14:13:44 [14:13:44.677] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1572fc2780 (mem: 660.13 MiB) 14:13:44 computing folding proof (mem: 660.13 MiB) 14:13:44 [14:13:44.678] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 660.13 MiB) 14:13:45 [14:13:45.217] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 660.13 MiB) 14:13:45 [14:13:45.365] INFO: ivc-integration:test:native bb - perturbator round (mem: 660.13 MiB) 14:13:45 [14:13:45.428] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 673.04 MiB) 14:13:45 [14:13:45.715] INFO: ivc-integration:test:native bb - folded (mem: 673.04 MiB) 14:13:45 constructed folding proof (mem: 673.04 MiB) 14:13:45 Largest circuit: 26009 gates. Trace details: (mem: 673.04 MiB) 14:13:45 Minimum required block sizes for structured trace: (mem: 673.04 MiB) 14:13:45 (mem: 673.04 MiB) 14:13:45 prove decider... (mem: 673.04 MiB) 14:13:45 [14:13:45.716] INFO: ivc-integration:test:native bb - ecc_op : 392 14:13:45 busread : 12 14:13:45 lookup : 2 14:13:45 pub_inputs : 36 14:13:45 arithmetic : 6912 14:13:45 delta_range : 2353 14:13:45 elliptic : 2 14:13:45 aux : 110 14:13:45 poseidon2_external : 2492 14:13:45 poseidon2_internal : 14195 14:13:45 overflow : 0 14:13:45 [14:13:45.852] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 673.04 MiB) 14:13:46 [14:13:46.042] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 673.04 MiB) 14:13:47 [14:13:47.585] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 673.04 MiB) 14:13:47 [14:13:47.738] INFO: ivc-integration:test:native bb - computed opening proof (mem: 673.04 MiB) 14:13:47 finished decider proving. (mem: 673.04 MiB) 14:13:47 [14:13:47.769] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 673.04 MiB) 14:13:47 [14:13:47.883] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 673.04 MiB) 14:13:47 [14:13:47.889] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 14:13:47 [14:13:47.890] INFO: ivc-integration:test:native bb - (mem: 673.04 MiB) 14:13:48 [14:13:48.147] INFO: ivc-integration:test:native bb - populating trace... (mem: 673.04 MiB) 14:13:48 [14:13:48.212] INFO: ivc-integration:test:native bb - time to construct proving key: 329 ms. (mem: 673.04 MiB) 14:13:49 [14:13:49.687] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 673.04 MiB) 14:13:50 [14:13:50.422] INFO: ivc-integration:test:native bb - created oink proof (mem: 673.04 MiB) 14:13:50 [14:13:50.746] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 673.04 MiB) 14:13:52 [14:13:52.563] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 673.04 MiB) 14:13:53 [14:13:53.935] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 673.04 MiB) 14:13:54 [14:13:54.055] INFO: ivc-integration:test:native bb - computed opening proof (mem: 673.04 MiB) 14:13:54 finished decider proving. (mem: 673.04 MiB) 14:13:54 [14:13:54.055] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 673.04 MiB) 14:13:54 [14:13:54.436] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 673.04 MiB) 14:13:54 [14:13:54.994] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 14:13:54 [14:13:54.995] INFO: ivc-integration:test:native bb - (mem: 673.04 MiB) 14:13:55 [14:13:55.007] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 673.04 MiB) 14:13:57 [14:13:57.178] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 673.04 MiB) 14:13:59 [14:13:59.530] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 14:13:59 [14:13:59.531] INFO: ivc-integration:test:native bb - (mem: 14:13:59 [14:13:59.532] INFO: ivc-integration:test:native bb - 673.04 14:13:59 [14:13:59.534] INFO: ivc-integration:test:native bb - MiB) 14:14:05 [14:14:05.180] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 673.04 MiB) 14:14:05 prove translator... (mem: 673.04 MiB) 14:14:07 [14:14:07.259] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 707.82 MiB) 14:14:11 [14:14:11.445] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 707.82 MiB) 14:14:14 [14:14:14.596] INFO: ivc-integration:test:native bb - computed opening proof (mem: 707.82 MiB) 14:14:14 [14:14:14.597] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 707.82 MiB) 14:14:14 [14:14:14.597] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 707.82 MiB) 14:14:14 [14:14:14.614] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 707.82 MiB) 14:14:14 libra_evals_verified: 1 (mem: 707.82 MiB) 14:14:14 pairing_check_verified: 1 (mem: 707.82 MiB) 14:14:14 Mega verified: 1 (mem: 707.82 MiB) 14:14:14 [14:14:14.745] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 708.82 MiB) 14:14:14 batch opening verified?: 1 (mem: 708.82 MiB) 14:14:14 eccvm consistency check verified?: 1 (mem: 708.82 MiB) 14:14:14 translation masking consistency checked?: 1 (mem: 708.82 MiB) 14:14:14 [14:14:14.771] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 708.82 MiB) 14:14:14 eccvm verified?: 1 (mem: 708.82 MiB) 14:14:14 accumulator construction_verified?: 1 (mem: 708.82 MiB) 14:14:14 translation verified?: 1 (mem: 708.82 MiB) 14:14:14 consistency verified?: 1 (mem: 708.82 MiB) 14:14:14 Goblin verified: 1 (mem: 708.82 MiB) 14:14:14 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-SCKYNO" (mem: 708.82 MiB) 14:14:14 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-SCKYNO" (mem: 708.82 MiB) 14:14:14 BN254 commitment key size: 262144 (mem: 708.82 MiB) 14:14:14 [14:14:14.772] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 708.82 MiB) 14:14:14 [14:14:14.784] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 708.82 MiB) 14:14:14 goblin ecc op : 4/1024 (mem: 708.82 MiB) 14:14:14 busread : 3/6000 (mem: 708.82 MiB) 14:14:14 lookups : 2/15000 (mem: 708.82 MiB) 14:14:14 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 708.82 MiB) 14:14:14 arithmetic : 1773/56000 (mem: 708.82 MiB) 14:14:14 delta range : 1754/18000 (mem: 708.82 MiB) 14:14:14 elliptic : 2/6000 (mem: 708.82 MiB) 14:14:14 auxiliary : 26/26000 (mem: 708.82 MiB) 14:14:14 poseidon ext : 2/17000 (mem: 708.82 MiB) 14:14:14 poseidon int : 2/92000 (mem: 708.82 MiB) 14:14:14 overflow : 0/0 (mem: 708.82 MiB) 14:14:14 (mem: 708.82 MiB) 14:14:14 Total structured size: 242025 (mem: 708.82 MiB) 14:14:14 allocating polynomials object in proving key... (mem: 708.82 MiB) 14:14:15 [14:14:15.220] INFO: ivc-integration:test:native bb - populating trace... (mem: 708.82 MiB) 14:14:15 [14:14:15.252] INFO: ivc-integration:test:native bb - time to construct proving key: 480 ms. (mem: 708.82 MiB) 14:14:15 [14:14:15.426] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 708.82 MiB) 14:14:15 [14:14:15.775] INFO: ivc-integration:test:native bb - computing oink proof... 14:14:15 [14:14:15.782] INFO: ivc-integration:test:native bb - (mem: 708.82 MiB) 14:14:15 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 708.82 MiB) 14:14:16 [14:14:16.297] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 708.82 MiB) 14:14:16 [14:14:16.305] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 708.82 MiB) 14:14:16 [14:14:16.323] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 708.82 MiB) 14:14:16 [14:14:16.326] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 14:14:16 [14:14:16.328] INFO: ivc-integration:test:native bb - (mem: 14:14:16 [14:14:16.331] INFO: ivc-integration:test:native bb - 708.82 MiB) 14:14:16 goblin ecc op : 56/1024 (mem: 708.82 MiB) 14:14:16 busread : 3/6000 (mem: 708.82 MiB) 14:14:16 lookups : 2/15000 (mem: 708.82 MiB) 14:14:16 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 708.82 MiB) 14:14:16 arithmetic : 4532/56000 (mem: 708.82 MiB) 14:14:16 delta range : 2060/18000 (mem: 708.82 MiB) 14:14:16 elliptic : 2/6000 (mem: 708.82 MiB) 14:14:16 auxiliary : 50/26000 (mem: 708.82 MiB) 14:14:16 poseidon ext : 1332/17000 (mem: 708.82 MiB) 14:14:16 poseidon int : 7583/92000 (mem: 708.82 MiB) 14:14:16 overflow : 0/0 (mem: 708.82 MiB) 14:14:16 (mem: 708.82 MiB) 14:14:16 Total structured size: 242025 (mem: 708.82 MiB) 14:14:16 allocating polynomials object in proving key... (mem: 708.82 MiB) 14:14:16 [14:14:16.696] INFO: ivc-integration:test:native bb - populating trace... (mem: 708.82 MiB) 14:14:16 [14:14:16.721] INFO: ivc-integration:test:native bb - time to construct proving key: 400 ms. (mem: 708.82 MiB) 14:14:16 [14:14:16.942] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 708.82 MiB) 14:14:17 [14:14:17.620] INFO: ivc-integration:test:native bb - computing folding proof (mem: 708.82 MiB) 14:14:17 vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 708.82 MiB) 14:14:18 [14:14:18.178] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 708.82 MiB) 14:14:18 [14:14:18.373] INFO: ivc-integration:test:native bb - perturbator round (mem: 708.82 MiB) 14:14:18 [14:14:18.497] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 740.82 MiB) 14:14:18 [14:14:18.893] INFO: ivc-integration:test:native bb - folded (mem: 740.82 MiB) 14:14:18 constructed folding proof (mem: 740.82 MiB) 14:14:18 Largest circuit: 15564 gates. Trace details: (mem: 740.82 MiB) 14:14:18 [14:14:18.894] INFO: ivc-integration:test:native bb - Minimum required block sizes for structured trace: (mem: 740.82 MiB) 14:14:18 (mem: 740.82 MiB) 14:14:18 prove decider... (mem: 740.82 MiB) 14:14:18 [14:14:18.894] INFO: ivc-integration:test:native bb - ecc_op : 56 14:14:18 busread : 3 14:14:18 lookup : 2 14:14:18 pub_inputs : 36 14:14:18 arithmetic : 4532 14:14:18 delta_range : 2060 14:14:18 elliptic : 2 14:14:18 aux : 50 14:14:18 poseidon2_external : 1332 14:14:18 poseidon2_internal : 7583 14:14:18 overflow : 0 14:14:19 [14:14:19.074] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 740.82 MiB) 14:14:19 [14:14:19.270] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 740.82 MiB) 14:14:20 [14:14:20.499] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 740.82 MiB) 14:14:20 [14:14:20.634] INFO: ivc-integration:test:native bb - computed opening proof (mem: 740.82 MiB) 14:14:20 finished decider proving. (mem: 740.82 MiB) 14:14:20 [14:14:20.647] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 740.82 MiB) 14:14:20 [14:14:20.748] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 740.82 MiB) 14:14:20 [14:14:20.757] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 14:14:20 [14:14:20.758] INFO: ivc-integration:test:native bb - (mem: 14:14:20 [14:14:20.760] INFO: ivc-integration:test:native bb - 740.82 MiB) 14:14:20 [14:14:20.925] INFO: ivc-integration:test:native bb - populating trace... (mem: 740.82 MiB) 14:14:21 [14:14:21.013] INFO: ivc-integration:test:native bb - time to construct proving key: 267 ms. (mem: 740.82 MiB) 14:14:21 [14:14:21.802] INFO: ivc-integration:test:native BB concurrency: 1 14:14:21 [14:14:21.807] 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-SCKYNO/proof -k /tmp/bb-client-ivc-integration-SCKYNO/vk -v 14:14:21 [14:14:21.880] INFO: ivc-integration:test:native bb command: verify (mem: 235.95 MiB) 14:14:21 Scheme is: client_ivc, num threads: 1 (mem: 235.95 MiB) 14:14:21 --proof_path: /tmp/bb-client-ivc-integration-SCKYNO/proof (mem: 235.95 MiB) 14:14:21 --vk_path: /tmp/bb-client-ivc-integration-SCKYNO/vk (mem: 235.95 MiB) 14:14:21 --verbose: true (mem: 235.95 MiB) 14:14:21 --scheme: client_ivc (mem: 235.95 MiB) 14:14:21 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 235.95 MiB) 14:14:21 [14:14:21.886] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 235.95 MiB) 14:14:21 [14:14:21.887] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 235.95 MiB) 14:14:21 [14:14:21.906] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.95 MiB) 14:14:21 [14:14:21.907] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 235.95 MiB) 14:14:21 [14:14:21.911] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 235.95 MiB) 14:14:21 libra_evals_verified: 1 (mem: 235.95 MiB) 14:14:21 pairing_check_verified: 1 (mem: 235.95 MiB) 14:14:21 Mega verified: 1 (mem: 235.95 MiB) 14:14:22 [14:14:22.429] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 235.95 MiB) 14:14:22 batch opening verified?: 1 (mem: 235.95 MiB) 14:14:22 eccvm consistency check verified?: 1 (mem: 235.95 MiB) 14:14:22 translation masking consistency checked?: 1 (mem: 235.95 MiB) 14:14:22 [14:14:22.450] INFO: ivc-integration:test:native merge verified?: 1 (mem: 235.95 MiB) 14:14:22 eccvm verified?: 1 (mem: 235.95 MiB) 14:14:22 accumulator construction_verified?: 1 (mem: 235.95 MiB) 14:14:22 translation verified?: 1 (mem: 235.95 MiB) 14:14:22 consistency verified?: 1 (mem: 235.95 MiB) 14:14:22 Goblin verified: 1 (mem: 235.95 MiB) 14:14:22 [14:14:22.451] INFO: ivc-integration:test:native verified: 1 (mem: 235.95 MiB) 14:14:22 [14:14:22.542] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Ok56tq/ivc-inputs.msgpack 14:14:22 [14:14:22.543] INFO: ivc-integration:test:native bb - BB concurrency: undefined 14:14:22 [14:14:22.544] 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-Ok56tq --ivc_inputs_path /tmp/bb-client-ivc-integration-Ok56tq/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 14:14:22 [14:14:22.580] INFO: ivc-integration:test:native bb - bb command: prove 14:14:22 [14:14:22.581] INFO: ivc-integration:test:native bb - (mem: 14:14:22 [14:14:22.582] INFO: ivc-integration:test:native bb - 236.33 14:14:22 [14:14:22.583] INFO: ivc-integration:test:native bb - MiB) 14:14:22 Scheme is: client_ivc, num threads: 128 (mem: 236.33 MiB) 14:14:22 --scheme: client_ivc (mem: 236.33 MiB) 14:14:22 --output_path: /tmp/bb-client-ivc-integration-Ok56tq (mem: 236.33 MiB) 14:14:22 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Ok56tq/ivc-inputs.msgpack (mem: 236.33 MiB) 14:14:22 --verbose: true (mem: 236.33 MiB) 14:14:22 --write_vk: true (mem: 236.33 MiB) 14:14:22 [14:14:22.589] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 14:14:22 [14:14:22.591] INFO: ivc-integration:test:native bb - (mem: 236.33 MiB) 14:14:22 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 236.33 MiB) 14:14:22 [14:14:22.660] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 236.33 MiB) 14:14:22 [14:14:22.662] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 236.33 MiB) 14:14:22 [14:14:22.663] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 236.33 MiB) 14:14:22 [14:14:22.668] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 236.33 MiB) 14:14:22 goblin ecc op : 4/1024 (mem: 14:14:22 [14:14:22.668] INFO: ivc-integration:test:native bb - 236.33 MiB) 14:14:22 busread : 7/6000 (mem: 236.33 MiB) 14:14:22 lookups : 2/15000 (mem: 236.33 MiB) 14:14:22 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 236.33 MiB) 14:14:22 arithmetic : 1760/56000 (mem: 236.33 MiB) 14:14:22 delta range : 1754/18000 (mem: 236.33 MiB) 14:14:22 elliptic : 2/6000 (mem: 236.33 MiB) 14:14:22 auxiliary : 26/26000 (mem: 236.33 MiB) 14:14:22 poseidon ext : 2/17000 (mem: 236.33 MiB) 14:14:22 poseidon int : 2/92000 (mem: 236.33 MiB) 14:14:22 overflow : 0/0 (mem: 236.33 MiB) 14:14:22 (mem: 236.33 MiB) 14:14:22 Total structured size: 242025 (mem: 236.33 MiB) 14:14:22 allocating polynomials object in proving key... (mem: 236.33 MiB) 14:14:23 [14:14:23.170] INFO: ivc-integration:test:native bb - populating trace... (mem: 352.60 MiB) 14:14:23 [14:14:23.205] INFO: ivc-integration:test:native bb - time to construct proving key: 542 ms. (mem: 364.60 MiB) 14:14:23 [14:14:23.403] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62bb2bcc03c0 (mem: 364.60 MiB) 14:14:23 [14:14:23.404] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 364.60 MiB) 14:14:23 [14:14:23.404] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 364.60 MiB) 14:14:23 [14:14:23.943] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 372.60 MiB) 14:14:23 [14:14:23.958] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 372.60 MiB) 14:14:23 [14:14:23.970] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 372.60 MiB) 14:14:23 Constructing DeciderProvingKey (mem: 372.60 MiB) 14:14:23 [14:14:23.973] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 372.60 MiB) 14:14:23 goblin ecc op : 56/1024 (mem: 372.60 MiB) 14:14:23 busread : 12/6000 (mem: 372.60 MiB) 14:14:23 [14:14:23.976] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 372.60 MiB) 14:14:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 372.60 MiB) 14:14:23 arithmetic : 4676/56000 (mem: 372.60 MiB) 14:14:23 delta range : 2073/18000 (mem: 372.60 MiB) 14:14:23 elliptic : 2/6000 (mem: 372.60 MiB) 14:14:23 auxiliary : 110/26000 (mem: 372.60 MiB) 14:14:23 poseidon ext : 1322/17000 (mem: 372.60 MiB) 14:14:23 poseidon int : 7526/92000 (mem: 372.60 MiB) 14:14:23 overflow : 0/0 (mem: 372.60 MiB) 14:14:23 (mem: 372.60 MiB) 14:14:23 Total structured size: 242025 (mem: 372.60 MiB) 14:14:23 allocating polynomials object in proving key... (mem: 372.60 MiB) 14:14:24 [14:14:24.159] INFO: ivc-integration:test:native bb - populating trace... (mem: 576.60 MiB) 14:14:24 [14:14:24.206] INFO: ivc-integration:test:native bb - time to construct proving key: 235 ms. (mem: 589.60 MiB) 14:14:24 [14:14:24.460] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62bb2bcc9680 (mem: 589.60 MiB) 14:14:24 computing folding proof (mem: 589.60 MiB) 14:14:24 [14:14:24.463] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 589.60 MiB) 14:14:24 [14:14:24.923] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 590.60 MiB) 14:14:25 [14:14:25.070] INFO: ivc-integration:test:native bb - perturbator round (mem: 627.60 MiB) 14:14:25 [14:14:25.149] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 660.60 MiB) 14:14:25 [14:14:25.593] INFO: ivc-integration:test:native bb - folded (mem: 660.60 MiB) 14:14:25 constructed folding proof (mem: 660.60 MiB) 14:14:25 [14:14:25.593] INFO: ivc-integration:test:native bb - 14:14:25 [14:14:25.596] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 660.60 MiB) 14:14:25 Constructing DeciderProvingKey (mem: 660.60 MiB) 14:14:25 [14:14:25.601] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 660.60 MiB) 14:14:25 goblin ecc op : 4/1024 (mem: 660.60 MiB) 14:14:25 busread : 7/6000 (mem: 660.60 MiB) 14:14:25 lookups : 2/15000 (mem: 660.60 MiB) 14:14:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 660.60 MiB) 14:14:25 arithmetic : 1760/56000 (mem: 660.60 MiB) 14:14:25 [14:14:25.602] INFO: ivc-integration:test:native bb - delta range : 1754/18000 (mem: 660.60 MiB) 14:14:25 elliptic : 2/6000 (mem: 660.60 MiB) 14:14:25 auxiliary : 26/26000 (mem: 660.60 MiB) 14:14:25 poseidon ext : 2/17000 (mem: 660.60 MiB) 14:14:25 poseidon int : 2/92000 (mem: 660.60 MiB) 14:14:25 overflow : 0/0 (mem: 660.60 MiB) 14:14:25 (mem: 660.60 MiB) 14:14:25 Total structured size: 242025 (mem: 660.60 MiB) 14:14:25 allocating polynomials object in proving key... (mem: 660.60 MiB) 14:14:25 [14:14:25.742] INFO: ivc-integration:test:native bb - populating trace... (mem: 660.60 MiB) 14:14:25 [14:14:25.803] INFO: ivc-integration:test:native bb - time to construct proving key: 206 ms. (mem: 660.60 MiB) 14:14:26 [14:14:26.022] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62bb2bcc5340 (mem: 660.60 MiB) 14:14:26 computing folding proof (mem: 660.60 MiB) 14:14:26 [14:14:26.023] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 660.60 MiB) 14:14:26 [14:14:26.172] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 660.60 MiB) 14:14:26 [14:14:26.237] INFO: ivc-integration:test:native bb - perturbator round (mem: 660.60 MiB) 14:14:26 [14:14:26.283] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 662.34 MiB) 14:14:26 [14:14:26.592] INFO: ivc-integration:test:native bb - folded (mem: 662.34 MiB) 14:14:26 constructed folding proof (mem: 662.34 MiB) 14:14:26 [14:14:26.601] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 14:14:26 [14:14:26.602] INFO: ivc-integration:test:native bb - (mem: 662.34 MiB) 14:14:26 [14:14:26.711] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 662.34 MiB) 14:14:26 [14:14:26.786] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 662.34 MiB) 14:14:26 Constructing DeciderProvingKey (mem: 662.34 MiB) 14:14:26 [14:14:26.791] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 14:14:26 [14:14:26.792] INFO: ivc-integration:test:native bb - (mem: 662.34 MiB) 14:14:26 goblin ecc op : 792/1024 (mem: 662.34 MiB) 14:14:26 busread : 12/6000 (mem: 662.34 MiB) 14:14:26 lookups : 2/15000 (mem: 662.34 MiB) 14:14:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 662.34 MiB) 14:14:26 arithmetic : 12206/56000 (mem: 662.34 MiB) 14:14:26 delta range : 2981/18000 (mem: 662.34 MiB) 14:14:26 elliptic : 2/6000 (mem: 662.34 MiB) 14:14:26 auxiliary : 350/26000 (mem: 662.34 MiB) 14:14:26 poseidon ext : 4982/17000 (mem: 662.34 MiB) 14:14:26 poseidon int : 28388/92000 (mem: 662.34 MiB) 14:14:26 overflow : 0/0 (mem: 662.34 MiB) 14:14:26 (mem: 662.34 MiB) 14:14:26 Total structured size: 242025 (mem: 662.34 MiB) 14:14:26 allocating polynomials object in proving key... (mem: 662.34 MiB) 14:14:26 [14:14:26.981] INFO: ivc-integration:test:native bb - populating trace... (mem: 662.34 MiB) 14:14:27 [14:14:27.054] INFO: ivc-integration:test:native bb - time to construct proving key: 267 ms. (mem: 662.34 MiB) 14:14:27 [14:14:27.194] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62bb2bd3d400 (mem: 662.34 MiB) 14:14:27 computing folding proof (mem: 662.34 MiB) 14:14:27 [14:14:27.196] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 662.34 MiB) 14:14:27 [14:14:27.681] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 662.34 MiB) 14:14:27 [14:14:27.789] INFO: ivc-integration:test:native bb - perturbator round (mem: 681.59 MiB) 14:14:27 [14:14:27.860] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 713.59 MiB) 14:14:28 [14:14:28.047] INFO: ivc-integration:test:native bb - folded (mem: 713.59 MiB) 14:14:28 constructed folding proof (mem: 713.59 MiB) 14:14:28 [14:14:28.055] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 713.59 MiB) 14:14:28 [14:14:28.105] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 713.59 MiB) 14:14:28 Constructing DeciderProvingKey (mem: 713.59 MiB) 14:14:28 [14:14:28.111] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 713.59 MiB) 14:14:28 goblin ecc op : 392/1024 (mem: 713.59 MiB) 14:14:28 [14:14:28.114] INFO: ivc-integration:test:native bb - busread : 16/6000 (mem: 713.59 MiB) 14:14:28 lookups : 2/15000 (mem: 713.59 MiB) 14:14:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 713.59 MiB) 14:14:28 arithmetic : 6977/56000 (mem: 713.59 MiB) 14:14:28 delta range : 2367/18000 (mem: 713.59 MiB) 14:14:28 elliptic : 2/6000 (mem: 713.59 MiB) 14:14:28 auxiliary : 77/26000 (mem: 713.59 MiB) 14:14:28 poseidon ext : 2492/17000 (mem: 713.59 MiB) 14:14:28 poseidon int : 14195/92000 (mem: 713.59 MiB) 14:14:28 overflow : 0/0 (mem: 713.59 MiB) 14:14:28 (mem: 713.59 MiB) 14:14:28 Total structured size: 242025 (mem: 713.59 MiB) 14:14:28 allocating polynomials object in proving key... (mem: 713.59 MiB) 14:14:28 [14:14:28.178] INFO: ivc-integration:test:native bb - populating trace... (mem: 713.59 MiB) 14:14:28 [14:14:28.197] INFO: ivc-integration:test:native bb - time to construct proving key: 92 ms. (mem: 713.59 MiB) 14:14:28 [14:14:28.354] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62bb2bd26980 (mem: 713.59 MiB) 14:14:28 computing folding proof (mem: 713.59 MiB) 14:14:28 vkey hash in Oink prover: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 713.59 MiB) 14:14:28 [14:14:28.694] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 713.59 MiB) 14:14:28 [14:14:28.782] INFO: ivc-integration:test:native bb - perturbator round (mem: 713.59 MiB) 14:14:28 [14:14:28.840] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 714.40 MiB) 14:14:29 [14:14:29.199] INFO: ivc-integration:test:native bb - folded (mem: 714.40 MiB) 14:14:29 constructed folding proof (mem: 714.40 MiB) 14:14:29 [14:14:29.207] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 714.40 MiB) 14:14:29 [14:14:29.297] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 714.40 MiB) 14:14:29 Constructing DeciderProvingKey (mem: 714.40 MiB) 14:14:29 [14:14:29.301] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 714.40 MiB) 14:14:29 goblin ecc op : 392/1024 (mem: 714.40 MiB) 14:14:29 busread : 3/6000 (mem: 14:14:29 [14:14:29.301] INFO: ivc-integration:test:native bb - 714.40 MiB) 14:14:29 lookups : 2/15000 (mem: 714.40 MiB) 14:14:29 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 714.40 MiB) 14:14:29 arithmetic : 6912/56000 (mem: 714.40 MiB) 14:14:29 delta range : 2353/18000 (mem: 714.40 MiB) 14:14:29 elliptic : 2/6000 (mem: 714.40 MiB) 14:14:29 auxiliary : 50/26000 (mem: 714.40 MiB) 14:14:29 poseidon ext : 2492/17000 (mem: 714.40 MiB) 14:14:29 poseidon int : 14195/92000 (mem: 714.40 MiB) 14:14:29 overflow : 0/0 (mem: 714.40 MiB) 14:14:29 (mem: 714.40 MiB) 14:14:29 Total structured size: 242025 (mem: 714.40 MiB) 14:14:29 allocating polynomials object in proving key... (mem: 714.40 MiB) 14:14:29 [14:14:29.394] INFO: ivc-integration:test:native bb - populating trace... (mem: 714.40 MiB) 14:14:29 [14:14:29.424] INFO: ivc-integration:test:native bb - time to construct proving key: 126 ms. (mem: 714.40 MiB) 14:14:29 [14:14:29.657] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62bb2bd37c40 (mem: 714.40 MiB) 14:14:29 computing folding proof (mem: 714.40 MiB) 14:14:29 vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 714.40 MiB) 14:14:29 [14:14:29.939] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 714.40 MiB) 14:14:30 [14:14:30.013] INFO: ivc-integration:test:native bb - perturbator round (mem: 714.40 MiB) 14:14:30 [14:14:30.063] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 714.48 MiB) 14:14:30 [14:14:30.192] INFO: ivc-integration:test:native bb - folded (mem: 714.48 MiB) 14:14:30 constructed folding proof (mem: 714.48 MiB) 14:14:30 Largest circuit: 48923 gates. Trace details: (mem: 714.48 MiB) 14:14:30 Minimum required block sizes for structured trace: (mem: 714.48 MiB) 14:14:30 (mem: 714.48 MiB) 14:14:30 prove decider... (mem: 714.48 MiB) 14:14:30 [14:14:30.193] INFO: ivc-integration:test:native bb - ecc_op : 792 14:14:30 busread : 16 14:14:30 lookup : 2 14:14:30 pub_inputs : 36 14:14:30 arithmetic : 12206 14:14:30 delta_range : 2981 14:14:30 elliptic : 2 14:14:30 aux : 350 14:14:30 poseidon2_external : 4982 14:14:30 poseidon2_internal : 28388 14:14:30 overflow : 0 14:14:30 [14:14:30.263] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.48 MiB) 14:14:30 [14:14:30.336] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 714.48 MiB) 14:14:31 [14:14:31.007] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 714.48 MiB) 14:14:31 [14:14:31.131] INFO: ivc-integration:test:native bb - computed opening proof (mem: 714.48 MiB) 14:14:31 finished decider proving. (mem: 714.48 MiB) 14:14:31 [14:14:31.150] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 714.48 MiB) 14:14:31 [14:14:31.223] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 14:14:31 [14:14:31.225] INFO: ivc-integration:test:native bb - (mem: 714.48 MiB) 14:14:31 [14:14:31.228] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 714.48 MiB) 14:14:31 [14:14:31.310] INFO: ivc-integration:test:native bb - populating trace... (mem: 714.48 MiB) 14:14:31 [14:14:31.349] INFO: ivc-integration:test:native bb - time to construct proving key: 124 ms. (mem: 714.48 MiB) 14:14:31 [14:14:31.983] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 714.48 MiB) 14:14:32 [14:14:32.221] INFO: ivc-integration:test:native bb - created oink proof (mem: 714.48 MiB) 14:14:32 [14:14:32.319] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.48 MiB) 14:14:32 [14:14:32.817] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 714.48 MiB) 14:14:33 [14:14:33.373] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 714.48 MiB) 14:14:33 [14:14:33.436] INFO: ivc-integration:test:native bb - computed opening proof (mem: 714.48 MiB) 14:14:33 finished decider proving. (mem: 714.48 MiB) 14:14:33 [14:14:33.436] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 714.48 MiB) 14:14:33 [14:14:33.578] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 714.48 MiB) 14:14:33 [14:14:33.863] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 714.48 MiB) 14:14:33 [14:14:33.872] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 714.48 MiB) 14:14:35 [14:14:35.314] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.48 MiB) 14:14:36 [14:14:36.310] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 714.48 MiB) 14:14:40 [14:14:40.307] INFO: ivc-integration:test:native bb - finished eccvm proving. 14:14:40 [14:14:40.308] INFO: ivc-integration:test:native bb - (mem: 714.48 MiB) 14:14:40 prove translator... (mem: 714.48 MiB) 14:14:43 [14:14:43.856] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 730.55 MiB) 14:14:46 [14:14:46.936] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 731.55 MiB) 14:14:48 [14:14:48.976] INFO: ivc-integration:test:native bb - computed opening proof (mem: 731.55 MiB) 14:14:48 finished translator proving. (mem: 731.55 MiB) 14:14:48 [14:14:48.978] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 731.55 MiB) 14:14:48 [14:14:48.992] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 731.55 MiB) 14:14:48 libra_evals_verified: 1 (mem: 731.55 MiB) 14:14:48 pairing_check_verified: 1 (mem: 731.55 MiB) 14:14:48 [14:14:48.993] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 731.55 MiB) 14:14:49 [14:14:49.072] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 732.55 MiB) 14:14:49 batch opening verified?: 1 (mem: 732.55 MiB) 14:14:49 eccvm consistency check verified?: 1 (mem: 732.55 MiB) 14:14:49 translation masking consistency checked?: 1 (mem: 732.55 MiB) 14:14:49 [14:14:49.091] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 732.55 MiB) 14:14:49 eccvm verified?: 1 (mem: 732.55 MiB) 14:14:49 accumulator construction_verified?: 1 (mem: 732.55 MiB) 14:14:49 translation verified?: 1 (mem: 732.55 MiB) 14:14:49 consistency verified?: 1 (mem: 732.55 MiB) 14:14:49 Goblin verified: 1 (mem: 732.55 MiB) 14:14:49 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Ok56tq" (mem: 732.55 MiB) 14:14:49 [14:14:49.093] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Ok56tq" (mem: 732.55 MiB) 14:14:49 BN254 commitment key size: 262144 (mem: 732.55 MiB) 14:14:49 [14:14:49.094] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 732.55 MiB) 14:14:49 [14:14:49.098] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 732.55 MiB) 14:14:49 goblin ecc op : 4/1024 (mem: 732.55 MiB) 14:14:49 busread : 3/6000 (mem: 732.55 MiB) 14:14:49 lookups : 2/15000 (mem: 732.55 MiB) 14:14:49 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 732.55 MiB) 14:14:49 arithmetic : 1773/56000 (mem: 732.55 MiB) 14:14:49 delta range : 1754/18000 (mem: 732.55 MiB) 14:14:49 elliptic : 2/6000 (mem: 732.55 MiB) 14:14:49 auxiliary : 26/26000 (mem: 732.55 MiB) 14:14:49 poseidon ext : 2/17000 (mem: 732.55 MiB) 14:14:49 poseidon int : 2/92000 (mem: 732.55 MiB) 14:14:49 overflow : 0/0 (mem: 732.55 MiB) 14:14:49 (mem: 732.55 MiB) 14:14:49 Total structured size: 242025 (mem: 732.55 MiB) 14:14:49 allocating polynomials object in proving key... (mem: 732.55 MiB) 14:14:49 [14:14:49.500] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.55 MiB) 14:14:49 [14:14:49.543] INFO: ivc-integration:test:native bb - time to construct proving key: 446 ms. (mem: 732.55 MiB) 14:14:49 [14:14:49.704] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 732.55 MiB) 14:14:50 [14:14:50.181] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 732.55 MiB) 14:14:50 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 732.55 MiB) 14:14:50 [14:14:50.843] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 732.55 MiB) 14:14:50 [14:14:50.854] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 732.55 MiB) 14:14:50 [14:14:50.873] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 732.55 MiB) 14:14:50 [14:14:50.877] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 732.55 MiB) 14:14:50 goblin ecc op : 56/1024 (mem: 732.55 MiB) 14:14:50 busread : 3/6000 (mem: 732.55 MiB) 14:14:50 lookups : 2/15000 (mem: 732.55 MiB) 14:14:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 732.55 MiB) 14:14:50 arithmetic : 4532/56000 (mem: 732.55 MiB) 14:14:50 delta range : 2060/18000 (mem: 732.55 MiB) 14:14:50 elliptic : 2/6000 (mem: 732.55 MiB) 14:14:50 auxiliary : 50/26000 (mem: 732.55 MiB) 14:14:50 poseidon ext : 1332/17000 (mem: 732.55 MiB) 14:14:50 poseidon int : 7583/92000 (mem: 732.55 MiB) 14:14:50 overflow : 0/0 (mem: 732.55 MiB) 14:14:50 (mem: 732.55 MiB) 14:14:50 Total structured size: 242025 (mem: 732.55 MiB) 14:14:50 allocating polynomials object in proving key... (mem: 732.55 MiB) 14:14:51 [14:14:51.062] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.55 MiB) 14:14:51 [14:14:51.099] INFO: ivc-integration:test:native bb - time to construct proving key: 226 ms. (mem: 732.55 MiB) 14:14:51 [14:14:51.277] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 732.55 MiB) 14:14:51 [14:14:51.969] INFO: ivc-integration:test:native bb - computing folding proof 14:14:51 [14:14:51.969] INFO: ivc-integration:test:native bb - (mem: 732.55 MiB) 14:14:51 [14:14:51.970] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 732.55 MiB) 14:14:52 [14:14:52.304] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 14:14:52 [14:14:52.305] INFO: ivc-integration:test:native bb - (mem: 732.55 MiB) 14:14:52 [14:14:52.411] INFO: ivc-integration:test:native bb - perturbator round (mem: 732.55 MiB) 14:14:52 [14:14:52.461] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 764.55 MiB) 14:14:52 [14:14:52.597] INFO: ivc-integration:test:native bb - folded (mem: 764.55 MiB) 14:14:52 constructed folding proof (mem: 764.55 MiB) 14:14:52 [14:14:52.599] INFO: ivc-integration:test:native bb - Largest circuit: 15564 gates. Trace details: (mem: 764.55 MiB) 14:14:52 Minimum required block sizes for structured trace: (mem: 764.55 MiB) 14:14:52 (mem: 764.55 MiB) 14:14:52 prove decider... (mem: 764.55 MiB) 14:14:52 [14:14:52.600] INFO: ivc-integration:test:native bb - ecc_op : 56 14:14:52 busread : 3 14:14:52 lookup : 2 14:14:52 pub_inputs : 36 14:14:52 arithmetic : 4532 14:14:52 delta_range : 2060 14:14:52 elliptic : 2 14:14:52 aux : 50 14:14:52 poseidon2_external : 1332 14:14:52 poseidon2_internal : 7583 14:14:52 overflow : 0 14:14:52 [14:14:52.792] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 764.55 MiB) 14:14:52 [14:14:52.906] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 764.55 MiB) 14:14:53 [14:14:53.680] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 764.55 MiB) 14:14:53 [14:14:53.759] INFO: ivc-integration:test:native bb - computed opening proof (mem: 764.55 MiB) 14:14:53 finished decider proving. (mem: 764.55 MiB) 14:14:53 [14:14:53.769] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 764.55 MiB) 14:14:53 [14:14:53.889] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 764.55 MiB) 14:14:53 [14:14:53.893] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 764.55 MiB) 14:14:54 [14:14:54.024] INFO: ivc-integration:test:native bb - populating trace... (mem: 764.55 MiB) 14:14:54 [14:14:54.078] INFO: ivc-integration:test:native bb - time to construct proving key: 188 ms. (mem: 764.55 MiB) 14:14:54 [14:14:54.438] INFO: ivc-integration:test:native BB concurrency: 1 14:14:54 [14:14:54.439] 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-Ok56tq/proof -k /tmp/bb-client-ivc-integration-Ok56tq/vk -v 14:14:54 [14:14:54.471] INFO: ivc-integration:test:native bb command: verify (mem: 240.36 MiB) 14:14:54 Scheme is: client_ivc, num threads: 1 (mem: 240.36 MiB) 14:14:54 --proof_path: /tmp/bb-client-ivc-integration-Ok56tq/proof (mem: 240.36 MiB) 14:14:54 --vk_path: /tmp/bb-client-ivc-integration-Ok56tq/vk (mem: 240.36 MiB) 14:14:54 --verbose: true (mem: 240.36 MiB) 14:14:54 --scheme: client_ivc (mem: 240.36 MiB) 14:14:54 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 240.36 MiB) 14:14:54 [14:14:54.485] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 240.36 MiB) 14:14:54 [14:14:54.487] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 240.36 MiB) 14:14:54 [14:14:54.504] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.36 MiB) 14:14:54 [14:14:54.509] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 240.36 MiB) 14:14:54 sumcheck_verified: 1 (mem: 240.36 MiB) 14:14:54 libra_evals_verified: 1 (mem: 240.36 MiB) 14:14:54 pairing_check_verified: 1 (mem: 240.36 MiB) 14:14:54 Mega verified: 1 (mem: 240.36 MiB) 14:14:54 [14:14:54.966] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 240.36 MiB) 14:14:54 batch opening verified?: 1 (mem: 240.36 MiB) 14:14:54 eccvm consistency check verified?: 1 (mem: 240.36 MiB) 14:14:54 translation masking consistency checked?: 1 (mem: 240.36 MiB) 14:14:54 [14:14:54.991] INFO: ivc-integration:test:native merge verified?: 1 (mem: 240.36 MiB) 14:14:54 eccvm verified?: 1 (mem: 240.36 MiB) 14:14:54 accumulator construction_verified?: 1 (mem: 240.36 MiB) 14:14:54 translation verified?: 1 (mem: 240.36 MiB) 14:14:54 consistency verified?: 1 (mem: 240.36 MiB) 14:14:54 Goblin verified: 1 (mem: 240.36 14:14:54 [14:14:54.992] INFO: ivc-integration:test:native MiB) 14:14:54 verified: 1 (mem: 240.36 MiB) 14:14:55 PASS src/native_client_ivc_integration.test.ts (76.451 s) 14:14:55 Client IVC Integration 14:14:55 ✓ Should generate a verifiable client IVC proof from a simple mock tx (40467 ms) 14:14:55 ✓ Should generate a verifiable client IVC proof from a complex mock tx (32537 ms) 14:14:55 14:14:55 Test Suites: 1 passed, 1 total 14:14:55 Tests: 2 passed, 2 total 14:14:55 Snapshots: 0 total 14:14:55 Time: 76.549 s 14:14:55 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 14:14:55 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?