Parent Log: http://ci.aztec-labs.com/523a3b1793b6a592 Command: c118fea9c063e772: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/12d931e5ea9343eec403068931d3121e1d10e37e Env: REF_NAME=gh-readonly-queue/next/pr-15042-254faae7d330e160b14c6eaaa099dc92d4a9cac7 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 16 12:30:08 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15042_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 12:30:12 [12:30:12.564] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-P3t5Zd/ivc-inputs.msgpack 12:30:12 [12:30:12.573] 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-P3t5Zd --ivc_inputs_path /tmp/bb-client-ivc-integration-P3t5Zd/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 12:30:12 [12:30:12.595] INFO: ivc-integration:test:native bb - bb command: prove (mem: 157.96 MiB) 12:30:12 [12:30:12.596] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 157.96 MiB) 12:30:12 --scheme: client_ivc (mem: 157.96 MiB) 12:30:12 --output_path: /tmp/bb-client-ivc-integration-P3t5Zd (mem: 157.96 MiB) 12:30:12 --ivc_inputs_path: /tmp/bb-client-ivc-integration-P3t5Zd/ivc-inputs.msgpack (mem: 157.96 MiB) 12:30:12 --verbose: true (mem: 157.96 MiB) 12:30:12 --write_vk: true (mem: 157.96 MiB) 12:30:12 BN254 commitment key size: 262144 (mem: 157.96 MiB) 12:30:12 [12:30:12.704] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.00 MiB) 12:30:12 [12:30:12.789] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 303.73 MiB) 12:30:12 [12:30:12.793] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 303.73 MiB) 12:30:12 [12:30:12.797] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 303.73 MiB) 12:30:12 [12:30:12.799] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 303.73 MiB) 12:30:12 [12:30:12.801] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 303.73 MiB) 12:30:12 busread : 7/6000 (mem: 303.73 MiB) 12:30:12 lookups : 2/15000 (mem: 303.73 MiB) 12:30:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 303.73 MiB) 12:30:12 arithmetic : 1760/56000 (mem: 303.73 MiB) 12:30:12 delta range : 1754/18000 (mem: 303.73 MiB) 12:30:12 elliptic : 2/6000 (mem: 303.73 MiB) 12:30:12 auxiliary : 26/26000 (mem: 303.73 MiB) 12:30:12 poseidon ext : 2/17000 (mem: 303.73 MiB) 12:30:12 poseidon int : 2/92000 (mem: 303.73 MiB) 12:30:12 overflow : 0/0 (mem: 303.73 MiB) 12:30:12 (mem: 303.73 MiB) 12:30:12 Total structured size: 242025 (mem: 303.73 MiB) 12:30:12 allocating polynomials object in proving key... (mem: 303.73 MiB) 12:30:12 [12:30:12.880] INFO: ivc-integration:test:native bb - populating trace... (mem: 500.88 MiB) 12:30:12 [12:30:12.899] INFO: ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 512.88 MiB) 12:30:12 [12:30:12.942] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63e59dbaca40 (mem: 512.88 MiB) 12:30:12 computing oink proof... (mem: 512.88 MiB) 12:30:12 [12:30:12.944] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.88 MiB) 12:30:13 [12:30:13.138] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 519.88 MiB) 12:30:13 [12:30:13.149] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 519.88 MiB) 12:30:13 [12:30:13.170] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 519.88 MiB) 12:30:13 Constructing DeciderProvingKey (mem: 519.88 MiB) 12:30:13 [12:30:13.173] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 519.88 MiB) 12:30:13 goblin ecc op : 56/1024 (mem: 519.88 MiB) 12:30:13 busread : 12/6000 (mem: 519.88 MiB) 12:30:13 lookups : 2/15000 (mem: 519.88 MiB) 12:30:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 519.88 MiB) 12:30:13 arithmetic : 4625/56000 (mem: 519.88 MiB) 12:30:13 [12:30:13.174] INFO: ivc-integration:test:native bb - delta range : 2054/18000 (mem: 519.88 MiB) 12:30:13 elliptic : 2/6000 (mem: 519.88 MiB) 12:30:13 auxiliary : 110/26000 (mem: 519.88 MiB) 12:30:13 poseidon ext : 1302/17000 (mem: 519.88 MiB) 12:30:13 poseidon int : 7412/92000 (mem: 519.88 MiB) 12:30:13 overflow : 0/0 (mem: 519.88 MiB) 12:30:13 (mem: 519.88 MiB) 12:30:13 Total structured size: 242025 (mem: 519.88 MiB) 12:30:13 allocating polynomials object in proving key... (mem: 519.88 MiB) 12:30:13 [12:30:13.310] INFO: ivc-integration:test:native bb - populating trace... (mem: 731.88 MiB) 12:30:13 [12:30:13.337] INFO: ivc-integration:test:native bb - time to construct proving key: 167 ms. (mem: 749.88 MiB) 12:30:13 [12:30:13.449] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63e59dbb96c0 (mem: 749.88 MiB) 12:30:13 computing folding proof (mem: 749.88 MiB) 12:30:13 [12:30:13.450] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 749.88 MiB) 12:30:13 [12:30:13.963] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 749.88 MiB) 12:30:14 [12:30:14.066] INFO: ivc-integration:test:native bb - perturbator round (mem: 784.88 MiB) 12:30:14 [12:30:14.126] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.88 MiB) 12:30:14 [12:30:14.588] INFO: ivc-integration:test:native bb - folded (mem: 817.88 MiB) 12:30:14 constructed folding proof (mem: 817.88 MiB) 12:30:14 [12:30:14.600] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 817.88 MiB) 12:30:14 [12:30:14.662] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.88 MiB) 12:30:14 Constructing DeciderProvingKey (mem: 817.88 MiB) 12:30:14 [12:30:14.666] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.88 MiB) 12:30:14 goblin ecc op : 392/1024 (mem: 817.88 MiB) 12:30:14 busread : 3/6000 (mem: 817.88 MiB) 12:30:14 lookups : 2/15000 (mem: 817.88 MiB) 12:30:14 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.88 MiB) 12:30:14 arithmetic : 6849/56000 (mem: 817.88 MiB) 12:30:14 delta range : 2333/18000 (mem: 12:30:14 [12:30:14.670] INFO: ivc-integration:test:native bb - 817.88 MiB) 12:30:14 elliptic : 2/6000 (mem: 817.88 MiB) 12:30:14 auxiliary : 50/26000 (mem: 817.88 MiB) 12:30:14 poseidon ext : 2472/17000 (mem: 817.88 MiB) 12:30:14 poseidon int : 14081/92000 (mem: 817.88 MiB) 12:30:14 overflow : 0/0 (mem: 817.88 MiB) 12:30:14 (mem: 817.88 MiB) 12:30:14 Total structured size: 242025 (mem: 817.88 MiB) 12:30:14 allocating polynomials object in proving key... (mem: 817.88 MiB) 12:30:14 [12:30:14.848] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.88 MiB) 12:30:14 [12:30:14.909] INFO: ivc-integration:test:native bb - time to construct proving key: 242 ms. (mem: 817.88 MiB) 12:30:15 [12:30:15.158] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63e59dbaf080 (mem: 817.88 MiB) 12:30:15 computing folding proof (mem: 817.88 MiB) 12:30:15 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.88 MiB) 12:30:15 [12:30:15.663] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.88 MiB) 12:30:15 [12:30:15.801] INFO: ivc-integration:test:native bb - perturbator round (mem: 817.88 MiB) 12:30:15 [12:30:15.858] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.88 MiB) 12:30:16 [12:30:16.304] INFO: ivc-integration:test:native bb - folded (mem: 817.88 MiB) 12:30:16 constructed folding proof (mem: 817.88 MiB) 12:30:16 [12:30:16.305] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 817.88 MiB) 12:30:16 Minimum required block sizes for structured trace: (mem: 817.88 MiB) 12:30:16 (mem: 817.88 MiB) 12:30:16 prove decider... (mem: 817.88 MiB) 12:30:16 [12:30:16.306] INFO: ivc-integration:test:native bb - ecc_op : 392 12:30:16 busread : 12 12:30:16 lookup : 2 12:30:16 pub_inputs : 36 12:30:16 arithmetic : 6849 12:30:16 delta_range : 2333 12:30:16 elliptic : 2 12:30:16 aux : 110 12:30:16 poseidon2_external : 2472 12:30:16 poseidon2_internal : 14081 12:30:16 overflow : 0 12:30:16 [12:30:16.605] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.88 MiB) 12:30:16 [12:30:16.773] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 817.88 MiB) 12:30:17 [12:30:17.970] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.88 MiB) 12:30:18 [12:30:18.068] INFO: ivc-integration:test:native bb - computed opening proof (mem: 817.88 MiB) 12:30:18 finished decider proving. (mem: 817.88 MiB) 12:30:18 [12:30:18.092] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.88 MiB) 12:30:18 [12:30:18.203] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.88 MiB) 12:30:18 [12:30:18.209] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 817.88 MiB) 12:30:18 [12:30:18.351] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.88 MiB) 12:30:18 [12:30:18.405] INFO: ivc-integration:test:native bb - time to construct proving key: 201 ms. (mem: 817.88 MiB) 12:30:19 [12:30:19.664] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 817.88 MiB) 12:30:20 [12:30:20.375] INFO: ivc-integration:test:native bb - created oink proof (mem: 817.88 MiB) 12:30:20 [12:30:20.699] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 12:30:20 [12:30:20.702] INFO: ivc-integration:test:native bb - (mem: 817.88 MiB) 12:30:22 [12:30:22.513] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.88 MiB) 12:30:23 [12:30:23.698] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.88 MiB) 12:30:23 [12:30:23.736] INFO: ivc-integration:test:native bb - computed opening proof (mem: 817.88 MiB) 12:30:23 finished decider proving. (mem: 817.88 MiB) 12:30:23 [12:30:23.738] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 817.88 MiB) 12:30:23 [12:30:23.945] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 817.88 MiB) 12:30:24 [12:30:24.429] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 12:30:24 [12:30:24.433] INFO: ivc-integration:test:native bb - (mem: 817.88 MiB) 12:30:24 [12:30:24.474] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 817.88 MiB) 12:30:26 [12:30:26.536] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.88 MiB) 12:30:28 [12:30:28.791] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.88 MiB) 12:30:34 [12:30:34.229] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 817.88 MiB) 12:30:34 prove translator... (mem: 817.88 MiB) 12:30:36 [12:30:36.875] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.85 MiB) 12:30:39 [12:30:39.674] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.85 MiB) 12:30:42 [12:30:42.811] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.85 MiB) 12:30:42 [12:30:42.812] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 845.85 MiB) 12:30:42 [12:30:42.815] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 845.85 MiB) 12:30:42 [12:30:42.866] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 845.85 MiB) 12:30:42 libra_evals_verified: 1 (mem: 845.85 MiB) 12:30:42 pairing_check_verified: 1 (mem: 845.85 MiB) 12:30:42 Mega verified: 1 (mem: 845.85 MiB) 12:30:42 [12:30:42.988] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 845.85 MiB) 12:30:42 batch opening verified?: 1 (mem: 845.85 MiB) 12:30:42 eccvm consistency check verified?: 1 (mem: 845.85 MiB) 12:30:42 translation masking consistency checked?: 1 (mem: 845.85 MiB) 12:30:43 [12:30:43.005] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 846.85 MiB) 12:30:43 eccvm verified?: 1 (mem: 846.85 MiB) 12:30:43 accumulator construction_verified?: 1 (mem: 846.85 MiB) 12:30:43 translation verified?: 1 (mem: 846.85 MiB) 12:30:43 consistency verified?: 1 (mem: 846.85 MiB) 12:30:43 Goblin verified: 1 (mem: 846.85 MiB) 12:30:43 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-P3t5Zd" (mem: 846.85 MiB) 12:30:43 [12:30:43.011] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-P3t5Zd" (mem: 846.85 MiB) 12:30:43 BN254 commitment key size: 262144 (mem: 846.85 MiB) 12:30:43 [12:30:43.013] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.85 MiB) 12:30:43 [12:30:43.018] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.85 MiB) 12:30:43 goblin ecc op : 4/1024 (mem: 846.85 MiB) 12:30:43 busread : 3/6000 (mem: 846.85 MiB) 12:30:43 lookups : 2/15000 (mem: 846.85 MiB) 12:30:43 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.85 MiB) 12:30:43 arithmetic : 1773/56000 (mem: 846.85 MiB) 12:30:43 delta range : 1754/18000 (mem: 846.85 MiB) 12:30:43 elliptic : 2/6000 (mem: 846.85 MiB) 12:30:43 auxiliary : 26/26000 (mem: 846.85 MiB) 12:30:43 poseidon ext : 2/17000 (mem: 846.85 MiB) 12:30:43 poseidon int : 2/92000 (mem: 846.85 MiB) 12:30:43 overflow : 0/0 (mem: 846.85 MiB) 12:30:43 (mem: 846.85 MiB) 12:30:43 Total structured size: 242025 (mem: 846.85 MiB) 12:30:43 allocating polynomials object in proving key... (mem: 846.85 MiB) 12:30:43 [12:30:43.249] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.85 MiB) 12:30:43 [12:30:43.273] INFO: ivc-integration:test:native bb - time to construct proving key: 260 ms. (mem: 846.85 MiB) 12:30:43 [12:30:43.365] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.85 MiB) 12:30:44 [12:30:44.302] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 846.85 MiB) 12:30:44 [12:30:44.303] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.85 MiB) 12:30:44 [12:30:44.883] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 846.85 MiB) 12:30:44 [12:30:44.914] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.85 MiB) 12:30:44 [12:30:44.977] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.85 MiB) 12:30:44 [12:30:44.981] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 12:30:44 [12:30:44.982] INFO: ivc-integration:test:native bb - (mem: 12:30:44 [12:30:44.982] INFO: ivc-integration:test:native bb - 846.85 12:30:44 [12:30:44.985] INFO: ivc-integration:test:native bb - MiB) 12:30:44 goblin ecc op : 56/1024 (mem: 846.85 MiB) 12:30:44 busread : 3/6000 (mem: 846.85 MiB) 12:30:44 lookups : 2/15000 (mem: 846.85 MiB) 12:30:44 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.85 MiB) 12:30:44 arithmetic : 4481/56000 (mem: 846.85 MiB) 12:30:44 delta range : 2041/18000 (mem: 846.85 MiB) 12:30:44 elliptic : 2/6000 (mem: 846.85 MiB) 12:30:44 auxiliary : 50/26000 (mem: 846.85 MiB) 12:30:44 poseidon ext : 1312/17000 (mem: 846.85 MiB) 12:30:44 poseidon int : 7469/92000 (mem: 846.85 MiB) 12:30:44 overflow : 0/0 (mem: 846.85 MiB) 12:30:44 (mem: 846.85 MiB) 12:30:44 Total structured size: 242025 (mem: 846.85 MiB) 12:30:44 allocating polynomials object in proving key... (mem: 846.85 MiB) 12:30:45 [12:30:45.336] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.85 MiB) 12:30:45 [12:30:45.414] INFO: ivc-integration:test:native bb - time to construct proving key: 436 ms. (mem: 846.85 MiB) 12:30:45 [12:30:45.525] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.85 MiB) 12:30:46 [12:30:46.609] INFO: ivc-integration:test:native bb - computing folding proof (mem: 846.85 MiB) 12:30:46 vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 846.85 MiB) 12:30:47 [12:30:47.215] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.85 MiB) 12:30:47 [12:30:47.438] INFO: ivc-integration:test:native bb - perturbator round (mem: 848.85 MiB) 12:30:47 [12:30:47.550] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 879.85 MiB) 12:30:47 [12:30:47.953] INFO: ivc-integration:test:native bb - folded (mem: 879.85 MiB) 12:30:47 constructed folding proof (mem: 879.85 MiB) 12:30:47 [12:30:47.954] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 879.85 MiB) 12:30:47 Minimum required block sizes for structured trace: (mem: 879.85 MiB) 12:30:47 (mem: 879.85 MiB) 12:30:47 prove decider... (mem: 879.85 MiB) 12:30:47 [12:30:47.954] INFO: ivc-integration:test:native bb - ecc_op : 56 12:30:47 busread : 3 12:30:47 lookup : 2 12:30:47 pub_inputs : 36 12:30:47 arithmetic : 4481 12:30:47 delta_range : 2041 12:30:47 elliptic : 2 12:30:47 aux : 50 12:30:47 poseidon2_external : 1312 12:30:47 poseidon2_internal : 7469 12:30:47 overflow : 0 12:30:48 [12:30:48.174] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 879.85 MiB) 12:30:48 [12:30:48.390] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 879.85 MiB) 12:30:49 [12:30:49.602] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 879.85 MiB) 12:30:49 [12:30:49.678] INFO: ivc-integration:test:native bb - computed opening proof (mem: 879.85 MiB) 12:30:49 finished decider proving. (mem: 879.85 MiB) 12:30:49 [12:30:49.710] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 879.85 MiB) 12:30:49 [12:30:49.805] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 879.85 MiB) 12:30:49 [12:30:49.811] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 879.85 MiB) 12:30:49 [12:30:49.919] INFO: ivc-integration:test:native bb - populating trace... (mem: 879.85 MiB) 12:30:49 [12:30:49.953] INFO: ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 879.85 MiB) 12:30:50 [12:30:50.537] 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-P3t5Zd/proof -k /tmp/bb-client-ivc-integration-P3t5Zd/vk -v 12:30:50 [12:30:50.567] INFO: ivc-integration:test:native bb command: verify (mem: 157.96 MiB) 12:30:50 Scheme is: client_ivc, num threads: 128 (mem: 157.96 MiB) 12:30:50 --proof_path: /tmp/bb-client-ivc-integration-P3t5Zd/proof (mem: 157.96 MiB) 12:30:50 --vk_path: /tmp/bb-client-ivc-integration-P3t5Zd/vk (mem: 157.96 MiB) 12:30:50 --verbose: true (mem: 157.96 MiB) 12:30:50 --scheme: client_ivc (mem: 157.96 MiB) 12:30:50 [12:30:50.679] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 157.96 MiB) 12:30:50 [12:30:50.706] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 164.80 MiB) 12:30:50 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 164.80 MiB) 12:30:50 [12:30:50.728] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 164.80 MiB) 12:30:50 Initialized BN254 CRS from memory with num points = 1025 (mem: 164.80 MiB) 12:30:50 sumcheck_verified: 1 (mem: 164.80 MiB) 12:30:50 libra_evals_verified: 1 (mem: 164.80 MiB) 12:30:50 pairing_check_verified: 1 (mem: 164.80 MiB) 12:30:50 Mega verified: 1 (mem: 164.80 MiB) 12:30:50 [12:30:50.794] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 180.93 MiB) 12:30:50 batch opening verified?: 1 (mem: 180.93 MiB) 12:30:50 eccvm consistency check verified?: 1 (mem: 12:30:50 [12:30:50.795] INFO: ivc-integration:test:native 180.93 MiB) 12:30:50 translation masking consistency checked?: 1 (mem: 180.93 MiB) 12:30:50 [12:30:50.812] INFO: ivc-integration:test:native merge verified?: 1 (mem: 180.93 MiB) 12:30:50 eccvm verified?: 1 (mem: 180.93 MiB) 12:30:50 accumulator construction_verified?: 1 (mem: 180.93 MiB) 12:30:50 translation verified?: 1 (mem: 180.93 MiB) 12:30:50 consistency verified?: 1 (mem: 180.93 MiB) 12:30:50 Goblin verified: 1 (mem: 180.93 MiB) 12:30:50 [12:30:50.819] INFO: ivc-integration:test:native verified: 1 (mem: 180.93 MiB) 12:30:50 [12:30:50.928] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-uNe1hj/ivc-inputs.msgpack 12:30:50 [12:30:50.929] 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-uNe1hj --ivc_inputs_path /tmp/bb-client-ivc-integration-uNe1hj/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 12:30:50 [12:30:50.954] INFO: ivc-integration:test:native bb - bb command: prove 12:30:50 [12:30:50.957] INFO: ivc-integration:test:native bb - (mem: 158.95 MiB) 12:30:50 Scheme is: client_ivc, num threads: 128 (mem: 158.95 MiB) 12:30:50 --scheme: client_ivc (mem: 158.95 MiB) 12:30:50 --output_path: /tmp/bb-client-ivc-integration-uNe1hj (mem: 158.95 MiB) 12:30:50 --ivc_inputs_path: /tmp/bb-client-ivc-integration-uNe1hj/ivc-inputs.msgpack (mem: 158.95 MiB) 12:30:50 --verbose: true (mem: 158.95 MiB) 12:30:50 --write_vk: true (mem: 158.95 MiB) 12:30:50 [12:30:50.967] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 158.95 MiB) 12:30:51 [12:30:51.076] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 264.00 MiB) 12:30:51 [12:30:51.165] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 12:30:51 [12:30:51.168] INFO: ivc-integration:test:native bb - (mem: 313.00 MiB) 12:30:51 [12:30:51.171] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 12:30:51 [12:30:51.172] INFO: ivc-integration:test:native bb - (mem: 12:30:51 [12:30:51.173] INFO: ivc-integration:test:native bb - 313.00 MiB) 12:30:51 Constructing DeciderProvingKey (mem: 313.00 MiB) 12:30:51 [12:30:51.174] INFO: ivc-integration:test:native bb - 12:30:51 [12:30:51.178] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 313.00 MiB) 12:30:51 [12:30:51.178] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 313.00 MiB) 12:30:51 busread : 7/6000 (mem: 313.00 MiB) 12:30:51 lookups : 2/15000 (mem: 313.00 MiB) 12:30:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 313.00 MiB) 12:30:51 arithmetic : 1760/56000 (mem: 313.00 MiB) 12:30:51 delta range : 1754/18000 (mem: 313.00 MiB) 12:30:51 elliptic : 2/6000 (mem: 313.00 MiB) 12:30:51 auxiliary : 26/26000 (mem: 313.00 MiB) 12:30:51 poseidon ext : 2/17000 (mem: 313.00 MiB) 12:30:51 poseidon int : 2/92000 (mem: 313.00 MiB) 12:30:51 overflow : 0/0 (mem: 313.00 MiB) 12:30:51 (mem: 313.00 MiB) 12:30:51 Total structured size: 242025 (mem: 313.00 MiB) 12:30:51 allocating polynomials object in proving key... (mem: 313.00 MiB) 12:30:51 [12:30:51.403] INFO: ivc-integration:test:native bb - populating trace... (mem: 505.00 MiB) 12:30:51 [12:30:51.471] INFO: ivc-integration:test:native bb - time to construct proving key: 298 ms. (mem: 520.00 MiB) 12:30:51 [12:30:51.696] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329e65880 (mem: 520.00 MiB) 12:30:51 [12:30:51.697] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 520.00 MiB) 12:30:51 [12:30:51.697] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.00 MiB) 12:30:51 [12:30:51.972] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 529.00 MiB) 12:30:51 [12:30:51.979] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 529.00 MiB) 12:30:51 [12:30:51.996] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 529.00 MiB) 12:30:51 Constructing DeciderProvingKey (mem: 529.00 MiB) 12:30:51 [12:30:51.997] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 529.00 MiB) 12:30:51 goblin ecc op : 56/1024 (mem: 529.00 MiB) 12:30:51 busread : 12/6000 (mem: 529.00 MiB) 12:30:51 lookups : 2/15000 (mem: 529.00 MiB) 12:30:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 529.00 MiB) 12:30:51 arithmetic : 4625/56000 (mem: 529.00 MiB) 12:30:51 delta range : 2054/18000 (mem: 529.00 MiB) 12:30:51 elliptic : 2/6000 (mem: 529.00 MiB) 12:30:51 auxiliary : 110/26000 (mem: 529.00 MiB) 12:30:51 poseidon ext : 1302/17000 (mem: 529.00 MiB) 12:30:51 poseidon int : 7412/92000 (mem: 529.00 MiB) 12:30:51 overflow : 0/0 (mem: 529.00 MiB) 12:30:51 (mem: 529.00 MiB) 12:30:51 Total structured size: 242025 (mem: 529.00 MiB) 12:30:51 allocating polynomials object in proving key... (mem: 529.00 MiB) 12:30:52 [12:30:52.202] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.00 MiB) 12:30:52 [12:30:52.240] INFO: ivc-integration:test:native bb - time to construct proving key: 245 ms. (mem: 747.00 MiB) 12:30:52 [12:30:52.483] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329e6eb00 (mem: 747.00 MiB) 12:30:52 computing folding proof (mem: 747.00 MiB) 12:30:52 vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 747.00 MiB) 12:30:53 [12:30:53.122] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.00 MiB) 12:30:53 [12:30:53.232] INFO: ivc-integration:test:native bb - perturbator round (mem: 784.00 MiB) 12:30:53 [12:30:53.323] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.00 MiB) 12:30:53 [12:30:53.533] INFO: ivc-integration:test:native bb - folded (mem: 816.00 MiB) 12:30:53 constructed folding proof (mem: 816.00 MiB) 12:30:53 [12:30:53.535] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.00 MiB) 12:30:53 Constructing DeciderProvingKey (mem: 816.00 MiB) 12:30:53 [12:30:53.538] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.00 MiB) 12:30:53 goblin ecc op : 4/1024 (mem: 816.00 MiB) 12:30:53 busread : 7/6000 (mem: 816.00 MiB) 12:30:53 [12:30:53.539] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 816.00 MiB) 12:30:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 816.00 MiB) 12:30:53 arithmetic : 1760/56000 (mem: 816.00 MiB) 12:30:53 delta range : 1754/18000 (mem: 816.00 MiB) 12:30:53 elliptic : 2/6000 (mem: 816.00 MiB) 12:30:53 auxiliary : 26/26000 (mem: 816.00 MiB) 12:30:53 poseidon ext : 2/17000 (mem: 816.00 MiB) 12:30:53 poseidon int : 2/92000 (mem: 816.00 MiB) 12:30:53 overflow : 0/0 (mem: 816.00 MiB) 12:30:53 (mem: 816.00 MiB) 12:30:53 Total structured size: 242025 (mem: 816.00 MiB) 12:30:53 allocating polynomials object in proving key... (mem: 816.00 MiB) 12:30:53 [12:30:53.601] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.00 MiB) 12:30:53 [12:30:53.626] INFO: ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 816.00 MiB) 12:30:53 [12:30:53.705] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329e660c0 (mem: 816.00 MiB) 12:30:53 computing folding proof (mem: 816.00 MiB) 12:30:53 [12:30:53.706] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.00 MiB) 12:30:54 [12:30:54.001] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.00 MiB) 12:30:54 [12:30:54.077] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.00 MiB) 12:30:54 [12:30:54.134] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.83 MiB) 12:30:54 [12:30:54.351] INFO: ivc-integration:test:native bb - folded (mem: 816.83 MiB) 12:30:54 constructed folding proof (mem: 816.83 MiB) 12:30:54 [12:30:54.363] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 816.83 MiB) 12:30:54 [12:30:54.416] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.83 MiB) 12:30:54 [12:30:54.475] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 816.83 MiB) 12:30:54 Constructing DeciderProvingKey (mem: 816.83 MiB) 12:30:54 [12:30:54.481] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.83 MiB) 12:30:54 goblin ecc op : 792/1024 (mem: 816.83 MiB) 12:30:54 busread : 12/6000 (mem: 816.83 MiB) 12:30:54 lookups : 2/15000 (mem: 816.83 MiB) 12:30:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 816.83 MiB) 12:30:54 arithmetic : 12080/56000 (mem: 816.83 MiB) 12:30:54 delta range : 2942/18000 12:30:54 [12:30:54.482] INFO: ivc-integration:test:native bb - (mem: 816.83 MiB) 12:30:54 elliptic : 2/6000 (mem: 816.83 MiB) 12:30:54 auxiliary : 350/26000 (mem: 816.83 MiB) 12:30:54 poseidon ext : 4942/17000 (mem: 816.83 MiB) 12:30:54 poseidon int : 28160/92000 (mem: 816.83 MiB) 12:30:54 overflow : 0/0 (mem: 816.83 MiB) 12:30:54 (mem: 816.83 MiB) 12:30:54 Total structured size: 242025 (mem: 816.83 MiB) 12:30:54 allocating polynomials object in proving key... (mem: 816.83 MiB) 12:30:54 [12:30:54.555] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.83 MiB) 12:30:54 [12:30:54.589] INFO: ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 816.83 MiB) 12:30:54 [12:30:54.685] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329e5fb40 (mem: 816.83 MiB) 12:30:54 computing folding proof (mem: 816.83 MiB) 12:30:54 [12:30:54.686] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 816.83 MiB) 12:30:55 [12:30:55.083] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.83 MiB) 12:30:55 [12:30:55.171] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.83 MiB) 12:30:55 [12:30:55.232] INFO: ivc-integration:test:native bb - combiner quotient round 12:30:55 [12:30:55.236] INFO: ivc-integration:test:native bb - (mem: 847.48 MiB) 12:30:55 [12:30:55.428] INFO: ivc-integration:test:native bb - folded (mem: 847.48 MiB) 12:30:55 constructed folding proof (mem: 847.48 MiB) 12:30:55 [12:30:55.436] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 847.48 MiB) 12:30:55 [12:30:55.515] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 847.48 MiB) 12:30:55 Constructing DeciderProvingKey (mem: 847.48 MiB) 12:30:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 847.48 MiB) 12:30:55 goblin ecc op : 392/1024 (mem: 847.48 MiB) 12:30:55 busread : 16/6000 (mem: 847.48 MiB) 12:30:55 lookups : 2/15000 (mem: 847.48 MiB) 12:30:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 847.48 MiB) 12:30:55 arithmetic : 6914/56000 (mem: 847.48 MiB) 12:30:55 delta range : 2347/18000 (mem: 847.48 MiB) 12:30:55 elliptic : 2/6000 (mem: 847.48 MiB) 12:30:55 auxiliary : 77/26000 (mem: 847.48 MiB) 12:30:55 poseidon ext : 2472/17000 (mem: 847.48 MiB) 12:30:55 poseidon int : 14081/92000 (mem: 847.48 MiB) 12:30:55 overflow : 0/0 (mem: 847.48 MiB) 12:30:55 (mem: 847.48 MiB) 12:30:55 Total structured size: 242025 (mem: 847.48 MiB) 12:30:55 allocating polynomials object in proving key... (mem: 847.48 MiB) 12:30:55 [12:30:55.566] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.48 MiB) 12:30:55 [12:30:55.631] INFO: ivc-integration:test:native bb - time to construct proving key: 120 ms. (mem: 847.48 MiB) 12:30:55 [12:30:55.753] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329ee2a00 (mem: 847.48 MiB) 12:30:55 computing folding proof (mem: 847.48 MiB) 12:30:55 [12:30:55.754] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 847.48 MiB) 12:30:56 [12:30:56.379] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.48 MiB) 12:30:56 [12:30:56.551] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.48 MiB) 12:30:56 [12:30:56.615] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.58 MiB) 12:30:56 [12:30:56.823] INFO: ivc-integration:test:native bb - folded (mem: 847.58 MiB) 12:30:56 constructed folding proof (mem: 847.58 MiB) 12:30:56 [12:30:56.831] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 847.58 MiB) 12:30:56 [12:30:56.905] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 847.58 MiB) 12:30:56 Constructing DeciderProvingKey (mem: 847.58 MiB) 12:30:56 [12:30:56.914] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.58 MiB) 12:30:56 goblin ecc op : 392/1024 (mem: 847.58 MiB) 12:30:56 busread : 3/6000 (mem: 847.58 MiB) 12:30:56 lookups : 2/15000 (mem: 847.58 MiB) 12:30:56 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.58 MiB) 12:30:56 arithmetic : 6849/56000 (mem: 847.58 MiB) 12:30:56 delta range : 2333/18000 (mem: 847.58 MiB) 12:30:56 elliptic : 2/6000 (mem: 847.58 MiB) 12:30:56 auxiliary : 50/26000 (mem: 847.58 MiB) 12:30:56 poseidon ext : 2472/17000 (mem: 847.58 MiB) 12:30:56 poseidon int : 14081/92000 (mem: 847.58 MiB) 12:30:56 overflow : 0/0 (mem: 847.58 MiB) 12:30:56 (mem: 847.58 MiB) 12:30:56 Total structured size: 242025 (mem: 847.58 MiB) 12:30:56 allocating polynomials object in proving key... (mem: 847.58 MiB) 12:30:57 [12:30:57.056] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.58 MiB) 12:30:57 [12:30:57.112] INFO: ivc-integration:test:native bb - time to construct proving key: 200 ms. (mem: 847.58 MiB) 12:30:57 [12:30:57.305] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329e79300 (mem: 847.58 MiB) 12:30:57 computing folding proof (mem: 847.58 MiB) 12:30:57 [12:30:57.307] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.58 MiB) 12:30:57 [12:30:57.732] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.58 MiB) 12:30:57 [12:30:57.847] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.58 MiB) 12:30:57 [12:30:57.907] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.91 MiB) 12:30:58 [12:30:58.162] INFO: ivc-integration:test:native bb - folded (mem: 847.91 MiB) 12:30:58 constructed folding proof (mem: 12:30:58 [12:30:58.164] INFO: ivc-integration:test:native bb - 847.91 MiB) 12:30:58 Largest circuit: 48490 gates. Trace details: (mem: 847.91 MiB) 12:30:58 Minimum required block sizes for structured trace: (mem: 847.91 MiB) 12:30:58 (mem: 847.91 MiB) 12:30:58 prove decider... (mem: 847.91 MiB) 12:30:58 [12:30:58.167] INFO: ivc-integration:test:native bb - ecc_op : 792 12:30:58 busread : 16 12:30:58 lookup : 2 12:30:58 pub_inputs : 36 12:30:58 arithmetic : 12080 12:30:58 delta_range : 2942 12:30:58 elliptic : 2 12:30:58 aux : 350 12:30:58 poseidon2_external : 4942 12:30:58 poseidon2_internal : 28160 12:30:58 overflow : 0 12:30:58 [12:30:58.308] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.91 MiB) 12:30:58 [12:30:58.400] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.91 MiB) 12:30:58 [12:30:58.900] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.91 MiB) 12:30:58 [12:30:58.966] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.91 MiB) 12:30:58 finished decider proving. (mem: 847.91 MiB) 12:30:58 [12:30:58.988] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.91 MiB) 12:30:59 [12:30:59.117] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.91 MiB) 12:30:59 [12:30:59.119] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 847.91 MiB) 12:30:59 [12:30:59.217] INFO: ivc-integration:test:native bb - populating trace... 12:30:59 [12:30:59.218] INFO: ivc-integration:test:native bb - (mem: 847.91 MiB) 12:30:59 [12:30:59.218] INFO: ivc-integration:test:native bb - 12:30:59 [12:30:59.259] INFO: ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 847.91 MiB) 12:30:59 [12:30:59.808] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 12:30:59 [12:30:59.809] INFO: ivc-integration:test:native bb - (mem: 847.91 MiB) 12:31:00 [12:31:00.202] INFO: ivc-integration:test:native bb - created oink proof 12:31:00 [12:31:00.204] INFO: ivc-integration:test:native bb - (mem: 847.91 MiB) 12:31:00 [12:31:00.360] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.91 MiB) 12:31:01 [12:31:01.064] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.91 MiB) 12:31:01 [12:31:01.580] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.91 MiB) 12:31:01 [12:31:01.601] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.91 MiB) 12:31:01 finished decider proving. (mem: 847.91 MiB) 12:31:01 [12:31:01.603] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 847.91 MiB) 12:31:01 [12:31:01.676] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 847.91 MiB) 12:31:01 [12:31:01.984] 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: 847.91 MiB) 12:31:02 [12:31:01.999] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 847.91 MiB) 12:31:03 [12:31:03.062] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.91 MiB) 12:31:04 [12:31:04.567] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.91 MiB) 12:31:07 [12:31:07.497] INFO: ivc-integration:test:native bb - finished eccvm proving. 12:31:07 [12:31:07.498] INFO: ivc-integration:test:native bb - (mem: 847.91 MiB) 12:31:07 prove translator... (mem: 847.91 MiB) 12:31:10 [12:31:10.830] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 12:31:10 [12:31:10.831] INFO: ivc-integration:test:native bb - 871.32 MiB) 12:31:13 [12:31:13.369] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 871.32 MiB) 12:31:16 [12:31:16.728] INFO: ivc-integration:test:native bb - computed opening proof 12:31:16 [12:31:16.730] INFO: ivc-integration:test:native bb - (mem: 12:31:16 [12:31:16.731] INFO: ivc-integration:test:native bb - 871.32 12:31:16 [12:31:16.731] INFO: ivc-integration:test:native bb - MiB) 12:31:16 [12:31:16.732] INFO: ivc-integration:test:native bb - 12:31:16 [12:31:16.733] INFO: ivc-integration:test:native bb - finished translator proving. 12:31:16 [12:31:16.734] INFO: ivc-integration:test:native bb - (mem: 12:31:16 [12:31:16.734] INFO: ivc-integration:test:native bb - 871.32 12:31:16 [12:31:16.736] INFO: ivc-integration:test:native bb - MiB) 12:31:16 [12:31:16.746] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 871.32 MiB) 12:31:16 [12:31:16.763] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 871.32 MiB) 12:31:16 libra_evals_verified: 1 (mem: 871.32 MiB) 12:31:16 pairing_check_verified: 1 (mem: 871.32 MiB) 12:31:16 Mega verified: 1 (mem: 871.32 MiB) 12:31:16 [12:31:16.895] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 872.32 MiB) 12:31:16 batch opening verified?: 1 (mem: 872.32 MiB) 12:31:16 eccvm consistency check verified?: 1 (mem: 872.32 MiB) 12:31:16 translation masking consistency checked?: 1 (mem: 872.32 MiB) 12:31:16 [12:31:16.929] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 872.32 MiB) 12:31:16 eccvm verified?: 1 (mem: 872.32 MiB) 12:31:16 accumulator construction_verified?: 1 (mem: 872.32 MiB) 12:31:16 [12:31:16.931] INFO: ivc-integration:test:native bb - translation verified?: 1 (mem: 872.32 MiB) 12:31:16 consistency verified?: 1 (mem: 872.32 MiB) 12:31:16 Goblin verified: 1 (mem: 872.32 MiB) 12:31:16 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-uNe1hj" (mem: 872.32 MiB) 12:31:16 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-uNe1hj" (mem: 872.32 MiB) 12:31:16 BN254 commitment key size: 262144 (mem: 872.32 MiB) 12:31:16 [12:31:16.939] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.32 MiB) 12:31:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 872.32 MiB) 12:31:16 goblin ecc op : 4/1024 (mem: 872.32 MiB) 12:31:16 busread : 3/6000 (mem: 872.32 MiB) 12:31:16 lookups : 2/15000 (mem: 872.32 MiB) 12:31:16 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 872.32 MiB) 12:31:16 arithmetic : 1773/56000 (mem: 872.32 MiB) 12:31:16 delta range : 1754/18000 (mem: 872.32 MiB) 12:31:16 elliptic : 2/6000 (mem: 872.32 MiB) 12:31:16 auxiliary : 26/26000 (mem: 872.32 MiB) 12:31:16 poseidon ext : 2/17000 (mem: 872.32 MiB) 12:31:16 poseidon int : 2/92000 (mem: 872.32 MiB) 12:31:16 overflow : 0/0 (mem: 872.32 MiB) 12:31:16 (mem: 872.32 MiB) 12:31:16 Total structured size: 242025 (mem: 872.32 MiB) 12:31:16 allocating polynomials object in proving key... (mem: 872.32 MiB) 12:31:17 [12:31:17.164] INFO: ivc-integration:test:native bb - populating trace... (mem: 872.32 MiB) 12:31:17 [12:31:17.199] INFO: ivc-integration:test:native bb - time to construct proving key: 264 ms. (mem: 872.32 MiB) 12:31:17 [12:31:17.330] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.32 MiB) 12:31:18 [12:31:18.069] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 872.32 MiB) 12:31:18 [12:31:18.070] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.32 MiB) 12:31:18 [12:31:18.577] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 872.32 MiB) 12:31:18 [12:31:18.595] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.32 MiB) 12:31:18 [12:31:18.605] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 12:31:18 [12:31:18.608] INFO: ivc-integration:test:native bb - (mem: 872.32 MiB) 12:31:18 [12:31:18.612] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.32 MiB) 12:31:18 goblin ecc op : 56/1024 (mem: 872.32 MiB) 12:31:18 busread : 3/6000 (mem: 872.32 MiB) 12:31:18 lookups : 2/15000 (mem: 872.32 MiB) 12:31:18 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 872.32 MiB) 12:31:18 arithmetic : 4481/56000 (mem: 872.32 MiB) 12:31:18 delta range : 2041/18000 (mem: 872.32 MiB) 12:31:18 elliptic : 2/6000 (mem: 872.32 MiB) 12:31:18 auxiliary : 50/26000 (mem: 872.32 MiB) 12:31:18 poseidon ext : 1312/17000 (mem: 872.32 MiB) 12:31:18 poseidon int : 7469/92000 (mem: 872.32 MiB) 12:31:18 overflow : 0/0 (mem: 872.32 MiB) 12:31:18 [12:31:18.613] INFO: ivc-integration:test:native bb - (mem: 872.32 MiB) 12:31:18 Total structured size: 242025 (mem: 872.32 MiB) 12:31:18 allocating polynomials object in proving key... (mem: 872.32 MiB) 12:31:18 [12:31:18.752] INFO: ivc-integration:test:native bb - populating trace... (mem: 872.32 MiB) 12:31:18 [12:31:18.775] INFO: ivc-integration:test:native bb - time to construct proving key: 167 ms. (mem: 872.32 MiB) 12:31:18 [12:31:18.907] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.32 MiB) 12:31:19 [12:31:19.436] INFO: ivc-integration:test:native bb - computing folding proof (mem: 872.32 MiB) 12:31:19 [12:31:19.437] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 872.32 MiB) 12:31:19 [12:31:19.638] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 872.32 MiB) 12:31:19 [12:31:19.710] INFO: ivc-integration:test:native bb - perturbator round (mem: 872.32 MiB) 12:31:19 [12:31:19.750] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 904.32 MiB) 12:31:19 [12:31:19.862] INFO: ivc-integration:test:native bb - folded (mem: 904.32 MiB) 12:31:19 constructed folding proof (mem: 904.32 MiB) 12:31:19 [12:31:19.863] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 904.32 MiB) 12:31:19 Minimum required block sizes for structured trace: (mem: 904.32 MiB) 12:31:19 (mem: 904.32 MiB) 12:31:19 prove decider... (mem: 904.32 MiB) 12:31:19 [12:31:19.864] INFO: ivc-integration:test:native bb - ecc_op : 56 12:31:19 busread : 3 12:31:19 lookup : 2 12:31:19 pub_inputs : 36 12:31:19 arithmetic : 4481 12:31:19 delta_range : 2041 12:31:19 elliptic : 2 12:31:19 aux : 50 12:31:19 poseidon2_external : 1312 12:31:19 poseidon2_internal : 7469 12:31:19 overflow : 0 12:31:19 [12:31:19.944] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 904.32 MiB) 12:31:20 [12:31:20.017] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 904.32 MiB) 12:31:20 [12:31:20.427] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 904.32 MiB) 12:31:20 [12:31:20.475] INFO: ivc-integration:test:native bb - computed opening proof (mem: 904.32 MiB) 12:31:20 finished decider proving. (mem: 904.32 MiB) 12:31:20 [12:31:20.489] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 904.32 MiB) 12:31:20 [12:31:20.584] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 904.32 MiB) 12:31:20 [12:31:20.589] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 904.32 MiB) 12:31:20 [12:31:20.685] INFO: ivc-integration:test:native bb - populating trace... (mem: 904.32 MiB) 12:31:20 [12:31:20.721] INFO: ivc-integration:test:native bb - time to construct proving key: 135 ms. (mem: 904.32 MiB) 12:31:21 [12:31:21.268] 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-uNe1hj/proof -k /tmp/bb-client-ivc-integration-uNe1hj/vk -v 12:31:21 [12:31:21.289] INFO: ivc-integration:test:native bb command: verify (mem: 163.23 MiB) 12:31:21 [12:31:21.289] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 163.23 MiB) 12:31:21 --proof_path: /tmp/bb-client-ivc-integration-uNe1hj/proof (mem: 163.23 MiB) 12:31:21 --vk_path: /tmp/bb-client-ivc-integration-uNe1hj/vk (mem: 163.23 MiB) 12:31:21 --verbose: true (mem: 163.23 MiB) 12:31:21 --scheme: client_ivc (mem: 163.23 MiB) 12:31:21 [12:31:21.379] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 163.23 MiB) 12:31:21 [12:31:21.400] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 165.57 MiB) 12:31:21 [12:31:21.401] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 165.57 MiB) 12:31:21 [12:31:21.419] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 165.57 MiB) 12:31:21 [12:31:21.420] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 165.57 MiB) 12:31:21 [12:31:21.421] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 165.57 MiB) 12:31:21 libra_evals_verified: 1 (mem: 165.57 MiB) 12:31:21 pairing_check_verified: 1 (mem: 165.57 MiB) 12:31:21 Mega verified: 1 (mem: 165.57 MiB) 12:31:21 [12:31:21.469] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 182.69 MiB) 12:31:21 batch opening verified?: 1 (mem: 182.69 MiB) 12:31:21 eccvm consistency check verified?: 1 (mem: 182.69 MiB) 12:31:21 translation masking consistency checked?: 1 (mem: 182.69 MiB) 12:31:21 [12:31:21.488] INFO: ivc-integration:test:native merge verified?: 1 (mem: 182.69 MiB) 12:31:21 eccvm verified?: 1 (mem: 182.69 MiB) 12:31:21 accumulator construction_verified?: 1 (mem: 182.69 MiB) 12:31:21 translation verified?: 1 (mem: 182.69 MiB) 12:31:21 consistency verified?: 1 (mem: 182.69 MiB) 12:31:21 [12:31:21.488] INFO: ivc-integration:test:native 12:31:21 Goblin verified: 1 (mem: 182.69 MiB) 12:31:21 [12:31:21.493] INFO: ivc-integration:test:native verified: 1 (mem: 182.69 MiB) 12:31:21 PASS src/native_client_ivc_integration.test.ts (72.495 s) 12:31:21 Client IVC Integration 12:31:21 Should generate a verifiable client IVC proof from a simple mock tx (38351 ms) 12:31:21 Should generate a verifiable client IVC proof from a complex mock tx (30665 ms) 12:31:21 12:31:21 Test Suites: 1 passed, 1 total 12:31:21 Tests: 2 passed, 2 total 12:31:21 Snapshots: 0 total 12:31:21 Time: 72.571 s 12:31:21 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 12:31:21 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?