ACI ·

Parent Log: http://ci.aztec-labs.com/8f0e17f4e3d757c2 Command: f8dcf08d5c6024d3: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/254faae7d330e160b14c6eaaa099dc92d4a9cac7 Env: REF_NAME=gh-readonly-queue/next/pr-14870-10badd24359b04680068afd9ca24407383374db1 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 16 11:48:21 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14870_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 11:48:25 [11:48:25.776] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-KRnh2Z/ivc-inputs.msgpack 11:48:25 [11:48:25.782] 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-KRnh2Z --ivc_inputs_path /tmp/bb-client-ivc-integration-KRnh2Z/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:48:25 [11:48:25.801] INFO: ivc-integration:test:native bb - bb command: prove (mem: 158.30 MiB) 11:48:25 [11:48:25.802] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 158.30 MiB) 11:48:25 --scheme: client_ivc (mem: 158.30 MiB) 11:48:25 --output_path: /tmp/bb-client-ivc-integration-KRnh2Z (mem: 158.30 MiB) 11:48:25 --ivc_inputs_path: /tmp/bb-client-ivc-integration-KRnh2Z/ivc-inputs.msgpack (mem: 158.30 MiB) 11:48:25 --verbose: true (mem: 158.30 MiB) 11:48:25 --write_vk: true (mem: 158.30 MiB) 11:48:25 BN254 commitment key size: 262144 (mem: 158.30 MiB) 11:48:25 [11:48:25.919] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.00 MiB) 11:48:26 [11:48:26.007] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 298.11 MiB) 11:48:26 [11:48:26.012] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 298.11 MiB) 11:48:26 Constructing DeciderProvingKey (mem: 298.11 11:48:26 [11:48:26.012] INFO: ivc-integration:test:native bb - MiB) 11:48:26 [11:48:26.017] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 298.11 MiB) 11:48:26 goblin ecc op : 4/1024 (mem: 298.11 MiB) 11:48:26 busread : 7/6000 (mem: 298.11 MiB) 11:48:26 [11:48:26.019] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 298.11 MiB) 11:48:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 298.11 MiB) 11:48:26 arithmetic : 1760/56000 (mem: 298.11 MiB) 11:48:26 delta range : 1754/18000 (mem: 298.11 MiB) 11:48:26 elliptic : 2/6000 (mem: 298.11 MiB) 11:48:26 auxiliary : 26/26000 (mem: 298.11 MiB) 11:48:26 poseidon ext : 2/17000 (mem: 298.11 MiB) 11:48:26 poseidon int : 2/92000 (mem: 298.11 MiB) 11:48:26 overflow : 0/0 (mem: 298.11 MiB) 11:48:26 (mem: 298.11 MiB) 11:48:26 Total structured size: 242025 (mem: 298.11 MiB) 11:48:26 allocating polynomials object in proving key... (mem: 298.11 MiB) 11:48:26 [11:48:26.100] INFO: ivc-integration:test:native bb - populating trace... (mem: 496.26 MiB) 11:48:26 [11:48:26.118] INFO: ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 509.26 MiB) 11:48:26 [11:48:26.160] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56458cc8aa40 (mem: 509.26 MiB) 11:48:26 [11:48:26.161] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 509.26 MiB) 11:48:26 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 509.26 MiB) 11:48:26 [11:48:26.331] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 514.26 MiB) 11:48:26 [11:48:26.346] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 514.26 MiB) 11:48:26 [11:48:26.362] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 514.26 MiB) 11:48:26 Constructing DeciderProvingKey (mem: 514.26 MiB) 11:48:26 [11:48:26.366] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 514.26 MiB) 11:48:26 goblin ecc op : 56/1024 (mem: 514.26 MiB) 11:48:26 busread : 12/6000 (mem: 514.26 MiB) 11:48:26 lookups : 2/15000 (mem: 514.26 MiB) 11:48:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 514.26 MiB) 11:48:26 arithmetic : 4625/56000 (mem: 514.26 MiB) 11:48:26 delta range : 2054/18000 (mem: 514.26 MiB) 11:48:26 elliptic : 2/6000 (mem: 514.26 MiB) 11:48:26 auxiliary : 110/26000 (mem: 514.26 MiB) 11:48:26 poseidon ext : 1302/17000 (mem: 514.26 MiB) 11:48:26 poseidon int : 7412/92000 (mem: 514.26 MiB) 11:48:26 overflow : 0/0 (mem: 514.26 MiB) 11:48:26 [11:48:26.370] INFO: ivc-integration:test:native bb - (mem: 514.26 MiB) 11:48:26 Total structured size: 242025 (mem: 514.26 MiB) 11:48:26 allocating polynomials object in proving key... (mem: 514.26 MiB) 11:48:26 [11:48:26.468] INFO: ivc-integration:test:native bb - populating trace... (mem: 729.26 MiB) 11:48:26 [11:48:26.501] INFO: ivc-integration:test:native bb - time to construct proving key: 138 ms. (mem: 745.26 MiB) 11:48:26 [11:48:26.643] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56458cc976c0 (mem: 745.26 MiB) 11:48:26 computing folding proof (mem: 745.26 MiB) 11:48:26 [11:48:26.644] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 745.26 MiB) 11:48:27 [11:48:27.115] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.26 MiB) 11:48:27 [11:48:27.203] INFO: ivc-integration:test:native bb - perturbator round (mem: 782.26 MiB) 11:48:27 [11:48:27.259] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 814.26 MiB) 11:48:27 [11:48:27.694] INFO: ivc-integration:test:native bb - folded (mem: 814.26 MiB) 11:48:27 constructed folding proof (mem: 814.26 MiB) 11:48:27 [11:48:27.707] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 814.26 MiB) 11:48:27 [11:48:27.785] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.26 MiB) 11:48:27 Constructing DeciderProvingKey (mem: 814.26 MiB) 11:48:27 [11:48:27.790] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.26 MiB) 11:48:27 goblin ecc op : 392/1024 (mem: 814.26 MiB) 11:48:27 busread : 3/6000 (mem: 814.26 MiB) 11:48:27 lookups : 2/15000 (mem: 814.26 MiB) 11:48:27 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 814.26 MiB) 11:48:27 arithmetic : 6849/56000 (mem: 814.26 MiB) 11:48:27 delta range : 2333/18000 (mem: 814.26 MiB) 11:48:27 elliptic : 2/6000 (mem: 814.26 MiB) 11:48:27 auxiliary : 50/26000 (mem: 814.26 MiB) 11:48:27 poseidon ext : 2472/17000 (mem: 814.26 MiB) 11:48:27 poseidon int : 14081/92000 (mem: 814.26 MiB) 11:48:27 overflow : 0/0 (mem: 814.26 MiB) 11:48:27 (mem: 814.26 MiB) 11:48:27 Total structured size: 242025 (mem: 814.26 MiB) 11:48:27 allocating polynomials object in proving key... (mem: 814.26 MiB) 11:48:27 [11:48:27.965] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.26 MiB) 11:48:27 [11:48:27.998] INFO: ivc-integration:test:native bb - time to construct proving key: 212 ms. (mem: 814.26 MiB) 11:48:28 [11:48:28.249] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56458cc8d080 (mem: 814.26 MiB) 11:48:28 computing folding proof (mem: 814.26 MiB) 11:48:28 [11:48:28.252] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 814.26 MiB) 11:48:28 [11:48:28.733] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.26 MiB) 11:48:28 [11:48:28.880] INFO: ivc-integration:test:native bb - perturbator round (mem: 814.26 MiB) 11:48:28 [11:48:28.942] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 814.26 MiB) 11:48:29 [11:48:29.386] INFO: ivc-integration:test:native bb - folded (mem: 814.26 MiB) 11:48:29 constructed folding proof (mem: 814.26 MiB) 11:48:29 Largest circuit: 25792 gates. Trace details: (mem: 814.26 MiB) 11:48:29 Minimum required block sizes for structured trace: (mem: 814.26 MiB) 11:48:29 (mem: 814.26 MiB) 11:48:29 prove decider... (mem: 814.26 MiB) 11:48:29 [11:48:29.387] INFO: ivc-integration:test:native bb - ecc_op : 392 11:48:29 busread : 12 11:48:29 lookup : 2 11:48:29 pub_inputs : 36 11:48:29 arithmetic : 6849 11:48:29 delta_range : 2333 11:48:29 elliptic : 2 11:48:29 aux : 110 11:48:29 poseidon2_external : 2472 11:48:29 poseidon2_internal : 14081 11:48:29 overflow : 0 11:48:29 [11:48:29.663] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.26 MiB) 11:48:29 [11:48:29.915] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 814.26 MiB) 11:48:30 [11:48:30.978] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 814.26 MiB) 11:48:31 [11:48:31.080] INFO: ivc-integration:test:native bb - computed opening proof (mem: 814.26 MiB) 11:48:31 finished decider proving. (mem: 814.26 MiB) 11:48:31 [11:48:31.102] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 814.26 MiB) 11:48:31 [11:48:31.227] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 814.26 MiB) 11:48:31 [11:48:31.233] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 11:48:31 [11:48:31.235] INFO: ivc-integration:test:native bb - (mem: 814.26 MiB) 11:48:31 [11:48:31.365] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.26 MiB) 11:48:31 [11:48:31.413] INFO: ivc-integration:test:native bb - time to construct proving key: 186 ms. (mem: 814.26 MiB) 11:48:32 [11:48:32.402] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 814.26 MiB) 11:48:33 [11:48:33.085] INFO: ivc-integration:test:native bb - created oink proof (mem: 814.26 MiB) 11:48:33 [11:48:33.328] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.26 MiB) 11:48:35 [11:48:35.075] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 814.26 MiB) 11:48:36 [11:48:36.037] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 814.26 MiB) 11:48:36 [11:48:36.078] INFO: ivc-integration:test:native bb - computed opening proof (mem: 814.26 MiB) 11:48:36 finished decider proving. (mem: 814.26 MiB) 11:48:36 Constructing a Goblin proof with num ultra ops = 1038 (mem: 814.26 MiB) 11:48:36 [11:48:36.209] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 814.26 MiB) 11:48:36 [11:48:36.490] 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: 814.26 MiB) 11:48:36 [11:48:36.507] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 814.26 MiB) 11:48:38 [11:48:38.216] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.26 MiB) 11:48:40 [11:48:40.406] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 814.26 MiB) 11:48:44 [11:48:44.873] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 814.26 MiB) 11:48:44 prove translator... (mem: 814.26 MiB) 11:48:47 [11:48:47.608] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.77 MiB) 11:48:49 [11:48:49.404] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 844.77 MiB) 11:48:51 [11:48:51.209] INFO: ivc-integration:test:native bb - computed opening proof (mem: 844.77 MiB) 11:48:51 [11:48:51.212] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 844.77 MiB) 11:48:51 [11:48:51.217] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 844.77 MiB) 11:48:51 [11:48:51.232] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 844.77 MiB) 11:48:51 libra_evals_verified: 1 (mem: 844.77 MiB) 11:48:51 pairing_check_verified: 1 (mem: 844.77 MiB) 11:48:51 Mega verified: 1 (mem: 844.77 MiB) 11:48:51 [11:48:51.323] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 844.77 MiB) 11:48:51 batch opening verified?: 1 (mem: 844.77 MiB) 11:48:51 eccvm consistency check verified?: 1 (mem: 844.77 MiB) 11:48:51 translation masking consistency checked?: 1 (mem: 844.77 MiB) 11:48:51 [11:48:51.346] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 844.77 MiB) 11:48:51 eccvm verified?: 1 (mem: 844.77 MiB) 11:48:51 accumulator construction_verified?: 1 (mem: 844.77 MiB) 11:48:51 translation verified?: 1 (mem: 844.77 MiB) 11:48:51 consistency verified?: 1 (mem: 844.77 MiB) 11:48:51 Goblin verified: 1 (mem: 844.77 MiB) 11:48:51 [11:48:51.348] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-KRnh2Z" (mem: 844.77 MiB) 11:48:51 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-KRnh2Z" (mem: 844.77 MiB) 11:48:51 BN254 commitment key size: 262144 (mem: 844.77 MiB) 11:48:51 [11:48:51.351] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 844.77 MiB) 11:48:51 [11:48:51.356] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.77 MiB) 11:48:51 goblin ecc op : 4/1024 (mem: 844.77 MiB) 11:48:51 busread : 3/6000 (mem: 844.77 MiB) 11:48:51 lookups : 2/15000 (mem: 844.77 MiB) 11:48:51 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 844.77 MiB) 11:48:51 arithmetic : 1773/56000 (mem: 844.77 MiB) 11:48:51 delta range : 1754/18000 (mem: 844.77 MiB) 11:48:51 elliptic : 2/6000 (mem: 844.77 MiB) 11:48:51 [11:48:51.357] INFO: ivc-integration:test:native bb - 11:48:51 auxiliary : 26/26000 (mem: 844.77 MiB) 11:48:51 poseidon ext : 2/17000 (mem: 844.77 MiB) 11:48:51 poseidon int : 2/92000 (mem: 844.77 MiB) 11:48:51 overflow : 0/0 (mem: 844.77 MiB) 11:48:51 (mem: 844.77 MiB) 11:48:51 Total structured size: 242025 (mem: 844.77 MiB) 11:48:51 allocating polynomials object in proving key... (mem: 844.77 MiB) 11:48:51 [11:48:51.462] INFO: ivc-integration:test:native bb - populating trace... (mem: 844.77 MiB) 11:48:51 [11:48:51.477] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 844.77 MiB) 11:48:51 [11:48:51.783] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 844.77 MiB) 11:48:52 [11:48:52.886] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 844.77 MiB) 11:48:52 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 844.77 MiB) 11:48:53 [11:48:53.466] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 844.77 MiB) 11:48:53 [11:48:53.487] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 844.77 MiB) 11:48:53 [11:48:53.503] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 844.77 MiB) 11:48:53 [11:48:53.507] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.77 MiB) 11:48:53 goblin ecc op : 56/1024 (mem: 844.77 MiB) 11:48:53 busread : 3/6000 (mem: 844.77 MiB) 11:48:53 lookups : 2/15000 (mem: 844.77 MiB) 11:48:53 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.77 MiB) 11:48:53 arithmetic : 4481/56000 (mem: 844.77 MiB) 11:48:53 delta range : 2041/18000 (mem: 844.77 MiB) 11:48:53 elliptic : 2/6000 (mem: 844.77 MiB) 11:48:53 auxiliary : 50/26000 (mem: 844.77 MiB) 11:48:53 poseidon ext : 1312/17000 (mem: 844.77 MiB) 11:48:53 poseidon int : 7469/92000 (mem: 844.77 MiB) 11:48:53 overflow : 0/0 (mem: 844.77 MiB) 11:48:53 (mem: 844.77 MiB) 11:48:53 Total structured size: 242025 (mem: 844.77 MiB) 11:48:53 allocating polynomials object in proving key... (mem: 844.77 MiB) 11:48:53 [11:48:53.816] INFO: ivc-integration:test:native bb - populating trace... 11:48:53 [11:48:53.818] INFO: ivc-integration:test:native bb - (mem: 844.77 MiB) 11:48:53 [11:48:53.856] INFO: ivc-integration:test:native bb - time to construct proving key: 353 ms. (mem: 844.77 MiB) 11:48:54 [11:48:54.001] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 844.77 MiB) 11:48:54 [11:48:54.668] INFO: ivc-integration:test:native bb - computing folding proof 11:48:54 [11:48:54.671] INFO: ivc-integration:test:native bb - (mem: 844.77 MiB) 11:48:54 vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 844.77 MiB) 11:48:55 [11:48:55.527] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.77 MiB) 11:48:55 [11:48:55.717] INFO: ivc-integration:test:native bb - perturbator round (mem: 846.77 MiB) 11:48:55 [11:48:55.787] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 878.77 MiB) 11:48:56 [11:48:56.337] INFO: ivc-integration:test:native bb - folded (mem: 878.77 MiB) 11:48:56 constructed folding proof (mem: 878.77 MiB) 11:48:56 [11:48:56.339] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 878.77 MiB) 11:48:56 Minimum required block sizes for structured trace: (mem: 878.77 MiB) 11:48:56 (mem: 878.77 MiB) 11:48:56 prove decider... (mem: 878.77 MiB) 11:48:56 [11:48:56.339] INFO: ivc-integration:test:native bb - ecc_op : 56 11:48:56 busread : 3 11:48:56 lookup : 2 11:48:56 pub_inputs : 36 11:48:56 arithmetic : 4481 11:48:56 delta_range : 2041 11:48:56 elliptic : 2 11:48:56 aux : 50 11:48:56 poseidon2_external : 1312 11:48:56 poseidon2_internal : 7469 11:48:56 overflow : 0 11:48:56 [11:48:56.563] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 878.77 MiB) 11:48:57 [11:48:57.007] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 878.77 MiB) 11:48:58 [11:48:58.359] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 11:48:58 [11:48:58.360] INFO: ivc-integration:test:native bb - (mem: 878.77 MiB) 11:48:58 [11:48:58.552] INFO: ivc-integration:test:native bb - computed opening proof (mem: 878.77 MiB) 11:48:58 finished decider proving. (mem: 878.77 MiB) 11:48:58 [11:48:58.575] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 878.77 MiB) 11:48:58 [11:48:58.790] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 11:48:58 [11:48:58.791] INFO: ivc-integration:test:native bb - (mem: 11:48:58 [11:48:58.795] INFO: ivc-integration:test:native bb - 878.77 MiB) 11:48:58 [11:48:58.801] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 11:48:58 [11:48:58.806] INFO: ivc-integration:test:native bb - (mem: 878.77 MiB) 11:48:58 [11:48:58.957] INFO: ivc-integration:test:native bb - populating trace... 11:48:58 [11:48:58.958] INFO: ivc-integration:test:native bb - (mem: 11:48:58 [11:48:58.959] INFO: ivc-integration:test:native bb - 878.77 11:48:58 [11:48:58.961] INFO: ivc-integration:test:native bb - MiB) 11:48:58 [11:48:58.991] INFO: ivc-integration:test:native bb - time to construct proving key: 198 ms. (mem: 878.77 MiB) 11:48:59 [11:48:59.678] 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-KRnh2Z/proof -k /tmp/bb-client-ivc-integration-KRnh2Z/vk -v 11:48:59 [11:48:59.727] INFO: ivc-integration:test:native bb command: verify (mem: 158.30 MiB) 11:48:59 Scheme is: client_ivc, num threads: 128 (mem: 158.30 MiB) 11:48:59 --proof_path: /tmp/bb-client-ivc-integration-KRnh2Z/proof (mem: 158.30 MiB) 11:48:59 --vk_path: /tmp/bb-client-ivc-integration-KRnh2Z/vk (mem: 158.30 MiB) 11:48:59 --verbose: true (mem: 158.30 MiB) 11:48:59 --scheme: client_ivc (mem: 158.30 MiB) 11:48:59 [11:48:59.823] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 160.00 MiB) 11:48:59 [11:48:59.845] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 11:48:59 [11:48:59.846] INFO: ivc-integration:test:native (mem: 11:48:59 [11:48:59.849] INFO: ivc-integration:test:native 172.77 MiB) 11:48:59 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 172.77 MiB) 11:48:59 [11:48:59.868] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 172.77 MiB) 11:48:59 [11:48:59.869] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 172.77 MiB) 11:48:59 [11:48:59.870] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 172.77 MiB) 11:48:59 libra_evals_verified: 1 (mem: 172.77 MiB) 11:48:59 pairing_check_verified: 1 (mem: 172.77 MiB) 11:48:59 Mega verified: 1 (mem: 172.77 MiB) 11:48:59 [11:48:59.934] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.89 MiB) 11:48:59 batch opening verified?: 1 (mem: 189.89 MiB) 11:48:59 eccvm consistency check verified?: 1 (mem: 189.89 MiB) 11:48:59 translation masking consistency checked?: 1 (mem: 189.89 MiB) 11:48:59 [11:48:59.956] INFO: ivc-integration:test:native merge verified?: 1 (mem: 189.89 MiB) 11:48:59 eccvm verified?: 1 (mem: 189.89 MiB) 11:48:59 accumulator construction_verified?: 1 (mem: 189.89 MiB) 11:48:59 translation verified?: 1 (mem: 189.89 MiB) 11:48:59 consistency verified?: 1 (mem: 189.89 MiB) 11:48:59 Goblin verified: 1 (mem: 189.89 MiB) 11:48:59 verified: 1 (mem: 189.89 MiB) 11:49:00 [11:49:00.064] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-UrsNLf/ivc-inputs.msgpack 11:49:00 [11:49:00.065] 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-UrsNLf --ivc_inputs_path /tmp/bb-client-ivc-integration-UrsNLf/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:49:00 [11:49:00.104] INFO: ivc-integration:test:native bb - bb command: prove 11:49:00 [11:49:00.107] INFO: ivc-integration:test:native bb - (mem: 158.45 MiB) 11:49:00 Scheme is: client_ivc, num threads: 128 (mem: 158.45 MiB) 11:49:00 --scheme: client_ivc (mem: 158.45 MiB) 11:49:00 --output_path: /tmp/bb-client-ivc-integration-UrsNLf (mem: 158.45 MiB) 11:49:00 --ivc_inputs_path: /tmp/bb-client-ivc-integration-UrsNLf/ivc-inputs.msgpack (mem: 158.45 MiB) 11:49:00 --verbose: true (mem: 158.45 MiB) 11:49:00 --write_vk: true (mem: 158.45 MiB) 11:49:00 [11:49:00.112] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 11:49:00 [11:49:00.116] INFO: ivc-integration:test:native bb - (mem: 158.45 MiB) 11:49:00 [11:49:00.252] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 268.00 MiB) 11:49:00 [11:49:00.344] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 11:49:00 [11:49:00.345] INFO: ivc-integration:test:native bb - (mem: 11:49:00 [11:49:00.349] INFO: ivc-integration:test:native bb - 316.53 MiB) 11:49:00 [11:49:00.352] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 11:49:00 [11:49:00.353] INFO: ivc-integration:test:native bb - (mem: 11:49:00 [11:49:00.357] INFO: ivc-integration:test:native bb - 316.53 MiB) 11:49:00 Constructing DeciderProvingKey (mem: 316.53 MiB) 11:49:00 [11:49:00.369] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 316.53 MiB) 11:49:00 goblin ecc op : 4/1024 (mem: 316.53 MiB) 11:49:00 busread : 7/6000 (mem: 316.53 MiB) 11:49:00 lookups : 2/15000 (mem: 316.53 MiB) 11:49:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 316.53 MiB) 11:49:00 arithmetic : 1760/56000 (mem: 316.53 MiB) 11:49:00 delta range : 1754/18000 (mem: 316.53 MiB) 11:49:00 elliptic : 2/6000 (mem: 316.53 MiB) 11:49:00 auxiliary : 26/26000 (mem: 316.53 MiB) 11:49:00 poseidon ext : 2/17000 (mem: 316.53 MiB) 11:49:00 poseidon int : 2/92000 (mem: 316.53 MiB) 11:49:00 overflow : 0/0 (mem: 316.53 MiB) 11:49:00 (mem: 316.53 MiB) 11:49:00 Total structured size: 242025 (mem: 316.53 MiB) 11:49:00 allocating polynomials object in proving key... (mem: 316.53 MiB) 11:49:00 [11:49:00.604] INFO: ivc-integration:test:native bb - populating trace... (mem: 510.65 MiB) 11:49:00 [11:49:00.631] INFO: ivc-integration:test:native bb - time to construct proving key: 275 ms. (mem: 521.65 MiB) 11:49:00 [11:49:00.746] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60acaad47880 (mem: 521.65 MiB) 11:49:00 [11:49:00.749] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 521.65 MiB) 11:49:00 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.65 MiB) 11:49:01 [11:49:01.070] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 530.65 MiB) 11:49:01 [11:49:01.076] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 530.65 MiB) 11:49:01 [11:49:01.105] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 530.65 MiB) 11:49:01 Constructing DeciderProvingKey (mem: 530.65 MiB) 11:49:01 [11:49:01.109] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 530.65 MiB) 11:49:01 goblin ecc op : 56/1024 (mem: 530.65 MiB) 11:49:01 busread : 12/6000 (mem: 530.65 MiB) 11:49:01 lookups : 2/15000 (mem: 530.65 MiB) 11:49:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 530.65 MiB) 11:49:01 arithmetic : 4625/56000 (mem: 530.65 MiB) 11:49:01 delta range : 2054/18000 (mem: 530.65 MiB) 11:49:01 elliptic : 2/6000 (mem: 530.65 MiB) 11:49:01 auxiliary : 110/26000 (mem: 11:49:01 [11:49:01.110] INFO: ivc-integration:test:native bb - 530.65 MiB) 11:49:01 poseidon ext : 1302/17000 (mem: 530.65 MiB) 11:49:01 poseidon int : 7412/92000 (mem: 530.65 MiB) 11:49:01 overflow : 0/0 (mem: 530.65 MiB) 11:49:01 (mem: 530.65 MiB) 11:49:01 Total structured size: 242025 (mem: 530.65 MiB) 11:49:01 allocating polynomials object in proving key... (mem: 530.65 MiB) 11:49:01 [11:49:01.375] INFO: ivc-integration:test:native bb - populating trace... (mem: 734.65 MiB) 11:49:01 [11:49:01.406] INFO: ivc-integration:test:native bb - time to construct proving key: 301 ms. (mem: 750.65 MiB) 11:49:01 [11:49:01.481] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60acaad50b00 (mem: 750.65 MiB) 11:49:01 computing folding proof (mem: 750.65 MiB) 11:49:01 [11:49:01.486] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 750.65 MiB) 11:49:02 [11:49:02.382] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.65 MiB) 11:49:02 [11:49:02.482] INFO: ivc-integration:test:native bb - perturbator round (mem: 786.65 MiB) 11:49:02 [11:49:02.547] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.65 MiB) 11:49:02 [11:49:02.887] INFO: ivc-integration:test:native bb - folded (mem: 818.65 MiB) 11:49:02 constructed folding proof (mem: 818.65 MiB) 11:49:02 [11:49:02.890] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.65 MiB) 11:49:02 Constructing DeciderProvingKey (mem: 818.65 MiB) 11:49:02 [11:49:02.893] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.65 MiB) 11:49:02 goblin ecc op : 4/1024 (mem: 818.65 MiB) 11:49:02 busread : 7/6000 (mem: 818.65 MiB) 11:49:02 [11:49:02.894] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 818.65 MiB) 11:49:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 818.65 MiB) 11:49:02 arithmetic : 1760/56000 (mem: 818.65 MiB) 11:49:02 delta range : 1754/18000 (mem: 818.65 MiB) 11:49:02 elliptic : 2/6000 (mem: 818.65 MiB) 11:49:02 auxiliary : 26/26000 (mem: 818.65 MiB) 11:49:02 poseidon ext : 2/17000 (mem: 818.65 MiB) 11:49:02 poseidon int : 2/92000 (mem: 818.65 MiB) 11:49:02 overflow : 0/0 (mem: 818.65 MiB) 11:49:02 (mem: 818.65 MiB) 11:49:02 Total structured size: 242025 (mem: 818.65 MiB) 11:49:02 allocating polynomials object in proving key... (mem: 818.65 MiB) 11:49:03 [11:49:03.103] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.65 MiB) 11:49:03 [11:49:03.135] INFO: ivc-integration:test:native bb - time to construct proving key: 244 ms. (mem: 818.65 MiB) 11:49:03 [11:49:03.350] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60acaad480c0 (mem: 818.65 MiB) 11:49:03 computing folding proof (mem: 818.65 MiB) 11:49:03 [11:49:03.353] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.65 MiB) 11:49:03 [11:49:03.662] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.65 MiB) 11:49:03 [11:49:03.757] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.65 MiB) 11:49:03 [11:49:03.816] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.59 MiB) 11:49:04 [11:49:04.296] INFO: ivc-integration:test:native bb - folded (mem: 819.59 MiB) 11:49:04 constructed folding proof (mem: 819.59 MiB) 11:49:04 [11:49:04.312] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 819.59 MiB) 11:49:04 [11:49:04.382] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.59 MiB) 11:49:04 [11:49:04.476] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 819.59 MiB) 11:49:04 Constructing DeciderProvingKey (mem: 819.59 MiB) 11:49:04 [11:49:04.483] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.59 MiB) 11:49:04 goblin ecc op : 792/1024 (mem: 819.59 MiB) 11:49:04 busread : 12/6000 (mem: 819.59 MiB) 11:49:04 lookups : 2/15000 (mem: 819.59 MiB) 11:49:04 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 819.59 MiB) 11:49:04 arithmetic : 12080/56000 (mem: 819.59 MiB) 11:49:04 delta range : 2942/18000 (mem: 819.59 MiB) 11:49:04 elliptic : 2/6000 (mem: 819.59 MiB) 11:49:04 auxiliary : 350/26000 (mem: 819.59 MiB) 11:49:04 poseidon ext : 4942/17000 (mem: 819.59 MiB) 11:49:04 poseidon int : 28160/92000 (mem: 819.59 MiB) 11:49:04 overflow : 0/0 (mem: 819.59 MiB) 11:49:04 (mem: 819.59 MiB) 11:49:04 Total structured size: 242025 (mem: 819.59 MiB) 11:49:04 allocating polynomials object in proving key... (mem: 819.59 MiB) 11:49:04 [11:49:04.601] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.59 MiB) 11:49:04 [11:49:04.639] INFO: ivc-integration:test:native bb - time to construct proving key: 162 ms. (mem: 819.59 MiB) 11:49:04 [11:49:04.775] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60acaad41b40 (mem: 819.59 MiB) 11:49:04 computing folding proof (mem: 819.59 MiB) 11:49:04 [11:49:04.776] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 819.59 MiB) 11:49:05 [11:49:05.504] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.59 MiB) 11:49:05 [11:49:05.613] INFO: ivc-integration:test:native bb - perturbator round (mem: 819.59 MiB) 11:49:05 [11:49:05.699] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.70 MiB) 11:49:06 [11:49:06.100] INFO: ivc-integration:test:native bb - folded (mem: 850.70 MiB) 11:49:06 constructed folding proof (mem: 850.70 MiB) 11:49:06 [11:49:06.115] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 850.70 MiB) 11:49:06 [11:49:06.219] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 850.70 MiB) 11:49:06 Constructing DeciderProvingKey (mem: 850.70 MiB) 11:49:06 [11:49:06.224] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.70 MiB) 11:49:06 goblin ecc op : 392/1024 (mem: 850.70 MiB) 11:49:06 busread : 16/6000 (mem: 850.70 MiB) 11:49:06 lookups : 2/15000 (mem: 850.70 MiB) 11:49:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 850.70 MiB) 11:49:06 arithmetic : 6914/56000 (mem: 850.70 MiB) 11:49:06 delta range : 2347/18000 (mem: 850.70 MiB) 11:49:06 elliptic : 2/6000 (mem: 850.70 MiB) 11:49:06 [11:49:06.225] INFO: ivc-integration:test:native bb - auxiliary : 77/26000 (mem: 850.70 MiB) 11:49:06 poseidon ext : 2472/17000 (mem: 850.70 MiB) 11:49:06 poseidon int : 14081/92000 (mem: 850.70 MiB) 11:49:06 overflow : 0/0 (mem: 850.70 MiB) 11:49:06 (mem: 850.70 MiB) 11:49:06 Total structured size: 242025 (mem: 850.70 MiB) 11:49:06 allocating polynomials object in proving key... (mem: 850.70 MiB) 11:49:06 [11:49:06.425] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.70 MiB) 11:49:06 [11:49:06.492] INFO: ivc-integration:test:native bb - time to construct proving key: 272 ms. (mem: 850.70 MiB) 11:49:06 [11:49:06.592] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60acaadc4a00 (mem: 850.70 MiB) 11:49:06 computing folding proof (mem: 850.70 MiB) 11:49:06 [11:49:06.593] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.70 MiB) 11:49:06 [11:49:06.946] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.70 MiB) 11:49:07 [11:49:07.033] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.70 MiB) 11:49:07 [11:49:07.091] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.96 MiB) 11:49:07 [11:49:07.230] INFO: ivc-integration:test:native bb - folded (mem: 850.96 MiB) 11:49:07 [11:49:07.231] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 850.96 MiB) 11:49:07 [11:49:07.242] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.96 MiB) 11:49:07 [11:49:07.311] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 850.96 MiB) 11:49:07 Constructing DeciderProvingKey (mem: 850.96 MiB) 11:49:07 [11:49:07.321] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.96 MiB) 11:49:07 goblin ecc op : 392/1024 (mem: 850.96 MiB) 11:49:07 busread : 3/6000 (mem: 850.96 MiB) 11:49:07 [11:49:07.323] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 850.96 MiB) 11:49:07 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 850.96 MiB) 11:49:07 arithmetic : 6849/56000 (mem: 850.96 MiB) 11:49:07 delta range : 2333/18000 (mem: 850.96 MiB) 11:49:07 elliptic : 2/6000 (mem: 850.96 MiB) 11:49:07 auxiliary : 50/26000 (mem: 850.96 MiB) 11:49:07 poseidon ext : 2472/17000 (mem: 850.96 MiB) 11:49:07 poseidon int : 14081/92000 (mem: 850.96 MiB) 11:49:07 overflow : 0/0 (mem: 850.96 MiB) 11:49:07 (mem: 850.96 MiB) 11:49:07 Total structured size: 242025 (mem: 850.96 MiB) 11:49:07 allocating polynomials object in proving key... (mem: 850.96 MiB) 11:49:07 [11:49:07.404] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.96 MiB) 11:49:07 [11:49:07.441] INFO: ivc-integration:test:native bb - time to construct proving key: 130 ms. (mem: 850.96 MiB) 11:49:07 [11:49:07.594] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60acaad5b300 (mem: 850.96 MiB) 11:49:07 computing folding proof (mem: 850.96 MiB) 11:49:07 [11:49:07.595] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 850.96 MiB) 11:49:07 [11:49:07.954] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.96 MiB) 11:49:08 [11:49:08.043] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.96 MiB) 11:49:08 [11:49:08.106] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 852.91 MiB) 11:49:08 [11:49:08.342] INFO: ivc-integration:test:native bb - folded (mem: 852.91 MiB) 11:49:08 constructed folding proof (mem: 852.91 MiB) 11:49:08 [11:49:08.345] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 852.91 MiB) 11:49:08 Minimum required block sizes for structured trace: (mem: 852.91 MiB) 11:49:08 (mem: 852.91 MiB) 11:49:08 prove decider... (mem: 852.91 MiB) 11:49:08 [11:49:08.346] INFO: ivc-integration:test:native bb - ecc_op : 792 11:49:08 busread : 16 11:49:08 lookup : 2 11:49:08 pub_inputs : 36 11:49:08 arithmetic : 12080 11:49:08 delta_range : 2942 11:49:08 elliptic : 2 11:49:08 aux : 350 11:49:08 poseidon2_external : 4942 11:49:08 poseidon2_internal : 28160 11:49:08 overflow : 0 11:49:08 [11:49:08.501] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.91 MiB) 11:49:08 [11:49:08.622] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 852.91 MiB) 11:49:09 [11:49:09.357] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.91 MiB) 11:49:09 [11:49:09.430] INFO: ivc-integration:test:native bb - computed opening proof (mem: 852.91 MiB) 11:49:09 [11:49:09.431] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 852.91 MiB) 11:49:09 [11:49:09.450] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 852.91 MiB) 11:49:09 [11:49:09.553] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 852.91 MiB) 11:49:09 [11:49:09.560] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 852.91 MiB) 11:49:09 [11:49:09.691] INFO: ivc-integration:test:native bb - populating trace... (mem: 852.91 MiB) 11:49:09 [11:49:09.759] INFO: ivc-integration:test:native bb - time to construct proving key: 201 ms. (mem: 852.91 MiB) 11:49:10 [11:49:10.514] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 852.91 MiB) 11:49:11 [11:49:11.044] INFO: ivc-integration:test:native bb - created oink proof (mem: 852.91 MiB) 11:49:11 [11:49:11.269] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.91 MiB) 11:49:12 [11:49:12.452] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 852.91 MiB) 11:49:13 [11:49:13.114] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.91 MiB) 11:49:13 [11:49:13.157] INFO: ivc-integration:test:native bb - computed opening proof (mem: 852.91 MiB) 11:49:13 finished decider proving. (mem: 852.91 MiB) 11:49:13 Constructing a Goblin proof with num ultra ops = 2226 (mem: 852.91 MiB) 11:49:13 [11:49:13.327] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 852.91 MiB) 11:49:13 [11:49:13.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: 852.91 MiB) 11:49:13 [11:49:13.660] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 852.91 MiB) 11:49:15 [11:49:15.046] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.91 MiB) 11:49:16 [11:49:16.377] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 852.91 MiB) 11:49:19 [11:49:19.310] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 852.91 MiB) 11:49:19 prove translator... (mem: 852.91 MiB) 11:49:21 [11:49:21.361] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 868.01 MiB) 11:49:23 [11:49:23.615] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 11:49:23 [11:49:23.616] INFO: ivc-integration:test:native bb - (mem: 11:49:23 [11:49:23.616] INFO: ivc-integration:test:native bb - 868.01 11:49:23 [11:49:23.617] INFO: ivc-integration:test:native bb - MiB) 11:49:23 [11:49:23.617] INFO: ivc-integration:test:native bb - 11:49:25 [11:49:25.700] INFO: ivc-integration:test:native bb - computed opening proof (mem: 868.01 MiB) 11:49:25 [11:49:25.701] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 868.01 MiB) 11:49:25 [11:49:25.716] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 868.01 MiB) 11:49:25 [11:49:25.745] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 868.01 MiB) 11:49:25 libra_evals_verified: 1 (mem: 868.01 MiB) 11:49:25 pairing_check_verified: 1 (mem: 868.01 MiB) 11:49:25 Mega verified: 1 (mem: 868.01 MiB) 11:49:25 [11:49:25.864] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 869.01 MiB) 11:49:25 batch opening verified?: 1 (mem: 869.01 MiB) 11:49:25 eccvm consistency check verified?: 1 (mem: 869.01 MiB) 11:49:25 translation masking consistency checked?: 1 (mem: 869.01 MiB) 11:49:25 [11:49:25.884] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 869.01 MiB) 11:49:25 eccvm verified?: 1 (mem: 869.01 MiB) 11:49:25 accumulator construction_verified?: 1 (mem: 869.01 MiB) 11:49:25 translation verified?: 1 (mem: 869.01 MiB) 11:49:25 consistency verified?: 1 (mem: 869.01 MiB) 11:49:25 Goblin verified: 1 (mem: 869.01 MiB) 11:49:25 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-UrsNLf" (mem: 869.01 MiB) 11:49:25 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-UrsNLf" (mem: 869.01 MiB) 11:49:25 BN254 commitment key size: 262144 (mem: 869.01 MiB) 11:49:25 [11:49:25.888] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 11:49:25 [11:49:25.891] INFO: ivc-integration:test:native bb - (mem: 869.01 MiB) 11:49:25 [11:49:25.894] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 11:49:25 [11:49:25.897] INFO: ivc-integration:test:native bb - (mem: 869.01 MiB) 11:49:25 goblin ecc op : 4/1024 (mem: 869.01 MiB) 11:49:25 busread : 3/6000 (mem: 869.01 MiB) 11:49:25 lookups : 2/15000 (mem: 869.01 MiB) 11:49:25 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 869.01 MiB) 11:49:25 arithmetic : 1773/56000 (mem: 869.01 MiB) 11:49:25 delta range : 1754/18000 (mem: 869.01 MiB) 11:49:25 elliptic : 2/6000 (mem: 869.01 MiB) 11:49:25 auxiliary : 26/26000 (mem: 869.01 MiB) 11:49:25 poseidon ext : 2/17000 (mem: 869.01 MiB) 11:49:25 poseidon int : 2/92000 (mem: 869.01 MiB) 11:49:25 overflow : 0/0 (mem: 869.01 MiB) 11:49:25 (mem: 869.01 MiB) 11:49:25 Total structured size: 242025 (mem: 869.01 MiB) 11:49:25 allocating polynomials object in proving key... (mem: 869.01 MiB) 11:49:26 [11:49:26.034] INFO: ivc-integration:test:native bb - populating trace... (mem: 869.01 MiB) 11:49:26 [11:49:26.051] INFO: ivc-integration:test:native bb - time to construct proving key: 161 ms. (mem: 869.01 MiB) 11:49:26 [11:49:26.113] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 869.01 MiB) 11:49:26 [11:49:26.780] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 869.01 MiB) 11:49:26 [11:49:26.781] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 869.01 MiB) 11:49:26 [11:49:26.996] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 869.01 MiB) 11:49:27 [11:49:27.004] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 869.01 MiB) 11:49:27 [11:49:27.015] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 869.01 MiB) 11:49:27 [11:49:27.018] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 869.01 MiB) 11:49:27 goblin ecc op : 56/1024 (mem: 869.01 MiB) 11:49:27 busread : 3/6000 (mem: 869.01 MiB) 11:49:27 lookups : 2/15000 (mem: 869.01 MiB) 11:49:27 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 869.01 MiB) 11:49:27 arithmetic : 4481/56000 (mem: 869.01 MiB) 11:49:27 [11:49:27.018] INFO: ivc-integration:test:native bb - delta range : 2041/18000 (mem: 869.01 MiB) 11:49:27 elliptic : 2/6000 (mem: 869.01 MiB) 11:49:27 auxiliary : 50/26000 (mem: 869.01 MiB) 11:49:27 poseidon ext : 1312/17000 (mem: 869.01 MiB) 11:49:27 poseidon int : 7469/92000 (mem: 869.01 MiB) 11:49:27 overflow : 0/0 (mem: 869.01 MiB) 11:49:27 (mem: 869.01 MiB) 11:49:27 Total structured size: 242025 (mem: 869.01 MiB) 11:49:27 allocating polynomials object in proving key... (mem: 869.01 MiB) 11:49:27 [11:49:27.489] INFO: ivc-integration:test:native bb - populating trace... (mem: 869.01 MiB) 11:49:27 [11:49:27.507] INFO: ivc-integration:test:native bb - time to construct proving key: 491 ms. (mem: 869.01 MiB) 11:49:27 [11:49:27.548] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 869.01 MiB) 11:49:28 [11:49:28.452] INFO: ivc-integration:test:native bb - computing folding proof (mem: 869.01 MiB) 11:49:28 [11:49:28.453] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 869.01 MiB) 11:49:29 [11:49:29.055] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 869.01 MiB) 11:49:29 [11:49:29.244] INFO: ivc-integration:test:native bb - perturbator round (mem: 869.01 MiB) 11:49:29 [11:49:29.327] INFO: ivc-integration:test:native bb - combiner quotient round 11:49:29 [11:49:29.328] INFO: ivc-integration:test:native bb - (mem: 901.01 MiB) 11:49:29 [11:49:29.700] INFO: ivc-integration:test:native bb - folded (mem: 901.01 MiB) 11:49:29 constructed folding proof (mem: 901.01 MiB) 11:49:29 [11:49:29.701] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 901.01 MiB) 11:49:29 Minimum required block sizes for structured trace: (mem: 901.01 MiB) 11:49:29 (mem: 901.01 MiB) 11:49:29 prove decider... (mem: 901.01 MiB) 11:49:29 [11:49:29.702] INFO: ivc-integration:test:native bb - ecc_op : 56 11:49:29 busread : 3 11:49:29 lookup : 2 11:49:29 pub_inputs : 36 11:49:29 arithmetic : 4481 11:49:29 delta_range : 2041 11:49:29 elliptic : 2 11:49:29 aux : 50 11:49:29 poseidon2_external : 1312 11:49:29 poseidon2_internal : 7469 11:49:29 overflow : 0 11:49:29 [11:49:29.861] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 901.01 MiB) 11:49:29 [11:49:29.941] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 901.01 MiB) 11:49:30 [11:49:30.741] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 901.01 MiB) 11:49:30 [11:49:30.813] INFO: ivc-integration:test:native bb - computed opening proof (mem: 901.01 MiB) 11:49:30 finished decider proving. (mem: 901.01 MiB) 11:49:30 [11:49:30.833] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 901.01 MiB) 11:49:30 [11:49:30.965] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 901.01 MiB) 11:49:30 [11:49:30.979] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 901.01 MiB) 11:49:31 [11:49:31.099] INFO: ivc-integration:test:native bb - populating trace... (mem: 901.01 MiB) 11:49:31 [11:49:31.173] INFO: ivc-integration:test:native bb - time to construct proving key: 208 ms. (mem: 901.01 MiB) 11:49:31 [11:49:31.623] 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-UrsNLf/proof -k /tmp/bb-client-ivc-integration-UrsNLf/vk -v 11:49:31 [11:49:31.640] INFO: ivc-integration:test:native bb command: verify (mem: 163.84 MiB) 11:49:31 Scheme is: client_ivc, num threads: 128 (mem: 163.84 MiB) 11:49:31 --proof_path: /tmp/bb-client-ivc-integration-UrsNLf/proof (mem: 163.84 MiB) 11:49:31 --vk_path: /tmp/bb-client-ivc-integration-UrsNLf/vk (mem: 163.84 MiB) 11:49:31 --verbose: true (mem: 163.84 MiB) 11:49:31 --scheme: client_ivc (mem: 163.84 MiB) 11:49:31 [11:49:31.721] 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.84 MiB) 11:49:31 [11:49:31.747] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 163.84 MiB) 11:49:31 [11:49:31.750] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 163.84 MiB) 11:49:31 [11:49:31.773] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 163.84 MiB) 11:49:31 [11:49:31.773] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 163.84 MiB) 11:49:31 [11:49:31.775] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 163.84 MiB) 11:49:31 libra_evals_verified: 1 (mem: 163.84 MiB) 11:49:31 pairing_check_verified: 1 (mem: 163.84 MiB) 11:49:31 Mega verified: 1 (mem: 163.84 MiB) 11:49:31 [11:49:31.850] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 175.80 MiB) 11:49:31 batch opening verified?: 1 (mem: 175.80 MiB) 11:49:31 eccvm consistency check verified?: 1 (mem: 175.80 MiB) 11:49:31 translation masking consistency checked?: 1 (mem: 175.80 MiB) 11:49:31 [11:49:31.869] INFO: ivc-integration:test:native merge verified?: 1 (mem: 175.80 MiB) 11:49:31 eccvm verified?: 1 (mem: 175.80 MiB) 11:49:31 accumulator construction_verified?: 1 (mem: 175.80 MiB) 11:49:31 translation verified?: 1 (mem: 175.80 MiB) 11:49:31 consistency verified?: 1 (mem: 175.80 MiB) 11:49:31 [11:49:31.870] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 175.80 MiB) 11:49:31 [11:49:31.878] INFO: ivc-integration:test:native verified: 1 (mem: 175.80 MiB) 11:49:31 PASS src/native_client_ivc_integration.test.ts (69.501 s) 11:49:31 Client IVC Integration 11:49:31 ✓ Should generate a verifiable client IVC proof from a simple mock tx (34278 ms) 11:49:31 ✓ Should generate a verifiable client IVC proof from a complex mock tx (31908 ms) 11:49:31 11:49:31 Test Suites: 1 passed, 1 total 11:49:31 Tests: 2 passed, 2 total 11:49:31 Snapshots: 0 total 11:49:31 Time: 69.596 s 11:49:31 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 11:49:31 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?