ACI ·

Parent Log: http://ci.aztec-labs.com/7e0dc7e41fba72d4 Command: 9d60524367dfa79a: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/056e5230c330d6ad19900135ecf2a4787181496a Env: REF_NAME=gh-readonly-queue/next/pr-12986-a9f91dd1e5946aecfeb192ce869eb3e8eca2742e CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 13:08:36 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-12986_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 13:08:40 [13:08:40.529] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-PzvKj0/ivc-inputs.msgpack 13:08:40 [13:08:40.533] 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-PzvKj0 --ivc_inputs_path /tmp/bb-client-ivc-integration-PzvKj0/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:08:40 [13:08:40.553] INFO: ivc-integration:test:native bb - bb command: prove (mem: 183.84 MiB) 13:08:40 [13:08:40.554] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.84 MiB) 13:08:40 --scheme: client_ivc (mem: 183.84 MiB) 13:08:40 --output_path: /tmp/bb-client-ivc-integration-PzvKj0 (mem: 183.84 MiB) 13:08:40 --ivc_inputs_path: /tmp/bb-client-ivc-integration-PzvKj0/ivc-inputs.msgpack (mem: 183.84 MiB) 13:08:40 --verbose: true (mem: 183.84 MiB) 13:08:40 --write_vk: true (mem: 183.84 MiB) 13:08:40 [13:08:40.555] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.84 MiB) 13:08:40 [13:08:40.664] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.00 MiB) 13:08:40 [13:08:40.746] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 301.30 MiB) 13:08:40 [13:08:40.749] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 301.30 MiB) 13:08:40 Constructing DeciderProvingKey (mem: 301.30 MiB) 13:08:40 [13:08:40.754] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 301.30 MiB) 13:08:40 goblin ecc op : 4/1024 (mem: 301.30 MiB) 13:08:40 busread : 7/6000 (mem: 301.30 MiB) 13:08:40 [13:08:40.756] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 301.30 MiB) 13:08:40 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 301.30 MiB) 13:08:40 arithmetic : 1760/56000 (mem: 301.30 MiB) 13:08:40 delta range : 1754/18000 (mem: 301.30 MiB) 13:08:40 elliptic : 2/6000 (mem: 301.30 MiB) 13:08:40 auxiliary : 26/26000 (mem: 301.30 MiB) 13:08:40 poseidon ext : 2/17000 (mem: 301.30 MiB) 13:08:40 poseidon int : 2/92000 (mem: 301.30 MiB) 13:08:40 overflow : 0/0 (mem: 301.30 MiB) 13:08:40 (mem: 301.30 MiB) 13:08:40 Total structured size: 242025 (mem: 301.30 MiB) 13:08:40 allocating polynomials object in proving key... (mem: 301.30 MiB) 13:08:40 [13:08:40.852] INFO: ivc-integration:test:native bb - populating trace... (mem: 505.46 MiB) 13:08:40 [13:08:40.866] INFO: ivc-integration:test:native bb - time to construct proving key: 115 ms. (mem: 515.46 MiB) 13:08:40 [13:08:40.904] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x610c73e9c440 (mem: 515.46 MiB) 13:08:40 [13:08:40.906] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 515.46 MiB) 13:08:40 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.46 MiB) 13:08:41 [13:08:41.055] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.46 MiB) 13:08:41 [13:08:41.063] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.46 MiB) 13:08:41 [13:08:41.076] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 522.46 MiB) 13:08:41 Constructing DeciderProvingKey (mem: 522.46 MiB) 13:08:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 522.46 MiB) 13:08:41 goblin ecc op : 56/1024 (mem: 522.46 MiB) 13:08:41 busread : 12/6000 (mem: 522.46 MiB) 13:08:41 lookups : 2/15000 (mem: 522.46 MiB) 13:08:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 522.46 MiB) 13:08:41 arithmetic : 4625/56000 (mem: 522.46 MiB) 13:08:41 delta range : 2054/18000 (mem: 522.46 MiB) 13:08:41 elliptic : 2/6000 (mem: 522.46 MiB) 13:08:41 auxiliary : 110/26000 (mem: 522.46 MiB) 13:08:41 poseidon ext : 1302/17000 (mem: 522.46 MiB) 13:08:41 poseidon int : 7412/92000 (mem: 522.46 MiB) 13:08:41 overflow : 0/0 (mem: 522.46 MiB) 13:08:41 (mem: 522.46 MiB) 13:08:41 Total structured size: 242025 (mem: 522.46 MiB) 13:08:41 allocating polynomials object in proving key... (mem: 522.46 MiB) 13:08:41 [13:08:41.175] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.46 MiB) 13:08:41 [13:08:41.197] INFO: ivc-integration:test:native bb - time to construct proving key: 122 ms. (mem: 742.46 MiB) 13:08:41 [13:08:41.262] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x610c73ea9100 (mem: 742.46 MiB) 13:08:41 computing folding proof (mem: 742.46 MiB) 13:08:41 [13:08:41.263] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 742.46 MiB) 13:08:41 [13:08:41.772] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 742.46 MiB) 13:08:41 [13:08:41.888] INFO: ivc-integration:test:native bb - perturbator round (mem: 778.46 MiB) 13:08:41 [13:08:41.945] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 810.46 MiB) 13:08:42 [13:08:42.437] INFO: ivc-integration:test:native bb - folded (mem: 810.46 MiB) 13:08:42 constructed folding proof (mem: 810.46 MiB) 13:08:42 [13:08:42.455] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 810.46 MiB) 13:08:42 [13:08:42.535] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 810.46 MiB) 13:08:42 Constructing DeciderProvingKey (mem: 810.46 MiB) 13:08:42 [13:08:42.540] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 810.46 MiB) 13:08:42 goblin ecc op : 392/1024 (mem: 810.46 MiB) 13:08:42 busread : 3/6000 (mem: 810.46 MiB) 13:08:42 lookups : 2/15000 (mem: 810.46 MiB) 13:08:42 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 810.46 MiB) 13:08:42 arithmetic : 6849/56000 (mem: 810.46 MiB) 13:08:42 delta range : 2333/18000 (mem: 810.46 MiB) 13:08:42 elliptic : 2/6000 (mem: 810.46 MiB) 13:08:42 auxiliary : 50/26000 (mem: 810.46 MiB) 13:08:42 poseidon ext : 2472/17000 (mem: 810.46 MiB) 13:08:42 poseidon int : 14081/92000 (mem: 810.46 MiB) 13:08:42 [13:08:42.541] INFO: ivc-integration:test:native bb - overflow : 0/0 (mem: 810.46 MiB) 13:08:42 (mem: 810.46 MiB) 13:08:42 Total structured size: 242025 (mem: 810.46 MiB) 13:08:42 allocating polynomials object in proving key... (mem: 810.46 MiB) 13:08:42 [13:08:42.747] INFO: ivc-integration:test:native bb - populating trace... (mem: 810.46 MiB) 13:08:42 [13:08:42.813] INFO: ivc-integration:test:native bb - time to construct proving key: 268 ms. (mem: 810.46 MiB) 13:08:42 [13:08:42.976] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x610c73e9ea80 (mem: 810.46 MiB) 13:08:42 computing folding proof (mem: 810.46 MiB) 13:08:42 [13:08:42.981] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 810.46 MiB) 13:08:43 [13:08:43.729] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 810.46 MiB) 13:08:43 [13:08:43.930] INFO: ivc-integration:test:native bb - perturbator round (mem: 810.46 MiB) 13:08:43 [13:08:43.965] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 810.46 MiB) 13:08:44 [13:08:44.349] INFO: ivc-integration:test:native bb - folded (mem: 810.46 MiB) 13:08:44 constructed folding proof (mem: 810.46 MiB) 13:08:44 [13:08:44.351] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 810.46 MiB) 13:08:44 Minimum required block sizes for structured trace: (mem: 810.46 MiB) 13:08:44 (mem: 810.46 MiB) 13:08:44 prove decider... (mem: 810.46 MiB) 13:08:44 [13:08:44.352] INFO: ivc-integration:test:native bb - ecc_op : 392 13:08:44 busread : 12 13:08:44 lookup : 2 13:08:44 pub_inputs : 36 13:08:44 arithmetic : 6849 13:08:44 delta_range : 2333 13:08:44 elliptic : 2 13:08:44 aux : 110 13:08:44 poseidon2_external : 2472 13:08:44 poseidon2_internal : 14081 13:08:44 overflow : 0 13:08:44 [13:08:44.621] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 810.46 MiB) 13:08:44 [13:08:44.795] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 810.46 MiB) 13:08:46 [13:08:46.230] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 810.46 MiB) 13:08:46 [13:08:46.331] INFO: ivc-integration:test:native bb - computed opening proof (mem: 810.46 MiB) 13:08:46 finished decider proving. (mem: 810.46 MiB) 13:08:46 [13:08:46.367] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 810.46 MiB) 13:08:46 [13:08:46.484] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 810.46 MiB) 13:08:46 [13:08:46.493] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 810.46 MiB) 13:08:46 [13:08:46.726] INFO: ivc-integration:test:native bb - populating trace... (mem: 810.46 MiB) 13:08:46 [13:08:46.813] INFO: ivc-integration:test:native bb - time to construct proving key: 328 ms. (mem: 810.46 MiB) 13:08:47 [13:08:47.941] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 810.46 MiB) 13:08:48 [13:08:48.566] INFO: ivc-integration:test:native bb - created oink proof (mem: 810.46 MiB) 13:08:48 [13:08:48.825] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 810.46 13:08:48 [13:08:48.826] INFO: ivc-integration:test:native bb - MiB) 13:08:50 [13:08:50.235] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 810.46 MiB) 13:08:51 [13:08:51.116] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 810.46 MiB) 13:08:51 [13:08:51.150] INFO: ivc-integration:test:native bb - computed opening proof (mem: 810.46 MiB) 13:08:51 finished decider proving. (mem: 810.46 MiB) 13:08:51 [13:08:51.151] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 810.46 MiB) 13:08:51 [13:08:51.334] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 810.46 MiB) 13:08:51 [13:08:51.760] 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: 810.46 MiB) 13:08:51 [13:08:51.781] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 13:08:51 [13:08:51.783] INFO: ivc-integration:test:native bb - (mem: 810.46 MiB) 13:08:53 [13:08:53.991] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 13:08:53 [13:08:53.992] INFO: ivc-integration:test:native bb - 810.46 MiB) 13:08:56 [13:08:56.554] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 810.46 MiB) 13:09:01 [13:09:01.910] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 810.46 MiB) 13:09:01 prove translator... (mem: 810.46 MiB) 13:09:04 [13:09:04.716] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 841.75 MiB) 13:09:07 [13:09:07.416] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 13:09:07 [13:09:07.417] INFO: ivc-integration:test:native bb - (mem: 841.75 MiB) 13:09:10 [13:09:10.233] INFO: ivc-integration:test:native bb - computed opening proof (mem: 841.75 MiB) 13:09:10 [13:09:10.235] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 841.75 MiB) 13:09:10 [13:09:10.251] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 841.75 MiB) 13:09:10 [13:09:10.274] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 841.75 MiB) 13:09:10 libra_evals_verified: 1 (mem: 841.75 MiB) 13:09:10 pairing_check_verified: 1 (mem: 841.75 MiB) 13:09:10 Mega verified: 1 (mem: 841.75 MiB) 13:09:10 [13:09:10.367] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 841.75 MiB) 13:09:10 batch opening verified?: 1 (mem: 841.75 MiB) 13:09:10 eccvm consistency check verified?: 1 (mem: 841.75 MiB) 13:09:10 translation masking consistency checked?: 1 (mem: 841.75 MiB) 13:09:10 [13:09:10.391] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 842.75 MiB) 13:09:10 eccvm verified?: 1 (mem: 842.75 MiB) 13:09:10 accumulator construction_verified?: 1 (mem: 842.75 MiB) 13:09:10 translation verified?: 1 (mem: 842.75 MiB) 13:09:10 consistency verified?: 1 (mem: 842.75 MiB) 13:09:10 Goblin verified: 1 (mem: 842.75 MiB) 13:09:10 [13:09:10.393] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-PzvKj0" (mem: 842.75 MiB) 13:09:10 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-PzvKj0" (mem: 842.75 MiB) 13:09:10 BN254 commitment key size: 262144 (mem: 842.75 MiB) 13:09:10 [13:09:10.401] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 842.75 MiB) 13:09:10 [13:09:10.414] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 842.75 MiB) 13:09:10 goblin ecc op : 4/1024 (mem: 842.75 MiB) 13:09:10 busread : 3/6000 (mem: 842.75 MiB) 13:09:10 lookups : 2/15000 (mem: 842.75 MiB) 13:09:10 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 842.75 MiB) 13:09:10 arithmetic : 1773/56000 (mem: 842.75 MiB) 13:09:10 delta range : 1754/18000 (mem: 842.75 MiB) 13:09:10 elliptic : 2/6000 (mem: 842.75 MiB) 13:09:10 auxiliary : 26/26000 (mem: 842.75 MiB) 13:09:10 poseidon ext : 2/17000 (mem: 842.75 MiB) 13:09:10 poseidon int : 2/92000 (mem: 842.75 MiB) 13:09:10 overflow : 0/0 (mem: 842.75 MiB) 13:09:10 (mem: 842.75 MiB) 13:09:10 Total structured size: 242025 (mem: 842.75 MiB) 13:09:10 allocating polynomials object in proving key... (mem: 842.75 MiB) 13:09:10 [13:09:10.609] INFO: ivc-integration:test:native bb - populating trace... (mem: 842.75 MiB) 13:09:10 [13:09:10.621] INFO: ivc-integration:test:native bb - time to construct proving key: 219 ms. (mem: 842.75 MiB) 13:09:10 [13:09:10.683] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 842.75 MiB) 13:09:11 [13:09:11.815] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 842.75 MiB) 13:09:11 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 842.75 MiB) 13:09:12 [13:09:12.433] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 842.75 MiB) 13:09:12 [13:09:12.449] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 842.75 MiB) 13:09:12 [13:09:12.484] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 842.75 MiB) 13:09:12 [13:09:12.489] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 842.75 MiB) 13:09:12 goblin ecc op : 56/1024 (mem: 842.75 MiB) 13:09:12 [13:09:12.490] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 842.75 MiB) 13:09:12 lookups : 2/15000 (mem: 842.75 MiB) 13:09:12 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 842.75 MiB) 13:09:12 arithmetic : 4481/56000 (mem: 842.75 MiB) 13:09:12 delta range : 2041/18000 (mem: 842.75 MiB) 13:09:12 elliptic : 2/6000 (mem: 842.75 MiB) 13:09:12 auxiliary : 50/26000 (mem: 842.75 MiB) 13:09:12 poseidon ext : 1312/17000 (mem: 842.75 MiB) 13:09:12 poseidon int : 7469/92000 (mem: 842.75 MiB) 13:09:12 overflow : 0/0 (mem: 842.75 MiB) 13:09:12 (mem: 842.75 MiB) 13:09:12 Total structured size: 242025 (mem: 842.75 MiB) 13:09:12 allocating polynomials object in proving key... (mem: 842.75 MiB) 13:09:12 [13:09:12.761] INFO: ivc-integration:test:native bb - populating trace... (mem: 842.75 MiB) 13:09:12 [13:09:12.804] INFO: ivc-integration:test:native bb - time to construct proving key: 319 ms. (mem: 842.75 MiB) 13:09:12 [13:09:12.987] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 842.75 MiB) 13:09:14 [13:09:14.023] INFO: ivc-integration:test:native bb - computing folding proof (mem: 842.75 MiB) 13:09:14 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 842.75 MiB) 13:09:14 [13:09:14.985] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 842.75 MiB) 13:09:15 [13:09:15.123] INFO: ivc-integration:test:native bb - perturbator round 13:09:15 [13:09:15.127] INFO: ivc-integration:test:native bb - (mem: 844.75 MiB) 13:09:15 [13:09:15.211] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 877.75 MiB) 13:09:15 [13:09:15.809] INFO: ivc-integration:test:native bb - folded (mem: 877.75 MiB) 13:09:15 constructed folding proof (mem: 877.75 MiB) 13:09:15 Largest circuit: 15360 gates. Trace details: (mem: 877.75 MiB) 13:09:15 Minimum required block sizes for structured trace: (mem: 877.75 MiB) 13:09:15 [13:09:15.811] INFO: ivc-integration:test:native bb - (mem: 877.75 MiB) 13:09:15 prove decider... (mem: 877.75 MiB) 13:09:15 [13:09:15.812] INFO: ivc-integration:test:native bb - ecc_op : 56 13:09:15 busread : 3 13:09:15 lookup : 2 13:09:15 pub_inputs : 36 13:09:15 arithmetic : 4481 13:09:15 delta_range : 2041 13:09:15 elliptic : 2 13:09:15 aux : 50 13:09:15 poseidon2_external : 1312 13:09:15 poseidon2_internal : 7469 13:09:15 overflow : 0 13:09:15 [13:09:15.987] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 877.75 MiB) 13:09:16 [13:09:16.251] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 877.75 MiB) 13:09:17 [13:09:17.771] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 877.75 MiB) 13:09:17 [13:09:17.869] INFO: ivc-integration:test:native bb - computed opening proof (mem: 877.75 MiB) 13:09:17 finished decider proving. (mem: 877.75 MiB) 13:09:17 [13:09:17.886] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 877.75 MiB) 13:09:18 [13:09:18.025] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 877.75 MiB) 13:09:18 [13:09:18.034] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 877.75 MiB) 13:09:18 [13:09:18.270] INFO: ivc-integration:test:native bb - populating trace... (mem: 877.75 MiB) 13:09:18 [13:09:18.330] INFO: ivc-integration:test:native bb - time to construct proving key: 305 ms. (mem: 877.75 MiB) 13:09:19 [13:09:19.172] 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-PzvKj0/proof -k /tmp/bb-client-ivc-integration-PzvKj0/vk -v 13:09:19 [13:09:19.206] INFO: ivc-integration:test:native bb command: verify 13:09:19 [13:09:19.208] INFO: ivc-integration:test:native (mem: 183.84 MiB) 13:09:19 Scheme is: client_ivc, num threads: 128 (mem: 183.84 MiB) 13:09:19 --proof_path: /tmp/bb-client-ivc-integration-PzvKj0/proof (mem: 183.84 MiB) 13:09:19 --vk_path: /tmp/bb-client-ivc-integration-PzvKj0/vk (mem: 183.84 MiB) 13:09:19 --verbose: true (mem: 183.84 MiB) 13:09:19 --scheme: client_ivc (mem: 183.84 MiB) 13:09:19 [13:09:19.328] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 183.84 MiB) 13:09:19 [13:09:19.353] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 183.84 MiB) 13:09:19 [13:09:19.354] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 183.84 MiB) 13:09:19 [13:09:19.374] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.84 MiB) 13:09:19 [13:09:19.375] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 183.84 MiB) 13:09:19 [13:09:19.376] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 183.84 MiB) 13:09:19 libra_evals_verified: 1 (mem: 183.84 MiB) 13:09:19 pairing_check_verified: 1 (mem: 183.84 MiB) 13:09:19 Mega verified: 1 (mem: 183.84 MiB) 13:09:19 [13:09:19.453] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.79 MiB) 13:09:19 batch opening verified?: 1 (mem: 188.79 MiB) 13:09:19 eccvm consistency check verified?: 1 (mem: 188.79 MiB) 13:09:19 translation masking consistency checked?: 1 (mem: 188.79 MiB) 13:09:19 [13:09:19.475] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.79 MiB) 13:09:19 eccvm verified?: 1 (mem: 188.79 MiB) 13:09:19 accumulator construction_verified?: 1 (mem: 188.79 MiB) 13:09:19 translation verified?: 1 (mem: 188.79 MiB) 13:09:19 consistency verified?: 1 (mem: 188.79 13:09:19 [13:09:19.476] INFO: ivc-integration:test:native MiB) 13:09:19 Goblin verified: 1 (mem: 188.79 MiB) 13:09:19 [13:09:19.481] INFO: ivc-integration:test:native verified: 1 (mem: 188.79 MiB) 13:09:19 [13:09:19.597] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-35fJ3b/ivc-inputs.msgpack 13:09:19 [13:09:19.598] 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-35fJ3b --ivc_inputs_path /tmp/bb-client-ivc-integration-35fJ3b/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:09:19 [13:09:19.634] INFO: ivc-integration:test:native bb - bb command: prove (mem: 184.07 MiB) 13:09:19 Scheme is: client_ivc, num threads: 128 (mem: 184.07 MiB) 13:09:19 --scheme: client_ivc (mem: 184.07 MiB) 13:09:19 --output_path: /tmp/bb-client-ivc-integration-35fJ3b (mem: 184.07 MiB) 13:09:19 --ivc_inputs_path: /tmp/bb-client-ivc-integration-35fJ3b/ivc-inputs.msgpack (mem: 184.07 MiB) 13:09:19 --verbose: true (mem: 184.07 MiB) 13:09:19 --write_vk: true (mem: 184.07 MiB) 13:09:19 [13:09:19.641] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.07 MiB) 13:09:19 [13:09:19.801] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 257.00 MiB) 13:09:19 [13:09:19.928] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 305.54 MiB) 13:09:19 [13:09:19.932] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 13:09:19 [13:09:19.933] INFO: ivc-integration:test:native bb - (mem: 13:09:19 [13:09:19.933] INFO: ivc-integration:test:native bb - 305.54 13:09:19 [13:09:19.934] INFO: ivc-integration:test:native bb - MiB) 13:09:19 [13:09:19.935] INFO: ivc-integration:test:native bb - 13:09:19 Constructing DeciderProvingKey (mem: 305.54 MiB) 13:09:19 [13:09:19.940] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 13:09:19 [13:09:19.942] INFO: ivc-integration:test:native bb - (mem: 305.54 MiB) 13:09:19 goblin ecc op : 4/1024 (mem: 305.54 MiB) 13:09:19 busread : 7/6000 (mem: 305.54 MiB) 13:09:19 lookups : 2/15000 (mem: 305.54 MiB) 13:09:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 305.54 MiB) 13:09:19 arithmetic : 1760/56000 (mem: 305.54 MiB) 13:09:19 delta range : 1754/18000 (mem: 305.54 MiB) 13:09:19 elliptic : 2/6000 (mem: 305.54 MiB) 13:09:19 auxiliary : 26/26000 (mem: 305.54 MiB) 13:09:19 poseidon ext : 2/17000 (mem: 305.54 MiB) 13:09:19 poseidon int : 2/92000 (mem: 305.54 MiB) 13:09:19 overflow : 0/0 (mem: 305.54 MiB) 13:09:19 (mem: 305.54 MiB) 13:09:19 Total structured size: 242025 (mem: 305.54 MiB) 13:09:19 allocating polynomials object in proving key... (mem: 305.54 MiB) 13:09:20 [13:09:20.071] INFO: ivc-integration:test:native bb - populating trace... (mem: 507.66 MiB) 13:09:20 [13:09:20.114] INFO: ivc-integration:test:native bb - time to construct proving key: 177 ms. (mem: 517.66 MiB) 13:09:20 [13:09:20.204] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x629b469d5240 (mem: 517.66 MiB) 13:09:20 computing oink proof... (mem: 517.66 MiB) 13:09:20 [13:09:20.205] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 517.66 MiB) 13:09:20 [13:09:20.564] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 526.66 MiB) 13:09:20 [13:09:20.571] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 526.66 MiB) 13:09:20 [13:09:20.600] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 526.66 MiB) 13:09:20 Constructing DeciderProvingKey (mem: 13:09:20 [13:09:20.605] INFO: ivc-integration:test:native bb - 526.66 MiB) 13:09:20 [13:09:20.607] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 526.66 MiB) 13:09:20 goblin ecc op : 56/1024 (mem: 526.66 MiB) 13:09:20 busread : 12/6000 (mem: 526.66 MiB) 13:09:20 [13:09:20.608] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 526.66 MiB) 13:09:20 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 526.66 MiB) 13:09:20 arithmetic : 4625/56000 (mem: 526.66 MiB) 13:09:20 delta range : 2054/18000 (mem: 526.66 MiB) 13:09:20 elliptic : 2/6000 (mem: 526.66 MiB) 13:09:20 auxiliary : 110/26000 (mem: 526.66 MiB) 13:09:20 poseidon ext : 1302/17000 (mem: 526.66 MiB) 13:09:20 poseidon int : 7412/92000 (mem: 526.66 MiB) 13:09:20 overflow : 0/0 (mem: 526.66 MiB) 13:09:20 (mem: 526.66 MiB) 13:09:20 Total structured size: 242025 (mem: 526.66 MiB) 13:09:20 allocating polynomials object in proving key... (mem: 526.66 MiB) 13:09:20 [13:09:20.864] INFO: ivc-integration:test:native bb - populating trace... (mem: 734.66 MiB) 13:09:20 [13:09:20.926] INFO: ivc-integration:test:native bb - time to construct proving key: 322 ms. (mem: 13:09:20 [13:09:20.926] INFO: ivc-integration:test:native bb - 750.66 MiB) 13:09:21 [13:09:21.062] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x629b469de480 (mem: 750.66 MiB) 13:09:21 computing folding proof (mem: 750.66 MiB) 13:09:21 [13:09:21.063] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 750.66 MiB) 13:09:21 [13:09:21.588] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 751.66 MiB) 13:09:21 [13:09:21.699] INFO: ivc-integration:test:native bb - perturbator round (mem: 789.66 MiB) 13:09:21 [13:09:21.751] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.66 MiB) 13:09:22 [13:09:22.268] INFO: ivc-integration:test:native bb - folded (mem: 821.66 MiB) 13:09:22 constructed folding proof (mem: 821.66 MiB) 13:09:22 [13:09:22.271] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.66 MiB) 13:09:22 Constructing DeciderProvingKey (mem: 821.66 MiB) 13:09:22 [13:09:22.274] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.66 MiB) 13:09:22 goblin ecc op : 4/1024 (mem: 821.66 MiB) 13:09:22 busread : 7/6000 (mem: 821.66 MiB) 13:09:22 lookups : 2/15000 (mem: 821.66 MiB) 13:09:22 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.66 MiB) 13:09:22 [13:09:22.276] INFO: ivc-integration:test:native bb - arithmetic : 1760/56000 (mem: 821.66 MiB) 13:09:22 delta range : 1754/18000 (mem: 821.66 MiB) 13:09:22 elliptic : 2/6000 (mem: 821.66 MiB) 13:09:22 auxiliary : 26/26000 (mem: 821.66 MiB) 13:09:22 poseidon ext : 2/17000 (mem: 821.66 MiB) 13:09:22 poseidon int : 2/92000 (mem: 821.66 MiB) 13:09:22 overflow : 0/0 (mem: 821.66 MiB) 13:09:22 (mem: 821.66 MiB) 13:09:22 Total structured size: 242025 (mem: 821.66 MiB) 13:09:22 allocating polynomials object in proving key... (mem: 821.66 MiB) 13:09:22 [13:09:22.378] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.66 MiB) 13:09:22 [13:09:22.398] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 821.66 MiB) 13:09:22 [13:09:22.474] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x629b469d0dc0 (mem: 821.66 MiB) 13:09:22 computing folding proof (mem: 821.66 MiB) 13:09:22 [13:09:22.475] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.66 MiB) 13:09:22 [13:09:22.715] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.66 MiB) 13:09:22 [13:09:22.811] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.66 MiB) 13:09:22 [13:09:22.857] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 823.54 MiB) 13:09:23 [13:09:23.132] INFO: ivc-integration:test:native bb - folded (mem: 823.54 MiB) 13:09:23 constructed folding proof (mem: 823.54 MiB) 13:09:23 [13:09:23.157] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 823.54 MiB) 13:09:23 [13:09:23.246] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 823.54 MiB) 13:09:23 [13:09:23.326] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 13:09:23 [13:09:23.329] INFO: ivc-integration:test:native bb - (mem: 823.54 MiB) 13:09:23 Constructing DeciderProvingKey (mem: 823.54 MiB) 13:09:23 [13:09:23.344] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 823.54 MiB) 13:09:23 goblin ecc op : 792/1024 (mem: 823.54 MiB) 13:09:23 busread : 12/6000 (mem: 823.54 MiB) 13:09:23 lookups : 2/15000 (mem: 823.54 MiB) 13:09:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 823.54 MiB) 13:09:23 arithmetic : 12080/56000 (mem: 823.54 MiB) 13:09:23 delta range : 2942/18000 (mem: 823.54 MiB) 13:09:23 elliptic : 2/6000 (mem: 823.54 MiB) 13:09:23 auxiliary : 350/26000 (mem: 823.54 MiB) 13:09:23 poseidon ext : 4942/17000 (mem: 823.54 MiB) 13:09:23 poseidon int : 28160/92000 (mem: 823.54 MiB) 13:09:23 overflow : 0/0 (mem: 823.54 MiB) 13:09:23 (mem: 823.54 MiB) 13:09:23 Total structured size: 242025 (mem: 823.54 MiB) 13:09:23 allocating polynomials object in proving key... (mem: 823.54 MiB) 13:09:23 [13:09:23.409] INFO: ivc-integration:test:native bb - populating trace... (mem: 823.54 MiB) 13:09:23 [13:09:23.461] INFO: ivc-integration:test:native bb - time to construct proving key: 133 ms. (mem: 823.54 MiB) 13:09:23 [13:09:23.527] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x629b469d5a80 (mem: 823.54 MiB) 13:09:23 computing folding proof (mem: 823.54 MiB) 13:09:23 vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 823.54 MiB) 13:09:23 [13:09:23.904] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 823.54 MiB) 13:09:23 [13:09:23.979] INFO: ivc-integration:test:native bb - perturbator round (mem: 823.54 MiB) 13:09:24 [13:09:24.044] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 853.82 MiB) 13:09:24 [13:09:24.362] INFO: ivc-integration:test:native bb - folded (mem: 853.82 MiB) 13:09:24 constructed folding proof (mem: 853.82 MiB) 13:09:24 [13:09:24.371] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 853.82 MiB) 13:09:24 [13:09:24.457] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 853.82 MiB) 13:09:24 Constructing DeciderProvingKey (mem: 853.82 MiB) 13:09:24 [13:09:24.464] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 853.82 MiB) 13:09:24 goblin ecc op : 392/1024 (mem: 853.82 MiB) 13:09:24 busread : 16/6000 (mem: 853.82 MiB) 13:09:24 lookups : 2/15000 (mem: 853.82 MiB) 13:09:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 853.82 MiB) 13:09:24 arithmetic : 6914/56000 (mem: 853.82 MiB) 13:09:24 delta range : 2347/18000 (mem: 853.82 MiB) 13:09:24 elliptic : 2/6000 (mem: 853.82 MiB) 13:09:24 auxiliary : 77/26000 (mem: 853.82 MiB) 13:09:24 poseidon ext : 2472/17000 (mem: 853.82 MiB) 13:09:24 poseidon int : 14081/92000 (mem: 853.82 MiB) 13:09:24 overflow : 0/0 (mem: 853.82 MiB) 13:09:24 (mem: 853.82 MiB) 13:09:24 Total structured size: 242025 (mem: 853.82 MiB) 13:09:24 allocating polynomials object in proving key... (mem: 853.82 MiB) 13:09:24 [13:09:24.556] INFO: ivc-integration:test:native bb - populating trace... (mem: 853.82 MiB) 13:09:24 [13:09:24.602] INFO: ivc-integration:test:native bb - time to construct proving key: 144 ms. (mem: 853.82 MiB) 13:09:24 [13:09:24.719] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x629b46a52180 (mem: 853.82 MiB) 13:09:24 computing folding proof (mem: 853.82 MiB) 13:09:24 vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 853.82 MiB) 13:09:25 [13:09:25.158] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 853.82 MiB) 13:09:25 [13:09:25.246] INFO: ivc-integration:test:native bb - perturbator round 13:09:25 [13:09:25.248] INFO: ivc-integration:test:native bb - (mem: 853.82 MiB) 13:09:25 [13:09:25.308] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 854.29 MiB) 13:09:25 [13:09:25.448] INFO: ivc-integration:test:native bb - folded (mem: 854.29 MiB) 13:09:25 constructed folding proof (mem: 854.29 MiB) 13:09:25 [13:09:25.460] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 854.29 MiB) 13:09:25 [13:09:25.531] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 854.29 MiB) 13:09:25 Constructing DeciderProvingKey (mem: 854.29 MiB) 13:09:25 [13:09:25.533] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 854.29 MiB) 13:09:25 goblin ecc op : 392/1024 (mem: 854.29 MiB) 13:09:25 busread : 3/6000 (mem: 854.29 MiB) 13:09:25 lookups : 2/15000 (mem: 854.29 MiB) 13:09:25 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 854.29 MiB) 13:09:25 [13:09:25.534] INFO: ivc-integration:test:native bb - arithmetic : 6849/56000 (mem: 854.29 MiB) 13:09:25 delta range : 2333/18000 (mem: 854.29 MiB) 13:09:25 elliptic : 2/6000 (mem: 854.29 MiB) 13:09:25 auxiliary : 50/26000 (mem: 854.29 MiB) 13:09:25 poseidon ext : 2472/17000 (mem: 854.29 MiB) 13:09:25 poseidon int : 14081/92000 (mem: 854.29 MiB) 13:09:25 overflow : 0/0 (mem: 854.29 MiB) 13:09:25 (mem: 854.29 MiB) 13:09:25 Total structured size: 242025 (mem: 854.29 MiB) 13:09:25 allocating polynomials object in proving key... (mem: 854.29 MiB) 13:09:25 [13:09:25.586] INFO: ivc-integration:test:native bb - populating trace... (mem: 854.29 MiB) 13:09:25 [13:09:25.608] INFO: ivc-integration:test:native bb - time to construct proving key: 78 ms. (mem: 854.29 MiB) 13:09:25 [13:09:25.711] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x629b46a39e00 (mem: 854.29 MiB) 13:09:25 computing folding proof (mem: 854.29 MiB) 13:09:25 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 854.29 13:09:25 [13:09:25.712] INFO: ivc-integration:test:native bb - MiB) 13:09:26 [13:09:26.056] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 854.29 MiB) 13:09:26 [13:09:26.145] INFO: ivc-integration:test:native bb - perturbator round (mem: 854.29 MiB) 13:09:26 [13:09:26.199] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 854.30 MiB) 13:09:26 [13:09:26.461] INFO: ivc-integration:test:native bb - folded (mem: 854.30 MiB) 13:09:26 constructed folding proof (mem: 854.30 MiB) 13:09:26 [13:09:26.462] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 854.30 MiB) 13:09:26 Minimum required block sizes for structured trace: (mem: 854.30 MiB) 13:09:26 (mem: 854.30 MiB) 13:09:26 prove decider... (mem: 854.30 MiB) 13:09:26 [13:09:26.463] INFO: ivc-integration:test:native bb - ecc_op : 792 13:09:26 busread : 16 13:09:26 lookup : 2 13:09:26 pub_inputs : 36 13:09:26 arithmetic : 12080 13:09:26 delta_range : 2942 13:09:26 elliptic : 2 13:09:26 aux : 350 13:09:26 poseidon2_external : 4942 13:09:26 poseidon2_internal : 28160 13:09:26 overflow : 0 13:09:26 [13:09:26.568] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 854.30 MiB) 13:09:26 [13:09:26.686] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 854.30 MiB) 13:09:27 [13:09:27.514] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 854.30 MiB) 13:09:27 [13:09:27.640] INFO: ivc-integration:test:native bb - computed opening proof (mem: 854.30 MiB) 13:09:27 finished decider proving. (mem: 854.30 MiB) 13:09:27 [13:09:27.656] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 854.30 MiB) 13:09:27 [13:09:27.765] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 13:09:27 [13:09:27.766] INFO: ivc-integration:test:native bb - (mem: 854.30 MiB) 13:09:27 [13:09:27.771] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 854.30 MiB) 13:09:27 [13:09:27.906] INFO: ivc-integration:test:native bb - populating trace... (mem: 854.30 MiB) 13:09:27 [13:09:27.954] INFO: ivc-integration:test:native bb - time to construct proving key: 188 ms. (mem: 854.30 MiB) 13:09:28 [13:09:28.731] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 854.30 MiB) 13:09:29 [13:09:29.119] INFO: ivc-integration:test:native bb - created oink proof (mem: 854.30 MiB) 13:09:29 [13:09:29.247] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 854.30 MiB) 13:09:29 [13:09:29.912] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 854.30 MiB) 13:09:30 [13:09:30.587] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 854.30 MiB) 13:09:30 [13:09:30.627] INFO: ivc-integration:test:native bb - computed opening proof (mem: 854.30 MiB) 13:09:30 finished decider proving. (mem: 854.30 MiB) 13:09:30 Constructing a Goblin proof with num ultra ops = 2226 (mem: 854.30 MiB) 13:09:30 [13:09:30.940] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 854.30 MiB) 13:09:31 [13:09:31.568] 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: 854.30 MiB) 13:09:31 [13:09:31.591] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 854.30 MiB) 13:09:33 [13:09:33.241] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 854.30 MiB) 13:09:34 [13:09:34.629] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 854.30 MiB) 13:09:39 [13:09:39.222] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 854.30 MiB) 13:09:39 prove translator... (mem: 854.30 MiB) 13:09:43 [13:09:43.110] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 871.64 MiB) 13:09:44 [13:09:44.988] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 13:09:44 [13:09:44.989] INFO: ivc-integration:test:native bb - (mem: 871.64 MiB) 13:09:45 [13:09:45.876] INFO: ivc-integration:test:native bb - computed opening proof (mem: 871.64 MiB) 13:09:45 finished translator proving. (mem: 871.64 MiB) 13:09:45 [13:09:45.885] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 871.64 MiB) 13:09:45 [13:09:45.900] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 871.64 MiB) 13:09:45 libra_evals_verified: 1 (mem: 871.64 MiB) 13:09:45 pairing_check_verified: 1 (mem: 871.64 MiB) 13:09:45 Mega verified: 1 (mem: 871.64 MiB) 13:09:45 [13:09:45.901] INFO: ivc-integration:test:native bb - 13:09:45 [13:09:45.962] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 871.64 MiB) 13:09:45 batch opening verified?: 1 (mem: 871.64 MiB) 13:09:45 eccvm consistency check verified?: 1 (mem: 871.64 MiB) 13:09:45 translation masking consistency checked?: 1 (mem: 871.64 MiB) 13:09:45 [13:09:45.979] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 871.64 MiB) 13:09:45 eccvm verified?: 1 (mem: 871.64 MiB) 13:09:45 accumulator construction_verified?: 1 (mem: 871.64 MiB) 13:09:45 translation verified?: 1 (mem: 871.64 MiB) 13:09:45 consistency verified?: 1 (mem: 871.64 MiB) 13:09:45 Goblin verified: 1 (mem: 871.64 MiB) 13:09:45 [13:09:45.980] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-35fJ3b" (mem: 871.64 MiB) 13:09:45 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-35fJ3b" (mem: 871.64 MiB) 13:09:45 BN254 commitment key size: 262144 (mem: 871.64 MiB) 13:09:45 [13:09:45.982] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.64 MiB) 13:09:45 [13:09:45.985] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 871.64 MiB) 13:09:45 goblin ecc op : 4/1024 (mem: 871.64 MiB) 13:09:45 busread : 3/6000 (mem: 871.64 MiB) 13:09:45 [13:09:45.986] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 871.64 MiB) 13:09:45 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 871.64 MiB) 13:09:45 arithmetic : 1773/56000 (mem: 871.64 MiB) 13:09:45 delta range : 1754/18000 (mem: 871.64 MiB) 13:09:45 elliptic : 2/6000 (mem: 871.64 MiB) 13:09:45 auxiliary : 26/26000 (mem: 871.64 MiB) 13:09:45 poseidon ext : 2/17000 (mem: 871.64 MiB) 13:09:45 poseidon int : 2/92000 (mem: 871.64 MiB) 13:09:45 overflow : 0/0 (mem: 871.64 MiB) 13:09:45 (mem: 871.64 MiB) 13:09:45 Total structured size: 242025 (mem: 871.64 MiB) 13:09:45 allocating polynomials object in proving key... (mem: 871.64 MiB) 13:09:46 [13:09:46.031] INFO: ivc-integration:test:native bb - populating trace... (mem: 871.64 MiB) 13:09:46 [13:09:46.041] INFO: ivc-integration:test:native bb - time to construct proving key: 58 ms. (mem: 871.64 MiB) 13:09:46 [13:09:46.087] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.64 MiB) 13:09:47 [13:09:47.031] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 871.64 MiB) 13:09:47 [13:09:47.032] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 871.64 MiB) 13:09:47 [13:09:47.206] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 871.64 MiB) 13:09:47 [13:09:47.219] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 871.64 MiB) 13:09:47 [13:09:47.241] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.64 MiB) 13:09:47 [13:09:47.245] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 871.64 MiB) 13:09:47 goblin ecc op : 56/1024 (mem: 871.64 MiB) 13:09:47 [13:09:47.246] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 871.64 MiB) 13:09:47 lookups : 2/15000 (mem: 871.64 MiB) 13:09:47 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 871.64 MiB) 13:09:47 arithmetic : 4481/56000 (mem: 871.64 MiB) 13:09:47 delta range : 2041/18000 (mem: 871.64 MiB) 13:09:47 elliptic : 2/6000 (mem: 871.64 MiB) 13:09:47 auxiliary : 50/26000 (mem: 871.64 MiB) 13:09:47 poseidon ext : 1312/17000 (mem: 871.64 MiB) 13:09:47 poseidon int : 7469/92000 (mem: 871.64 MiB) 13:09:47 overflow : 0/0 (mem: 871.64 MiB) 13:09:47 (mem: 871.64 MiB) 13:09:47 Total structured size: 242025 (mem: 871.64 MiB) 13:09:47 allocating polynomials object in proving key... (mem: 871.64 MiB) 13:09:47 [13:09:47.332] INFO: ivc-integration:test:native bb - populating trace... (mem: 871.64 MiB) 13:09:47 [13:09:47.353] INFO: ivc-integration:test:native bb - time to construct proving key: 112 ms. (mem: 871.64 MiB) 13:09:47 [13:09:47.394] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.64 MiB) 13:09:48 [13:09:48.201] INFO: ivc-integration:test:native bb - computing folding proof (mem: 871.64 MiB) 13:09:48 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 871.64 MiB) 13:09:48 [13:09:48.623] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 13:09:48 [13:09:48.624] INFO: ivc-integration:test:native bb - (mem: 871.64 MiB) 13:09:48 [13:09:48.750] INFO: ivc-integration:test:native bb - perturbator round (mem: 871.64 MiB) 13:09:48 [13:09:48.802] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 903.64 MiB) 13:09:48 [13:09:48.939] INFO: ivc-integration:test:native bb - folded (mem: 903.64 MiB) 13:09:48 constructed folding proof (mem: 903.64 MiB) 13:09:48 [13:09:48.940] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 903.64 MiB) 13:09:48 Minimum required block sizes for structured trace: (mem: 903.64 MiB) 13:09:48 (mem: 903.64 MiB) 13:09:48 prove decider... (mem: 903.64 MiB) 13:09:48 [13:09:48.940] INFO: ivc-integration:test:native bb - ecc_op : 56 13:09:48 busread : 3 13:09:48 lookup : 2 13:09:48 pub_inputs : 36 13:09:48 arithmetic : 4481 13:09:48 delta_range : 2041 13:09:48 elliptic : 2 13:09:48 aux : 50 13:09:48 poseidon2_external : 1312 13:09:48 poseidon2_internal : 7469 13:09:48 overflow : 0 13:09:49 [13:09:49.027] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 903.64 MiB) 13:09:49 [13:09:49.096] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 903.64 MiB) 13:09:49 [13:09:49.545] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 903.64 MiB) 13:09:49 [13:09:49.610] INFO: ivc-integration:test:native bb - computed opening proof (mem: 903.64 MiB) 13:09:49 finished decider proving. (mem: 903.64 MiB) 13:09:49 [13:09:49.628] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 903.64 MiB) 13:09:49 [13:09:49.713] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 903.64 MiB) 13:09:49 [13:09:49.718] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 903.64 MiB) 13:09:49 [13:09:49.754] INFO: ivc-integration:test:native bb - populating trace... (mem: 903.64 MiB) 13:09:49 [13:09:49.784] INFO: ivc-integration:test:native bb - time to construct proving key: 71 ms. (mem: 903.64 MiB) 13:09:50 [13:09:50.230] 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-35fJ3b/proof -k /tmp/bb-client-ivc-integration-35fJ3b/vk -v 13:09:50 [13:09:50.249] INFO: ivc-integration:test:native bb command: verify (mem: 188.54 MiB) 13:09:50 [13:09:50.250] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 188.54 MiB) 13:09:50 --proof_path: /tmp/bb-client-ivc-integration-35fJ3b/proof (mem: 188.54 MiB) 13:09:50 --vk_path: /tmp/bb-client-ivc-integration-35fJ3b/vk (mem: 188.54 MiB) 13:09:50 --verbose: true (mem: 188.54 MiB) 13:09:50 --scheme: client_ivc (mem: 188.54 MiB) 13:09:50 [13:09:50.346] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.54 MiB) 13:09:50 [13:09:50.370] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 188.54 MiB) 13:09:50 vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 188.54 MiB) 13:09:50 [13:09:50.387] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.54 MiB) 13:09:50 [13:09:50.388] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 188.54 MiB) 13:09:50 [13:09:50.389] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 188.54 MiB) 13:09:50 libra_evals_verified: 1 (mem: 188.54 MiB) 13:09:50 pairing_check_verified: 1 (mem: 13:09:50 [13:09:50.390] INFO: ivc-integration:test:native 188.54 MiB) 13:09:50 Mega verified: 1 (mem: 188.54 MiB) 13:09:50 [13:09:50.460] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.54 MiB) 13:09:50 batch opening verified?: 1 (mem: 188.54 MiB) 13:09:50 eccvm consistency check verified?: 1 (mem: 188.54 MiB) 13:09:50 [13:09:50.460] INFO: ivc-integration:test:native translation masking consistency checked?: 1 (mem: 188.54 MiB) 13:09:50 [13:09:50.477] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.54 MiB) 13:09:50 eccvm verified?: 1 (mem: 188.54 MiB) 13:09:50 accumulator construction_verified?: 1 (mem: 188.54 MiB) 13:09:50 translation verified?: 1 (mem: 188.54 MiB) 13:09:50 consistency verified?: 1 (mem: 13:09:50 [13:09:50.477] INFO: ivc-integration:test:native 188.54 MiB) 13:09:50 Goblin verified: 1 (mem: 188.54 MiB) 13:09:50 [13:09:50.482] INFO: ivc-integration:test:native verified: 1 (mem: 188.54 MiB) 13:09:50 PASS src/native_client_ivc_integration.test.ts (73.638 s) 13:09:50 Client IVC Integration 13:09:50 ✓ Should generate a verifiable client IVC proof from a simple mock tx (39085 ms) 13:09:50 ✓ Should generate a verifiable client IVC proof from a complex mock tx (31021 ms) 13:09:50 13:09:50 Test Suites: 1 passed, 1 total 13:09:50 Tests: 2 passed, 2 total 13:09:50 Snapshots: 0 total 13:09:50 Time: 73.739 s 13:09:50 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 13:09:50 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?