ACI ·

Parent Log: http://ci.aztec-labs.com/9ef2f13bc7b64e46 Command: 0742425f32083b75: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/04abcb151443d51d2f1b002a2412a083a9384a51 Env: REF_NAME=gh-readonly-queue/next/pr-15077-263498dd65e8700218979d7a94dbfd25b2a8a8a8 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 20:47:24 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15077_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 20:47:29 [20:47:29.419] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-YMcULf/ivc-inputs.msgpack 20:47:29 [20:47:29.425] 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-YMcULf --ivc_inputs_path /tmp/bb-client-ivc-integration-YMcULf/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 20:47:29 [20:47:29.449] INFO: ivc-integration:test:native bb - bb command: prove (mem: 180.55 20:47:29 [20:47:29.450] INFO: ivc-integration:test:native bb - MiB) 20:47:29 Scheme is: client_ivc, num threads: 128 (mem: 180.55 MiB) 20:47:29 --scheme: client_ivc (mem: 180.55 MiB) 20:47:29 --output_path: /tmp/bb-client-ivc-integration-YMcULf (mem: 180.55 MiB) 20:47:29 --ivc_inputs_path: /tmp/bb-client-ivc-integration-YMcULf/ivc-inputs.msgpack (mem: 180.55 MiB) 20:47:29 --verbose: true (mem: 180.55 MiB) 20:47:29 --write_vk: true (mem: 180.55 MiB) 20:47:29 [20:47:29.451] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 180.55 MiB) 20:47:29 [20:47:29.568] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 247.00 MiB) 20:47:29 [20:47:29.643] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 295.25 MiB) 20:47:29 [20:47:29.647] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 295.25 MiB) 20:47:29 Constructing DeciderProvingKey (mem: 295.25 MiB) 20:47:29 [20:47:29.652] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 295.25 MiB) 20:47:29 goblin ecc op : 4/1024 (mem: 295.25 MiB) 20:47:29 busread : 7/6000 (mem: 295.25 MiB) 20:47:29 lookups : 2/15000 (mem: 295.25 MiB) 20:47:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 295.25 MiB) 20:47:29 arithmetic : 1760/56000 (mem: 295.25 MiB) 20:47:29 delta range : 1754/18000 (mem: 295.25 MiB) 20:47:29 elliptic : 2/6000 (mem: 295.25 MiB) 20:47:29 auxiliary : 26/26000 (mem: 295.25 MiB) 20:47:29 poseidon ext : 2/17000 (mem: 295.25 MiB) 20:47:29 poseidon int : 2/92000 (mem: 295.25 MiB) 20:47:29 overflow : 0/0 (mem: 295.25 MiB) 20:47:29 (mem: 295.25 MiB) 20:47:29 Total structured size: 242025 (mem: 295.25 MiB) 20:47:29 allocating polynomials object in proving key... (mem: 295.25 MiB) 20:47:29 [20:47:29.722] INFO: ivc-integration:test:native bb - populating trace... (mem: 501.40 MiB) 20:47:29 [20:47:29.738] INFO: ivc-integration:test:native bb - time to construct proving key: 92 ms. (mem: 516.40 MiB) 20:47:29 [20:47:29.781] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6418298cc440 (mem: 516.40 MiB) 20:47:29 computing oink proof... (mem: 516.40 MiB) 20:47:29 [20:47:29.783] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.40 MiB) 20:47:29 [20:47:29.953] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 523.40 MiB) 20:47:29 [20:47:29.964] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 524.40 MiB) 20:47:29 [20:47:29.984] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 524.40 MiB) 20:47:29 Constructing DeciderProvingKey (mem: 524.40 MiB) 20:47:29 [20:47:29.987] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 524.40 MiB) 20:47:29 goblin ecc op : 56/1024 20:47:29 [20:47:29.988] INFO: ivc-integration:test:native bb - (mem: 524.40 MiB) 20:47:29 busread : 12/6000 (mem: 524.40 MiB) 20:47:29 lookups : 2/15000 (mem: 524.40 MiB) 20:47:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 524.40 MiB) 20:47:29 arithmetic : 4625/56000 (mem: 524.40 MiB) 20:47:29 delta range : 2054/18000 (mem: 524.40 MiB) 20:47:29 elliptic : 2/6000 (mem: 524.40 MiB) 20:47:29 auxiliary : 110/26000 (mem: 524.40 MiB) 20:47:29 [20:47:29.988] INFO: ivc-integration:test:native bb - 20:47:29 poseidon ext : 1302/17000 (mem: 524.40 MiB) 20:47:29 poseidon int : 7412/92000 (mem: 524.40 MiB) 20:47:29 overflow : 0/0 (mem: 524.40 MiB) 20:47:29 (mem: 524.40 MiB) 20:47:29 Total structured size: 242025 (mem: 524.40 MiB) 20:47:29 allocating polynomials object in proving key... (mem: 524.40 MiB) 20:47:30 [20:47:30.129] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.40 MiB) 20:47:30 [20:47:30.153] INFO: ivc-integration:test:native bb - time to construct proving key: 169 ms. (mem: 749.40 MiB) 20:47:30 [20:47:30.242] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6418298d9100 (mem: 749.40 MiB) 20:47:30 [20:47:30.244] INFO: ivc-integration:test:native bb - computing folding proof (mem: 749.40 MiB) 20:47:30 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 749.40 MiB) 20:47:30 [20:47:30.833] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.40 MiB) 20:47:30 [20:47:30.945] INFO: ivc-integration:test:native bb - perturbator round (mem: 789.40 MiB) 20:47:30 [20:47:30.989] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.40 MiB) 20:47:31 [20:47:31.567] INFO: ivc-integration:test:native bb - folded (mem: 821.40 MiB) 20:47:31 constructed folding proof (mem: 821.40 MiB) 20:47:31 [20:47:31.587] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 821.40 MiB) 20:47:31 [20:47:31.678] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.40 MiB) 20:47:31 Constructing DeciderProvingKey (mem: 821.40 MiB) 20:47:31 [20:47:31.690] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.40 MiB) 20:47:31 goblin ecc op : 392/1024 (mem: 821.40 MiB) 20:47:31 [20:47:31.691] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 821.40 MiB) 20:47:31 lookups : 2/15000 (mem: 821.40 MiB) 20:47:31 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 821.40 MiB) 20:47:31 arithmetic : 6849/56000 (mem: 821.40 MiB) 20:47:31 delta range : 2333/18000 (mem: 821.40 MiB) 20:47:31 elliptic : 2/6000 (mem: 821.40 MiB) 20:47:31 auxiliary : 50/26000 (mem: 821.40 MiB) 20:47:31 poseidon ext : 2472/17000 (mem: 821.40 MiB) 20:47:31 poseidon int : 14081/92000 (mem: 821.40 MiB) 20:47:31 overflow : 0/0 (mem: 821.40 MiB) 20:47:31 (mem: 821.40 MiB) 20:47:31 Total structured size: 242025 (mem: 821.40 MiB) 20:47:31 allocating polynomials object in proving key... (mem: 821.40 MiB) 20:47:31 [20:47:31.865] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.40 MiB) 20:47:31 [20:47:31.903] INFO: ivc-integration:test:native bb - time to construct proving key: 227 ms. (mem: 821.40 MiB) 20:47:32 [20:47:32.169] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6418298cea80 (mem: 821.40 MiB) 20:47:32 computing folding proof (mem: 821.40 MiB) 20:47:32 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 821.40 MiB) 20:47:32 [20:47:32.799] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.40 MiB) 20:47:32 [20:47:32.928] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.40 MiB) 20:47:32 [20:47:32.962] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.40 MiB) 20:47:33 [20:47:33.433] INFO: ivc-integration:test:native bb - folded (mem: 821.40 MiB) 20:47:33 constructed folding proof (mem: 821.40 MiB) 20:47:33 [20:47:33.435] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 821.40 MiB) 20:47:33 Minimum required block sizes for structured trace: (mem: 821.40 MiB) 20:47:33 (mem: 821.40 MiB) 20:47:33 prove decider... (mem: 821.40 MiB) 20:47:33 [20:47:33.436] INFO: ivc-integration:test:native bb - ecc_op : 392 20:47:33 busread : 12 20:47:33 lookup : 2 20:47:33 pub_inputs : 36 20:47:33 arithmetic : 6849 20:47:33 delta_range : 2333 20:47:33 elliptic : 2 20:47:33 aux : 110 20:47:33 poseidon2_external : 2472 20:47:33 poseidon2_internal : 14081 20:47:33 overflow : 0 20:47:33 [20:47:33.725] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.40 MiB) 20:47:33 [20:47:33.927] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 821.40 MiB) 20:47:35 [20:47:35.140] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 821.40 MiB) 20:47:35 [20:47:35.241] INFO: ivc-integration:test:native bb - computed opening proof 20:47:35 [20:47:35.243] INFO: ivc-integration:test:native bb - (mem: 821.40 MiB) 20:47:35 finished decider proving. (mem: 821.40 MiB) 20:47:35 [20:47:35.268] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 821.40 MiB) 20:47:35 [20:47:35.395] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 821.40 MiB) 20:47:35 [20:47:35.401] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 821.40 MiB) 20:47:35 [20:47:35.533] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.40 MiB) 20:47:35 [20:47:35.605] INFO: ivc-integration:test:native bb - time to construct proving key: 209 ms. (mem: 821.40 MiB) 20:47:36 [20:47:36.803] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 821.40 MiB) 20:47:37 [20:47:37.540] INFO: ivc-integration:test:native bb - created oink proof (mem: 821.40 MiB) 20:47:37 [20:47:37.881] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.40 MiB) 20:47:39 [20:47:39.503] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 20:47:39 [20:47:39.505] INFO: ivc-integration:test:native bb - (mem: 821.40 MiB) 20:47:40 [20:47:40.789] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 20:47:40 [20:47:40.791] INFO: ivc-integration:test:native bb - (mem: 821.40 MiB) 20:47:40 [20:47:40.833] INFO: ivc-integration:test:native bb - computed opening proof (mem: 821.40 MiB) 20:47:40 [20:47:40.835] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 821.40 MiB) 20:47:40 Constructing a Goblin proof with num ultra ops = 1038 (mem: 821.40 MiB) 20:47:41 [20:47:41.129] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 821.40 MiB) 20:47:41 [20:47:41.828] 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:47:41 [20:47:41.830] INFO: ivc-integration:test:native bb - (mem: 20:47:41 [20:47:41.830] INFO: ivc-integration:test:native bb - 821.40 20:47:41 [20:47:41.832] INFO: ivc-integration:test:native bb - MiB) 20:47:41 [20:47:41.869] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 20:47:41 [20:47:41.871] INFO: ivc-integration:test:native bb - (mem: 821.40 MiB) 20:47:44 [20:47:44.407] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.40 MiB) 20:47:47 [20:47:47.533] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 20:47:47 [20:47:47.534] INFO: ivc-integration:test:native bb - (mem: 20:47:47 [20:47:47.536] INFO: ivc-integration:test:native bb - 821.40 20:47:47 [20:47:47.538] INFO: ivc-integration:test:native bb - MiB) 20:47:51 [20:47:51.533] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 821.40 MiB) 20:47:51 prove translator... (mem: 821.40 MiB) 20:47:54 [20:47:54.004] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 849.12 MiB) 20:47:56 [20:47:56.888] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 850.12 MiB) 20:48:00 [20:48:00.301] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.12 MiB) 20:48:00 finished translator proving. (mem: 850.12 MiB) 20:48:00 [20:48:00.309] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 850.12 MiB) 20:48:00 [20:48:00.327] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 850.12 MiB) 20:48:00 libra_evals_verified: 1 (mem: 850.12 MiB) 20:48:00 pairing_check_verified: 1 (mem: 850.12 MiB) 20:48:00 Mega verified: 1 (mem: 850.12 MiB) 20:48:00 [20:48:00.411] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 850.12 MiB) 20:48:00 batch opening verified?: 1 (mem: 850.12 MiB) 20:48:00 eccvm consistency check verified?: 1 (mem: 850.12 MiB) 20:48:00 translation masking consistency checked?: 1 (mem: 850.12 MiB) 20:48:00 [20:48:00.435] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 850.12 MiB) 20:48:00 eccvm verified?: 1 (mem: 850.12 MiB) 20:48:00 accumulator construction_verified?: 1 (mem: 850.12 MiB) 20:48:00 translation verified?: 1 (mem: 850.12 MiB) 20:48:00 consistency verified?: 1 (mem: 850.12 MiB) 20:48:00 Goblin verified: 1 (mem: 850.12 MiB) 20:48:00 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-YMcULf" (mem: 850.12 MiB) 20:48:00 [20:48:00.436] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-YMcULf" (mem: 850.12 MiB) 20:48:00 BN254 commitment key size: 262144 (mem: 850.12 MiB) 20:48:00 [20:48:00.444] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.12 MiB) 20:48:00 [20:48:00.448] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.12 MiB) 20:48:00 goblin ecc op : 4/1024 (mem: 850.12 MiB) 20:48:00 busread : 3/6000 (mem: 850.12 MiB) 20:48:00 lookups : 2/15000 (mem: 850.12 MiB) 20:48:00 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 850.12 MiB) 20:48:00 arithmetic : 1773/56000 (mem: 850.12 MiB) 20:48:00 delta range : 1754/18000 (mem: 850.12 MiB) 20:48:00 elliptic : 2/6000 (mem: 850.12 MiB) 20:48:00 auxiliary : 26/26000 (mem: 850.12 MiB) 20:48:00 poseidon ext : 2/17000 (mem: 850.12 MiB) 20:48:00 poseidon int : 2/92000 (mem: 850.12 MiB) 20:48:00 overflow : 0/0 (mem: 850.12 MiB) 20:48:00 (mem: 850.12 MiB) 20:48:00 Total structured size: 242025 (mem: 850.12 MiB) 20:48:00 allocating polynomials object in proving key... (mem: 850.12 MiB) 20:48:00 [20:48:00.628] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.12 MiB) 20:48:00 [20:48:00.686] INFO: ivc-integration:test:native bb - time to construct proving key: 241 ms. (mem: 850.12 MiB) 20:48:00 [20:48:00.835] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 850.12 MiB) 20:48:01 [20:48:01.893] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 850.12 MiB) 20:48:01 [20:48:01.906] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 850.12 MiB) 20:48:02 [20:48:02.348] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 850.12 MiB) 20:48:02 [20:48:02.359] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 850.12 MiB) 20:48:02 [20:48:02.378] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.12 MiB) 20:48:02 [20:48:02.385] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.12 MiB) 20:48:02 goblin ecc op : 56/1024 (mem: 850.12 MiB) 20:48:02 busread : 3/6000 (mem: 850.12 MiB) 20:48:02 lookups : 2/15000 (mem: 850.12 MiB) 20:48:02 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 850.12 MiB) 20:48:02 arithmetic : 4481/56000 (mem: 850.12 MiB) 20:48:02 delta range : 2041/18000 (mem: 850.12 MiB) 20:48:02 elliptic : 2/6000 (mem: 850.12 MiB) 20:48:02 auxiliary : 50/26000 (mem: 850.12 MiB) 20:48:02 poseidon ext : 1312/17000 (mem: 850.12 MiB) 20:48:02 poseidon int : 7469/92000 (mem: 850.12 MiB) 20:48:02 overflow : 0/0 (mem: 850.12 MiB) 20:48:02 (mem: 850.12 MiB) 20:48:02 Total structured size: 242025 (mem: 850.12 MiB) 20:48:02 allocating polynomials object in proving key... (mem: 850.12 MiB) 20:48:02 [20:48:02.605] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.12 MiB) 20:48:02 [20:48:02.692] INFO: ivc-integration:test:native bb - time to construct proving key: 314 ms. 20:48:02 [20:48:02.693] INFO: ivc-integration:test:native bb - (mem: 850.12 MiB) 20:48:02 [20:48:02.846] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 20:48:02 [20:48:02.847] INFO: ivc-integration:test:native bb - (mem: 850.12 MiB) 20:48:03 [20:48:03.705] INFO: ivc-integration:test:native bb - computing folding proof 20:48:03 [20:48:03.707] INFO: ivc-integration:test:native bb - (mem: 850.12 MiB) 20:48:03 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 850.12 MiB) 20:48:04 [20:48:04.817] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.12 MiB) 20:48:05 [20:48:05.002] INFO: ivc-integration:test:native bb - perturbator round (mem: 852.12 MiB) 20:48:05 [20:48:05.065] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 883.12 MiB) 20:48:05 [20:48:05.588] INFO: ivc-integration:test:native bb - folded (mem: 883.12 MiB) 20:48:05 constructed folding proof (mem: 883.12 MiB) 20:48:05 [20:48:05.591] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 883.12 MiB) 20:48:05 Minimum required block sizes for structured trace: (mem: 883.12 MiB) 20:48:05 (mem: 883.12 MiB) 20:48:05 prove decider... (mem: 883.12 MiB) 20:48:05 [20:48:05.592] INFO: ivc-integration:test:native bb - ecc_op : 56 20:48:05 busread : 3 20:48:05 lookup : 2 20:48:05 pub_inputs : 36 20:48:05 arithmetic : 4481 20:48:05 delta_range : 2041 20:48:05 elliptic : 2 20:48:05 aux : 50 20:48:05 poseidon2_external : 1312 20:48:05 poseidon2_internal : 7469 20:48:05 overflow : 0 20:48:05 [20:48:05.941] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 883.12 MiB) 20:48:06 [20:48:06.154] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 883.12 MiB) 20:48:07 [20:48:07.334] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 883.12 MiB) 20:48:07 [20:48:07.473] INFO: ivc-integration:test:native bb - computed opening proof (mem: 883.12 MiB) 20:48:07 finished decider proving. (mem: 883.12 MiB) 20:48:07 [20:48:07.485] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 883.12 MiB) 20:48:07 [20:48:07.587] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 883.12 MiB) 20:48:07 [20:48:07.592] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 883.12 MiB) 20:48:07 [20:48:07.762] INFO: ivc-integration:test:native bb - populating trace... (mem: 883.12 MiB) 20:48:07 [20:48:07.855] INFO: ivc-integration:test:native bb - time to construct proving key: 268 ms. (mem: 883.12 MiB) 20:48:08 [20:48:08.823] 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-YMcULf/proof -k /tmp/bb-client-ivc-integration-YMcULf/vk -v 20:48:08 [20:48:08.856] INFO: ivc-integration:test:native bb command: verify (mem: 180.55 MiB) 20:48:08 Scheme is: client_ivc, num threads: 1 (mem: 180.55 MiB) 20:48:08 --proof_path: /tmp/bb-client-ivc-integration-YMcULf/proof (mem: 180.55 MiB) 20:48:08 --vk_path: /tmp/bb-client-ivc-integration-YMcULf/vk (mem: 180.55 MiB) 20:48:08 --verbose: true (mem: 180.55 MiB) 20:48:08 --scheme: client_ivc (mem: 180.55 MiB) 20:48:08 [20:48:08.872] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 180.55 MiB) 20:48:08 [20:48:08.894] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 20:48:08 [20:48:08.896] INFO: ivc-integration:test:native (mem: 180.55 MiB) 20:48:08 [20:48:08.897] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 180.55 MiB) 20:48:08 [20:48:08.914] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 180.55 MiB) 20:48:08 [20:48:08.916] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 180.55 MiB) 20:48:08 [20:48:08.917] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 180.55 MiB) 20:48:08 libra_evals_verified: 1 (mem: 180.55 MiB) 20:48:08 pairing_check_verified: 1 (mem: 180.55 MiB) 20:48:08 Mega verified: 1 (mem: 180.55 MiB) 20:48:09 [20:48:09.455] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 180.55 MiB) 20:48:09 batch opening verified?: 1 (mem: 180.55 MiB) 20:48:09 eccvm consistency check verified?: 1 (mem: 180.55 MiB) 20:48:09 translation masking consistency checked?: 1 (mem: 180.55 MiB) 20:48:09 [20:48:09.476] INFO: ivc-integration:test:native merge verified?: 1 (mem: 180.55 MiB) 20:48:09 eccvm verified?: 1 (mem: 180.55 MiB) 20:48:09 accumulator construction_verified?: 1 (mem: 180.55 MiB) 20:48:09 translation verified?: 1 (mem: 180.55 MiB) 20:48:09 consistency verified?: 1 (mem: 180.55 MiB) 20:48:09 Goblin verified: 1 (mem: 180.55 MiB) 20:48:09 [20:48:09.478] INFO: ivc-integration:test:native verified: 1 (mem: 180.55 MiB) 20:48:09 [20:48:09.582] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Ycz7TR/ivc-inputs.msgpack 20:48:09 [20:48:09.584] 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-Ycz7TR --ivc_inputs_path /tmp/bb-client-ivc-integration-Ycz7TR/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 20:48:09 [20:48:09.616] INFO: ivc-integration:test:native bb - bb command: prove 20:48:09 [20:48:09.617] INFO: ivc-integration:test:native bb - (mem: 20:48:09 [20:48:09.618] INFO: ivc-integration:test:native bb - 185.62 MiB) 20:48:09 Scheme is: client_ivc, num threads: 128 (mem: 185.62 MiB) 20:48:09 --scheme: client_ivc (mem: 185.62 MiB) 20:48:09 --output_path: /tmp/bb-client-ivc-integration-Ycz7TR (mem: 185.62 MiB) 20:48:09 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Ycz7TR/ivc-inputs.msgpack (mem: 185.62 MiB) 20:48:09 --verbose: true (mem: 185.62 MiB) 20:48:09 --write_vk: true (mem: 185.62 MiB) 20:48:09 [20:48:09.623] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 185.62 MiB) 20:48:09 [20:48:09.765] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 20:48:09 [20:48:09.767] INFO: ivc-integration:test:native bb - (mem: 248.00 MiB) 20:48:09 [20:48:09.854] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 20:48:09 [20:48:09.855] INFO: ivc-integration:test:native bb - (mem: 297.38 MiB) 20:48:09 [20:48:09.859] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 297.38 MiB) 20:48:09 Constructing DeciderProvingKey (mem: 297.38 MiB) 20:48:09 [20:48:09.865] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.38 MiB) 20:48:09 goblin ecc op : 4/1024 (mem: 297.38 MiB) 20:48:09 busread : 7/6000 (mem: 297.38 MiB) 20:48:09 lookups : 2/15000 (mem: 297.38 MiB) 20:48:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.38 MiB) 20:48:09 arithmetic : 1760/56000 (mem: 297.38 MiB) 20:48:09 delta range : 1754/18000 (mem: 297.38 MiB) 20:48:09 elliptic : 2/6000 (mem: 297.38 MiB) 20:48:09 auxiliary : 26/26000 (mem: 297.38 MiB) 20:48:09 poseidon ext : 2/17000 (mem: 297.38 MiB) 20:48:09 poseidon int : 2/92000 (mem: 297.38 MiB) 20:48:09 overflow : 0/0 (mem: 297.38 MiB) 20:48:09 (mem: 297.38 MiB) 20:48:09 Total structured size: 242025 (mem: 297.38 MiB) 20:48:09 allocating polynomials object in proving key... (mem: 297.38 MiB) 20:48:09 [20:48:09.998] INFO: ivc-integration:test:native bb - populating trace... (mem: 503.50 MiB) 20:48:10 [20:48:10.029] INFO: ivc-integration:test:native bb - time to construct proving key: 169 ms. (mem: 513.50 MiB) 20:48:10 [20:48:10.114] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61f89a2b4240 (mem: 513.50 MiB) 20:48:10 computing oink proof... (mem: 513.50 MiB) 20:48:10 [20:48:10.115] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.50 MiB) 20:48:10 [20:48:10.322] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.50 MiB) 20:48:10 [20:48:10.331] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.50 MiB) 20:48:10 [20:48:10.349] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.50 MiB) 20:48:10 Constructing DeciderProvingKey (mem: 523.50 MiB) 20:48:10 [20:48:10.353] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.50 MiB) 20:48:10 goblin ecc op : 56/1024 (mem: 523.50 MiB) 20:48:10 busread : 12/6000 (mem: 523.50 MiB) 20:48:10 lookups : 2/15000 (mem: 523.50 MiB) 20:48:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.50 MiB) 20:48:10 arithmetic : 4625/56000 (mem: 523.50 MiB) 20:48:10 delta range : 2054/18000 (mem: 523.50 MiB) 20:48:10 elliptic : 2/6000 (mem: 523.50 MiB) 20:48:10 auxiliary : 110/26000 (mem: 523.50 MiB) 20:48:10 poseidon ext : 1302/17000 (mem: 523.50 MiB) 20:48:10 poseidon int : 7412/92000 (mem: 523.50 MiB) 20:48:10 overflow : 0/0 (mem: 523.50 MiB) 20:48:10 (mem: 523.50 MiB) 20:48:10 Total structured size: 242025 (mem: 523.50 MiB) 20:48:10 allocating polynomials object in proving key... (mem: 523.50 MiB) 20:48:10 [20:48:10.473] INFO: ivc-integration:test:native bb - populating trace... (mem: 731.50 MiB) 20:48:10 [20:48:10.508] INFO: ivc-integration:test:native bb - time to construct proving key: 159 ms. (mem: 750.50 MiB) 20:48:10 [20:48:10.620] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61f89a2bd480 (mem: 750.50 MiB) 20:48:10 computing folding proof (mem: 750.50 MiB) 20:48:10 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 750.50 MiB) 20:48:11 [20:48:11.184] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.50 MiB) 20:48:11 [20:48:11.295] INFO: ivc-integration:test:native bb - perturbator round (mem: 787.50 MiB) 20:48:11 [20:48:11.369] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.50 MiB) 20:48:11 [20:48:11.637] INFO: ivc-integration:test:native bb - folded (mem: 819.50 MiB) 20:48:11 [20:48:11.638] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 819.50 MiB) 20:48:11 [20:48:11.645] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 819.50 MiB) 20:48:11 Constructing DeciderProvingKey (mem: 819.50 MiB) 20:48:11 [20:48:11.654] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 20:48:11 [20:48:11.655] INFO: ivc-integration:test:native bb - (mem: 819.50 MiB) 20:48:11 goblin ecc op : 4/1024 (mem: 819.50 MiB) 20:48:11 busread : 7/6000 (mem: 819.50 MiB) 20:48:11 lookups : 2/15000 (mem: 819.50 MiB) 20:48:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 819.50 MiB) 20:48:11 arithmetic : 1760/56000 (mem: 819.50 MiB) 20:48:11 delta range : 1754/18000 (mem: 819.50 MiB) 20:48:11 elliptic : 2/6000 (mem: 819.50 MiB) 20:48:11 auxiliary : 26/26000 (mem: 819.50 MiB) 20:48:11 poseidon ext : 2/17000 (mem: 819.50 MiB) 20:48:11 poseidon int : 2/92000 (mem: 819.50 MiB) 20:48:11 overflow : 0/0 (mem: 819.50 MiB) 20:48:11 (mem: 819.50 MiB) 20:48:11 Total structured size: 242025 (mem: 819.50 MiB) 20:48:11 allocating polynomials object in proving key... (mem: 819.50 MiB) 20:48:11 [20:48:11.759] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.50 MiB) 20:48:11 [20:48:11.792] INFO: ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 819.50 MiB) 20:48:11 [20:48:11.881] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61f89a2afdc0 (mem: 819.50 MiB) 20:48:11 computing folding proof (mem: 819.50 MiB) 20:48:11 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.50 MiB) 20:48:12 [20:48:12.087] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.50 MiB) 20:48:12 [20:48:12.188] INFO: ivc-integration:test:native bb - perturbator round (mem: 819.50 MiB) 20:48:12 [20:48:12.245] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.21 MiB) 20:48:12 [20:48:12.427] INFO: ivc-integration:test:native bb - folded (mem: 821.21 MiB) 20:48:12 [20:48:12.428] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 821.21 MiB) 20:48:12 [20:48:12.437] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 821.21 MiB) 20:48:12 [20:48:12.511] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.21 MiB) 20:48:12 [20:48:12.602] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 821.21 MiB) 20:48:12 Constructing DeciderProvingKey (mem: 821.21 MiB) 20:48:12 [20:48:12.609] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.21 MiB) 20:48:12 goblin ecc op : 792/1024 (mem: 821.21 MiB) 20:48:12 busread : 12/6000 (mem: 821.21 MiB) 20:48:12 lookups : 2/15000 (mem: 20:48:12 [20:48:12.610] INFO: ivc-integration:test:native bb - 821.21 MiB) 20:48:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.21 MiB) 20:48:12 arithmetic : 12080/56000 (mem: 821.21 MiB) 20:48:12 delta range : 2942/18000 (mem: 821.21 MiB) 20:48:12 elliptic : 2/6000 (mem: 821.21 MiB) 20:48:12 auxiliary : 350/26000 (mem: 821.21 MiB) 20:48:12 poseidon ext : 4942/17000 (mem: 821.21 MiB) 20:48:12 poseidon int : 28160/92000 (mem: 821.21 MiB) 20:48:12 overflow : 0/0 (mem: 821.21 MiB) 20:48:12 (mem: 821.21 MiB) 20:48:12 Total structured size: 242025 (mem: 821.21 MiB) 20:48:12 allocating polynomials object in proving key... (mem: 821.21 MiB) 20:48:12 [20:48:12.725] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.21 MiB) 20:48:12 [20:48:12.775] INFO: ivc-integration:test:native bb - time to construct proving key: 172 ms. (mem: 821.21 MiB) 20:48:12 [20:48:12.824] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61f89a2b4a80 (mem: 821.21 MiB) 20:48:12 computing folding proof (mem: 20:48:12 [20:48:12.825] INFO: ivc-integration:test:native bb - 821.21 MiB) 20:48:12 vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 821.21 MiB) 20:48:13 [20:48:13.161] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.21 MiB) 20:48:13 [20:48:13.278] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.21 MiB) 20:48:13 [20:48:13.336] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 849.25 MiB) 20:48:13 [20:48:13.568] INFO: ivc-integration:test:native bb - folded (mem: 849.25 MiB) 20:48:13 constructed folding proof (mem: 849.25 MiB) 20:48:13 [20:48:13.578] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 849.25 MiB) 20:48:13 [20:48:13.645] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 849.25 MiB) 20:48:13 Constructing DeciderProvingKey (mem: 849.25 MiB) 20:48:13 [20:48:13.648] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.25 MiB) 20:48:13 goblin ecc op : 392/1024 (mem: 849.25 MiB) 20:48:13 busread : 16/6000 (mem: 849.25 MiB) 20:48:13 lookups : 2/15000 (mem: 849.25 MiB) 20:48:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 849.25 MiB) 20:48:13 arithmetic : 6914/56000 (mem: 849.25 MiB) 20:48:13 delta range : 2347/18000 (mem: 849.25 MiB) 20:48:13 elliptic : 2/6000 (mem: 849.25 MiB) 20:48:13 auxiliary : 77/26000 (mem: 849.25 MiB) 20:48:13 poseidon ext : 2472/17000 (mem: 849.25 MiB) 20:48:13 [20:48:13.649] INFO: ivc-integration:test:native bb - poseidon int : 14081/92000 (mem: 849.25 MiB) 20:48:13 overflow : 0/0 (mem: 849.25 MiB) 20:48:13 (mem: 849.25 MiB) 20:48:13 Total structured size: 242025 (mem: 849.25 MiB) 20:48:13 allocating polynomials object in proving key... (mem: 849.25 MiB) 20:48:13 [20:48:13.738] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.25 MiB) 20:48:13 [20:48:13.777] INFO: ivc-integration:test:native bb - time to construct proving key: 131 ms. (mem: 849.25 MiB) 20:48:13 [20:48:13.934] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61f89a331180 (mem: 849.25 MiB) 20:48:13 computing folding proof (mem: 849.25 MiB) 20:48:13 vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 849.25 MiB) 20:48:14 [20:48:14.399] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.25 MiB) 20:48:14 [20:48:14.556] INFO: ivc-integration:test:native bb - perturbator round (mem: 849.25 MiB) 20:48:14 [20:48:14.616] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.01 MiB) 20:48:14 [20:48:14.859] INFO: ivc-integration:test:native bb - folded (mem: 850.01 MiB) 20:48:14 [20:48:14.860] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 850.01 MiB) 20:48:14 [20:48:14.871] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 850.01 MiB) 20:48:14 [20:48:14.950] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 850.01 MiB) 20:48:14 Constructing DeciderProvingKey (mem: 850.01 MiB) 20:48:14 [20:48:14.954] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.01 MiB) 20:48:14 goblin ecc op : 392/1024 (mem: 850.01 MiB) 20:48:14 busread : 3/6000 (mem: 850.01 MiB) 20:48:14 lookups : 2/15000 (mem: 850.01 MiB) 20:48:14 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 850.01 MiB) 20:48:14 arithmetic : 6849/56000 (mem: 850.01 MiB) 20:48:14 delta range : 2333/18000 (mem: 850.01 MiB) 20:48:14 elliptic : 2/6000 (mem: 850.01 MiB) 20:48:14 auxiliary : 50/26000 (mem: 850.01 MiB) 20:48:14 poseidon ext : 2472/17000 (mem: 850.01 MiB) 20:48:14 [20:48:14.956] INFO: ivc-integration:test:native bb - poseidon int : 14081/92000 (mem: 850.01 MiB) 20:48:14 overflow : 0/0 (mem: 850.01 MiB) 20:48:14 (mem: 850.01 MiB) 20:48:14 Total structured size: 242025 (mem: 850.01 MiB) 20:48:14 allocating polynomials object in proving key... (mem: 850.01 MiB) 20:48:15 [20:48:15.040] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.01 MiB) 20:48:15 [20:48:15.082] INFO: ivc-integration:test:native bb - time to construct proving key: 131 ms. (mem: 850.01 MiB) 20:48:15 [20:48:15.216] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61f89a318e00 (mem: 850.01 MiB) 20:48:15 computing folding proof (mem: 850.01 MiB) 20:48:15 [20:48:15.217] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 850.01 MiB) 20:48:15 [20:48:15.625] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.01 MiB) 20:48:15 [20:48:15.694] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.01 MiB) 20:48:15 [20:48:15.752] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.68 MiB) 20:48:15 [20:48:15.970] INFO: ivc-integration:test:native bb - folded (mem: 850.68 MiB) 20:48:15 [20:48:15.971] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 850.68 MiB) 20:48:15 Largest circuit: 48490 gates. Trace details: (mem: 850.68 MiB) 20:48:15 Minimum required block sizes for structured trace: (mem: 850.68 MiB) 20:48:15 (mem: 850.68 MiB) 20:48:15 prove decider... (mem: 850.68 MiB) 20:48:15 [20:48:15.972] INFO: ivc-integration:test:native bb - ecc_op : 792 20:48:15 busread : 16 20:48:15 lookup : 2 20:48:15 pub_inputs : 36 20:48:15 arithmetic : 12080 20:48:15 delta_range : 2942 20:48:15 elliptic : 2 20:48:15 aux : 350 20:48:15 poseidon2_external : 4942 20:48:15 poseidon2_internal : 28160 20:48:15 overflow : 0 20:48:16 [20:48:16.095] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.68 MiB) 20:48:16 [20:48:16.186] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 850.68 MiB) 20:48:16 [20:48:16.798] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.68 MiB) 20:48:16 [20:48:16.881] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.68 MiB) 20:48:16 finished decider proving. (mem: 850.68 MiB) 20:48:16 [20:48:16.896] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 850.68 MiB) 20:48:17 [20:48:17.002] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.68 MiB) 20:48:17 [20:48:17.012] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 850.68 MiB) 20:48:17 [20:48:17.080] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.68 MiB) 20:48:17 [20:48:17.120] INFO: ivc-integration:test:native bb - time to construct proving key: 117 ms. (mem: 850.68 MiB) 20:48:18 [20:48:18.038] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 850.68 MiB) 20:48:18 [20:48:18.545] INFO: ivc-integration:test:native bb - created oink proof (mem: 850.68 MiB) 20:48:18 [20:48:18.668] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 20:48:18 [20:48:18.670] INFO: ivc-integration:test:native bb - (mem: 850.68 MiB) 20:48:19 [20:48:19.485] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.68 MiB) 20:48:20 [20:48:20.171] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 20:48:20 [20:48:20.172] INFO: ivc-integration:test:native bb - (mem: 850.68 MiB) 20:48:20 [20:48:20.206] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.68 MiB) 20:48:20 finished decider proving. (mem: 850.68 MiB) 20:48:20 [20:48:20.207] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 850.68 MiB) 20:48:20 [20:48:20.340] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 850.68 MiB) 20:48:20 [20:48:20.604] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 850.68 MiB) 20:48:20 [20:48:20.615] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 850.68 MiB) 20:48:21 [20:48:21.905] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.68 MiB) 20:48:23 [20:48:23.478] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.68 MiB) 20:48:26 [20:48:26.581] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 850.68 MiB) 20:48:26 prove translator... (mem: 850.68 MiB) 20:48:29 [20:48:29.725] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 864.72 MiB) 20:48:31 [20:48:31.952] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 865.72 MiB) 20:48:33 [20:48:33.417] INFO: ivc-integration:test:native bb - computed opening proof (mem: 865.72 MiB) 20:48:33 [20:48:33.418] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 865.72 MiB) 20:48:33 [20:48:33.419] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 865.72 MiB) 20:48:33 [20:48:33.420] INFO: ivc-integration:test:native bb - 20:48:33 [20:48:33.437] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 865.72 MiB) 20:48:33 libra_evals_verified: 1 (mem: 865.72 MiB) 20:48:33 pairing_check_verified: 1 (mem: 865.72 MiB) 20:48:33 Mega verified: 1 (mem: 865.72 MiB) 20:48:33 [20:48:33.514] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 866.72 MiB) 20:48:33 batch opening verified?: 1 (mem: 866.72 MiB) 20:48:33 eccvm consistency check verified?: 1 (mem: 866.72 MiB) 20:48:33 translation masking consistency checked?: 1 (mem: 866.72 MiB) 20:48:33 [20:48:33.533] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 866.72 MiB) 20:48:33 eccvm verified?: 1 (mem: 866.72 MiB) 20:48:33 accumulator construction_verified?: 1 (mem: 866.72 MiB) 20:48:33 translation verified?: 1 (mem: 866.72 MiB) 20:48:33 consistency verified?: 1 (mem: 866.72 MiB) 20:48:33 Goblin verified: 1 (mem: 866.72 MiB) 20:48:33 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Ycz7TR" (mem: 866.72 MiB) 20:48:33 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Ycz7TR" (mem: 866.72 MiB) 20:48:33 BN254 commitment key size: 262144 (mem: 866.72 MiB) 20:48:33 [20:48:33.535] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 866.72 MiB) 20:48:33 [20:48:33.538] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.72 MiB) 20:48:33 goblin ecc op : 4/1024 (mem: 866.72 MiB) 20:48:33 busread : 3/6000 (mem: 866.72 MiB) 20:48:33 lookups : 2/15000 (mem: 866.72 MiB) 20:48:33 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 866.72 MiB) 20:48:33 arithmetic : 1773/56000 (mem: 866.72 MiB) 20:48:33 delta range : 1754/18000 (mem: 866.72 MiB) 20:48:33 elliptic : 2/6000 (mem: 866.72 MiB) 20:48:33 auxiliary : 26/26000 (mem: 866.72 MiB) 20:48:33 poseidon ext : 2/17000 (mem: 866.72 MiB) 20:48:33 poseidon int : 2/92000 (mem: 866.72 MiB) 20:48:33 overflow : 0/0 (mem: 866.72 MiB) 20:48:33 (mem: 866.72 MiB) 20:48:33 Total structured size: 242025 (mem: 866.72 MiB) 20:48:33 allocating polynomials object in proving key... (mem: 866.72 MiB) 20:48:33 [20:48:33.583] INFO: ivc-integration:test:native bb - populating trace... (mem: 866.72 MiB) 20:48:33 [20:48:33.592] INFO: ivc-integration:test:native bb - time to construct proving key: 56 ms. (mem: 866.72 MiB) 20:48:33 [20:48:33.619] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.72 MiB) 20:48:34 [20:48:34.084] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 866.72 MiB) 20:48:34 [20:48:34.085] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.72 MiB) 20:48:34 [20:48:34.198] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 866.72 MiB) 20:48:34 [20:48:34.205] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.72 MiB) 20:48:34 [20:48:34.216] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 866.72 MiB) 20:48:34 [20:48:34.219] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.72 MiB) 20:48:34 goblin ecc op : 56/1024 (mem: 866.72 MiB) 20:48:34 busread : 3/6000 (mem: 866.72 MiB) 20:48:34 lookups : 2/15000 (mem: 866.72 MiB) 20:48:34 [20:48:34.220] INFO: ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 866.72 MiB) 20:48:34 arithmetic : 4481/56000 (mem: 866.72 MiB) 20:48:34 delta range : 2041/18000 (mem: 866.72 MiB) 20:48:34 elliptic : 2/6000 (mem: 866.72 MiB) 20:48:34 auxiliary : 50/26000 (mem: 866.72 MiB) 20:48:34 poseidon ext : 1312/17000 (mem: 866.72 MiB) 20:48:34 poseidon int : 7469/92000 (mem: 866.72 MiB) 20:48:34 overflow : 0/0 (mem: 866.72 MiB) 20:48:34 (mem: 866.72 MiB) 20:48:34 Total structured size: 242025 (mem: 866.72 MiB) 20:48:34 allocating polynomials object in proving key... (mem: 866.72 MiB) 20:48:34 [20:48:34.261] INFO: ivc-integration:test:native bb - populating trace... (mem: 866.72 MiB) 20:48:34 [20:48:34.273] INFO: ivc-integration:test:native bb - time to construct proving key: 56 ms. (mem: 866.72 MiB) 20:48:34 [20:48:34.308] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.72 MiB) 20:48:34 [20:48:34.731] INFO: ivc-integration:test:native bb - computing folding proof (mem: 866.72 MiB) 20:48:34 [20:48:34.731] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 866.72 MiB) 20:48:34 [20:48:34.984] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 866.72 MiB) 20:48:35 [20:48:35.028] INFO: ivc-integration:test:native bb - perturbator round (mem: 866.72 MiB) 20:48:35 [20:48:35.080] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 898.72 MiB) 20:48:35 [20:48:35.189] INFO: ivc-integration:test:native bb - folded (mem: 898.72 MiB) 20:48:35 constructed folding proof (mem: 898.72 MiB) 20:48:35 [20:48:35.193] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 898.72 MiB) 20:48:35 Minimum required block sizes for structured trace: (mem: 898.72 MiB) 20:48:35 (mem: 898.72 MiB) 20:48:35 prove decider... (mem: 898.72 MiB) 20:48:35 [20:48:35.194] INFO: ivc-integration:test:native bb - ecc_op : 56 20:48:35 busread : 3 20:48:35 lookup : 2 20:48:35 pub_inputs : 36 20:48:35 arithmetic : 4481 20:48:35 delta_range : 2041 20:48:35 elliptic : 2 20:48:35 aux : 50 20:48:35 poseidon2_external : 1312 20:48:35 poseidon2_internal : 7469 20:48:35 overflow : 0 20:48:35 [20:48:35.266] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 898.72 MiB) 20:48:35 [20:48:35.426] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 898.72 MiB) 20:48:36 [20:48:36.135] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 898.72 MiB) 20:48:36 [20:48:36.198] INFO: ivc-integration:test:native bb - computed opening proof (mem: 898.72 MiB) 20:48:36 finished decider proving. (mem: 898.72 MiB) 20:48:36 [20:48:36.210] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 898.72 MiB) 20:48:36 [20:48:36.279] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 898.72 MiB) 20:48:36 [20:48:36.283] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 898.72 MiB) 20:48:36 [20:48:36.323] INFO: ivc-integration:test:native bb - populating trace... (mem: 898.72 MiB) 20:48:36 [20:48:36.352] INFO: ivc-integration:test:native bb - time to construct proving key: 72 ms. (mem: 898.72 MiB) 20:48:36 [20:48:36.731] 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-Ycz7TR/proof -k /tmp/bb-client-ivc-integration-Ycz7TR/vk -v 20:48:36 [20:48:36.768] INFO: ivc-integration:test:native bb command: verify (mem: 186.63 MiB) 20:48:36 Scheme is: client_ivc, num threads: 1 (mem: 186.63 MiB) 20:48:36 --proof_path: /tmp/bb-client-ivc-integration-Ycz7TR/proof (mem: 186.63 MiB) 20:48:36 --vk_path: /tmp/bb-client-ivc-integration-Ycz7TR/vk (mem: 186.63 MiB) 20:48:36 --verbose: true (mem: 186.63 MiB) 20:48:36 --scheme: client_ivc (mem: 186.63 MiB) 20:48:36 [20:48:36.786] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 186.63 MiB) 20:48:36 [20:48:36.805] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 186.63 MiB) 20:48:36 [20:48:36.806] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 186.63 MiB) 20:48:36 [20:48:36.822] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 186.63 MiB) 20:48:36 [20:48:36.824] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 186.63 MiB) 20:48:36 sumcheck_verified: 1 (mem: 186.63 MiB) 20:48:36 libra_evals_verified: 1 (mem: 186.63 MiB) 20:48:36 pairing_check_verified: 1 (mem: 186.63 MiB) 20:48:36 Mega verified: 1 (mem: 186.63 MiB) 20:48:37 [20:48:37.249] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 186.63 MiB) 20:48:37 batch opening verified?: 1 (mem: 186.63 MiB) 20:48:37 eccvm consistency check verified?: 1 (mem: 186.63 MiB) 20:48:37 translation masking consistency checked?: 1 (mem: 186.63 MiB) 20:48:37 [20:48:37.265] INFO: ivc-integration:test:native merge verified?: 1 (mem: 186.63 MiB) 20:48:37 eccvm verified?: 1 (mem: 186.63 MiB) 20:48:37 accumulator construction_verified?: 1 (mem: 186.63 MiB) 20:48:37 translation verified?: 1 (mem: 186.63 MiB) 20:48:37 consistency verified?: 1 (mem: 186.63 MiB) 20:48:37 Goblin verified: 1 (mem: 186.63 MiB) 20:48:37 [20:48:37.269] INFO: ivc-integration:test:native verified: 1 (mem: 186.63 MiB) 20:48:37 PASS src/native_client_ivc_integration.test.ts (71.601 s) 20:48:37 Client IVC Integration 20:48:37 ✓ Should generate a verifiable client IVC proof from a simple mock tx (40178 ms) 20:48:37 ✓ Should generate a verifiable client IVC proof from a complex mock tx (27782 ms) 20:48:37 20:48:37 Test Suites: 1 passed, 1 total 20:48:37 Tests: 2 passed, 2 total 20:48:37 Snapshots: 0 total 20:48:37 Time: 71.713 s 20:48:37 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 20:48:37 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?