Parent Log: http://ci.aztec-labs.com/963630247fdd03f4 Command: 69b6d6ef87c6fae3: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/d4893155ff105399557b55c16450c39921c70d11 Env: REF_NAME=gh-readonly-queue/next/pr-15218-7edf16da6c056f9499e2dfd9c71fb9b7580f9bfc CURRENT_VERSION=0.87.6 CI_FULL=0 Date: Tue Jun 24 10:23:56 UTC 2025 System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15218_arm64_a1-fast Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 10:23:59 [10:23:59.974] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Fzruvl/ivc-inputs.msgpack 10:23:59 [10:23:59.978] INFO: ivc-integration:test:native bb - BB concurrency: undefined 10:23:59 [10:23:59.979] 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-Fzruvl --ivc_inputs_path /tmp/bb-client-ivc-integration-Fzruvl/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 10:23:59 [10:23:59.994] INFO: ivc-integration:test:native bb - bb command: prove (mem: 235.04 MiB) 10:23:59 [10:23:59.995] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 64 (mem: 235.04 MiB) 10:23:59 --scheme: client_ivc (mem: 235.04 MiB) 10:23:59 --output_path: /tmp/bb-client-ivc-integration-Fzruvl (mem: 235.04 MiB) 10:23:59 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Fzruvl/ivc-inputs.msgpack (mem: 235.04 MiB) 10:23:59 --verbose: true (mem: 235.04 MiB) 10:23:59 --write_vk: true (mem: 235.04 MiB) 10:23:59 [10:23:59.996] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 235.04 MiB) 10:23:59 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.04 MiB) 10:24:00 [10:24:00.039] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 235.04 MiB) 10:24:00 [10:24:00.041] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 235.04 MiB) 10:24:00 Constructing DeciderProvingKey (mem: 235.04 MiB) 10:24:00 [10:24:00.044] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 235.04 MiB) 10:24:00 goblin ecc op : 4/1024 (mem: 235.04 MiB) 10:24:00 busread : 7/6000 (mem: 235.04 MiB) 10:24:00 lookups : 2/15000 (mem: 235.04 MiB) 10:24:00 [10:24:00.046] INFO: ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 235.04 MiB) 10:24:00 arithmetic : 1760/56000 (mem: 235.04 MiB) 10:24:00 delta range : 1754/18000 (mem: 235.04 MiB) 10:24:00 elliptic : 2/6000 (mem: 235.04 MiB) 10:24:00 auxiliary : 26/26000 (mem: 235.04 MiB) 10:24:00 poseidon ext : 2/17000 (mem: 235.04 MiB) 10:24:00 poseidon int : 2/92000 (mem: 235.04 MiB) 10:24:00 overflow : 0/0 (mem: 235.04 MiB) 10:24:00 (mem: 235.04 MiB) 10:24:00 Total structured size: 242025 (mem: 235.04 MiB) 10:24:00 allocating polynomials object in proving key... (mem: 235.04 MiB) 10:24:00 [10:24:00.152] INFO: ivc-integration:test:native bb - populating trace... (mem: 308.15 MiB) 10:24:00 [10:24:00.161] INFO: ivc-integration:test:native bb - time to construct proving key: 119 ms. (mem: 322.15 MiB) 10:24:00 [10:24:00.176] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb7b28e042440 (mem: 322.65 MiB) 10:24:00 computing oink proof... (mem: 322.65 MiB) 10:24:00 [10:24:00.177] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 322.65 MiB) 10:24:00 [10:24:00.250] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 333.15 MiB) 10:24:00 [10:24:00.254] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 333.65 MiB) 10:24:00 [10:24:00.262] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 334.15 MiB) 10:24:00 Constructing DeciderProvingKey (mem: 334.15 MiB) 10:24:00 [10:24:00.264] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 334.15 MiB) 10:24:00 goblin ecc op : 56/1024 (mem: 334.15 MiB) 10:24:00 [10:24:00.265] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 334.15 MiB) 10:24:00 lookups : 2/15000 (mem: 334.15 MiB) 10:24:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 334.15 MiB) 10:24:00 arithmetic : 4677/56000 (mem: 334.15 MiB) 10:24:00 delta range : 2073/18000 (mem: 334.15 MiB) 10:24:00 elliptic : 2/6000 (mem: 334.15 MiB) 10:24:00 auxiliary : 110/26000 (mem: 334.15 MiB) 10:24:00 poseidon ext : 1322/17000 (mem: 334.15 MiB) 10:24:00 poseidon int : 7526/92000 (mem: 334.15 MiB) 10:24:00 overflow : 0/0 (mem: 334.15 MiB) 10:24:00 (mem: 334.15 MiB) 10:24:00 Total structured size: 242025 (mem: 334.15 MiB) 10:24:00 allocating polynomials object in proving key... (mem: 334.15 MiB) 10:24:00 [10:24:00.305] INFO: ivc-integration:test:native bb - populating trace... (mem: 546.15 MiB) 10:24:00 [10:24:00.318] INFO: ivc-integration:test:native bb - time to construct proving key: 55 ms. (mem: 561.65 MiB) 10:24:00 [10:24:00.341] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb7b28e03dd80 (mem: 561.65 MiB) 10:24:00 computing folding proof (mem: 561.65 MiB) 10:24:00 [10:24:00.342] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 561.65 MiB) 10:24:00 [10:24:00.583] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 561.65 MiB) 10:24:00 [10:24:00.643] INFO: ivc-integration:test:native bb - perturbator round (mem: 598.65 MiB) 10:24:00 [10:24:00.684] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 630.65 MiB) 10:24:00 [10:24:00.871] INFO: ivc-integration:test:native bb - folded (mem: 630.65 MiB) 10:24:00 constructed folding proof (mem: 630.65 MiB) 10:24:00 [10:24:00.875] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 630.65 MiB) 10:24:00 [10:24:00.915] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 630.65 MiB) 10:24:00 Constructing DeciderProvingKey (mem: 630.65 MiB) 10:24:00 [10:24:00.917] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 630.65 MiB) 10:24:00 goblin ecc op : 392/1024 (mem: 630.65 MiB) 10:24:00 busread : 3/6000 (mem: 630.65 MiB) 10:24:00 lookups : 2/15000 (mem: 630.65 MiB) 10:24:00 [10:24:00.918] INFO: ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 630.65 MiB) 10:24:00 arithmetic : 6913/56000 (mem: 630.65 MiB) 10:24:00 delta range : 2353/18000 (mem: 630.65 MiB) 10:24:00 elliptic : 2/6000 (mem: 630.65 MiB) 10:24:00 auxiliary : 50/26000 (mem: 630.65 MiB) 10:24:00 poseidon ext : 2492/17000 (mem: 630.65 MiB) 10:24:00 poseidon int : 14195/92000 (mem: 630.65 MiB) 10:24:00 overflow : 0/0 (mem: 630.65 MiB) 10:24:00 (mem: 630.65 MiB) 10:24:00 Total structured size: 242025 (mem: 630.65 MiB) 10:24:00 allocating polynomials object in proving key... (mem: 630.65 MiB) 10:24:00 [10:24:00.946] INFO: ivc-integration:test:native bb - populating trace... (mem: 630.65 MiB) 10:24:00 [10:24:00.956] INFO: ivc-integration:test:native bb - time to construct proving key: 41 ms. (mem: 630.65 MiB) 10:24:01 [10:24:01.018] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xb7b28e04f3c0 (mem: 630.65 MiB) 10:24:01 computing folding proof (mem: 630.65 MiB) 10:24:01 [10:24:01.019] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 630.65 MiB) 10:24:01 [10:24:01.353] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 630.65 MiB) 10:24:01 [10:24:01.415] INFO: ivc-integration:test:native bb - perturbator round (mem: 630.65 MiB) 10:24:01 [10:24:01.455] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 639.45 MiB) 10:24:01 [10:24:01.604] INFO: ivc-integration:test:native bb - folded (mem: 639.45 MiB) 10:24:01 constructed folding proof (mem: 639.45 MiB) 10:24:01 [10:24:01.605] INFO: ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 639.45 MiB) 10:24:01 Minimum required block sizes for structured trace: (mem: 639.45 MiB) 10:24:01 (mem: 639.45 MiB) 10:24:01 prove decider... (mem: 639.45 MiB) 10:24:01 [10:24:01.605] INFO: ivc-integration:test:native bb - ecc_op : 392 10:24:01 busread : 12 10:24:01 lookup : 2 10:24:01 pub_inputs : 36 10:24:01 arithmetic : 6913 10:24:01 delta_range : 2353 10:24:01 elliptic : 2 10:24:01 aux : 110 10:24:01 poseidon2_external : 2492 10:24:01 poseidon2_internal : 14195 10:24:01 overflow : 0 10:24:01 [10:24:01.656] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 639.45 MiB) 10:24:01 [10:24:01.742] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 639.45 MiB) 10:24:02 [10:24:02.292] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 639.45 MiB) 10:24:02 [10:24:02.365] INFO: ivc-integration:test:native bb - computed opening proof (mem: 639.45 MiB) 10:24:02 finished decider proving. (mem: 639.45 MiB) 10:24:02 [10:24:02.374] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 639.45 MiB) 10:24:02 [10:24:02.437] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 639.45 MiB) 10:24:02 [10:24:02.439] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 639.45 MiB) 10:24:02 [10:24:02.461] INFO: ivc-integration:test:native bb - populating trace... (mem: 639.45 MiB) 10:24:02 [10:24:02.479] INFO: ivc-integration:test:native bb - time to construct proving key: 43 ms. (mem: 639.45 MiB) 10:24:02 [10:24:02.938] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 639.45 MiB) 10:24:03 [10:24:03.230] INFO: ivc-integration:test:native bb - created oink proof (mem: 639.45 MiB) 10:24:03 [10:24:03.296] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 639.45 MiB) 10:24:03 [10:24:03.553] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 639.45 MiB) 10:24:04 [10:24:04.107] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 639.45 MiB) 10:24:04 [10:24:04.156] INFO: ivc-integration:test:native bb - computed opening proof (mem: 639.45 MiB) 10:24:04 finished decider proving. (mem: 639.45 MiB) 10:24:04 Constructing a Goblin proof with num ultra ops = 1038 (mem: 639.45 MiB) 10:24:04 [10:24:04.269] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 639.45 MiB) 10:24:04 [10:24:04.411] 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: 639.45 MiB) 10:24:04 [10:24:04.418] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 639.45 MiB) 10:24:05 [10:24:05.412] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 10:24:05 [10:24:05.412] INFO: ivc-integration:test:native bb - (mem: 10:24:05 [10:24:05.413] INFO: ivc-integration:test:native bb - 639.45 10:24:05 [10:24:05.413] INFO: ivc-integration:test:native bb - MiB) 10:24:06 [10:24:06.282] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 639.45 MiB) 10:24:08 [10:24:08.581] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 639.45 MiB) 10:24:08 prove translator... (mem: 639.45 MiB) 10:24:09 [10:24:09.444] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 661.40 MiB) 10:24:10 [10:24:10.010] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 661.40 MiB) 10:24:10 [10:24:10.864] INFO: ivc-integration:test:native bb - computed opening proof (mem: 661.40 MiB) 10:24:10 [10:24:10.864] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 661.40 MiB) 10:24:10 [10:24:10.864] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 661.40 MiB) 10:24:10 [10:24:10.889] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 661.90 MiB) 10:24:10 libra_evals_verified: 1 (mem: 661.90 MiB) 10:24:10 pairing_check_verified: 1 (mem: 661.90 MiB) 10:24:10 Mega verified: 1 (mem: 661.90 MiB) 10:24:10 [10:24:10.993] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 661.90 MiB) 10:24:10 batch opening verified?: 1 (mem: 661.90 MiB) 10:24:10 eccvm consistency check verified?: 1 (mem: 661.90 MiB) 10:24:10 translation masking consistency checked?: 1 (mem: 10:24:10 [10:24:10.994] INFO: ivc-integration:test:native bb - 661.90 MiB) 10:24:11 [10:24:11.012] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 661.90 MiB) 10:24:11 eccvm verified?: 1 (mem: 661.90 MiB) 10:24:11 accumulator construction_verified?: 1 (mem: 661.90 MiB) 10:24:11 translation verified?: 1 (mem: 661.90 MiB) 10:24:11 consistency verified?: 1 (mem: 661.90 MiB) 10:24:11 [10:24:11.013] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 661.90 MiB) 10:24:11 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Fzruvl" (mem: 661.90 MiB) 10:24:11 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Fzruvl" (mem: 661.90 MiB) 10:24:11 BN254 commitment key size: 262144 (mem: 661.90 MiB) 10:24:11 [10:24:11.013] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 661.90 MiB) 10:24:11 [10:24:11.015] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 661.90 MiB) 10:24:11 goblin ecc op : 4/1024 10:24:11 [10:24:11.015] INFO: ivc-integration:test:native bb - (mem: 661.90 MiB) 10:24:11 busread : 3/6000 (mem: 661.90 MiB) 10:24:11 lookups : 2/15000 (mem: 661.90 MiB) 10:24:11 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 661.90 MiB) 10:24:11 arithmetic : 1773/56000 (mem: 661.90 MiB) 10:24:11 delta range : 1754/18000 (mem: 661.90 MiB) 10:24:11 elliptic : 2/6000 (mem: 661.90 MiB) 10:24:11 auxiliary : 26/26000 (mem: 661.90 MiB) 10:24:11 poseidon ext : 2/17000 (mem: 661.90 MiB) 10:24:11 poseidon int : 2/92000 (mem: 661.90 MiB) 10:24:11 overflow : 0/0 (mem: 661.90 MiB) 10:24:11 (mem: 661.90 MiB) 10:24:11 Total structured size: 242025 (mem: 661.90 MiB) 10:24:11 allocating polynomials object in proving key... (mem: 661.90 MiB) 10:24:11 [10:24:11.068] INFO: ivc-integration:test:native bb - populating trace... (mem: 661.90 MiB) 10:24:11 [10:24:11.074] INFO: ivc-integration:test:native bb - time to construct proving key: 60 ms. (mem: 661.90 MiB) 10:24:11 [10:24:11.099] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 661.90 MiB) 10:24:11 [10:24:11.164] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 661.90 MiB) 10:24:11 [10:24:11.165] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 661.90 MiB) 10:24:11 [10:24:11.229] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 661.90 MiB) 10:24:11 [10:24:11.233] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 661.90 MiB) 10:24:11 [10:24:11.242] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 661.90 MiB) 10:24:11 [10:24:11.243] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 661.90 MiB) 10:24:11 goblin ecc op : 56/1024 (mem: 661.90 MiB) 10:24:11 busread : 3/6000 (mem: 10:24:11 [10:24:11.244] INFO: ivc-integration:test:native bb - 661.90 MiB) 10:24:11 lookups : 2/15000 (mem: 661.90 MiB) 10:24:11 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 661.90 MiB) 10:24:11 arithmetic : 4533/56000 (mem: 661.90 MiB) 10:24:11 delta range : 2060/18000 (mem: 661.90 MiB) 10:24:11 elliptic : 2/6000 (mem: 661.90 MiB) 10:24:11 auxiliary : 50/26000 (mem: 661.90 MiB) 10:24:11 poseidon ext : 1332/17000 (mem: 661.90 MiB) 10:24:11 poseidon int : 7583/92000 (mem: 661.90 MiB) 10:24:11 overflow : 0/0 (mem: 661.90 MiB) 10:24:11 (mem: 661.90 MiB) 10:24:11 Total structured size: 242025 (mem: 661.90 MiB) 10:24:11 allocating polynomials object in proving key... (mem: 661.90 MiB) 10:24:11 [10:24:11.261] INFO: ivc-integration:test:native bb - populating trace... (mem: 661.90 MiB) 10:24:11 [10:24:11.270] INFO: ivc-integration:test:native bb - time to construct proving key: 28 ms. (mem: 661.90 MiB) 10:24:11 [10:24:11.295] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 661.90 MiB) 10:24:11 [10:24:11.420] INFO: ivc-integration:test:native bb - computing folding proof (mem: 661.90 MiB) 10:24:11 [10:24:11.421] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 661.90 MiB) 10:24:11 [10:24:11.566] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 661.90 MiB) 10:24:11 [10:24:11.607] INFO: ivc-integration:test:native bb - perturbator round (mem: 661.90 MiB) 10:24:11 [10:24:11.648] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 693.90 MiB) 10:24:11 [10:24:11.690] INFO: ivc-integration:test:native bb - folded (mem: 693.90 MiB) 10:24:11 constructed folding proof (mem: 693.90 MiB) 10:24:11 [10:24:11.691] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 693.90 MiB) 10:24:11 Minimum required block sizes for structured trace: (mem: 693.90 MiB) 10:24:11 (mem: 693.90 MiB) 10:24:11 prove decider... (mem: 693.90 MiB) 10:24:11 [10:24:11.691] INFO: ivc-integration:test:native bb - ecc_op : 56 10:24:11 busread : 3 10:24:11 lookup : 2 10:24:11 pub_inputs : 36 10:24:11 arithmetic : 4533 10:24:11 delta_range : 2060 10:24:11 elliptic : 2 10:24:11 aux : 50 10:24:11 poseidon2_external : 1332 10:24:11 poseidon2_internal : 7583 10:24:11 overflow : 0 10:24:11 [10:24:11.720] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 693.90 MiB) 10:24:11 [10:24:11.759] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 693.90 MiB) 10:24:12 [10:24:12.169] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 693.90 MiB) 10:24:12 [10:24:12.255] INFO: ivc-integration:test:native bb - computed opening proof (mem: 693.90 MiB) 10:24:12 finished decider proving. (mem: 693.90 MiB) 10:24:12 [10:24:12.263] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 693.90 MiB) 10:24:12 [10:24:12.326] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 693.90 MiB) 10:24:12 [10:24:12.326] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 693.90 MiB) 10:24:12 [10:24:12.375] INFO: ivc-integration:test:native bb - populating trace... (mem: 693.90 MiB) 10:24:12 [10:24:12.391] INFO: ivc-integration:test:native bb - time to construct proving key: 68 ms. (mem: 693.90 MiB) 10:24:12 [10:24:12.587] INFO: ivc-integration:test:native BB concurrency: 1 10:24:12 [10:24:12.588] 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-Fzruvl/proof -k /tmp/bb-client-ivc-integration-Fzruvl/vk -v 10:24:12 [10:24:12.601] INFO: ivc-integration:test:native bb command: verify (mem: 236.08 MiB) 10:24:12 Scheme is: client_ivc, num threads: 1 (mem: 236.08 MiB) 10:24:12 --proof_path: /tmp/bb-client-ivc-integration-Fzruvl/proof (mem: 236.08 MiB) 10:24:12 --vk_path: /tmp/bb-client-ivc-integration-Fzruvl/vk (mem: 236.08 MiB) 10:24:12 [10:24:12.602] INFO: ivc-integration:test:native --verbose: true (mem: 236.08 MiB) 10:24:12 --scheme: client_ivc (mem: 236.08 MiB) 10:24:12 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 236.08 MiB) 10:24:12 [10:24:12.615] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 236.08 MiB) 10:24:12 [10:24:12.618] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 236.08 MiB) 10:24:12 [10:24:12.633] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 10:24:12 [10:24:12.634] INFO: ivc-integration:test:native (mem: 10:24:12 [10:24:12.634] INFO: ivc-integration:test:native 236.08 10:24:12 [10:24:12.636] INFO: ivc-integration:test:native MiB) 10:24:12 Initialized BN254 CRS from memory with num points = 1 (mem: 236.08 MiB) 10:24:12 [10:24:12.637] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 236.08 MiB) 10:24:12 libra_evals_verified: 1 (mem: 236.08 MiB) 10:24:12 pairing_check_verified: 1 (mem: 236.08 MiB) 10:24:12 Mega verified: 1 (mem: 236.08 MiB) 10:24:12 [10:24:12.637] INFO: ivc-integration:test:native 10:24:13 [10:24:13.029] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 236.08 MiB) 10:24:13 batch opening verified?: 1 (mem: 236.08 MiB) 10:24:13 eccvm consistency check verified?: 1 (mem: 236.08 MiB) 10:24:13 translation masking consistency checked?: 1 (mem: 236.08 MiB) 10:24:13 [10:24:13.048] INFO: ivc-integration:test:native merge verified?: 1 (mem: 236.08 MiB) 10:24:13 eccvm verified?: 1 (mem: 236.08 MiB) 10:24:13 accumulator construction_verified?: 1 (mem: 236.08 MiB) 10:24:13 translation verified?: 1 (mem: 236.08 MiB) 10:24:13 consistency verified?: 1 (mem: 236.08 MiB) 10:24:13 Goblin verified: 1 (mem: 236.08 MiB) 10:24:13 [10:24:13.048] INFO: ivc-integration:test:native 10:24:13 verified: 1 (mem: 236.08 MiB) 10:24:13 [10:24:13.099] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-XWP86W/ivc-inputs.msgpack 10:24:13 [10:24:13.100] INFO: ivc-integration:test:native bb - BB concurrency: undefined 10:24:13 [10:24:13.100] 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-XWP86W --ivc_inputs_path /tmp/bb-client-ivc-integration-XWP86W/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 10:24:13 [10:24:13.113] INFO: ivc-integration:test:native bb - bb command: prove (mem: 240.94 MiB) 10:24:13 Scheme is: client_ivc, num threads: 64 (mem: 240.94 MiB) 10:24:13 --scheme: client_ivc (mem: 240.94 MiB) 10:24:13 --output_path: /tmp/bb-client-ivc-integration-XWP86W (mem: 240.94 MiB) 10:24:13 --ivc_inputs_path: /tmp/bb-client-ivc-integration-XWP86W/ivc-inputs.msgpack (mem: 240.94 MiB) 10:24:13 --verbose: true (mem: 240.94 MiB) 10:24:13 --write_vk: true (mem: 240.94 MiB) 10:24:13 [10:24:13.117] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 240.94 MiB) 10:24:13 [10:24:13.117] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.94 MiB) 10:24:13 [10:24:13.161] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 240.94 MiB) 10:24:13 [10:24:13.164] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 240.94 MiB) 10:24:13 Constructing DeciderProvingKey (mem: 240.94 MiB) 10:24:13 [10:24:13.166] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 240.94 MiB) 10:24:13 goblin ecc op : 4/1024 (mem: 240.94 MiB) 10:24:13 [10:24:13.167] INFO: ivc-integration:test:native bb - busread : 7/6000 (mem: 240.94 MiB) 10:24:13 lookups : 2/15000 (mem: 240.94 MiB) 10:24:13 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 240.94 MiB) 10:24:13 arithmetic : 1760/56000 (mem: 240.94 MiB) 10:24:13 delta range : 1754/18000 (mem: 240.94 MiB) 10:24:13 elliptic : 2/6000 (mem: 240.94 MiB) 10:24:13 auxiliary : 26/26000 (mem: 240.94 MiB) 10:24:13 poseidon ext : 2/17000 (mem: 240.94 MiB) 10:24:13 poseidon int : 2/92000 (mem: 240.94 MiB) 10:24:13 overflow : 0/0 (mem: 240.94 MiB) 10:24:13 (mem: 240.94 MiB) 10:24:13 Total structured size: 242025 (mem: 240.94 MiB) 10:24:13 allocating polynomials object in proving key... (mem: 240.94 MiB) 10:24:13 [10:24:13.228] INFO: ivc-integration:test:native bb - populating trace... (mem: 303.61 MiB) 10:24:13 [10:24:13.236] INFO: ivc-integration:test:native bb - time to construct proving key: 72 ms. (mem: 319.11 MiB) 10:24:13 [10:24:13.249] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xad5af6abb340 (mem: 319.11 MiB) 10:24:13 computing oink proof... (mem: 319.11 MiB) 10:24:13 [10:24:13.250] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 319.11 MiB) 10:24:13 [10:24:13.313] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 330.11 MiB) 10:24:13 [10:24:13.318] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 330.61 MiB) 10:24:13 [10:24:13.326] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 331.11 MiB) 10:24:13 [10:24:13.326] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 331.11 MiB) 10:24:13 [10:24:13.328] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 331.11 MiB) 10:24:13 goblin ecc op : 56/1024 (mem: 10:24:13 [10:24:13.328] INFO: ivc-integration:test:native bb - 331.11 MiB) 10:24:13 busread : 12/6000 (mem: 331.11 MiB) 10:24:13 lookups : 2/15000 (mem: 331.11 MiB) 10:24:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 331.11 MiB) 10:24:13 arithmetic : 4677/56000 (mem: 331.11 MiB) 10:24:13 delta range : 2073/18000 (mem: 331.11 MiB) 10:24:13 elliptic : 2/6000 (mem: 331.11 MiB) 10:24:13 auxiliary : 110/26000 (mem: 331.11 MiB) 10:24:13 poseidon ext : 1322/17000 (mem: 331.11 MiB) 10:24:13 poseidon int : 7526/92000 (mem: 331.11 MiB) 10:24:13 overflow : 0/0 (mem: 331.11 MiB) 10:24:13 (mem: 331.11 MiB) 10:24:13 Total structured size: 242025 (mem: 331.11 MiB) 10:24:13 allocating polynomials object in proving key... (mem: 331.11 MiB) 10:24:13 [10:24:13.355] INFO: ivc-integration:test:native bb - populating trace... (mem: 546.11 MiB) 10:24:13 [10:24:13.364] INFO: ivc-integration:test:native bb - time to construct proving key: 38 ms. (mem: 560.11 MiB) 10:24:13 [10:24:13.387] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xad5af6ac48c0 (mem: 560.11 MiB) 10:24:13 computing folding proof (mem: 560.11 MiB) 10:24:13 [10:24:13.388] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 560.11 MiB) 10:24:13 [10:24:13.524] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 561.61 MiB) 10:24:13 [10:24:13.566] INFO: ivc-integration:test:native bb - perturbator round (mem: 598.61 MiB) 10:24:13 [10:24:13.601] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 631.11 MiB) 10:24:13 [10:24:13.664] INFO: ivc-integration:test:native bb - folded (mem: 631.11 MiB) 10:24:13 constructed folding proof (mem: 631.11 MiB) 10:24:13 [10:24:13.665] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 631.11 MiB) 10:24:13 Constructing DeciderProvingKey (mem: 631.11 MiB) 10:24:13 [10:24:13.667] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 631.11 MiB) 10:24:13 goblin ecc op : 4/1024 (mem: 631.11 MiB) 10:24:13 [10:24:13.667] INFO: ivc-integration:test:native bb - busread : 7/6000 (mem: 631.11 MiB) 10:24:13 lookups : 2/15000 (mem: 631.11 MiB) 10:24:13 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 631.11 MiB) 10:24:13 arithmetic : 1760/56000 (mem: 631.11 MiB) 10:24:13 delta range : 1754/18000 (mem: 631.11 MiB) 10:24:13 elliptic : 2/6000 (mem: 631.11 MiB) 10:24:13 auxiliary : 26/26000 (mem: 631.11 MiB) 10:24:13 poseidon ext : 2/17000 (mem: 631.11 MiB) 10:24:13 poseidon int : 2/92000 (mem: 631.11 MiB) 10:24:13 overflow : 0/0 (mem: 631.11 MiB) 10:24:13 (mem: 631.11 MiB) 10:24:13 Total structured size: 242025 (mem: 631.11 MiB) 10:24:13 allocating polynomials object in proving key... (mem: 631.11 MiB) 10:24:13 [10:24:13.675] INFO: ivc-integration:test:native bb - populating trace... (mem: 631.11 MiB) 10:24:13 [10:24:13.677] INFO: ivc-integration:test:native bb - time to construct proving key: 12 ms. (mem: 631.11 MiB) 10:24:13 [10:24:13.701] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xad5af6ab6e80 (mem: 631.11 MiB) 10:24:13 computing folding proof (mem: 631.11 MiB) 10:24:13 [10:24:13.702] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 631.11 MiB) 10:24:13 [10:24:13.769] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 631.11 MiB) 10:24:13 [10:24:13.812] INFO: ivc-integration:test:native bb - perturbator round (mem: 631.11 MiB) 10:24:13 [10:24:13.843] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 631.62 MiB) 10:24:13 [10:24:13.925] INFO: ivc-integration:test:native bb - folded (mem: 631.62 MiB) 10:24:13 constructed folding proof (mem: 631.62 MiB) 10:24:13 [10:24:13.930] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 631.62 MiB) 10:24:13 [10:24:13.972] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 631.62 MiB) 10:24:14 [10:24:14.011] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 631.62 MiB) 10:24:14 Constructing DeciderProvingKey (mem: 631.62 MiB) 10:24:14 [10:24:14.014] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 631.62 MiB) 10:24:14 goblin ecc op : 792/1024 (mem: 631.62 MiB) 10:24:14 busread : 12/6000 (mem: 631.62 MiB) 10:24:14 lookups : 2/15000 (mem: 631.62 MiB) 10:24:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 631.62 MiB) 10:24:14 arithmetic : 12208/56000 (mem: 631.62 MiB) 10:24:14 [10:24:14.015] INFO: ivc-integration:test:native bb - delta range : 2981/18000 (mem: 631.62 MiB) 10:24:14 elliptic : 2/6000 (mem: 631.62 MiB) 10:24:14 auxiliary : 350/26000 (mem: 631.62 MiB) 10:24:14 poseidon ext : 4982/17000 (mem: 631.62 MiB) 10:24:14 poseidon int : 28388/92000 (mem: 631.62 MiB) 10:24:14 overflow : 0/0 (mem: 631.62 MiB) 10:24:14 (mem: 631.62 MiB) 10:24:14 Total structured size: 242025 (mem: 631.62 MiB) 10:24:14 allocating polynomials object in proving key... (mem: 631.62 MiB) 10:24:14 [10:24:14.024] INFO: ivc-integration:test:native bb - populating trace... (mem: 631.62 MiB) 10:24:14 [10:24:14.041] INFO: ivc-integration:test:native bb - time to construct proving key: 29 ms. (mem: 631.62 MiB) 10:24:14 [10:24:14.080] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xad5af6abbbc0 (mem: 631.62 MiB) 10:24:14 computing folding proof (mem: 631.62 MiB) 10:24:14 [10:24:14.081] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 631.62 MiB) 10:24:14 [10:24:14.300] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 631.62 MiB) 10:24:14 [10:24:14.341] INFO: ivc-integration:test:native bb - perturbator round (mem: 640.91 MiB) 10:24:14 [10:24:14.375] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 673.91 MiB) 10:24:14 [10:24:14.453] INFO: ivc-integration:test:native bb - folded (mem: 673.91 MiB) 10:24:14 constructed folding proof (mem: 673.91 MiB) 10:24:14 [10:24:14.457] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 673.91 MiB) 10:24:14 [10:24:14.496] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 673.91 MiB) 10:24:14 Constructing DeciderProvingKey (mem: 673.91 MiB) 10:24:14 [10:24:14.498] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 673.91 MiB) 10:24:14 goblin ecc op : 392/1024 (mem: 673.91 MiB) 10:24:14 [10:24:14.499] INFO: ivc-integration:test:native bb - busread : 16/6000 (mem: 673.91 MiB) 10:24:14 lookups : 2/15000 (mem: 673.91 MiB) 10:24:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 673.91 MiB) 10:24:14 arithmetic : 6978/56000 (mem: 673.91 MiB) 10:24:14 delta range : 2367/18000 (mem: 673.91 MiB) 10:24:14 elliptic : 2/6000 (mem: 673.91 MiB) 10:24:14 auxiliary : 77/26000 (mem: 673.91 MiB) 10:24:14 poseidon ext : 2492/17000 (mem: 673.91 MiB) 10:24:14 poseidon int : 14195/92000 (mem: 673.91 MiB) 10:24:14 overflow : 0/0 (mem: 673.91 MiB) 10:24:14 (mem: 673.91 MiB) 10:24:14 Total structured size: 242025 (mem: 673.91 MiB) 10:24:14 allocating polynomials object in proving key... (mem: 673.91 MiB) 10:24:14 [10:24:14.506] INFO: ivc-integration:test:native bb - populating trace... (mem: 673.91 MiB) 10:24:14 [10:24:14.515] INFO: ivc-integration:test:native bb - time to construct proving key: 19 ms. (mem: 673.91 MiB) 10:24:14 [10:24:14.544] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xad5af6b30d80 (mem: 673.91 MiB) 10:24:14 computing folding proof (mem: 673.91 MiB) 10:24:14 [10:24:14.544] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 673.91 MiB) 10:24:14 [10:24:14.671] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 673.91 MiB) 10:24:14 [10:24:14.712] INFO: ivc-integration:test:native bb - perturbator round (mem: 673.91 MiB) 10:24:14 [10:24:14.744] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 674.01 MiB) 10:24:14 [10:24:14.784] INFO: ivc-integration:test:native bb - folded (mem: 674.01 MiB) 10:24:14 constructed folding proof (mem: 674.01 MiB) 10:24:14 [10:24:14.788] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 674.01 MiB) 10:24:14 [10:24:14.828] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 674.01 MiB) 10:24:14 Constructing DeciderProvingKey (mem: 674.01 MiB) 10:24:14 [10:24:14.830] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 674.01 MiB) 10:24:14 goblin ecc op : 392/1024 (mem: 674.01 MiB) 10:24:14 [10:24:14.830] INFO: ivc-integration:test:native bb - 10:24:14 busread : 3/6000 (mem: 674.01 MiB) 10:24:14 lookups : 2/15000 (mem: 674.01 MiB) 10:24:14 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 674.01 MiB) 10:24:14 arithmetic : 6913/56000 (mem: 674.01 MiB) 10:24:14 delta range : 2353/18000 (mem: 674.01 MiB) 10:24:14 elliptic : 2/6000 (mem: 674.01 MiB) 10:24:14 auxiliary : 50/26000 (mem: 674.01 MiB) 10:24:14 poseidon ext : 2492/17000 (mem: 674.01 MiB) 10:24:14 poseidon int : 14195/92000 (mem: 674.01 MiB) 10:24:14 overflow : 0/0 (mem: 674.01 MiB) 10:24:14 (mem: 674.01 MiB) 10:24:14 Total structured size: 242025 (mem: 674.01 MiB) 10:24:14 allocating polynomials object in proving key... (mem: 674.01 MiB) 10:24:14 [10:24:14.837] INFO: ivc-integration:test:native bb - populating trace... (mem: 674.01 MiB) 10:24:14 [10:24:14.846] INFO: ivc-integration:test:native bb - time to construct proving key: 17 ms. (mem: 674.01 MiB) 10:24:14 [10:24:14.874] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xad5af6b29400 (mem: 674.01 MiB) 10:24:14 computing folding proof (mem: 674.01 MiB) 10:24:14 [10:24:14.875] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 674.01 MiB) 10:24:14 [10:24:14.982] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 674.01 MiB) 10:24:15 [10:24:15.022] INFO: ivc-integration:test:native bb - perturbator round (mem: 674.01 MiB) 10:24:15 [10:24:15.043] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 674.01 MiB) 10:24:15 [10:24:15.083] INFO: ivc-integration:test:native bb - folded (mem: 674.01 MiB) 10:24:15 constructed folding proof (mem: 674.01 MiB) 10:24:15 [10:24:15.084] INFO: ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 674.01 MiB) 10:24:15 Minimum required block sizes for structured trace: (mem: 674.01 MiB) 10:24:15 (mem: 674.01 MiB) 10:24:15 prove decider... (mem: 674.01 MiB) 10:24:15 [10:24:15.084] INFO: ivc-integration:test:native bb - ecc_op : 792 10:24:15 busread : 16 10:24:15 lookup : 2 10:24:15 pub_inputs : 36 10:24:15 arithmetic : 12208 10:24:15 delta_range : 2981 10:24:15 elliptic : 2 10:24:15 aux : 350 10:24:15 poseidon2_external : 4982 10:24:15 poseidon2_internal : 28388 10:24:15 overflow : 0 10:24:15 [10:24:15.107] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 674.01 MiB) 10:24:15 [10:24:15.143] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 674.01 MiB) 10:24:15 [10:24:15.400] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 674.01 MiB) 10:24:15 [10:24:15.457] INFO: ivc-integration:test:native bb - computed opening proof (mem: 674.01 MiB) 10:24:15 finished decider proving. (mem: 674.01 MiB) 10:24:15 [10:24:15.467] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 674.01 MiB) 10:24:15 [10:24:15.527] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 674.01 MiB) 10:24:15 [10:24:15.530] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 674.01 MiB) 10:24:15 [10:24:15.536] INFO: ivc-integration:test:native bb - populating trace... (mem: 674.01 MiB) 10:24:15 [10:24:15.553] INFO: ivc-integration:test:native bb - time to construct proving key: 25 ms. (mem: 674.01 MiB) 10:24:15 [10:24:15.784] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 674.01 MiB) 10:24:15 [10:24:15.993] INFO: ivc-integration:test:native bb - created oink proof (mem: 674.01 MiB) 10:24:16 [10:24:16.023] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 674.01 MiB) 10:24:16 [10:24:16.113] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 674.01 MiB) 10:24:16 [10:24:16.372] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 674.01 MiB) 10:24:16 [10:24:16.412] INFO: ivc-integration:test:native bb - computed opening proof (mem: 674.01 MiB) 10:24:16 finished decider proving. (mem: 674.01 MiB) 10:24:16 [10:24:16.412] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 674.01 MiB) 10:24:16 [10:24:16.465] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 674.01 MiB) 10:24:16 [10:24:16.568] 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: 674.01 MiB) 10:24:16 [10:24:16.575] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 674.01 MiB) 10:24:17 [10:24:17.079] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 674.01 MiB) 10:24:17 [10:24:17.529] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 674.01 MiB) 10:24:18 [10:24:18.471] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 674.01 MiB) 10:24:18 prove translator... (mem: 674.01 MiB) 10:24:18 [10:24:18.789] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 680.85 MiB) 10:24:19 [10:24:19.334] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 680.85 MiB) 10:24:19 [10:24:19.992] INFO: ivc-integration:test:native bb - computed opening proof (mem: 680.85 MiB) 10:24:19 [10:24:19.992] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 680.85 MiB) 10:24:19 [10:24:19.992] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 680.85 MiB) 10:24:20 [10:24:20.007] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 680.85 MiB) 10:24:20 libra_evals_verified: 1 (mem: 680.85 MiB) 10:24:20 pairing_check_verified: 1 (mem: 680.85 MiB) 10:24:20 Mega verified: 1 (mem: 680.85 MiB) 10:24:20 [10:24:20.051] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 681.35 MiB) 10:24:20 batch opening verified?: 1 (mem: 681.35 MiB) 10:24:20 eccvm consistency check verified?: 1 (mem: 681.35 MiB) 10:24:20 translation masking consistency checked?: 1 (mem: 681.35 MiB) 10:24:20 [10:24:20.070] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 681.85 MiB) 10:24:20 eccvm verified?: 1 (mem: 681.85 MiB) 10:24:20 accumulator construction_verified?: 1 (mem: 681.85 MiB) 10:24:20 translation verified?: 1 (mem: 681.85 MiB) 10:24:20 consistency verified?: 1 (mem: 681.85 MiB) 10:24:20 [10:24:20.070] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 681.85 MiB) 10:24:20 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-XWP86W" (mem: 681.85 MiB) 10:24:20 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-XWP86W" (mem: 681.85 MiB) 10:24:20 BN254 commitment key size: 262144 (mem: 681.85 MiB) 10:24:20 [10:24:20.071] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 681.85 MiB) 10:24:20 [10:24:20.073] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 681.85 MiB) 10:24:20 goblin ecc op : 4/1024 (mem: 681.85 MiB) 10:24:20 busread : 3/6000 (mem: 10:24:20 [10:24:20.074] INFO: ivc-integration:test:native bb - 681.85 MiB) 10:24:20 lookups : 2/15000 (mem: 681.85 MiB) 10:24:20 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 681.85 MiB) 10:24:20 arithmetic : 1773/56000 (mem: 681.85 MiB) 10:24:20 delta range : 1754/18000 (mem: 681.85 MiB) 10:24:20 elliptic : 2/6000 (mem: 681.85 MiB) 10:24:20 auxiliary : 26/26000 (mem: 681.85 MiB) 10:24:20 poseidon ext : 2/17000 (mem: 681.85 MiB) 10:24:20 poseidon int : 2/92000 (mem: 681.85 MiB) 10:24:20 overflow : 0/0 (mem: 681.85 MiB) 10:24:20 (mem: 681.85 MiB) 10:24:20 Total structured size: 242025 (mem: 681.85 MiB) 10:24:20 allocating polynomials object in proving key... (mem: 681.85 MiB) 10:24:20 [10:24:20.082] INFO: ivc-integration:test:native bb - populating trace... (mem: 681.85 MiB) 10:24:20 [10:24:20.084] INFO: ivc-integration:test:native bb - time to construct proving key: 12 ms. (mem: 681.85 MiB) 10:24:20 [10:24:20.093] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 681.85 MiB) 10:24:20 [10:24:20.129] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 681.85 MiB) 10:24:20 [10:24:20.130] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 681.85 MiB) 10:24:20 [10:24:20.184] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 681.85 MiB) 10:24:20 [10:24:20.188] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 681.85 MiB) 10:24:20 [10:24:20.197] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 681.85 MiB) 10:24:20 [10:24:20.199] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 681.85 MiB) 10:24:20 goblin ecc op : 56/1024 (mem: 681.85 MiB) 10:24:20 busread : 3/6000 (mem: 681.85 MiB) 10:24:20 [10:24:20.199] INFO: ivc-integration:test:native bb - 10:24:20 lookups : 2/15000 (mem: 681.85 MiB) 10:24:20 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 681.85 MiB) 10:24:20 arithmetic : 4533/56000 (mem: 681.85 MiB) 10:24:20 delta range : 2060/18000 (mem: 681.85 MiB) 10:24:20 elliptic : 2/6000 (mem: 681.85 MiB) 10:24:20 auxiliary : 50/26000 (mem: 681.85 MiB) 10:24:20 poseidon ext : 1332/17000 (mem: 681.85 MiB) 10:24:20 poseidon int : 7583/92000 (mem: 681.85 MiB) 10:24:20 overflow : 0/0 (mem: 681.85 MiB) 10:24:20 (mem: 681.85 MiB) 10:24:20 Total structured size: 242025 (mem: 681.85 MiB) 10:24:20 allocating polynomials object in proving key... (mem: 681.85 MiB) 10:24:20 [10:24:20.207] INFO: ivc-integration:test:native bb - populating trace... (mem: 681.85 MiB) 10:24:20 [10:24:20.215] INFO: ivc-integration:test:native bb - time to construct proving key: 17 ms. (mem: 681.85 MiB) 10:24:20 [10:24:20.244] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 681.85 MiB) 10:24:20 [10:24:20.343] INFO: ivc-integration:test:native bb - computing folding proof (mem: 681.85 MiB) 10:24:20 [10:24:20.344] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 681.85 MiB) 10:24:20 [10:24:20.468] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 681.85 MiB) 10:24:20 [10:24:20.512] INFO: ivc-integration:test:native bb - perturbator round (mem: 681.85 MiB) 10:24:20 [10:24:20.544] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 713.85 MiB) 10:24:20 [10:24:20.640] INFO: ivc-integration:test:native bb - folded (mem: 713.85 MiB) 10:24:20 constructed folding proof (mem: 10:24:20 [10:24:20.640] INFO: ivc-integration:test:native bb - 713.85 MiB) 10:24:20 Largest circuit: 15565 gates. Trace details: (mem: 713.85 MiB) 10:24:20 Minimum required block sizes for structured trace: (mem: 713.85 MiB) 10:24:20 (mem: 713.85 MiB) 10:24:20 prove decider... (mem: 713.85 MiB) 10:24:20 [10:24:20.640] INFO: ivc-integration:test:native bb - ecc_op : 56 10:24:20 busread : 3 10:24:20 lookup : 2 10:24:20 pub_inputs : 36 10:24:20 arithmetic : 4533 10:24:20 delta_range : 2060 10:24:20 elliptic : 2 10:24:20 aux : 50 10:24:20 poseidon2_external : 1332 10:24:20 poseidon2_internal : 7583 10:24:20 overflow : 0 10:24:20 [10:24:20.668] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 713.85 MiB) 10:24:20 [10:24:20.701] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 713.85 MiB) 10:24:20 [10:24:20.929] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 713.85 MiB) 10:24:20 [10:24:20.982] INFO: ivc-integration:test:native bb - computed opening proof (mem: 713.85 MiB) 10:24:20 finished decider proving. (mem: 713.85 MiB) 10:24:20 [10:24:20.989] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 713.85 MiB) 10:24:21 [10:24:21.050] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 713.85 MiB) 10:24:21 [10:24:21.053] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 713.85 MiB) 10:24:21 [10:24:21.059] INFO: ivc-integration:test:native bb - populating trace... (mem: 713.85 MiB) 10:24:21 [10:24:21.076] INFO: ivc-integration:test:native bb - time to construct proving key: 25 ms. (mem: 713.85 MiB) 10:24:21 [10:24:21.227] INFO: ivc-integration:test:native BB concurrency: 1 10:24:21 [10:24:21.228] 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-XWP86W/proof -k /tmp/bb-client-ivc-integration-XWP86W/vk -v 10:24:21 [10:24:21.241] INFO: ivc-integration:test:native bb command: verify (mem: 242.73 MiB) 10:24:21 [10:24:21.242] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 1 (mem: 242.73 MiB) 10:24:21 --proof_path: /tmp/bb-client-ivc-integration-XWP86W/proof (mem: 242.73 MiB) 10:24:21 --vk_path: /tmp/bb-client-ivc-integration-XWP86W/vk (mem: 242.73 MiB) 10:24:21 --verbose: true (mem: 242.73 MiB) 10:24:21 --scheme: client_ivc (mem: 242.73 MiB) 10:24:21 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 242.73 MiB) 10:24:21 [10:24:21.253] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 242.73 MiB) 10:24:21 [10:24:21.254] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 242.73 MiB) 10:24:21 [10:24:21.270] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 242.73 MiB) 10:24:21 [10:24:21.271] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 242.73 MiB) 10:24:21 [10:24:21.271] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 242.73 MiB) 10:24:21 libra_evals_verified: 1 (mem: 242.73 MiB) 10:24:21 pairing_check_verified: 1 (mem: 242.73 MiB) 10:24:21 [10:24:21.272] INFO: ivc-integration:test:native Mega verified: 1 (mem: 242.73 MiB) 10:24:21 [10:24:21.664] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 242.73 MiB) 10:24:21 batch opening verified?: 1 (mem: 242.73 MiB) 10:24:21 eccvm consistency check verified?: 1 (mem: 242.73 MiB) 10:24:21 translation masking consistency checked?: 1 (mem: 242.73 MiB) 10:24:21 [10:24:21.682] INFO: ivc-integration:test:native merge verified?: 1 (mem: 242.73 MiB) 10:24:21 eccvm verified?: 1 (mem: 242.73 MiB) 10:24:21 accumulator construction_verified?: 1 (mem: 242.73 MiB) 10:24:21 translation verified?: 1 (mem: 10:24:21 [10:24:21.682] INFO: ivc-integration:test:native 242.73 MiB) 10:24:21 consistency verified?: 1 (mem: 242.73 MiB) 10:24:21 Goblin verified: 1 (mem: 242.73 MiB) 10:24:21 verified: 1 (mem: 242.73 MiB) 10:24:21 PASS src/native_client_ivc_integration.test.ts (24.482 s) 10:24:21 Client IVC Integration 10:24:21 ✓ Should generate a verifiable client IVC proof from a simple mock tx (13316 ms) 10:24:21 ✓ Should generate a verifiable client IVC proof from a complex mock tx (8632 ms) 10:24:21 10:24:21 Test Suites: 1 passed, 1 total 10:24:21 Tests: 2 passed, 2 total 10:24:21 Snapshots: 0 total 10:24:21 Time: 24.557 s 10:24:21 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 10:24:21 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?