Parent Log: http://ci.aztec-labs.com/284c9e4852412789 Command: 4d0fb449c606d482: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/263498dd65e8700218979d7a94dbfd25b2a8a8a8 Env: REF_NAME=gh-readonly-queue/next/pr-14921-4b0e4dc09fa55f0bc808fa0c7c3e95e8fa997069 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 20:30:57 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14921_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 20:31:02 [20:31:02.536] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-ZtA0VZ/ivc-inputs.msgpack 20:31:02 [20:31:02.543] 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-ZtA0VZ --ivc_inputs_path /tmp/bb-client-ivc-integration-ZtA0VZ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 20:31:02 [20:31:02.566] INFO: ivc-integration:test:native bb - bb command: prove (mem: 183.75 MiB) 20:31:02 [20:31:02.567] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.75 MiB) 20:31:02 --scheme: client_ivc (mem: 183.75 MiB) 20:31:02 --output_path: /tmp/bb-client-ivc-integration-ZtA0VZ (mem: 183.75 MiB) 20:31:02 --ivc_inputs_path: /tmp/bb-client-ivc-integration-ZtA0VZ/ivc-inputs.msgpack (mem: 183.75 MiB) 20:31:02 --verbose: true (mem: 183.75 MiB) 20:31:02 --write_vk: true (mem: 183.75 MiB) 20:31:02 [20:31:02.568] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.75 MiB) 20:31:02 [20:31:02.690] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 243.00 MiB) 20:31:02 [20:31:02.774] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 291.45 MiB) 20:31:02 [20:31:02.779] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 291.45 MiB) 20:31:02 [20:31:02.780] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 291.45 MiB) 20:31:02 [20:31:02.783] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 291.45 MiB) 20:31:02 goblin ecc op : 4/1024 (mem: 291.45 MiB) 20:31:02 busread : 7/6000 (mem: 291.45 MiB) 20:31:02 lookups : 2/15000 (mem: 291.45 MiB) 20:31:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 291.45 MiB) 20:31:02 arithmetic : 1760/56000 (mem: 291.45 MiB) 20:31:02 delta range : 1754/18000 (mem: 291.45 MiB) 20:31:02 elliptic : 2/6000 (mem: 291.45 MiB) 20:31:02 auxiliary : 26/26000 (mem: 291.45 MiB) 20:31:02 poseidon ext : 2/17000 (mem: 291.45 MiB) 20:31:02 poseidon int : 2/92000 (mem: 291.45 MiB) 20:31:02 overflow : 0/0 (mem: 291.45 MiB) 20:31:02 (mem: 291.45 MiB) 20:31:02 Total structured size: 242025 (mem: 291.45 MiB) 20:31:02 allocating polynomials object in proving key... (mem: 291.45 MiB) 20:31:02 [20:31:02.845] INFO: ivc-integration:test:native bb - populating trace... (mem: 502.83 MiB) 20:31:02 [20:31:02.856] INFO: ivc-integration:test:native bb - time to construct proving key: 76 ms. (mem: 514.83 MiB) 20:31:02 [20:31:02.887] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x585f46c4e440 (mem: 514.83 MiB) 20:31:02 computing oink proof... (mem: 514.83 MiB) 20:31:02 [20:31:02.888] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 514.83 MiB) 20:31:03 [20:31:03.069] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.83 MiB) 20:31:03 [20:31:03.079] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.83 MiB) 20:31:03 [20:31:03.099] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 522.83 MiB) 20:31:03 Constructing DeciderProvingKey (mem: 522.83 MiB) 20:31:03 [20:31:03.104] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 522.83 MiB) 20:31:03 goblin ecc op : 56/1024 (mem: 522.83 MiB) 20:31:03 busread : 12/6000 (mem: 522.83 MiB) 20:31:03 lookups : 2/15000 (mem: 522.83 MiB) 20:31:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 522.83 MiB) 20:31:03 arithmetic : 4625/56000 (mem: 522.83 MiB) 20:31:03 delta range : 2054/18000 (mem: 522.83 MiB) 20:31:03 elliptic : 2/6000 (mem: 522.83 MiB) 20:31:03 auxiliary : 110/26000 (mem: 522.83 MiB) 20:31:03 poseidon ext : 1302/17000 (mem: 522.83 MiB) 20:31:03 poseidon int : 7412/92000 (mem: 522.83 MiB) 20:31:03 overflow : 0/0 (mem: 522.83 MiB) 20:31:03 (mem: 522.83 MiB) 20:31:03 Total structured size: 242025 (mem: 522.83 MiB) 20:31:03 allocating polynomials object in proving key... (mem: 522.83 MiB) 20:31:03 [20:31:03.226] INFO: ivc-integration:test:native bb - populating trace... (mem: 731.83 MiB) 20:31:03 [20:31:03.245] INFO: ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 747.83 MiB) 20:31:03 [20:31:03.306] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x585f46c5b100 (mem: 747.83 MiB) 20:31:03 computing folding proof (mem: 747.83 MiB) 20:31:03 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 747.83 MiB) 20:31:03 [20:31:03.790] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.83 MiB) 20:31:03 [20:31:03.921] INFO: ivc-integration:test:native bb - perturbator round (mem: 784.83 MiB) 20:31:03 [20:31:03.970] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.83 MiB) 20:31:04 [20:31:04.416] INFO: ivc-integration:test:native bb - folded (mem: 816.83 MiB) 20:31:04 constructed folding proof (mem: 816.83 MiB) 20:31:04 [20:31:04.433] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 816.83 MiB) 20:31:04 [20:31:04.543] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.83 MiB) 20:31:04 Constructing DeciderProvingKey (mem: 816.83 MiB) 20:31:04 [20:31:04.548] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.83 MiB) 20:31:04 goblin ecc op : 392/1024 (mem: 816.83 MiB) 20:31:04 busread : 3/6000 (mem: 816.83 MiB) 20:31:04 lookups : 2/15000 (mem: 816.83 MiB) 20:31:04 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 816.83 MiB) 20:31:04 arithmetic : 6849/56000 (mem: 816.83 MiB) 20:31:04 delta range : 2333/18000 (mem: 816.83 MiB) 20:31:04 elliptic : 2/6000 (mem: 816.83 MiB) 20:31:04 auxiliary : 50/26000 (mem: 816.83 MiB) 20:31:04 poseidon ext : 2472/17000 (mem: 816.83 MiB) 20:31:04 poseidon int : 14081/92000 (mem: 816.83 MiB) 20:31:04 overflow : 0/0 (mem: 816.83 MiB) 20:31:04 (mem: 816.83 MiB) 20:31:04 Total structured size: 242025 (mem: 816.83 MiB) 20:31:04 allocating polynomials object in proving key... (mem: 816.83 MiB) 20:31:04 [20:31:04.746] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.83 MiB) 20:31:04 [20:31:04.822] INFO: ivc-integration:test:native bb - time to construct proving key: 279 ms. (mem: 816.83 MiB) 20:31:05 [20:31:05.079] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x585f46c50a80 (mem: 816.83 MiB) 20:31:05 computing folding proof (mem: 816.83 MiB) 20:31:05 [20:31:05.094] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 816.83 MiB) 20:31:05 [20:31:05.763] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.83 MiB) 20:31:05 [20:31:05.922] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.83 MiB) 20:31:05 [20:31:05.957] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.83 MiB) 20:31:06 [20:31:06.513] INFO: ivc-integration:test:native bb - folded (mem: 816.83 MiB) 20:31:06 constructed folding proof (mem: 816.83 MiB) 20:31:06 Largest circuit: 25792 gates. Trace details: (mem: 816.83 MiB) 20:31:06 Minimum required block sizes for structured trace: (mem: 816.83 MiB) 20:31:06 (mem: 816.83 MiB) 20:31:06 prove decider... (mem: 816.83 MiB) 20:31:06 [20:31:06.515] INFO: ivc-integration:test:native bb - ecc_op : 392 20:31:06 busread : 12 20:31:06 lookup : 2 20:31:06 pub_inputs : 36 20:31:06 arithmetic : 6849 20:31:06 delta_range : 2333 20:31:06 elliptic : 2 20:31:06 aux : 110 20:31:06 poseidon2_external : 2472 20:31:06 poseidon2_internal : 14081 20:31:06 overflow : 0 20:31:06 [20:31:06.824] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.83 MiB) 20:31:07 [20:31:07.053] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 816.83 MiB) 20:31:08 [20:31:08.299] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 816.83 MiB) 20:31:08 [20:31:08.380] INFO: ivc-integration:test:native bb - computed opening proof 20:31:08 [20:31:08.381] INFO: ivc-integration:test:native bb - (mem: 816.83 MiB) 20:31:08 finished decider proving. (mem: 816.83 MiB) 20:31:08 [20:31:08.402] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 816.83 MiB) 20:31:08 [20:31:08.534] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 816.83 MiB) 20:31:08 [20:31:08.538] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 20:31:08 [20:31:08.539] INFO: ivc-integration:test:native bb - (mem: 20:31:08 [20:31:08.543] INFO: ivc-integration:test:native bb - 816.83 MiB) 20:31:08 [20:31:08.767] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.83 MiB) 20:31:08 [20:31:08.869] INFO: ivc-integration:test:native bb - time to construct proving key: 333 ms. (mem: 816.83 MiB) 20:31:10 [20:31:10.062] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 816.83 MiB) 20:31:10 [20:31:10.799] INFO: ivc-integration:test:native bb - created oink proof (mem: 816.83 MiB) 20:31:11 [20:31:11.143] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.83 MiB) 20:31:12 [20:31:12.793] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 816.83 MiB) 20:31:13 [20:31:13.785] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 816.83 MiB) 20:31:13 [20:31:13.840] INFO: ivc-integration:test:native bb - computed opening proof (mem: 816.83 MiB) 20:31:13 finished decider proving. (mem: 816.83 MiB) 20:31:13 Constructing a Goblin proof with num ultra ops = 1038 (mem: 816.83 MiB) 20:31:14 [20:31:14.142] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 816.83 MiB) 20:31:14 [20:31:14.637] 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.83 MiB) 20:31:14 [20:31:14.662] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 816.83 MiB) 20:31:16 [20:31:16.710] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.83 MiB) 20:31:19 [20:31:19.082] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 816.83 MiB) 20:31:24 [20:31:24.835] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 816.83 MiB) 20:31:24 prove translator... (mem: 816.83 MiB) 20:31:27 [20:31:27.443] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.21 MiB) 20:31:29 [20:31:29.928] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.21 MiB) 20:31:32 [20:31:32.555] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.21 MiB) 20:31:32 [20:31:32.556] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 851.21 MiB) 20:31:32 [20:31:32.562] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 851.21 MiB) 20:31:32 [20:31:32.579] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 851.21 MiB) 20:31:32 libra_evals_verified: 1 (mem: 851.21 MiB) 20:31:32 pairing_check_verified: 1 (mem: 851.21 MiB) 20:31:32 Mega verified: 1 (mem: 851.21 MiB) 20:31:32 [20:31:32.689] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 851.21 MiB) 20:31:32 batch opening verified?: 1 (mem: 851.21 MiB) 20:31:32 eccvm consistency check verified?: 1 (mem: 851.21 MiB) 20:31:32 translation masking consistency checked?: 1 (mem: 851.21 MiB) 20:31:32 [20:31:32.717] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 851.21 MiB) 20:31:32 eccvm verified?: 1 (mem: 851.21 MiB) 20:31:32 accumulator construction_verified?: 1 (mem: 851.21 MiB) 20:31:32 translation verified?: 1 (mem: 851.21 MiB) 20:31:32 consistency verified?: 1 (mem: 851.21 MiB) 20:31:32 Goblin verified: 1 (mem: 851.21 MiB) 20:31:32 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-ZtA0VZ" (mem: 851.21 MiB) 20:31:32 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-ZtA0VZ" (mem: 851.21 MiB) 20:31:32 BN254 commitment key size: 262144 (mem: 851.21 MiB) 20:31:32 [20:31:32.719] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.21 MiB) 20:31:32 [20:31:32.741] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.21 MiB) 20:31:32 goblin ecc op : 4/1024 (mem: 851.21 MiB) 20:31:32 busread : 3/6000 (mem: 851.21 MiB) 20:31:32 lookups : 2/15000 (mem: 851.21 MiB) 20:31:32 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 851.21 MiB) 20:31:32 arithmetic : 1773/56000 (mem: 851.21 MiB) 20:31:32 delta range : 1754/18000 (mem: 851.21 MiB) 20:31:32 elliptic : 2/6000 (mem: 851.21 MiB) 20:31:32 auxiliary : 26/26000 (mem: 851.21 MiB) 20:31:32 poseidon ext : 2/17000 (mem: 851.21 MiB) 20:31:32 poseidon int : 2/92000 (mem: 851.21 MiB) 20:31:32 overflow : 0/0 (mem: 851.21 MiB) 20:31:32 (mem: 851.21 MiB) 20:31:32 Total structured size: 242025 (mem: 851.21 MiB) 20:31:32 allocating polynomials object in proving key... (mem: 851.21 MiB) 20:31:32 [20:31:32.999] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.21 MiB) 20:31:33 [20:31:33.017] INFO: ivc-integration:test:native bb - time to construct proving key: 297 ms. (mem: 851.21 MiB) 20:31:33 [20:31:33.228] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 851.21 MiB) 20:31:34 [20:31:34.163] INFO: ivc-integration:test:native bb - computing oink proof... 20:31:34 [20:31:34.165] INFO: ivc-integration:test:native bb - (mem: 851.21 MiB) 20:31:34 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.21 MiB) 20:31:34 [20:31:34.592] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 851.21 MiB) 20:31:34 [20:31:34.599] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.21 MiB) 20:31:34 [20:31:34.617] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.21 MiB) 20:31:34 [20:31:34.620] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.21 MiB) 20:31:34 goblin ecc op : 56/1024 (mem: 851.21 MiB) 20:31:34 [20:31:34.625] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 851.21 MiB) 20:31:34 lookups : 2/15000 (mem: 851.21 MiB) 20:31:34 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.21 MiB) 20:31:34 arithmetic : 4481/56000 (mem: 851.21 MiB) 20:31:34 delta range : 2041/18000 (mem: 851.21 MiB) 20:31:34 elliptic : 2/6000 (mem: 851.21 MiB) 20:31:34 auxiliary : 50/26000 (mem: 851.21 MiB) 20:31:34 poseidon ext : 1312/17000 (mem: 851.21 MiB) 20:31:34 poseidon int : 7469/92000 (mem: 851.21 MiB) 20:31:34 overflow : 0/0 (mem: 851.21 MiB) 20:31:34 (mem: 851.21 MiB) 20:31:34 Total structured size: 242025 (mem: 851.21 MiB) 20:31:34 allocating polynomials object in proving key... (mem: 851.21 MiB) 20:31:34 [20:31:34.818] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.21 MiB) 20:31:34 [20:31:34.875] INFO: ivc-integration:test:native bb - time to construct proving key: 256 ms. (mem: 851.21 MiB) 20:31:35 [20:31:35.102] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 851.21 MiB) 20:31:36 [20:31:36.041] INFO: ivc-integration:test:native bb - computing folding proof (mem: 851.21 MiB) 20:31:36 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 851.21 MiB) 20:31:36 [20:31:36.883] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.21 MiB) 20:31:37 [20:31:37.084] INFO: ivc-integration:test:native bb - perturbator round (mem: 852.21 MiB) 20:31:37 [20:31:37.205] INFO: ivc-integration:test:native bb - combiner quotient round 20:31:37 [20:31:37.206] INFO: ivc-integration:test:native bb - (mem: 20:31:37 [20:31:37.207] INFO: ivc-integration:test:native bb - 884.21 20:31:37 [20:31:37.208] INFO: ivc-integration:test:native bb - MiB) 20:31:37 [20:31:37.941] INFO: ivc-integration:test:native bb - folded (mem: 884.21 MiB) 20:31:37 constructed folding proof (mem: 884.21 MiB) 20:31:37 [20:31:37.942] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 884.21 MiB) 20:31:37 Minimum required block sizes for structured trace: (mem: 884.21 MiB) 20:31:37 [20:31:37.944] INFO: ivc-integration:test:native bb - (mem: 884.21 MiB) 20:31:37 prove decider... (mem: 884.21 MiB) 20:31:37 [20:31:37.945] INFO: ivc-integration:test:native bb - ecc_op : 56 20:31:37 busread : 3 20:31:37 lookup : 2 20:31:37 pub_inputs : 36 20:31:37 arithmetic : 4481 20:31:37 delta_range : 2041 20:31:37 elliptic : 2 20:31:37 aux : 50 20:31:37 poseidon2_external : 1312 20:31:37 poseidon2_internal : 7469 20:31:37 overflow : 0 20:31:38 [20:31:38.105] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 884.21 MiB) 20:31:38 [20:31:38.292] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 884.21 MiB) 20:31:39 [20:31:39.571] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 884.21 MiB) 20:31:39 [20:31:39.668] INFO: ivc-integration:test:native bb - computed opening proof (mem: 884.21 MiB) 20:31:39 finished decider proving. (mem: 884.21 MiB) 20:31:39 [20:31:39.685] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 884.21 MiB) 20:31:39 [20:31:39.794] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 20:31:39 [20:31:39.796] INFO: ivc-integration:test:native bb - (mem: 884.21 MiB) 20:31:39 [20:31:39.805] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 884.21 MiB) 20:31:39 [20:31:39.910] INFO: ivc-integration:test:native bb - populating trace... (mem: 884.21 MiB) 20:31:39 [20:31:39.974] INFO: ivc-integration:test:native bb - time to construct proving key: 178 ms. (mem: 884.21 MiB) 20:31:40 [20:31:40.668] 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-ZtA0VZ/proof -k /tmp/bb-client-ivc-integration-ZtA0VZ/vk -v 20:31:40 [20:31:40.698] INFO: ivc-integration:test:native bb command: verify (mem: 183.46 MiB) 20:31:40 Scheme is: client_ivc, num threads: 1 (mem: 183.46 MiB) 20:31:40 --proof_path: /tmp/bb-client-ivc-integration-ZtA0VZ/proof (mem: 183.46 MiB) 20:31:40 --vk_path: /tmp/bb-client-ivc-integration-ZtA0VZ/vk (mem: 183.46 MiB) 20:31:40 --verbose: true (mem: 183.46 MiB) 20:31:40 --scheme: client_ivc (mem: 183.46 MiB) 20:31:40 [20:31:40.716] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 183.46 MiB) 20:31:40 [20:31:40.738] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 183.46 MiB) 20:31:40 vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 183.46 MiB) 20:31:40 [20:31:40.756] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.46 MiB) 20:31:40 [20:31:40.758] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 183.46 MiB) 20:31:40 sumcheck_verified: 1 (mem: 183.46 MiB) 20:31:40 libra_evals_verified: 1 (mem: 183.46 MiB) 20:31:40 pairing_check_verified: 1 (mem: 183.46 MiB) 20:31:40 Mega verified: 1 (mem: 183.46 MiB) 20:31:41 [20:31:41.276] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 183.46 MiB) 20:31:41 batch opening verified?: 1 (mem: 183.46 MiB) 20:31:41 eccvm consistency check verified?: 1 (mem: 183.46 MiB) 20:31:41 translation masking consistency checked?: 1 (mem: 183.46 MiB) 20:31:41 [20:31:41.296] INFO: ivc-integration:test:native merge verified?: 1 (mem: 183.46 MiB) 20:31:41 eccvm verified?: 1 (mem: 183.46 MiB) 20:31:41 accumulator construction_verified?: 1 (mem: 183.46 MiB) 20:31:41 translation verified?: 1 (mem: 183.46 MiB) 20:31:41 consistency verified?: 1 (mem: 183.46 MiB) 20:31:41 Goblin verified: 1 (mem: 183.46 MiB) 20:31:41 [20:31:41.299] INFO: ivc-integration:test:native verified: 1 (mem: 183.46 MiB) 20:31:41 [20:31:41.376] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-rULMYM/ivc-inputs.msgpack 20:31:41 [20:31:41.379] 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-rULMYM --ivc_inputs_path /tmp/bb-client-ivc-integration-rULMYM/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 20:31:41 [20:31:41.406] INFO: ivc-integration:test:native bb - bb command: prove 20:31:41 [20:31:41.408] INFO: ivc-integration:test:native bb - (mem: 184.11 MiB) 20:31:41 Scheme is: client_ivc, num threads: 128 (mem: 184.11 MiB) 20:31:41 --scheme: client_ivc (mem: 184.11 MiB) 20:31:41 --output_path: /tmp/bb-client-ivc-integration-rULMYM (mem: 184.11 MiB) 20:31:41 --ivc_inputs_path: /tmp/bb-client-ivc-integration-rULMYM/ivc-inputs.msgpack (mem: 184.11 MiB) 20:31:41 --verbose: true (mem: 184.11 MiB) 20:31:41 --write_vk: true (mem: 184.11 MiB) 20:31:41 [20:31:41.413] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.11 MiB) 20:31:41 [20:31:41.543] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 262.00 MiB) 20:31:41 [20:31:41.638] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 310.69 MiB) 20:31:41 [20:31:41.640] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 310.69 MiB) 20:31:41 [20:31:41.641] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 310.69 MiB) 20:31:41 [20:31:41.645] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 310.69 MiB) 20:31:41 goblin ecc op : 4/1024 20:31:41 [20:31:41.646] INFO: ivc-integration:test:native bb - (mem: 310.69 MiB) 20:31:41 busread : 7/6000 (mem: 310.69 MiB) 20:31:41 lookups : 2/15000 (mem: 310.69 MiB) 20:31:41 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 310.69 MiB) 20:31:41 arithmetic : 1760/56000 (mem: 310.69 MiB) 20:31:41 delta range : 1754/18000 (mem: 310.69 MiB) 20:31:41 elliptic : 2/6000 (mem: 310.69 MiB) 20:31:41 auxiliary : 26/26000 (mem: 310.69 MiB) 20:31:41 poseidon ext : 2/17000 (mem: 310.69 MiB) 20:31:41 poseidon int : 2/92000 (mem: 310.69 MiB) 20:31:41 overflow : 0/0 (mem: 310.69 MiB) 20:31:41 (mem: 310.69 MiB) 20:31:41 Total structured size: 242025 (mem: 310.69 MiB) 20:31:41 allocating polynomials object in proving key... (mem: 310.69 MiB) 20:31:41 [20:31:41.839] INFO: ivc-integration:test:native bb - populating trace... (mem: 498.49 MiB) 20:31:41 [20:31:41.885] INFO: ivc-integration:test:native bb - time to construct proving key: 243 ms. (mem: 509.49 MiB) 20:31:41 [20:31:41.984] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ded26455240 (mem: 509.49 MiB) 20:31:41 computing oink proof... (mem: 509.49 MiB) 20:31:41 [20:31:41.984] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 509.49 MiB) 20:31:42 [20:31:42.297] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 518.49 MiB) 20:31:42 [20:31:42.306] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.49 MiB) 20:31:42 [20:31:42.324] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 518.49 MiB) 20:31:42 Constructing DeciderProvingKey (mem: 518.49 MiB) 20:31:42 [20:31:42.328] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 518.49 MiB) 20:31:42 goblin ecc op : 56/1024 (mem: 518.49 MiB) 20:31:42 busread : 12/6000 (mem: 518.49 MiB) 20:31:42 lookups : 2/15000 (mem: 518.49 MiB) 20:31:42 [20:31:42.329] INFO: ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 518.49 MiB) 20:31:42 arithmetic : 4625/56000 (mem: 518.49 MiB) 20:31:42 delta range : 2054/18000 (mem: 518.49 MiB) 20:31:42 elliptic : 2/6000 (mem: 518.49 MiB) 20:31:42 auxiliary : 110/26000 (mem: 518.49 MiB) 20:31:42 poseidon ext : 1302/17000 (mem: 518.49 MiB) 20:31:42 poseidon int : 7412/92000 (mem: 518.49 MiB) 20:31:42 overflow : 0/0 (mem: 518.49 MiB) 20:31:42 (mem: 518.49 MiB) 20:31:42 Total structured size: 242025 (mem: 518.49 MiB) 20:31:42 allocating polynomials object in proving key... (mem: 518.49 MiB) 20:31:42 [20:31:42.442] INFO: ivc-integration:test:native bb - populating trace... (mem: 724.49 MiB) 20:31:42 [20:31:42.465] INFO: ivc-integration:test:native bb - time to construct proving key: 140 ms. (mem: 745.49 MiB) 20:31:42 [20:31:42.546] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ded2645e480 (mem: 745.49 MiB) 20:31:42 computing folding proof (mem: 745.49 MiB) 20:31:42 [20:31:42.549] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 745.49 MiB) 20:31:43 [20:31:43.192] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.49 MiB) 20:31:43 [20:31:43.296] INFO: ivc-integration:test:native bb - perturbator round (mem: 786.49 MiB) 20:31:43 [20:31:43.360] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.49 MiB) 20:31:43 [20:31:43.588] INFO: ivc-integration:test:native bb - folded (mem: 818.49 MiB) 20:31:43 constructed folding proof (mem: 818.49 MiB) 20:31:43 [20:31:43.592] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.49 MiB) 20:31:43 Constructing DeciderProvingKey (mem: 818.49 MiB) 20:31:43 [20:31:43.600] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.49 MiB) 20:31:43 goblin ecc op : 4/1024 (mem: 818.49 MiB) 20:31:43 busread : 7/6000 (mem: 818.49 MiB) 20:31:43 lookups : 2/15000 (mem: 818.49 MiB) 20:31:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 818.49 MiB) 20:31:43 arithmetic : 1760/56000 (mem: 818.49 MiB) 20:31:43 delta range : 1754/18000 (mem: 818.49 MiB) 20:31:43 elliptic : 2/6000 (mem: 818.49 MiB) 20:31:43 auxiliary : 26/26000 (mem: 818.49 MiB) 20:31:43 poseidon ext : 2/17000 (mem: 818.49 MiB) 20:31:43 poseidon int : 2/92000 (mem: 818.49 MiB) 20:31:43 overflow : 0/0 (mem: 818.49 MiB) 20:31:43 (mem: 818.49 MiB) 20:31:43 Total structured size: 242025 (mem: 818.49 MiB) 20:31:43 allocating polynomials object in proving key... (mem: 818.49 MiB) 20:31:43 [20:31:43.945] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.49 MiB) 20:31:43 [20:31:43.985] INFO: ivc-integration:test:native bb - time to construct proving key: 389 ms. (mem: 818.49 MiB) 20:31:44 [20:31:44.037] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ded26450dc0 (mem: 818.49 MiB) 20:31:44 computing folding proof (mem: 818.49 MiB) 20:31:44 [20:31:44.040] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.49 MiB) 20:31:44 [20:31:44.276] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.49 MiB) 20:31:44 [20:31:44.349] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.49 MiB) 20:31:44 [20:31:44.416] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 820.34 MiB) 20:31:44 [20:31:44.772] INFO: ivc-integration:test:native bb - folded (mem: 820.34 MiB) 20:31:44 [20:31:44.774] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 820.34 MiB) 20:31:44 [20:31:44.788] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 820.34 MiB) 20:31:44 [20:31:44.879] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 820.34 MiB) 20:31:44 [20:31:44.946] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 820.34 MiB) 20:31:44 Constructing DeciderProvingKey (mem: 820.34 MiB) 20:31:44 [20:31:44.949] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 20:31:44 [20:31:44.950] INFO: ivc-integration:test:native bb - (mem: 20:31:44 [20:31:44.950] INFO: ivc-integration:test:native bb - 820.34 20:31:44 [20:31:44.950] INFO: ivc-integration:test:native bb - MiB) 20:31:44 [20:31:44.952] INFO: ivc-integration:test:native bb - 20:31:44 goblin ecc op : 792/1024 (mem: 820.34 MiB) 20:31:44 busread : 12/6000 (mem: 820.34 MiB) 20:31:44 lookups : 2/15000 (mem: 820.34 MiB) 20:31:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 820.34 MiB) 20:31:44 arithmetic : 12080/56000 (mem: 820.34 MiB) 20:31:44 delta range : 2942/18000 (mem: 820.34 MiB) 20:31:44 elliptic : 2/6000 (mem: 820.34 MiB) 20:31:44 auxiliary : 350/26000 (mem: 820.34 MiB) 20:31:44 poseidon ext : 4942/17000 (mem: 820.34 MiB) 20:31:44 poseidon int : 28160/92000 (mem: 820.34 MiB) 20:31:44 overflow : 0/0 (mem: 820.34 MiB) 20:31:44 (mem: 820.34 MiB) 20:31:44 Total structured size: 242025 (mem: 820.34 MiB) 20:31:44 allocating polynomials object in proving key... (mem: 820.34 MiB) 20:31:45 [20:31:45.051] INFO: ivc-integration:test:native bb - populating trace... (mem: 820.34 MiB) 20:31:45 [20:31:45.097] INFO: ivc-integration:test:native bb - time to construct proving key: 154 ms. (mem: 820.34 MiB) 20:31:45 [20:31:45.188] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ded26455a80 (mem: 820.34 MiB) 20:31:45 [20:31:45.192] INFO: ivc-integration:test:native bb - computing folding proof (mem: 820.34 MiB) 20:31:45 vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 820.34 MiB) 20:31:45 [20:31:45.583] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 820.34 MiB) 20:31:45 [20:31:45.712] INFO: ivc-integration:test:native bb - perturbator round (mem: 820.34 MiB) 20:31:45 [20:31:45.780] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 849.28 MiB) 20:31:46 [20:31:46.037] INFO: ivc-integration:test:native bb - folded 20:31:46 [20:31:46.038] INFO: ivc-integration:test:native bb - (mem: 849.28 MiB) 20:31:46 constructed folding proof (mem: 849.28 MiB) 20:31:46 [20:31:46.051] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 849.28 MiB) 20:31:46 [20:31:46.135] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 849.28 MiB) 20:31:46 Constructing DeciderProvingKey (mem: 849.28 MiB) 20:31:46 [20:31:46.142] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.28 MiB) 20:31:46 goblin ecc op : 392/1024 (mem: 849.28 MiB) 20:31:46 busread : 16/6000 (mem: 849.28 MiB) 20:31:46 lookups : 2/15000 (mem: 849.28 MiB) 20:31:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 849.28 MiB) 20:31:46 arithmetic : 6914/56000 (mem: 849.28 MiB) 20:31:46 delta range : 2347/18000 (mem: 849.28 MiB) 20:31:46 elliptic : 2/6000 (mem: 849.28 MiB) 20:31:46 auxiliary : 77/26000 (mem: 849.28 MiB) 20:31:46 poseidon ext : 2472/17000 (mem: 849.28 MiB) 20:31:46 poseidon int : 14081/92000 (mem: 849.28 MiB) 20:31:46 overflow : 0/0 (mem: 849.28 MiB) 20:31:46 (mem: 849.28 MiB) 20:31:46 Total structured size: 242025 (mem: 849.28 MiB) 20:31:46 allocating polynomials object in proving key... (mem: 849.28 MiB) 20:31:46 [20:31:46.211] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.28 MiB) 20:31:46 [20:31:46.259] INFO: ivc-integration:test:native bb - time to construct proving key: 123 ms. (mem: 849.28 MiB) 20:31:46 [20:31:46.365] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ded264d2180 (mem: 849.28 MiB) 20:31:46 computing folding proof (mem: 849.28 MiB) 20:31:46 [20:31:46.366] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 849.28 MiB) 20:31:46 [20:31:46.712] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.28 MiB) 20:31:46 [20:31:46.797] INFO: ivc-integration:test:native bb - perturbator round (mem: 849.28 MiB) 20:31:46 [20:31:46.869] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 849.82 MiB) 20:31:47 [20:31:47.056] INFO: ivc-integration:test:native bb - folded (mem: 849.82 MiB) 20:31:47 constructed folding proof (mem: 849.82 MiB) 20:31:47 [20:31:47.064] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 849.82 MiB) 20:31:47 [20:31:47.131] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 20:31:47 [20:31:47.132] INFO: ivc-integration:test:native bb - (mem: 849.82 MiB) 20:31:47 Constructing DeciderProvingKey (mem: 849.82 MiB) 20:31:47 [20:31:47.132] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.82 MiB) 20:31:47 goblin ecc op : 392/1024 (mem: 849.82 MiB) 20:31:47 busread : 3/6000 (mem: 849.82 MiB) 20:31:47 lookups : 2/15000 (mem: 849.82 MiB) 20:31:47 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 849.82 MiB) 20:31:47 arithmetic : 6849/56000 (mem: 849.82 MiB) 20:31:47 delta range : 2333/18000 (mem: 849.82 MiB) 20:31:47 elliptic : 2/6000 (mem: 849.82 MiB) 20:31:47 auxiliary : 50/26000 (mem: 849.82 MiB) 20:31:47 poseidon ext : 2472/17000 (mem: 849.82 MiB) 20:31:47 poseidon int : 14081/92000 (mem: 849.82 MiB) 20:31:47 overflow : 0/0 (mem: 849.82 MiB) 20:31:47 (mem: 849.82 MiB) 20:31:47 Total structured size: 242025 (mem: 849.82 MiB) 20:31:47 allocating polynomials object in proving key... (mem: 849.82 MiB) 20:31:47 [20:31:47.286] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.82 MiB) 20:31:47 [20:31:47.340] INFO: ivc-integration:test:native bb - time to construct proving key: 211 ms. (mem: 849.82 MiB) 20:31:47 [20:31:47.522] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ded264b9e00 (mem: 849.82 MiB) 20:31:47 computing folding proof (mem: 849.82 MiB) 20:31:47 [20:31:47.523] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 849.82 MiB) 20:31:48 [20:31:48.034] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.82 MiB) 20:31:48 [20:31:48.135] INFO: ivc-integration:test:native bb - perturbator round (mem: 849.82 MiB) 20:31:48 [20:31:48.214] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.59 MiB) 20:31:48 [20:31:48.484] INFO: ivc-integration:test:native bb - folded (mem: 850.59 MiB) 20:31:48 constructed folding proof (mem: 850.59 MiB) 20:31:48 [20:31:48.485] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 850.59 MiB) 20:31:48 Minimum required block sizes for structured trace: (mem: 850.59 MiB) 20:31:48 (mem: 850.59 MiB) 20:31:48 prove decider... (mem: 850.59 MiB) 20:31:48 [20:31:48.486] INFO: ivc-integration:test:native bb - ecc_op : 792 20:31:48 busread : 16 20:31:48 lookup : 2 20:31:48 pub_inputs : 36 20:31:48 arithmetic : 12080 20:31:48 delta_range : 2942 20:31:48 elliptic : 2 20:31:48 aux : 350 20:31:48 poseidon2_external : 4942 20:31:48 poseidon2_internal : 28160 20:31:48 overflow : 0 20:31:48 [20:31:48.720] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.59 MiB) 20:31:48 [20:31:48.881] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 850.59 MiB) 20:31:49 [20:31:49.512] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.59 MiB) 20:31:49 [20:31:49.615] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.59 MiB) 20:31:49 finished decider proving. (mem: 850.59 MiB) 20:31:49 [20:31:49.637] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 850.59 MiB) 20:31:49 [20:31:49.736] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.59 MiB) 20:31:49 [20:31:49.745] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 850.59 MiB) 20:31:49 [20:31:49.821] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.59 MiB) 20:31:49 [20:31:49.866] INFO: ivc-integration:test:native bb - time to construct proving key: 129 ms. (mem: 850.59 MiB) 20:31:50 [20:31:50.460] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 850.59 MiB) 20:31:50 [20:31:50.840] INFO: ivc-integration:test:native bb - created oink proof (mem: 850.59 MiB) 20:31:50 [20:31:50.968] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 20:31:50 [20:31:50.972] INFO: ivc-integration:test:native bb - (mem: 850.59 MiB) 20:31:51 [20:31:51.835] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.59 MiB) 20:31:52 [20:31:52.554] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.59 MiB) 20:31:52 [20:31:52.583] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.59 MiB) 20:31:52 finished decider proving. (mem: 850.59 MiB) 20:31:52 Constructing a Goblin proof with num ultra ops = 2226 (mem: 850.59 MiB) 20:31:52 [20:31:52.696] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 850.59 MiB) 20:31:52 [20:31:52.946] 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: 850.59 MiB) 20:31:52 [20:31:52.959] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 850.59 MiB) 20:31:54 [20:31:54.471] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.59 MiB) 20:31:55 [20:31:55.729] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.59 MiB) 20:31:59 [20:31:59.047] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 850.59 MiB) 20:31:59 prove translator... (mem: 850.59 MiB) 20:32:01 [20:32:01.710] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 871.23 MiB) 20:32:04 [20:32:04.778] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 872.23 MiB) 20:32:07 [20:32:07.102] INFO: ivc-integration:test:native bb - computed opening proof (mem: 872.23 MiB) 20:32:07 [20:32:07.103] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 872.23 MiB) 20:32:07 [20:32:07.107] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 872.23 MiB) 20:32:07 [20:32:07.143] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 873.23 MiB) 20:32:07 libra_evals_verified: 1 (mem: 873.23 MiB) 20:32:07 pairing_check_verified: 1 (mem: 873.23 MiB) 20:32:07 Mega verified: 1 (mem: 873.23 MiB) 20:32:07 [20:32:07.244] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 873.23 MiB) 20:32:07 batch opening verified?: 1 (mem: 873.23 MiB) 20:32:07 eccvm consistency check verified?: 1 (mem: 873.23 MiB) 20:32:07 translation masking consistency checked?: 1 (mem: 873.23 MiB) 20:32:07 [20:32:07.264] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 873.23 MiB) 20:32:07 eccvm verified?: 1 (mem: 873.23 MiB) 20:32:07 accumulator construction_verified?: 1 (mem: 873.23 MiB) 20:32:07 translation verified?: 1 (mem: 873.23 MiB) 20:32:07 consistency verified?: 1 (mem: 873.23 MiB) 20:32:07 Goblin verified: 1 (mem: 873.23 MiB) 20:32:07 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-rULMYM" (mem: 873.23 MiB) 20:32:07 [20:32:07.266] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-rULMYM" (mem: 873.23 MiB) 20:32:07 BN254 commitment key size: 262144 (mem: 873.23 MiB) 20:32:07 [20:32:07.270] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 873.23 MiB) 20:32:07 [20:32:07.274] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 873.23 MiB) 20:32:07 goblin ecc op : 4/1024 (mem: 873.23 MiB) 20:32:07 busread : 3/6000 (mem: 873.23 MiB) 20:32:07 lookups : 2/15000 (mem: 873.23 MiB) 20:32:07 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 873.23 MiB) 20:32:07 arithmetic : 1773/56000 (mem: 873.23 MiB) 20:32:07 delta range : 1754/18000 (mem: 873.23 MiB) 20:32:07 elliptic : 2/6000 (mem: 873.23 MiB) 20:32:07 auxiliary : 26/26000 (mem: 873.23 MiB) 20:32:07 poseidon ext : 2/17000 (mem: 873.23 MiB) 20:32:07 poseidon int : 2/92000 (mem: 873.23 MiB) 20:32:07 overflow : 0/0 (mem: 873.23 MiB) 20:32:07 (mem: 873.23 MiB) 20:32:07 Total structured size: 242025 (mem: 873.23 MiB) 20:32:07 allocating polynomials object in proving key... (mem: 873.23 MiB) 20:32:07 [20:32:07.473] INFO: ivc-integration:test:native bb - populating trace... (mem: 873.23 MiB) 20:32:07 [20:32:07.484] INFO: ivc-integration:test:native bb - time to construct proving key: 214 ms. (mem: 873.23 MiB) 20:32:07 [20:32:07.586] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 873.23 MiB) 20:32:08 [20:32:08.147] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 873.23 MiB) 20:32:08 [20:32:08.148] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 873.23 MiB) 20:32:08 [20:32:08.391] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 873.23 MiB) 20:32:08 [20:32:08.399] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 873.23 MiB) 20:32:08 [20:32:08.420] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 873.23 MiB) 20:32:08 [20:32:08.421] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 20:32:08 [20:32:08.421] INFO: ivc-integration:test:native bb - (mem: 20:32:08 [20:32:08.422] INFO: ivc-integration:test:native bb - 873.23 20:32:08 [20:32:08.422] INFO: ivc-integration:test:native bb - MiB) 20:32:08 [20:32:08.422] INFO: ivc-integration:test:native bb - 20:32:08 [20:32:08.424] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 873.23 MiB) 20:32:08 busread : 3/6000 (mem: 873.23 MiB) 20:32:08 lookups : 2/15000 (mem: 873.23 MiB) 20:32:08 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 873.23 MiB) 20:32:08 arithmetic : 4481/56000 (mem: 873.23 MiB) 20:32:08 delta range : 2041/18000 (mem: 873.23 MiB) 20:32:08 elliptic : 2/6000 (mem: 873.23 MiB) 20:32:08 auxiliary : 50/26000 (mem: 873.23 MiB) 20:32:08 poseidon ext : 1312/17000 (mem: 873.23 MiB) 20:32:08 poseidon int : 7469/92000 (mem: 873.23 MiB) 20:32:08 overflow : 0/0 (mem: 873.23 MiB) 20:32:08 (mem: 873.23 MiB) 20:32:08 Total structured size: 242025 (mem: 873.23 MiB) 20:32:08 allocating polynomials object in proving key... (mem: 873.23 MiB) 20:32:08 [20:32:08.583] INFO: ivc-integration:test:native bb - populating trace... (mem: 873.23 MiB) 20:32:08 [20:32:08.612] INFO: ivc-integration:test:native bb - time to construct proving key: 196 ms. (mem: 873.23 MiB) 20:32:08 [20:32:08.683] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 873.23 MiB) 20:32:09 [20:32:09.036] INFO: ivc-integration:test:native bb - computing folding proof (mem: 873.23 MiB) 20:32:09 [20:32:09.037] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 873.23 MiB) 20:32:09 [20:32:09.294] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 873.23 MiB) 20:32:09 [20:32:09.391] INFO: ivc-integration:test:native bb - perturbator round (mem: 873.23 MiB) 20:32:09 [20:32:09.432] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 905.23 MiB) 20:32:09 [20:32:09.538] INFO: ivc-integration:test:native bb - folded (mem: 905.23 MiB) 20:32:09 constructed folding proof (mem: 905.23 MiB) 20:32:09 [20:32:09.539] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 905.23 MiB) 20:32:09 Minimum required block sizes for structured trace: (mem: 905.23 MiB) 20:32:09 (mem: 905.23 MiB) 20:32:09 prove decider... (mem: 905.23 MiB) 20:32:09 [20:32:09.539] INFO: ivc-integration:test:native bb - ecc_op : 56 20:32:09 busread : 3 20:32:09 lookup : 2 20:32:09 pub_inputs : 36 20:32:09 arithmetic : 4481 20:32:09 delta_range : 2041 20:32:09 elliptic : 2 20:32:09 aux : 50 20:32:09 poseidon2_external : 1312 20:32:09 poseidon2_internal : 7469 20:32:09 overflow : 0 20:32:09 [20:32:09.638] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 905.23 MiB) 20:32:09 [20:32:09.741] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 905.23 MiB) 20:32:10 [20:32:10.362] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 905.23 MiB) 20:32:10 [20:32:10.416] INFO: ivc-integration:test:native bb - computed opening proof (mem: 905.23 MiB) 20:32:10 [20:32:10.417] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 905.23 MiB) 20:32:10 [20:32:10.431] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 905.23 MiB) 20:32:10 [20:32:10.534] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 905.23 MiB) 20:32:10 [20:32:10.539] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 20:32:10 [20:32:10.540] INFO: ivc-integration:test:native bb - (mem: 905.23 MiB) 20:32:10 [20:32:10.589] INFO: ivc-integration:test:native bb - populating trace... (mem: 905.23 MiB) 20:32:10 [20:32:10.618] INFO: ivc-integration:test:native bb - time to construct proving key: 85 ms. (mem: 905.23 MiB) 20:32:11 [20:32:11.172] 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-rULMYM/proof -k /tmp/bb-client-ivc-integration-rULMYM/vk -v 20:32:11 [20:32:11.196] INFO: ivc-integration:test:native bb command: verify (mem: 188.72 MiB) 20:32:11 Scheme is: client_ivc, num threads: 1 (mem: 188.72 MiB) 20:32:11 --proof_path: /tmp/bb-client-ivc-integration-rULMYM/proof (mem: 188.72 MiB) 20:32:11 --vk_path: /tmp/bb-client-ivc-integration-rULMYM/vk (mem: 188.72 MiB) 20:32:11 --verbose: true (mem: 188.72 MiB) 20:32:11 --scheme: client_ivc (mem: 188.72 MiB) 20:32:11 [20:32:11.219] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.72 MiB) 20:32:11 [20:32:11.243] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 188.72 MiB) 20:32:11 [20:32:11.244] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 188.72 MiB) 20:32:11 [20:32:11.264] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.72 MiB) 20:32:11 [20:32:11.264] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 188.72 MiB) 20:32:11 [20:32:11.266] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 188.72 MiB) 20:32:11 libra_evals_verified: 1 (mem: 188.72 MiB) 20:32:11 pairing_check_verified: 1 (mem: 188.72 MiB) 20:32:11 Mega verified: 1 (mem: 188.72 MiB) 20:32:11 [20:32:11.675] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.72 MiB) 20:32:11 batch opening verified?: 1 (mem: 188.72 MiB) 20:32:11 eccvm consistency check verified?: 1 (mem: 188.72 MiB) 20:32:11 translation masking consistency checked?: 1 (mem: 188.72 MiB) 20:32:11 [20:32:11.692] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.72 MiB) 20:32:11 eccvm verified?: 1 (mem: 188.72 MiB) 20:32:11 accumulator construction_verified?: 1 (mem: 188.72 MiB) 20:32:11 translation verified?: 1 (mem: 188.72 MiB) 20:32:11 consistency verified?: 1 (mem: 188.72 MiB) 20:32:11 Goblin verified: 1 (mem: 188.72 MiB) 20:32:11 [20:32:11.694] INFO: ivc-integration:test:native verified: 1 (mem: 188.72 MiB) 20:32:11 PASS src/native_client_ivc_integration.test.ts (72.999 s) 20:32:11 Client IVC Integration 20:32:11 ✓ Should generate a verifiable client IVC proof from a simple mock tx (38868 ms) 20:32:11 ✓ Should generate a verifiable client IVC proof from a complex mock tx (30380 ms) 20:32:11 20:32:11 Test Suites: 1 passed, 1 total 20:32:11 Tests: 2 passed, 2 total 20:32:11 Snapshots: 0 total 20:32:11 Time: 73.103 s 20:32:11 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 20:32:11 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?