Parent Log: http://ci.aztec-labs.com/1923b10caa18faa7 Command: ffd1cbbe745b5db8: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/80d800435dd8dfa325e38593d83b405488449dba Env: REF_NAME=gh-readonly-queue/next/pr-14444-28bf32bfc2566751e8baa0a9125a9db20d474bee CURRENT_VERSION=0.87.6 CI_FULL=0 Date: Fri Jun 20 15:53:53 UTC 2025 System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-14444_arm64_a1-fast Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 15:53:56 [15:53:56.893] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-dVYWo1/ivc-inputs.msgpack 15:53:56 [15:53:56.898] INFO: ivc-integration:test:native bb - BB concurrency: undefined 15:53:56 [15:53:56.899] 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-dVYWo1 --ivc_inputs_path /tmp/bb-client-ivc-integration-dVYWo1/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:53:56 [15:53:56.911] INFO: ivc-integration:test:native bb - bb command: prove (mem: 168.64 MiB) 15:53:56 [15:53:56.912] INFO: ivc-integration:test:native bb - 15:53:56 Scheme is: client_ivc, num threads: 64 (mem: 168.64 MiB) 15:53:56 --scheme: client_ivc (mem: 168.64 MiB) 15:53:56 --output_path: /tmp/bb-client-ivc-integration-dVYWo1 (mem: 168.64 MiB) 15:53:56 --ivc_inputs_path: /tmp/bb-client-ivc-integration-dVYWo1/ivc-inputs.msgpack (mem: 168.64 MiB) 15:53:56 --verbose: true (mem: 168.64 MiB) 15:53:56 --write_vk: true (mem: 168.64 MiB) 15:53:56 [15:53:56.913] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 168.64 MiB) 15:53:56 [15:53:56.952] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 196.50 MiB) 15:53:57 [15:53:57.013] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262657 15:53:57 [15:53:57.015] INFO: ivc-integration:test:native bb - (mem: 244.84 MiB) 15:53:57 [15:53:57.017] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 244.84 MiB) 15:53:57 Constructing DeciderProvingKey (mem: 244.84 MiB) 15:53:57 [15:53:57.020] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 244.84 MiB) 15:53:57 goblin ecc op : 4/1024 (mem: 244.84 MiB) 15:53:57 busread : 7/6000 (mem: 244.84 MiB) 15:53:57 lookups : 2/15000 (mem: 244.84 MiB) 15:53:57 [15:53:57.021] INFO: ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 244.84 MiB) 15:53:57 arithmetic : 1760/56000 (mem: 244.84 MiB) 15:53:57 delta range : 1754/18000 (mem: 244.84 MiB) 15:53:57 elliptic : 2/6000 (mem: 244.84 MiB) 15:53:57 auxiliary : 26/26000 (mem: 244.84 MiB) 15:53:57 poseidon ext : 2/17000 (mem: 244.84 MiB) 15:53:57 poseidon int : 2/92000 (mem: 244.84 MiB) 15:53:57 overflow : 0/0 (mem: 244.84 MiB) 15:53:57 (mem: 244.84 MiB) 15:53:57 Total structured size: 242025 (mem: 244.84 MiB) 15:53:57 allocating polynomials object in proving key... (mem: 244.84 MiB) 15:53:57 [15:53:57.157] INFO: ivc-integration:test:native bb - populating trace... (mem: 455.43 MiB) 15:53:57 [15:53:57.164] INFO: ivc-integration:test:native bb - time to construct proving key: 147 ms. 15:53:57 [15:53:57.166] INFO: ivc-integration:test:native bb - (mem: 469.43 MiB) 15:53:57 [15:53:57.210] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc173b995f440 (mem: 469.93 MiB) 15:53:57 computing oink proof... (mem: 469.93 MiB) 15:53:57 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 469.93 MiB) 15:53:57 [15:53:57.479] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 479.43 MiB) 15:53:57 [15:53:57.483] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 479.43 MiB) 15:53:57 [15:53:57.494] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 479.93 MiB) 15:53:57 Constructing DeciderProvingKey (mem: 479.93 MiB) 15:53:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 479.93 MiB) 15:53:57 goblin ecc op : 56/1024 (mem: 479.93 MiB) 15:53:57 busread : 12/6000 (mem: 479.93 MiB) 15:53:57 lookups : 2/15000 (mem: 479.93 MiB) 15:53:57 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 479.93 MiB) 15:53:57 arithmetic : 4677/56000 (mem: 479.93 MiB) 15:53:57 delta range : 2073/18000 (mem: 479.93 MiB) 15:53:57 elliptic : 2/6000 (mem: 479.93 MiB) 15:53:57 auxiliary : 110/26000 (mem: 479.93 MiB) 15:53:57 poseidon ext : 1322/17000 (mem: 479.93 MiB) 15:53:57 poseidon int : 7526/92000 (mem: 479.93 MiB) 15:53:57 overflow : 0/0 (mem: 479.93 MiB) 15:53:57 (mem: 479.93 MiB) 15:53:57 Total structured size: 242025 (mem: 479.93 MiB) 15:53:57 allocating polynomials object in proving key... (mem: 479.93 MiB) 15:53:57 [15:53:57.667] INFO: ivc-integration:test:native bb - populating trace... (mem: 693.43 MiB) 15:53:57 [15:53:57.694] INFO: ivc-integration:test:native bb - time to construct proving key: 202 ms. (mem: 709.43 MiB) 15:53:57 [15:53:57.837] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc173b9977a40 (mem: 709.43 MiB) 15:53:57 computing folding proof (mem: 709.43 MiB) 15:53:57 vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 709.43 MiB) 15:53:58 [15:53:58.642] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 709.43 MiB) 15:53:58 [15:53:58.768] INFO: ivc-integration:test:native bb - perturbator round (mem: 745.93 MiB) 15:53:58 [15:53:58.840] INFO: ivc-integration:test:native bb - combiner quotient round 15:53:58 [15:53:58.841] INFO: ivc-integration:test:native bb - (mem: 15:53:58 [15:53:58.843] INFO: ivc-integration:test:native bb - 777.93 MiB) 15:53:59 [15:53:59.308] INFO: ivc-integration:test:native bb - folded (mem: 777.93 MiB) 15:53:59 constructed folding proof (mem: 777.93 MiB) 15:53:59 [15:53:59.320] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 777.93 MiB) 15:53:59 [15:53:59.374] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 777.93 MiB) 15:53:59 Constructing DeciderProvingKey (mem: 777.93 MiB) 15:53:59 [15:53:59.377] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 777.93 MiB) 15:53:59 goblin ecc op : 392/1024 (mem: 777.93 MiB) 15:53:59 busread : 3/6000 (mem: 777.93 MiB) 15:53:59 [15:53:59.379] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 777.93 MiB) 15:53:59 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 777.93 MiB) 15:53:59 arithmetic : 6913/56000 (mem: 777.93 MiB) 15:53:59 delta range : 2353/18000 (mem: 777.93 MiB) 15:53:59 elliptic : 2/6000 (mem: 777.93 MiB) 15:53:59 auxiliary : 50/26000 (mem: 777.93 MiB) 15:53:59 poseidon ext : 2492/17000 (mem: 777.93 MiB) 15:53:59 poseidon int : 14195/92000 (mem: 777.93 MiB) 15:53:59 overflow : 0/0 (mem: 777.93 MiB) 15:53:59 (mem: 777.93 MiB) 15:53:59 Total structured size: 242025 (mem: 777.93 MiB) 15:53:59 allocating polynomials object in proving key... (mem: 777.93 MiB) 15:53:59 [15:53:59.497] INFO: ivc-integration:test:native bb - populating trace... 15:53:59 [15:53:59.499] INFO: ivc-integration:test:native bb - (mem: 15:53:59 [15:53:59.499] INFO: ivc-integration:test:native bb - 777.93 15:53:59 [15:53:59.508] INFO: ivc-integration:test:native bb - MiB) 15:53:59 [15:53:59.532] INFO: ivc-integration:test:native bb - time to construct proving key: 157 ms. 15:53:59 [15:53:59.532] INFO: ivc-integration:test:native bb - (mem: 15:53:59 [15:53:59.534] INFO: ivc-integration:test:native bb - 777.93 MiB) 15:53:59 [15:53:59.666] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc173b995c280 (mem: 777.93 MiB) 15:53:59 computing folding proof (mem: 777.93 MiB) 15:53:59 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 777.93 MiB) 15:54:00 [15:54:00.409] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 777.93 MiB) 15:54:00 [15:54:00.510] INFO: ivc-integration:test:native bb - perturbator round (mem: 777.93 MiB) 15:54:00 [15:54:00.572] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 777.93 MiB) 15:54:00 [15:54:00.913] INFO: ivc-integration:test:native bb - folded 15:54:00 [15:54:00.913] INFO: ivc-integration:test:native bb - (mem: 777.93 MiB) 15:54:00 constructed folding proof (mem: 777.93 MiB) 15:54:00 [15:54:00.914] INFO: ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 777.93 MiB) 15:54:00 Minimum required block sizes for structured trace: (mem: 777.93 MiB) 15:54:00 (mem: 777.93 MiB) 15:54:00 prove decider... (mem: 777.93 MiB) 15:54:00 [15:54:00.914] INFO: ivc-integration:test:native bb - ecc_op : 392 15:54:00 busread : 12 15:54:00 lookup : 2 15:54:00 pub_inputs : 36 15:54:00 arithmetic : 6913 15:54:00 delta_range : 2353 15:54:00 elliptic : 2 15:54:00 aux : 110 15:54:00 poseidon2_external : 2492 15:54:00 poseidon2_internal : 14195 15:54:00 overflow : 0 15:54:01 [15:54:01.075] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 777.93 MiB) 15:54:01 [15:54:01.272] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 777.93 MiB) 15:54:02 [15:54:02.400] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 777.93 MiB) 15:54:02 [15:54:02.533] INFO: ivc-integration:test:native bb - computed opening proof (mem: 777.93 MiB) 15:54:02 finished decider proving. (mem: 777.93 MiB) 15:54:02 [15:54:02.539] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e 15:54:02 [15:54:02.540] INFO: ivc-integration:test:native bb - (mem: 15:54:02 [15:54:02.541] INFO: ivc-integration:test:native bb - 777.93 15:54:02 [15:54:02.542] INFO: ivc-integration:test:native bb - MiB) 15:54:02 [15:54:02.604] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 15:54:02 [15:54:02.609] INFO: ivc-integration:test:native bb - (mem: 777.93 MiB) 15:54:02 allocating polynomials object in proving key... (mem: 777.93 MiB) 15:54:02 [15:54:02.704] INFO: ivc-integration:test:native bb - populating trace... (mem: 777.93 MiB) 15:54:02 [15:54:02.738] INFO: ivc-integration:test:native bb - time to construct proving key: 133 ms. (mem: 777.93 MiB) 15:54:04 [15:54:04.175] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 777.93 MiB) 15:54:04 [15:54:04.951] INFO: ivc-integration:test:native bb - created oink proof (mem: 777.93 MiB) 15:54:05 [15:54:05.092] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 777.93 MiB) 15:54:05 [15:54:05.629] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 777.93 MiB) 15:54:06 [15:54:06.511] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 777.93 MiB) 15:54:06 [15:54:06.570] INFO: ivc-integration:test:native bb - computed opening proof (mem: 777.93 MiB) 15:54:06 finished decider proving. (mem: 777.93 MiB) 15:54:06 [15:54:06.571] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 777.93 MiB) 15:54:06 [15:54:06.810] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 777.93 MiB) 15:54:07 [15:54:07.061] 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: 777.93 MiB) 15:54:07 [15:54:07.073] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 777.93 MiB) 15:54:09 [15:54:09.120] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 15:54:09 [15:54:09.121] INFO: ivc-integration:test:native bb - (mem: 777.93 MiB) 15:54:10 [15:54:10.622] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 777.93 MiB) 15:54:15 [15:54:15.368] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 777.93 MiB) 15:54:15 prove translator... (mem: 777.93 MiB) 15:54:17 [15:54:17.826] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 796.28 MiB) 15:54:19 [15:54:19.531] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 796.28 MiB) 15:54:21 [15:54:21.519] INFO: ivc-integration:test:native bb - computed opening proof (mem: 796.28 MiB) 15:54:21 finished translator proving. (mem: 796.28 MiB) 15:54:21 [15:54:21.523] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 15:54:21 [15:54:21.524] INFO: ivc-integration:test:native bb - (mem: 15:54:21 [15:54:21.524] INFO: ivc-integration:test:native bb - 796.28 15:54:21 [15:54:21.525] INFO: ivc-integration:test:native bb - MiB) 15:54:21 [15:54:21.529] INFO: ivc-integration:test:native bb - 15:54:21 [15:54:21.541] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 15:54:21 [15:54:21.542] INFO: ivc-integration:test:native bb - (mem: 15:54:21 [15:54:21.543] INFO: ivc-integration:test:native bb - 796.28 15:54:21 [15:54:21.546] INFO: ivc-integration:test:native bb - MiB) 15:54:21 libra_evals_verified: 1 (mem: 796.28 MiB) 15:54:21 pairing_check_verified: 1 (mem: 796.28 MiB) 15:54:21 Mega verified: 1 (mem: 796.28 MiB) 15:54:21 [15:54:21.675] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 796.78 MiB) 15:54:21 batch opening verified?: 1 (mem: 796.78 MiB) 15:54:21 eccvm consistency check verified?: 1 (mem: 796.78 MiB) 15:54:21 translation masking consistency checked?: 1 (mem: 796.78 MiB) 15:54:21 [15:54:21.693] INFO: ivc-integration:test:native bb - merge verified?: 1 15:54:21 [15:54:21.693] INFO: ivc-integration:test:native bb - (mem: 15:54:21 [15:54:21.694] INFO: ivc-integration:test:native bb - 796.78 15:54:21 [15:54:21.698] INFO: ivc-integration:test:native bb - MiB) 15:54:21 eccvm verified?: 1 (mem: 796.78 MiB) 15:54:21 accumulator construction_verified?: 1 (mem: 796.78 MiB) 15:54:21 translation verified?: 1 (mem: 796.78 MiB) 15:54:21 consistency verified?: 1 (mem: 796.78 MiB) 15:54:21 Goblin verified: 1 (mem: 796.78 MiB) 15:54:21 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-dVYWo1" (mem: 796.78 MiB) 15:54:21 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-dVYWo1" (mem: 796.78 MiB) 15:54:21 BN254 commitment key size: 262144 (mem: 796.78 MiB) 15:54:21 Constructing DeciderProvingKey (mem: 796.78 MiB) 15:54:21 [15:54:21.699] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 15:54:21 [15:54:21.700] INFO: ivc-integration:test:native bb - (mem: 15:54:21 [15:54:21.701] INFO: ivc-integration:test:native bb - 796.78 MiB) 15:54:21 goblin ecc op : 4/1024 (mem: 796.78 MiB) 15:54:21 busread : 3/6000 (mem: 796.78 MiB) 15:54:21 lookups : 2/15000 (mem: 796.78 MiB) 15:54:21 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 796.78 MiB) 15:54:21 arithmetic : 1773/56000 (mem: 796.78 MiB) 15:54:21 delta range : 1754/18000 (mem: 796.78 MiB) 15:54:21 elliptic : 2/6000 (mem: 796.78 MiB) 15:54:21 auxiliary : 26/26000 (mem: 796.78 MiB) 15:54:21 poseidon ext : 2/17000 (mem: 796.78 MiB) 15:54:21 poseidon int : 2/92000 (mem: 796.78 MiB) 15:54:21 overflow : 0/0 (mem: 796.78 MiB) 15:54:21 (mem: 796.78 MiB) 15:54:21 Total structured size: 242025 (mem: 796.78 MiB) 15:54:21 allocating polynomials object in proving key... (mem: 796.78 MiB) 15:54:21 [15:54:21.755] INFO: ivc-integration:test:native bb - populating trace... 15:54:21 [15:54:21.756] INFO: ivc-integration:test:native bb - (mem: 796.78 MiB) 15:54:21 [15:54:21.772] INFO: ivc-integration:test:native bb - time to construct proving key: 74 ms. (mem: 796.78 MiB) 15:54:21 [15:54:21.828] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 796.78 MiB) 15:54:22 [15:54:22.815] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 796.78 MiB) 15:54:22 [15:54:22.816] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 796.78 MiB) 15:54:23 [15:54:23.088] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 796.78 MiB) 15:54:23 [15:54:23.091] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 796.78 MiB) 15:54:23 [15:54:23.099] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 796.78 MiB) 15:54:23 [15:54:23.101] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 796.78 MiB) 15:54:23 goblin ecc op : 56/1024 (mem: 796.78 MiB) 15:54:23 [15:54:23.101] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 796.78 MiB) 15:54:23 lookups : 2/15000 (mem: 796.78 MiB) 15:54:23 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 796.78 MiB) 15:54:23 arithmetic : 4533/56000 (mem: 796.78 MiB) 15:54:23 delta range : 2060/18000 (mem: 796.78 MiB) 15:54:23 elliptic : 2/6000 (mem: 796.78 MiB) 15:54:23 auxiliary : 50/26000 (mem: 796.78 MiB) 15:54:23 poseidon ext : 1332/17000 (mem: 796.78 MiB) 15:54:23 poseidon int : 7583/92000 (mem: 796.78 MiB) 15:54:23 overflow : 0/0 (mem: 796.78 MiB) 15:54:23 (mem: 796.78 MiB) 15:54:23 Total structured size: 242025 (mem: 796.78 MiB) 15:54:23 allocating polynomials object in proving key... (mem: 796.78 MiB) 15:54:23 [15:54:23.169] INFO: ivc-integration:test:native bb - populating trace... (mem: 796.78 MiB) 15:54:23 [15:54:23.190] INFO: ivc-integration:test:native bb - time to construct proving key: 89 ms. (mem: 796.78 MiB) 15:54:23 [15:54:23.261] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 15:54:23 [15:54:23.262] INFO: ivc-integration:test:native bb - (mem: 796.78 MiB) 15:54:24 [15:54:24.020] INFO: ivc-integration:test:native bb - computing folding proof (mem: 796.78 MiB) 15:54:24 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 796.78 MiB) 15:54:24 [15:54:24.687] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 796.78 MiB) 15:54:24 [15:54:24.751] INFO: ivc-integration:test:native bb - perturbator round (mem: 799.28 MiB) 15:54:24 [15:54:24.816] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 831.28 MiB) 15:54:25 [15:54:25.218] INFO: ivc-integration:test:native bb - folded (mem: 831.28 MiB) 15:54:25 constructed folding proof (mem: 831.28 MiB) 15:54:25 Largest circuit: 15565 gates. Trace details: (mem: 831.28 MiB) 15:54:25 Minimum required block sizes for structured trace: (mem: 831.28 MiB) 15:54:25 (mem: 831.28 MiB) 15:54:25 prove decider... (mem: 831.28 MiB) 15:54:25 [15:54:25.218] INFO: ivc-integration:test:native bb - ecc_op : 56 15:54:25 busread : 3 15:54:25 lookup : 2 15:54:25 pub_inputs : 36 15:54:25 arithmetic : 4533 15:54:25 delta_range : 2060 15:54:25 elliptic : 2 15:54:25 aux : 50 15:54:25 poseidon2_external : 1332 15:54:25 poseidon2_internal : 7583 15:54:25 overflow : 0 15:54:25 [15:54:25.370] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 831.28 MiB) 15:54:25 [15:54:25.545] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 831.28 MiB) 15:54:26 [15:54:26.481] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 831.28 MiB) 15:54:26 [15:54:26.576] INFO: ivc-integration:test:native bb - computed opening proof (mem: 831.28 MiB) 15:54:26 finished decider proving. (mem: 831.28 MiB) 15:54:26 [15:54:26.586] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 831.28 MiB) 15:54:26 [15:54:26.645] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 15:54:26 [15:54:26.646] INFO: ivc-integration:test:native bb - (mem: 15:54:26 [15:54:26.646] INFO: ivc-integration:test:native bb - 831.28 15:54:26 [15:54:26.647] INFO: ivc-integration:test:native bb - MiB) 15:54:26 [15:54:26.647] INFO: ivc-integration:test:native bb - 15:54:26 [15:54:26.651] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 15:54:26 [15:54:26.651] INFO: ivc-integration:test:native bb - (mem: 15:54:26 [15:54:26.652] INFO: ivc-integration:test:native bb - 831.28 15:54:26 [15:54:26.652] INFO: ivc-integration:test:native bb - MiB) 15:54:26 [15:54:26.653] INFO: ivc-integration:test:native bb - 15:54:26 [15:54:26.712] INFO: ivc-integration:test:native bb - populating trace... (mem: 831.28 MiB) 15:54:26 [15:54:26.762] INFO: ivc-integration:test:native bb - time to construct proving key: 106 ms. (mem: 831.28 MiB) 15:54:27 [15:54:27.412] INFO: ivc-integration:test:native BB concurrency: 1 15:54:27 [15:54:27.414] 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-dVYWo1/proof -k /tmp/bb-client-ivc-integration-dVYWo1/vk -v 15:54:27 [15:54:27.428] INFO: ivc-integration:test:native bb command: verify (mem: 169.14 MiB) 15:54:27 [15:54:27.429] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 1 15:54:27 [15:54:27.429] INFO: ivc-integration:test:native (mem: 15:54:27 [15:54:27.434] INFO: ivc-integration:test:native 169.14 MiB) 15:54:27 --proof_path: /tmp/bb-client-ivc-integration-dVYWo1/proof (mem: 169.14 MiB) 15:54:27 --vk_path: /tmp/bb-client-ivc-integration-dVYWo1/vk (mem: 169.14 MiB) 15:54:27 --verbose: true (mem: 169.14 MiB) 15:54:27 --scheme: client_ivc (mem: 169.14 MiB) 15:54:27 [15:54:27.442] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 15:54:27 [15:54:27.443] INFO: ivc-integration:test:native (mem: 15:54:27 [15:54:27.443] INFO: ivc-integration:test:native 169.14 15:54:27 [15:54:27.448] INFO: ivc-integration:test:native MiB) 15:54:27 [15:54:27.461] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 15:54:27 [15:54:27.462] INFO: ivc-integration:test:native (mem: 15:54:27 [15:54:27.463] INFO: ivc-integration:test:native 169.14 15:54:27 [15:54:27.465] INFO: ivc-integration:test:native MiB) 15:54:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 169.14 MiB) 15:54:27 [15:54:27.483] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 15:54:27 [15:54:27.484] INFO: ivc-integration:test:native (mem: 15:54:27 [15:54:27.485] INFO: ivc-integration:test:native 169.14 MiB) 15:54:27 Initialized BN254 CRS from memory with num points = 9 (mem: 169.14 MiB) 15:54:27 [15:54:27.489] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 169.14 MiB) 15:54:27 libra_evals_verified: 1 (mem: 169.14 MiB) 15:54:27 pairing_check_verified: 1 (mem: 169.14 MiB) 15:54:27 Mega verified: 1 (mem: 169.14 MiB) 15:54:27 [15:54:27.890] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 15:54:27 [15:54:27.890] INFO: ivc-integration:test:native (mem: 15:54:27 [15:54:27.891] INFO: ivc-integration:test:native 169.14 15:54:27 [15:54:27.893] INFO: ivc-integration:test:native MiB) 15:54:27 batch opening verified?: 1 (mem: 169.14 MiB) 15:54:27 eccvm consistency check verified?: 1 (mem: 169.14 MiB) 15:54:27 translation masking consistency checked?: 1 (mem: 169.14 MiB) 15:54:27 [15:54:27.913] INFO: ivc-integration:test:native merge verified?: 1 15:54:27 [15:54:27.915] INFO: ivc-integration:test:native (mem: 169.14 MiB) 15:54:27 eccvm verified?: 1 (mem: 169.14 MiB) 15:54:27 accumulator construction_verified?: 1 (mem: 169.14 MiB) 15:54:27 translation verified?: 1 (mem: 169.14 MiB) 15:54:27 consistency verified?: 1 (mem: 169.14 MiB) 15:54:27 Goblin verified: 1 (mem: 169.14 MiB) 15:54:27 [15:54:27.916] INFO: ivc-integration:test:native verified: 1 (mem: 169.14 MiB) 15:54:27 [15:54:27.996] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-30svQ7/ivc-inputs.msgpack 15:54:27 [15:54:27.997] INFO: ivc-integration:test:native bb - BB concurrency: undefined 15:54:27 [15:54:27.997] 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-30svQ7 --ivc_inputs_path /tmp/bb-client-ivc-integration-30svQ7/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:54:28 [15:54:28.013] INFO: ivc-integration:test:native bb - bb command: prove (mem: 175.71 MiB) 15:54:28 Scheme is: client_ivc, num threads: 64 (mem: 175.71 MiB) 15:54:28 --scheme: client_ivc (mem: 175.71 MiB) 15:54:28 --output_path: /tmp/bb-client-ivc-integration-30svQ7 (mem: 175.71 MiB) 15:54:28 --ivc_inputs_path: /tmp/bb-client-ivc-integration-30svQ7/ivc-inputs.msgpack (mem: 175.71 MiB) 15:54:28 --verbose: true (mem: 175.71 MiB) 15:54:28 --write_vk: true (mem: 175.71 MiB) 15:54:28 [15:54:28.017] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 175.71 MiB) 15:54:28 [15:54:28.057] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 194.43 MiB) 15:54:28 [15:54:28.115] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262657 15:54:28 [15:54:28.116] INFO: ivc-integration:test:native bb - (mem: 15:54:28 [15:54:28.119] INFO: ivc-integration:test:native bb - 242.69 MiB) 15:54:28 [15:54:28.120] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 15:54:28 [15:54:28.121] INFO: ivc-integration:test:native bb - (mem: 15:54:28 [15:54:28.122] INFO: ivc-integration:test:native bb - 242.69 15:54:28 [15:54:28.123] INFO: ivc-integration:test:native bb - MiB) 15:54:28 Constructing DeciderProvingKey (mem: 242.69 MiB) 15:54:28 [15:54:28.127] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 242.69 MiB) 15:54:28 goblin ecc op : 4/1024 (mem: 242.69 MiB) 15:54:28 busread : 7/6000 (mem: 242.69 MiB) 15:54:28 lookups : 2/15000 (mem: 242.69 MiB) 15:54:28 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 242.69 MiB) 15:54:28 arithmetic : 1760/56000 (mem: 242.69 MiB) 15:54:28 delta range : 1754/18000 (mem: 242.69 MiB) 15:54:28 elliptic : 2/6000 (mem: 242.69 MiB) 15:54:28 auxiliary : 26/26000 (mem: 242.69 MiB) 15:54:28 poseidon ext : 2/17000 (mem: 242.69 MiB) 15:54:28 poseidon int : 2/92000 (mem: 242.69 MiB) 15:54:28 overflow : 0/0 (mem: 242.69 MiB) 15:54:28 (mem: 242.69 MiB) 15:54:28 Total structured size: 242025 (mem: 242.69 MiB) 15:54:28 allocating polynomials object in proving key... (mem: 242.69 MiB) 15:54:28 [15:54:28.258] INFO: ivc-integration:test:native bb - populating trace... (mem: 453.25 MiB) 15:54:28 [15:54:28.282] INFO: ivc-integration:test:native bb - time to construct proving key: 160 ms. (mem: 467.25 MiB) 15:54:28 [15:54:28.329] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xac1a0baf3280 (mem: 467.75 MiB) 15:54:28 computing oink proof... (mem: 467.75 MiB) 15:54:28 [15:54:28.333] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 467.75 MiB) 15:54:28 [15:54:28.562] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 476.75 MiB) 15:54:28 [15:54:28.567] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 477.75 MiB) 15:54:28 [15:54:28.576] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 477.75 MiB) 15:54:28 Constructing DeciderProvingKey (mem: 477.75 MiB) 15:54:28 [15:54:28.577] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 477.75 MiB) 15:54:28 goblin ecc op : 56/1024 (mem: 15:54:28 [15:54:28.578] INFO: ivc-integration:test:native bb - 477.75 MiB) 15:54:28 busread : 12/6000 (mem: 477.75 MiB) 15:54:28 lookups : 2/15000 (mem: 477.75 MiB) 15:54:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 477.75 MiB) 15:54:28 arithmetic : 4677/56000 (mem: 477.75 MiB) 15:54:28 delta range : 2073/18000 (mem: 477.75 MiB) 15:54:28 elliptic : 2/6000 (mem: 477.75 MiB) 15:54:28 auxiliary : 110/26000 (mem: 477.75 MiB) 15:54:28 poseidon ext : 1322/17000 (mem: 477.75 MiB) 15:54:28 poseidon int : 7526/92000 (mem: 477.75 MiB) 15:54:28 overflow : 0/0 (mem: 477.75 MiB) 15:54:28 (mem: 477.75 MiB) 15:54:28 Total structured size: 242025 (mem: 477.75 MiB) 15:54:28 allocating polynomials object in proving key... (mem: 477.75 MiB) 15:54:28 [15:54:28.705] INFO: ivc-integration:test:native bb - populating trace... (mem: 690.25 MiB) 15:54:28 [15:54:28.731] INFO: ivc-integration:test:native bb - time to construct proving key: 155 ms. (mem: 706.25 MiB) 15:54:28 [15:54:28.852] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xac1a0bafc8c0 15:54:28 [15:54:28.854] INFO: ivc-integration:test:native bb - (mem: 706.25 MiB) 15:54:28 computing folding proof (mem: 706.25 MiB) 15:54:28 vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 706.25 MiB) 15:54:29 [15:54:29.413] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 15:54:29 [15:54:29.414] INFO: ivc-integration:test:native bb - (mem: 706.25 MiB) 15:54:29 [15:54:29.471] INFO: ivc-integration:test:native bb - perturbator round (mem: 743.75 MiB) 15:54:29 [15:54:29.525] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 776.25 MiB) 15:54:29 [15:54:29.789] INFO: ivc-integration:test:native bb - folded (mem: 776.25 MiB) 15:54:29 constructed folding proof (mem: 776.25 MiB) 15:54:29 [15:54:29.791] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 776.25 MiB) 15:54:29 Constructing DeciderProvingKey (mem: 776.25 MiB) 15:54:29 [15:54:29.794] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 776.25 MiB) 15:54:29 goblin ecc op : 4/1024 (mem: 776.25 MiB) 15:54:29 busread : 7/6000 (mem: 776.25 MiB) 15:54:29 lookups : 2/15000 (mem: 776.25 MiB) 15:54:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 776.25 MiB) 15:54:29 arithmetic : 1760/56000 (mem: 776.25 MiB) 15:54:29 delta range : 1754/18000 (mem: 776.25 MiB) 15:54:29 elliptic : 2/6000 (mem: 776.25 MiB) 15:54:29 auxiliary : 26/26000 (mem: 776.25 MiB) 15:54:29 poseidon ext : 2/17000 (mem: 776.25 MiB) 15:54:29 poseidon int : 2/92000 (mem: 776.25 MiB) 15:54:29 overflow : 0/0 (mem: 776.25 MiB) 15:54:29 (mem: 776.25 MiB) 15:54:29 Total structured size: 242025 (mem: 776.25 MiB) 15:54:29 allocating polynomials object in proving key... (mem: 776.25 MiB) 15:54:29 [15:54:29.835] INFO: ivc-integration:test:native bb - populating trace... (mem: 776.25 MiB) 15:54:29 [15:54:29.852] INFO: ivc-integration:test:native bb - time to construct proving key: 60 ms. (mem: 776.25 MiB) 15:54:29 [15:54:29.906] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xac1a0baf3b00 (mem: 776.25 MiB) 15:54:29 computing folding proof (mem: 776.25 MiB) 15:54:29 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 776.25 MiB) 15:54:30 [15:54:30.199] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 776.25 MiB) 15:54:30 [15:54:30.266] INFO: ivc-integration:test:native bb - perturbator round (mem: 776.25 MiB) 15:54:30 [15:54:30.303] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 776.25 MiB) 15:54:30 [15:54:30.524] INFO: ivc-integration:test:native bb - folded 15:54:30 [15:54:30.525] INFO: ivc-integration:test:native bb - (mem: 776.25 MiB) 15:54:30 constructed folding proof (mem: 776.25 MiB) 15:54:30 [15:54:30.533] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 776.25 MiB) 15:54:30 [15:54:30.573] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 15:54:30 [15:54:30.574] INFO: ivc-integration:test:native bb - (mem: 15:54:30 [15:54:30.574] INFO: ivc-integration:test:native bb - 776.25 15:54:30 [15:54:30.576] INFO: ivc-integration:test:native bb - MiB) 15:54:30 [15:54:30.618] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 776.25 MiB) 15:54:30 Constructing DeciderProvingKey (mem: 776.25 MiB) 15:54:30 [15:54:30.619] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 15:54:30 [15:54:30.620] INFO: ivc-integration:test:native bb - (mem: 15:54:30 [15:54:30.620] INFO: ivc-integration:test:native bb - 776.25 15:54:30 [15:54:30.620] INFO: ivc-integration:test:native bb - MiB) 15:54:30 [15:54:30.621] INFO: ivc-integration:test:native bb - 15:54:30 [15:54:30.621] INFO: ivc-integration:test:native bb - goblin ecc op : 792/1024 (mem: 776.25 MiB) 15:54:30 busread : 12/6000 (mem: 776.25 MiB) 15:54:30 lookups : 2/15000 (mem: 776.25 MiB) 15:54:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 776.25 MiB) 15:54:30 arithmetic : 12208/56000 (mem: 776.25 MiB) 15:54:30 delta range : 2981/18000 (mem: 776.25 MiB) 15:54:30 elliptic : 2/6000 (mem: 776.25 MiB) 15:54:30 auxiliary : 350/26000 (mem: 776.25 MiB) 15:54:30 poseidon ext : 4982/17000 (mem: 776.25 MiB) 15:54:30 poseidon int : 28388/92000 (mem: 776.25 MiB) 15:54:30 overflow : 0/0 (mem: 776.25 MiB) 15:54:30 (mem: 776.25 MiB) 15:54:30 Total structured size: 242025 (mem: 776.25 MiB) 15:54:30 allocating polynomials object in proving key... (mem: 776.25 MiB) 15:54:30 [15:54:30.691] INFO: ivc-integration:test:native bb - populating trace... (mem: 776.25 MiB) 15:54:30 [15:54:30.726] INFO: ivc-integration:test:native bb - time to construct proving key: 110 ms. (mem: 776.25 MiB) 15:54:30 [15:54:30.819] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xac1a0baec8c0 15:54:30 [15:54:30.821] INFO: ivc-integration:test:native bb - (mem: 776.25 MiB) 15:54:30 computing folding proof (mem: 776.25 MiB) 15:54:30 vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 776.25 MiB) 15:54:31 [15:54:31.213] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 776.25 MiB) 15:54:31 [15:54:31.269] INFO: ivc-integration:test:native bb - perturbator round (mem: 776.25 MiB) 15:54:31 [15:54:31.317] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 805.00 MiB) 15:54:31 [15:54:31.527] INFO: ivc-integration:test:native bb - folded 15:54:31 [15:54:31.528] INFO: ivc-integration:test:native bb - (mem: 15:54:31 [15:54:31.529] INFO: ivc-integration:test:native bb - 805.00 MiB) 15:54:31 constructed folding proof (mem: 805.00 MiB) 15:54:31 [15:54:31.533] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 15:54:31 [15:54:31.534] INFO: ivc-integration:test:native bb - (mem: 15:54:31 [15:54:31.538] INFO: ivc-integration:test:native bb - 805.00 MiB) 15:54:31 [15:54:31.575] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 15:54:31 [15:54:31.576] INFO: ivc-integration:test:native bb - (mem: 15:54:31 [15:54:31.577] INFO: ivc-integration:test:native bb - 805.00 15:54:31 [15:54:31.579] INFO: ivc-integration:test:native bb - MiB) 15:54:31 Constructing DeciderProvingKey (mem: 805.00 MiB) 15:54:31 [15:54:31.581] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 15:54:31 [15:54:31.582] INFO: ivc-integration:test:native bb - (mem: 805.00 MiB) 15:54:31 goblin ecc op : 392/1024 (mem: 805.00 MiB) 15:54:31 busread : 16/6000 (mem: 805.00 MiB) 15:54:31 lookups : 2/15000 (mem: 805.00 MiB) 15:54:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 805.00 MiB) 15:54:31 arithmetic : 6978/56000 (mem: 805.00 MiB) 15:54:31 delta range : 2367/18000 (mem: 805.00 MiB) 15:54:31 elliptic : 2/6000 (mem: 805.00 MiB) 15:54:31 auxiliary : 77/26000 (mem: 805.00 MiB) 15:54:31 poseidon ext : 2492/17000 (mem: 805.00 MiB) 15:54:31 poseidon int : 14195/92000 (mem: 805.00 MiB) 15:54:31 overflow : 0/0 (mem: 805.00 MiB) 15:54:31 (mem: 805.00 MiB) 15:54:31 Total structured size: 242025 (mem: 805.00 MiB) 15:54:31 allocating polynomials object in proving key... (mem: 805.00 MiB) 15:54:31 [15:54:31.663] INFO: ivc-integration:test:native bb - populating trace... (mem: 805.00 MiB) 15:54:31 [15:54:31.690] INFO: ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 805.00 MiB) 15:54:31 [15:54:31.850] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xac1a0bb03240 (mem: 805.00 MiB) 15:54:31 computing folding proof (mem: 805.00 MiB) 15:54:31 [15:54:31.851] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 805.00 MiB) 15:54:32 [15:54:32.398] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 805.00 MiB) 15:54:32 [15:54:32.479] INFO: ivc-integration:test:native bb - perturbator round (mem: 805.00 MiB) 15:54:32 [15:54:32.538] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 805.59 MiB) 15:54:32 [15:54:32.888] INFO: ivc-integration:test:native bb - folded (mem: 805.59 MiB) 15:54:32 constructed folding proof (mem: 805.59 MiB) 15:54:32 [15:54:32.892] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 805.59 MiB) 15:54:32 [15:54:32.932] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 15:54:32 [15:54:32.932] INFO: ivc-integration:test:native bb - (mem: 15:54:32 [15:54:32.936] INFO: ivc-integration:test:native bb - 805.59 MiB) 15:54:32 Constructing DeciderProvingKey (mem: 805.59 MiB) 15:54:32 Gate blocks summary: (actual gates / fixed capacity) (mem: 805.59 MiB) 15:54:32 goblin ecc op : 392/1024 (mem: 805.59 MiB) 15:54:32 busread : 3/6000 (mem: 805.59 MiB) 15:54:32 lookups : 2/15000 (mem: 805.59 MiB) 15:54:32 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 805.59 MiB) 15:54:32 arithmetic : 6913/56000 (mem: 805.59 MiB) 15:54:32 delta range : 2353/18000 (mem: 805.59 MiB) 15:54:32 elliptic : 2/6000 (mem: 805.59 MiB) 15:54:32 auxiliary : 50/26000 (mem: 805.59 MiB) 15:54:32 poseidon ext : 2492/17000 (mem: 805.59 MiB) 15:54:32 poseidon int : 14195/92000 (mem: 805.59 MiB) 15:54:32 overflow : 0/0 (mem: 805.59 MiB) 15:54:32 (mem: 805.59 MiB) 15:54:32 Total structured size: 242025 (mem: 805.59 MiB) 15:54:32 allocating polynomials object in proving key... (mem: 805.59 MiB) 15:54:33 [15:54:33.012] INFO: ivc-integration:test:native bb - populating trace... (mem: 805.59 MiB) 15:54:33 [15:54:33.031] INFO: ivc-integration:test:native bb - time to construct proving key: 98 ms. (mem: 805.59 MiB) 15:54:33 [15:54:33.204] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xac1a0baf4380 (mem: 805.59 MiB) 15:54:33 computing folding proof (mem: 805.59 MiB) 15:54:33 [15:54:33.204] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 805.59 MiB) 15:54:33 [15:54:33.751] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 805.59 MiB) 15:54:33 [15:54:33.810] INFO: ivc-integration:test:native bb - perturbator round (mem: 805.59 MiB) 15:54:33 [15:54:33.879] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 806.89 MiB) 15:54:34 [15:54:34.135] INFO: ivc-integration:test:native bb - folded (mem: 806.89 MiB) 15:54:34 constructed folding proof (mem: 806.89 MiB) 15:54:34 Largest circuit: 48925 gates. Trace details: (mem: 806.89 MiB) 15:54:34 Minimum required block sizes for structured trace: (mem: 806.89 MiB) 15:54:34 (mem: 806.89 MiB) 15:54:34 prove decider... (mem: 806.89 MiB) 15:54:34 [15:54:34.135] INFO: ivc-integration:test:native bb - ecc_op : 792 15:54:34 busread : 16 15:54:34 lookup : 2 15:54:34 pub_inputs : 36 15:54:34 arithmetic : 12208 15:54:34 delta_range : 2981 15:54:34 elliptic : 2 15:54:34 aux : 350 15:54:34 poseidon2_external : 4982 15:54:34 poseidon2_internal : 28388 15:54:34 overflow : 0 15:54:34 [15:54:34.235] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 806.89 MiB) 15:54:34 [15:54:34.370] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 806.89 MiB) 15:54:35 [15:54:35.342] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 806.89 MiB) 15:54:35 [15:54:35.487] INFO: ivc-integration:test:native bb - computed opening proof (mem: 806.89 MiB) 15:54:35 finished decider proving. (mem: 806.89 MiB) 15:54:35 [15:54:35.495] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 806.89 MiB) 15:54:35 [15:54:35.555] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 15:54:35 [15:54:35.556] INFO: ivc-integration:test:native bb - (mem: 15:54:35 [15:54:35.556] INFO: ivc-integration:test:native bb - 806.89 15:54:35 [15:54:35.559] INFO: ivc-integration:test:native bb - MiB) 15:54:35 [15:54:35.561] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 15:54:35 [15:54:35.562] INFO: ivc-integration:test:native bb - (mem: 806.89 MiB) 15:54:35 [15:54:35.686] INFO: ivc-integration:test:native bb - populating trace... (mem: 806.89 MiB) 15:54:35 [15:54:35.724] INFO: ivc-integration:test:native bb - time to construct proving key: 165 ms. (mem: 806.89 MiB) 15:54:36 [15:54:36.323] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 806.89 MiB) 15:54:36 [15:54:36.798] INFO: ivc-integration:test:native bb - created oink proof (mem: 806.89 MiB) 15:54:36 [15:54:36.880] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 806.89 MiB) 15:54:37 [15:54:37.158] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 806.89 MiB) 15:54:37 [15:54:37.546] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 806.89 MiB) 15:54:37 [15:54:37.578] INFO: ivc-integration:test:native bb - computed opening proof (mem: 806.89 MiB) 15:54:37 finished decider proving. (mem: 806.89 MiB) 15:54:37 [15:54:37.579] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 806.89 MiB) 15:54:37 [15:54:37.698] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 806.89 MiB) 15:54:37 [15:54:37.832] 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: 806.89 MiB) 15:54:37 [15:54:37.842] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 806.89 MiB) 15:54:38 [15:54:38.890] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 806.89 MiB) 15:54:39 [15:54:39.847] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 806.89 MiB) 15:54:41 [15:54:41.736] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 806.89 MiB) 15:54:41 prove translator... (mem: 806.89 MiB) 15:54:43 [15:54:43.220] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 818.98 MiB) 15:54:44 [15:54:44.497] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 818.98 MiB) 15:54:45 [15:54:45.543] INFO: ivc-integration:test:native bb - computed opening proof 15:54:45 [15:54:45.543] INFO: ivc-integration:test:native bb - (mem: 15:54:45 [15:54:45.544] INFO: ivc-integration:test:native bb - 822.98 15:54:45 [15:54:45.544] INFO: ivc-integration:test:native bb - MiB) 15:54:45 [15:54:45.545] INFO: ivc-integration:test:native bb - 15:54:45 finished translator proving. (mem: 822.98 MiB) 15:54:45 [15:54:45.546] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 822.98 MiB) 15:54:45 [15:54:45.562] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 822.98 MiB) 15:54:45 libra_evals_verified: 1 (mem: 822.98 MiB) 15:54:45 pairing_check_verified: 1 (mem: 822.98 MiB) 15:54:45 Mega verified: 1 (mem: 822.98 MiB) 15:54:45 [15:54:45.621] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 822.98 MiB) 15:54:45 batch opening verified?: 1 (mem: 822.98 MiB) 15:54:45 eccvm consistency check verified?: 1 (mem: 822.98 MiB) 15:54:45 translation masking consistency checked?: 1 (mem: 822.98 MiB) 15:54:45 [15:54:45.639] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 822.98 MiB) 15:54:45 eccvm verified?: 1 (mem: 822.98 MiB) 15:54:45 accumulator construction_verified?: 1 (mem: 822.98 MiB) 15:54:45 translation verified?: 1 (mem: 822.98 MiB) 15:54:45 consistency verified?: 1 (mem: 822.98 MiB) 15:54:45 Goblin verified: 1 (mem: 822.98 MiB) 15:54:45 [15:54:45.639] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-30svQ7" (mem: 822.98 MiB) 15:54:45 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-30svQ7" (mem: 822.98 MiB) 15:54:45 BN254 commitment key size: 262144 (mem: 822.98 MiB) 15:54:45 [15:54:45.640] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 822.98 MiB) 15:54:45 [15:54:45.642] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.98 MiB) 15:54:45 goblin ecc op : 4/1024 (mem: 822.98 MiB) 15:54:45 busread : 3/6000 (mem: 822.98 MiB) 15:54:45 [15:54:45.643] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 822.98 MiB) 15:54:45 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 822.98 MiB) 15:54:45 arithmetic : 1773/56000 (mem: 822.98 MiB) 15:54:45 delta range : 1754/18000 (mem: 822.98 MiB) 15:54:45 elliptic : 2/6000 (mem: 822.98 MiB) 15:54:45 auxiliary : 26/26000 (mem: 822.98 MiB) 15:54:45 poseidon ext : 2/17000 (mem: 822.98 MiB) 15:54:45 poseidon int : 2/92000 (mem: 822.98 MiB) 15:54:45 overflow : 0/0 (mem: 822.98 MiB) 15:54:45 (mem: 822.98 MiB) 15:54:45 Total structured size: 242025 (mem: 822.98 MiB) 15:54:45 allocating polynomials object in proving key... (mem: 822.98 MiB) 15:54:45 [15:54:45.667] INFO: ivc-integration:test:native bb - populating trace... (mem: 822.98 MiB) 15:54:45 [15:54:45.678] INFO: ivc-integration:test:native bb - time to construct proving key: 37 ms. (mem: 822.98 MiB) 15:54:45 [15:54:45.701] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 822.98 MiB) 15:54:46 [15:54:46.253] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 822.98 MiB) 15:54:46 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 822.98 MiB) 15:54:46 [15:54:46.375] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 822.98 MiB) 15:54:46 [15:54:46.378] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 822.98 MiB) 15:54:46 [15:54:46.386] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 822.98 MiB) 15:54:46 [15:54:46.388] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.98 MiB) 15:54:46 goblin ecc op : 56/1024 (mem: 822.98 MiB) 15:54:46 busread : 3/6000 (mem: 822.98 MiB) 15:54:46 [15:54:46.389] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 822.98 MiB) 15:54:46 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 822.98 MiB) 15:54:46 arithmetic : 4533/56000 (mem: 822.98 MiB) 15:54:46 delta range : 2060/18000 (mem: 822.98 MiB) 15:54:46 elliptic : 2/6000 (mem: 822.98 MiB) 15:54:46 auxiliary : 50/26000 (mem: 822.98 MiB) 15:54:46 poseidon ext : 1332/17000 (mem: 822.98 MiB) 15:54:46 poseidon int : 7583/92000 (mem: 822.98 MiB) 15:54:46 overflow : 0/0 (mem: 822.98 MiB) 15:54:46 (mem: 822.98 MiB) 15:54:46 Total structured size: 242025 (mem: 822.98 MiB) 15:54:46 allocating polynomials object in proving key... (mem: 822.98 MiB) 15:54:46 [15:54:46.410] INFO: ivc-integration:test:native bb - populating trace... (mem: 822.98 MiB) 15:54:46 [15:54:46.423] INFO: ivc-integration:test:native bb - time to construct proving key: 37 ms. (mem: 822.98 MiB) 15:54:46 [15:54:46.458] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 822.98 MiB) 15:54:46 [15:54:46.850] INFO: ivc-integration:test:native bb - computing folding proof (mem: 822.98 MiB) 15:54:46 [15:54:46.851] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 822.98 MiB) 15:54:47 [15:54:47.065] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 822.98 MiB) 15:54:47 [15:54:47.107] INFO: ivc-integration:test:native bb - perturbator round (mem: 822.98 MiB) 15:54:47 [15:54:47.148] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 852.25 MiB) 15:54:47 [15:54:47.266] INFO: ivc-integration:test:native bb - folded (mem: 852.25 MiB) 15:54:47 constructed folding proof (mem: 852.25 MiB) 15:54:47 [15:54:47.270] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 852.25 MiB) 15:54:47 Minimum required block sizes for structured trace: (mem: 852.25 MiB) 15:54:47 (mem: 852.25 MiB) 15:54:47 prove decider... (mem: 852.25 MiB) 15:54:47 [15:54:47.270] INFO: ivc-integration:test:native bb - ecc_op : 56 15:54:47 busread : 3 15:54:47 lookup : 2 15:54:47 pub_inputs : 36 15:54:47 arithmetic : 4533 15:54:47 delta_range : 2060 15:54:47 elliptic : 2 15:54:47 aux : 50 15:54:47 poseidon2_external : 1332 15:54:47 poseidon2_internal : 7583 15:54:47 overflow : 0 15:54:47 [15:54:47.308] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.25 MiB) 15:54:47 [15:54:47.387] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 852.25 MiB) 15:54:47 [15:54:47.796] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.25 MiB) 15:54:47 [15:54:47.868] INFO: ivc-integration:test:native bb - computed opening proof (mem: 852.25 MiB) 15:54:47 finished decider proving. (mem: 852.25 MiB) 15:54:47 [15:54:47.875] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 852.25 MiB) 15:54:47 [15:54:47.936] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 852.25 MiB) 15:54:47 [15:54:47.939] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 852.25 MiB) 15:54:47 [15:54:47.954] INFO: ivc-integration:test:native bb - populating trace... (mem: 852.25 MiB) 15:54:47 [15:54:47.971] INFO: ivc-integration:test:native bb - time to construct proving key: 34 ms. (mem: 852.25 MiB) 15:54:48 [15:54:48.312] INFO: ivc-integration:test:native BB concurrency: 1 15:54:48 [15:54:48.313] 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-30svQ7/proof -k /tmp/bb-client-ivc-integration-30svQ7/vk -v 15:54:48 [15:54:48.328] INFO: ivc-integration:test:native bb command: verify (mem: 175.18 MiB) 15:54:48 Scheme is: client_ivc, num threads: 1 (mem: 175.18 MiB) 15:54:48 --proof_path: /tmp/bb-client-ivc-integration-30svQ7/proof (mem: 175.18 MiB) 15:54:48 --vk_path: /tmp/bb-client-ivc-integration-30svQ7/vk (mem: 175.18 MiB) 15:54:48 --verbose: true (mem: 175.18 MiB) 15:54:48 --scheme: client_ivc (mem: 175.18 MiB) 15:54:48 [15:54:48.335] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 15:54:48 [15:54:48.335] INFO: ivc-integration:test:native (mem: 15:54:48 [15:54:48.336] INFO: ivc-integration:test:native 175.18 15:54:48 [15:54:48.338] INFO: ivc-integration:test:native MiB) 15:54:48 [15:54:48.352] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 15:54:48 [15:54:48.354] INFO: ivc-integration:test:native (mem: 175.18 MiB) 15:54:48 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 175.18 MiB) 15:54:48 [15:54:48.371] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 15:54:48 [15:54:48.372] INFO: ivc-integration:test:native (mem: 175.18 MiB) 15:54:48 Initialized BN254 CRS from memory with num points = 9 (mem: 175.18 MiB) 15:54:48 [15:54:48.373] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 175.18 MiB) 15:54:48 libra_evals_verified: 1 (mem: 175.18 MiB) 15:54:48 pairing_check_verified: 1 (mem: 175.18 MiB) 15:54:48 [15:54:48.373] INFO: ivc-integration:test:native Mega verified: 1 (mem: 175.18 MiB) 15:54:48 [15:54:48.760] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 175.18 MiB) 15:54:48 batch opening verified?: 1 (mem: 175.18 MiB) 15:54:48 eccvm consistency check verified?: 1 (mem: 175.18 MiB) 15:54:48 translation masking consistency checked?: 1 (mem: 175.18 MiB) 15:54:48 [15:54:48.779] INFO: ivc-integration:test:native merge verified?: 1 (mem: 175.18 MiB) 15:54:48 eccvm verified?: 1 (mem: 175.18 MiB) 15:54:48 accumulator construction_verified?: 1 (mem: 175.18 MiB) 15:54:48 translation verified?: 1 (mem: 175.18 MiB) 15:54:48 consistency verified?: 1 (mem: 175.18 MiB) 15:54:48 Goblin verified: 1 (mem: 175.18 MiB) 15:54:48 [15:54:48.782] INFO: ivc-integration:test:native verified: 1 (mem: 175.18 MiB) 15:54:48 PASS src/native_client_ivc_integration.test.ts (54.578 s) 15:54:48 Client IVC Integration 15:54:48 Should generate a verifiable client IVC proof from a simple mock tx (31111 ms) 15:54:48 Should generate a verifiable client IVC proof from a complex mock tx (20862 ms) 15:54:48 15:54:48 Test Suites: 1 passed, 1 total 15:54:48 Tests: 2 passed, 2 total 15:54:48 Snapshots: 0 total 15:54:48 Time: 54.656 s 15:54:48 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 15:54:48 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?