ACI ·

Parent Log: http://ci.aztec-labs.com/7b3e6e8a2abdd89b Command: 9e91553d04f5b22d: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/10badd24359b04680068afd9ca24407383374db1 Env: REF_NAME=gh-readonly-queue/next/pr-15019-7d223783d91db15002a09abc1b52d1455eb3e3da CURRENT_VERSION=0.87.6 CI_FULL=0 Date: Mon Jun 16 11:04:03 UTC 2025 System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15019_arm64_a1-fast Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 11:04:06 [11:04:06.311] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Ln995G/ivc-inputs.msgpack 11:04:06 [11:04:06.315] 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-Ln995G --ivc_inputs_path /tmp/bb-client-ivc-integration-Ln995G/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:04:06 [11:04:06.328] INFO: ivc-integration:test:native bb - bb command: prove (mem: 144.23 MiB) 11:04:06 [11:04:06.329] INFO: ivc-integration:test:native bb - 11:04:06 Scheme is: client_ivc, num threads: 64 (mem: 144.23 MiB) 11:04:06 --scheme: client_ivc (mem: 144.23 MiB) 11:04:06 --output_path: /tmp/bb-client-ivc-integration-Ln995G (mem: 144.23 MiB) 11:04:06 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Ln995G/ivc-inputs.msgpack (mem: 144.23 MiB) 11:04:06 --verbose: true (mem: 144.23 MiB) 11:04:06 --write_vk: true (mem: 144.23 MiB) 11:04:06 [11:04:06.330] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 144.23 MiB) 11:04:06 [11:04:06.362] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 196.00 MiB) 11:04:06 [11:04:06.419] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 244.45 MiB) 11:04:06 [11:04:06.422] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 244.45 MiB) 11:04:06 Constructing DeciderProvingKey (mem: 244.45 MiB) 11:04:06 [11:04:06.425] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 244.45 MiB) 11:04:06 [11:04:06.427] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 244.45 MiB) 11:04:06 busread : 7/6000 (mem: 244.45 MiB) 11:04:06 lookups : 2/15000 (mem: 244.45 MiB) 11:04:06 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 244.45 MiB) 11:04:06 arithmetic : 1760/56000 (mem: 244.45 MiB) 11:04:06 delta range : 1754/18000 (mem: 244.45 MiB) 11:04:06 elliptic : 2/6000 (mem: 244.45 MiB) 11:04:06 auxiliary : 26/26000 (mem: 244.45 MiB) 11:04:06 poseidon ext : 2/17000 (mem: 244.45 MiB) 11:04:06 poseidon int : 2/92000 (mem: 244.45 MiB) 11:04:06 overflow : 0/0 (mem: 244.45 MiB) 11:04:06 (mem: 244.45 MiB) 11:04:06 Total structured size: 242025 (mem: 244.45 MiB) 11:04:06 allocating polynomials object in proving key... (mem: 244.45 MiB) 11:04:06 [11:04:06.495] INFO: ivc-integration:test:native bb - populating trace... (mem: 452.04 MiB) 11:04:06 [11:04:06.501] INFO: ivc-integration:test:native bb - time to construct proving key: 78 ms. (mem: 466.54 MiB) 11:04:06 [11:04:06.511] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc7a51eac3140 (mem: 466.54 MiB) 11:04:06 [11:04:06.511] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 466.54 MiB) 11:04:06 [11:04:06.512] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 466.54 MiB) 11:04:06 [11:04:06.616] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 476.04 MiB) 11:04:06 [11:04:06.619] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 477.04 MiB) 11:04:06 [11:04:06.627] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 477.04 MiB) 11:04:06 Constructing DeciderProvingKey (mem: 477.04 MiB) 11:04:06 [11:04:06.629] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 477.04 MiB) 11:04:06 goblin ecc op : 56/1024 (mem: 477.04 MiB) 11:04:06 busread : 12/6000 (mem: 11:04:06 [11:04:06.630] INFO: ivc-integration:test:native bb - 477.04 MiB) 11:04:06 lookups : 2/15000 (mem: 477.04 MiB) 11:04:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 477.04 MiB) 11:04:06 arithmetic : 4625/56000 (mem: 477.04 MiB) 11:04:06 delta range : 2054/18000 (mem: 477.04 MiB) 11:04:06 elliptic : 2/6000 (mem: 477.04 MiB) 11:04:06 auxiliary : 110/26000 (mem: 477.04 MiB) 11:04:06 poseidon ext : 1302/17000 (mem: 477.04 MiB) 11:04:06 poseidon int : 7412/92000 (mem: 477.04 MiB) 11:04:06 overflow : 0/0 (mem: 477.04 MiB) 11:04:06 (mem: 477.04 MiB) 11:04:06 Total structured size: 242025 (mem: 477.04 MiB) 11:04:06 allocating polynomials object in proving key... (mem: 477.04 MiB) 11:04:06 [11:04:06.696] INFO: ivc-integration:test:native bb - populating trace... (mem: 687.54 MiB) 11:04:06 [11:04:06.704] INFO: ivc-integration:test:native bb - time to construct proving key: 76 ms. (mem: 703.54 MiB) 11:04:06 [11:04:06.722] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc7a51eabbdc0 (mem: 703.54 MiB) 11:04:06 computing folding proof (mem: 703.54 MiB) 11:04:06 [11:04:06.723] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 703.54 MiB) 11:04:07 [11:04:07.068] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 703.54 MiB) 11:04:07 [11:04:07.126] INFO: ivc-integration:test:native bb - perturbator round (mem: 741.04 MiB) 11:04:07 [11:04:07.164] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 773.04 MiB) 11:04:07 [11:04:07.303] INFO: ivc-integration:test:native bb - folded (mem: 773.04 MiB) 11:04:07 constructed folding proof (mem: 773.04 MiB) 11:04:07 [11:04:07.307] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 773.04 MiB) 11:04:07 [11:04:07.347] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 773.04 MiB) 11:04:07 Constructing DeciderProvingKey (mem: 773.04 MiB) 11:04:07 [11:04:07.349] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 773.04 MiB) 11:04:07 goblin ecc op : 392/1024 (mem: 773.04 MiB) 11:04:07 busread : 3/6000 (mem: 773.04 MiB) 11:04:07 lookups : 2/15000 (mem: 773.04 MiB) 11:04:07 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 773.04 MiB) 11:04:07 [11:04:07.350] INFO: ivc-integration:test:native bb - arithmetic : 6849/56000 (mem: 773.04 MiB) 11:04:07 delta range : 2333/18000 (mem: 773.04 MiB) 11:04:07 elliptic : 2/6000 (mem: 773.04 MiB) 11:04:07 auxiliary : 50/26000 (mem: 773.04 MiB) 11:04:07 poseidon ext : 2472/17000 (mem: 773.04 MiB) 11:04:07 poseidon int : 14081/92000 (mem: 773.04 MiB) 11:04:07 overflow : 0/0 (mem: 773.04 MiB) 11:04:07 (mem: 773.04 MiB) 11:04:07 Total structured size: 242025 (mem: 773.04 MiB) 11:04:07 allocating polynomials object in proving key... (mem: 773.04 MiB) 11:04:07 [11:04:07.391] INFO: ivc-integration:test:native bb - populating trace... (mem: 773.04 MiB) 11:04:07 [11:04:07.409] INFO: ivc-integration:test:native bb - time to construct proving key: 61 ms. (mem: 773.04 MiB) 11:04:07 [11:04:07.513] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc7a51eac5840 (mem: 773.04 MiB) 11:04:07 computing folding proof (mem: 773.04 MiB) 11:04:07 [11:04:07.514] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 773.04 MiB) 11:04:07 [11:04:07.868] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 773.04 MiB) 11:04:07 [11:04:07.931] INFO: ivc-integration:test:native bb - perturbator round (mem: 773.04 MiB) 11:04:07 [11:04:07.954] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 773.04 MiB) 11:04:08 [11:04:08.052] INFO: ivc-integration:test:native bb - folded (mem: 773.04 MiB) 11:04:08 constructed folding proof (mem: 773.04 MiB) 11:04:08 [11:04:08.053] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 773.04 MiB) 11:04:08 Minimum required block sizes for structured trace: (mem: 773.04 MiB) 11:04:08 (mem: 773.04 MiB) 11:04:08 prove decider... (mem: 773.04 MiB) 11:04:08 [11:04:08.053] INFO: ivc-integration:test:native bb - ecc_op : 392 11:04:08 busread : 12 11:04:08 lookup : 2 11:04:08 pub_inputs : 36 11:04:08 arithmetic : 6849 11:04:08 delta_range : 2333 11:04:08 elliptic : 2 11:04:08 aux : 110 11:04:08 poseidon2_external : 2472 11:04:08 poseidon2_internal : 14081 11:04:08 overflow : 0 11:04:08 [11:04:08.088] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 773.04 MiB) 11:04:08 [11:04:08.156] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 773.04 MiB) 11:04:08 [11:04:08.544] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 773.04 MiB) 11:04:08 [11:04:08.589] INFO: ivc-integration:test:native bb - computed opening proof (mem: 773.04 MiB) 11:04:08 finished decider proving. (mem: 773.04 MiB) 11:04:08 [11:04:08.599] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 773.04 MiB) 11:04:08 [11:04:08.659] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 773.04 MiB) 11:04:08 [11:04:08.662] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 773.04 MiB) 11:04:08 [11:04:08.704] INFO: ivc-integration:test:native bb - populating trace... (mem: 773.04 MiB) 11:04:08 [11:04:08.722] INFO: ivc-integration:test:native bb - time to construct proving key: 63 ms. (mem: 773.04 MiB) 11:04:09 [11:04:09.142] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 773.04 MiB) 11:04:09 [11:04:09.440] INFO: ivc-integration:test:native bb - created oink proof (mem: 773.04 MiB) 11:04:09 [11:04:09.491] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 773.04 MiB) 11:04:09 [11:04:09.857] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 773.04 MiB) 11:04:10 [11:04:10.259] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 773.04 MiB) 11:04:10 [11:04:10.285] INFO: ivc-integration:test:native bb - computed opening proof (mem: 773.04 MiB) 11:04:10 finished decider proving. (mem: 773.04 MiB) 11:04:10 [11:04:10.286] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 773.04 MiB) 11:04:10 [11:04:10.376] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 773.04 MiB) 11:04:10 [11:04:10.528] 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: 773.04 MiB) 11:04:10 [11:04:10.538] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 773.04 MiB) 11:04:11 [11:04:11.332] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 773.04 MiB) 11:04:11 [11:04:11.993] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 773.04 MiB) 11:04:13 [11:04:13.170] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 773.04 MiB) 11:04:13 prove translator... (mem: 773.04 MiB) 11:04:14 [11:04:14.574] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 797.93 MiB) 11:04:15 [11:04:15.117] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 797.93 MiB) 11:04:15 [11:04:15.652] INFO: ivc-integration:test:native bb - computed opening proof (mem: 797.93 MiB) 11:04:15 [11:04:15.653] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 797.93 MiB) 11:04:15 [11:04:15.653] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 797.93 MiB) 11:04:15 [11:04:15.668] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 797.93 MiB) 11:04:15 libra_evals_verified: 1 (mem: 797.93 MiB) 11:04:15 pairing_check_verified: 1 (mem: 797.93 MiB) 11:04:15 Mega verified: 1 (mem: 797.93 MiB) 11:04:15 [11:04:15.728] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 798.43 MiB) 11:04:15 batch opening verified?: 1 (mem: 798.43 MiB) 11:04:15 eccvm consistency check verified?: 1 (mem: 798.43 MiB) 11:04:15 translation masking consistency checked?: 1 (mem: 798.43 MiB) 11:04:15 [11:04:15.747] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 798.43 MiB) 11:04:15 eccvm verified?: 1 (mem: 798.43 MiB) 11:04:15 accumulator construction_verified?: 1 (mem: 798.43 MiB) 11:04:15 translation verified?: 1 (mem: 798.43 MiB) 11:04:15 consistency verified?: 1 (mem: 798.43 MiB) 11:04:15 [11:04:15.747] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 798.43 MiB) 11:04:15 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Ln995G" (mem: 798.43 MiB) 11:04:15 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Ln995G" (mem: 798.43 MiB) 11:04:15 BN254 commitment key size: 262144 (mem: 798.43 MiB) 11:04:15 [11:04:15.748] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 798.43 MiB) 11:04:15 [11:04:15.750] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 798.43 MiB) 11:04:15 goblin ecc op : 4/1024 (mem: 798.43 MiB) 11:04:15 busread : 3/6000 (mem: 11:04:15 [11:04:15.750] INFO: ivc-integration:test:native bb - 798.43 MiB) 11:04:15 lookups : 2/15000 (mem: 798.43 MiB) 11:04:15 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 798.43 MiB) 11:04:15 arithmetic : 1773/56000 (mem: 798.43 MiB) 11:04:15 delta range : 1754/18000 (mem: 798.43 MiB) 11:04:15 elliptic : 2/6000 (mem: 798.43 MiB) 11:04:15 auxiliary : 26/26000 (mem: 798.43 MiB) 11:04:15 poseidon ext : 2/17000 (mem: 798.43 MiB) 11:04:15 poseidon int : 2/92000 (mem: 798.43 MiB) 11:04:15 overflow : 0/0 (mem: 798.43 MiB) 11:04:15 (mem: 798.43 MiB) 11:04:15 Total structured size: 242025 (mem: 798.43 MiB) 11:04:15 allocating polynomials object in proving key... (mem: 798.43 MiB) 11:04:15 [11:04:15.772] INFO: ivc-integration:test:native bb - populating trace... (mem: 798.43 MiB) 11:04:15 [11:04:15.775] INFO: ivc-integration:test:native bb - time to construct proving key: 26 ms. (mem: 798.43 MiB) 11:04:15 [11:04:15.781] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 798.43 MiB) 11:04:16 [11:04:16.248] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 798.43 MiB) 11:04:16 [11:04:16.249] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 798.43 MiB) 11:04:16 [11:04:16.319] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 798.43 MiB) 11:04:16 [11:04:16.322] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 798.43 MiB) 11:04:16 [11:04:16.330] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 798.43 MiB) 11:04:16 [11:04:16.332] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 798.43 MiB) 11:04:16 goblin ecc op : 56/1024 (mem: 798.43 MiB) 11:04:16 busread : 3/6000 (mem: 798.43 MiB) 11:04:16 lookups : 2/15000 (mem: 798.43 MiB) 11:04:16 [11:04:16.333] INFO: ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 798.43 MiB) 11:04:16 arithmetic : 4481/56000 (mem: 798.43 MiB) 11:04:16 delta range : 2041/18000 (mem: 798.43 MiB) 11:04:16 elliptic : 2/6000 (mem: 798.43 MiB) 11:04:16 auxiliary : 50/26000 (mem: 798.43 MiB) 11:04:16 poseidon ext : 1312/17000 (mem: 798.43 MiB) 11:04:16 poseidon int : 7469/92000 (mem: 798.43 MiB) 11:04:16 overflow : 0/0 (mem: 798.43 MiB) 11:04:16 (mem: 798.43 MiB) 11:04:16 Total structured size: 242025 (mem: 798.43 MiB) 11:04:16 allocating polynomials object in proving key... (mem: 798.43 MiB) 11:04:16 [11:04:16.345] INFO: ivc-integration:test:native bb - populating trace... (mem: 798.43 MiB) 11:04:16 [11:04:16.351] INFO: ivc-integration:test:native bb - time to construct proving key: 20 ms. (mem: 798.43 MiB) 11:04:16 [11:04:16.365] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 798.43 MiB) 11:04:16 [11:04:16.700] INFO: ivc-integration:test:native bb - computing folding proof (mem: 798.43 MiB) 11:04:16 [11:04:16.700] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 798.43 MiB) 11:04:16 [11:04:16.903] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 798.43 MiB) 11:04:16 [11:04:16.944] INFO: ivc-integration:test:native bb - perturbator round (mem: 800.43 MiB) 11:04:16 [11:04:16.979] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 832.43 MiB) 11:04:17 [11:04:17.077] INFO: ivc-integration:test:native bb - folded (mem: 832.43 MiB) 11:04:17 constructed folding proof (mem: 832.43 MiB) 11:04:17 [11:04:17.077] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 832.43 MiB) 11:04:17 Minimum required block sizes for structured trace: (mem: 832.43 MiB) 11:04:17 (mem: 832.43 MiB) 11:04:17 prove decider... (mem: 832.43 MiB) 11:04:17 [11:04:17.077] INFO: ivc-integration:test:native bb - ecc_op : 56 11:04:17 busread : 3 11:04:17 lookup : 2 11:04:17 pub_inputs : 36 11:04:17 arithmetic : 4481 11:04:17 delta_range : 2041 11:04:17 elliptic : 2 11:04:17 aux : 50 11:04:17 poseidon2_external : 1312 11:04:17 poseidon2_internal : 7469 11:04:17 overflow : 0 11:04:17 [11:04:17.116] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 832.43 MiB) 11:04:17 [11:04:17.190] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 832.43 MiB) 11:04:17 [11:04:17.549] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 832.43 MiB) 11:04:17 [11:04:17.607] INFO: ivc-integration:test:native bb - computed opening proof (mem: 832.43 MiB) 11:04:17 finished decider proving. (mem: 832.43 MiB) 11:04:17 [11:04:17.614] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 832.43 MiB) 11:04:17 [11:04:17.674] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 832.43 MiB) 11:04:17 [11:04:17.676] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 832.43 MiB) 11:04:17 [11:04:17.682] INFO: ivc-integration:test:native bb - populating trace... (mem: 832.43 MiB) 11:04:17 [11:04:17.697] INFO: ivc-integration:test:native bb - time to construct proving key: 23 ms. (mem: 832.43 MiB) 11:04:17 [11:04:17.908] 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-Ln995G/proof -k /tmp/bb-client-ivc-integration-Ln995G/vk -v 11:04:17 [11:04:17.920] INFO: ivc-integration:test:native bb command: verify (mem: 144.23 MiB) 11:04:17 [11:04:17.920] INFO: ivc-integration:test:native 11:04:17 Scheme is: client_ivc, num threads: 64 (mem: 144.23 MiB) 11:04:17 --proof_path: /tmp/bb-client-ivc-integration-Ln995G/proof (mem: 144.23 MiB) 11:04:17 --vk_path: /tmp/bb-client-ivc-integration-Ln995G/vk (mem: 144.23 MiB) 11:04:17 --verbose: true (mem: 144.23 MiB) 11:04:17 --scheme: client_ivc (mem: 144.23 MiB) 11:04:17 [11:04:17.947] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 144.23 MiB) 11:04:17 [11:04:17.961] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 144.23 MiB) 11:04:17 [11:04:17.962] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 144.23 MiB) 11:04:17 [11:04:17.978] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 144.23 MiB) 11:04:17 [11:04:17.979] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 513 (mem: 144.23 MiB) 11:04:17 [11:04:17.980] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 144.23 MiB) 11:04:17 libra_evals_verified: 1 (mem: 144.23 MiB) 11:04:17 [11:04:17.980] INFO: ivc-integration:test:native pairing_check_verified: 1 (mem: 144.23 MiB) 11:04:17 Mega verified: 1 (mem: 144.23 MiB) 11:04:18 [11:04:18.029] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 144.23 MiB) 11:04:18 batch opening verified?: 1 (mem: 144.23 MiB) 11:04:18 eccvm consistency check verified?: 1 (mem: 144.23 MiB) 11:04:18 [11:04:18.029] INFO: ivc-integration:test:native translation masking consistency checked?: 1 (mem: 144.23 MiB) 11:04:18 [11:04:18.047] INFO: ivc-integration:test:native merge verified?: 1 (mem: 144.23 MiB) 11:04:18 eccvm verified?: 1 (mem: 144.23 MiB) 11:04:18 accumulator construction_verified?: 1 (mem: 144.23 MiB) 11:04:18 translation verified?: 1 (mem: 144.23 MiB) 11:04:18 consistency verified?: 1 (mem: 144.23 MiB) 11:04:18 [11:04:18.048] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 144.23 MiB) 11:04:18 [11:04:18.049] INFO: ivc-integration:test:native verified: 1 (mem: 144.23 MiB) 11:04:18 [11:04:18.095] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-gEwS43/ivc-inputs.msgpack 11:04:18 [11:04:18.096] 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-gEwS43 --ivc_inputs_path /tmp/bb-client-ivc-integration-gEwS43/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:04:18 [11:04:18.107] INFO: ivc-integration:test:native bb - bb command: prove (mem: 145.70 MiB) 11:04:18 [11:04:18.108] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 64 (mem: 145.70 MiB) 11:04:18 --scheme: client_ivc (mem: 145.70 MiB) 11:04:18 --output_path: /tmp/bb-client-ivc-integration-gEwS43 (mem: 145.70 MiB) 11:04:18 --ivc_inputs_path: /tmp/bb-client-ivc-integration-gEwS43/ivc-inputs.msgpack (mem: 145.70 MiB) 11:04:18 --verbose: true (mem: 145.70 MiB) 11:04:18 --write_vk: true (mem: 145.70 MiB) 11:04:18 [11:04:18.111] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 145.70 MiB) 11:04:18 [11:04:18.143] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 195.89 MiB) 11:04:18 [11:04:18.199] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 244.39 MiB) 11:04:18 [11:04:18.202] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 244.39 MiB) 11:04:18 Constructing DeciderProvingKey (mem: 244.39 MiB) 11:04:18 [11:04:18.204] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 244.39 MiB) 11:04:18 [11:04:18.205] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 244.39 MiB) 11:04:18 busread : 7/6000 (mem: 244.39 MiB) 11:04:18 lookups : 2/15000 (mem: 244.39 MiB) 11:04:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 244.39 MiB) 11:04:18 arithmetic : 1760/56000 (mem: 244.39 MiB) 11:04:18 delta range : 1754/18000 (mem: 244.39 MiB) 11:04:18 elliptic : 2/6000 (mem: 244.39 MiB) 11:04:18 auxiliary : 26/26000 (mem: 244.39 MiB) 11:04:18 poseidon ext : 2/17000 (mem: 244.39 MiB) 11:04:18 poseidon int : 2/92000 (mem: 244.39 MiB) 11:04:18 overflow : 0/0 (mem: 244.39 MiB) 11:04:18 (mem: 244.39 MiB) 11:04:18 Total structured size: 242025 (mem: 244.39 MiB) 11:04:18 allocating polynomials object in proving key... (mem: 244.39 MiB) 11:04:18 [11:04:18.245] INFO: ivc-integration:test:native bb - populating trace... (mem: 456.45 MiB) 11:04:18 [11:04:18.250] INFO: ivc-integration:test:native bb - time to construct proving key: 48 ms. (mem: 472.95 MiB) 11:04:18 [11:04:18.255] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb98a0c3baf80 (mem: 473.45 MiB) 11:04:18 [11:04:18.255] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 473.45 MiB) 11:04:18 [11:04:18.256] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 473.45 MiB) 11:04:18 [11:04:18.315] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 482.45 MiB) 11:04:18 [11:04:18.319] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 482.95 MiB) 11:04:18 [11:04:18.326] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 483.45 MiB) 11:04:18 Constructing DeciderProvingKey (mem: 483.45 MiB) 11:04:18 [11:04:18.328] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 483.45 MiB) 11:04:18 goblin ecc op : 56/1024 (mem: 483.45 MiB) 11:04:18 [11:04:18.329] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 483.45 MiB) 11:04:18 lookups : 2/15000 (mem: 483.45 MiB) 11:04:18 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 483.45 MiB) 11:04:18 arithmetic : 4625/56000 (mem: 483.45 MiB) 11:04:18 delta range : 2054/18000 (mem: 483.45 MiB) 11:04:18 elliptic : 2/6000 (mem: 483.45 MiB) 11:04:18 auxiliary : 110/26000 (mem: 483.45 MiB) 11:04:18 poseidon ext : 1302/17000 (mem: 483.45 MiB) 11:04:18 poseidon int : 7412/92000 (mem: 483.45 MiB) 11:04:18 overflow : 0/0 (mem: 483.45 MiB) 11:04:18 (mem: 483.45 MiB) 11:04:18 Total structured size: 242025 (mem: 483.45 MiB) 11:04:18 allocating polynomials object in proving key... (mem: 483.45 MiB) 11:04:18 [11:04:18.364] INFO: ivc-integration:test:native bb - populating trace... (mem: 694.45 MiB) 11:04:18 [11:04:18.373] INFO: ivc-integration:test:native bb - time to construct proving key: 46 ms. (mem: 712.45 MiB) 11:04:18 [11:04:18.380] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb98a0c3abec0 (mem: 712.45 MiB) 11:04:18 computing folding proof (mem: 712.45 MiB) 11:04:18 [11:04:18.380] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 712.45 MiB) 11:04:18 [11:04:18.506] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 712.45 MiB) 11:04:18 [11:04:18.550] INFO: ivc-integration:test:native bb - perturbator round (mem: 749.95 MiB) 11:04:18 [11:04:18.579] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 781.95 MiB) 11:04:18 [11:04:18.655] INFO: ivc-integration:test:native bb - folded (mem: 781.95 MiB) 11:04:18 constructed folding proof (mem: 781.95 MiB) 11:04:18 [11:04:18.656] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 781.95 MiB) 11:04:18 Constructing DeciderProvingKey (mem: 781.95 MiB) 11:04:18 [11:04:18.658] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 781.95 MiB) 11:04:18 goblin ecc op : 4/1024 (mem: 781.95 MiB) 11:04:18 busread : 7/6000 (mem: 781.95 MiB) 11:04:18 [11:04:18.658] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 781.95 MiB) 11:04:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 781.95 MiB) 11:04:18 arithmetic : 1760/56000 (mem: 781.95 MiB) 11:04:18 delta range : 1754/18000 (mem: 781.95 MiB) 11:04:18 elliptic : 2/6000 (mem: 781.95 MiB) 11:04:18 auxiliary : 26/26000 (mem: 781.95 MiB) 11:04:18 poseidon ext : 2/17000 (mem: 781.95 MiB) 11:04:18 poseidon int : 2/92000 (mem: 781.95 MiB) 11:04:18 overflow : 0/0 (mem: 781.95 MiB) 11:04:18 (mem: 781.95 MiB) 11:04:18 Total structured size: 242025 (mem: 781.95 MiB) 11:04:18 allocating polynomials object in proving key... (mem: 781.95 MiB) 11:04:18 [11:04:18.664] INFO: ivc-integration:test:native bb - populating trace... (mem: 781.95 MiB) 11:04:18 [11:04:18.668] INFO: ivc-integration:test:native bb - time to construct proving key: 11 ms. (mem: 781.95 MiB) 11:04:18 [11:04:18.675] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb98a0c3bb7c0 (mem: 781.95 MiB) 11:04:18 computing folding proof (mem: 781.95 MiB) 11:04:18 [11:04:18.676] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 781.95 MiB) 11:04:18 [11:04:18.738] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 781.95 MiB) 11:04:18 [11:04:18.783] INFO: ivc-integration:test:native bb - perturbator round (mem: 781.95 MiB) 11:04:18 [11:04:18.804] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 781.95 MiB) 11:04:18 [11:04:18.868] INFO: ivc-integration:test:native bb - folded (mem: 781.95 MiB) 11:04:18 constructed folding proof (mem: 781.95 MiB) 11:04:18 [11:04:18.873] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 781.95 MiB) 11:04:18 [11:04:18.911] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 781.95 MiB) 11:04:18 [11:04:18.954] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 781.95 MiB) 11:04:18 Constructing DeciderProvingKey (mem: 781.95 MiB) 11:04:18 [11:04:18.957] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 781.95 MiB) 11:04:18 goblin ecc op : 792/1024 (mem: 781.95 MiB) 11:04:18 [11:04:18.957] INFO: ivc-integration:test:native bb - 11:04:18 busread : 12/6000 (mem: 781.95 MiB) 11:04:18 lookups : 2/15000 (mem: 781.95 MiB) 11:04:18 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 781.95 MiB) 11:04:18 arithmetic : 12080/56000 (mem: 781.95 MiB) 11:04:18 delta range : 2942/18000 (mem: 781.95 MiB) 11:04:18 elliptic : 2/6000 (mem: 781.95 MiB) 11:04:18 auxiliary : 350/26000 (mem: 781.95 MiB) 11:04:18 poseidon ext : 4942/17000 (mem: 781.95 MiB) 11:04:18 poseidon int : 28160/92000 (mem: 781.95 MiB) 11:04:18 overflow : 0/0 (mem: 781.95 MiB) 11:04:18 (mem: 781.95 MiB) 11:04:18 Total structured size: 242025 (mem: 781.95 MiB) 11:04:18 allocating polynomials object in proving key... (mem: 781.95 MiB) 11:04:18 [11:04:18.964] INFO: ivc-integration:test:native bb - populating trace... (mem: 781.95 MiB) 11:04:18 [11:04:18.980] INFO: ivc-integration:test:native bb - time to construct proving key: 25 ms. (mem: 781.95 MiB) 11:04:19 [11:04:19.002] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb98a0c4394c0 (mem: 781.95 MiB) 11:04:19 computing folding proof (mem: 781.95 MiB) 11:04:19 [11:04:19.002] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 781.95 MiB) 11:04:19 [11:04:19.120] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 781.95 MiB) 11:04:19 [11:04:19.166] INFO: ivc-integration:test:native bb - perturbator round (mem: 781.95 MiB) 11:04:19 [11:04:19.200] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 809.47 MiB) 11:04:19 [11:04:19.272] INFO: ivc-integration:test:native bb - folded (mem: 809.47 MiB) 11:04:19 constructed folding proof (mem: 809.47 MiB) 11:04:19 [11:04:19.276] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 809.47 MiB) 11:04:19 [11:04:19.315] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 809.47 MiB) 11:04:19 Constructing DeciderProvingKey (mem: 809.47 MiB) 11:04:19 [11:04:19.317] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 809.47 MiB) 11:04:19 goblin ecc op : 392/1024 (mem: 809.47 MiB) 11:04:19 busread : 16/6000 (mem: 809.47 MiB) 11:04:19 lookups : 2/15000 (mem: 809.47 11:04:19 [11:04:19.318] INFO: ivc-integration:test:native bb - MiB) 11:04:19 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 809.47 MiB) 11:04:19 arithmetic : 6914/56000 (mem: 809.47 MiB) 11:04:19 delta range : 2347/18000 (mem: 809.47 MiB) 11:04:19 elliptic : 2/6000 (mem: 809.47 MiB) 11:04:19 auxiliary : 77/26000 (mem: 809.47 MiB) 11:04:19 poseidon ext : 2472/17000 (mem: 809.47 MiB) 11:04:19 poseidon int : 14081/92000 (mem: 809.47 MiB) 11:04:19 overflow : 0/0 (mem: 809.47 MiB) 11:04:19 (mem: 809.47 MiB) 11:04:19 Total structured size: 242025 (mem: 809.47 MiB) 11:04:19 allocating polynomials object in proving key... (mem: 809.47 MiB) 11:04:19 [11:04:19.329] INFO: ivc-integration:test:native bb - populating trace... (mem: 809.47 MiB) 11:04:19 [11:04:19.339] INFO: ivc-integration:test:native bb - time to construct proving key: 23 ms. (mem: 809.47 MiB) 11:04:19 [11:04:19.374] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb98a0c3b45c0 (mem: 809.47 MiB) 11:04:19 computing folding proof (mem: 809.47 MiB) 11:04:19 [11:04:19.374] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 809.47 MiB) 11:04:19 [11:04:19.506] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 809.47 MiB) 11:04:19 [11:04:19.549] INFO: ivc-integration:test:native bb - perturbator round (mem: 809.47 MiB) 11:04:19 [11:04:19.583] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 809.61 MiB) 11:04:19 [11:04:19.666] INFO: ivc-integration:test:native bb - folded (mem: 809.61 MiB) 11:04:19 constructed folding proof (mem: 809.61 MiB) 11:04:19 [11:04:19.670] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 809.61 MiB) 11:04:19 [11:04:19.709] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 809.61 MiB) 11:04:19 Constructing DeciderProvingKey (mem: 809.61 MiB) 11:04:19 [11:04:19.712] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 809.61 MiB) 11:04:19 goblin ecc op : 392/1024 (mem: 809.61 MiB) 11:04:19 busread : 3/6000 (mem: 809.61 MiB) 11:04:19 [11:04:19.712] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 809.61 MiB) 11:04:19 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 809.61 MiB) 11:04:19 arithmetic : 6849/56000 (mem: 809.61 MiB) 11:04:19 delta range : 2333/18000 (mem: 809.61 MiB) 11:04:19 elliptic : 2/6000 (mem: 809.61 MiB) 11:04:19 auxiliary : 50/26000 (mem: 809.61 MiB) 11:04:19 poseidon ext : 2472/17000 (mem: 809.61 MiB) 11:04:19 poseidon int : 14081/92000 (mem: 809.61 MiB) 11:04:19 overflow : 0/0 (mem: 809.61 MiB) 11:04:19 (mem: 809.61 MiB) 11:04:19 Total structured size: 242025 (mem: 809.61 MiB) 11:04:19 allocating polynomials object in proving key... (mem: 809.61 MiB) 11:04:19 [11:04:19.745] INFO: ivc-integration:test:native bb - populating trace... (mem: 809.61 MiB) 11:04:19 [11:04:19.763] INFO: ivc-integration:test:native bb - time to construct proving key: 54 ms. (mem: 809.61 MiB) 11:04:19 [11:04:19.845] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb98a0c3c9bc0 (mem: 809.61 MiB) 11:04:19 computing folding proof (mem: 809.61 MiB) 11:04:19 [11:04:19.846] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 809.61 MiB) 11:04:20 [11:04:20.026] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 809.61 MiB) 11:04:20 [11:04:20.067] INFO: ivc-integration:test:native bb - perturbator round (mem: 809.61 MiB) 11:04:20 [11:04:20.101] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 809.75 MiB) 11:04:20 [11:04:20.208] INFO: ivc-integration:test:native bb - folded (mem: 809.75 MiB) 11:04:20 constructed folding proof (mem: 809.75 MiB) 11:04:20 [11:04:20.208] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 809.75 MiB) 11:04:20 Minimum required block sizes for structured trace: (mem: 809.75 MiB) 11:04:20 (mem: 809.75 MiB) 11:04:20 prove decider... (mem: 809.75 MiB) 11:04:20 [11:04:20.209] INFO: ivc-integration:test:native bb - ecc_op : 792 11:04:20 busread : 16 11:04:20 lookup : 2 11:04:20 pub_inputs : 36 11:04:20 arithmetic : 12080 11:04:20 delta_range : 2942 11:04:20 elliptic : 2 11:04:20 aux : 350 11:04:20 poseidon2_external : 4942 11:04:20 poseidon2_internal : 28160 11:04:20 overflow : 0 11:04:20 [11:04:20.251] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 809.75 MiB) 11:04:20 [11:04:20.310] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 809.75 MiB) 11:04:20 [11:04:20.662] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 809.75 MiB) 11:04:20 [11:04:20.710] INFO: ivc-integration:test:native bb - computed opening proof (mem: 809.75 MiB) 11:04:20 finished decider proving. (mem: 809.75 MiB) 11:04:20 [11:04:20.719] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 809.75 MiB) 11:04:20 [11:04:20.779] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 809.75 MiB) 11:04:20 [11:04:20.782] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 809.75 MiB) 11:04:20 [11:04:20.788] INFO: ivc-integration:test:native bb - populating trace... (mem: 809.75 MiB) 11:04:20 [11:04:20.804] INFO: ivc-integration:test:native bb - time to construct proving key: 24 ms. (mem: 809.75 MiB) 11:04:21 [11:04:21.085] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 809.75 MiB) 11:04:21 [11:04:21.317] INFO: ivc-integration:test:native bb - created oink proof (mem: 809.75 MiB) 11:04:21 [11:04:21.346] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 809.75 MiB) 11:04:21 [11:04:21.456] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 809.75 MiB) 11:04:21 [11:04:21.600] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 809.75 MiB) 11:04:21 [11:04:21.618] INFO: ivc-integration:test:native bb - computed opening proof (mem: 809.75 MiB) 11:04:21 finished decider proving. (mem: 809.75 MiB) 11:04:21 [11:04:21.618] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 809.75 MiB) 11:04:21 [11:04:21.662] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 809.75 MiB) 11:04:21 [11:04:21.772] 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: 809.75 MiB) 11:04:21 [11:04:21.782] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 809.75 MiB) 11:04:22 [11:04:22.264] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 809.75 MiB) 11:04:22 [11:04:22.782] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 809.75 MiB) 11:04:23 [11:04:23.791] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 809.75 MiB) 11:04:23 prove translator... (mem: 809.75 MiB) 11:04:24 [11:04:24.947] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.74 MiB) 11:04:25 [11:04:25.398] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 822.74 MiB) 11:04:25 [11:04:25.807] INFO: ivc-integration:test:native bb - computed opening proof (mem: 822.74 MiB) 11:04:25 [11:04:25.807] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 822.74 MiB) 11:04:25 [11:04:25.808] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 822.74 MiB) 11:04:25 [11:04:25.823] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 822.74 MiB) 11:04:25 libra_evals_verified: 1 (mem: 822.74 MiB) 11:04:25 pairing_check_verified: 1 (mem: 822.74 MiB) 11:04:25 Mega verified: 1 (mem: 822.74 MiB) 11:04:25 [11:04:25.860] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 823.24 MiB) 11:04:25 batch opening verified?: 1 (mem: 823.24 MiB) 11:04:25 eccvm consistency check verified?: 1 (mem: 823.24 MiB) 11:04:25 translation masking consistency checked?: 1 (mem: 823.24 MiB) 11:04:25 [11:04:25.879] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 823.74 MiB) 11:04:25 eccvm verified?: 1 (mem: 823.74 MiB) 11:04:25 accumulator construction_verified?: 1 (mem: 823.74 MiB) 11:04:25 translation verified?: 1 (mem: 823.74 MiB) 11:04:25 consistency verified?: 1 (mem: 823.74 MiB) 11:04:25 [11:04:25.879] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 823.74 MiB) 11:04:25 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-gEwS43" (mem: 823.74 MiB) 11:04:25 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-gEwS43" (mem: 823.74 MiB) 11:04:25 BN254 commitment key size: 262144 (mem: 823.74 MiB) 11:04:25 [11:04:25.880] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 823.74 MiB) 11:04:25 [11:04:25.882] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 823.74 MiB) 11:04:25 goblin ecc op : 4/1024 (mem: 823.74 MiB) 11:04:25 [11:04:25.882] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 823.74 MiB) 11:04:25 lookups : 2/15000 (mem: 823.74 MiB) 11:04:25 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 823.74 MiB) 11:04:25 arithmetic : 1773/56000 (mem: 823.74 MiB) 11:04:25 delta range : 1754/18000 (mem: 823.74 MiB) 11:04:25 elliptic : 2/6000 (mem: 823.74 MiB) 11:04:25 auxiliary : 26/26000 (mem: 823.74 MiB) 11:04:25 poseidon ext : 2/17000 (mem: 823.74 MiB) 11:04:25 poseidon int : 2/92000 (mem: 823.74 MiB) 11:04:25 overflow : 0/0 (mem: 823.74 MiB) 11:04:25 (mem: 823.74 MiB) 11:04:25 Total structured size: 242025 (mem: 823.74 MiB) 11:04:25 allocating polynomials object in proving key... (mem: 823.74 MiB) 11:04:25 [11:04:25.896] INFO: ivc-integration:test:native bb - populating trace... (mem: 823.74 MiB) 11:04:25 [11:04:25.898] INFO: ivc-integration:test:native bb - time to construct proving key: 18 ms. (mem: 823.74 MiB) 11:04:25 [11:04:25.904] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 823.74 MiB) 11:04:26 [11:04:26.304] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 823.74 MiB) 11:04:26 [11:04:26.305] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 823.74 MiB) 11:04:26 [11:04:26.360] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 823.74 MiB) 11:04:26 [11:04:26.364] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 823.74 MiB) 11:04:26 [11:04:26.372] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 823.74 MiB) 11:04:26 [11:04:26.374] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 823.74 MiB) 11:04:26 goblin ecc op : 56/1024 (mem: 823.74 11:04:26 [11:04:26.374] INFO: ivc-integration:test:native bb - MiB) 11:04:26 busread : 3/6000 (mem: 823.74 MiB) 11:04:26 lookups : 2/15000 (mem: 823.74 MiB) 11:04:26 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 823.74 MiB) 11:04:26 arithmetic : 4481/56000 (mem: 823.74 MiB) 11:04:26 delta range : 2041/18000 (mem: 823.74 MiB) 11:04:26 elliptic : 2/6000 (mem: 823.74 MiB) 11:04:26 auxiliary : 50/26000 (mem: 823.74 MiB) 11:04:26 poseidon ext : 1312/17000 (mem: 823.74 MiB) 11:04:26 poseidon int : 7469/92000 (mem: 823.74 MiB) 11:04:26 overflow : 0/0 (mem: 823.74 MiB) 11:04:26 (mem: 823.74 MiB) 11:04:26 Total structured size: 242025 (mem: 823.74 MiB) 11:04:26 allocating polynomials object in proving key... (mem: 823.74 MiB) 11:04:26 [11:04:26.383] INFO: ivc-integration:test:native bb - populating trace... (mem: 823.74 MiB) 11:04:26 [11:04:26.389] INFO: ivc-integration:test:native bb - time to construct proving key: 17 ms. (mem: 823.74 MiB) 11:04:26 [11:04:26.396] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 823.74 MiB) 11:04:26 [11:04:26.702] INFO: ivc-integration:test:native bb - computing folding proof (mem: 823.74 MiB) 11:04:26 [11:04:26.703] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 823.74 MiB) 11:04:26 [11:04:26.832] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 823.74 MiB) 11:04:26 [11:04:26.874] INFO: ivc-integration:test:native bb - perturbator round (mem: 823.74 MiB) 11:04:26 [11:04:26.906] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 855.74 MiB) 11:04:26 [11:04:26.975] INFO: ivc-integration:test:native bb - folded (mem: 855.74 MiB) 11:04:26 constructed folding proof (mem: 855.74 MiB) 11:04:26 [11:04:26.975] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 855.74 MiB) 11:04:26 Minimum required block sizes for structured trace: (mem: 855.74 MiB) 11:04:26 (mem: 855.74 MiB) 11:04:26 prove decider... (mem: 855.74 MiB) 11:04:26 [11:04:26.975] INFO: ivc-integration:test:native bb - ecc_op : 56 11:04:26 busread : 3 11:04:26 lookup : 2 11:04:26 pub_inputs : 36 11:04:26 arithmetic : 4481 11:04:26 delta_range : 2041 11:04:26 elliptic : 2 11:04:26 aux : 50 11:04:26 poseidon2_external : 1312 11:04:26 poseidon2_internal : 7469 11:04:26 overflow : 0 11:04:27 [11:04:26.998] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 855.74 MiB) 11:04:27 [11:04:27.040] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 855.74 MiB) 11:04:27 [11:04:27.268] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 855.74 MiB) 11:04:27 [11:04:27.319] INFO: ivc-integration:test:native bb - computed opening proof (mem: 855.74 MiB) 11:04:27 finished decider proving. (mem: 855.74 MiB) 11:04:27 [11:04:27.326] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 855.74 MiB) 11:04:27 [11:04:27.387] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 855.74 MiB) 11:04:27 [11:04:27.389] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 855.74 MiB) 11:04:27 [11:04:27.396] INFO: ivc-integration:test:native bb - populating trace... (mem: 855.74 MiB) 11:04:27 [11:04:27.410] INFO: ivc-integration:test:native bb - time to construct proving key: 23 ms. (mem: 855.74 MiB) 11:04:27 [11:04:27.634] 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-gEwS43/proof -k /tmp/bb-client-ivc-integration-gEwS43/vk -v 11:04:27 [11:04:27.647] INFO: ivc-integration:test:native bb command: verify (mem: 151.14 MiB) 11:04:27 [11:04:27.648] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 64 (mem: 151.14 MiB) 11:04:27 --proof_path: /tmp/bb-client-ivc-integration-gEwS43/proof (mem: 151.14 MiB) 11:04:27 --vk_path: /tmp/bb-client-ivc-integration-gEwS43/vk (mem: 151.14 MiB) 11:04:27 --verbose: true (mem: 151.14 MiB) 11:04:27 --scheme: client_ivc (mem: 151.14 MiB) 11:04:27 [11:04:27.672] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 151.14 MiB) 11:04:27 [11:04:27.686] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 151.14 MiB) 11:04:27 [11:04:27.687] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 151.14 MiB) 11:04:27 [11:04:27.704] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 151.14 MiB) 11:04:27 [11:04:27.704] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 513 (mem: 151.14 MiB) 11:04:27 [11:04:27.705] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 151.14 MiB) 11:04:27 libra_evals_verified: 1 (mem: 151.14 MiB) 11:04:27 pairing_check_verified: 1 (mem: 151.14 MiB) 11:04:27 [11:04:27.705] INFO: ivc-integration:test:native Mega verified: 1 (mem: 151.14 MiB) 11:04:27 [11:04:27.751] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 151.14 MiB) 11:04:27 batch opening verified?: 1 (mem: 151.14 MiB) 11:04:27 eccvm consistency check verified?: 1 (mem: 151.14 MiB) 11:04:27 translation masking consistency checked?: 1 (mem: 151.14 MiB) 11:04:27 [11:04:27.769] INFO: ivc-integration:test:native merge verified?: 1 (mem: 151.14 MiB) 11:04:27 eccvm verified?: 1 (mem: 151.14 MiB) 11:04:27 accumulator construction_verified?: 1 (mem: 151.14 MiB) 11:04:27 translation verified?: 1 (mem: 151.14 MiB) 11:04:27 consistency verified?: 1 (mem: 151.14 MiB) 11:04:27 [11:04:27.770] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 151.14 MiB) 11:04:27 [11:04:27.772] INFO: ivc-integration:test:native verified: 1 (mem: 151.14 MiB) 11:04:27 PASS src/native_client_ivc_integration.test.ts (23.745 s) 11:04:27 Client IVC Integration 11:04:27 ✓ Should generate a verifiable client IVC proof from a simple mock tx (11806 ms) 11:04:27 ✓ Should generate a verifiable client IVC proof from a complex mock tx (9722 ms) 11:04:27 11:04:27 Test Suites: 1 passed, 1 total 11:04:27 Tests: 2 passed, 2 total 11:04:27 Snapshots: 0 total 11:04:27 Time: 23.813 s 11:04:27 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 11:04:27 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?