ACI ·

Parent Log: http://ci.aztec-labs.com/3d1c6191e03ebf01 Command: 270716767bef7882: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/aedcee89a2544b0e6baf93c4e71d88991f09111e Env: REF_NAME=gh-readonly-queue/next/pr-15183-016def8adbfe93f34b41a41f439b146b5318c895 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 24 13:30:51 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15183_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 13:30:55 [13:30:55.732] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-cDNPMA/ivc-inputs.msgpack 13:30:55 [13:30:55.738] INFO: ivc-integration:test:native bb - BB concurrency: undefined 13:30:55 [13:30:55.739] 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-cDNPMA --ivc_inputs_path /tmp/bb-client-ivc-integration-cDNPMA/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:30:55 [13:30:55.761] INFO: ivc-integration:test:native bb - bb command: prove (mem: 236.79 MiB) 13:30:55 [13:30:55.762] INFO: ivc-integration:test:native bb - 13:30:55 Scheme is: client_ivc, num threads: 128 (mem: 236.79 MiB) 13:30:55 --scheme: client_ivc (mem: 236.79 MiB) 13:30:55 --output_path: /tmp/bb-client-ivc-integration-cDNPMA (mem: 236.79 MiB) 13:30:55 --ivc_inputs_path: /tmp/bb-client-ivc-integration-cDNPMA/ivc-inputs.msgpack (mem: 236.79 MiB) 13:30:55 --verbose: true (mem: 236.79 MiB) 13:30:55 --write_vk: true (mem: 236.79 MiB) 13:30:55 BN254 commitment key size: 262144 (mem: 236.79 MiB) 13:30:55 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 236.79 MiB) 13:30:55 [13:30:55.829] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 236.79 MiB) 13:30:55 [13:30:55.834] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 236.79 MiB) 13:30:55 Constructing DeciderProvingKey (mem: 236.79 MiB) 13:30:55 [13:30:55.839] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 236.79 MiB) 13:30:55 goblin ecc op : 4/1024 (mem: 236.79 MiB) 13:30:55 busread : 7/6000 (mem: 236.79 MiB) 13:30:55 lookups : 2/15000 (mem: 236.79 MiB) 13:30:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 236.79 MiB) 13:30:55 arithmetic : 1760/56000 (mem: 236.79 MiB) 13:30:55 delta range : 1754/18000 (mem: 236.79 MiB) 13:30:55 elliptic : 2/6000 (mem: 236.79 MiB) 13:30:55 auxiliary : 26/26000 (mem: 236.79 MiB) 13:30:55 poseidon ext : 2/17000 (mem: 236.79 MiB) 13:30:55 poseidon int : 2/92000 (mem: 236.79 MiB) 13:30:55 overflow : 0/0 (mem: 236.79 MiB) 13:30:55 (mem: 236.79 MiB) 13:30:55 Total structured size: 242025 (mem: 236.79 MiB) 13:30:55 allocating polynomials object in proving key... (mem: 236.79 MiB) 13:30:56 [13:30:56.071] INFO: ivc-integration:test:native bb - populating trace... (mem: 338.97 MiB) 13:30:56 [13:30:56.083] INFO: ivc-integration:test:native bb - time to construct proving key: 249 ms. (mem: 351.97 MiB) 13:30:56 [13:30:56.212] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63e832f205c0 (mem: 351.97 MiB) 13:30:56 computing oink proof... (mem: 351.97 MiB) 13:30:56 [13:30:56.213] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 351.97 MiB) 13:30:56 [13:30:56.389] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 360.97 MiB) 13:30:56 [13:30:56.398] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 360.97 MiB) 13:30:56 [13:30:56.418] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 360.97 MiB) 13:30:56 Constructing DeciderProvingKey (mem: 360.97 MiB) 13:30:56 [13:30:56.420] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 360.97 MiB) 13:30:56 goblin ecc op : 56/1024 (mem: 360.97 MiB) 13:30:56 busread : 12/6000 (mem: 360.97 MiB) 13:30:56 lookups : 2/15000 (mem: 360.97 MiB) 13:30:56 [13:30:56.421] INFO: ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 360.97 MiB) 13:30:56 arithmetic : 4677/56000 (mem: 360.97 MiB) 13:30:56 delta range : 2073/18000 (mem: 360.97 MiB) 13:30:56 elliptic : 2/6000 (mem: 360.97 MiB) 13:30:56 auxiliary : 110/26000 (mem: 360.97 MiB) 13:30:56 poseidon ext : 1322/17000 (mem: 360.97 MiB) 13:30:56 poseidon int : 7526/92000 (mem: 360.97 MiB) 13:30:56 overflow : 0/0 (mem: 360.97 MiB) 13:30:56 (mem: 360.97 MiB) 13:30:56 Total structured size: 242025 (mem: 360.97 MiB) 13:30:56 allocating polynomials object in proving key... (mem: 360.97 MiB) 13:30:56 [13:30:56.517] INFO: ivc-integration:test:native bb - populating trace... (mem: 562.97 MiB) 13:30:56 [13:30:56.537] INFO: ivc-integration:test:native bb - time to construct proving key: 120 ms. (mem: 581.97 MiB) 13:30:56 [13:30:56.728] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63e832f2d2c0 (mem: 581.97 MiB) 13:30:56 [13:30:56.729] INFO: ivc-integration:test:native bb - computing folding proof (mem: 581.97 MiB) 13:30:56 [13:30:56.729] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 581.97 MiB) 13:30:57 [13:30:57.041] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 583.97 MiB) 13:30:57 [13:30:57.139] INFO: ivc-integration:test:native bb - perturbator round (mem: 620.97 MiB) 13:30:57 [13:30:57.190] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 652.97 MiB) 13:30:57 [13:30:57.645] INFO: ivc-integration:test:native bb - folded (mem: 652.97 MiB) 13:30:57 constructed folding proof (mem: 652.97 MiB) 13:30:57 [13:30:57.667] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 652.97 MiB) 13:30:57 [13:30:57.735] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 652.97 MiB) 13:30:57 Constructing DeciderProvingKey (mem: 652.97 MiB) 13:30:57 [13:30:57.737] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 652.97 MiB) 13:30:57 goblin ecc op : 392/1024 (mem: 652.97 MiB) 13:30:57 busread : 3/6000 (mem: 652.97 MiB) 13:30:57 lookups : 2/15000 (mem: 652.97 MiB) 13:30:57 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 652.97 MiB) 13:30:57 arithmetic : 6913/56000 (mem: 652.97 MiB) 13:30:57 delta range : 2353/18000 (mem: 652.97 MiB) 13:30:57 elliptic : 2/6000 (mem: 652.97 MiB) 13:30:57 auxiliary : 50/26000 (mem: 652.97 MiB) 13:30:57 poseidon ext : 2492/17000 (mem: 652.97 MiB) 13:30:57 poseidon int : 14195/92000 (mem: 652.97 MiB) 13:30:57 overflow : 0/0 (mem: 652.97 MiB) 13:30:57 (mem: 652.97 MiB) 13:30:57 Total structured size: 242025 13:30:57 [13:30:57.739] INFO: ivc-integration:test:native bb - (mem: 652.97 MiB) 13:30:57 allocating polynomials object in proving key... (mem: 652.97 MiB) 13:30:57 [13:30:57.935] INFO: ivc-integration:test:native bb - populating trace... (mem: 652.97 MiB) 13:30:57 [13:30:57.977] INFO: ivc-integration:test:native bb - time to construct proving key: 243 ms. (mem: 652.97 MiB) 13:30:58 [13:30:58.459] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63e832f38780 (mem: 652.97 MiB) 13:30:58 computing folding proof (mem: 652.97 MiB) 13:30:58 [13:30:58.460] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 652.97 MiB) 13:30:58 [13:30:58.885] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 652.97 MiB) 13:30:58 [13:30:58.958] INFO: ivc-integration:test:native bb - perturbator round (mem: 652.97 MiB) 13:30:59 [13:30:59.014] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 665.00 MiB) 13:30:59 [13:30:59.368] INFO: ivc-integration:test:native bb - folded (mem: 665.00 MiB) 13:30:59 constructed folding proof (mem: 665.00 MiB) 13:30:59 Largest circuit: 26010 gates. Trace details: (mem: 665.00 MiB) 13:30:59 Minimum required block sizes for structured trace: (mem: 665.00 MiB) 13:30:59 [13:30:59.372] INFO: ivc-integration:test:native bb - (mem: 665.00 MiB) 13:30:59 prove decider... (mem: 665.00 MiB) 13:30:59 [13:30:59.373] INFO: ivc-integration:test:native bb - ecc_op : 392 13:30:59 busread : 12 13:30:59 lookup : 2 13:30:59 pub_inputs : 36 13:30:59 arithmetic : 6913 13:30:59 delta_range : 2353 13:30:59 elliptic : 2 13:30:59 aux : 110 13:30:59 poseidon2_external : 2492 13:30:59 poseidon2_internal : 14195 13:30:59 overflow : 0 13:30:59 [13:30:59.606] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 665.00 MiB) 13:30:59 [13:30:59.792] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 665.00 MiB) 13:31:01 [13:31:01.330] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 665.00 MiB) 13:31:01 [13:31:01.474] INFO: ivc-integration:test:native bb - computed opening proof (mem: 665.00 MiB) 13:31:01 finished decider proving. (mem: 665.00 MiB) 13:31:01 [13:31:01.506] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 665.00 MiB) 13:31:01 [13:31:01.615] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 665.00 MiB) 13:31:01 [13:31:01.624] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 665.00 MiB) 13:31:01 [13:31:01.872] INFO: ivc-integration:test:native bb - populating trace... (mem: 665.00 MiB) 13:31:01 [13:31:01.936] INFO: ivc-integration:test:native bb - time to construct proving key: 320 ms. (mem: 665.00 MiB) 13:31:03 [13:31:03.558] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 665.00 MiB) 13:31:04 [13:31:04.242] INFO: ivc-integration:test:native bb - created oink proof (mem: 665.00 MiB) 13:31:04 [13:31:04.602] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 665.00 MiB) 13:31:06 [13:31:06.138] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 665.00 MiB) 13:31:07 [13:31:07.658] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 665.00 MiB) 13:31:07 [13:31:07.747] INFO: ivc-integration:test:native bb - computed opening proof (mem: 665.00 MiB) 13:31:07 finished decider proving. (mem: 13:31:07 [13:31:07.748] INFO: ivc-integration:test:native bb - 665.00 MiB) 13:31:07 Constructing a Goblin proof with num ultra ops = 1038 (mem: 665.00 MiB) 13:31:08 [13:31:08.285] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 665.00 MiB) 13:31:08 [13:31:08.754] 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: 665.00 MiB) 13:31:08 [13:31:08.764] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 665.00 MiB) 13:31:11 [13:31:11.262] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 665.00 MiB) 13:31:14 [13:31:14.366] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 665.00 MiB) 13:31:19 [13:31:19.012] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 13:31:19 [13:31:19.013] INFO: ivc-integration:test:native bb - 665.00 MiB) 13:31:19 prove translator... (mem: 665.00 MiB) 13:31:22 [13:31:22.018] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 700.31 MiB) 13:31:25 [13:31:25.232] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 700.31 MiB) 13:31:28 [13:31:28.951] INFO: ivc-integration:test:native bb - computed opening proof (mem: 700.31 MiB) 13:31:28 finished translator proving. (mem: 700.31 MiB) 13:31:28 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 700.31 MiB) 13:31:28 [13:31:28.967] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 13:31:28 [13:31:28.972] INFO: ivc-integration:test:native bb - (mem: 700.31 MiB) 13:31:28 libra_evals_verified: 1 (mem: 700.31 MiB) 13:31:28 pairing_check_verified: 1 (mem: 700.31 MiB) 13:31:28 Mega verified: 1 (mem: 700.31 MiB) 13:31:29 [13:31:29.168] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 701.31 MiB) 13:31:29 batch opening verified?: 1 (mem: 701.31 MiB) 13:31:29 eccvm consistency check verified?: 1 (mem: 701.31 MiB) 13:31:29 [13:31:29.169] INFO: ivc-integration:test:native bb - translation masking consistency checked?: 1 (mem: 701.31 MiB) 13:31:29 [13:31:29.198] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 701.31 MiB) 13:31:29 eccvm verified?: 1 (mem: 701.31 MiB) 13:31:29 accumulator construction_verified?: 1 (mem: 701.31 MiB) 13:31:29 translation verified?: 1 (mem: 701.31 MiB) 13:31:29 consistency verified?: 1 (mem: 701.31 MiB) 13:31:29 Goblin verified: 1 (mem: 701.31 MiB) 13:31:29 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-cDNPMA" (mem: 701.31 MiB) 13:31:29 [13:31:29.202] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-cDNPMA" (mem: 701.31 MiB) 13:31:29 BN254 commitment key size: 262144 (mem: 701.31 MiB) 13:31:29 [13:31:29.203] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 701.31 MiB) 13:31:29 [13:31:29.208] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 701.31 MiB) 13:31:29 goblin ecc op : 4/1024 (mem: 701.31 MiB) 13:31:29 busread : 3/6000 (mem: 701.31 MiB) 13:31:29 lookups : 2/15000 (mem: 701.31 MiB) 13:31:29 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 701.31 MiB) 13:31:29 arithmetic : 1773/56000 (mem: 701.31 MiB) 13:31:29 delta range : 1754/18000 (mem: 701.31 MiB) 13:31:29 elliptic : 2/6000 (mem: 701.31 MiB) 13:31:29 auxiliary : 26/26000 (mem: 701.31 MiB) 13:31:29 poseidon ext : 2/17000 (mem: 701.31 MiB) 13:31:29 poseidon int : 2/92000 (mem: 701.31 MiB) 13:31:29 overflow : 0/0 (mem: 701.31 MiB) 13:31:29 (mem: 701.31 MiB) 13:31:29 Total structured size: 242025 (mem: 701.31 MiB) 13:31:29 allocating polynomials object in proving key... (mem: 701.31 MiB) 13:31:29 [13:31:29.432] INFO: ivc-integration:test:native bb - populating trace... (mem: 701.31 MiB) 13:31:29 [13:31:29.492] INFO: ivc-integration:test:native bb - time to construct proving key: 289 ms. (mem: 701.31 MiB) 13:31:29 [13:31:29.851] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 701.31 MiB) 13:31:30 [13:31:30.533] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 703.31 MiB) 13:31:30 [13:31:30.534] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 703.31 MiB) 13:31:30 [13:31:30.910] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 703.31 MiB) 13:31:30 [13:31:30.922] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 703.31 MiB) 13:31:30 [13:31:30.936] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 13:31:30 [13:31:30.937] INFO: ivc-integration:test:native bb - (mem: 13:31:30 [13:31:30.941] INFO: ivc-integration:test:native bb - 703.31 MiB) 13:31:30 [13:31:30.946] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 703.31 MiB) 13:31:30 goblin ecc op : 56/1024 (mem: 703.31 MiB) 13:31:30 busread : 3/6000 (mem: 703.31 MiB) 13:31:30 lookups : 2/15000 (mem: 703.31 MiB) 13:31:30 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 703.31 MiB) 13:31:30 arithmetic : 4533/56000 (mem: 703.31 MiB) 13:31:30 delta range : 2060/18000 (mem: 703.31 MiB) 13:31:30 elliptic : 2/6000 (mem: 703.31 MiB) 13:31:30 auxiliary : 50/26000 (mem: 703.31 MiB) 13:31:30 poseidon ext : 1332/17000 (mem: 703.31 MiB) 13:31:30 poseidon int : 7583/92000 (mem: 703.31 MiB) 13:31:30 overflow : 0/0 (mem: 703.31 MiB) 13:31:30 (mem: 703.31 MiB) 13:31:30 Total structured size: 242025 (mem: 703.31 MiB) 13:31:30 allocating polynomials object in proving key... (mem: 703.31 MiB) 13:31:31 [13:31:31.199] INFO: ivc-integration:test:native bb - populating trace... (mem: 703.31 MiB) 13:31:31 [13:31:31.328] INFO: ivc-integration:test:native bb - time to construct proving key: 387 ms. (mem: 703.31 MiB) 13:31:31 [13:31:31.708] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 703.31 MiB) 13:31:32 [13:31:32.340] INFO: ivc-integration:test:native bb - computing folding proof 13:31:32 [13:31:32.340] INFO: ivc-integration:test:native bb - (mem: 704.31 MiB) 13:31:32 [13:31:32.341] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 704.31 MiB) 13:31:32 [13:31:32.897] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 704.31 MiB) 13:31:33 [13:31:33.093] INFO: ivc-integration:test:native bb - perturbator round (mem: 704.31 MiB) 13:31:33 [13:31:33.197] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 736.31 MiB) 13:31:33 [13:31:33.624] INFO: ivc-integration:test:native bb - folded (mem: 736.31 MiB) 13:31:33 constructed folding proof (mem: 736.31 MiB) 13:31:33 [13:31:33.625] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 736.31 MiB) 13:31:33 Minimum required block sizes for structured trace: (mem: 736.31 MiB) 13:31:33 (mem: 736.31 MiB) 13:31:33 prove decider... (mem: 736.31 MiB) 13:31:33 [13:31:33.625] INFO: ivc-integration:test:native bb - ecc_op : 56 13:31:33 busread : 3 13:31:33 lookup : 2 13:31:33 pub_inputs : 36 13:31:33 arithmetic : 4533 13:31:33 delta_range : 2060 13:31:33 elliptic : 2 13:31:33 aux : 50 13:31:33 poseidon2_external : 1332 13:31:33 poseidon2_internal : 7583 13:31:33 overflow : 0 13:31:33 [13:31:33.783] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 736.31 MiB) 13:31:33 [13:31:33.999] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 736.31 MiB) 13:31:35 [13:31:35.759] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 736.31 MiB) 13:31:35 [13:31:35.906] INFO: ivc-integration:test:native bb - computed opening proof (mem: 736.31 MiB) 13:31:35 finished decider proving. (mem: 736.31 MiB) 13:31:35 [13:31:35.917] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 736.31 MiB) 13:31:36 [13:31:36.021] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 736.31 MiB) 13:31:36 [13:31:36.023] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 13:31:36 [13:31:36.024] INFO: ivc-integration:test:native bb - (mem: 736.31 MiB) 13:31:36 [13:31:36.197] INFO: ivc-integration:test:native bb - populating trace... (mem: 736.31 MiB) 13:31:36 [13:31:36.273] INFO: ivc-integration:test:native bb - time to construct proving key: 248 ms. (mem: 736.31 MiB) 13:31:37 [13:31:37.384] INFO: ivc-integration:test:native BB concurrency: 1 13:31:37 [13:31:37.385] 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-cDNPMA/proof -k /tmp/bb-client-ivc-integration-cDNPMA/vk -v 13:31:37 [13:31:37.432] INFO: ivc-integration:test:native bb command: verify (mem: 237.32 MiB) 13:31:37 Scheme is: client_ivc, num threads: 1 (mem: 237.32 MiB) 13:31:37 --proof_path: /tmp/bb-client-ivc-integration-cDNPMA/proof (mem: 237.32 MiB) 13:31:37 --vk_path: /tmp/bb-client-ivc-integration-cDNPMA/vk (mem: 237.32 MiB) 13:31:37 --verbose: true (mem: 237.32 MiB) 13:31:37 --scheme: client_ivc (mem: 237.32 MiB) 13:31:37 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 237.32 MiB) 13:31:37 [13:31:37.449] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 237.32 MiB) 13:31:37 [13:31:37.451] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 237.32 MiB) 13:31:37 [13:31:37.470] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 237.32 MiB) 13:31:37 Initialized BN254 CRS from memory with num points = 1 (mem: 237.32 MiB) 13:31:37 [13:31:37.471] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 237.32 MiB) 13:31:37 libra_evals_verified: 1 (mem: 237.32 MiB) 13:31:37 pairing_check_verified: 1 (mem: 237.32 MiB) 13:31:37 Mega verified: 1 (mem: 237.32 MiB) 13:31:37 [13:31:37.982] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 237.32 MiB) 13:31:37 batch opening verified?: 1 (mem: 237.32 MiB) 13:31:37 eccvm consistency check verified?: 1 (mem: 237.32 MiB) 13:31:37 translation masking consistency checked?: 1 (mem: 237.32 MiB) 13:31:38 [13:31:38.003] INFO: ivc-integration:test:native merge verified?: 1 (mem: 237.32 MiB) 13:31:38 eccvm verified?: 1 (mem: 237.32 MiB) 13:31:38 accumulator construction_verified?: 1 (mem: 237.32 MiB) 13:31:38 translation verified?: 1 (mem: 237.32 MiB) 13:31:38 consistency verified?: 1 (mem: 237.32 MiB) 13:31:38 Goblin verified: 1 (mem: 237.32 MiB) 13:31:38 verified: 1 (mem: 237.32 MiB) 13:31:38 [13:31:38.117] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-E1bvyd/ivc-inputs.msgpack 13:31:38 [13:31:38.118] INFO: ivc-integration:test:native bb - BB concurrency: undefined 13:31:38 [13:31:38.118] 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-E1bvyd --ivc_inputs_path /tmp/bb-client-ivc-integration-E1bvyd/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 13:31:38 [13:31:38.146] INFO: ivc-integration:test:native bb - bb command: prove (mem: 238.02 MiB) 13:31:38 Scheme is: client_ivc, num threads: 128 (mem: 238.02 MiB) 13:31:38 --scheme: client_ivc (mem: 238.02 MiB) 13:31:38 --output_path: /tmp/bb-client-ivc-integration-E1bvyd (mem: 238.02 MiB) 13:31:38 --ivc_inputs_path: /tmp/bb-client-ivc-integration-E1bvyd/ivc-inputs.msgpack (mem: 238.02 MiB) 13:31:38 --verbose: true (mem: 238.02 MiB) 13:31:38 --write_vk: true (mem: 238.02 MiB) 13:31:38 [13:31:38.151] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 238.02 MiB) 13:31:38 [13:31:38.151] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 238.02 MiB) 13:31:38 [13:31:38.237] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 238.02 MiB) 13:31:38 [13:31:38.242] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 238.02 MiB) 13:31:38 Constructing DeciderProvingKey (mem: 238.02 MiB) 13:31:38 [13:31:38.247] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 238.02 MiB) 13:31:38 goblin ecc op : 4/1024 (mem: 238.02 MiB) 13:31:38 busread : 7/6000 (mem: 238.02 MiB) 13:31:38 lookups : 2/15000 (mem: 238.02 MiB) 13:31:38 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 238.02 MiB) 13:31:38 arithmetic : 1760/56000 (mem: 238.02 MiB) 13:31:38 [13:31:38.248] INFO: ivc-integration:test:native bb - delta range : 1754/18000 (mem: 238.02 MiB) 13:31:38 elliptic : 2/6000 (mem: 238.02 MiB) 13:31:38 auxiliary : 26/26000 (mem: 238.02 MiB) 13:31:38 poseidon ext : 2/17000 (mem: 238.02 MiB) 13:31:38 poseidon int : 2/92000 (mem: 238.02 MiB) 13:31:38 overflow : 0/0 (mem: 238.02 MiB) 13:31:38 (mem: 238.02 MiB) 13:31:38 Total structured size: 242025 (mem: 238.02 MiB) 13:31:38 allocating polynomials object in proving key... (mem: 238.02 MiB) 13:31:38 [13:31:38.502] INFO: ivc-integration:test:native bb - populating trace... (mem: 351.42 MiB) 13:31:38 [13:31:38.531] INFO: ivc-integration:test:native bb - time to construct proving key: 289 ms. (mem: 361.42 MiB) 13:31:38 [13:31:38.651] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x579da9a013c0 (mem: 361.42 MiB) 13:31:38 [13:31:38.652] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 361.42 MiB) 13:31:38 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 361.42 MiB) 13:31:38 [13:31:38.841] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 370.42 MiB) 13:31:38 [13:31:38.846] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 370.42 MiB) 13:31:38 [13:31:38.857] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 370.42 MiB) 13:31:38 Constructing DeciderProvingKey (mem: 370.42 MiB) 13:31:38 [13:31:38.860] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 370.42 MiB) 13:31:38 goblin ecc op : 56/1024 (mem: 370.42 MiB) 13:31:38 busread : 12/6000 (mem: 370.42 MiB) 13:31:38 [13:31:38.860] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 370.42 MiB) 13:31:38 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 370.42 MiB) 13:31:38 arithmetic : 4677/56000 (mem: 370.42 MiB) 13:31:38 delta range : 2073/18000 (mem: 370.42 MiB) 13:31:38 elliptic : 2/6000 (mem: 370.42 MiB) 13:31:38 auxiliary : 110/26000 (mem: 370.42 MiB) 13:31:38 poseidon ext : 1322/17000 (mem: 370.42 MiB) 13:31:38 poseidon int : 7526/92000 (mem: 370.42 MiB) 13:31:38 overflow : 0/0 (mem: 370.42 MiB) 13:31:38 (mem: 370.42 MiB) 13:31:38 Total structured size: 242025 (mem: 370.42 MiB) 13:31:38 allocating polynomials object in proving key... (mem: 370.42 MiB) 13:31:38 [13:31:39.000] INFO: ivc-integration:test:native bb - populating trace... (mem: 570.42 MiB) 13:31:39 [13:31:39.053] INFO: ivc-integration:test:native bb - time to construct proving key: 193 ms. (mem: 589.42 MiB) 13:31:39 [13:31:39.211] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x579da9a0a680 (mem: 589.42 MiB) 13:31:39 [13:31:39.212] INFO: ivc-integration:test:native bb - computing folding proof (mem: 589.42 MiB) 13:31:39 vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 589.42 MiB) 13:31:39 [13:31:39.473] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 591.42 MiB) 13:31:39 [13:31:39.568] INFO: ivc-integration:test:native bb - perturbator round (mem: 628.42 MiB) 13:31:39 [13:31:39.623] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 660.42 MiB) 13:31:39 [13:31:39.859] INFO: ivc-integration:test:native bb - folded (mem: 660.42 MiB) 13:31:39 constructed folding proof (mem: 660.42 MiB) 13:31:39 [13:31:39.861] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 660.42 MiB) 13:31:39 Constructing DeciderProvingKey (mem: 660.42 MiB) 13:31:39 [13:31:39.863] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 660.42 MiB) 13:31:39 goblin ecc op : 4/1024 (mem: 660.42 MiB) 13:31:39 busread : 7/6000 (mem: 660.42 MiB) 13:31:39 lookups : 2/15000 (mem: 660.42 MiB) 13:31:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 660.42 MiB) 13:31:39 arithmetic : 1760/56000 (mem: 13:31:39 [13:31:39.864] INFO: ivc-integration:test:native bb - 660.42 MiB) 13:31:39 delta range : 1754/18000 (mem: 660.42 MiB) 13:31:39 elliptic : 2/6000 (mem: 660.42 MiB) 13:31:39 auxiliary : 26/26000 (mem: 660.42 MiB) 13:31:39 poseidon ext : 2/17000 (mem: 660.42 MiB) 13:31:39 poseidon int : 2/92000 (mem: 660.42 MiB) 13:31:39 overflow : 0/0 (mem: 660.42 MiB) 13:31:39 (mem: 660.42 MiB) 13:31:39 Total structured size: 242025 (mem: 660.42 MiB) 13:31:39 allocating polynomials object in proving key... (mem: 660.42 MiB) 13:31:39 [13:31:39.958] INFO: ivc-integration:test:native bb - populating trace... (mem: 660.42 MiB) 13:31:39 [13:31:39.982] INFO: ivc-integration:test:native bb - time to construct proving key: 120 ms. (mem: 660.42 MiB) 13:31:40 [13:31:40.107] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x579da9a06340 (mem: 660.42 MiB) 13:31:40 computing folding proof (mem: 660.42 MiB) 13:31:40 [13:31:40.111] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 660.42 MiB) 13:31:40 [13:31:40.305] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 660.42 MiB) 13:31:40 [13:31:40.389] INFO: ivc-integration:test:native bb - perturbator round (mem: 660.42 MiB) 13:31:40 [13:31:40.463] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 660.65 MiB) 13:31:40 [13:31:40.602] INFO: ivc-integration:test:native bb - folded (mem: 660.65 MiB) 13:31:40 [13:31:40.603] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 660.65 MiB) 13:31:40 [13:31:40.621] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 660.65 MiB) 13:31:40 [13:31:40.735] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 660.65 MiB) 13:31:40 [13:31:40.801] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 660.65 MiB) 13:31:40 Constructing DeciderProvingKey (mem: 660.65 MiB) 13:31:40 [13:31:40.808] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 660.65 MiB) 13:31:40 goblin ecc op : 792/1024 (mem: 660.65 MiB) 13:31:40 busread : 12/6000 (mem: 660.65 MiB) 13:31:40 lookups : 2/15000 (mem: 660.65 MiB) 13:31:40 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 660.65 MiB) 13:31:40 arithmetic : 12208/56000 (mem: 660.65 MiB) 13:31:40 delta range : 2981/18000 (mem: 660.65 MiB) 13:31:40 elliptic : 2/6000 (mem: 660.65 MiB) 13:31:40 auxiliary : 350/26000 (mem: 660.65 MiB) 13:31:40 poseidon ext : 4982/17000 (mem: 660.65 MiB) 13:31:40 poseidon int : 28388/92000 (mem: 660.65 MiB) 13:31:40 overflow : 0/0 (mem: 660.65 MiB) 13:31:40 (mem: 660.65 MiB) 13:31:40 Total structured size: 242025 (mem: 660.65 MiB) 13:31:40 allocating polynomials object in proving key... (mem: 660.65 MiB) 13:31:40 [13:31:40.874] INFO: ivc-integration:test:native bb - populating trace... (mem: 660.65 MiB) 13:31:40 [13:31:40.902] INFO: ivc-integration:test:native bb - time to construct proving key: 100 ms. (mem: 660.65 MiB) 13:31:40 [13:31:40.984] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x579da9a7e3c0 (mem: 660.65 MiB) 13:31:40 computing folding proof (mem: 660.65 MiB) 13:31:40 [13:31:40.984] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 660.65 MiB) 13:31:41 [13:31:41.493] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 660.65 MiB) 13:31:41 [13:31:41.569] INFO: ivc-integration:test:native bb - perturbator round (mem: 675.10 MiB) 13:31:41 [13:31:41.622] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 707.10 MiB) 13:31:41 [13:31:41.790] INFO: ivc-integration:test:native bb - folded (mem: 707.10 MiB) 13:31:41 constructed folding proof (mem: 707.10 MiB) 13:31:41 [13:31:41.797] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 707.10 MiB) 13:31:41 [13:31:41.855] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 707.10 MiB) 13:31:41 Constructing DeciderProvingKey (mem: 707.10 MiB) 13:31:41 [13:31:41.859] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.10 MiB) 13:31:41 goblin ecc op : 392/1024 (mem: 707.10 MiB) 13:31:41 [13:31:41.860] INFO: ivc-integration:test:native bb - busread : 16/6000 (mem: 707.10 MiB) 13:31:41 lookups : 2/15000 (mem: 707.10 MiB) 13:31:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 707.10 MiB) 13:31:41 arithmetic : 6978/56000 (mem: 707.10 MiB) 13:31:41 delta range : 2367/18000 (mem: 707.10 MiB) 13:31:41 elliptic : 2/6000 (mem: 707.10 MiB) 13:31:41 auxiliary : 77/26000 (mem: 707.10 MiB) 13:31:41 poseidon ext : 2492/17000 (mem: 707.10 MiB) 13:31:41 poseidon int : 14195/92000 (mem: 707.10 MiB) 13:31:41 overflow : 0/0 (mem: 707.10 MiB) 13:31:41 (mem: 707.10 MiB) 13:31:41 Total structured size: 242025 (mem: 707.10 MiB) 13:31:41 allocating polynomials object in proving key... (mem: 707.10 MiB) 13:31:41 [13:31:41.909] INFO: ivc-integration:test:native bb - populating trace... (mem: 707.10 MiB) 13:31:41 [13:31:41.944] INFO: ivc-integration:test:native bb - time to construct proving key: 86 ms. 13:31:41 [13:31:41.945] INFO: ivc-integration:test:native bb - (mem: 707.10 MiB) 13:31:42 [13:31:42.079] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x579da9a100c0 (mem: 707.10 MiB) 13:31:42 computing folding proof (mem: 707.10 MiB) 13:31:42 [13:31:42.079] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 707.10 MiB) 13:31:42 [13:31:42.437] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 707.10 MiB) 13:31:42 [13:31:42.529] INFO: ivc-integration:test:native bb - perturbator round (mem: 707.10 MiB) 13:31:42 [13:31:42.587] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 707.86 MiB) 13:31:42 [13:31:42.817] INFO: ivc-integration:test:native bb - folded (mem: 707.86 MiB) 13:31:42 constructed folding proof (mem: 707.86 MiB) 13:31:42 [13:31:42.836] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 707.86 MiB) 13:31:42 [13:31:42.899] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 707.86 MiB) 13:31:42 Constructing DeciderProvingKey (mem: 707.86 MiB) 13:31:42 [13:31:42.904] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.86 MiB) 13:31:42 [13:31:42.905] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 707.86 MiB) 13:31:42 busread : 3/6000 (mem: 707.86 MiB) 13:31:42 lookups : 2/15000 (mem: 707.86 MiB) 13:31:42 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 707.86 MiB) 13:31:42 arithmetic : 6913/56000 (mem: 707.86 MiB) 13:31:42 delta range : 2353/18000 (mem: 707.86 MiB) 13:31:42 elliptic : 2/6000 (mem: 707.86 MiB) 13:31:42 auxiliary : 50/26000 (mem: 707.86 MiB) 13:31:42 poseidon ext : 2492/17000 (mem: 707.86 MiB) 13:31:42 poseidon int : 14195/92000 (mem: 707.86 MiB) 13:31:42 overflow : 0/0 (mem: 707.86 MiB) 13:31:42 (mem: 707.86 MiB) 13:31:42 Total structured size: 242025 (mem: 707.86 MiB) 13:31:42 allocating polynomials object in proving key... (mem: 707.86 MiB) 13:31:42 [13:31:42.998] INFO: ivc-integration:test:native bb - populating trace... (mem: 707.86 MiB) 13:31:43 [13:31:43.028] INFO: ivc-integration:test:native bb - time to construct proving key: 127 ms. (mem: 707.86 MiB) 13:31:43 [13:31:43.166] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x579da9a11080 (mem: 707.86 MiB) 13:31:43 computing folding proof (mem: 707.86 MiB) 13:31:43 [13:31:43.167] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 707.86 MiB) 13:31:43 [13:31:43.496] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 707.86 MiB) 13:31:43 [13:31:43.575] INFO: ivc-integration:test:native bb - perturbator round (mem: 707.86 MiB) 13:31:43 [13:31:43.630] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 708.38 MiB) 13:31:43 [13:31:43.770] INFO: ivc-integration:test:native bb - folded (mem: 708.38 MiB) 13:31:43 constructed folding proof (mem: 708.38 MiB) 13:31:43 [13:31:43.772] INFO: ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 708.38 MiB) 13:31:43 Minimum required block sizes for structured trace: (mem: 708.38 MiB) 13:31:43 [13:31:43.773] INFO: ivc-integration:test:native bb - (mem: 708.38 MiB) 13:31:43 prove decider... (mem: 708.38 MiB) 13:31:43 [13:31:43.774] INFO: ivc-integration:test:native bb - ecc_op : 792 13:31:43 busread : 16 13:31:43 lookup : 2 13:31:43 pub_inputs : 36 13:31:43 arithmetic : 12208 13:31:43 delta_range : 2981 13:31:43 elliptic : 2 13:31:43 aux : 350 13:31:43 poseidon2_external : 4982 13:31:43 poseidon2_internal : 28388 13:31:43 overflow : 0 13:31:43 [13:31:43.837] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 708.38 MiB) 13:31:43 [13:31:43.923] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 708.38 MiB) 13:31:44 [13:31:44.759] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 708.38 MiB) 13:31:44 [13:31:44.876] INFO: ivc-integration:test:native bb - computed opening proof (mem: 708.38 MiB) 13:31:44 finished decider proving. (mem: 708.38 MiB) 13:31:44 [13:31:44.899] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 708.38 MiB) 13:31:44 [13:31:44.983] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 708.38 MiB) 13:31:44 [13:31:44.987] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 708.38 MiB) 13:31:45 [13:31:45.074] INFO: ivc-integration:test:native bb - populating trace... (mem: 708.38 MiB) 13:31:45 [13:31:45.106] INFO: ivc-integration:test:native bb - time to construct proving key: 122 ms. (mem: 708.38 MiB) 13:31:45 [13:31:45.633] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 708.38 MiB) 13:31:45 [13:31:45.940] INFO: ivc-integration:test:native bb - created oink proof (mem: 708.38 MiB) 13:31:46 [13:31:46.068] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 708.38 MiB) 13:31:46 [13:31:46.533] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 708.38 MiB) 13:31:47 [13:31:47.003] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 708.38 MiB) 13:31:47 [13:31:47.052] INFO: ivc-integration:test:native bb - computed opening proof (mem: 708.38 MiB) 13:31:47 finished decider proving. (mem: 708.38 MiB) 13:31:47 Constructing a Goblin proof with num ultra ops = 2226 (mem: 708.38 MiB) 13:31:47 [13:31:47.182] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 708.38 MiB) 13:31:47 [13:31:47.476] 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: 708.38 MiB) 13:31:47 [13:31:47.484] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 708.38 MiB) 13:31:48 [13:31:48.405] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 708.38 MiB) 13:31:49 [13:31:49.302] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 708.38 MiB) 13:31:53 [13:31:53.263] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 708.38 MiB) 13:31:53 prove translator... (mem: 708.38 MiB) 13:31:55 [13:31:55.892] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 721.33 MiB) 13:31:58 [13:31:58.317] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 723.33 MiB) 13:32:00 [13:32:00.347] INFO: ivc-integration:test:native bb - computed opening proof (mem: 723.33 MiB) 13:32:00 finished translator proving. (mem: 723.33 MiB) 13:32:00 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 723.33 MiB) 13:32:00 [13:32:00.437] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 723.33 MiB) 13:32:00 libra_evals_verified: 1 (mem: 723.33 MiB) 13:32:00 pairing_check_verified: 1 (mem: 723.33 MiB) 13:32:00 Mega verified: 1 (mem: 723.33 MiB) 13:32:00 [13:32:00.627] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 724.33 MiB) 13:32:00 batch opening verified?: 1 (mem: 724.33 MiB) 13:32:00 eccvm consistency check verified?: 1 (mem: 724.33 MiB) 13:32:00 translation masking consistency checked?: 1 (mem: 724.33 MiB) 13:32:00 [13:32:00.652] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 724.33 MiB) 13:32:00 eccvm verified?: 1 (mem: 724.33 MiB) 13:32:00 accumulator construction_verified?: 1 (mem: 724.33 MiB) 13:32:00 translation verified?: 1 (mem: 724.33 MiB) 13:32:00 consistency verified?: 1 (mem: 724.33 MiB) 13:32:00 Goblin verified: 1 (mem: 724.33 MiB) 13:32:00 [13:32:00.653] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-E1bvyd" (mem: 724.33 MiB) 13:32:00 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-E1bvyd" (mem: 724.33 MiB) 13:32:00 BN254 commitment key size: 262144 (mem: 724.33 MiB) 13:32:00 [13:32:00.658] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 724.33 MiB) 13:32:00 [13:32:00.662] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 724.33 MiB) 13:32:00 goblin ecc op : 4/1024 (mem: 724.33 MiB) 13:32:00 busread : 3/6000 (mem: 724.33 MiB) 13:32:00 lookups : 2/15000 (mem: 724.33 MiB) 13:32:00 [13:32:00.662] INFO: ivc-integration:test:native bb - pub inputs : 17/5000 (populated in decider pk constructor) (mem: 724.33 MiB) 13:32:00 arithmetic : 1773/56000 (mem: 724.33 MiB) 13:32:00 delta range : 1754/18000 (mem: 724.33 MiB) 13:32:00 elliptic : 2/6000 (mem: 724.33 MiB) 13:32:00 auxiliary : 26/26000 (mem: 724.33 MiB) 13:32:00 poseidon ext : 2/17000 (mem: 724.33 MiB) 13:32:00 poseidon int : 2/92000 (mem: 724.33 MiB) 13:32:00 overflow : 0/0 (mem: 724.33 MiB) 13:32:00 (mem: 724.33 MiB) 13:32:00 Total structured size: 242025 (mem: 724.33 MiB) 13:32:00 allocating polynomials object in proving key... (mem: 724.33 MiB) 13:32:00 [13:32:00.781] INFO: ivc-integration:test:native bb - populating trace... (mem: 724.33 MiB) 13:32:00 [13:32:00.797] INFO: ivc-integration:test:native bb - time to construct proving key: 138 ms. (mem: 724.33 MiB) 13:32:00 [13:32:00.896] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 724.33 MiB) 13:32:01 [13:32:01.280] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 724.33 MiB) 13:32:01 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 724.33 MiB) 13:32:01 [13:32:01.829] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 724.33 MiB) 13:32:01 [13:32:01.835] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 724.33 MiB) 13:32:01 [13:32:01.850] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 724.33 MiB) 13:32:01 [13:32:01.855] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 724.33 MiB) 13:32:01 goblin ecc op : 56/1024 (mem: 724.33 MiB) 13:32:01 busread : 3/6000 (mem: 724.33 MiB) 13:32:01 lookups : 2/15000 (mem: 724.33 MiB) 13:32:01 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 724.33 MiB) 13:32:01 arithmetic : 4533/56000 (mem: 724.33 MiB) 13:32:01 delta range : 2060/18000 (mem: 724.33 MiB) 13:32:01 elliptic : 2/6000 (mem: 724.33 MiB) 13:32:01 auxiliary : 50/26000 (mem: 724.33 MiB) 13:32:01 poseidon ext : 1332/17000 (mem: 724.33 MiB) 13:32:01 poseidon int : 7583/92000 (mem: 724.33 MiB) 13:32:01 overflow : 0/0 (mem: 724.33 MiB) 13:32:01 (mem: 724.33 MiB) 13:32:01 Total structured size: 242025 (mem: 724.33 MiB) 13:32:01 allocating polynomials object in proving key... (mem: 724.33 MiB) 13:32:01 [13:32:01.941] INFO: ivc-integration:test:native bb - populating trace... (mem: 724.33 MiB) 13:32:01 [13:32:01.960] INFO: ivc-integration:test:native bb - time to construct proving key: 111 ms. (mem: 724.33 MiB) 13:32:02 [13:32:02.084] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 724.33 MiB) 13:32:02 [13:32:02.625] INFO: ivc-integration:test:native bb - computing folding proof (mem: 724.33 MiB) 13:32:02 [13:32:02.625] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 724.33 MiB) 13:32:03 [13:32:03.083] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 724.33 MiB) 13:32:03 [13:32:03.214] INFO: ivc-integration:test:native bb - perturbator round (mem: 724.33 MiB) 13:32:03 [13:32:03.260] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 756.33 MiB) 13:32:03 [13:32:03.471] INFO: ivc-integration:test:native bb - folded (mem: 756.33 MiB) 13:32:03 constructed folding proof (mem: 756.33 MiB) 13:32:03 Largest circuit: 15565 gates. Trace details: (mem: 756.33 MiB) 13:32:03 Minimum required block sizes for structured trace: (mem: 756.33 MiB) 13:32:03 (mem: 756.33 MiB) 13:32:03 prove decider... (mem: 756.33 MiB) 13:32:03 [13:32:03.472] INFO: ivc-integration:test:native bb - ecc_op : 56 13:32:03 busread : 3 13:32:03 lookup : 2 13:32:03 pub_inputs : 36 13:32:03 arithmetic : 4533 13:32:03 delta_range : 2060 13:32:03 elliptic : 2 13:32:03 aux : 50 13:32:03 poseidon2_external : 1332 13:32:03 poseidon2_internal : 7583 13:32:03 overflow : 0 13:32:03 [13:32:03.588] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 756.33 MiB) 13:32:03 [13:32:03.703] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 756.33 MiB) 13:32:04 [13:32:04.646] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 756.33 MiB) 13:32:04 [13:32:04.734] INFO: ivc-integration:test:native bb - computed opening proof (mem: 756.33 MiB) 13:32:04 finished decider proving. (mem: 756.33 MiB) 13:32:04 [13:32:04.752] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 756.33 MiB) 13:32:04 [13:32:04.861] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 756.33 MiB) 13:32:04 [13:32:04.865] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 756.33 MiB) 13:32:04 [13:32:04.958] INFO: ivc-integration:test:native bb - populating trace... (mem: 756.33 MiB) 13:32:04 [13:32:04.980] INFO: ivc-integration:test:native bb - time to construct proving key: 121 ms. (mem: 756.33 MiB) 13:32:05 [13:32:05.414] INFO: ivc-integration:test:native BB concurrency: 1 13:32:05 [13:32:05.415] 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-E1bvyd/proof -k /tmp/bb-client-ivc-integration-E1bvyd/vk -v 13:32:05 [13:32:05.440] INFO: ivc-integration:test:native bb command: verify 13:32:05 [13:32:05.441] INFO: ivc-integration:test:native (mem: 13:32:05 [13:32:05.441] INFO: ivc-integration:test:native 243.77 13:32:05 [13:32:05.442] INFO: ivc-integration:test:native MiB) 13:32:05 Scheme is: client_ivc, num threads: 1 (mem: 243.77 MiB) 13:32:05 --proof_path: /tmp/bb-client-ivc-integration-E1bvyd/proof (mem: 243.77 MiB) 13:32:05 --vk_path: /tmp/bb-client-ivc-integration-E1bvyd/vk (mem: 243.77 MiB) 13:32:05 --verbose: true (mem: 243.77 MiB) 13:32:05 --scheme: client_ivc (mem: 243.77 MiB) 13:32:05 [13:32:05.446] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 243.77 MiB) 13:32:05 [13:32:05.462] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 13:32:05 [13:32:05.464] INFO: ivc-integration:test:native (mem: 243.77 MiB) 13:32:05 [13:32:05.464] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 243.77 MiB) 13:32:05 [13:32:05.487] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 243.77 MiB) 13:32:05 [13:32:05.488] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 243.77 MiB) 13:32:05 [13:32:05.489] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 243.77 MiB) 13:32:05 libra_evals_verified: 1 (mem: 243.77 MiB) 13:32:05 pairing_check_verified: 1 (mem: 243.77 MiB) 13:32:05 Mega verified: 1 (mem: 243.77 MiB) 13:32:05 [13:32:05.976] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 243.77 MiB) 13:32:05 batch opening verified?: 1 (mem: 243.77 MiB) 13:32:05 eccvm consistency check verified?: 1 (mem: 243.77 MiB) 13:32:05 translation masking consistency checked?: 1 (mem: 243.77 MiB) 13:32:05 [13:32:05.994] INFO: ivc-integration:test:native merge verified?: 1 (mem: 243.77 MiB) 13:32:05 eccvm verified?: 1 (mem: 243.77 MiB) 13:32:05 accumulator construction_verified?: 1 (mem: 243.77 MiB) 13:32:05 translation verified?: 1 (mem: 243.77 MiB) 13:32:05 consistency verified?: 1 (mem: 243.77 MiB) 13:32:05 Goblin verified: 1 (mem: 243.77 MiB) 13:32:05 verified: 1 (mem: 243.77 13:32:05 [13:32:05.996] INFO: ivc-integration:test:native MiB) 13:32:06 PASS src/native_client_ivc_integration.test.ts (74.055 s) 13:32:06 Client IVC Integration 13:32:06 ✓ Should generate a verifiable client IVC proof from a simple mock tx (42549 ms) 13:32:06 ✓ Should generate a verifiable client IVC proof from a complex mock tx (27986 ms) 13:32:06 13:32:06 Test Suites: 1 passed, 1 total 13:32:06 Tests: 2 passed, 2 total 13:32:06 Snapshots: 0 total 13:32:06 Time: 74.146 s 13:32:06 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 13:32:06 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?