Parent Log: http://ci.aztec-labs.com/ac73f67c4ebf5c73 Command: a5511b51e55ea9c0: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/0dc6f60f84deaa57a8570f9942eb75317f5aeea5 Env: REF_NAME=gh-readonly-queue/next/pr-15162-6ee95286f8bcc5bb6dca43222459ac5bf43a8a75 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 20 09:40:20 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15162_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 09:40:24 [09:40:24.843] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-LaB7xJ/ivc-inputs.msgpack 09:40:24 [09:40:24.850] INFO: ivc-integration:test:native bb - BB concurrency: undefined 09:40:24 [09:40:24.851] 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-LaB7xJ --ivc_inputs_path /tmp/bb-client-ivc-integration-LaB7xJ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 09:40:24 [09:40:24.872] INFO: ivc-integration:test:native bb - bb command: prove (mem: 182.31 MiB) 09:40:24 Scheme is: client_ivc, num threads: 128 (mem: 182.31 MiB) 09:40:24 --scheme: client_ivc (mem: 182.31 MiB) 09:40:24 --output_path: /tmp/bb-client-ivc-integration-LaB7xJ (mem: 182.31 MiB) 09:40:24 --ivc_inputs_path: /tmp/bb-client-ivc-integration-LaB7xJ/ivc-inputs.msgpack (mem: 182.31 MiB) 09:40:24 --verbose: true (mem: 182.31 MiB) 09:40:24 --write_vk: true (mem: 182.31 MiB) 09:40:24 [09:40:24.874] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 182.31 MiB) 09:40:24 [09:40:24.983] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 257.00 MiB) 09:40:25 [09:40:25.057] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 09:40:25 [09:40:25.058] INFO: ivc-integration:test:native bb - 305.80 MiB) 09:40:25 [09:40:25.061] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 305.80 MiB) 09:40:25 [09:40:25.063] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 305.80 MiB) 09:40:25 [09:40:25.067] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 305.80 MiB) 09:40:25 goblin ecc op : 4/1024 (mem: 305.80 MiB) 09:40:25 busread : 7/6000 (mem: 305.80 MiB) 09:40:25 lookups : 2/15000 (mem: 305.80 MiB) 09:40:25 [09:40:25.068] INFO: ivc-integration:test:native bb - 09:40:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 305.80 MiB) 09:40:25 arithmetic : 1760/56000 (mem: 305.80 MiB) 09:40:25 delta range : 1754/18000 (mem: 305.80 MiB) 09:40:25 elliptic : 2/6000 (mem: 305.80 MiB) 09:40:25 auxiliary : 26/26000 (mem: 305.80 MiB) 09:40:25 poseidon ext : 2/17000 (mem: 305.80 MiB) 09:40:25 poseidon int : 2/92000 (mem: 305.80 MiB) 09:40:25 overflow : 0/0 (mem: 305.80 MiB) 09:40:25 (mem: 305.80 MiB) 09:40:25 Total structured size: 242025 (mem: 305.80 MiB) 09:40:25 allocating polynomials object in proving key... (mem: 305.80 MiB) 09:40:25 [09:40:25.138] INFO: ivc-integration:test:native bb - populating trace... (mem: 504.82 MiB) 09:40:25 [09:40:25.149] INFO: ivc-integration:test:native bb - time to construct proving key: 87 ms. (mem: 517.82 MiB) 09:40:25 [09:40:25.205] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d7210319940 (mem: 517.82 MiB) 09:40:25 computing oink proof... (mem: 517.82 MiB) 09:40:25 [09:40:25.206] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 517.82 MiB) 09:40:25 [09:40:25.362] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 524.82 MiB) 09:40:25 [09:40:25.371] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 524.82 MiB) 09:40:25 [09:40:25.389] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 524.82 MiB) 09:40:25 Constructing DeciderProvingKey (mem: 524.82 MiB) 09:40:25 [09:40:25.395] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 524.82 MiB) 09:40:25 goblin ecc op : 56/1024 (mem: 524.82 MiB) 09:40:25 busread : 12/6000 (mem: 524.82 MiB) 09:40:25 lookups : 2/15000 (mem: 524.82 MiB) 09:40:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 524.82 MiB) 09:40:25 arithmetic : 4677/56000 (mem: 524.82 MiB) 09:40:25 delta range : 2073/18000 (mem: 524.82 MiB) 09:40:25 elliptic : 2/6000 (mem: 524.82 MiB) 09:40:25 auxiliary : 110/26000 (mem: 524.82 MiB) 09:40:25 poseidon ext : 1322/17000 (mem: 524.82 MiB) 09:40:25 poseidon int : 7526/92000 (mem: 524.82 MiB) 09:40:25 overflow : 0/0 (mem: 524.82 MiB) 09:40:25 (mem: 524.82 MiB) 09:40:25 Total structured size: 242025 (mem: 524.82 MiB) 09:40:25 allocating polynomials object in proving key... (mem: 524.82 MiB) 09:40:25 [09:40:25.479] INFO: ivc-integration:test:native bb - populating trace... (mem: 731.82 MiB) 09:40:25 [09:40:25.493] INFO: ivc-integration:test:native bb - time to construct proving key: 104 ms. (mem: 744.82 MiB) 09:40:25 [09:40:25.539] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d7210326680 (mem: 744.82 MiB) 09:40:25 computing folding proof (mem: 744.82 MiB) 09:40:25 [09:40:25.540] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 744.82 MiB) 09:40:25 [09:40:25.974] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.82 MiB) 09:40:26 [09:40:26.068] INFO: ivc-integration:test:native bb - perturbator round (mem: 783.82 MiB) 09:40:26 [09:40:26.119] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.82 MiB) 09:40:26 [09:40:26.531] INFO: ivc-integration:test:native bb - folded (mem: 816.82 MiB) 09:40:26 constructed folding proof (mem: 816.82 MiB) 09:40:26 [09:40:26.543] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 816.82 MiB) 09:40:26 [09:40:26.610] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.82 MiB) 09:40:26 Constructing DeciderProvingKey (mem: 816.82 MiB) 09:40:26 [09:40:26.614] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.82 MiB) 09:40:26 goblin ecc op : 392/1024 (mem: 816.82 MiB) 09:40:26 [09:40:26.616] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 816.82 MiB) 09:40:26 lookups : 2/15000 (mem: 816.82 MiB) 09:40:26 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 816.82 MiB) 09:40:26 arithmetic : 6913/56000 (mem: 816.82 MiB) 09:40:26 delta range : 2353/18000 (mem: 816.82 MiB) 09:40:26 elliptic : 2/6000 (mem: 816.82 MiB) 09:40:26 auxiliary : 50/26000 (mem: 816.82 MiB) 09:40:26 poseidon ext : 2492/17000 (mem: 816.82 MiB) 09:40:26 poseidon int : 14195/92000 (mem: 816.82 MiB) 09:40:26 overflow : 0/0 (mem: 816.82 MiB) 09:40:26 (mem: 816.82 MiB) 09:40:26 Total structured size: 242025 (mem: 816.82 MiB) 09:40:26 allocating polynomials object in proving key... (mem: 816.82 MiB) 09:40:26 [09:40:26.828] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.82 MiB) 09:40:26 [09:40:26.885] INFO: ivc-integration:test:native bb - time to construct proving key: 274 ms. (mem: 816.82 MiB) 09:40:27 [09:40:27.046] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d721031bc40 (mem: 816.82 MiB) 09:40:27 computing folding proof (mem: 816.82 MiB) 09:40:27 [09:40:27.047] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 816.82 MiB) 09:40:27 [09:40:27.732] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.82 MiB) 09:40:27 [09:40:27.885] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.82 MiB) 09:40:27 [09:40:27.932] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.82 MiB) 09:40:28 [09:40:28.329] INFO: ivc-integration:test:native bb - folded (mem: 816.82 MiB) 09:40:28 constructed folding proof (mem: 816.82 MiB) 09:40:28 [09:40:28.330] INFO: ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 816.82 MiB) 09:40:28 Minimum required block sizes for structured trace: (mem: 816.82 MiB) 09:40:28 (mem: 816.82 MiB) 09:40:28 prove decider... (mem: 816.82 MiB) 09:40:28 [09:40:28.332] INFO: ivc-integration:test:native bb - ecc_op : 392 09:40:28 busread : 12 09:40:28 lookup : 2 09:40:28 pub_inputs : 36 09:40:28 arithmetic : 6913 09:40:28 delta_range : 2353 09:40:28 elliptic : 2 09:40:28 aux : 110 09:40:28 poseidon2_external : 2492 09:40:28 poseidon2_internal : 14195 09:40:28 overflow : 0 09:40:28 [09:40:28.532] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.82 MiB) 09:40:28 [09:40:28.727] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 816.82 MiB) 09:40:29 [09:40:29.871] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 816.82 MiB) 09:40:29 [09:40:29.967] INFO: ivc-integration:test:native bb - computed opening proof (mem: 816.82 MiB) 09:40:29 finished decider proving. (mem: 816.82 MiB) 09:40:30 [09:40:29.996] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 816.82 MiB) 09:40:30 [09:40:30.153] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 816.82 MiB) 09:40:30 [09:40:30.159] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 816.82 MiB) 09:40:30 [09:40:30.309] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.82 MiB) 09:40:30 [09:40:30.394] INFO: ivc-integration:test:native bb - time to construct proving key: 237 ms. (mem: 816.82 MiB) 09:40:31 [09:40:31.516] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 816.82 MiB) 09:40:32 [09:40:32.214] INFO: ivc-integration:test:native bb - created oink proof (mem: 816.82 MiB) 09:40:32 [09:40:32.517] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.82 MiB) 09:40:34 [09:40:34.732] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 816.82 MiB) 09:40:35 [09:40:35.909] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 816.82 MiB) 09:40:35 [09:40:35.953] INFO: ivc-integration:test:native bb - computed opening proof (mem: 816.82 MiB) 09:40:35 finished decider proving. (mem: 816.82 MiB) 09:40:35 [09:40:35.956] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 816.82 MiB) 09:40:36 [09:40:36.198] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 816.82 MiB) 09:40:36 [09:40:36.714] 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: 816.82 MiB) 09:40:36 [09:40:36.760] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 09:40:36 [09:40:36.764] INFO: ivc-integration:test:native bb - (mem: 816.82 MiB) 09:40:39 [09:40:39.061] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.82 MiB) 09:40:41 [09:40:41.281] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 816.82 MiB) 09:40:46 [09:40:46.431] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 816.82 MiB) 09:40:46 prove translator... (mem: 816.82 MiB) 09:40:49 [09:40:49.014] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.92 MiB) 09:40:51 [09:40:51.543] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 852.92 MiB) 09:40:54 [09:40:54.505] INFO: ivc-integration:test:native bb - computed opening proof (mem: 852.92 MiB) 09:40:54 [09:40:54.506] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 852.92 MiB) 09:40:54 [09:40:54.515] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 852.92 MiB) 09:40:54 [09:40:54.534] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 852.92 MiB) 09:40:54 libra_evals_verified: 1 (mem: 852.92 MiB) 09:40:54 pairing_check_verified: 1 (mem: 852.92 MiB) 09:40:54 Mega verified: 1 (mem: 852.92 MiB) 09:40:54 [09:40:54.628] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 852.92 MiB) 09:40:54 batch opening verified?: 1 (mem: 852.92 MiB) 09:40:54 eccvm consistency check verified?: 1 (mem: 852.92 MiB) 09:40:54 translation masking consistency checked?: 1 (mem: 852.92 MiB) 09:40:54 [09:40:54.648] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 852.92 MiB) 09:40:54 eccvm verified?: 1 (mem: 852.92 MiB) 09:40:54 accumulator construction_verified?: 1 (mem: 852.92 MiB) 09:40:54 translation verified?: 1 (mem: 852.92 MiB) 09:40:54 consistency verified?: 1 (mem: 852.92 MiB) 09:40:54 Goblin verified: 1 (mem: 852.92 MiB) 09:40:54 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-LaB7xJ" (mem: 852.92 MiB) 09:40:54 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-LaB7xJ" (mem: 852.92 MiB) 09:40:54 BN254 commitment key size: 262144 (mem: 852.92 MiB) 09:40:54 [09:40:54.651] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 852.92 MiB) 09:40:54 [09:40:54.657] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 852.92 MiB) 09:40:54 goblin ecc op : 4/1024 (mem: 852.92 MiB) 09:40:54 busread : 3/6000 (mem: 852.92 MiB) 09:40:54 lookups : 2/15000 (mem: 852.92 MiB) 09:40:54 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 852.92 MiB) 09:40:54 arithmetic : 1773/56000 (mem: 852.92 MiB) 09:40:54 delta range : 1754/18000 (mem: 852.92 MiB) 09:40:54 elliptic : 2/6000 (mem: 852.92 MiB) 09:40:54 auxiliary : 26/26000 (mem: 852.92 MiB) 09:40:54 poseidon ext : 2/17000 (mem: 852.92 MiB) 09:40:54 poseidon int : 2/92000 (mem: 852.92 MiB) 09:40:54 overflow : 0/0 (mem: 852.92 MiB) 09:40:54 (mem: 852.92 MiB) 09:40:54 Total structured size: 242025 (mem: 852.92 MiB) 09:40:54 allocating polynomials object in proving key... (mem: 852.92 MiB) 09:40:54 [09:40:54.987] INFO: ivc-integration:test:native bb - populating trace... (mem: 852.92 MiB) 09:40:55 [09:40:55.001] INFO: ivc-integration:test:native bb - time to construct proving key: 350 ms. (mem: 852.92 MiB) 09:40:55 [09:40:55.066] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 852.92 MiB) 09:40:55 [09:40:55.953] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 852.92 MiB) 09:40:55 [09:40:55.954] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 852.92 MiB) 09:40:56 [09:40:56.439] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 852.92 MiB) 09:40:56 [09:40:56.444] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 852.92 MiB) 09:40:56 [09:40:56.464] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 852.92 MiB) 09:40:56 [09:40:56.470] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 852.92 MiB) 09:40:56 goblin ecc op : 56/1024 (mem: 852.92 MiB) 09:40:56 busread : 3/6000 (mem: 852.92 MiB) 09:40:56 lookups : 2/15000 (mem: 852.92 MiB) 09:40:56 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 852.92 MiB) 09:40:56 arithmetic : 4533/56000 (mem: 852.92 MiB) 09:40:56 delta range : 2060/18000 (mem: 852.92 MiB) 09:40:56 elliptic : 2/6000 (mem: 852.92 MiB) 09:40:56 auxiliary : 50/26000 (mem: 852.92 MiB) 09:40:56 poseidon ext : 1332/17000 (mem: 852.92 MiB) 09:40:56 poseidon int : 7583/92000 (mem: 852.92 MiB) 09:40:56 overflow : 0/0 (mem: 852.92 MiB) 09:40:56 (mem: 852.92 MiB) 09:40:56 Total structured size: 242025 (mem: 852.92 MiB) 09:40:56 allocating polynomials object in proving key... (mem: 852.92 MiB) 09:40:56 [09:40:56.648] INFO: ivc-integration:test:native bb - populating trace... (mem: 852.92 MiB) 09:40:56 [09:40:56.674] INFO: ivc-integration:test:native bb - time to construct proving key: 210 ms. (mem: 852.92 MiB) 09:40:56 [09:40:56.903] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 852.92 MiB) 09:40:57 [09:40:57.828] INFO: ivc-integration:test:native bb - computing folding proof (mem: 852.92 MiB) 09:40:57 [09:40:57.829] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 852.92 MiB) 09:40:58 [09:40:58.583] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 852.92 MiB) 09:40:58 [09:40:58.748] INFO: ivc-integration:test:native bb - perturbator round (mem: 854.92 MiB) 09:40:58 [09:40:58.864] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 886.92 MiB) 09:40:59 [09:40:59.480] INFO: ivc-integration:test:native bb - folded (mem: 886.92 MiB) 09:40:59 constructed folding proof (mem: 886.92 MiB) 09:40:59 [09:40:59.481] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 886.92 09:40:59 [09:40:59.489] INFO: ivc-integration:test:native bb - MiB) 09:40:59 Minimum required block sizes for structured trace: (mem: 886.92 MiB) 09:40:59 (mem: 886.92 MiB) 09:40:59 prove decider... (mem: 886.92 MiB) 09:40:59 [09:40:59.491] INFO: ivc-integration:test:native bb - ecc_op : 56 09:40:59 busread : 3 09:40:59 lookup : 2 09:40:59 pub_inputs : 36 09:40:59 arithmetic : 4533 09:40:59 delta_range : 2060 09:40:59 elliptic : 2 09:40:59 aux : 50 09:40:59 poseidon2_external : 1332 09:40:59 poseidon2_internal : 7583 09:40:59 overflow : 0 09:40:59 [09:40:59.648] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 09:40:59 [09:40:59.649] INFO: ivc-integration:test:native bb - (mem: 886.92 MiB) 09:40:59 [09:40:59.939] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 886.92 MiB) 09:41:01 [09:41:01.251] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 886.92 MiB) 09:41:01 [09:41:01.315] INFO: ivc-integration:test:native bb - computed opening proof (mem: 886.92 MiB) 09:41:01 finished decider proving. (mem: 886.92 MiB) 09:41:01 [09:41:01.327] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 886.92 MiB) 09:41:01 [09:41:01.437] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 886.92 MiB) 09:41:01 [09:41:01.444] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 886.92 MiB) 09:41:01 [09:41:01.594] INFO: ivc-integration:test:native bb - populating trace... (mem: 886.92 MiB) 09:41:01 [09:41:01.659] INFO: ivc-integration:test:native bb - time to construct proving key: 221 ms. (mem: 886.92 MiB) 09:41:02 [09:41:02.521] INFO: ivc-integration:test:native BB concurrency: 1 09:41:02 [09:41:02.522] 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-LaB7xJ/proof -k /tmp/bb-client-ivc-integration-LaB7xJ/vk -v 09:41:02 [09:41:02.558] INFO: ivc-integration:test:native bb command: verify (mem: 182.31 MiB) 09:41:02 Scheme is: client_ivc, num threads: 1 (mem: 182.31 MiB) 09:41:02 --proof_path: /tmp/bb-client-ivc-integration-LaB7xJ/proof (mem: 182.31 MiB) 09:41:02 --vk_path: /tmp/bb-client-ivc-integration-LaB7xJ/vk (mem: 182.31 MiB) 09:41:02 [09:41:02.559] INFO: ivc-integration:test:native --verbose: true (mem: 182.31 MiB) 09:41:02 --scheme: client_ivc (mem: 182.31 MiB) 09:41:02 [09:41:02.577] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 182.31 MiB) 09:41:02 [09:41:02.602] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 182.31 MiB) 09:41:02 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 182.31 MiB) 09:41:02 [09:41:02.623] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 182.31 MiB) 09:41:02 Initialized BN254 CRS from memory with num points = 9 (mem: 182.31 MiB) 09:41:02 [09:41:02.624] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 182.31 MiB) 09:41:02 libra_evals_verified: 1 (mem: 182.31 MiB) 09:41:02 pairing_check_verified: 1 (mem: 182.31 MiB) 09:41:02 Mega verified: 1 (mem: 182.31 MiB) 09:41:03 [09:41:03.148] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 182.31 MiB) 09:41:03 batch opening verified?: 1 (mem: 182.31 MiB) 09:41:03 eccvm consistency check verified?: 1 (mem: 182.31 MiB) 09:41:03 translation masking consistency checked?: 1 (mem: 182.31 MiB) 09:41:03 [09:41:03.169] INFO: ivc-integration:test:native merge verified?: 1 09:41:03 [09:41:03.174] INFO: ivc-integration:test:native (mem: 182.31 MiB) 09:41:03 eccvm verified?: 1 (mem: 182.31 MiB) 09:41:03 accumulator construction_verified?: 1 (mem: 182.31 MiB) 09:41:03 translation verified?: 1 (mem: 182.31 MiB) 09:41:03 consistency verified?: 1 (mem: 182.31 MiB) 09:41:03 Goblin verified: 1 (mem: 182.31 MiB) 09:41:03 [09:41:03.179] INFO: ivc-integration:test:native verified: 1 (mem: 182.31 MiB) 09:41:03 [09:41:03.274] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-AlMHYK/ivc-inputs.msgpack 09:41:03 [09:41:03.275] INFO: ivc-integration:test:native bb - BB concurrency: undefined 09:41:03 [09:41:03.275] 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-AlMHYK --ivc_inputs_path /tmp/bb-client-ivc-integration-AlMHYK/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 09:41:03 [09:41:03.298] INFO: ivc-integration:test:native bb - bb command: prove (mem: 186.15 MiB) 09:41:03 Scheme is: client_ivc, num threads: 128 (mem: 186.15 MiB) 09:41:03 --scheme: client_ivc (mem: 186.15 MiB) 09:41:03 --output_path: /tmp/bb-client-ivc-integration-AlMHYK (mem: 186.15 MiB) 09:41:03 --ivc_inputs_path: /tmp/bb-client-ivc-integration-AlMHYK/ivc-inputs.msgpack (mem: 186.15 MiB) 09:41:03 --verbose: true (mem: 186.15 MiB) 09:41:03 --write_vk: true (mem: 186.15 MiB) 09:41:03 [09:41:03.304] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 186.15 MiB) 09:41:03 [09:41:03.425] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 260.00 MiB) 09:41:03 [09:41:03.525] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 308.13 MiB) 09:41:03 [09:41:03.530] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 09:41:03 [09:41:03.532] INFO: ivc-integration:test:native bb - (mem: 308.13 MiB) 09:41:03 Constructing DeciderProvingKey (mem: 308.13 MiB) 09:41:03 [09:41:03.544] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 308.13 MiB) 09:41:03 goblin ecc op : 4/1024 (mem: 308.13 MiB) 09:41:03 busread : 7/6000 (mem: 308.13 MiB) 09:41:03 lookups : 2/15000 (mem: 308.13 MiB) 09:41:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 308.13 MiB) 09:41:03 arithmetic : 1760/56000 (mem: 308.13 MiB) 09:41:03 delta range : 1754/18000 (mem: 308.13 MiB) 09:41:03 elliptic : 2/6000 (mem: 308.13 MiB) 09:41:03 auxiliary : 26/26000 (mem: 308.13 MiB) 09:41:03 poseidon ext : 2/17000 (mem: 308.13 MiB) 09:41:03 poseidon int : 2/92000 (mem: 308.13 MiB) 09:41:03 overflow : 0/0 (mem: 308.13 MiB) 09:41:03 (mem: 308.13 MiB) 09:41:03 Total structured size: 242025 (mem: 308.13 MiB) 09:41:03 allocating polynomials object in proving key... (mem: 308.13 MiB) 09:41:03 [09:41:03.749] INFO: ivc-integration:test:native bb - populating trace... (mem: 508.26 MiB) 09:41:03 [09:41:03.772] INFO: ivc-integration:test:native bb - time to construct proving key: 240 ms. (mem: 519.26 MiB) 09:41:03 [09:41:03.818] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b32e09b26c0 (mem: 519.26 MiB) 09:41:03 computing oink proof... (mem: 519.26 MiB) 09:41:03 [09:41:03.819] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 519.26 MiB) 09:41:04 [09:41:04.345] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 529.26 MiB) 09:41:04 [09:41:04.357] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 530.26 MiB) 09:41:04 [09:41:04.375] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 530.26 MiB) 09:41:04 Constructing DeciderProvingKey (mem: 530.26 MiB) 09:41:04 [09:41:04.383] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 530.26 MiB) 09:41:04 goblin ecc op : 56/1024 (mem: 530.26 MiB) 09:41:04 busread : 12/6000 (mem: 530.26 MiB) 09:41:04 lookups : 2/15000 (mem: 530.26 MiB) 09:41:04 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 530.26 MiB) 09:41:04 arithmetic : 4677/56000 (mem: 530.26 MiB) 09:41:04 delta range : 2073/18000 (mem: 09:41:04 [09:41:04.384] INFO: ivc-integration:test:native bb - 530.26 MiB) 09:41:04 elliptic : 2/6000 (mem: 530.26 MiB) 09:41:04 auxiliary : 110/26000 (mem: 530.26 MiB) 09:41:04 poseidon ext : 1322/17000 (mem: 530.26 MiB) 09:41:04 poseidon int : 7526/92000 (mem: 530.26 MiB) 09:41:04 overflow : 0/0 (mem: 530.26 MiB) 09:41:04 (mem: 530.26 MiB) 09:41:04 Total structured size: 242025 (mem: 530.26 MiB) 09:41:04 allocating polynomials object in proving key... (mem: 530.26 MiB) 09:41:04 [09:41:04.599] INFO: ivc-integration:test:native bb - populating trace... (mem: 738.26 MiB) 09:41:04 [09:41:04.640] INFO: ivc-integration:test:native bb - time to construct proving key: 262 ms. (mem: 751.26 MiB) 09:41:04 [09:41:04.699] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b32e09bb940 (mem: 751.26 MiB) 09:41:04 computing folding proof (mem: 751.26 MiB) 09:41:04 [09:41:04.700] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 751.26 MiB) 09:41:05 [09:41:05.407] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 751.26 MiB) 09:41:05 [09:41:05.488] INFO: ivc-integration:test:native bb - perturbator round (mem: 787.26 MiB) 09:41:05 [09:41:05.547] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.26 MiB) 09:41:05 [09:41:05.866] INFO: ivc-integration:test:native bb - folded (mem: 819.26 MiB) 09:41:05 constructed folding proof (mem: 819.26 MiB) 09:41:05 [09:41:05.871] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 819.26 MiB) 09:41:05 Constructing DeciderProvingKey (mem: 819.26 MiB) 09:41:05 [09:41:05.873] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.26 MiB) 09:41:05 goblin ecc op : 4/1024 (mem: 819.26 09:41:05 [09:41:05.874] INFO: ivc-integration:test:native bb - MiB) 09:41:05 busread : 7/6000 (mem: 819.26 MiB) 09:41:05 lookups : 2/15000 (mem: 819.26 MiB) 09:41:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 819.26 MiB) 09:41:05 arithmetic : 1760/56000 (mem: 819.26 MiB) 09:41:05 delta range : 1754/18000 (mem: 819.26 MiB) 09:41:05 elliptic : 2/6000 (mem: 819.26 MiB) 09:41:05 auxiliary : 26/26000 (mem: 819.26 MiB) 09:41:05 poseidon ext : 2/17000 (mem: 819.26 MiB) 09:41:05 poseidon int : 2/92000 (mem: 819.26 MiB) 09:41:05 overflow : 0/0 (mem: 819.26 MiB) 09:41:05 (mem: 819.26 MiB) 09:41:05 Total structured size: 242025 (mem: 819.26 MiB) 09:41:05 allocating polynomials object in proving key... (mem: 819.26 MiB) 09:41:05 [09:41:05.988] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.26 MiB) 09:41:06 [09:41:06.004] INFO: ivc-integration:test:native bb - time to construct proving key: 132 ms. (mem: 819.26 MiB) 09:41:06 [09:41:06.079] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b32e09adf00 (mem: 819.26 MiB) 09:41:06 computing folding proof (mem: 819.26 MiB) 09:41:06 [09:41:06.079] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.26 MiB) 09:41:06 [09:41:06.296] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.26 MiB) 09:41:06 [09:41:06.362] INFO: ivc-integration:test:native bb - perturbator round (mem: 819.26 MiB) 09:41:06 [09:41:06.431] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.35 MiB) 09:41:06 [09:41:06.748] INFO: ivc-integration:test:native bb - folded (mem: 819.35 MiB) 09:41:06 constructed folding proof (mem: 819.35 MiB) 09:41:06 [09:41:06.764] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 819.35 MiB) 09:41:06 [09:41:06.838] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.35 MiB) 09:41:06 [09:41:06.896] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 819.35 MiB) 09:41:06 Constructing DeciderProvingKey (mem: 819.35 MiB) 09:41:06 [09:41:06.901] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.35 MiB) 09:41:06 goblin ecc op : 792/1024 (mem: 819.35 MiB) 09:41:06 busread : 12/6000 (mem: 819.35 MiB) 09:41:06 lookups : 2/15000 (mem: 819.35 MiB) 09:41:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 819.35 MiB) 09:41:06 arithmetic : 12208/56000 (mem: 819.35 MiB) 09:41:06 delta range : 2981/18000 (mem: 819.35 MiB) 09:41:06 elliptic : 2/6000 (mem: 819.35 MiB) 09:41:06 auxiliary : 350/26000 (mem: 819.35 MiB) 09:41:06 [09:41:06.901] INFO: ivc-integration:test:native bb - 09:41:06 poseidon ext : 4982/17000 (mem: 819.35 MiB) 09:41:06 poseidon int : 28388/92000 (mem: 819.35 MiB) 09:41:06 overflow : 0/0 (mem: 819.35 MiB) 09:41:06 (mem: 819.35 MiB) 09:41:06 Total structured size: 242025 (mem: 819.35 MiB) 09:41:06 allocating polynomials object in proving key... (mem: 819.35 MiB) 09:41:06 [09:41:06.975] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.35 MiB) 09:41:07 [09:41:07.020] INFO: ivc-integration:test:native bb - time to construct proving key: 122 ms. (mem: 819.35 MiB) 09:41:07 [09:41:07.099] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b32e09aba80 (mem: 819.35 MiB) 09:41:07 computing folding proof (mem: 819.35 MiB) 09:41:07 [09:41:07.100] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 819.35 MiB) 09:41:07 [09:41:07.495] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.35 MiB) 09:41:07 [09:41:07.616] INFO: ivc-integration:test:native bb - perturbator round (mem: 819.35 MiB) 09:41:07 [09:41:07.686] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 848.11 MiB) 09:41:07 [09:41:07.905] INFO: ivc-integration:test:native bb - folded (mem: 848.11 MiB) 09:41:07 constructed folding proof (mem: 848.11 MiB) 09:41:07 [09:41:07.915] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 848.11 MiB) 09:41:07 [09:41:07.999] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 848.11 MiB) 09:41:07 Constructing DeciderProvingKey (mem: 848.11 MiB) 09:41:08 [09:41:08.001] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.11 MiB) 09:41:08 goblin ecc op : 392/1024 (mem: 848.11 MiB) 09:41:08 busread : 16/6000 (mem: 848.11 MiB) 09:41:08 lookups : 2/15000 (mem: 848.11 MiB) 09:41:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 09:41:08 [09:41:08.005] INFO: ivc-integration:test:native bb - 848.11 MiB) 09:41:08 arithmetic : 6978/56000 (mem: 848.11 MiB) 09:41:08 delta range : 2367/18000 (mem: 848.11 MiB) 09:41:08 elliptic : 2/6000 (mem: 848.11 MiB) 09:41:08 auxiliary : 77/26000 (mem: 848.11 MiB) 09:41:08 poseidon ext : 2492/17000 (mem: 848.11 MiB) 09:41:08 poseidon int : 14195/92000 (mem: 848.11 MiB) 09:41:08 overflow : 0/0 (mem: 848.11 MiB) 09:41:08 (mem: 848.11 MiB) 09:41:08 Total structured size: 242025 (mem: 848.11 MiB) 09:41:08 allocating polynomials object in proving key... (mem: 848.11 MiB) 09:41:08 [09:41:08.147] INFO: ivc-integration:test:native bb - populating trace... (mem: 848.11 MiB) 09:41:08 [09:41:08.178] INFO: ivc-integration:test:native bb - time to construct proving key: 181 ms. (mem: 848.11 MiB) 09:41:08 [09:41:08.351] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b32e09c0e80 (mem: 848.11 MiB) 09:41:08 computing folding proof (mem: 848.11 MiB) 09:41:08 [09:41:08.352] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 848.11 MiB) 09:41:08 [09:41:08.734] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 848.11 MiB) 09:41:08 [09:41:08.811] INFO: ivc-integration:test:native bb - perturbator round (mem: 848.11 MiB) 09:41:08 [09:41:08.874] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 849.56 MiB) 09:41:09 [09:41:09.049] INFO: ivc-integration:test:native bb - folded (mem: 849.56 MiB) 09:41:09 constructed folding proof (mem: 849.56 MiB) 09:41:09 [09:41:09.059] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 849.56 MiB) 09:41:09 [09:41:09.120] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 849.56 MiB) 09:41:09 Constructing DeciderProvingKey (mem: 849.56 MiB) 09:41:09 [09:41:09.124] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.56 MiB) 09:41:09 goblin ecc op : 392/1024 (mem: 849.56 MiB) 09:41:09 busread : 3/6000 (mem: 849.56 MiB) 09:41:09 lookups : 2/15000 (mem: 849.56 MiB) 09:41:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 849.56 MiB) 09:41:09 arithmetic : 6913/56000 (mem: 849.56 MiB) 09:41:09 delta range : 2353/18000 (mem: 849.56 MiB) 09:41:09 elliptic : 2/6000 (mem: 849.56 MiB) 09:41:09 auxiliary : 50/26000 (mem: 849.56 MiB) 09:41:09 poseidon ext : 2492/17000 (mem: 849.56 MiB) 09:41:09 poseidon int : 14195/92000 (mem: 849.56 MiB) 09:41:09 overflow : 0/0 (mem: 849.56 MiB) 09:41:09 (mem: 849.56 MiB) 09:41:09 Total structured size: 242025 (mem: 849.56 MiB) 09:41:09 allocating polynomials object in proving key... (mem: 849.56 MiB) 09:41:09 [09:41:09.196] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.56 MiB) 09:41:09 [09:41:09.233] INFO: ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 849.56 MiB) 09:41:09 [09:41:09.363] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b32e0a2f7c0 (mem: 849.56 MiB) 09:41:09 computing folding proof (mem: 849.56 MiB) 09:41:09 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 09:41:09 [09:41:09.365] INFO: ivc-integration:test:native bb - 849.56 MiB) 09:41:09 [09:41:09.806] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.56 MiB) 09:41:09 [09:41:09.980] INFO: ivc-integration:test:native bb - perturbator round (mem: 849.56 MiB) 09:41:10 [09:41:10.046] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 849.77 MiB) 09:41:10 [09:41:10.233] INFO: ivc-integration:test:native bb - folded (mem: 849.77 MiB) 09:41:10 constructed folding proof (mem: 849.77 MiB) 09:41:10 [09:41:10.234] INFO: ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 849.77 MiB) 09:41:10 Minimum required block sizes for structured trace: (mem: 849.77 MiB) 09:41:10 (mem: 849.77 MiB) 09:41:10 prove decider... (mem: 849.77 MiB) 09:41:10 [09:41:10.234] INFO: ivc-integration:test:native bb - ecc_op : 792 09:41:10 busread : 16 09:41:10 lookup : 2 09:41:10 pub_inputs : 36 09:41:10 arithmetic : 12208 09:41:10 delta_range : 2981 09:41:10 elliptic : 2 09:41:10 aux : 350 09:41:10 poseidon2_external : 4982 09:41:10 poseidon2_internal : 28388 09:41:10 overflow : 0 09:41:10 [09:41:10.348] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 849.77 MiB) 09:41:10 [09:41:10.471] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 849.77 MiB) 09:41:11 [09:41:11.139] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 849.77 MiB) 09:41:11 [09:41:11.207] INFO: ivc-integration:test:native bb - computed opening proof (mem: 849.77 MiB) 09:41:11 finished decider proving. (mem: 849.77 MiB) 09:41:11 [09:41:11.230] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 849.77 MiB) 09:41:11 [09:41:11.329] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.77 MiB) 09:41:11 [09:41:11.334] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 849.77 MiB) 09:41:11 [09:41:11.373] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.77 MiB) 09:41:11 [09:41:11.402] INFO: ivc-integration:test:native bb - time to construct proving key: 73 ms. (mem: 849.77 MiB) 09:41:12 [09:41:12.000] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 849.77 MiB) 09:41:12 [09:41:12.360] INFO: ivc-integration:test:native bb - created oink proof (mem: 849.77 MiB) 09:41:12 [09:41:12.480] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 849.77 MiB) 09:41:12 [09:41:12.951] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 849.77 MiB) 09:41:13 [09:41:13.373] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 849.77 MiB) 09:41:13 [09:41:13.393] INFO: ivc-integration:test:native bb - computed opening proof (mem: 849.77 MiB) 09:41:13 finished decider proving. (mem: 849.77 MiB) 09:41:13 [09:41:13.394] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 849.77 MiB) 09:41:13 [09:41:13.517] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 849.77 MiB) 09:41:13 [09:41:13.780] 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: 849.77 MiB) 09:41:13 [09:41:13.796] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 849.77 MiB) 09:41:15 [09:41:15.105] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 09:41:15 [09:41:15.110] INFO: ivc-integration:test:native bb - (mem: 849.77 MiB) 09:41:16 [09:41:16.686] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 849.77 MiB) 09:41:20 [09:41:20.039] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 849.77 MiB) 09:41:20 prove translator... (mem: 849.77 MiB) 09:41:22 [09:41:22.839] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 869.11 MiB) 09:41:25 [09:41:25.381] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 870.11 MiB) 09:41:27 [09:41:27.891] INFO: ivc-integration:test:native bb - computed opening proof (mem: 870.11 MiB) 09:41:27 [09:41:27.892] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 870.11 MiB) 09:41:27 [09:41:27.904] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 870.11 MiB) 09:41:27 [09:41:27.927] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 09:41:27 [09:41:27.932] INFO: ivc-integration:test:native bb - (mem: 870.11 MiB) 09:41:27 libra_evals_verified: 1 (mem: 870.11 MiB) 09:41:27 pairing_check_verified: 1 (mem: 870.11 MiB) 09:41:27 Mega verified: 1 (mem: 870.11 MiB) 09:41:28 [09:41:28.101] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 09:41:28 [09:41:28.106] INFO: ivc-integration:test:native bb - (mem: 870.11 MiB) 09:41:28 batch opening verified?: 1 (mem: 870.11 MiB) 09:41:28 eccvm consistency check verified?: 1 (mem: 870.11 MiB) 09:41:28 translation masking consistency checked?: 1 (mem: 870.11 MiB) 09:41:28 [09:41:28.125] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 870.11 MiB) 09:41:28 eccvm verified?: 1 (mem: 870.11 MiB) 09:41:28 accumulator construction_verified?: 1 (mem: 870.11 MiB) 09:41:28 translation verified?: 1 (mem: 870.11 MiB) 09:41:28 consistency verified?: 1 (mem: 870.11 MiB) 09:41:28 [09:41:28.126] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 870.11 MiB) 09:41:28 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-AlMHYK" (mem: 870.11 MiB) 09:41:28 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-AlMHYK" (mem: 870.11 MiB) 09:41:28 BN254 commitment key size: 262144 (mem: 870.11 MiB) 09:41:28 [09:41:28.130] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 870.11 MiB) 09:41:28 [09:41:28.133] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 870.11 MiB) 09:41:28 goblin ecc op : 4/1024 (mem: 870.11 MiB) 09:41:28 busread : 3/6000 (mem: 870.11 MiB) 09:41:28 lookups : 2/15000 (mem: 870.11 MiB) 09:41:28 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 870.11 MiB) 09:41:28 arithmetic : 1773/56000 (mem: 870.11 MiB) 09:41:28 delta range : 1754/18000 (mem: 870.11 MiB) 09:41:28 elliptic : 2/6000 (mem: 870.11 MiB) 09:41:28 auxiliary : 26/26000 (mem: 870.11 MiB) 09:41:28 poseidon ext : 2/17000 (mem: 870.11 MiB) 09:41:28 poseidon int : 2/92000 (mem: 870.11 MiB) 09:41:28 overflow : 0/0 (mem: 870.11 MiB) 09:41:28 (mem: 870.11 MiB) 09:41:28 Total structured size: 242025 (mem: 870.11 MiB) 09:41:28 allocating polynomials object in proving key... (mem: 870.11 MiB) 09:41:28 [09:41:28.204] INFO: ivc-integration:test:native bb - populating trace... (mem: 870.11 MiB) 09:41:28 [09:41:28.218] INFO: ivc-integration:test:native bb - time to construct proving key: 87 ms. (mem: 870.11 MiB) 09:41:28 [09:41:28.328] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 870.11 MiB) 09:41:28 [09:41:28.894] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 870.11 MiB) 09:41:28 [09:41:28.899] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 870.11 MiB) 09:41:29 [09:41:29.229] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 870.11 MiB) 09:41:29 [09:41:29.240] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 870.11 MiB) 09:41:29 [09:41:29.262] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 870.11 MiB) 09:41:29 [09:41:29.263] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 870.11 MiB) 09:41:29 goblin ecc op : 56/1024 (mem: 870.11 MiB) 09:41:29 busread : 3/6000 (mem: 870.11 MiB) 09:41:29 lookups : 2/15000 (mem: 870.11 MiB) 09:41:29 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 870.11 MiB) 09:41:29 arithmetic : 4533/56000 (mem: 870.11 MiB) 09:41:29 delta range : 2060/18000 (mem: 870.11 MiB) 09:41:29 elliptic : 2/6000 (mem: 870.11 MiB) 09:41:29 auxiliary : 50/26000 (mem: 870.11 MiB) 09:41:29 poseidon ext : 1332/17000 (mem: 870.11 MiB) 09:41:29 poseidon int : 7583/92000 (mem: 870.11 MiB) 09:41:29 overflow : 0/0 (mem: 870.11 MiB) 09:41:29 (mem: 870.11 MiB) 09:41:29 Total structured size: 242025 (mem: 870.11 MiB) 09:41:29 allocating polynomials object in proving key... (mem: 870.11 MiB) 09:41:29 [09:41:29.396] INFO: ivc-integration:test:native bb - populating trace... 09:41:29 [09:41:29.397] INFO: ivc-integration:test:native bb - (mem: 870.11 MiB) 09:41:29 [09:41:29.413] INFO: ivc-integration:test:native bb - time to construct proving key: 154 ms. (mem: 870.11 MiB) 09:41:29 [09:41:29.650] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 870.11 MiB) 09:41:30 [09:41:30.240] INFO: ivc-integration:test:native bb - computing folding proof (mem: 870.11 MiB) 09:41:30 [09:41:30.241] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 870.11 MiB) 09:41:30 [09:41:30.586] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 870.11 MiB) 09:41:30 [09:41:30.693] INFO: ivc-integration:test:native bb - perturbator round (mem: 870.11 MiB) 09:41:30 [09:41:30.732] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 902.11 MiB) 09:41:30 [09:41:30.853] INFO: ivc-integration:test:native bb - folded (mem: 902.11 MiB) 09:41:30 constructed folding proof (mem: 902.11 MiB) 09:41:30 [09:41:30.854] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 902.11 MiB) 09:41:30 Minimum required block sizes for structured trace: (mem: 902.11 MiB) 09:41:30 (mem: 902.11 MiB) 09:41:30 prove decider... (mem: 902.11 MiB) 09:41:30 [09:41:30.854] INFO: ivc-integration:test:native bb - ecc_op : 56 09:41:30 busread : 3 09:41:30 lookup : 2 09:41:30 pub_inputs : 36 09:41:30 arithmetic : 4533 09:41:30 delta_range : 2060 09:41:30 elliptic : 2 09:41:30 aux : 50 09:41:30 poseidon2_external : 1332 09:41:30 poseidon2_internal : 7583 09:41:30 overflow : 0 09:41:30 [09:41:30.954] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 902.11 MiB) 09:41:31 [09:41:31.041] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 902.11 MiB) 09:41:31 [09:41:31.519] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 902.11 MiB) 09:41:31 [09:41:31.572] INFO: ivc-integration:test:native bb - computed opening proof (mem: 902.11 MiB) 09:41:31 finished decider proving. (mem: 902.11 MiB) 09:41:31 [09:41:31.585] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 902.11 MiB) 09:41:31 [09:41:31.683] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 902.11 MiB) 09:41:31 [09:41:31.689] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 902.11 MiB) 09:41:31 [09:41:31.760] INFO: ivc-integration:test:native bb - populating trace... (mem: 902.11 MiB) 09:41:31 [09:41:31.790] INFO: ivc-integration:test:native bb - time to construct proving key: 107 ms. (mem: 902.11 MiB) 09:41:32 [09:41:32.545] INFO: ivc-integration:test:native BB concurrency: 1 09:41:32 [09:41:32.545] 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-AlMHYK/proof -k /tmp/bb-client-ivc-integration-AlMHYK/vk -v 09:41:32 [09:41:32.566] INFO: ivc-integration:test:native bb command: verify (mem: 189.40 MiB) 09:41:32 [09:41:32.567] INFO: ivc-integration:test:native 09:41:32 Scheme is: client_ivc, num threads: 1 (mem: 189.40 MiB) 09:41:32 --proof_path: /tmp/bb-client-ivc-integration-AlMHYK/proof (mem: 189.40 MiB) 09:41:32 --vk_path: /tmp/bb-client-ivc-integration-AlMHYK/vk (mem: 189.40 MiB) 09:41:32 --verbose: true (mem: 189.40 MiB) 09:41:32 --scheme: client_ivc (mem: 189.40 MiB) 09:41:32 [09:41:32.584] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 189.40 MiB) 09:41:32 [09:41:32.605] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 189.40 MiB) 09:41:32 [09:41:32.606] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 189.40 MiB) 09:41:32 [09:41:32.623] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 189.40 MiB) 09:41:32 [09:41:32.623] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 189.40 MiB) 09:41:32 [09:41:32.624] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 189.40 MiB) 09:41:32 libra_evals_verified: 1 (mem: 189.40 MiB) 09:41:32 pairing_check_verified: 1 (mem: 189.40 MiB) 09:41:32 Mega verified: 1 (mem: 189.40 MiB) 09:41:33 [09:41:33.015] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.40 MiB) 09:41:33 batch opening verified?: 1 (mem: 189.40 MiB) 09:41:33 eccvm consistency check verified?: 1 (mem: 189.40 MiB) 09:41:33 translation masking consistency checked?: 1 (mem: 189.40 MiB) 09:41:33 [09:41:33.034] INFO: ivc-integration:test:native merge verified?: 1 (mem: 189.40 MiB) 09:41:33 eccvm verified?: 1 (mem: 189.40 MiB) 09:41:33 accumulator construction_verified?: 1 (mem: 189.40 MiB) 09:41:33 translation verified?: 1 (mem: 189.40 MiB) 09:41:33 consistency verified?: 1 (mem: 189.40 MiB) 09:41:33 Goblin verified: 1 (mem: 189.40 MiB) 09:41:33 [09:41:33.037] INFO: ivc-integration:test:native verified: 1 (mem: 189.40 MiB) 09:41:33 PASS src/native_client_ivc_integration.test.ts (71.806 s) 09:41:33 Client IVC Integration 09:41:33 ✓ Should generate a verifiable client IVC proof from a simple mock tx (38413 ms) 09:41:33 ✓ Should generate a verifiable client IVC proof from a complex mock tx (29857 ms) 09:41:33 09:41:33 Test Suites: 1 passed, 1 total 09:41:33 Tests: 2 passed, 2 total 09:41:33 Snapshots: 0 total 09:41:33 Time: 71.893 s 09:41:33 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 09:41:33 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?