ACI ·

Parent Log: http://ci.aztec-labs.com/7746b03b335715b3 Command: a2f2725b601ede1f: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/2731d9a8aebf63d05db1a786296abdf897c49490 Env: REF_NAME=gh-readonly-queue/next/pr-14988-420e0a54fb4bfe8b04d7dd479f59ed0fe3ad3b74 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 12 17:02:19 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14988_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 17:02:23 [17:02:23.477] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-NMa2wI/ivc-inputs.msgpack 17:02:23 [17:02:23.481] 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-NMa2wI --ivc_inputs_path /tmp/bb-client-ivc-integration-NMa2wI/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 17:02:23 [17:02:23.495] INFO: ivc-integration:test:native bb - bb command: prove (mem: 17:02:23 [17:02:23.496] INFO: ivc-integration:test:native bb - 156.26 MiB) 17:02:23 Scheme is: client_ivc, num threads: 128 (mem: 156.26 MiB) 17:02:23 --scheme: client_ivc (mem: 156.26 MiB) 17:02:23 --output_path: /tmp/bb-client-ivc-integration-NMa2wI (mem: 156.26 MiB) 17:02:23 --ivc_inputs_path: /tmp/bb-client-ivc-integration-NMa2wI/ivc-inputs.msgpack (mem: 156.26 MiB) 17:02:23 --verbose: true (mem: 156.26 MiB) 17:02:23 --write_vk: true (mem: 156.26 MiB) 17:02:23 [17:02:23.496] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 156.26 MiB) 17:02:23 [17:02:23.582] 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) 17:02:23 [17:02:23.649] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 300.81 MiB) 17:02:23 [17:02:23.653] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 300.81 MiB) 17:02:23 [17:02:23.654] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 300.81 MiB) 17:02:23 [17:02:23.657] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 300.81 MiB) 17:02:23 goblin ecc op : 4/1024 (mem: 300.81 MiB) 17:02:23 [17:02:23.658] INFO: ivc-integration:test:native bb - 17:02:23 busread : 7/6000 (mem: 300.81 MiB) 17:02:23 lookups : 2/15000 (mem: 300.81 MiB) 17:02:23 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 300.81 MiB) 17:02:23 arithmetic : 1760/56000 (mem: 300.81 MiB) 17:02:23 delta range : 1754/18000 (mem: 300.81 MiB) 17:02:23 elliptic : 2/6000 (mem: 300.81 MiB) 17:02:23 auxiliary : 26/26000 (mem: 300.81 MiB) 17:02:23 poseidon ext : 2/17000 (mem: 300.81 MiB) 17:02:23 poseidon int : 2/92000 (mem: 300.81 MiB) 17:02:23 overflow : 0/0 (mem: 300.81 MiB) 17:02:23 (mem: 300.81 MiB) 17:02:23 Total structured size: 242025 (mem: 300.81 MiB) 17:02:23 allocating polynomials object in proving key... (mem: 300.81 MiB) 17:02:23 [17:02:23.715] INFO: ivc-integration:test:native bb - populating trace... (mem: 500.96 MiB) 17:02:23 [17:02:23.723] INFO: ivc-integration:test:native bb - time to construct proving key: 69 ms. (mem: 515.96 MiB) 17:02:23 [17:02:23.749] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55c139feaf00 (mem: 515.96 MiB) 17:02:23 computing oink proof... (mem: 515.96 MiB) 17:02:23 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 515.96 MiB) 17:02:24 [17:02:24.135] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.96 MiB) 17:02:24 [17:02:24.257] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 525.96 MiB) 17:02:24 [17:02:24.265] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 526.96 MiB) 17:02:24 [17:02:24.281] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 526.96 MiB) 17:02:24 Constructing DeciderProvingKey (mem: 526.96 MiB) 17:02:24 [17:02:24.283] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 526.96 MiB) 17:02:24 goblin ecc op : 56/1024 (mem: 526.96 MiB) 17:02:24 busread : 12/6000 (mem: 526.96 MiB) 17:02:24 lookups : 2/15000 (mem: 526.96 MiB) 17:02:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 526.96 MiB) 17:02:24 arithmetic : 4625/56000 (mem: 526.96 MiB) 17:02:24 delta range : 2054/18000 (mem: 526.96 MiB) 17:02:24 elliptic : 2/6000 (mem: 526.96 MiB) 17:02:24 auxiliary : 110/26000 (mem: 526.96 MiB) 17:02:24 poseidon ext : 1302/17000 (mem: 526.96 MiB) 17:02:24 [17:02:24.284] INFO: ivc-integration:test:native bb - poseidon int : 7412/92000 (mem: 526.96 MiB) 17:02:24 overflow : 0/0 (mem: 526.96 MiB) 17:02:24 (mem: 526.96 MiB) 17:02:24 Total structured size: 242025 (mem: 526.96 MiB) 17:02:24 allocating polynomials object in proving key... (mem: 526.96 MiB) 17:02:24 [17:02:24.341] INFO: ivc-integration:test:native bb - populating trace... (mem: 735.96 MiB) 17:02:24 [17:02:24.361] INFO: ivc-integration:test:native bb - time to construct proving key: 79 ms. (mem: 746.96 MiB) 17:02:24 [17:02:24.399] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55c139ff7b80 (mem: 746.96 MiB) 17:02:24 computing folding proof (mem: 746.96 MiB) 17:02: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: 746.96 MiB) 17:02:24 [17:02:24.778] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 746.96 MiB) 17:02:25 [17:02:25.125] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 746.96 MiB) 17:02:25 [17:02:25.253] INFO: ivc-integration:test:native bb - perturbator round (mem: 783.96 MiB) 17:02:25 [17:02:25.325] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 814.96 MiB) 17:02:25 [17:02:25.704] INFO: ivc-integration:test:native bb - folded (mem: 814.96 MiB) 17:02:25 constructed folding proof (mem: 814.96 MiB) 17:02:25 [17:02:25.720] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 814.96 MiB) 17:02:25 [17:02:25.797] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.96 MiB) 17:02:25 Constructing DeciderProvingKey (mem: 814.96 MiB) 17:02:25 [17:02:25.803] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.96 MiB) 17:02:25 goblin ecc op : 392/1024 (mem: 814.96 MiB) 17:02:25 busread : 3/6000 (mem: 814.96 MiB) 17:02:25 lookups : 2/15000 (mem: 814.96 MiB) 17:02:25 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 814.96 MiB) 17:02:25 arithmetic : 6849/56000 (mem: 814.96 MiB) 17:02:25 delta range : 2333/18000 (mem: 814.96 MiB) 17:02:25 elliptic : 2/6000 (mem: 814.96 MiB) 17:02:25 auxiliary : 50/26000 (mem: 814.96 MiB) 17:02:25 poseidon ext : 2472/17000 (mem: 814.96 MiB) 17:02:25 poseidon int : 14081/92000 (mem: 814.96 MiB) 17:02:25 overflow : 0/0 (mem: 814.96 MiB) 17:02:25 (mem: 814.96 MiB) 17:02:25 Total structured size: 242025 (mem: 814.96 MiB) 17:02:25 allocating polynomials object in proving key... (mem: 814.96 MiB) 17:02:25 [17:02:25.945] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.96 MiB) 17:02:25 [17:02:25.989] INFO: ivc-integration:test:native bb - time to construct proving key: 191 ms. (mem: 814.96 MiB) 17:02:26 [17:02:26.118] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55c139fed540 (mem: 814.96 MiB) 17:02:26 computing folding proof (mem: 17:02:26 [17:02:26.120] INFO: ivc-integration:test:native bb - 814.96 MiB) 17:02:26 [17:02:26.123] 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: 814.96 MiB) 17:02:26 [17:02:26.823] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 814.96 MiB) 17:02:27 [17:02:27.482] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.96 MiB) 17:02:27 [17:02:27.672] INFO: ivc-integration:test:native bb - perturbator round (mem: 814.96 MiB) 17:02:27 [17:02:27.724] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 825.90 MiB) 17:02:28 [17:02:28.263] INFO: ivc-integration:test:native bb - folded (mem: 825.90 MiB) 17:02:28 constructed folding proof (mem: 825.90 MiB) 17:02:28 Largest circuit: 25792 gates. Trace details: (mem: 825.90 MiB) 17:02:28 Minimum required block sizes for structured trace: (mem: 825.90 MiB) 17:02:28 (mem: 825.90 MiB) 17:02:28 prove decider... (mem: 825.90 MiB) 17:02:28 [17:02:28.265] INFO: ivc-integration:test:native bb - ecc_op : 392 17:02:28 busread : 12 17:02:28 lookup : 2 17:02:28 pub_inputs : 36 17:02:28 arithmetic : 6849 17:02:28 delta_range : 2333 17:02:28 elliptic : 2 17:02:28 aux : 110 17:02:28 poseidon2_external : 2472 17:02:28 poseidon2_internal : 14081 17:02:28 overflow : 0 17:02:28 [17:02:28.486] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 825.90 MiB) 17:02:28 [17:02:28.487] INFO: ivc-integration:test:native bb - 17:02:28 [17:02:28.641] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 17:02:28 [17:02:28.643] INFO: ivc-integration:test:native bb - (mem: 825.90 MiB) 17:02:29 [17:02:29.943] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 825.90 MiB) 17:02:30 [17:02:30.066] INFO: ivc-integration:test:native bb - computed opening proof (mem: 825.90 MiB) 17:02:30 finished decider proving. (mem: 825.90 MiB) 17:02:30 [17:02:30.086] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 825.90 MiB) 17:02:30 [17:02:30.200] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 17:02:30 [17:02:30.202] INFO: ivc-integration:test:native bb - (mem: 825.90 MiB) 17:02:30 [17:02:30.209] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 825.90 MiB) 17:02:30 [17:02:30.471] INFO: ivc-integration:test:native bb - populating trace... (mem: 825.90 MiB) 17:02:30 [17:02:30.529] INFO: ivc-integration:test:native bb - time to construct proving key: 324 ms. (mem: 825.90 MiB) 17:02:31 [17:02:31.241] 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. 17:02:31 [17:02:31.243] INFO: ivc-integration:test:native bb - (mem: 825.90 MiB) 17:02:31 [17:02:31.916] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 825.90 MiB) 17:02:32 [17:02:32.501] INFO: ivc-integration:test:native bb - created oink proof (mem: 825.90 MiB) 17:02:32 [17:02:32.726] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 825.90 MiB) 17:02:33 [17:02:33.826] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 825.90 MiB) 17:02:34 [17:02:34.753] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 825.90 MiB) 17:02:34 [17:02:34.792] INFO: ivc-integration:test:native bb - computed opening proof (mem: 825.90 MiB) 17:02:34 finished decider proving. (mem: 825.90 MiB) 17:02:34 [17:02:34.792] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 825.90 MiB) 17:02:35 [17:02:35.108] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 825.90 MiB) 17:02:35 [17:02:35.646] 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.90 MiB) 17:02:35 [17:02:35.660] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 825.90 MiB) 17:02:38 [17:02:38.050] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 825.90 MiB) 17:02:40 [17:02:40.751] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 17:02:40 [17:02:40.752] INFO: ivc-integration:test:native bb - 825.90 MiB) 17:02:45 [17:02:45.574] INFO: ivc-integration:test:native bb - finished eccvm proving. 17:02:45 [17:02:45.575] INFO: ivc-integration:test:native bb - (mem: 825.90 MiB) 17:02:45 prove translator... (mem: 825.90 MiB) 17:02:48 [17:02:48.278] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.82 MiB) 17:02:50 [17:02:50.413] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 850.82 MiB) 17:02:53 [17:02:53.036] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.82 MiB) 17:02:53 finished translator proving. (mem: 850.82 MiB) 17:02:53 [17:02:53.042] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 850.82 MiB) 17:02:53 [17:02:53.063] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 850.82 MiB) 17:02:53 libra_evals_verified: 1 (mem: 850.82 MiB) 17:02:53 pairing_check_verified: 1 (mem: 850.82 MiB) 17:02:53 Mega verified: 1 (mem: 850.82 MiB) 17:02:53 [17:02:53.183] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 851.82 MiB) 17:02:53 batch opening verified?: 1 (mem: 851.82 MiB) 17:02:53 eccvm consistency check verified?: 1 (mem: 851.82 MiB) 17:02:53 translation masking consistency checked?: 1 (mem: 851.82 MiB) 17:02:53 [17:02:53.227] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 851.82 MiB) 17:02:53 eccvm verified?: 1 (mem: 851.82 MiB) 17:02:53 accumulator construction_verified?: 1 (mem: 851.82 MiB) 17:02:53 translation verified?: 1 (mem: 851.82 MiB) 17:02:53 consistency verified?: 1 (mem: 851.82 MiB) 17:02:53 Goblin verified: 1 (mem: 851.82 MiB) 17:02:53 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-NMa2wI" (mem: 851.82 MiB) 17:02:53 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-NMa2wI" (mem: 851.82 MiB) 17:02:53 BN254 commitment key size: 262144 (mem: 851.82 MiB) 17:02:53 [17:02:53.235] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 17:02:53 [17:02:53.236] INFO: ivc-integration:test:native bb - (mem: 851.82 MiB) 17:02:53 [17:02:53.240] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.82 MiB) 17:02:53 goblin ecc op : 4/1024 (mem: 851.82 MiB) 17:02:53 busread : 3/6000 (mem: 851.82 MiB) 17:02:53 lookups : 2/15000 (mem: 851.82 MiB) 17:02:53 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 851.82 MiB) 17:02:53 arithmetic : 1773/56000 (mem: 851.82 MiB) 17:02:53 delta range : 1754/18000 (mem: 851.82 MiB) 17:02:53 elliptic : 2/6000 (mem: 851.82 MiB) 17:02:53 auxiliary : 26/26000 (mem: 851.82 MiB) 17:02:53 poseidon ext : 2/17000 (mem: 851.82 MiB) 17:02:53 poseidon int : 2/92000 (mem: 851.82 MiB) 17:02:53 overflow : 0/0 (mem: 851.82 MiB) 17:02:53 (mem: 851.82 MiB) 17:02:53 Total structured size: 242025 (mem: 851.82 MiB) 17:02:53 allocating polynomials object in proving key... (mem: 851.82 MiB) 17:02:53 [17:02:53.509] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.82 MiB) 17:02:53 [17:02:53.523] INFO: ivc-integration:test:native bb - time to construct proving key: 287 ms. (mem: 851.82 MiB) 17:02:53 [17:02:53.632] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 851.82 MiB) 17:02:54 [17:02:54.275] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 851.82 MiB) 17:02:54 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.82 MiB) 17:02:54 [17:02:54.980] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.82 MiB) 17:02:55 [17:02:55.386] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 17:02:55 [17:02:55.388] INFO: ivc-integration:test:native bb - 851.82 MiB) 17:02:55 [17:02:55.395] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.82 MiB) 17:02:55 [17:02:55.423] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.82 MiB) 17:02:55 [17:02:55.428] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.82 MiB) 17:02:55 goblin ecc op : 56/1024 (mem: 851.82 MiB) 17:02:55 busread : 3/6000 (mem: 851.82 MiB) 17:02:55 lookups : 2/15000 (mem: 851.82 MiB) 17:02:55 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.82 MiB) 17:02:55 arithmetic : 4481/56000 (mem: 851.82 MiB) 17:02:55 delta range : 2041/18000 (mem: 851.82 MiB) 17:02:55 elliptic : 2/6000 (mem: 851.82 MiB) 17:02:55 auxiliary : 50/26000 (mem: 851.82 MiB) 17:02:55 poseidon ext : 1312/17000 (mem: 851.82 MiB) 17:02:55 poseidon int : 7469/92000 (mem: 851.82 MiB) 17:02:55 overflow : 0/0 (mem: 851.82 MiB) 17:02:55 (mem: 851.82 MiB) 17:02:55 Total structured size: 242025 (mem: 851.82 MiB) 17:02:55 allocating polynomials object in proving key... (mem: 851.82 MiB) 17:02:55 [17:02:55.722] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.82 MiB) 17:02:55 [17:02:55.760] INFO: ivc-integration:test:native bb - time to construct proving key: 337 ms. (mem: 851.82 MiB) 17:02:55 [17:02:55.900] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 851.82 MiB) 17:02:56 [17:02:56.794] INFO: ivc-integration:test:native bb - computing folding proof (mem: 851.82 MiB) 17:02:56 [17:02:56.795] 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.82 MiB) 17:02:57 [17:02:57.694] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 851.82 MiB) 17:02:58 [17:02:58.683] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.82 MiB) 17:02:58 [17:02:58.904] INFO: ivc-integration:test:native bb - perturbator round (mem: 853.82 MiB) 17:02:58 [17:02:58.958] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 885.82 MiB) 17:02:59 [17:02:59.207] INFO: ivc-integration:test:native bb - folded (mem: 885.82 MiB) 17:02:59 constructed folding proof (mem: 885.82 MiB) 17:02:59 [17:02:59.208] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 885.82 MiB) 17:02:59 Minimum required block sizes for structured trace: (mem: 885.82 MiB) 17:02:59 (mem: 885.82 MiB) 17:02:59 prove decider... (mem: 885.82 MiB) 17:02:59 [17:02:59.209] INFO: ivc-integration:test:native bb - ecc_op : 56 17:02:59 busread : 3 17:02:59 lookup : 2 17:02:59 pub_inputs : 36 17:02:59 arithmetic : 4481 17:02:59 delta_range : 2041 17:02:59 elliptic : 2 17:02:59 aux : 50 17:02:59 poseidon2_external : 1312 17:02:59 poseidon2_internal : 7469 17:02:59 overflow : 0 17:02:59 [17:02:59.363] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 885.82 MiB) 17:02:59 [17:02:59.470] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 885.82 MiB) 17:03:00 [17:03:00.619] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 885.82 MiB) 17:03:00 [17:03:00.703] INFO: ivc-integration:test:native bb - computed opening proof (mem: 885.82 MiB) 17:03:00 finished decider proving. (mem: 885.82 MiB) 17:03:00 [17:03:00.726] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 885.82 MiB) 17:03:00 [17:03:00.824] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 885.82 MiB) 17:03:00 [17:03:00.828] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 885.82 MiB) 17:03:00 [17:03:00.944] INFO: ivc-integration:test:native bb - populating trace... (mem: 885.82 MiB) 17:03:01 [17:03:00.985] INFO: ivc-integration:test:native bb - time to construct proving key: 156 ms. (mem: 885.82 MiB) 17:03:01 [17:03:01.566] 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-NMa2wI/proof -k /tmp/bb-client-ivc-integration-NMa2wI/vk -v 17:03:01 [17:03:01.592] INFO: ivc-integration:test:native bb command: verify (mem: 156.26 MiB) 17:03:01 Scheme is: client_ivc, num threads: 128 (mem: 156.26 MiB) 17:03:01 --proof_path: /tmp/bb-client-ivc-integration-NMa2wI/proof (mem: 156.26 MiB) 17:03:01 --vk_path: /tmp/bb-client-ivc-integration-NMa2wI/vk (mem: 156.26 MiB) 17:03:01 --verbose: true (mem: 156.26 MiB) 17:03:01 --scheme: client_ivc (mem: 156.26 MiB) 17:03:01 [17:03:01.707] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 156.26 MiB) 17:03:01 [17:03:01.731] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 161.54 MiB) 17:03:01 [17:03:01.732] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 161.54 MiB) 17:03:01 [17:03:01.752] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 161.54 MiB) 17:03:01 [17:03:01.754] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 161.54 MiB) 17:03:01 sumcheck_verified: 1 (mem: 161.54 MiB) 17:03:01 libra_evals_verified: 1 (mem: 161.54 MiB) 17:03:01 pairing_check_verified: 1 (mem: 161.54 MiB) 17:03:01 Mega verified: 1 (mem: 161.54 MiB) 17:03:01 [17:03:01.826] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 177.66 MiB) 17:03:01 batch opening verified?: 1 (mem: 177.66 MiB) 17:03:01 eccvm consistency check verified?: 1 (mem: 177.66 MiB) 17:03:01 [17:03:01.827] INFO: ivc-integration:test:native translation masking consistency checked?: 1 (mem: 177.66 MiB) 17:03:01 [17:03:01.846] INFO: ivc-integration:test:native merge verified?: 1 (mem: 177.66 MiB) 17:03:01 eccvm verified?: 1 (mem: 177.66 MiB) 17:03:01 accumulator construction_verified?: 1 (mem: 177.66 MiB) 17:03:01 translation verified?: 1 (mem: 177.66 MiB) 17:03:01 consistency verified?: 1 (mem: 177.66 MiB) 17:03:01 Goblin verified: 1 (mem: 177.66 MiB) 17:03:01 [17:03:01.854] INFO: ivc-integration:test:native verified: 1 (mem: 177.66 MiB) 17:03:01 [17:03:01.946] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-fo2WsK/ivc-inputs.msgpack 17:03:01 [17:03:01.946] 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-fo2WsK --ivc_inputs_path /tmp/bb-client-ivc-integration-fo2WsK/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 17:03:01 [17:03:01.976] INFO: ivc-integration:test:native bb - bb command: prove (mem: 156.56 MiB) 17:03:01 Scheme is: client_ivc, num threads: 128 (mem: 156.56 MiB) 17:03:01 --scheme: client_ivc (mem: 156.56 MiB) 17:03:01 --output_path: /tmp/bb-client-ivc-integration-fo2WsK (mem: 156.56 MiB) 17:03:01 --ivc_inputs_path: /tmp/bb-client-ivc-integration-fo2WsK/ivc-inputs.msgpack (mem: 156.56 MiB) 17:03:01 --verbose: true (mem: 156.56 MiB) 17:03:01 --write_vk: true (mem: 156.56 MiB) 17:03:01 [17:03:01.982] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 156.56 MiB) 17:03:02 [17:03:02.131] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 263.00 MiB) 17:03:02 [17:03:02.224] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 311.03 MiB) 17:03:02 [17:03:02.228] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 311.03 MiB) 17:03:02 Constructing DeciderProvingKey (mem: 311.03 MiB) 17:03:02 [17:03:02.233] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 311.03 MiB) 17:03:02 goblin ecc op : 4/1024 (mem: 311.03 MiB) 17:03:02 busread : 7/6000 (mem: 311.03 MiB) 17:03:02 lookups : 2/15000 (mem: 311.03 MiB) 17:03:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 311.03 MiB) 17:03:02 arithmetic : 1760/56000 (mem: 311.03 MiB) 17:03:02 delta range : 1754/18000 (mem: 311.03 MiB) 17:03:02 elliptic : 2/6000 (mem: 311.03 MiB) 17:03:02 auxiliary : 26/26000 (mem: 311.03 MiB) 17:03:02 poseidon ext : 2/17000 (mem: 311.03 MiB) 17:03:02 poseidon int : 2/92000 (mem: 311.03 MiB) 17:03:02 overflow : 0/0 (mem: 311.03 MiB) 17:03:02 (mem: 311.03 MiB) 17:03:02 Total structured size: 242025 (mem: 311.03 MiB) 17:03:02 allocating polynomials object in proving key... (mem: 311.03 MiB) 17:03:02 [17:03:02.489] INFO: ivc-integration:test:native bb - populating trace... (mem: 517.16 MiB) 17:03:02 [17:03:02.510] INFO: ivc-integration:test:native bb - time to construct proving key: 282 ms. (mem: 529.16 MiB) 17:03:02 [17:03:02.586] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1edd805d40 (mem: 529.16 17:03:02 [17:03:02.587] INFO: ivc-integration:test:native bb - MiB) 17:03:02 computing oink proof... (mem: 529.16 MiB) 17:03:02 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 529.16 MiB) 17:03:03 [17:03:03.365] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 529.16 MiB) 17:03:03 [17:03:03.639] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 535.16 MiB) 17:03:03 [17:03:03.651] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 535.16 MiB) 17:03:03 [17:03:03.668] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 535.16 MiB) 17:03:03 Constructing DeciderProvingKey (mem: 535.16 MiB) 17:03:03 [17:03:03.672] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 535.16 MiB) 17:03:03 goblin ecc op : 56/1024 (mem: 535.16 MiB) 17:03:03 busread : 12/6000 (mem: 535.16 MiB) 17:03:03 lookups : 2/15000 (mem: 535.16 MiB) 17:03:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 535.16 MiB) 17:03:03 arithmetic : 4625/56000 (mem: 535.16 MiB) 17:03:03 delta range : 2054/18000 (mem: 535.16 MiB) 17:03:03 elliptic : 2/6000 (mem: 535.16 MiB) 17:03:03 auxiliary : 110/26000 (mem: 535.16 MiB) 17:03:03 poseidon ext : 1302/17000 (mem: 535.16 MiB) 17:03:03 poseidon int : 7412/92000 (mem: 535.16 MiB) 17:03:03 overflow : 0/0 (mem: 535.16 MiB) 17:03:03 (mem: 535.16 MiB) 17:03:03 [17:03:03.673] INFO: ivc-integration:test:native bb - Total structured size: 242025 (mem: 535.16 MiB) 17:03:03 allocating polynomials object in proving key... (mem: 535.16 MiB) 17:03:03 [17:03:03.772] INFO: ivc-integration:test:native bb - populating trace... (mem: 740.16 MiB) 17:03:03 [17:03:03.793] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 754.16 MiB) 17:03:03 [17:03:03.832] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1edd80efc0 (mem: 754.16 MiB) 17:03:03 computing folding proof (mem: 754.16 MiB) 17:03:03 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 754.16 MiB) 17:03:04 [17:03:04.452] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 754.16 MiB) 17:03:05 [17:03:05.078] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 754.16 MiB) 17:03:05 [17:03:05.195] INFO: ivc-integration:test:native bb - perturbator round (mem: 791.16 MiB) 17:03:05 [17:03:05.259] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 823.16 MiB) 17:03:05 [17:03:05.596] INFO: ivc-integration:test:native bb - folded (mem: 823.16 MiB) 17:03:05 [17:03:05.596] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 823.16 MiB) 17:03:05 [17:03:05.600] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 823.16 MiB) 17:03:05 [17:03:05.601] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 823.16 MiB) 17:03:05 [17:03:05.605] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 823.16 MiB) 17:03:05 goblin ecc op : 4/1024 (mem: 823.16 MiB) 17:03:05 busread : 7/6000 (mem: 823.16 MiB) 17:03:05 lookups : 2/15000 (mem: 823.16 MiB) 17:03:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 823.16 MiB) 17:03:05 arithmetic : 1760/56000 (mem: 823.16 MiB) 17:03:05 delta range : 1754/18000 (mem: 823.16 MiB) 17:03:05 elliptic : 2/6000 (mem: 823.16 MiB) 17:03:05 auxiliary : 26/26000 (mem: 823.16 MiB) 17:03:05 poseidon ext : 2/17000 (mem: 823.16 MiB) 17:03:05 poseidon int : 2/92000 (mem: 823.16 MiB) 17:03:05 overflow : 0/0 (mem: 823.16 MiB) 17:03:05 (mem: 823.16 MiB) 17:03:05 Total structured size: 242025 (mem: 823.16 MiB) 17:03:05 allocating polynomials object in proving key... (mem: 823.16 MiB) 17:03:05 [17:03:05.691] INFO: ivc-integration:test:native bb - populating trace... (mem: 823.16 MiB) 17:03:05 [17:03:05.705] INFO: ivc-integration:test:native bb - time to construct proving key: 104 ms. (mem: 823.16 MiB) 17:03:05 [17:03:05.794] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1edd806580 (mem: 823.16 MiB) 17:03:05 computing folding proof (mem: 823.16 MiB) 17:03:05 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 823.16 MiB) 17:03:06 [17:03:06.501] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 823.16 MiB) 17:03:06 [17:03:06.790] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 823.16 MiB) 17:03:06 [17:03:06.960] INFO: ivc-integration:test:native bb - perturbator round (mem: 823.16 MiB) 17:03:07 [17:03:07.020] INFO: ivc-integration:test:native bb - combiner quotient round 17:03:07 [17:03:07.021] INFO: ivc-integration:test:native bb - (mem: 824.44 MiB) 17:03:07 [17:03:07.341] INFO: ivc-integration:test:native bb - folded (mem: 824.44 MiB) 17:03:07 [17:03:07.342] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 824.44 MiB) 17:03:07 [17:03:07.369] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 824.44 MiB) 17:03:07 [17:03:07.446] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 824.44 MiB) 17:03:07 [17:03:07.543] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 824.44 MiB) 17:03:07 Constructing DeciderProvingKey (mem: 824.44 MiB) 17:03:07 [17:03:07.549] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 824.44 MiB) 17:03:07 goblin ecc op : 792/1024 (mem: 824.44 MiB) 17:03:07 busread : 12/6000 (mem: 824.44 MiB) 17:03:07 lookups : 2/15000 (mem: 824.44 MiB) 17:03:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 824.44 MiB) 17:03:07 arithmetic : 12080/56000 (mem: 824.44 MiB) 17:03:07 delta range : 2942/18000 (mem: 824.44 MiB) 17:03:07 elliptic : 2/6000 (mem: 824.44 MiB) 17:03:07 auxiliary : 350/26000 17:03:07 [17:03:07.550] INFO: ivc-integration:test:native bb - (mem: 824.44 MiB) 17:03:07 poseidon ext : 4942/17000 (mem: 824.44 MiB) 17:03:07 poseidon int : 28160/92000 (mem: 824.44 MiB) 17:03:07 overflow : 0/0 (mem: 824.44 MiB) 17:03:07 (mem: 824.44 MiB) 17:03:07 Total structured size: 242025 (mem: 824.44 MiB) 17:03:07 allocating polynomials object in proving key... (mem: 824.44 MiB) 17:03:07 [17:03:07.635] INFO: ivc-integration:test:native bb - populating trace... (mem: 824.44 MiB) 17:03:07 [17:03:07.685] INFO: ivc-integration:test:native bb - time to construct proving key: 142 ms. (mem: 824.44 MiB) 17:03:07 [17:03:07.797] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1edd800000 (mem: 824.44 MiB) 17:03:07 computing folding proof (mem: 824.44 MiB) 17:03:07 [17:03:07.801] 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: 824.44 MiB) 17:03:08 [17:03:08.387] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 824.44 MiB) 17:03:08 [17:03:08.795] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 824.44 MiB) 17:03:08 [17:03:08.892] INFO: ivc-integration:test:native bb - perturbator round (mem: 824.44 MiB) 17:03:08 [17:03:08.967] INFO: ivc-integration:test:native bb - combiner quotient round 17:03:08 [17:03:08.969] INFO: ivc-integration:test:native bb - (mem: 850.45 MiB) 17:03:09 [17:03:09.153] INFO: ivc-integration:test:native bb - folded (mem: 850.45 MiB) 17:03:09 constructed folding proof (mem: 850.45 MiB) 17:03:09 [17:03:09.162] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 850.45 MiB) 17:03:09 [17:03:09.232] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 850.45 MiB) 17:03:09 Constructing DeciderProvingKey (mem: 850.45 MiB) 17:03:09 [17:03:09.237] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.45 MiB) 17:03:09 goblin ecc op : 392/1024 (mem: 850.45 MiB) 17:03:09 busread : 16/6000 (mem: 850.45 MiB) 17:03:09 lookups : 2/15000 (mem: 850.45 MiB) 17:03:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 850.45 MiB) 17:03:09 arithmetic : 6914/56000 (mem: 850.45 MiB) 17:03:09 delta range : 2347/18000 (mem: 850.45 MiB) 17:03:09 elliptic : 2/6000 (mem: 850.45 MiB) 17:03:09 auxiliary : 77/26000 (mem: 850.45 MiB) 17:03:09 poseidon ext : 2472/17000 (mem: 850.45 MiB) 17:03:09 poseidon int : 14081/92000 (mem: 850.45 MiB) 17:03:09 [17:03:09.238] INFO: ivc-integration:test:native bb - overflow : 0/0 (mem: 850.45 MiB) 17:03:09 (mem: 850.45 MiB) 17:03:09 Total structured size: 242025 (mem: 850.45 MiB) 17:03:09 allocating polynomials object in proving key... (mem: 850.45 MiB) 17:03:09 [17:03:09.337] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.45 MiB) 17:03:09 [17:03:09.360] INFO: ivc-integration:test:native bb - time to construct proving key: 127 ms. (mem: 850.45 MiB) 17:03:09 [17:03:09.466] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1edd882ec0 (mem: 850.45 MiB) 17:03:09 computing folding proof (mem: 850.45 MiB) 17:03:09 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.45 MiB) 17:03:10 [17:03:10.036] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.45 MiB) 17:03:10 [17:03:10.414] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.45 MiB) 17:03:10 [17:03:10.501] INFO: ivc-integration:test:native bb - perturbator round 17:03:10 [17:03:10.502] INFO: ivc-integration:test:native bb - (mem: 850.45 MiB) 17:03:10 [17:03:10.566] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.11 MiB) 17:03:10 [17:03:10.869] INFO: ivc-integration:test:native bb - folded (mem: 851.11 MiB) 17:03:10 constructed folding proof (mem: 851.11 MiB) 17:03:10 [17:03:10.884] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 851.11 MiB) 17:03:10 [17:03:10.978] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 851.11 MiB) 17:03:10 Constructing DeciderProvingKey (mem: 851.11 MiB) 17:03:10 [17:03:10.981] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.11 MiB) 17:03:10 goblin ecc op : 392/1024 (mem: 851.11 MiB) 17:03:10 busread : 3/6000 (mem: 851.11 MiB) 17:03:10 lookups : 2/15000 (mem: 851.11 MiB) 17:03:10 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.11 MiB) 17:03:10 arithmetic : 6849/56000 (mem: 851.11 MiB) 17:03:10 delta range : 2333/18000 (mem: 17:03:10 [17:03:10.983] INFO: ivc-integration:test:native bb - 851.11 MiB) 17:03:10 elliptic : 2/6000 (mem: 851.11 MiB) 17:03:10 auxiliary : 50/26000 (mem: 851.11 MiB) 17:03:10 poseidon ext : 2472/17000 (mem: 851.11 MiB) 17:03:10 poseidon int : 14081/92000 (mem: 851.11 MiB) 17:03:10 overflow : 0/0 (mem: 851.11 MiB) 17:03:10 (mem: 851.11 MiB) 17:03:10 Total structured size: 242025 (mem: 851.11 MiB) 17:03:10 allocating polynomials object in proving key... (mem: 851.11 MiB) 17:03:11 [17:03:11.102] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.11 MiB) 17:03:11 [17:03:11.136] INFO: ivc-integration:test:native bb - time to construct proving key: 157 ms. (mem: 851.11 MiB) 17:03:11 [17:03:11.280] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1edd8197c0 (mem: 851.11 MiB) 17:03:11 computing folding proof (mem: 851.11 MiB) 17:03:11 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.11 MiB) 17:03:11 [17:03:11.789] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.11 MiB) 17:03:12 [17:03:12.261] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.11 MiB) 17:03:12 [17:03:12.354] INFO: ivc-integration:test:native bb - perturbator round (mem: 851.11 MiB) 17:03:12 [17:03:12.403] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.80 MiB) 17:03:12 [17:03:12.720] INFO: ivc-integration:test:native bb - folded (mem: 851.80 MiB) 17:03:12 constructed folding proof (mem: 851.80 MiB) 17:03:12 [17:03:12.721] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 851.80 MiB) 17:03:12 Minimum required block sizes for structured trace: (mem: 851.80 MiB) 17:03:12 (mem: 851.80 MiB) 17:03:12 prove decider... (mem: 851.80 MiB) 17:03:12 [17:03:12.721] INFO: ivc-integration:test:native bb - ecc_op : 792 17:03:12 busread : 16 17:03:12 lookup : 2 17:03:12 pub_inputs : 36 17:03:12 arithmetic : 12080 17:03:12 delta_range : 2942 17:03:12 elliptic : 2 17:03:12 aux : 350 17:03:12 poseidon2_external : 4942 17:03:12 poseidon2_internal : 28160 17:03:12 overflow : 0 17:03:13 [17:03:13.011] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.80 MiB) 17:03:13 [17:03:13.214] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.80 MiB) 17:03:14 [17:03:14.198] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 17:03:14 [17:03:14.199] INFO: ivc-integration:test:native bb - (mem: 851.80 MiB) 17:03:14 [17:03:14.287] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.80 MiB) 17:03:14 finished decider proving. (mem: 851.80 MiB) 17:03:14 [17:03:14.310] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.80 MiB) 17:03:14 [17:03:14.434] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.80 MiB) 17:03:14 [17:03:14.444] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 851.80 MiB) 17:03:14 [17:03:14.608] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.80 MiB) 17:03:14 [17:03:14.648] INFO: ivc-integration:test:native bb - time to construct proving key: 214 ms. (mem: 851.80 MiB) 17:03:15 [17:03:15.099] 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.80 MiB) 17:03:15 [17:03:15.477] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 851.80 MiB) 17:03:16 [17:03:16.117] INFO: ivc-integration:test:native bb - created oink proof (mem: 851.80 MiB) 17:03:16 [17:03:16.375] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.80 MiB) 17:03:17 [17:03:17.699] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 17:03:17 [17:03:17.700] INFO: ivc-integration:test:native bb - (mem: 851.80 MiB) 17:03:19 [17:03:19.065] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.80 MiB) 17:03:19 [17:03:19.099] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.80 MiB) 17:03:19 finished decider proving. (mem: 851.80 MiB) 17:03:19 [17:03:19.100] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 851.80 MiB) 17:03:19 [17:03:19.377] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 851.80 MiB) 17:03:19 [17:03:19.995] 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.80 MiB) 17:03:20 [17:03:20.016] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 851.80 MiB) 17:03:22 [17:03:22.546] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.80 MiB) 17:03:25 [17:03:25.641] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.80 MiB) 17:03:32 [17:03:32.155] INFO: ivc-integration:test:native bb - finished eccvm proving. 17:03:32 [17:03:32.156] INFO: ivc-integration:test:native bb - (mem: 851.80 MiB) 17:03:32 prove translator... (mem: 851.80 MiB) 17:03:35 [17:03:35.332] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 873.46 MiB) 17:03:37 [17:03:37.347] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 874.46 MiB) 17:03:39 [17:03:39.309] INFO: ivc-integration:test:native bb - computed opening proof (mem: 874.46 MiB) 17:03:39 [17:03:39.310] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 874.46 MiB) 17:03:39 [17:03:39.313] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 874.46 MiB) 17:03:39 [17:03:39.330] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 874.46 MiB) 17:03:39 libra_evals_verified: 1 (mem: 874.46 MiB) 17:03:39 pairing_check_verified: 1 (mem: 874.46 MiB) 17:03:39 Mega verified: 1 (mem: 874.46 MiB) 17:03:39 [17:03:39.414] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 875.46 MiB) 17:03:39 batch opening verified?: 1 (mem: 875.46 MiB) 17:03:39 eccvm consistency check verified?: 1 (mem: 875.46 MiB) 17:03:39 translation masking consistency checked?: 1 (mem: 875.46 MiB) 17:03:39 [17:03:39.432] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 875.46 MiB) 17:03:39 eccvm verified?: 1 (mem: 875.46 MiB) 17:03:39 accumulator construction_verified?: 1 (mem: 875.46 MiB) 17:03:39 translation verified?: 1 (mem: 875.46 MiB) 17:03:39 consistency verified?: 1 (mem: 875.46 MiB) 17:03:39 Goblin verified: 1 (mem: 875.46 MiB) 17:03:39 [17:03:39.434] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-fo2WsK" (mem: 875.46 MiB) 17:03:39 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-fo2WsK" (mem: 875.46 MiB) 17:03:39 BN254 commitment key size: 262144 (mem: 875.46 MiB) 17:03:39 [17:03:39.436] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 875.46 MiB) 17:03:39 [17:03:39.439] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 875.46 MiB) 17:03:39 goblin ecc op : 4/1024 (mem: 875.46 MiB) 17:03:39 busread : 3/6000 (mem: 875.46 MiB) 17:03:39 lookups : 2/15000 (mem: 875.46 MiB) 17:03:39 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 875.46 MiB) 17:03:39 arithmetic : 1773/56000 (mem: 875.46 MiB) 17:03:39 delta range : 1754/18000 (mem: 875.46 MiB) 17:03:39 elliptic : 2/6000 (mem: 875.46 MiB) 17:03:39 auxiliary : 26/26000 (mem: 875.46 MiB) 17:03:39 poseidon ext : 2/17000 (mem: 875.46 MiB) 17:03:39 poseidon int : 2/92000 (mem: 875.46 MiB) 17:03:39 overflow : 0/0 (mem: 875.46 MiB) 17:03:39 (mem: 875.46 MiB) 17:03:39 Total structured size: 242025 (mem: 875.46 MiB) 17:03:39 allocating polynomials object in proving key... (mem: 875.46 MiB) 17:03:39 [17:03:39.568] INFO: ivc-integration:test:native bb - populating trace... (mem: 875.46 MiB) 17:03:39 [17:03:39.578] INFO: ivc-integration:test:native bb - time to construct proving key: 142 ms. (mem: 875.46 MiB) 17:03:39 [17:03:39.632] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 875.46 MiB) 17:03:40 [17:03:40.091] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 875.46 MiB) 17:03: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: 875.46 MiB) 17:03:40 [17:03:40.591] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 875.46 MiB) 17:03:40 [17:03:40.736] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 875.46 MiB) 17:03:40 [17:03:40.746] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 875.46 MiB) 17:03:40 [17:03:40.764] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 875.46 MiB) 17:03:40 [17:03:40.768] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 875.46 MiB) 17:03:40 goblin ecc op : 56/1024 (mem: 875.46 MiB) 17:03:40 busread : 3/6000 17:03:40 [17:03:40.769] INFO: ivc-integration:test:native bb - (mem: 875.46 MiB) 17:03:40 lookups : 2/15000 (mem: 875.46 MiB) 17:03:40 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 875.46 MiB) 17:03:40 arithmetic : 4481/56000 (mem: 875.46 MiB) 17:03:40 delta range : 2041/18000 (mem: 875.46 MiB) 17:03:40 elliptic : 2/6000 (mem: 875.46 MiB) 17:03:40 auxiliary : 50/26000 (mem: 875.46 MiB) 17:03:40 poseidon ext : 1312/17000 (mem: 875.46 MiB) 17:03:40 poseidon int : 7469/92000 (mem: 875.46 MiB) 17:03:40 overflow : 0/0 (mem: 875.46 MiB) 17:03:40 (mem: 875.46 MiB) 17:03:40 Total structured size: 242025 (mem: 875.46 MiB) 17:03:40 allocating polynomials object in proving key... (mem: 875.46 MiB) 17:03:40 [17:03:40.814] INFO: ivc-integration:test:native bb - populating trace... (mem: 875.46 MiB) 17:03:40 [17:03:40.832] INFO: ivc-integration:test:native bb - time to construct proving key: 67 ms. (mem: 875.46 MiB) 17:03:40 [17:03:40.871] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 875.46 MiB) 17:03:41 [17:03:41.270] INFO: ivc-integration:test:native bb - computing folding proof (mem: 875.46 MiB) 17:03:41 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 875.46 MiB) 17:03:41 [17:03:41.724] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 875.46 MiB) 17:03:42 [17:03:42.049] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 875.46 MiB) 17:03:42 [17:03:42.134] INFO: ivc-integration:test:native bb - perturbator round (mem: 875.46 MiB) 17:03:42 [17:03:42.178] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 907.46 MiB) 17:03:42 [17:03:42.286] INFO: ivc-integration:test:native bb - folded (mem: 907.46 MiB) 17:03:42 [17:03:42.287] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 907.46 MiB) 17:03:42 Largest circuit: 15360 gates. Trace details: (mem: 907.46 MiB) 17:03:42 Minimum required block sizes for structured trace: (mem: 907.46 MiB) 17:03:42 (mem: 907.46 MiB) 17:03:42 prove decider... (mem: 907.46 MiB) 17:03:42 [17:03:42.287] INFO: ivc-integration:test:native bb - ecc_op : 56 17:03:42 busread : 3 17:03:42 lookup : 2 17:03:42 pub_inputs : 36 17:03:42 arithmetic : 4481 17:03:42 delta_range : 2041 17:03:42 elliptic : 2 17:03:42 aux : 50 17:03:42 poseidon2_external : 1312 17:03:42 poseidon2_internal : 7469 17:03:42 overflow : 0 17:03:42 [17:03:42.355] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 907.46 MiB) 17:03:42 [17:03:42.421] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 907.46 MiB) 17:03:42 [17:03:42.808] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 907.46 MiB) 17:03:42 [17:03:42.864] INFO: ivc-integration:test:native bb - computed opening proof (mem: 907.46 MiB) 17:03:42 finished decider proving. (mem: 907.46 MiB) 17:03:42 [17:03:42.875] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 907.46 MiB) 17:03:42 [17:03:42.980] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 907.46 MiB) 17:03:42 [17:03:42.984] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 17:03:42 [17:03:42.985] INFO: ivc-integration:test:native bb - (mem: 907.46 MiB) 17:03:43 [17:03:43.053] INFO: ivc-integration:test:native bb - populating trace... (mem: 907.46 MiB) 17:03:43 [17:03:43.097] INFO: ivc-integration:test:native bb - time to construct proving key: 119 ms. (mem: 907.46 MiB) 17:03:43 [17:03:43.497] 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-fo2WsK/proof -k /tmp/bb-client-ivc-integration-fo2WsK/vk -v 17:03:43 [17:03:43.516] INFO: ivc-integration:test:native bb command: verify (mem: 163.78 MiB) 17:03:43 Scheme is: client_ivc, num threads: 128 (mem: 163.78 MiB) 17:03:43 --proof_path: /tmp/bb-client-ivc-integration-fo2WsK/proof (mem: 163.78 MiB) 17:03:43 --vk_path: /tmp/bb-client-ivc-integration-fo2WsK/vk (mem: 163.78 MiB) 17:03:43 --verbose: true (mem: 163.78 MiB) 17:03:43 --scheme: client_ivc (mem: 163.78 MiB) 17:03:43 [17:03:43.615] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 163.78 MiB) 17:03:43 [17:03:43.639] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 163.78 MiB) 17:03:43 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 163.78 MiB) 17:03:43 [17:03:43.657] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 163.78 MiB) 17:03:43 [17:03:43.658] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 163.78 MiB) 17:03:43 [17:03:43.659] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 163.78 MiB) 17:03:43 libra_evals_verified: 1 (mem: 163.78 MiB) 17:03:43 pairing_check_verified: 1 (mem: 163.78 MiB) 17:03:43 Mega verified: 1 (mem: 163.78 MiB) 17:03:43 [17:03:43.722] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 168.21 MiB) 17:03:43 batch opening verified?: 1 (mem: 168.21 MiB) 17:03:43 eccvm consistency check verified?: 1 (mem: 168.21 MiB) 17:03:43 translation masking consistency checked?: 1 (mem: 168.21 MiB) 17:03:43 [17:03:43.745] INFO: ivc-integration:test:native merge verified?: 1 (mem: 168.21 MiB) 17:03:43 eccvm verified?: 1 (mem: 168.21 MiB) 17:03:43 accumulator construction_verified?: 1 (mem: 168.21 MiB) 17:03:43 translation verified?: 1 (mem: 168.21 MiB) 17:03:43 consistency verified?: 1 (mem: 168.21 MiB) 17:03:43 Goblin verified: 1 (mem: 168.21 MiB) 17:03:43 [17:03:43.753] INFO: ivc-integration:test:native verified: 1 (mem: 168.21 MiB) 17:03:43 PASS src/native_client_ivc_integration.test.ts (83.298 s) 17:03:43 Client IVC Integration 17:03:43 ✓ Should generate a verifiable client IVC proof from a simple mock tx (38453 ms) 17:03:43 ✓ Should generate a verifiable client IVC proof from a complex mock tx (41901 ms) 17:03:43 17:03:43 Test Suites: 1 passed, 1 total 17:03:43 Tests: 2 passed, 2 total 17:03:43 Snapshots: 0 total 17:03:43 Time: 83.38 s 17:03:43 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 17:03:43 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?