Parent Log: http://ci.aztec-labs.com/3bac4d323196916b Command: 6d103549f0f4c9d2: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/534f06e45f48274efd53a2204c90cb0b91a53efb Env: REF_NAME=gh-readonly-queue/next/pr-15230-ad85cda24c2f9b5b4b17d4921f8597b71949bb6c CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 24 20:45:23 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15230_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 20:45:28 [20:45:28.249] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-vSKQWJ/ivc-inputs.msgpack 20:45:28 [20:45:28.255] INFO: ivc-integration:test:native bb - BB concurrency: undefined 20:45:28 [20:45:28.256] 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-vSKQWJ --ivc_inputs_path /tmp/bb-client-ivc-integration-vSKQWJ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 20:45:28 [20:45:28.285] INFO: ivc-integration:test:native bb - bb command: prove (mem: 20:45:28 [20:45:28.286] INFO: ivc-integration:test:native bb - 234.22 MiB) 20:45:28 Scheme is: client_ivc, num threads: 128 (mem: 234.22 MiB) 20:45:28 --scheme: client_ivc (mem: 234.22 MiB) 20:45:28 --output_path: /tmp/bb-client-ivc-integration-vSKQWJ (mem: 234.22 MiB) 20:45:28 --ivc_inputs_path: /tmp/bb-client-ivc-integration-vSKQWJ/ivc-inputs.msgpack (mem: 234.22 MiB) 20:45:28 --verbose: true (mem: 234.22 MiB) 20:45:28 --write_vk: true (mem: 234.22 MiB) 20:45:28 [20:45:28.287] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 234.22 MiB) 20:45:28 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 234.22 MiB) 20:45:28 [20:45:28.356] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 234.22 MiB) 20:45:28 [20:45:28.362] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 20:45:28 [20:45:28.364] INFO: ivc-integration:test:native bb - (mem: 234.22 MiB) 20:45:28 Constructing DeciderProvingKey (mem: 234.22 MiB) 20:45:28 [20:45:28.375] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 234.22 MiB) 20:45:28 goblin ecc op : 4/1024 (mem: 234.22 MiB) 20:45:28 busread : 7/6000 (mem: 234.22 MiB) 20:45:28 lookups : 2/15000 (mem: 234.22 MiB) 20:45:28 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 234.22 MiB) 20:45:28 arithmetic : 1760/56000 (mem: 234.22 MiB) 20:45:28 delta range : 1754/18000 (mem: 234.22 MiB) 20:45:28 elliptic : 2/6000 (mem: 234.22 MiB) 20:45:28 auxiliary : 26/26000 (mem: 234.22 MiB) 20:45:28 poseidon ext : 2/17000 (mem: 234.22 MiB) 20:45:28 poseidon int : 2/92000 (mem: 234.22 MiB) 20:45:28 overflow : 0/0 (mem: 234.22 MiB) 20:45:28 (mem: 234.22 MiB) 20:45:28 Total structured size: 242025 (mem: 234.22 MiB) 20:45:28 allocating polynomials object in proving key... (mem: 234.22 MiB) 20:45:28 [20:45:28.543] INFO: ivc-integration:test:native bb - populating trace... (mem: 342.14 MiB) 20:45:28 [20:45:28.581] INFO: ivc-integration:test:native bb - time to construct proving key: 218 ms. (mem: 360.14 MiB) 20:45:28 [20:45:28.635] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x599449931e00 (mem: 360.14 MiB) 20:45:28 [20:45:28.636] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 360.14 MiB) 20:45:28 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 360.14 MiB) 20:45:28 [20:45:28.870] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 367.14 MiB) 20:45:28 [20:45:28.877] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 367.14 MiB) 20:45:28 [20:45:28.896] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 367.14 MiB) 20:45:28 Constructing DeciderProvingKey (mem: 367.14 MiB) 20:45:28 [20:45:28.900] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 367.14 MiB) 20:45:28 goblin ecc op : 56/1024 (mem: 367.14 MiB) 20:45:28 busread : 12/6000 (mem: 367.14 MiB) 20:45:28 lookups : 2/15000 (mem: 367.14 MiB) 20:45:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 367.14 MiB) 20:45:28 arithmetic : 4676/56000 (mem: 367.14 MiB) 20:45:28 delta range : 2073/18000 (mem: 367.14 MiB) 20:45:28 elliptic : 2/6000 (mem: 367.14 MiB) 20:45:28 auxiliary : 110/26000 (mem: 367.14 MiB) 20:45:28 poseidon ext : 1322/17000 (mem: 367.14 MiB) 20:45:28 poseidon int : 7526/92000 (mem: 367.14 MiB) 20:45:28 overflow : 0/0 (mem: 367.14 MiB) 20:45:28 (mem: 367.14 MiB) 20:45:28 Total structured size: 242025 (mem: 367.14 MiB) 20:45:28 allocating polynomials object in proving key... (mem: 367.14 MiB) 20:45:29 [20:45:29.057] INFO: ivc-integration:test:native bb - populating trace... (mem: 573.14 MiB) 20:45:29 [20:45:29.084] INFO: ivc-integration:test:native bb - time to construct proving key: 184 ms. (mem: 588.14 MiB) 20:45:29 [20:45:29.215] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x59944993eb00 (mem: 588.14 MiB) 20:45:29 [20:45:29.215] INFO: ivc-integration:test:native bb - computing folding proof (mem: 588.14 MiB) 20:45:29 vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 588.14 MiB) 20:45:29 [20:45:29.618] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 588.14 MiB) 20:45:29 [20:45:29.723] INFO: ivc-integration:test:native bb - perturbator round (mem: 624.14 MiB) 20:45:29 [20:45:29.783] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 656.14 MiB) 20:45:30 [20:45:30.273] INFO: ivc-integration:test:native bb - folded (mem: 656.14 MiB) 20:45:30 [20:45:30.276] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 656.14 MiB) 20:45:30 [20:45:30.288] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 656.14 MiB) 20:45:30 [20:45:30.371] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 656.14 MiB) 20:45:30 Constructing DeciderProvingKey (mem: 656.14 MiB) 20:45:30 [20:45:30.372] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 656.14 MiB) 20:45:30 goblin ecc op : 392/1024 (mem: 656.14 MiB) 20:45:30 busread : 3/6000 (mem: 656.14 MiB) 20:45:30 lookups : 2/15000 (mem: 656.14 MiB) 20:45:30 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 656.14 MiB) 20:45:30 arithmetic : 6912/56000 (mem: 656.14 MiB) 20:45:30 delta range : 2353/18000 (mem: 656.14 MiB) 20:45:30 elliptic : 2/6000 (mem: 656.14 MiB) 20:45:30 auxiliary : 50/26000 (mem: 656.14 MiB) 20:45:30 poseidon ext : 2492/17000 (mem: 656.14 MiB) 20:45:30 poseidon int : 14195/92000 (mem: 656.14 MiB) 20:45:30 overflow : 0/0 (mem: 656.14 MiB) 20:45:30 (mem: 656.14 MiB) 20:45:30 Total structured size: 242025 (mem: 656.14 MiB) 20:45:30 allocating polynomials object in proving key... (mem: 656.14 MiB) 20:45:30 [20:45:30.615] INFO: ivc-integration:test:native bb - populating trace... (mem: 656.14 MiB) 20:45:30 [20:45:30.672] INFO: ivc-integration:test:native bb - time to construct proving key: 304 ms. (mem: 656.14 MiB) 20:45:31 [20:45:31.022] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x599449949fc0 (mem: 656.14 MiB) 20:45:31 computing folding proof (mem: 656.14 MiB) 20:45:31 [20:45:31.029] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 656.14 MiB) 20:45:31 [20:45:31.387] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 656.14 MiB) 20:45:31 [20:45:31.477] INFO: ivc-integration:test:native bb - perturbator round (mem: 656.14 MiB) 20:45:31 [20:45:31.542] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 666.13 MiB) 20:45:31 [20:45:31.969] INFO: ivc-integration:test:native bb - folded (mem: 666.13 MiB) 20:45:31 constructed folding proof (mem: 666.13 MiB) 20:45:31 [20:45:31.970] INFO: ivc-integration:test:native bb - Largest circuit: 26009 gates. Trace details: (mem: 666.13 MiB) 20:45:31 Minimum required block sizes for structured trace: (mem: 666.13 MiB) 20:45:31 (mem: 666.13 MiB) 20:45:31 prove decider... (mem: 666.13 MiB) 20:45:31 [20:45:31.971] INFO: ivc-integration:test:native bb - ecc_op : 392 20:45:31 busread : 12 20:45:31 lookup : 2 20:45:31 pub_inputs : 36 20:45:31 arithmetic : 6912 20:45:31 delta_range : 2353 20:45:31 elliptic : 2 20:45:31 aux : 110 20:45:31 poseidon2_external : 2492 20:45:31 poseidon2_internal : 14195 20:45:31 overflow : 0 20:45:32 [20:45:32.212] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 666.13 MiB) 20:45:32 [20:45:32.394] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 666.13 MiB) 20:45:33 [20:45:33.799] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 666.13 MiB) 20:45:33 [20:45:33.922] INFO: ivc-integration:test:native bb - computed opening proof (mem: 666.13 MiB) 20:45:33 finished decider proving. (mem: 666.13 MiB) 20:45:33 [20:45:33.948] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb 20:45:33 [20:45:33.949] INFO: ivc-integration:test:native bb - (mem: 20:45:33 [20:45:33.951] INFO: ivc-integration:test:native bb - 666.13 MiB) 20:45:34 [20:45:34.046] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 20:45:34 [20:45:34.048] INFO: ivc-integration:test:native bb - (mem: 666.13 MiB) 20:45:34 [20:45:34.060] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 666.13 MiB) 20:45:34 [20:45:34.421] INFO: ivc-integration:test:native bb - populating trace... (mem: 666.13 MiB) 20:45:34 [20:45:34.494] INFO: ivc-integration:test:native bb - time to construct proving key: 446 ms. (mem: 666.13 MiB) 20:45:35 [20:45:35.958] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 666.13 MiB) 20:45:36 [20:45:36.817] INFO: ivc-integration:test:native bb - created oink proof (mem: 666.13 MiB) 20:45:37 [20:45:37.144] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 666.13 MiB) 20:45:38 [20:45:38.627] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 666.13 MiB) 20:45:40 [20:45:40.053] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 666.13 MiB) 20:45:40 [20:45:40.148] INFO: ivc-integration:test:native bb - computed opening proof (mem: 666.13 MiB) 20:45:40 finished decider proving. (mem: 666.13 MiB) 20:45:40 Constructing a Goblin proof with num ultra ops = 1038 (mem: 666.13 MiB) 20:45:40 [20:45:40.527] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 666.13 MiB) 20:45:40 [20:45:40.819] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 20:45:40 [20:45:40.820] INFO: ivc-integration:test:native bb - (mem: 666.13 MiB) 20:45:40 [20:45:40.831] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 666.13 MiB) 20:45:42 [20:45:42.952] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 666.13 MiB) 20:45:45 [20:45:45.616] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 668.73 MiB) 20:45:50 [20:45:50.778] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 668.73 MiB) 20:45:50 prove translator... (mem: 668.73 MiB) 20:45:53 [20:45:53.857] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 702.73 MiB) 20:45:57 [20:45:57.126] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 702.73 MiB) 20:46:00 [20:46:00.645] INFO: ivc-integration:test:native bb - computed opening proof 20:46:00 [20:46:00.647] INFO: ivc-integration:test:native bb - (mem: 702.73 MiB) 20:46:00 finished translator proving. 20:46:00 [20:46:00.648] INFO: ivc-integration:test:native bb - (mem: 702.73 MiB) 20:46:00 [20:46:00.650] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 702.73 MiB) 20:46:00 [20:46:00.664] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 702.73 MiB) 20:46:00 libra_evals_verified: 1 (mem: 702.73 MiB) 20:46:00 pairing_check_verified: 1 (mem: 702.73 MiB) 20:46:00 [20:46:00.666] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 702.73 MiB) 20:46:00 [20:46:00.817] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 703.73 MiB) 20:46:00 batch opening verified?: 1 (mem: 703.73 MiB) 20:46:00 eccvm consistency check verified?: 1 (mem: 703.73 MiB) 20:46:00 translation masking consistency checked?: 1 (mem: 703.73 MiB) 20:46:00 [20:46:00.839] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 703.73 MiB) 20:46:00 eccvm verified?: 1 (mem: 703.73 MiB) 20:46:00 accumulator construction_verified?: 1 (mem: 703.73 MiB) 20:46:00 translation verified?: 1 (mem: 703.73 MiB) 20:46:00 consistency verified?: 1 (mem: 703.73 MiB) 20:46:00 Goblin verified: 1 (mem: 703.73 MiB) 20:46:00 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-vSKQWJ" (mem: 703.73 MiB) 20:46:00 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-vSKQWJ" (mem: 703.73 MiB) 20:46:00 BN254 commitment key size: 262144 (mem: 703.73 MiB) 20:46:00 [20:46:00.844] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 703.73 MiB) 20:46:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 703.73 MiB) 20:46:00 goblin ecc op : 4/1024 (mem: 703.73 MiB) 20:46:00 busread : 3/6000 (mem: 703.73 MiB) 20:46:00 lookups : 2/15000 (mem: 703.73 MiB) 20:46:00 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 703.73 MiB) 20:46:00 arithmetic : 1773/56000 (mem: 703.73 MiB) 20:46:00 delta range : 1754/18000 (mem: 703.73 MiB) 20:46:00 elliptic : 2/6000 (mem: 703.73 MiB) 20:46:00 auxiliary : 26/26000 (mem: 703.73 MiB) 20:46:00 poseidon ext : 2/17000 (mem: 703.73 MiB) 20:46:00 poseidon int : 2/92000 (mem: 703.73 MiB) 20:46:00 overflow : 0/0 (mem: 703.73 MiB) 20:46:00 (mem: 703.73 MiB) 20:46:00 Total structured size: 242025 (mem: 703.73 MiB) 20:46:00 allocating polynomials object in proving key... (mem: 703.73 MiB) 20:46:01 [20:46:01.173] INFO: ivc-integration:test:native bb - populating trace... (mem: 703.73 MiB) 20:46:01 [20:46:01.215] INFO: ivc-integration:test:native bb - time to construct proving key: 374 ms. (mem: 703.73 MiB) 20:46:01 [20:46:01.584] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 703.73 MiB) 20:46:02 [20:46:02.001] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 705.73 MiB) 20:46:02 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.73 MiB) 20:46:02 [20:46:02.328] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 705.73 MiB) 20:46:02 [20:46:02.341] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c 20:46:02 [20:46:02.343] INFO: ivc-integration:test:native bb - (mem: 705.73 MiB) 20:46:02 [20:46:02.360] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 705.73 MiB) 20:46:02 [20:46:02.363] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 705.73 MiB) 20:46:02 goblin ecc op : 56/1024 (mem: 705.73 MiB) 20:46:02 busread : 3/6000 (mem: 705.73 MiB) 20:46:02 lookups : 2/15000 (mem: 705.73 MiB) 20:46:02 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 705.73 MiB) 20:46:02 arithmetic : 4532/56000 (mem: 705.73 MiB) 20:46:02 delta range : 2060/18000 (mem: 705.73 MiB) 20:46:02 elliptic : 2/6000 (mem: 705.73 MiB) 20:46:02 auxiliary : 50/26000 (mem: 705.73 MiB) 20:46:02 poseidon ext : 1332/17000 (mem: 705.73 MiB) 20:46:02 poseidon int : 7583/92000 (mem: 705.73 MiB) 20:46:02 overflow : 0/0 (mem: 705.73 MiB) 20:46:02 (mem: 705.73 MiB) 20:46:02 Total structured size: 242025 (mem: 705.73 MiB) 20:46:02 allocating polynomials object in proving key... (mem: 705.73 MiB) 20:46:02 [20:46:02.504] INFO: ivc-integration:test:native bb - populating trace... (mem: 705.73 MiB) 20:46:02 [20:46:02.535] INFO: ivc-integration:test:native bb - time to construct proving key: 174 ms. (mem: 705.73 MiB) 20:46:02 [20:46:02.716] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 705.73 MiB) 20:46:03 [20:46:03.401] INFO: ivc-integration:test:native bb - computing folding proof (mem: 709.73 MiB) 20:46:03 [20:46:03.405] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 709.73 MiB) 20:46:04 [20:46:04.147] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 709.73 MiB) 20:46:04 [20:46:04.349] INFO: ivc-integration:test:native bb - perturbator round (mem: 709.73 MiB) 20:46:04 [20:46:04.420] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 741.73 MiB) 20:46:04 [20:46:04.755] INFO: ivc-integration:test:native bb - folded 20:46:04 [20:46:04.756] INFO: ivc-integration:test:native bb - (mem: 741.73 MiB) 20:46:04 constructed folding proof (mem: 741.73 MiB) 20:46:04 Largest circuit: 15564 gates. Trace details: (mem: 741.73 MiB) 20:46:04 Minimum required block sizes for structured trace: (mem: 741.73 MiB) 20:46:04 (mem: 741.73 MiB) 20:46:04 prove decider... (mem: 741.73 MiB) 20:46:04 [20:46:04.763] INFO: ivc-integration:test:native bb - ecc_op : 56 20:46:04 busread : 3 20:46:04 lookup : 2 20:46:04 pub_inputs : 36 20:46:04 arithmetic : 4532 20:46:04 delta_range : 2060 20:46:04 elliptic : 2 20:46:04 aux : 50 20:46:04 poseidon2_external : 1332 20:46:04 poseidon2_internal : 7583 20:46:04 overflow : 0 20:46:05 [20:46:05.009] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 741.73 MiB) 20:46:05 [20:46:05.280] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 741.73 MiB) 20:46:06 [20:46:06.698] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 741.73 MiB) 20:46:06 [20:46:06.958] INFO: ivc-integration:test:native bb - computed opening proof (mem: 741.73 MiB) 20:46:06 finished decider proving. (mem: 741.73 MiB) 20:46:06 [20:46:06.994] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 741.73 MiB) 20:46:07 [20:46:07.128] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 741.73 MiB) 20:46:07 [20:46:07.139] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 741.73 MiB) 20:46:07 [20:46:07.321] INFO: ivc-integration:test:native bb - populating trace... (mem: 741.73 MiB) 20:46:07 [20:46:07.365] INFO: ivc-integration:test:native bb - time to construct proving key: 237 ms. (mem: 741.73 MiB) 20:46:08 [20:46:08.301] INFO: ivc-integration:test:native BB concurrency: 1 20:46:08 [20:46:08.301] 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-vSKQWJ/proof -k /tmp/bb-client-ivc-integration-vSKQWJ/vk -v 20:46:08 [20:46:08.353] INFO: ivc-integration:test:native bb command: verify (mem: 234.75 MiB) 20:46:08 Scheme is: client_ivc, num threads: 1 (mem: 234.75 MiB) 20:46:08 --proof_path: /tmp/bb-client-ivc-integration-vSKQWJ/proof (mem: 234.75 MiB) 20:46:08 --vk_path: /tmp/bb-client-ivc-integration-vSKQWJ/vk (mem: 234.75 MiB) 20:46:08 --verbose: true (mem: 234.75 MiB) 20:46:08 --scheme: client_ivc (mem: 234.75 MiB) 20:46:08 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 234.75 MiB) 20:46:08 [20:46:08.375] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 234.75 MiB) 20:46:08 [20:46:08.376] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 234.75 MiB) 20:46:08 [20:46:08.399] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 234.75 MiB) 20:46:08 [20:46:08.401] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 234.75 MiB) 20:46:08 sumcheck_verified: 1 (mem: 234.75 MiB) 20:46:08 libra_evals_verified: 1 (mem: 234.75 MiB) 20:46:08 pairing_check_verified: 1 (mem: 234.75 MiB) 20:46:08 Mega verified: 1 (mem: 234.75 MiB) 20:46:08 [20:46:08.963] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 234.75 MiB) 20:46:08 batch opening verified?: 1 (mem: 234.75 MiB) 20:46:08 eccvm consistency check verified?: 1 (mem: 234.75 MiB) 20:46:08 translation masking consistency checked?: 1 (mem: 234.75 MiB) 20:46:08 [20:46:08.982] INFO: ivc-integration:test:native merge verified?: 1 (mem: 234.75 MiB) 20:46:08 eccvm verified?: 1 (mem: 234.75 MiB) 20:46:08 accumulator construction_verified?: 1 (mem: 234.75 MiB) 20:46:08 translation verified?: 1 (mem: 234.75 MiB) 20:46:08 consistency verified?: 1 (mem: 234.75 MiB) 20:46:08 Goblin verified: 1 (mem: 234.75 MiB) 20:46:08 verified: 1 (mem: 234.75 MiB) 20:46:09 [20:46:09.109] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Pp6GdV/ivc-inputs.msgpack 20:46:09 [20:46:09.110] INFO: ivc-integration:test:native bb - BB concurrency: undefined 20:46:09 [20:46:09.110] 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-Pp6GdV --ivc_inputs_path /tmp/bb-client-ivc-integration-Pp6GdV/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 20:46:09 [20:46:09.144] INFO: ivc-integration:test:native bb - bb command: prove (mem: 236.19 MiB) 20:46:09 Scheme is: client_ivc, num threads: 128 (mem: 236.19 MiB) 20:46:09 --scheme: client_ivc (mem: 236.19 MiB) 20:46:09 --output_path: /tmp/bb-client-ivc-integration-Pp6GdV (mem: 236.19 MiB) 20:46:09 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Pp6GdV/ivc-inputs.msgpack (mem: 236.19 MiB) 20:46:09 --verbose: true (mem: 236.19 MiB) 20:46:09 --write_vk: true (mem: 236.19 MiB) 20:46:09 [20:46:09.151] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 20:46:09 [20:46:09.153] INFO: ivc-integration:test:native bb - (mem: 236.19 MiB) 20:46:09 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 236.19 MiB) 20:46:09 [20:46:09.220] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 236.19 MiB) 20:46:09 [20:46:09.224] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 236.19 MiB) 20:46:09 Constructing DeciderProvingKey (mem: 236.19 MiB) 20:46:09 [20:46:09.231] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 236.19 MiB) 20:46:09 goblin ecc op : 4/1024 (mem: 236.19 MiB) 20:46:09 busread : 7/6000 (mem: 236.19 MiB) 20:46:09 lookups : 2/15000 (mem: 236.19 MiB) 20:46:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 236.19 MiB) 20:46:09 arithmetic : 1760/56000 (mem: 236.19 MiB) 20:46:09 delta range : 1754/18000 (mem: 236.19 MiB) 20:46:09 elliptic : 2/6000 (mem: 236.19 MiB) 20:46:09 auxiliary : 26/26000 (mem: 236.19 MiB) 20:46:09 poseidon ext : 2/17000 (mem: 236.19 MiB) 20:46:09 poseidon int : 2/92000 (mem: 236.19 MiB) 20:46:09 overflow : 0/0 (mem: 236.19 MiB) 20:46:09 (mem: 236.19 MiB) 20:46:09 Total structured size: 242025 (mem: 236.19 MiB) 20:46:09 allocating polynomials object in proving key... (mem: 236.19 MiB) 20:46:09 [20:46:09.523] INFO: ivc-integration:test:native bb - populating trace... (mem: 336.00 MiB) 20:46:09 [20:46:09.553] INFO: ivc-integration:test:native bb - time to construct proving key: 328 ms. (mem: 351.00 MiB) 20:46:09 [20:46:09.789] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ff1f647fc00 (mem: 351.00 MiB) 20:46:09 [20:46:09.790] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 351.00 MiB) 20:46:09 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 351.00 MiB) 20:46:10 [20:46:10.262] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 362.00 MiB) 20:46:10 [20:46:10.270] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 362.00 MiB) 20:46:10 [20:46:10.288] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 363.00 MiB) 20:46:10 Constructing DeciderProvingKey (mem: 20:46:10 [20:46:10.289] INFO: ivc-integration:test:native bb - 363.00 MiB) 20:46:10 [20:46:10.293] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 363.00 MiB) 20:46:10 [20:46:10.294] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 363.00 MiB) 20:46:10 busread : 12/6000 (mem: 363.00 MiB) 20:46:10 lookups : 2/15000 (mem: 363.00 MiB) 20:46:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 363.00 MiB) 20:46:10 arithmetic : 4676/56000 (mem: 363.00 MiB) 20:46:10 delta range : 2073/18000 (mem: 363.00 MiB) 20:46:10 elliptic : 2/6000 (mem: 363.00 MiB) 20:46:10 auxiliary : 110/26000 (mem: 363.00 MiB) 20:46:10 poseidon ext : 1322/17000 (mem: 363.00 MiB) 20:46:10 poseidon int : 7526/92000 (mem: 363.00 MiB) 20:46:10 overflow : 0/0 (mem: 363.00 MiB) 20:46:10 (mem: 363.00 MiB) 20:46:10 Total structured size: 242025 (mem: 363.00 MiB) 20:46:10 allocating polynomials object in proving key... (mem: 363.00 MiB) 20:46:10 [20:46:10.432] INFO: ivc-integration:test:native bb - populating trace... (mem: 576.00 MiB) 20:46:10 [20:46:10.450] INFO: ivc-integration:test:native bb - time to construct proving key: 162 ms. (mem: 592.00 MiB) 20:46:10 [20:46:10.543] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ff1f6488ec0 (mem: 592.00 MiB) 20:46:10 computing folding proof (mem: 592.00 MiB) 20:46:10 [20:46:10.545] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 592.00 MiB) 20:46:10 [20:46:10.921] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 594.00 MiB) 20:46:11 [20:46:11.012] INFO: ivc-integration:test:native bb - perturbator round (mem: 631.00 MiB) 20:46:11 [20:46:11.067] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 665.00 MiB) 20:46:11 [20:46:11.300] INFO: ivc-integration:test:native bb - folded (mem: 665.00 MiB) 20:46:11 constructed folding proof (mem: 665.00 MiB) 20:46:11 [20:46:11.302] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 665.00 MiB) 20:46:11 Constructing DeciderProvingKey (mem: 665.00 MiB) 20:46:11 [20:46:11.306] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 665.00 MiB) 20:46:11 goblin ecc op : 4/1024 (mem: 665.00 MiB) 20:46:11 busread : 7/6000 (mem: 665.00 MiB) 20:46:11 lookups : 2/15000 (mem: 665.00 MiB) 20:46:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 665.00 MiB) 20:46:11 arithmetic : 1760/56000 (mem: 665.00 MiB) 20:46:11 delta range : 1754/18000 (mem: 665.00 MiB) 20:46:11 elliptic : 2/6000 (mem: 665.00 MiB) 20:46:11 auxiliary : 26/26000 (mem: 665.00 MiB) 20:46:11 poseidon ext : 2/17000 (mem: 665.00 MiB) 20:46:11 poseidon int : 2/92000 (mem: 665.00 MiB) 20:46:11 overflow : 0/0 (mem: 665.00 MiB) 20:46:11 (mem: 665.00 MiB) 20:46:11 Total structured size: 242025 (mem: 665.00 MiB) 20:46:11 allocating polynomials object in proving key... (mem: 665.00 MiB) 20:46:11 [20:46:11.443] INFO: ivc-integration:test:native bb - populating trace... (mem: 665.00 MiB) 20:46:11 [20:46:11.452] INFO: ivc-integration:test:native bb - time to construct proving key: 149 ms. (mem: 665.00 MiB) 20:46:11 [20:46:11.525] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ff1f6484b80 (mem: 665.00 MiB) 20:46:11 computing folding proof (mem: 665.00 MiB) 20:46:11 [20:46:11.527] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 665.00 MiB) 20:46:11 [20:46:11.728] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 665.00 MiB) 20:46:11 [20:46:11.814] INFO: ivc-integration:test:native bb - perturbator round (mem: 665.00 MiB) 20:46:11 [20:46:11.886] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 666.16 MiB) 20:46:12 [20:46:12.053] INFO: ivc-integration:test:native bb - folded (mem: 666.16 MiB) 20:46:12 constructed folding proof (mem: 666.16 MiB) 20:46:12 [20:46:12.065] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 666.16 MiB) 20:46:12 [20:46:12.137] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 666.16 MiB) 20:46:12 [20:46:12.193] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 666.16 MiB) 20:46:12 Constructing DeciderProvingKey (mem: 20:46:12 [20:46:12.194] INFO: ivc-integration:test:native bb - 666.16 MiB) 20:46:12 [20:46:12.202] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 666.16 MiB) 20:46:12 goblin ecc op : 792/1024 (mem: 666.16 MiB) 20:46:12 busread : 12/6000 (mem: 666.16 MiB) 20:46:12 lookups : 2/15000 (mem: 666.16 MiB) 20:46:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 666.16 MiB) 20:46:12 arithmetic : 12206/56000 (mem: 666.16 MiB) 20:46:12 delta range : 2981/18000 (mem: 666.16 MiB) 20:46:12 elliptic : 2/6000 (mem: 666.16 MiB) 20:46:12 auxiliary : 350/26000 (mem: 666.16 MiB) 20:46:12 poseidon ext : 4982/17000 (mem: 666.16 MiB) 20:46:12 poseidon int : 28388/92000 (mem: 666.16 MiB) 20:46:12 overflow : 0/0 (mem: 666.16 MiB) 20:46:12 (mem: 666.16 MiB) 20:46:12 Total structured size: 242025 (mem: 666.16 MiB) 20:46:12 allocating polynomials object in proving key... (mem: 666.16 MiB) 20:46:12 [20:46:12.250] INFO: ivc-integration:test:native bb - populating trace... (mem: 666.16 MiB) 20:46:12 [20:46:12.294] INFO: ivc-integration:test:native bb - time to construct proving key: 100 ms. (mem: 666.16 MiB) 20:46:12 [20:46:12.459] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ff1f64fcc40 (mem: 666.16 MiB) 20:46:12 [20:46:12.460] INFO: ivc-integration:test:native bb - computing folding proof (mem: 666.16 MiB) 20:46:12 vkey hash in Oink prover: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 666.16 MiB) 20:46:13 [20:46:13.050] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 666.16 MiB) 20:46:13 [20:46:13.133] INFO: ivc-integration:test:native bb - perturbator round (mem: 678.19 MiB) 20:46:13 [20:46:13.194] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 710.19 MiB) 20:46:13 [20:46:13.535] INFO: ivc-integration:test:native bb - folded (mem: 710.19 MiB) 20:46:13 constructed folding proof (mem: 710.19 MiB) 20:46:13 [20:46:13.544] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 710.19 MiB) 20:46:13 [20:46:13.606] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 710.19 MiB) 20:46:13 Constructing DeciderProvingKey (mem: 710.19 MiB) 20:46:13 [20:46:13.611] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 710.19 MiB) 20:46:13 goblin ecc op : 392/1024 (mem: 710.19 MiB) 20:46:13 busread : 16/6000 (mem: 710.19 MiB) 20:46:13 lookups : 2/15000 (mem: 710.19 MiB) 20:46:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 710.19 MiB) 20:46:13 arithmetic : 6977/56000 (mem: 710.19 MiB) 20:46:13 delta range : 2367/18000 (mem: 710.19 MiB) 20:46:13 elliptic : 2/6000 (mem: 710.19 MiB) 20:46:13 auxiliary : 77/26000 (mem: 710.19 MiB) 20:46:13 poseidon ext : 2492/17000 (mem: 710.19 MiB) 20:46:13 poseidon int : 14195/92000 (mem: 710.19 MiB) 20:46:13 overflow : 0/0 (mem: 710.19 MiB) 20:46:13 (mem: 710.19 MiB) 20:46:13 Total structured size: 242025 (mem: 710.19 MiB) 20:46:13 [20:46:13.611] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 710.19 MiB) 20:46:13 [20:46:13.730] INFO: ivc-integration:test:native bb - populating trace... (mem: 20:46:13 [20:46:13.731] INFO: ivc-integration:test:native bb - 710.19 MiB) 20:46:13 [20:46:13.763] INFO: ivc-integration:test:native bb - time to construct proving key: 156 ms. (mem: 710.19 MiB) 20:46:13 [20:46:13.914] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ff1f64e61c0 (mem: 710.19 MiB) 20:46:13 computing folding proof (mem: 710.19 MiB) 20:46:13 [20:46:13.915] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 710.19 MiB) 20:46:14 [20:46:14.309] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.19 MiB) 20:46:14 [20:46:14.428] INFO: ivc-integration:test:native bb - perturbator round (mem: 710.19 MiB) 20:46:14 [20:46:14.487] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 710.95 MiB) 20:46:14 [20:46:14.748] INFO: ivc-integration:test:native bb - folded (mem: 710.95 MiB) 20:46:14 constructed folding proof (mem: 710.95 MiB) 20:46:14 [20:46:14.756] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 710.95 MiB) 20:46:14 [20:46:14.821] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 710.95 MiB) 20:46:14 Constructing DeciderProvingKey (mem: 710.95 MiB) 20:46:14 [20:46:14.827] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 710.95 MiB) 20:46:14 goblin ecc op : 392/1024 (mem: 710.95 MiB) 20:46:14 busread : 3/6000 (mem: 710.95 MiB) 20:46:14 lookups : 2/15000 (mem: 710.95 MiB) 20:46:14 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 710.95 MiB) 20:46:14 arithmetic : 6912/56000 (mem: 710.95 MiB) 20:46:14 delta range : 2353/18000 (mem: 710.95 MiB) 20:46:14 elliptic : 2/6000 (mem: 710.95 MiB) 20:46:14 auxiliary : 50/26000 (mem: 710.95 MiB) 20:46:14 poseidon ext : 2492/17000 (mem: 710.95 MiB) 20:46:14 poseidon int : 14195/92000 (mem: 710.95 MiB) 20:46:14 overflow : 0/0 (mem: 710.95 MiB) 20:46:14 (mem: 710.95 MiB) 20:46:14 Total structured size: 242025 (mem: 710.95 MiB) 20:46:14 allocating polynomials object in proving key... (mem: 710.95 MiB) 20:46:14 [20:46:14.895] INFO: ivc-integration:test:native bb - populating trace... (mem: 710.95 MiB) 20:46:14 [20:46:14.928] INFO: ivc-integration:test:native bb - time to construct proving key: 107 ms. (mem: 710.95 MiB) 20:46:15 [20:46:15.055] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ff1f64f7480 (mem: 710.95 MiB) 20:46:15 computing folding proof (mem: 710.95 MiB) 20:46:15 vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 710.95 MiB) 20:46:15 [20:46:15.288] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.95 MiB) 20:46:15 [20:46:15.361] INFO: ivc-integration:test:native bb - perturbator round (mem: 710.95 MiB) 20:46:15 [20:46:15.438] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 711.09 MiB) 20:46:15 [20:46:15.569] INFO: ivc-integration:test:native bb - folded (mem: 711.09 MiB) 20:46:15 constructed folding proof (mem: 711.09 MiB) 20:46:15 [20:46:15.569] INFO: ivc-integration:test:native bb - Largest circuit: 48923 gates. Trace details: (mem: 711.09 MiB) 20:46:15 Minimum required block sizes for structured trace: (mem: 711.09 MiB) 20:46:15 (mem: 711.09 MiB) 20:46:15 prove decider... (mem: 711.09 MiB) 20:46:15 [20:46:15.570] INFO: ivc-integration:test:native bb - ecc_op : 792 20:46:15 busread : 16 20:46:15 lookup : 2 20:46:15 pub_inputs : 36 20:46:15 arithmetic : 12206 20:46:15 delta_range : 2981 20:46:15 elliptic : 2 20:46:15 aux : 350 20:46:15 poseidon2_external : 4982 20:46:15 poseidon2_internal : 28388 20:46:15 overflow : 0 20:46:15 [20:46:15.670] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.09 MiB) 20:46:15 [20:46:15.802] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 711.09 MiB) 20:46:16 [20:46:16.426] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 711.09 MiB) 20:46:16 [20:46:16.526] INFO: ivc-integration:test:native bb - computed opening proof (mem: 711.09 MiB) 20:46:16 finished decider proving. (mem: 711.09 MiB) 20:46:16 [20:46:16.544] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 711.09 MiB) 20:46:16 [20:46:16.631] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 711.09 MiB) 20:46:16 [20:46:16.636] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 711.09 MiB) 20:46:16 [20:46:16.699] INFO: ivc-integration:test:native bb - populating trace... (mem: 711.09 MiB) 20:46:16 [20:46:16.738] INFO: ivc-integration:test:native bb - time to construct proving key: 107 ms. (mem: 711.09 MiB) 20:46:17 [20:46:17.185] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 711.09 MiB) 20:46:17 [20:46:17.437] INFO: ivc-integration:test:native bb - created oink proof (mem: 711.09 MiB) 20:46:17 [20:46:17.622] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.09 MiB) 20:46:18 [20:46:18.818] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 711.09 MiB) 20:46:19 [20:46:19.481] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 711.09 MiB) 20:46:19 [20:46:19.545] INFO: ivc-integration:test:native bb - computed opening proof (mem: 711.09 MiB) 20:46:19 finished decider proving. (mem: 711.09 MiB) 20:46:19 [20:46:19.546] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 711.09 MiB) 20:46:19 [20:46:19.765] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 711.09 MiB) 20:46:20 [20:46:20.181] 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: 711.09 MiB) 20:46:20 [20:46:20.190] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 20:46:20 [20:46:20.191] INFO: ivc-integration:test:native bb - (mem: 711.09 MiB) 20:46:21 [20:46:21.361] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.09 MiB) 20:46:24 [20:46:24.216] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 711.09 MiB) 20:46:30 [20:46:30.683] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 711.09 MiB) 20:46:30 prove translator... (mem: 711.09 MiB) 20:46:31 [20:46:31.739] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 725.52 MiB) 20:46:33 [20:46:33.782] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 726.52 MiB) 20:46:35 [20:46:35.658] INFO: ivc-integration:test:native bb - computed opening proof (mem: 726.52 MiB) 20:46:35 [20:46:35.660] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 726.52 MiB) 20:46:35 vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 726.52 MiB) 20:46:35 [20:46:35.682] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 726.52 MiB) 20:46:35 libra_evals_verified: 1 (mem: 726.52 MiB) 20:46:35 pairing_check_verified: 1 (mem: 726.52 MiB) 20:46:35 Mega verified: 1 (mem: 726.52 MiB) 20:46:35 [20:46:35.762] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 726.52 MiB) 20:46:35 batch opening verified?: 1 (mem: 726.52 MiB) 20:46:35 eccvm consistency check verified?: 1 (mem: 726.52 MiB) 20:46:35 translation masking consistency checked?: 1 (mem: 726.52 MiB) 20:46:35 [20:46:35.778] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 726.52 MiB) 20:46:35 eccvm verified?: 1 (mem: 726.52 MiB) 20:46:35 accumulator construction_verified?: 1 (mem: 726.52 MiB) 20:46:35 translation verified?: 1 (mem: 726.52 MiB) 20:46:35 consistency verified?: 1 (mem: 726.52 MiB) 20:46:35 [20:46:35.778] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 726.52 MiB) 20:46:35 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Pp6GdV" (mem: 726.52 MiB) 20:46:35 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Pp6GdV" (mem: 726.52 MiB) 20:46:35 BN254 commitment key size: 262144 (mem: 726.52 MiB) 20:46:35 [20:46:35.781] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 726.52 MiB) 20:46:35 [20:46:35.785] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 726.52 MiB) 20:46:35 goblin ecc op : 4/1024 (mem: 726.52 MiB) 20:46:35 busread : 3/6000 (mem: 726.52 MiB) 20:46:35 lookups : 2/15000 (mem: 726.52 MiB) 20:46:35 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 726.52 MiB) 20:46:35 arithmetic : 1773/56000 (mem: 726.52 MiB) 20:46:35 delta range : 1754/18000 20:46:35 [20:46:35.785] INFO: ivc-integration:test:native bb - (mem: 726.52 MiB) 20:46:35 elliptic : 2/6000 (mem: 726.52 MiB) 20:46:35 auxiliary : 26/26000 (mem: 726.52 MiB) 20:46:35 poseidon ext : 2/17000 (mem: 726.52 MiB) 20:46:35 poseidon int : 2/92000 (mem: 726.52 MiB) 20:46:35 overflow : 0/0 (mem: 726.52 MiB) 20:46:35 (mem: 726.52 MiB) 20:46:35 Total structured size: 242025 (mem: 726.52 MiB) 20:46:35 allocating polynomials object in proving key... (mem: 726.52 MiB) 20:46:35 [20:46:35.896] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.52 MiB) 20:46:35 [20:46:35.919] INFO: ivc-integration:test:native bb - time to construct proving key: 136 ms. (mem: 726.52 MiB) 20:46:35 [20:46:35.968] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 726.52 MiB) 20:46:36 [20:46:36.106] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 726.52 MiB) 20:46:36 [20:46:36.107] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 726.52 MiB) 20:46:36 [20:46:36.272] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 726.52 MiB) 20:46:36 [20:46:36.283] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 726.52 MiB) 20:46:36 [20:46:36.300] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 726.52 MiB) 20:46:36 [20:46:36.301] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 726.52 MiB) 20:46:36 [20:46:36.301] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 726.52 MiB) 20:46:36 busread : 3/6000 (mem: 726.52 MiB) 20:46:36 lookups : 2/15000 (mem: 726.52 MiB) 20:46:36 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 726.52 MiB) 20:46:36 arithmetic : 4532/56000 (mem: 726.52 MiB) 20:46:36 delta range : 2060/18000 (mem: 726.52 MiB) 20:46:36 elliptic : 2/6000 (mem: 726.52 MiB) 20:46:36 auxiliary : 50/26000 (mem: 726.52 MiB) 20:46:36 poseidon ext : 1332/17000 (mem: 726.52 MiB) 20:46:36 poseidon int : 7583/92000 (mem: 726.52 MiB) 20:46:36 overflow : 0/0 (mem: 726.52 MiB) 20:46:36 (mem: 726.52 MiB) 20:46:36 Total structured size: 242025 (mem: 726.52 MiB) 20:46:36 allocating polynomials object in proving key... (mem: 726.52 MiB) 20:46:36 [20:46:36.360] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.52 MiB) 20:46:36 [20:46:36.389] INFO: ivc-integration:test:native bb - time to construct proving key: 91 ms. (mem: 726.52 MiB) 20:46:36 [20:46:36.465] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 726.52 MiB) 20:46:36 [20:46:36.668] INFO: ivc-integration:test:native bb - computing folding proof (mem: 726.52 MiB) 20:46:36 [20:46:36.669] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 726.52 MiB) 20:46:36 [20:46:36.915] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 726.52 MiB) 20:46:37 [20:46:37.014] INFO: ivc-integration:test:native bb - perturbator round (mem: 726.52 MiB) 20:46:37 [20:46:37.057] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 758.52 MiB) 20:46:37 [20:46:37.191] INFO: ivc-integration:test:native bb - folded (mem: 758.52 MiB) 20:46:37 constructed folding proof (mem: 758.52 MiB) 20:46:37 [20:46:37.192] INFO: ivc-integration:test:native bb - Largest circuit: 15564 gates. Trace details: (mem: 758.52 MiB) 20:46:37 Minimum required block sizes for structured trace: (mem: 758.52 MiB) 20:46:37 (mem: 758.52 MiB) 20:46:37 prove decider... (mem: 758.52 MiB) 20:46:37 [20:46:37.192] INFO: ivc-integration:test:native bb - ecc_op : 56 20:46:37 busread : 3 20:46:37 lookup : 2 20:46:37 pub_inputs : 36 20:46:37 arithmetic : 4532 20:46:37 delta_range : 2060 20:46:37 elliptic : 2 20:46:37 aux : 50 20:46:37 poseidon2_external : 1332 20:46:37 poseidon2_internal : 7583 20:46:37 overflow : 0 20:46:37 [20:46:37.300] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 758.52 MiB) 20:46:37 [20:46:37.423] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 758.52 MiB) 20:46:38 [20:46:38.283] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 758.52 MiB) 20:46:38 [20:46:38.362] INFO: ivc-integration:test:native bb - computed opening proof (mem: 758.52 MiB) 20:46:38 finished decider proving. (mem: 758.52 MiB) 20:46:38 [20:46:38.378] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 758.52 MiB) 20:46:38 [20:46:38.461] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 758.52 MiB) 20:46:38 [20:46:38.467] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 758.52 MiB) 20:46:38 [20:46:38.556] INFO: ivc-integration:test:native bb - populating trace... (mem: 758.52 MiB) 20:46:38 [20:46:38.604] INFO: ivc-integration:test:native bb - time to construct proving key: 142 ms. (mem: 758.52 MiB) 20:46:39 [20:46:39.057] INFO: ivc-integration:test:native BB concurrency: 1 20:46:39 [20:46:39.058] 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-Pp6GdV/proof -k /tmp/bb-client-ivc-integration-Pp6GdV/vk -v 20:46:39 [20:46:39.083] INFO: ivc-integration:test:native bb command: verify (mem: 239.80 MiB) 20:46:39 Scheme is: client_ivc, num threads: 1 (mem: 239.80 MiB) 20:46:39 --proof_path: /tmp/bb-client-ivc-integration-Pp6GdV/proof (mem: 239.80 MiB) 20:46:39 --vk_path: /tmp/bb-client-ivc-integration-Pp6GdV/vk (mem: 239.80 MiB) 20:46:39 --verbose: true (mem: 239.80 MiB) 20:46:39 --scheme: client_ivc (mem: 239.80 MiB) 20:46:39 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 239.80 MiB) 20:46:39 [20:46:39.098] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 239.80 MiB) 20:46:39 [20:46:39.099] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 239.80 MiB) 20:46:39 [20:46:39.120] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 239.80 MiB) 20:46:39 [20:46:39.122] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 239.80 MiB) 20:46:39 sumcheck_verified: 1 (mem: 239.80 MiB) 20:46:39 libra_evals_verified: 1 (mem: 239.80 MiB) 20:46:39 pairing_check_verified: 1 (mem: 239.80 MiB) 20:46:39 Mega verified: 1 (mem: 239.80 MiB) 20:46:39 [20:46:39.596] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 239.80 MiB) 20:46:39 batch opening verified?: 1 (mem: 239.80 MiB) 20:46:39 eccvm consistency check verified?: 1 (mem: 239.80 MiB) 20:46:39 translation masking consistency checked?: 1 (mem: 239.80 MiB) 20:46:39 [20:46:39.613] INFO: ivc-integration:test:native merge verified?: 1 (mem: 239.80 MiB) 20:46:39 eccvm verified?: 1 (mem: 239.80 MiB) 20:46:39 accumulator construction_verified?: 1 (mem: 239.80 MiB) 20:46:39 translation verified?: 1 (mem: 239.80 MiB) 20:46:39 consistency verified?: 1 (mem: 239.80 MiB) 20:46:39 Goblin verified: 1 (mem: 239.80 MiB) 20:46:39 verified: 1 (mem: 239.80 MiB) 20:46:39 PASS src/native_client_ivc_integration.test.ts (75.287 s) 20:46:39 Client IVC Integration 20:46:39 ✓ Should generate a verifiable client IVC proof from a simple mock tx (41062 ms) 20:46:39 ✓ Should generate a verifiable client IVC proof from a complex mock tx (30620 ms) 20:46:39 20:46:39 Test Suites: 1 passed, 1 total 20:46:39 Tests: 2 passed, 2 total 20:46:39 Snapshots: 0 total 20:46:39 Time: 75.379 s 20:46:39 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 20:46:39 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?