ACI ·

Parent Log: http://ci.aztec-labs.com/2aac72a9f0a3e7d4 Command: b818050160cbcbd8: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/184d5f7d956dd7251670a2dd6728f313cfdf3caf Env: REF_NAME=gh-readonly-queue/next/pr-14822-e56baa7f24bac54baf9e2f22f6f33ae6fa8b8c0f CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 21:12:53 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14822_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 21:12:57 [21:12:57.353] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-KY10ZV/ivc-inputs.msgpack 21:12:57 [21:12:57.360] 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-KY10ZV --ivc_inputs_path /tmp/bb-client-ivc-integration-KY10ZV/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 21:12:57 [21:12:57.379] INFO: ivc-integration:test:native bb - bb command: prove (mem: 152.23 MiB) 21:12:57 [21:12:57.380] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 152.23 MiB) 21:12:57 --scheme: client_ivc (mem: 152.23 MiB) 21:12:57 --output_path: /tmp/bb-client-ivc-integration-KY10ZV (mem: 152.23 MiB) 21:12:57 --ivc_inputs_path: /tmp/bb-client-ivc-integration-KY10ZV/ivc-inputs.msgpack (mem: 152.23 MiB) 21:12:57 --verbose: true (mem: 152.23 MiB) 21:12:57 --write_vk: true (mem: 152.23 MiB) 21:12:57 BN254 commitment key size: 262144 (mem: 152.23 MiB) 21:12:57 [21:12:57.499] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.00 MiB) 21:12:57 [21:12:57.586] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 21:12:57 [21:12:57.587] INFO: ivc-integration:test:native bb - (mem: 300.89 MiB) 21:12:57 [21:12:57.591] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 300.89 MiB) 21:12:57 Constructing DeciderProvingKey (mem: 300.89 MiB) 21:12:57 [21:12:57.599] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 300.89 MiB) 21:12:57 goblin ecc op : 4/1024 (mem: 300.89 MiB) 21:12:57 busread : 7/6000 (mem: 300.89 MiB) 21:12:57 lookups : 2/15000 (mem: 300.89 MiB) 21:12:57 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 300.89 MiB) 21:12:57 arithmetic : 1760/56000 (mem: 300.89 MiB) 21:12:57 delta range : 1754/18000 (mem: 300.89 MiB) 21:12:57 elliptic : 2/6000 (mem: 300.89 MiB) 21:12:57 auxiliary : 26/26000 (mem: 300.89 MiB) 21:12:57 poseidon ext : 2/17000 (mem: 300.89 MiB) 21:12:57 poseidon int : 2/92000 (mem: 300.89 MiB) 21:12:57 overflow : 0/0 (mem: 300.89 MiB) 21:12:57 (mem: 300.89 MiB) 21:12:57 Total structured size: 242025 (mem: 300.89 MiB) 21:12:57 allocating polynomials object in proving key... (mem: 300.89 MiB) 21:12:57 [21:12:57.676] INFO: ivc-integration:test:native bb - populating trace... (mem: 499.35 MiB) 21:12:57 [21:12:57.692] INFO: ivc-integration:test:native bb - time to construct proving key: 99 ms. (mem: 515.35 MiB) 21:12:57 [21:12:57.746] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60b7c4b35240 (mem: 515.35 MiB) 21:12:57 computing oink proof... (mem: 515.35 MiB) 21:12:57 [21:12:57.747] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.35 MiB) 21:12:57 [21:12:57.933] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 525.35 MiB) 21:12:57 [21:12:57.942] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.35 MiB) 21:12:57 [21:12:57.964] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 525.35 MiB) 21:12:57 Constructing DeciderProvingKey (mem: 525.35 MiB) 21:12:57 [21:12:57.967] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.35 MiB) 21:12:57 goblin ecc op : 56/1024 (mem: 525.35 MiB) 21:12:57 busread : 12/6000 (mem: 525.35 MiB) 21:12:57 [21:12:57.970] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 525.35 MiB) 21:12:57 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.35 MiB) 21:12:57 arithmetic : 4625/56000 (mem: 525.35 MiB) 21:12:57 delta range : 2054/18000 (mem: 525.35 MiB) 21:12:57 elliptic : 2/6000 (mem: 525.35 MiB) 21:12:57 auxiliary : 110/26000 (mem: 525.35 MiB) 21:12:57 poseidon ext : 1302/17000 (mem: 525.35 MiB) 21:12:57 poseidon int : 7412/92000 (mem: 525.35 MiB) 21:12:57 overflow : 0/0 (mem: 525.35 MiB) 21:12:57 (mem: 525.35 MiB) 21:12:57 Total structured size: 242025 (mem: 525.35 MiB) 21:12:57 allocating polynomials object in proving key... (mem: 525.35 MiB) 21:12:58 [21:12:58.083] INFO: ivc-integration:test:native bb - populating trace... (mem: 730.35 MiB) 21:12:58 [21:12:58.117] INFO: ivc-integration:test:native bb - time to construct proving key: 154 ms. (mem: 746.35 MiB) 21:12:58 [21:12:58.233] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60b7c4b41ec0 (mem: 746.35 MiB) 21:12:58 computing folding proof (mem: 746.35 MiB) 21:12:58 vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 746.35 MiB) 21:12:58 [21:12:58.700] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 746.35 MiB) 21:12:58 [21:12:58.814] INFO: ivc-integration:test:native bb - perturbator round (mem: 782.35 MiB) 21:12:58 [21:12:58.868] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.35 MiB) 21:12:59 [21:12:59.310] INFO: ivc-integration:test:native bb - folded (mem: 819.35 MiB) 21:12:59 constructed folding proof (mem: 819.35 MiB) 21:12:59 [21:12:59.321] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 819.35 MiB) 21:12:59 [21:12:59.395] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 819.35 MiB) 21:12:59 Constructing DeciderProvingKey (mem: 819.35 MiB) 21:12:59 [21:12:59.398] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.35 MiB) 21:12:59 goblin ecc op : 392/1024 (mem: 819.35 MiB) 21:12:59 busread : 3/6000 (mem: 819.35 MiB) 21:12:59 lookups : 2/15000 (mem: 819.35 MiB) 21:12:59 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 819.35 MiB) 21:12:59 arithmetic : 6849/56000 (mem: 819.35 MiB) 21:12:59 delta range : 2333/18000 (mem: 819.35 MiB) 21:12:59 elliptic : 2/6000 (mem: 819.35 MiB) 21:12:59 auxiliary : 50/26000 (mem: 819.35 MiB) 21:12:59 poseidon ext : 2472/17000 (mem: 819.35 MiB) 21:12:59 poseidon int : 14081/92000 (mem: 819.35 MiB) 21:12:59 overflow : 0/0 (mem: 819.35 MiB) 21:12:59 (mem: 819.35 MiB) 21:12:59 Total structured size: 242025 (mem: 819.35 MiB) 21:12:59 allocating polynomials object in proving key... (mem: 819.35 MiB) 21:12:59 [21:12:59.634] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.35 MiB) 21:12:59 [21:12:59.699] INFO: ivc-integration:test:native bb - time to construct proving key: 302 ms. (mem: 819.35 MiB) 21:12:59 [21:12:59.958] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60b7c4b37940 (mem: 819.35 MiB) 21:12:59 computing folding proof (mem: 819.35 MiB) 21:12:59 [21:12:59.959] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 819.35 MiB) 21:13:00 [21:13:00.523] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.35 MiB) 21:13:00 [21:13:00.684] INFO: ivc-integration:test:native bb - perturbator round (mem: 819.35 MiB) 21:13:00 [21:13:00.736] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.35 MiB) 21:13:01 [21:13:01.154] INFO: ivc-integration:test:native bb - folded (mem: 819.35 MiB) 21:13:01 constructed folding proof (mem: 819.35 MiB) 21:13:01 [21:13:01.155] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 819.35 MiB) 21:13:01 Minimum required block sizes for structured trace: (mem: 819.35 MiB) 21:13:01 (mem: 819.35 MiB) 21:13:01 prove decider... (mem: 819.35 MiB) 21:13:01 [21:13:01.157] INFO: ivc-integration:test:native bb - ecc_op : 392 21:13:01 busread : 12 21:13:01 lookup : 2 21:13:01 pub_inputs : 36 21:13:01 arithmetic : 6849 21:13:01 delta_range : 2333 21:13:01 elliptic : 2 21:13:01 aux : 110 21:13:01 poseidon2_external : 2472 21:13:01 poseidon2_internal : 14081 21:13:01 overflow : 0 21:13:01 [21:13:01.384] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.35 MiB) 21:13:01 [21:13:01.524] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 819.35 MiB) 21:13:02 [21:13:02.795] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 819.35 MiB) 21:13:02 [21:13:02.902] INFO: ivc-integration:test:native bb - computed opening proof (mem: 819.35 MiB) 21:13:02 [21:13:02.903] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 819.35 MiB) 21:13:02 [21:13:02.940] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 819.35 MiB) 21:13:03 [21:13:03.077] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 21:13:03 [21:13:03.078] INFO: ivc-integration:test:native bb - (mem: 819.35 MiB) 21:13:03 [21:13:03.085] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 819.35 MiB) 21:13:03 [21:13:03.354] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.35 MiB) 21:13:03 [21:13:03.469] INFO: ivc-integration:test:native bb - time to construct proving key: 389 ms. (mem: 819.35 MiB) 21:13:04 [21:13:04.745] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 819.35 MiB) 21:13:05 [21:13:05.538] INFO: ivc-integration:test:native bb - created oink proof 21:13:05 [21:13:05.542] INFO: ivc-integration:test:native bb - (mem: 819.35 MiB) 21:13:05 [21:13:05.798] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.35 MiB) 21:13:07 [21:13:07.218] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 819.35 MiB) 21:13:08 [21:13:08.535] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 819.35 MiB) 21:13:08 [21:13:08.581] INFO: ivc-integration:test:native bb - computed opening proof (mem: 819.35 MiB) 21:13:08 [21:13:08.582] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 819.35 MiB) 21:13:08 [21:13:08.585] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 819.35 MiB) 21:13:08 [21:13:08.828] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 819.35 MiB) 21:13:09 [21:13:09.415] 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: 819.35 MiB) 21:13:09 [21:13:09.444] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 819.35 MiB) 21:13:11 [21:13:11.471] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.35 MiB) 21:13:13 [21:13:13.711] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 819.35 MiB) 21:13:18 [21:13:18.827] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 819.35 MiB) 21:13:18 prove translator... (mem: 819.35 MiB) 21:13:21 [21:13:21.510] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.76 MiB) 21:13:23 [21:13:23.612] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.76 MiB) 21:13:26 [21:13:26.991] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.76 MiB) 21:13:26 finished translator proving. (mem: 847.76 MiB) 21:13:26 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 847.76 MiB) 21:13:27 [21:13:27.019] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 847.76 MiB) 21:13:27 libra_evals_verified: 1 (mem: 847.76 MiB) 21:13:27 pairing_check_verified: 1 (mem: 847.76 MiB) 21:13:27 Mega verified: 1 (mem: 847.76 MiB) 21:13:27 [21:13:27.091] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 848.76 MiB) 21:13:27 batch opening verified?: 1 (mem: 848.76 MiB) 21:13:27 eccvm consistency check verified?: 1 (mem: 848.76 MiB) 21:13:27 translation masking consistency checked?: 1 (mem: 848.76 21:13:27 [21:13:27.094] INFO: ivc-integration:test:native bb - MiB) 21:13:27 [21:13:27.134] INFO: ivc-integration:test:native bb - merge verified?: 1 21:13:27 [21:13:27.134] INFO: ivc-integration:test:native bb - (mem: 848.76 MiB) 21:13:27 eccvm verified?: 1 (mem: 848.76 MiB) 21:13:27 accumulator construction_verified?: 1 (mem: 848.76 MiB) 21:13:27 translation verified?: 1 (mem: 848.76 MiB) 21:13:27 consistency verified?: 1 (mem: 848.76 MiB) 21:13:27 Goblin verified: 1 (mem: 848.76 MiB) 21:13:27 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-KY10ZV" (mem: 848.76 MiB) 21:13:27 [21:13:27.135] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-KY10ZV" (mem: 848.76 MiB) 21:13:27 BN254 commitment key size: 262144 (mem: 848.76 MiB) 21:13:27 [21:13:27.147] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.76 MiB) 21:13:27 [21:13:27.150] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.76 MiB) 21:13:27 goblin ecc op : 4/1024 (mem: 848.76 MiB) 21:13:27 busread : 3/6000 (mem: 848.76 MiB) 21:13:27 lookups : 2/15000 (mem: 848.76 MiB) 21:13:27 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 848.76 MiB) 21:13:27 arithmetic : 1773/56000 (mem: 848.76 MiB) 21:13:27 delta range : 1754/18000 (mem: 848.76 MiB) 21:13:27 elliptic : 2/6000 (mem: 848.76 MiB) 21:13:27 auxiliary : 26/26000 (mem: 848.76 MiB) 21:13:27 poseidon ext : 2/17000 (mem: 21:13:27 [21:13:27.156] INFO: ivc-integration:test:native bb - 848.76 MiB) 21:13:27 poseidon int : 2/92000 (mem: 848.76 MiB) 21:13:27 overflow : 0/0 (mem: 848.76 MiB) 21:13:27 (mem: 848.76 MiB) 21:13:27 Total structured size: 242025 (mem: 848.76 MiB) 21:13:27 allocating polynomials object in proving key... (mem: 848.76 MiB) 21:13:27 [21:13:27.318] INFO: ivc-integration:test:native bb - populating trace... (mem: 848.76 MiB) 21:13:27 [21:13:27.377] INFO: ivc-integration:test:native bb - time to construct proving key: 231 ms. (mem: 848.76 MiB) 21:13:27 [21:13:27.558] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.76 MiB) 21:13:28 [21:13:28.505] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 848.76 MiB) 21:13:28 [21:13:28.508] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.76 MiB) 21:13:28 [21:13:28.992] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 848.76 MiB) 21:13:29 [21:13:29.009] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.76 MiB) 21:13:29 [21:13:29.036] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.76 MiB) 21:13:29 [21:13:29.042] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.76 MiB) 21:13:29 goblin ecc op : 56/1024 (mem: 848.76 MiB) 21:13:29 busread : 3/6000 (mem: 848.76 MiB) 21:13:29 lookups : 2/15000 (mem: 848.76 MiB) 21:13:29 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.76 MiB) 21:13:29 arithmetic : 4481/56000 (mem: 848.76 MiB) 21:13:29 delta range : 2041/18000 (mem: 848.76 MiB) 21:13:29 elliptic : 2/6000 (mem: 848.76 MiB) 21:13:29 auxiliary : 50/26000 (mem: 848.76 MiB) 21:13:29 poseidon ext : 1312/17000 (mem: 848.76 MiB) 21:13:29 poseidon int : 7469/92000 (mem: 848.76 MiB) 21:13:29 overflow : 0/0 (mem: 848.76 MiB) 21:13:29 (mem: 848.76 MiB) 21:13:29 Total structured size: 242025 (mem: 848.76 MiB) 21:13:29 allocating polynomials object in proving key... (mem: 848.76 MiB) 21:13:29 [21:13:29.043] INFO: ivc-integration:test:native bb - 21:13:29 [21:13:29.230] INFO: ivc-integration:test:native bb - populating trace... (mem: 848.76 MiB) 21:13:29 [21:13:29.311] INFO: ivc-integration:test:native bb - time to construct proving key: 275 ms. 21:13:29 [21:13:29.312] INFO: ivc-integration:test:native bb - (mem: 848.76 MiB) 21:13:29 [21:13:29.608] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.76 MiB) 21:13:30 [21:13:30.775] INFO: ivc-integration:test:native bb - computing folding proof (mem: 848.76 MiB) 21:13:30 [21:13:30.777] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 848.76 MiB) 21:13:31 [21:13:31.871] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 21:13:31 [21:13:31.872] INFO: ivc-integration:test:native bb - (mem: 848.76 MiB) 21:13:32 [21:13:32.155] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.76 MiB) 21:13:32 [21:13:32.224] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 882.76 MiB) 21:13:32 [21:13:32.800] INFO: ivc-integration:test:native bb - folded (mem: 882.76 MiB) 21:13:32 constructed folding proof (mem: 882.76 MiB) 21:13:32 Largest circuit: 15360 gates. Trace details: (mem: 882.76 MiB) 21:13:32 Minimum required block sizes for structured trace: (mem: 882.76 MiB) 21:13:32 (mem: 882.76 MiB) 21:13:32 prove decider... (mem: 882.76 MiB) 21:13:32 [21:13:32.800] INFO: ivc-integration:test:native bb - ecc_op : 56 21:13:32 busread : 3 21:13:32 lookup : 2 21:13:32 pub_inputs : 36 21:13:32 arithmetic : 4481 21:13:32 delta_range : 2041 21:13:32 elliptic : 2 21:13:32 aux : 50 21:13:32 poseidon2_external : 1312 21:13:32 poseidon2_internal : 7469 21:13:32 overflow : 0 21:13:33 [21:13:33.105] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 882.76 MiB) 21:13:33 [21:13:33.488] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 21:13:33 [21:13:33.491] INFO: ivc-integration:test:native bb - (mem: 882.76 MiB) 21:13:34 [21:13:34.870] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 882.76 MiB) 21:13:35 [21:13:35.010] INFO: ivc-integration:test:native bb - computed opening proof (mem: 882.76 MiB) 21:13:35 finished decider proving. (mem: 882.76 MiB) 21:13:35 [21:13:35.037] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 21:13:35 [21:13:35.040] INFO: ivc-integration:test:native bb - (mem: 882.76 MiB) 21:13:35 [21:13:35.204] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 882.76 MiB) 21:13:35 [21:13:35.211] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 882.76 MiB) 21:13:35 [21:13:35.356] INFO: ivc-integration:test:native bb - populating trace... (mem: 882.76 MiB) 21:13:35 [21:13:35.406] INFO: ivc-integration:test:native bb - time to construct proving key: 201 ms. (mem: 882.76 MiB) 21:13:36 [21:13:36.371] 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-KY10ZV/proof -k /tmp/bb-client-ivc-integration-KY10ZV/vk -v 21:13:36 [21:13:36.409] INFO: ivc-integration:test:native bb command: verify (mem: 21:13:36 [21:13:36.410] INFO: ivc-integration:test:native 152.23 MiB) 21:13:36 Scheme is: client_ivc, num threads: 128 (mem: 152.23 MiB) 21:13:36 --proof_path: /tmp/bb-client-ivc-integration-KY10ZV/proof (mem: 152.23 MiB) 21:13:36 --vk_path: /tmp/bb-client-ivc-integration-KY10ZV/vk (mem: 152.23 MiB) 21:13:36 --verbose: true (mem: 152.23 MiB) 21:13:36 --scheme: client_ivc (mem: 152.23 MiB) 21:13:36 [21:13:36.506] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 152.23 MiB) 21:13:36 [21:13:36.530] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 164.64 MiB) 21:13:36 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 164.64 MiB) 21:13:36 [21:13:36.552] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 164.64 MiB) 21:13:36 Initialized BN254 CRS from memory with num points = 1025 (mem: 164.64 MiB) 21:13:36 [21:13:36.554] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 164.64 MiB) 21:13:36 libra_evals_verified: 1 (mem: 164.64 MiB) 21:13:36 pairing_check_verified: 1 (mem: 164.64 MiB) 21:13:36 Mega verified: 1 (mem: 164.64 MiB) 21:13:36 [21:13:36.631] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 181.76 MiB) 21:13:36 batch opening verified?: 1 (mem: 181.76 MiB) 21:13:36 eccvm consistency check verified?: 1 (mem: 181.76 MiB) 21:13:36 translation masking consistency checked?: 1 (mem: 181.76 MiB) 21:13:36 [21:13:36.648] INFO: ivc-integration:test:native merge verified?: 1 (mem: 181.76 MiB) 21:13:36 eccvm verified?: 1 (mem: 181.76 MiB) 21:13:36 accumulator construction_verified?: 1 (mem: 181.76 MiB) 21:13:36 translation verified?: 1 (mem: 181.76 MiB) 21:13:36 consistency verified?: 1 (mem: 181.76 MiB) 21:13:36 [21:13:36.649] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 181.76 MiB) 21:13:36 [21:13:36.654] INFO: ivc-integration:test:native verified: 1 (mem: 181.76 MiB) 21:13:36 [21:13:36.755] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-nMdT8e/ivc-inputs.msgpack 21:13:36 [21:13:36.756] 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-nMdT8e --ivc_inputs_path /tmp/bb-client-ivc-integration-nMdT8e/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 21:13:36 [21:13:36.782] INFO: ivc-integration:test:native bb - bb command: prove (mem: 21:13:36 [21:13:36.783] INFO: ivc-integration:test:native bb - 154.62 MiB) 21:13:36 Scheme is: client_ivc, num threads: 128 (mem: 154.62 MiB) 21:13:36 --scheme: client_ivc (mem: 154.62 MiB) 21:13:36 --output_path: /tmp/bb-client-ivc-integration-nMdT8e (mem: 154.62 MiB) 21:13:36 --ivc_inputs_path: /tmp/bb-client-ivc-integration-nMdT8e/ivc-inputs.msgpack (mem: 154.62 MiB) 21:13:36 --verbose: true (mem: 154.62 MiB) 21:13:36 --write_vk: true (mem: 154.62 MiB) 21:13:36 [21:13:36.788] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 154.62 MiB) 21:13:36 [21:13:36.916] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 265.00 MiB) 21:13:37 [21:13:37.016] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 313.25 MiB) 21:13:37 [21:13:37.021] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 313.25 MiB) 21:13:37 Constructing DeciderProvingKey (mem: 313.25 MiB) 21:13:37 [21:13:37.028] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 313.25 MiB) 21:13:37 goblin ecc op : 4/1024 (mem: 313.25 MiB) 21:13:37 busread : 7/6000 (mem: 313.25 MiB) 21:13:37 lookups : 2/15000 (mem: 313.25 MiB) 21:13:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 313.25 MiB) 21:13:37 arithmetic : 1760/56000 (mem: 313.25 MiB) 21:13:37 delta range : 1754/18000 (mem: 313.25 MiB) 21:13:37 elliptic : 2/6000 (mem: 313.25 MiB) 21:13:37 auxiliary : 26/26000 (mem: 313.25 MiB) 21:13:37 poseidon ext : 2/17000 (mem: 313.25 MiB) 21:13:37 poseidon int : 2/92000 (mem: 313.25 MiB) 21:13:37 overflow : 0/0 (mem: 313.25 MiB) 21:13:37 (mem: 313.25 MiB) 21:13:37 Total structured size: 242025 (mem: 313.25 MiB) 21:13:37 [21:13:37.029] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 313.25 MiB) 21:13:37 [21:13:37.156] INFO: ivc-integration:test:native bb - populating trace... (mem: 510.38 MiB) 21:13:37 [21:13:37.166] INFO: ivc-integration:test:native bb - time to construct proving key: 144 ms. (mem: 522.38 MiB) 21:13:37 [21:13:37.216] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e4862321080 (mem: 522.38 MiB) 21:13:37 computing oink proof... (mem: 522.38 MiB) 21:13:37 [21:13:37.217] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.38 MiB) 21:13:37 [21:13:37.479] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 530.38 MiB) 21:13:37 [21:13:37.489] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 530.38 MiB) 21:13:37 [21:13:37.512] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 530.38 MiB) 21:13:37 Constructing DeciderProvingKey (mem: 530.38 MiB) 21:13:37 [21:13:37.515] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 530.38 MiB) 21:13:37 goblin ecc op : 56/1024 (mem: 530.38 MiB) 21:13:37 busread : 12/6000 (mem: 530.38 MiB) 21:13:37 lookups : 2/15000 (mem: 530.38 21:13:37 [21:13:37.519] INFO: ivc-integration:test:native bb - MiB) 21:13:37 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 530.38 MiB) 21:13:37 arithmetic : 4625/56000 (mem: 530.38 MiB) 21:13:37 delta range : 2054/18000 (mem: 530.38 MiB) 21:13:37 elliptic : 2/6000 (mem: 530.38 MiB) 21:13:37 auxiliary : 110/26000 (mem: 530.38 MiB) 21:13:37 poseidon ext : 1302/17000 (mem: 530.38 MiB) 21:13:37 poseidon int : 7412/92000 (mem: 530.38 MiB) 21:13:37 overflow : 0/0 (mem: 530.38 MiB) 21:13:37 (mem: 530.38 MiB) 21:13:37 Total structured size: 242025 (mem: 530.38 MiB) 21:13:37 allocating polynomials object in proving key... (mem: 530.38 MiB) 21:13:37 [21:13:37.729] INFO: ivc-integration:test:native bb - populating trace... (mem: 734.38 MiB) 21:13:37 [21:13:37.853] INFO: ivc-integration:test:native bb - time to construct proving key: 340 ms. (mem: 750.38 MiB) 21:13:38 [21:13:38.007] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e486232a300 (mem: 750.38 MiB) 21:13:38 computing folding proof (mem: 750.38 MiB) 21:13:38 [21:13:38.009] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 750.38 MiB) 21:13:38 [21:13:38.528] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.38 MiB) 21:13:38 [21:13:38.656] INFO: ivc-integration:test:native bb - perturbator round (mem: 786.38 MiB) 21:13:38 [21:13:38.814] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.38 MiB) 21:13:39 [21:13:39.303] INFO: ivc-integration:test:native bb - folded 21:13:39 [21:13:39.304] INFO: ivc-integration:test:native bb - (mem: 819.38 MiB) 21:13:39 constructed folding proof (mem: 819.38 MiB) 21:13:39 [21:13:39.308] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 819.38 MiB) 21:13:39 Constructing DeciderProvingKey (mem: 819.38 MiB) 21:13:39 [21:13:39.313] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.38 MiB) 21:13:39 goblin ecc op : 4/1024 (mem: 819.38 MiB) 21:13:39 busread : 7/6000 (mem: 819.38 MiB) 21:13:39 lookups : 2/15000 (mem: 819.38 MiB) 21:13:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 819.38 MiB) 21:13:39 arithmetic : 1760/56000 (mem: 819.38 MiB) 21:13:39 delta range : 1754/18000 (mem: 819.38 MiB) 21:13:39 elliptic : 2/6000 (mem: 819.38 MiB) 21:13:39 auxiliary : 26/26000 (mem: 819.38 MiB) 21:13:39 poseidon ext : 2/17000 (mem: 819.38 MiB) 21:13:39 poseidon int : 2/92000 (mem: 819.38 MiB) 21:13:39 [21:13:39.314] INFO: ivc-integration:test:native bb - overflow : 0/0 (mem: 819.38 MiB) 21:13:39 (mem: 819.38 MiB) 21:13:39 Total structured size: 242025 (mem: 819.38 MiB) 21:13:39 allocating polynomials object in proving key... (mem: 819.38 MiB) 21:13:39 [21:13:39.436] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.38 MiB) 21:13:39 [21:13:39.449] INFO: ivc-integration:test:native bb - time to construct proving key: 140 ms. (mem: 819.38 MiB) 21:13:39 [21:13:39.589] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e48623218c0 (mem: 819.38 MiB) 21:13:39 computing folding proof (mem: 819.38 MiB) 21:13:39 [21:13:39.589] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.38 MiB) 21:13:39 [21:13:39.851] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.38 MiB) 21:13:39 [21:13:39.933] INFO: ivc-integration:test:native bb - perturbator round (mem: 819.38 MiB) 21:13:39 [21:13:39.983] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.09 MiB) 21:13:40 [21:13:40.286] INFO: ivc-integration:test:native bb - folded (mem: 821.09 MiB) 21:13:40 constructed folding proof (mem: 821.09 MiB) 21:13:40 [21:13:40.299] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 821.09 MiB) 21:13:40 [21:13:40.361] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.09 MiB) 21:13:40 [21:13:40.444] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 821.09 MiB) 21:13:40 Constructing DeciderProvingKey (mem: 821.09 MiB) 21:13:40 [21:13:40.448] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.09 MiB) 21:13:40 goblin ecc op : 792/1024 (mem: 821.09 MiB) 21:13:40 busread : 12/6000 (mem: 821.09 MiB) 21:13:40 lookups : 2/15000 (mem: 821.09 MiB) 21:13:40 [21:13:40.450] INFO: ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.09 MiB) 21:13:40 arithmetic : 12080/56000 (mem: 821.09 MiB) 21:13:40 delta range : 2942/18000 (mem: 821.09 MiB) 21:13:40 elliptic : 2/6000 (mem: 821.09 MiB) 21:13:40 auxiliary : 350/26000 (mem: 821.09 MiB) 21:13:40 poseidon ext : 4942/17000 (mem: 821.09 MiB) 21:13:40 poseidon int : 28160/92000 (mem: 821.09 MiB) 21:13:40 overflow : 0/0 (mem: 821.09 MiB) 21:13:40 (mem: 821.09 MiB) 21:13:40 Total structured size: 242025 (mem: 821.09 MiB) 21:13:40 allocating polynomials object in proving key... (mem: 821.09 MiB) 21:13:40 [21:13:40.559] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.09 MiB) 21:13:40 [21:13:40.608] INFO: ivc-integration:test:native bb - time to construct proving key: 165 ms. (mem: 821.09 MiB) 21:13:40 [21:13:40.712] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e486239df80 (mem: 821.09 MiB) 21:13:40 computing folding proof (mem: 821.09 MiB) 21:13:40 [21:13:40.713] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 821.09 MiB) 21:13:41 [21:13:41.197] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.09 MiB) 21:13:41 [21:13:41.297] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.09 MiB) 21:13:41 [21:13:41.351] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.25 MiB) 21:13:41 [21:13:41.677] INFO: ivc-integration:test:native bb - folded (mem: 850.25 MiB) 21:13:41 constructed folding proof (mem: 850.25 MiB) 21:13:41 [21:13:41.686] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 850.25 MiB) 21:13:41 [21:13:41.756] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 850.25 MiB) 21:13:41 Constructing DeciderProvingKey (mem: 850.25 MiB) 21:13:41 [21:13:41.760] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.25 MiB) 21:13:41 goblin ecc op : 392/1024 (mem: 850.25 MiB) 21:13:41 busread : 16/6000 (mem: 850.25 MiB) 21:13:41 lookups : 2/15000 (mem: 850.25 MiB) 21:13:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 850.25 MiB) 21:13:41 arithmetic : 6914/56000 21:13:41 [21:13:41.761] INFO: ivc-integration:test:native bb - (mem: 850.25 MiB) 21:13:41 delta range : 2347/18000 (mem: 850.25 MiB) 21:13:41 elliptic : 2/6000 (mem: 850.25 MiB) 21:13:41 auxiliary : 77/26000 (mem: 850.25 MiB) 21:13:41 poseidon ext : 2472/17000 (mem: 850.25 MiB) 21:13:41 poseidon int : 14081/92000 (mem: 850.25 MiB) 21:13:41 overflow : 0/0 (mem: 850.25 MiB) 21:13:41 (mem: 850.25 MiB) 21:13:41 Total structured size: 242025 (mem: 850.25 MiB) 21:13:41 allocating polynomials object in proving key... (mem: 850.25 MiB) 21:13:41 [21:13:41.850] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.25 MiB) 21:13:41 [21:13:41.879] INFO: ivc-integration:test:native bb - time to construct proving key: 122 ms. (mem: 850.25 MiB) 21:13:42 [21:13:42.091] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e4862398980 (mem: 850.25 MiB) 21:13:42 computing folding proof (mem: 850.25 MiB) 21:13:42 vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.25 MiB) 21:13:42 [21:13:42.527] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.25 MiB) 21:13:42 [21:13:42.673] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.25 MiB) 21:13:42 [21:13:42.757] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.33 MiB) 21:13:43 [21:13:43.013] INFO: ivc-integration:test:native bb - folded (mem: 851.33 MiB) 21:13:43 constructed folding proof (mem: 851.33 MiB) 21:13:43 [21:13:43.020] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 851.33 MiB) 21:13:43 [21:13:43.089] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 851.33 MiB) 21:13:43 Constructing DeciderProvingKey (mem: 851.33 MiB) 21:13:43 [21:13:43.094] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.33 MiB) 21:13:43 goblin ecc op : 392/1024 (mem: 851.33 MiB) 21:13:43 busread : 3/6000 (mem: 851.33 MiB) 21:13:43 lookups : 2/15000 (mem: 851.33 MiB) 21:13:43 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.33 MiB) 21:13:43 arithmetic : 6849/56000 (mem: 851.33 MiB) 21:13:43 delta range : 2333/18000 (mem: 851.33 MiB) 21:13:43 elliptic : 2/6000 (mem: 851.33 MiB) 21:13:43 auxiliary : 50/26000 (mem: 851.33 MiB) 21:13:43 poseidon ext : 2472/17000 (mem: 851.33 MiB) 21:13:43 poseidon int : 14081/92000 (mem: 851.33 MiB) 21:13:43 overflow : 0/0 (mem: 851.33 MiB) 21:13:43 (mem: 851.33 MiB) 21:13:43 Total structured size: 242025 (mem: 851.33 MiB) 21:13:43 allocating polynomials object in proving key... (mem: 851.33 MiB) 21:13:43 [21:13:43.173] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.33 MiB) 21:13:43 [21:13:43.200] INFO: ivc-integration:test:native bb - time to construct proving key: 109 ms. (mem: 851.33 MiB) 21:13:43 [21:13:43.379] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e486232fc00 (mem: 851.33 MiB) 21:13:43 computing folding proof (mem: 851.33 MiB) 21:13:43 [21:13:43.380] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.33 MiB) 21:13:43 [21:13:43.992] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.33 MiB) 21:13:44 [21:13:44.096] INFO: ivc-integration:test:native bb - perturbator round (mem: 851.33 MiB) 21:13:44 [21:13:44.162] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.77 MiB) 21:13:44 [21:13:44.484] INFO: ivc-integration:test:native bb - folded (mem: 851.77 MiB) 21:13:44 constructed folding proof (mem: 851.77 MiB) 21:13:44 Largest circuit: 48490 gates. Trace details: (mem: 851.77 MiB) 21:13:44 Minimum required block sizes for structured trace: (mem: 851.77 MiB) 21:13:44 (mem: 851.77 MiB) 21:13:44 prove decider... (mem: 851.77 MiB) 21:13:44 [21:13:44.485] INFO: ivc-integration:test:native bb - ecc_op : 792 21:13:44 busread : 16 21:13:44 lookup : 2 21:13:44 pub_inputs : 36 21:13:44 arithmetic : 12080 21:13:44 delta_range : 2942 21:13:44 elliptic : 2 21:13:44 aux : 350 21:13:44 poseidon2_external : 4942 21:13:44 poseidon2_internal : 28160 21:13:44 overflow : 0 21:13:44 [21:13:44.656] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.77 MiB) 21:13:44 [21:13:44.826] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.77 MiB) 21:13:45 [21:13:45.746] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.77 MiB) 21:13:45 [21:13:45.819] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.77 MiB) 21:13:45 finished decider proving. (mem: 851.77 MiB) 21:13:45 [21:13:45.834] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a 21:13:45 [21:13:45.835] INFO: ivc-integration:test:native bb - (mem: 851.77 MiB) 21:13:45 [21:13:45.928] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.77 MiB) 21:13:45 [21:13:45.933] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 851.77 MiB) 21:13:46 [21:13:46.014] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.77 MiB) 21:13:46 [21:13:46.049] INFO: ivc-integration:test:native bb - time to construct proving key: 121 ms. (mem: 851.77 MiB) 21:13:46 [21:13:46.607] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 851.77 MiB) 21:13:47 [21:13:47.102] INFO: ivc-integration:test:native bb - created oink proof (mem: 851.77 MiB) 21:13:47 [21:13:47.226] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.77 MiB) 21:13:47 [21:13:47.744] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.77 MiB) 21:13:48 [21:13:48.355] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.77 MiB) 21:13:48 [21:13:48.407] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.77 MiB) 21:13:48 finished decider proving. (mem: 851.77 MiB) 21:13:48 Constructing a Goblin proof with num ultra ops = 2226 (mem: 851.77 MiB) 21:13:48 [21:13:48.616] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 851.77 MiB) 21:13:48 [21:13:48.952] 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: 851.77 MiB) 21:13:48 [21:13:48.966] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 851.77 MiB) 21:13:50 [21:13:50.491] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.77 MiB) 21:13:51 [21:13:51.925] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.77 MiB) 21:13:55 [21:13:55.481] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 851.77 MiB) 21:13:55 [21:13:55.482] INFO: ivc-integration:test:native bb - prove translator... (mem: 851.77 MiB) 21:13:58 [21:13:58.690] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 863.80 MiB) 21:14:00 [21:14:00.845] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 21:14:00 [21:14:00.846] INFO: ivc-integration:test:native bb - 864.80 MiB) 21:14:02 [21:14:02.464] INFO: ivc-integration:test:native bb - computed opening proof (mem: 864.80 MiB) 21:14:02 finished translator proving. (mem: 864.80 MiB) 21:14:02 [21:14:02.467] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 864.80 MiB) 21:14:02 [21:14:02.483] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 864.80 MiB) 21:14:02 libra_evals_verified: 1 (mem: 864.80 MiB) 21:14:02 pairing_check_verified: 1 (mem: 864.80 MiB) 21:14:02 Mega verified: 1 (mem: 864.80 MiB) 21:14:02 [21:14:02.560] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 865.80 MiB) 21:14:02 batch opening verified?: 1 (mem: 865.80 MiB) 21:14:02 eccvm consistency check verified?: 1 (mem: 865.80 MiB) 21:14:02 translation masking consistency checked?: 1 (mem: 865.80 MiB) 21:14:02 [21:14:02.575] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 865.80 MiB) 21:14:02 eccvm verified?: 1 (mem: 865.80 MiB) 21:14:02 accumulator construction_verified?: 1 (mem: 865.80 MiB) 21:14:02 translation verified?: 1 21:14:02 [21:14:02.576] INFO: ivc-integration:test:native bb - (mem: 865.80 MiB) 21:14:02 consistency verified?: 1 (mem: 865.80 MiB) 21:14:02 Goblin verified: 1 (mem: 865.80 MiB) 21:14:02 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-nMdT8e" (mem: 865.80 MiB) 21:14:02 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-nMdT8e" (mem: 865.80 MiB) 21:14:02 BN254 commitment key size: 262144 (mem: 865.80 MiB) 21:14:02 [21:14:02.578] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 865.80 MiB) 21:14:02 [21:14:02.580] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 865.80 MiB) 21:14:02 goblin ecc op : 4/1024 (mem: 865.80 MiB) 21:14:02 busread : 3/6000 (mem: 865.80 MiB) 21:14:02 lookups : 2/15000 (mem: 865.80 MiB) 21:14:02 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 865.80 MiB) 21:14:02 arithmetic : 1773/56000 (mem: 865.80 MiB) 21:14:02 [21:14:02.581] INFO: ivc-integration:test:native bb - delta range : 1754/18000 (mem: 865.80 MiB) 21:14:02 elliptic : 2/6000 (mem: 865.80 MiB) 21:14:02 auxiliary : 26/26000 (mem: 865.80 MiB) 21:14:02 poseidon ext : 2/17000 (mem: 865.80 MiB) 21:14:02 poseidon int : 2/92000 (mem: 865.80 MiB) 21:14:02 overflow : 0/0 (mem: 865.80 MiB) 21:14:02 (mem: 865.80 MiB) 21:14:02 Total structured size: 242025 (mem: 865.80 MiB) 21:14:02 allocating polynomials object in proving key... (mem: 865.80 MiB) 21:14:02 [21:14:02.699] INFO: ivc-integration:test:native bb - populating trace... (mem: 865.80 MiB) 21:14:02 [21:14:02.715] INFO: ivc-integration:test:native bb - time to construct proving key: 136 ms. (mem: 865.80 MiB) 21:14:02 [21:14:02.771] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 865.80 MiB) 21:14:03 [21:14:03.240] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 865.80 MiB) 21:14:03 [21:14:03.242] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 865.80 MiB) 21:14:03 [21:14:03.397] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 865.80 MiB) 21:14:03 [21:14:03.407] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 865.80 MiB) 21:14:03 [21:14:03.428] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 865.80 MiB) 21:14:03 [21:14:03.433] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 865.80 MiB) 21:14:03 goblin ecc op : 56/1024 (mem: 865.80 MiB) 21:14:03 busread : 3/6000 (mem: 865.80 MiB) 21:14:03 lookups : 2/15000 (mem: 865.80 MiB) 21:14:03 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 865.80 MiB) 21:14:03 arithmetic : 4481/56000 (mem: 865.80 MiB) 21:14:03 delta range : 2041/18000 (mem: 865.80 MiB) 21:14:03 elliptic : 2/6000 (mem: 865.80 MiB) 21:14:03 auxiliary : 50/26000 (mem: 865.80 MiB) 21:14:03 poseidon ext : 1312/17000 (mem: 865.80 MiB) 21:14:03 poseidon int : 7469/92000 (mem: 865.80 MiB) 21:14:03 overflow : 0/0 (mem: 865.80 MiB) 21:14:03 (mem: 865.80 MiB) 21:14:03 Total structured size: 242025 (mem: 865.80 MiB) 21:14:03 allocating polynomials object in proving key... (mem: 865.80 MiB) 21:14:03 [21:14:03.479] INFO: ivc-integration:test:native bb - populating trace... (mem: 865.80 MiB) 21:14:03 [21:14:03.491] INFO: ivc-integration:test:native bb - time to construct proving key: 63 ms. (mem: 865.80 MiB) 21:14:03 [21:14:03.527] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 865.80 MiB) 21:14:03 [21:14:03.895] INFO: ivc-integration:test:native bb - computing folding proof (mem: 865.80 MiB) 21:14:03 [21:14:03.896] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 865.80 MiB) 21:14:04 [21:14:04.181] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 865.80 MiB) 21:14:04 [21:14:04.250] INFO: ivc-integration:test:native bb - perturbator round (mem: 865.80 MiB) 21:14:04 [21:14:04.340] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 897.80 MiB) 21:14:04 [21:14:04.582] INFO: ivc-integration:test:native bb - folded (mem: 897.80 MiB) 21:14:04 [21:14:04.583] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 897.80 MiB) 21:14:04 Largest circuit: 15360 gates. Trace details: (mem: 897.80 MiB) 21:14:04 Minimum required block sizes for structured trace: (mem: 897.80 MiB) 21:14:04 (mem: 897.80 MiB) 21:14:04 prove decider... (mem: 897.80 MiB) 21:14:04 [21:14:04.585] INFO: ivc-integration:test:native bb - ecc_op : 56 21:14:04 busread : 3 21:14:04 lookup : 2 21:14:04 pub_inputs : 36 21:14:04 arithmetic : 4481 21:14:04 delta_range : 2041 21:14:04 elliptic : 2 21:14:04 aux : 50 21:14:04 poseidon2_external : 1312 21:14:04 poseidon2_internal : 7469 21:14:04 overflow : 0 21:14:04 [21:14:04.644] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 897.80 MiB) 21:14:04 [21:14:04.713] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 897.80 MiB) 21:14:05 [21:14:05.347] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 897.80 MiB) 21:14:05 [21:14:05.426] INFO: ivc-integration:test:native bb - computed opening proof 21:14:05 [21:14:05.427] INFO: ivc-integration:test:native bb - (mem: 897.80 MiB) 21:14:05 finished decider proving. (mem: 897.80 MiB) 21:14:05 [21:14:05.439] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 897.80 MiB) 21:14:05 [21:14:05.583] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 897.80 MiB) 21:14:05 [21:14:05.587] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 897.80 MiB) 21:14:05 [21:14:05.758] INFO: ivc-integration:test:native bb - populating trace... (mem: 897.80 MiB) 21:14:05 [21:14:05.813] INFO: ivc-integration:test:native bb - time to construct proving key: 232 ms. (mem: 897.80 MiB) 21:14:06 [21:14:06.167] 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-nMdT8e/proof -k /tmp/bb-client-ivc-integration-nMdT8e/vk -v 21:14:06 [21:14:06.187] INFO: ivc-integration:test:native bb command: verify (mem: 159.71 MiB) 21:14:06 [21:14:06.188] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 159.71 MiB) 21:14:06 --proof_path: /tmp/bb-client-ivc-integration-nMdT8e/proof (mem: 159.71 MiB) 21:14:06 --vk_path: /tmp/bb-client-ivc-integration-nMdT8e/vk (mem: 159.71 MiB) 21:14:06 --verbose: true (mem: 159.71 MiB) 21:14:06 --scheme: client_ivc (mem: 159.71 MiB) 21:14:06 [21:14:06.288] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 159.71 MiB) 21:14:06 [21:14:06.312] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 162.24 MiB) 21:14:06 [21:14:06.313] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 162.24 MiB) 21:14:06 [21:14:06.333] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 162.24 MiB) 21:14:06 [21:14:06.335] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 162.24 MiB) 21:14:06 [21:14:06.335] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 162.24 MiB) 21:14:06 libra_evals_verified: 1 (mem: 162.24 MiB) 21:14:06 pairing_check_verified: 1 (mem: 162.24 MiB) 21:14:06 Mega verified: 1 (mem: 162.24 MiB) 21:14:06 [21:14:06.500] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 179.36 MiB) 21:14:06 batch opening verified?: 1 (mem: 179.36 MiB) 21:14:06 eccvm consistency check verified?: 1 (mem: 179.36 MiB) 21:14:06 translation masking consistency checked?: 1 (mem: 179.36 MiB) 21:14:06 [21:14:06.519] INFO: ivc-integration:test:native merge verified?: 1 (mem: 179.36 MiB) 21:14:06 eccvm verified?: 1 (mem: 179.36 MiB) 21:14:06 accumulator construction_verified?: 1 (mem: 179.36 MiB) 21:14:06 translation verified?: 1 (mem: 179.36 MiB) 21:14:06 consistency verified?: 1 (mem: 179.36 MiB) 21:14:06 Goblin verified: 1 (mem: 179.36 MiB) 21:14:06 [21:14:06.528] INFO: ivc-integration:test:native verified: 1 (mem: 179.36 MiB) 21:14:06 PASS src/native_client_ivc_integration.test.ts (72.773 s) 21:14:06 Client IVC Integration 21:14:06 ✓ Should generate a verifiable client IVC proof from a simple mock tx (39390 ms) 21:14:06 ✓ Should generate a verifiable client IVC proof from a complex mock tx (29891 ms) 21:14:06 21:14:06 Test Suites: 1 passed, 1 total 21:14:06 Tests: 2 passed, 2 total 21:14:06 Snapshots: 0 total 21:14:06 Time: 72.845 s 21:14:06 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 21:14:06 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?