ACI ·

Parent Log: http://ci.aztec-labs.com/f32faee66f030d3c Command: bdb887914394d73a: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/47c749527b1c3cce3edd9defedc46e89ea00c69e Env: REF_NAME=gh-readonly-queue/next/pr-15009-00cd67e98e76d3202a0219baf301d59ef4211872 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 15:48:39 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15009_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 15:48:43 [15:48:43.974] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-yl5gvf/ivc-inputs.msgpack 15:48:43 [15:48:43.981] 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-yl5gvf --ivc_inputs_path /tmp/bb-client-ivc-integration-yl5gvf/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:48:44 [15:48:44.003] INFO: ivc-integration:test:native bb - bb command: prove (mem: 155.77 MiB) 15:48:44 [15:48:44.004] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 155.77 MiB) 15:48:44 --scheme: client_ivc (mem: 155.77 MiB) 15:48:44 --output_path: /tmp/bb-client-ivc-integration-yl5gvf (mem: 155.77 MiB) 15:48:44 --ivc_inputs_path: /tmp/bb-client-ivc-integration-yl5gvf/ivc-inputs.msgpack (mem: 155.77 MiB) 15:48:44 --verbose: true (mem: 155.77 MiB) 15:48:44 --write_vk: true (mem: 155.77 MiB) 15:48:44 BN254 commitment key size: 262144 (mem: 155.77 MiB) 15:48:44 [15:48:44.114] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 245.00 MiB) 15:48:44 [15:48:44.203] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 293.16 MiB) 15:48:44 [15:48:44.208] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 293.16 15:48:44 [15:48:44.209] INFO: ivc-integration:test:native bb - MiB) 15:48:44 Constructing DeciderProvingKey (mem: 293.16 MiB) 15:48:44 [15:48:44.215] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 293.16 MiB) 15:48:44 goblin ecc op : 4/1024 (mem: 293.16 MiB) 15:48:44 busread : 7/6000 (mem: 293.16 MiB) 15:48:44 lookups : 2/15000 (mem: 293.16 MiB) 15:48:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 293.16 MiB) 15:48:44 arithmetic : 1760/56000 (mem: 293.16 MiB) 15:48:44 delta range : 1754/18000 (mem: 293.16 MiB) 15:48:44 elliptic : 2/6000 (mem: 293.16 MiB) 15:48:44 auxiliary : 26/26000 (mem: 293.16 MiB) 15:48:44 poseidon ext : 2/17000 (mem: 293.16 MiB) 15:48:44 poseidon int : 2/92000 (mem: 293.16 MiB) 15:48:44 overflow : 0/0 (mem: 293.16 MiB) 15:48:44 (mem: 293.16 MiB) 15:48:44 Total structured size: 242025 (mem: 293.16 MiB) 15:48:44 allocating polynomials object in proving key... (mem: 293.16 MiB) 15:48:44 [15:48:44.296] INFO: ivc-integration:test:native bb - populating trace... (mem: 496.31 MiB) 15:48:44 [15:48:44.308] INFO: ivc-integration:test:native bb - time to construct proving key: 99 ms. (mem: 511.31 MiB) 15:48:44 [15:48:44.338] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5873cb27af00 (mem: 511.31 MiB) 15:48:44 computing oink proof... (mem: 511.31 MiB) 15:48:44 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 511.31 MiB) 15:48:44 [15:48:44.875] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 511.31 MiB) 15:48:45 [15:48:45.128] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 520.31 MiB) 15:48:45 [15:48:45.142] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.31 MiB) 15:48:45 [15:48:45.184] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 520.31 MiB) 15:48:45 Constructing DeciderProvingKey (mem: 520.31 MiB) 15:48:45 [15:48:45.192] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 520.31 MiB) 15:48:45 goblin ecc op : 56/1024 (mem: 520.31 MiB) 15:48:45 busread : 12/6000 (mem: 520.31 MiB) 15:48:45 lookups : 2/15000 (mem: 520.31 MiB) 15:48:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 520.31 MiB) 15:48:45 arithmetic : 4625/56000 (mem: 520.31 MiB) 15:48:45 delta range : 2054/18000 (mem: 520.31 MiB) 15:48:45 elliptic : 2/6000 (mem: 520.31 MiB) 15:48:45 auxiliary : 110/26000 (mem: 520.31 MiB) 15:48:45 poseidon ext : 1302/17000 (mem: 520.31 MiB) 15:48:45 poseidon int : 7412/92000 (mem: 520.31 MiB) 15:48:45 overflow : 0/0 (mem: 520.31 MiB) 15:48:45 (mem: 520.31 MiB) 15:48:45 Total structured size: 242025 (mem: 520.31 MiB) 15:48:45 allocating polynomials object in proving key... (mem: 520.31 MiB) 15:48:45 [15:48:45.305] INFO: ivc-integration:test:native bb - populating trace... (mem: 729.31 MiB) 15:48:45 [15:48:45.339] INFO: ivc-integration:test:native bb - time to construct proving key: 155 ms. (mem: 748.31 MiB) 15:48:45 [15:48:45.403] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5873cb287b80 (mem: 748.31 MiB) 15:48:45 [15:48:45.404] INFO: ivc-integration:test:native bb - computing folding proof (mem: 748.31 MiB) 15:48:45 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 748.31 MiB) 15:48:45 [15:48:45.967] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 748.31 MiB) 15:48:46 [15:48:46.565] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.31 MiB) 15:48:46 [15:48:46.692] INFO: ivc-integration:test:native bb - perturbator round (mem: 785.31 MiB) 15:48:46 [15:48:46.768] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.31 MiB) 15:48:47 [15:48:47.214] INFO: ivc-integration:test:native bb - folded (mem: 816.31 MiB) 15:48:47 constructed folding proof (mem: 816.31 MiB) 15:48:47 [15:48:47.226] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 816.31 MiB) 15:48:47 [15:48:47.316] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.31 MiB) 15:48:47 Constructing DeciderProvingKey (mem: 816.31 MiB) 15:48:47 [15:48:47.322] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.31 MiB) 15:48:47 goblin ecc op : 392/1024 (mem: 816.31 MiB) 15:48:47 busread : 3/6000 (mem: 816.31 MiB) 15:48:47 lookups : 2/15000 (mem: 816.31 MiB) 15:48:47 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 816.31 MiB) 15:48:47 arithmetic : 6849/56000 (mem: 816.31 MiB) 15:48:47 delta range : 2333/18000 (mem: 816.31 MiB) 15:48:47 elliptic : 2/6000 (mem: 816.31 MiB) 15:48:47 auxiliary : 50/26000 (mem: 816.31 MiB) 15:48:47 poseidon ext : 2472/17000 (mem: 816.31 MiB) 15:48:47 poseidon int : 14081/92000 (mem: 816.31 MiB) 15:48:47 overflow : 0/0 (mem: 816.31 MiB) 15:48:47 (mem: 816.31 MiB) 15:48:47 Total structured size: 242025 (mem: 816.31 MiB) 15:48:47 allocating polynomials object in proving key... (mem: 816.31 MiB) 15:48:47 [15:48:47.473] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.31 MiB) 15:48:47 [15:48:47.519] INFO: ivc-integration:test:native bb - time to construct proving key: 203 ms. (mem: 816.31 MiB) 15:48:47 [15:48:47.735] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5873cb27d540 (mem: 816.31 MiB) 15:48:47 computing folding proof (mem: 816.31 MiB) 15:48:47 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 816.31 MiB) 15:48:48 [15:48:48.341] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 816.31 MiB) 15:48:48 [15:48:48.892] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.31 MiB) 15:48:49 [15:48:49.020] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.31 MiB) 15:48:49 [15:48:49.088] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 825.27 MiB) 15:48:49 [15:48:49.480] INFO: ivc-integration:test:native bb - folded (mem: 825.27 MiB) 15:48:49 constructed folding proof (mem: 825.27 MiB) 15:48:49 [15:48:49.481] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 825.27 MiB) 15:48:49 Minimum required block sizes for structured trace: (mem: 825.27 MiB) 15:48:49 (mem: 825.27 MiB) 15:48:49 prove decider... (mem: 825.27 MiB) 15:48:49 [15:48:49.482] INFO: ivc-integration:test:native bb - ecc_op : 392 15:48:49 busread : 12 15:48:49 lookup : 2 15:48:49 pub_inputs : 36 15:48:49 arithmetic : 6849 15:48:49 delta_range : 2333 15:48:49 elliptic : 2 15:48:49 aux : 110 15:48:49 poseidon2_external : 2472 15:48:49 poseidon2_internal : 14081 15:48:49 overflow : 0 15:48:49 [15:48:49.777] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 825.27 MiB) 15:48:49 [15:48:49.968] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 825.27 MiB) 15:48:51 [15:48:51.254] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 825.27 MiB) 15:48:51 [15:48:51.364] INFO: ivc-integration:test:native bb - computed opening proof (mem: 825.27 MiB) 15:48:51 finished decider proving. (mem: 825.27 MiB) 15:48:51 [15:48:51.400] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 825.27 MiB) 15:48:51 [15:48:51.534] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 825.27 MiB) 15:48:51 [15:48:51.540] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 825.27 MiB) 15:48:51 [15:48:51.804] INFO: ivc-integration:test:native bb - populating trace... (mem: 825.27 MiB) 15:48:51 [15:48:51.897] INFO: ivc-integration:test:native bb - time to construct proving key: 360 ms. (mem: 825.27 MiB) 15:48:52 [15:48:52.597] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 825.27 MiB) 15:48:53 [15:48:53.278] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 825.27 MiB) 15:48:54 [15:48:54.135] INFO: ivc-integration:test:native bb - created oink proof (mem: 825.27 MiB) 15:48:54 [15:48:54.453] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 825.27 MiB) 15:48:56 [15:48:56.156] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 825.27 MiB) 15:48:57 [15:48:57.371] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 825.27 MiB) 15:48:57 [15:48:57.412] INFO: ivc-integration:test:native bb - computed opening proof 15:48:57 [15:48:57.414] INFO: ivc-integration:test:native bb - (mem: 825.27 MiB) 15:48:57 finished decider proving. (mem: 825.27 MiB) 15:48:57 Constructing a Goblin proof with num ultra ops = 1038 (mem: 825.27 MiB) 15:48:57 [15:48:57.752] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 825.27 MiB) 15:48:58 [15:48:58.442] 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: 825.27 MiB) 15:48:58 [15:48:58.478] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 15:48:58 [15:48:58.479] INFO: ivc-integration:test:native bb - (mem: 825.27 MiB) 15:49:00 [15:49:00.983] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 825.27 MiB) 15:49:03 [15:49:03.437] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 825.27 MiB) 15:49:09 [15:49:09.728] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 825.27 MiB) 15:49:09 prove translator... (mem: 825.27 MiB) 15:49:13 [15:49:13.178] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 842.12 MiB) 15:49:16 [15:49:16.352] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 842.12 MiB) 15:49:19 [15:49:19.439] INFO: ivc-integration:test:native bb - computed opening proof (mem: 842.12 MiB) 15:49:19 [15:49:19.445] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 842.12 MiB) 15:49:19 [15:49:19.460] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 15:49:19 [15:49:19.461] INFO: ivc-integration:test:native bb - (mem: 842.12 MiB) 15:49:19 [15:49:19.480] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 842.12 MiB) 15:49:19 libra_evals_verified: 1 (mem: 842.12 MiB) 15:49:19 pairing_check_verified: 1 (mem: 842.12 MiB) 15:49:19 Mega verified: 1 (mem: 842.12 MiB) 15:49:19 [15:49:19.617] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 842.12 MiB) 15:49:19 batch opening verified?: 1 (mem: 842.12 MiB) 15:49:19 eccvm consistency check verified?: 1 (mem: 842.12 MiB) 15:49:19 translation masking consistency checked?: 1 (mem: 842.12 MiB) 15:49:19 [15:49:19.637] INFO: ivc-integration:test:native bb - merge verified?: 1 15:49:19 [15:49:19.638] INFO: ivc-integration:test:native bb - (mem: 842.12 MiB) 15:49:19 eccvm verified?: 1 (mem: 842.12 MiB) 15:49:19 accumulator construction_verified?: 1 (mem: 842.12 MiB) 15:49:19 translation verified?: 1 (mem: 842.12 MiB) 15:49:19 consistency verified?: 1 (mem: 842.12 MiB) 15:49:19 Goblin verified: 1 (mem: 842.12 MiB) 15:49:19 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-yl5gvf" (mem: 842.12 MiB) 15:49:19 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-yl5gvf" (mem: 842.12 MiB) 15:49:19 BN254 commitment key size: 262144 (mem: 842.12 MiB) 15:49:19 [15:49:19.642] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 842.12 MiB) 15:49:19 [15:49:19.646] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 842.12 MiB) 15:49:19 goblin ecc op : 4/1024 (mem: 842.12 MiB) 15:49:19 busread : 3/6000 (mem: 842.12 MiB) 15:49:19 lookups : 2/15000 (mem: 842.12 MiB) 15:49:19 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 842.12 MiB) 15:49:19 arithmetic : 1773/56000 (mem: 842.12 MiB) 15:49:19 delta range : 1754/18000 (mem: 842.12 MiB) 15:49:19 elliptic : 2/6000 (mem: 842.12 MiB) 15:49:19 auxiliary : 26/26000 (mem: 842.12 MiB) 15:49:19 poseidon ext : 2/17000 (mem: 842.12 MiB) 15:49:19 poseidon int : 2/92000 (mem: 842.12 MiB) 15:49:19 overflow : 0/0 (mem: 842.12 MiB) 15:49:19 (mem: 842.12 MiB) 15:49:19 Total structured size: 242025 (mem: 842.12 MiB) 15:49:19 allocating polynomials object in proving key... (mem: 842.12 MiB) 15:49:20 [15:49:20.015] INFO: ivc-integration:test:native bb - populating trace... (mem: 842.12 MiB) 15:49:20 [15:49:20.047] INFO: ivc-integration:test:native bb - time to construct proving key: 405 ms. (mem: 842.12 MiB) 15:49:20 [15:49:20.222] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 842.12 MiB) 15:49:21 [15:49:21.199] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 842.12 MiB) 15:49:21 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 842.12 MiB) 15:49:22 [15:49:22.256] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 842.12 MiB) 15:49:22 [15:49:22.838] INFO: ivc-integration:test:native bb - oink proof constructed 15:49:22 [15:49:22.843] INFO: ivc-integration:test:native bb - (mem: 842.12 MiB) 15:49:22 [15:49:22.860] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 842.12 MiB) 15:49:22 [15:49:22.891] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 842.12 MiB) 15:49:22 [15:49:22.901] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 842.12 MiB) 15:49:22 goblin ecc op : 56/1024 (mem: 842.12 MiB) 15:49:22 busread : 3/6000 (mem: 842.12 MiB) 15:49:22 lookups : 2/15000 (mem: 842.12 MiB) 15:49:22 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 842.12 MiB) 15:49:22 arithmetic : 4481/56000 (mem: 842.12 MiB) 15:49:22 delta range : 2041/18000 (mem: 842.12 MiB) 15:49:22 elliptic : 2/6000 (mem: 842.12 MiB) 15:49:22 auxiliary : 50/26000 (mem: 842.12 MiB) 15:49:22 poseidon ext : 1312/17000 (mem: 842.12 MiB) 15:49:22 poseidon int : 7469/92000 (mem: 842.12 MiB) 15:49:22 overflow : 0/0 (mem: 842.12 MiB) 15:49:22 (mem: 842.12 MiB) 15:49:22 Total structured size: 242025 (mem: 842.12 MiB) 15:49:22 allocating polynomials object in proving key... (mem: 842.12 MiB) 15:49:23 [15:49:23.192] INFO: ivc-integration:test:native bb - populating trace... (mem: 842.12 MiB) 15:49:23 [15:49:23.256] INFO: ivc-integration:test:native bb - time to construct proving key: 364 ms. (mem: 842.12 MiB) 15:49:23 [15:49:23.475] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 842.12 MiB) 15:49:24 [15:49:24.750] INFO: ivc-integration:test:native bb - computing folding proof (mem: 842.12 MiB) 15:49:24 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 842.12 MiB) 15:49:25 [15:49:25.512] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 842.12 MiB) 15:49:26 [15:49:26.480] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 842.12 MiB) 15:49:26 [15:49:26.730] INFO: ivc-integration:test:native bb - perturbator round (mem: 845.12 MiB) 15:49:26 [15:49:26.811] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 877.12 MiB) 15:49:27 [15:49:27.167] INFO: ivc-integration:test:native bb - folded (mem: 877.12 MiB) 15:49:27 constructed folding proof (mem: 877.12 MiB) 15:49:27 Largest circuit: 15360 gates. Trace details: (mem: 877.12 MiB) 15:49:27 Minimum required block sizes for structured trace: (mem: 877.12 MiB) 15:49:27 (mem: 877.12 MiB) 15:49:27 prove decider... (mem: 877.12 MiB) 15:49:27 [15:49:27.168] INFO: ivc-integration:test:native bb - ecc_op : 56 15:49:27 busread : 3 15:49:27 lookup : 2 15:49:27 pub_inputs : 36 15:49:27 arithmetic : 4481 15:49:27 delta_range : 2041 15:49:27 elliptic : 2 15:49:27 aux : 50 15:49:27 poseidon2_external : 1312 15:49:27 poseidon2_internal : 7469 15:49:27 overflow : 0 15:49:27 [15:49:27.388] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 877.12 MiB) 15:49:27 [15:49:27.606] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 877.12 MiB) 15:49:29 [15:49:29.151] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 877.12 MiB) 15:49:29 [15:49:29.262] INFO: ivc-integration:test:native bb - computed opening proof (mem: 877.12 MiB) 15:49:29 finished decider proving. (mem: 877.12 MiB) 15:49:29 [15:49:29.295] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 877.12 MiB) 15:49:29 [15:49:29.413] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 877.12 MiB) 15:49:29 [15:49:29.420] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 877.12 MiB) 15:49:29 [15:49:29.542] INFO: ivc-integration:test:native bb - populating trace... (mem: 877.12 MiB) 15:49:29 [15:49:29.604] INFO: ivc-integration:test:native bb - time to construct proving key: 191 ms. (mem: 877.12 MiB) 15:49:30 [15:49:30.538] 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-yl5gvf/proof -k /tmp/bb-client-ivc-integration-yl5gvf/vk -v 15:49:30 [15:49:30.568] INFO: ivc-integration:test:native bb command: verify (mem: 155.62 MiB) 15:49:30 Scheme is: client_ivc, num threads: 128 (mem: 155.62 MiB) 15:49:30 --proof_path: /tmp/bb-client-ivc-integration-yl5gvf/proof (mem: 155.62 MiB) 15:49:30 --vk_path: /tmp/bb-client-ivc-integration-yl5gvf/vk (mem: 155.62 MiB) 15:49:30 --verbose: true (mem: 155.62 MiB) 15:49:30 --scheme: client_ivc (mem: 155.62 MiB) 15:49:30 [15:49:30.680] 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.00 MiB) 15:49:30 [15:49:30.710] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 170.33 MiB) 15:49:30 [15:49:30.711] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 170.33 MiB) 15:49:30 [15:49:30.732] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 15:49:30 [15:49:30.737] INFO: ivc-integration:test:native (mem: 170.33 MiB) 15:49:30 Initialized BN254 CRS from memory with num points = 1025 (mem: 170.33 MiB) 15:49:30 sumcheck_verified: 1 (mem: 170.33 MiB) 15:49:30 libra_evals_verified: 1 (mem: 170.33 MiB) 15:49:30 pairing_check_verified: 1 (mem: 170.33 MiB) 15:49:30 Mega verified: 1 (mem: 170.33 MiB) 15:49:30 [15:49:30.878] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 185.45 MiB) 15:49:30 batch opening verified?: 1 (mem: 185.45 MiB) 15:49:30 eccvm consistency check verified?: 1 (mem: 185.45 MiB) 15:49:30 translation masking consistency checked?: 1 (mem: 185.45 MiB) 15:49:30 [15:49:30.905] INFO: ivc-integration:test:native merge verified?: 1 (mem: 185.45 MiB) 15:49:30 eccvm verified?: 1 (mem: 185.45 MiB) 15:49:30 accumulator construction_verified?: 1 (mem: 185.45 MiB) 15:49:30 translation verified?: 1 (mem: 185.45 MiB) 15:49:30 consistency verified?: 1 (mem: 185.45 MiB) 15:49:30 Goblin verified: 1 (mem: 185.45 MiB) 15:49:30 [15:49:30.910] INFO: ivc-integration:test:native verified: 1 (mem: 185.45 MiB) 15:49:31 [15:49:31.018] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-ot8eRi/ivc-inputs.msgpack 15:49:31 [15:49:31.019] 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-ot8eRi --ivc_inputs_path /tmp/bb-client-ivc-integration-ot8eRi/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:49:31 [15:49:31.062] INFO: ivc-integration:test:native bb - bb command: prove (mem: 157.42 MiB) 15:49:31 Scheme is: client_ivc, num threads: 128 (mem: 157.42 MiB) 15:49:31 --scheme: client_ivc (mem: 157.42 MiB) 15:49:31 --output_path: /tmp/bb-client-ivc-integration-ot8eRi (mem: 157.42 MiB) 15:49:31 --ivc_inputs_path: /tmp/bb-client-ivc-integration-ot8eRi/ivc-inputs.msgpack (mem: 157.42 MiB) 15:49:31 --verbose: true (mem: 157.42 MiB) 15:49:31 --write_vk: true (mem: 157.42 MiB) 15:49:31 [15:49:31.070] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 15:49:31 [15:49:31.072] INFO: ivc-integration:test:native bb - (mem: 15:49:31 [15:49:31.072] INFO: ivc-integration:test:native bb - 157.42 15:49:31 [15:49:31.073] INFO: ivc-integration:test:native bb - MiB) 15:49:31 [15:49:31.240] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 266.00 MiB) 15:49:31 [15:49:31.347] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 314.05 MiB) 15:49:31 [15:49:31.353] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 314.05 MiB) 15:49:31 Constructing DeciderProvingKey (mem: 314.05 MiB) 15:49:31 [15:49:31.358] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 314.05 MiB) 15:49:31 goblin ecc op : 4/1024 (mem: 314.05 MiB) 15:49:31 busread : 7/6000 (mem: 314.05 MiB) 15:49:31 lookups : 2/15000 (mem: 314.05 MiB) 15:49:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 314.05 MiB) 15:49:31 arithmetic : 1760/56000 (mem: 314.05 MiB) 15:49:31 delta range : 1754/18000 (mem: 314.05 MiB) 15:49:31 elliptic : 2/6000 (mem: 314.05 MiB) 15:49:31 auxiliary : 26/26000 (mem: 314.05 MiB) 15:49:31 poseidon ext : 2/17000 (mem: 314.05 MiB) 15:49:31 poseidon int : 2/92000 (mem: 314.05 MiB) 15:49:31 [15:49:31.359] INFO: ivc-integration:test:native bb - overflow : 0/0 (mem: 314.05 MiB) 15:49:31 (mem: 314.05 MiB) 15:49:31 Total structured size: 242025 (mem: 314.05 MiB) 15:49:31 allocating polynomials object in proving key... (mem: 314.05 MiB) 15:49:31 [15:49:31.621] INFO: ivc-integration:test:native bb - populating trace... (mem: 516.18 MiB) 15:49:31 [15:49:31.663] INFO: ivc-integration:test:native bb - time to construct proving key: 310 ms. (mem: 523.18 MiB) 15:49:31 [15:49:31.772] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5760a7954d40 (mem: 523.18 MiB) 15:49:31 [15:49:31.775] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 523.18 MiB) 15:49:31 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 523.18 MiB) 15:49:32 [15:49:32.598] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.18 MiB) 15:49:32 [15:49:32.959] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 531.18 MiB) 15:49:32 [15:49:32.986] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 531.18 MiB) 15:49:33 [15:49:33.007] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 15:49:33 [15:49:33.008] INFO: ivc-integration:test:native bb - 531.18 MiB) 15:49:33 Constructing DeciderProvingKey (mem: 531.18 MiB) 15:49:33 [15:49:33.013] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 531.18 MiB) 15:49:33 goblin ecc op : 56/1024 (mem: 531.18 MiB) 15:49:33 busread : 12/6000 (mem: 531.18 MiB) 15:49:33 lookups : 2/15000 (mem: 531.18 MiB) 15:49:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 531.18 MiB) 15:49:33 arithmetic : 4625/56000 (mem: 531.18 MiB) 15:49:33 delta range : 2054/18000 (mem: 531.18 MiB) 15:49:33 elliptic : 2/6000 (mem: 531.18 MiB) 15:49:33 auxiliary : 110/26000 (mem: 531.18 MiB) 15:49:33 poseidon ext : 1302/17000 (mem: 531.18 MiB) 15:49:33 poseidon int : 7412/92000 (mem: 531.18 MiB) 15:49:33 overflow : 0/0 (mem: 531.18 MiB) 15:49:33 (mem: 531.18 MiB) 15:49:33 Total structured size: 242025 (mem: 531.18 MiB) 15:49:33 allocating polynomials object in proving key... (mem: 531.18 MiB) 15:49:33 [15:49:33.208] INFO: ivc-integration:test:native bb - populating trace... (mem: 736.18 MiB) 15:49:33 [15:49:33.234] INFO: ivc-integration:test:native bb - time to construct proving key: 226 ms. (mem: 751.18 MiB) 15:49:33 [15:49:33.355] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5760a795dfc0 (mem: 751.18 MiB) 15:49:33 computing folding proof (mem: 751.18 MiB) 15:49:33 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 751.18 MiB) 15:49:33 [15:49:33.905] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 751.18 MiB) 15:49:34 [15:49:34.460] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 756.18 MiB) 15:49:34 [15:49:34.572] INFO: ivc-integration:test:native bb - perturbator round (mem: 787.18 MiB) 15:49:34 [15:49:34.628] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 820.18 MiB) 15:49:34 [15:49:34.833] INFO: ivc-integration:test:native bb - folded (mem: 820.18 MiB) 15:49:34 constructed folding proof (mem: 820.18 MiB) 15:49:34 [15:49:34.837] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 820.18 MiB) 15:49:34 [15:49:34.838] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 820.18 MiB) 15:49:34 [15:49:34.841] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 820.18 MiB) 15:49:34 [15:49:34.841] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 820.18 MiB) 15:49:34 busread : 7/6000 (mem: 820.18 MiB) 15:49:34 lookups : 2/15000 (mem: 820.18 MiB) 15:49:34 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 820.18 MiB) 15:49:34 arithmetic : 1760/56000 (mem: 820.18 MiB) 15:49:34 delta range : 1754/18000 (mem: 820.18 MiB) 15:49:34 elliptic : 2/6000 (mem: 820.18 MiB) 15:49:34 auxiliary : 26/26000 (mem: 820.18 MiB) 15:49:34 poseidon ext : 2/17000 (mem: 820.18 MiB) 15:49:34 poseidon int : 2/92000 (mem: 820.18 MiB) 15:49:34 overflow : 0/0 (mem: 820.18 MiB) 15:49:34 (mem: 820.18 MiB) 15:49:34 Total structured size: 242025 (mem: 820.18 MiB) 15:49:34 allocating polynomials object in proving key... (mem: 820.18 MiB) 15:49:34 [15:49:34.892] INFO: ivc-integration:test:native bb - populating trace... (mem: 820.18 MiB) 15:49:34 [15:49:34.916] INFO: ivc-integration:test:native bb - time to construct proving key: 78 ms. (mem: 820.18 MiB) 15:49:35 [15:49:35.025] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5760a7955580 (mem: 820.18 MiB) 15:49:35 computing folding proof (mem: 820.18 MiB) 15:49:35 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.18 MiB) 15:49:35 [15:49:35.718] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 820.18 MiB) 15:49:35 [15:49:35.979] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 820.18 MiB) 15:49:36 [15:49:36.129] INFO: ivc-integration:test:native bb - perturbator round (mem: 820.18 MiB) 15:49:36 [15:49:36.222] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 820.70 MiB) 15:49:36 [15:49:36.492] INFO: ivc-integration:test:native bb - folded (mem: 820.70 MiB) 15:49:36 constructed folding proof (mem: 820.70 MiB) 15:49:36 [15:49:36.507] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.70 MiB) 15:49:36 [15:49:36.581] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 820.70 MiB) 15:49:36 [15:49:36.674] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 820.70 MiB) 15:49:36 Constructing DeciderProvingKey (mem: 820.70 MiB) 15:49:36 [15:49:36.678] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 820.70 MiB) 15:49:36 goblin ecc op : 792/1024 (mem: 820.70 MiB) 15:49:36 busread : 12/6000 (mem: 820.70 MiB) 15:49:36 lookups : 2/15000 (mem: 820.70 MiB) 15:49:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 820.70 MiB) 15:49:36 arithmetic : 12080/56000 (mem: 820.70 MiB) 15:49:36 delta range : 2942/18000 (mem: 820.70 MiB) 15:49:36 elliptic : 2/6000 (mem: 820.70 MiB) 15:49:36 auxiliary : 350/26000 (mem: 820.70 MiB) 15:49:36 poseidon ext : 4942/17000 (mem: 820.70 MiB) 15:49:36 poseidon int : 28160/92000 (mem: 820.70 MiB) 15:49:36 overflow : 0/0 (mem: 820.70 MiB) 15:49:36 (mem: 820.70 MiB) 15:49:36 [15:49:36.680] INFO: ivc-integration:test:native bb - Total structured size: 242025 (mem: 820.70 MiB) 15:49:36 allocating polynomials object in proving key... (mem: 820.70 MiB) 15:49:36 [15:49:36.727] INFO: ivc-integration:test:native bb - populating trace... (mem: 820.70 MiB) 15:49:36 [15:49:36.812] INFO: ivc-integration:test:native bb - time to construct proving key: 140 ms. (mem: 820.70 MiB) 15:49:36 [15:49:36.899] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5760a794f000 (mem: 820.70 MiB) 15:49:36 computing folding proof (mem: 820.70 MiB) 15:49:36 [15:49:36.900] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.70 MiB) 15:49:37 [15:49:37.392] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 820.70 MiB) 15:49:37 [15:49:37.751] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 820.70 MiB) 15:49:37 [15:49:37.860] INFO: ivc-integration:test:native bb - perturbator round (mem: 820.70 MiB) 15:49:37 [15:49:37.935] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.15 MiB) 15:49:38 [15:49:38.086] INFO: ivc-integration:test:native bb - folded (mem: 850.15 MiB) 15:49:38 constructed folding proof (mem: 850.15 MiB) 15:49:38 [15:49:38.095] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 850.15 MiB) 15:49:38 [15:49:38.162] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 850.15 MiB) 15:49:38 Constructing DeciderProvingKey 15:49:38 [15:49:38.162] INFO: ivc-integration:test:native bb - (mem: 850.15 MiB) 15:49:38 [15:49:38.167] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.15 MiB) 15:49:38 goblin ecc op : 392/1024 (mem: 850.15 MiB) 15:49:38 busread : 16/6000 (mem: 850.15 MiB) 15:49:38 lookups : 2/15000 (mem: 850.15 MiB) 15:49:38 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 850.15 MiB) 15:49:38 arithmetic : 6914/56000 (mem: 850.15 MiB) 15:49:38 delta range : 2347/18000 (mem: 850.15 MiB) 15:49:38 elliptic : 2/6000 (mem: 850.15 MiB) 15:49:38 auxiliary : 77/26000 (mem: 850.15 MiB) 15:49:38 poseidon ext : 2472/17000 (mem: 850.15 MiB) 15:49:38 poseidon int : 14081/92000 (mem: 850.15 MiB) 15:49:38 overflow : 0/0 (mem: 850.15 MiB) 15:49:38 (mem: 850.15 MiB) 15:49:38 Total structured size: 242025 (mem: 850.15 MiB) 15:49:38 [15:49:38.167] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 850.15 MiB) 15:49:38 [15:49:38.212] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.15 MiB) 15:49:38 [15:49:38.239] INFO: ivc-integration:test:native bb - time to construct proving key: 76 ms. (mem: 850.15 MiB) 15:49:38 [15:49:38.358] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5760a79d1ec0 (mem: 850.15 MiB) 15:49:38 computing folding proof (mem: 850.15 MiB) 15:49:38 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 850.15 MiB) 15:49:38 [15:49:38.871] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.15 MiB) 15:49:39 [15:49:39.392] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.15 MiB) 15:49:39 [15:49:39.475] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.15 MiB) 15:49:39 [15:49:39.525] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.81 MiB) 15:49:39 [15:49:39.842] INFO: ivc-integration:test:native bb - folded (mem: 851.81 MiB) 15:49:39 constructed folding proof (mem: 851.81 MiB) 15:49:39 [15:49:39.851] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 851.81 MiB) 15:49:39 [15:49:39.921] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 851.81 MiB) 15:49:39 Constructing DeciderProvingKey (mem: 851.81 MiB) 15:49:39 [15:49:39.924] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 15:49:39 [15:49:39.925] INFO: ivc-integration:test:native bb - (mem: 15:49:39 [15:49:39.925] INFO: ivc-integration:test:native bb - 851.81 15:49:39 [15:49:39.925] INFO: ivc-integration:test:native bb - MiB) 15:49:39 [15:49:39.925] INFO: ivc-integration:test:native bb - 15:49:39 [15:49:39.927] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 851.81 MiB) 15:49:39 busread : 3/6000 (mem: 851.81 MiB) 15:49:39 lookups : 2/15000 (mem: 851.81 MiB) 15:49:39 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.81 MiB) 15:49:39 arithmetic : 6849/56000 (mem: 851.81 MiB) 15:49:39 delta range : 2333/18000 (mem: 851.81 MiB) 15:49:39 elliptic : 2/6000 (mem: 851.81 MiB) 15:49:39 auxiliary : 50/26000 (mem: 851.81 MiB) 15:49:39 poseidon ext : 2472/17000 (mem: 851.81 MiB) 15:49:39 poseidon int : 14081/92000 (mem: 851.81 MiB) 15:49:39 overflow : 0/0 (mem: 851.81 MiB) 15:49:39 (mem: 851.81 MiB) 15:49:39 Total structured size: 242025 (mem: 851.81 MiB) 15:49:39 allocating polynomials object in proving key... (mem: 851.81 MiB) 15:49:40 [15:49:40.206] INFO: ivc-integration:test:native bb - populating trace... 15:49:40 [15:49:40.208] INFO: ivc-integration:test:native bb - (mem: 851.81 MiB) 15:49:40 [15:49:40.276] INFO: ivc-integration:test:native bb - time to construct proving key: 357 ms. (mem: 851.81 MiB) 15:49:40 [15:49:40.519] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5760a79687c0 15:49:40 [15:49:40.521] INFO: ivc-integration:test:native bb - (mem: 851.81 MiB) 15:49:40 computing folding proof (mem: 851.81 MiB) 15:49:40 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 851.81 MiB) 15:49:41 [15:49:41.336] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.81 MiB) 15:49:41 [15:49:41.899] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 15:49:41 [15:49:41.900] INFO: ivc-integration:test:native bb - (mem: 851.81 MiB) 15:49:42 [15:49:42.078] INFO: ivc-integration:test:native bb - perturbator round (mem: 851.81 MiB) 15:49:42 [15:49:42.143] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.99 MiB) 15:49:42 [15:49:42.661] INFO: ivc-integration:test:native bb - folded (mem: 851.99 MiB) 15:49:42 [15:49:42.663] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 851.99 MiB) 15:49:42 [15:49:42.664] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 851.99 MiB) 15:49:42 Minimum required block sizes for structured trace: (mem: 851.99 MiB) 15:49:42 [15:49:42.664] INFO: ivc-integration:test:native bb - (mem: 851.99 MiB) 15:49:42 prove decider... (mem: 851.99 MiB) 15:49:42 [15:49:42.665] INFO: ivc-integration:test:native bb - ecc_op : 792 15:49:42 busread : 16 15:49:42 lookup : 2 15:49:42 pub_inputs : 36 15:49:42 arithmetic : 12080 15:49:42 delta_range : 2942 15:49:42 elliptic : 2 15:49:42 aux : 350 15:49:42 poseidon2_external : 4942 15:49:42 poseidon2_internal : 28160 15:49:42 overflow : 0 15:49:42 [15:49:42.920] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.99 MiB) 15:49:43 [15:49:43.106] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.99 MiB) 15:49:44 [15:49:44.463] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.99 MiB) 15:49:44 [15:49:44.549] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.99 MiB) 15:49:44 finished decider proving. (mem: 851.99 MiB) 15:49:44 [15:49:44.579] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 15:49:44 [15:49:44.580] INFO: ivc-integration:test:native bb - 851.99 MiB) 15:49:44 [15:49:44.705] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.99 MiB) 15:49:44 [15:49:44.712] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 851.99 MiB) 15:49:44 [15:49:44.898] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.99 MiB) 15:49:45 [15:49:45.000] INFO: ivc-integration:test:native bb - time to construct proving key: 294 ms. (mem: 851.99 MiB) 15:49:45 [15:49:45.635] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 851.99 MiB) 15:49:46 [15:49:46.149] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 851.99 MiB) 15:49:46 [15:49:46.808] INFO: ivc-integration:test:native bb - created oink proof (mem: 851.99 MiB) 15:49:47 [15:49:47.111] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.99 MiB) 15:49:48 [15:49:48.835] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.99 MiB) 15:49:50 [15:49:50.132] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 15:49:50 [15:49:50.134] INFO: ivc-integration:test:native bb - (mem: 851.99 MiB) 15:49:50 [15:49:50.205] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.99 MiB) 15:49:50 finished decider proving. (mem: 15:49:50 [15:49:50.206] INFO: ivc-integration:test:native bb - 851.99 MiB) 15:49:50 Constructing a Goblin proof with num ultra ops = 2226 (mem: 851.99 MiB) 15:49:50 [15:49:50.399] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 851.99 MiB) 15:49:50 [15:49:50.798] 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.99 MiB) 15:49:50 [15:49:50.816] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 851.99 MiB) 15:49:52 [15:49:52.897] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.99 MiB) 15:49:54 [15:49:54.701] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.99 MiB) 15:50:00 [15:50:00.208] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 851.99 MiB) 15:50:00 prove translator... (mem: 851.99 MiB) 15:50:03 [15:50:03.113] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 867.39 MiB) 15:50:04 [15:50:04.716] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 868.39 MiB) 15:50:06 [15:50:06.230] INFO: ivc-integration:test:native bb - computed opening proof (mem: 868.39 MiB) 15:50:06 [15:50:06.231] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 868.39 MiB) 15:50:06 [15:50:06.236] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 868.39 MiB) 15:50:06 [15:50:06.253] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 868.39 MiB) 15:50:06 libra_evals_verified: 1 (mem: 868.39 MiB) 15:50:06 pairing_check_verified: 1 (mem: 868.39 MiB) 15:50:06 [15:50:06.254] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 868.39 MiB) 15:50:06 [15:50:06.334] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 868.39 MiB) 15:50:06 batch opening verified?: 1 (mem: 868.39 MiB) 15:50:06 eccvm consistency check verified?: 1 (mem: 868.39 MiB) 15:50:06 translation masking consistency checked?: 1 (mem: 868.39 MiB) 15:50:06 [15:50:06.353] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 868.39 MiB) 15:50:06 eccvm verified?: 1 (mem: 868.39 MiB) 15:50:06 accumulator construction_verified?: 1 (mem: 868.39 MiB) 15:50:06 translation verified?: 1 (mem: 868.39 MiB) 15:50:06 consistency verified?: 1 (mem: 868.39 MiB) 15:50:06 Goblin verified: 1 (mem: 868.39 MiB) 15:50:06 [15:50:06.354] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-ot8eRi" (mem: 868.39 MiB) 15:50:06 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-ot8eRi" (mem: 868.39 MiB) 15:50:06 BN254 commitment key size: 262144 (mem: 868.39 MiB) 15:50:06 [15:50:06.357] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 868.39 MiB) 15:50:06 [15:50:06.360] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 868.39 MiB) 15:50:06 goblin ecc op : 4/1024 (mem: 868.39 MiB) 15:50:06 busread : 3/6000 (mem: 868.39 MiB) 15:50:06 [15:50:06.360] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 868.39 MiB) 15:50:06 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 868.39 MiB) 15:50:06 arithmetic : 1773/56000 (mem: 868.39 MiB) 15:50:06 delta range : 1754/18000 (mem: 868.39 MiB) 15:50:06 elliptic : 2/6000 (mem: 868.39 MiB) 15:50:06 auxiliary : 26/26000 (mem: 868.39 MiB) 15:50:06 poseidon ext : 2/17000 (mem: 868.39 MiB) 15:50:06 poseidon int : 2/92000 (mem: 868.39 MiB) 15:50:06 overflow : 0/0 (mem: 868.39 MiB) 15:50:06 (mem: 868.39 MiB) 15:50:06 Total structured size: 242025 (mem: 868.39 MiB) 15:50:06 allocating polynomials object in proving key... (mem: 868.39 MiB) 15:50:06 [15:50:06.439] INFO: ivc-integration:test:native bb - populating trace... (mem: 868.39 MiB) 15:50:06 [15:50:06.457] INFO: ivc-integration:test:native bb - time to construct proving key: 100 ms. (mem: 868.39 MiB) 15:50:06 [15:50:06.486] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 868.39 MiB) 15:50:06 [15:50:06.988] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 868.39 MiB) 15:50:06 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 868.39 MiB) 15:50:07 [15:50:07.573] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 868.39 MiB) 15:50:07 [15:50:07.776] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 868.39 MiB) 15:50:07 [15:50:07.782] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 868.39 MiB) 15:50:07 [15:50:07.794] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 868.39 MiB) 15:50:07 [15:50:07.796] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 868.39 MiB) 15:50:07 goblin ecc op : 56/1024 (mem: 868.39 MiB) 15:50:07 busread : 3/6000 (mem: 868.39 MiB) 15:50:07 lookups : 2/15000 (mem: 868.39 MiB) 15:50:07 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 868.39 MiB) 15:50:07 arithmetic : 4481/56000 (mem: 868.39 MiB) 15:50:07 delta range : 2041/18000 (mem: 868.39 MiB) 15:50:07 elliptic : 2/6000 (mem: 868.39 MiB) 15:50:07 auxiliary : 50/26000 (mem: 868.39 MiB) 15:50:07 poseidon ext : 1312/17000 (mem: 868.39 MiB) 15:50:07 poseidon int : 7469/92000 (mem: 868.39 MiB) 15:50:07 overflow : 0/0 (mem: 868.39 MiB) 15:50:07 (mem: 868.39 MiB) 15:50:07 Total structured size: 242025 (mem: 868.39 MiB) 15:50:07 allocating polynomials object in proving key... (mem: 868.39 MiB) 15:50:07 [15:50:07.935] INFO: ivc-integration:test:native bb - populating trace... (mem: 868.39 MiB) 15:50:07 [15:50:07.953] INFO: ivc-integration:test:native bb - time to construct proving key: 159 ms. (mem: 868.39 MiB) 15:50:08 [15:50:08.031] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 868.39 MiB) 15:50:08 [15:50:08.498] INFO: ivc-integration:test:native bb - computing folding proof (mem: 868.39 MiB) 15:50:08 [15:50:08.499] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 868.39 MiB) 15:50:08 [15:50:08.925] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 868.39 MiB) 15:50:09 [15:50:09.195] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 868.39 MiB) 15:50:09 [15:50:09.295] INFO: ivc-integration:test:native bb - perturbator round (mem: 868.39 MiB) 15:50:09 [15:50:09.342] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 900.39 MiB) 15:50:09 [15:50:09.458] INFO: ivc-integration:test:native bb - folded (mem: 900.39 MiB) 15:50:09 [15:50:09.459] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 900.39 MiB) 15:50:09 Largest circuit: 15360 gates. Trace details: (mem: 900.39 MiB) 15:50:09 Minimum required block sizes for structured trace: (mem: 900.39 MiB) 15:50:09 (mem: 900.39 MiB) 15:50:09 prove decider... (mem: 900.39 MiB) 15:50:09 [15:50:09.459] INFO: ivc-integration:test:native bb - ecc_op : 56 15:50:09 busread : 3 15:50:09 lookup : 2 15:50:09 pub_inputs : 36 15:50:09 arithmetic : 4481 15:50:09 delta_range : 2041 15:50:09 elliptic : 2 15:50:09 aux : 50 15:50:09 poseidon2_external : 1312 15:50:09 poseidon2_internal : 7469 15:50:09 overflow : 0 15:50:09 [15:50:09.532] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 900.39 MiB) 15:50:09 [15:50:09.603] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 900.39 MiB) 15:50:10 [15:50:10.059] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 900.39 MiB) 15:50:10 [15:50:10.107] INFO: ivc-integration:test:native bb - computed opening proof (mem: 900.39 MiB) 15:50:10 finished decider proving. (mem: 900.39 MiB) 15:50:10 [15:50:10.121] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 900.39 MiB) 15:50:10 [15:50:10.223] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 900.39 MiB) 15:50:10 [15:50:10.231] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 900.39 MiB) 15:50:10 [15:50:10.303] INFO: ivc-integration:test:native bb - populating trace... (mem: 900.39 MiB) 15:50:10 [15:50:10.342] INFO: ivc-integration:test:native bb - time to construct proving key: 119 ms. (mem: 900.39 MiB) 15:50:10 [15:50:10.766] 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-ot8eRi/proof -k /tmp/bb-client-ivc-integration-ot8eRi/vk -v 15:50:10 [15:50:10.787] INFO: ivc-integration:test:native bb command: verify (mem: 161.09 MiB) 15:50:10 [15:50:10.787] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 161.09 MiB) 15:50:10 --proof_path: /tmp/bb-client-ivc-integration-ot8eRi/proof (mem: 161.09 MiB) 15:50:10 --vk_path: /tmp/bb-client-ivc-integration-ot8eRi/vk (mem: 161.09 MiB) 15:50:10 --verbose: true (mem: 161.09 MiB) 15:50:10 --scheme: client_ivc (mem: 161.09 MiB) 15:50:10 [15:50:10.895] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 161.09 MiB) 15:50:10 [15:50:10.915] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 161.09 MiB) 15:50:10 [15:50:10.916] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 161.09 MiB) 15:50:10 [15:50:10.935] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 161.09 MiB) 15:50:10 [15:50:10.939] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 161.09 MiB) 15:50:10 sumcheck_verified: 1 (mem: 161.09 MiB) 15:50:10 libra_evals_verified: 1 (mem: 161.09 MiB) 15:50:10 pairing_check_verified: 1 (mem: 161.09 MiB) 15:50:10 Mega verified: 1 (mem: 161.09 MiB) 15:50:10 [15:50:10.999] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 175.12 MiB) 15:50:10 batch opening verified?: 1 (mem: 175.12 MiB) 15:50:11 eccvm consistency check verified?: 1 (mem: 175.12 MiB) 15:50:11 translation masking consistency checked?: 1 (mem: 175.12 MiB) 15:50:11 [15:50:11.018] INFO: ivc-integration:test:native merge verified?: 1 (mem: 175.12 MiB) 15:50:11 eccvm verified?: 1 (mem: 175.12 MiB) 15:50:11 accumulator construction_verified?: 1 (mem: 175.12 MiB) 15:50:11 translation verified?: 1 (mem: 175.12 MiB) 15:50:11 consistency verified?: 1 (mem: 175.12 MiB) 15:50:11 [15:50:11.019] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 175.12 MiB) 15:50:11 [15:50:11.025] INFO: ivc-integration:test:native verified: 1 (mem: 175.12 MiB) 15:50:11 PASS src/native_client_ivc_integration.test.ts (90.543 s) 15:50:11 Client IVC Integration 15:50:11 ✓ Should generate a verifiable client IVC proof from a simple mock tx (47045 ms) 15:50:11 ✓ Should generate a verifiable client IVC proof from a complex mock tx (40128 ms) 15:50:11 15:50:11 Test Suites: 1 passed, 1 total 15:50:11 Tests: 2 passed, 2 total 15:50:11 Snapshots: 0 total 15:50:11 Time: 90.624 s 15:50:11 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 15:50:11 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?