ACI ·

Parent Log: http://ci.aztec-labs.com/88a1010f314e27f0 Command: d2fcfaaceedeb658: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/7dcba16a1a8b286f0e20ac38acd8c97103e573de Env: REF_NAME=gh-readonly-queue/next/pr-15314-bd28eda782eb6f2e1e5c2101a27104b4ad8796b3 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 26 17:44:45 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15314_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 17:44:51 [17:44:51.102] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-1I8y4J/ivc-inputs.msgpack 17:44:51 [17:44:51.109] INFO: ivc-integration:test:native bb - BB concurrency: undefined 17:44:51 [17:44:51.110] INFO: ivc-integration:test:native bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-client-ivc-integration-1I8y4J --ivc_inputs_path /tmp/bb-client-ivc-integration-1I8y4J/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 17:44:51 [17:44:51.138] INFO: ivc-integration:test:native bb - bb command: prove (mem: 235.50 17:44:51 [17:44:51.139] INFO: ivc-integration:test:native bb - MiB) 17:44:51 Scheme is: client_ivc, num threads: 128 (mem: 235.50 MiB) 17:44:51 --scheme: client_ivc (mem: 235.50 MiB) 17:44:51 --output_path: /tmp/bb-client-ivc-integration-1I8y4J (mem: 235.50 MiB) 17:44:51 --ivc_inputs_path: /tmp/bb-client-ivc-integration-1I8y4J/ivc-inputs.msgpack (mem: 235.50 MiB) 17:44:51 --verbose: true (mem: 235.50 MiB) 17:44:51 --write_vk: true (mem: 235.50 MiB) 17:44:51 [17:44:51.140] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 235.50 MiB) 17:44:51 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.50 MiB) 17:44:51 [17:44:51.215] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 235.50 MiB) 17:44:51 [17:44:51.220] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 235.50 MiB) 17:44:51 Constructing DeciderProvingKey (mem: 235.50 MiB) 17:44:51 [17:44:51.226] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 235.50 MiB) 17:44:51 goblin ecc op : 4/1024 (mem: 235.50 MiB) 17:44:51 busread : 7/6000 (mem: 235.50 MiB) 17:44:51 lookups : 2/15000 (mem: 235.50 MiB) 17:44:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 235.50 MiB) 17:44:51 [17:44:51.228] INFO: ivc-integration:test:native bb - 17:44:51 arithmetic : 1760/56000 (mem: 235.50 MiB) 17:44:51 delta range : 1754/18000 (mem: 235.50 MiB) 17:44:51 elliptic : 2/6000 (mem: 235.50 MiB) 17:44:51 auxiliary : 26/26000 (mem: 235.50 MiB) 17:44:51 poseidon ext : 2/17000 (mem: 235.50 MiB) 17:44:51 poseidon int : 2/92000 (mem: 235.50 MiB) 17:44:51 overflow : 0/0 (mem: 235.50 MiB) 17:44:51 (mem: 235.50 MiB) 17:44:51 Total structured size: 242025 (mem: 235.50 MiB) 17:44:51 allocating polynomials object in proving key... (mem: 235.50 MiB) 17:44:51 [17:44:51.391] INFO: ivc-integration:test:native bb - populating trace... (mem: 353.04 MiB) 17:44:51 [17:44:51.439] INFO: ivc-integration:test:native bb - time to construct proving key: 215 ms. (mem: 365.04 MiB) 17:44:51 getting honk vk... precomputed?: 0x55c6812f3680 (mem: 365.04 MiB) 17:44:51 computing oink proof... (mem: 365.04 MiB) 17:44:51 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 365.04 MiB) 17:44:51 [17:44:51.702] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 375.04 MiB) 17:44:51 [17:44:51.868] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 375.04 MiB) 17:44:51 [17:44:51.888] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 375.04 MiB) 17:44:51 Constructing DeciderProvingKey (mem: 375.04 MiB) 17:44:51 [17:44:51.894] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 375.04 MiB) 17:44:51 goblin ecc op : 56/1024 (mem: 375.04 MiB) 17:44:51 busread : 12/6000 (mem: 375.04 MiB) 17:44:51 lookups : 2/15000 (mem: 375.04 MiB) 17:44:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 375.04 MiB) 17:44:51 [17:44:51.896] INFO: ivc-integration:test:native bb - arithmetic : 4611/56000 (mem: 375.04 MiB) 17:44:51 delta range : 2073/18000 (mem: 375.04 MiB) 17:44:51 elliptic : 2/6000 (mem: 375.04 MiB) 17:44:51 auxiliary : 110/26000 (mem: 375.04 MiB) 17:44:51 poseidon ext : 1272/17000 (mem: 375.04 MiB) 17:44:51 poseidon int : 7241/92000 (mem: 375.04 MiB) 17:44:51 overflow : 0/0 (mem: 375.04 MiB) 17:44:51 (mem: 375.04 MiB) 17:44:51 Total structured size: 242025 (mem: 375.04 MiB) 17:44:51 allocating polynomials object in proving key... (mem: 375.04 MiB) 17:44:52 [17:44:52.039] INFO: ivc-integration:test:native bb - populating trace... (mem: 571.04 MiB) 17:44:52 [17:44:52.061] INFO: ivc-integration:test:native bb - time to construct proving key: 172 ms. (mem: 584.04 MiB) 17:44:52 getting honk vk... precomputed?: 0x55c68130b840 (mem: 584.04 MiB) 17:44:52 [17:44:52.062] INFO: ivc-integration:test:native bb - computing folding proof (mem: 584.04 MiB) 17:44:52 vkey hash in Oink prover: 0x000000000000000000000000000000004fe59063f23a90540933a733b5f7eb18 (mem: 584.04 MiB) 17:44:52 [17:44:52.441] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 590.04 MiB) 17:44:52 [17:44:52.589] INFO: ivc-integration:test:native bb - perturbator round (mem: 623.04 MiB) 17:44:52 [17:44:52.650] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 656.04 MiB) 17:44:53 [17:44:53.015] INFO: ivc-integration:test:native bb - folded (mem: 656.04 MiB) 17:44:53 constructed folding proof (mem: 656.04 MiB) 17:44:53 [17:44:53.374] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000004fe59063f23a90540933a733b5f7eb18 (mem: 656.04 MiB) 17:44:53 [17:44:53.461] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 656.04 MiB) 17:44:53 Constructing DeciderProvingKey (mem: 656.04 MiB) 17:44:53 [17:44:53.469] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 656.04 MiB) 17:44:53 goblin ecc op : 392/1024 (mem: 656.04 MiB) 17:44:53 busread : 3/6000 (mem: 656.04 MiB) 17:44:53 lookups : 2/15000 (mem: 656.04 MiB) 17:44:53 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 656.04 MiB) 17:44:53 arithmetic : 6847/56000 (mem: 656.04 MiB) 17:44:53 delta range : 2353/18000 (mem: 656.04 MiB) 17:44:53 elliptic : 2/6000 (mem: 656.04 MiB) 17:44:53 auxiliary : 50/26000 (mem: 656.04 MiB) 17:44:53 poseidon ext : 2442/17000 (mem: 656.04 MiB) 17:44:53 poseidon int : 13910/92000 (mem: 656.04 MiB) 17:44:53 overflow : 0/0 (mem: 656.04 MiB) 17:44:53 (mem: 656.04 MiB) 17:44:53 Total structured size: 242025 (mem: 656.04 MiB) 17:44:53 allocating polynomials object in proving key... (mem: 656.04 MiB) 17:44:53 [17:44:53.730] INFO: ivc-integration:test:native bb - populating trace... (mem: 656.04 MiB) 17:44:53 [17:44:53.758] INFO: ivc-integration:test:native bb - time to construct proving key: 295 ms. (mem: 656.04 MiB) 17:44:53 getting honk vk... precomputed?: 0x55c6812f4ec0 (mem: 656.04 MiB) 17:44:53 computing folding proof (mem: 656.04 MiB) 17:44:53 [17:44:53.759] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000c0362c4bb405696ea55962a67ac54c6d (mem: 656.04 MiB) 17:44:54 [17:44:54.040] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 656.04 MiB) 17:44:54 [17:44:54.146] INFO: ivc-integration:test:native bb - perturbator round (mem: 656.04 MiB) 17:44:54 [17:44:54.204] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 664.92 MiB) 17:44:54 [17:44:54.552] INFO: ivc-integration:test:native bb - folded (mem: 664.92 MiB) 17:44:54 constructed folding proof (mem: 664.92 MiB) 17:44:54 [17:44:54.902] INFO: ivc-integration:test:native bb - Largest circuit: 25609 gates. Trace details: (mem: 664.92 MiB) 17:44:54 Minimum required block sizes for structured trace: (mem: 664.92 MiB) 17:44:54 [17:44:54.903] INFO: ivc-integration:test:native bb - (mem: 664.92 MiB) 17:44:54 prove decider... (mem: 664.92 MiB) 17:44:54 [17:44:54.904] INFO: ivc-integration:test:native bb - ecc_op : 392 17:44:54 busread : 12 17:44:54 lookup : 2 17:44:54 pub_inputs : 36 17:44:54 arithmetic : 6847 17:44:54 delta_range : 2353 17:44:54 elliptic : 2 17:44:54 aux : 110 17:44:54 poseidon2_external : 2442 17:44:54 poseidon2_internal : 13910 17:44:54 overflow : 0 17:44:55 [17:44:55.146] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 664.92 MiB) 17:44:55 [17:44:55.348] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 664.92 MiB) 17:44:56 [17:44:56.876] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 664.92 MiB) 17:44:57 [17:44:57.020] INFO: ivc-integration:test:native bb - computed opening proof (mem: 664.92 MiB) 17:44:57 finished decider proving. (mem: 664.92 MiB) 17:44:57 [17:44:57.031] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c0362c4bb405696ea55962a67ac54c6d (mem: 664.92 MiB) 17:44:57 [17:44:57.146] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 664.92 MiB) 17:44:57 [17:44:57.159] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 664.92 MiB) 17:44:57 [17:44:57.431] INFO: ivc-integration:test:native bb - populating trace... (mem: 664.92 MiB) 17:44:57 [17:44:57.559] INFO: ivc-integration:test:native bb - time to construct proving key: 415 ms. 17:44:57 [17:44:57.560] INFO: ivc-integration:test:native bb - (mem: 664.92 MiB) 17:44:59 [17:44:59.278] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 664.92 MiB) 17:45:00 [17:45:00.063] INFO: ivc-integration:test:native bb - created oink proof (mem: 664.92 MiB) 17:45:00 [17:45:00.468] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 664.92 MiB) 17:45:02 [17:45:02.206] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 664.92 MiB) 17:45:03 [17:45:03.726] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 17:45:03 [17:45:03.727] INFO: ivc-integration:test:native bb - (mem: 17:45:03 [17:45:03.728] INFO: ivc-integration:test:native bb - 664.92 17:45:03 [17:45:03.731] INFO: ivc-integration:test:native bb - MiB) 17:45:03 [17:45:03.834] INFO: ivc-integration:test:native bb - computed opening proof (mem: 664.92 MiB) 17:45:03 finished decider proving. (mem: 664.92 MiB) 17:45:03 [17:45:03.835] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 664.92 MiB) 17:45:04 [17:45:04.163] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 664.92 MiB) 17:45:04 [17:45:04.641] 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: 664.92 MiB) 17:45:04 [17:45:04.652] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 17:45:04 [17:45:04.653] INFO: ivc-integration:test:native bb - (mem: 17:45:04 [17:45:04.654] INFO: ivc-integration:test:native bb - 664.92 17:45:04 [17:45:04.655] INFO: ivc-integration:test:native bb - MiB) 17:45:07 [17:45:07.108] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 664.92 MiB) 17:45:10 [17:45:10.357] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 666.09 MiB) 17:45:15 [17:45:15.712] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 666.09 MiB) 17:45:15 prove translator... (mem: 666.09 MiB) 17:45:19 [17:45:19.413] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 17:45:19 [17:45:19.414] INFO: ivc-integration:test:native bb - (mem: 17:45:19 [17:45:19.415] INFO: ivc-integration:test:native bb - 706.09 MiB) 17:45:22 [17:45:22.993] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 17:45:22 [17:45:22.994] INFO: ivc-integration:test:native bb - (mem: 706.09 MiB) 17:45:27 [17:45:27.399] INFO: ivc-integration:test:native bb - computed opening proof (mem: 707.09 MiB) 17:45:27 [17:45:27.400] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 707.09 MiB) 17:45:27 [17:45:27.400] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 707.09 MiB) 17:45:27 [17:45:27.461] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 707.09 MiB) 17:45:27 libra_evals_verified: 1 (mem: 707.09 MiB) 17:45:27 pairing_check_verified: 1 (mem: 707.09 MiB) 17:45:27 Mega verified: 1 (mem: 707.09 MiB) 17:45:27 [17:45:27.635] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 707.09 MiB) 17:45:27 batch opening verified?: 1 (mem: 707.09 MiB) 17:45:27 eccvm consistency check verified?: 1 (mem: 707.09 MiB) 17:45:27 translation masking consistency checked?: 1 (mem: 707.09 MiB) 17:45:27 [17:45:27.676] INFO: ivc-integration:test:native bb - merge verified?: 1 17:45:27 [17:45:27.677] INFO: ivc-integration:test:native bb - (mem: 707.09 MiB) 17:45:27 eccvm verified?: 1 (mem: 707.09 MiB) 17:45:27 accumulator construction_verified?: 1 (mem: 707.09 MiB) 17:45:27 translation verified?: 1 (mem: 707.09 MiB) 17:45:27 consistency verified?: 1 (mem: 707.09 MiB) 17:45:27 Goblin verified: 1 (mem: 707.09 MiB) 17:45:27 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-1I8y4J" (mem: 707.09 MiB) 17:45:27 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-1I8y4J" (mem: 707.09 MiB) 17:45:27 BN254 commitment key size: 262144 (mem: 707.09 MiB) 17:45:27 [17:45:27.681] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 707.09 MiB) 17:45:27 [17:45:27.686] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.09 MiB) 17:45:27 goblin ecc op : 4/1024 (mem: 707.09 MiB) 17:45:27 [17:45:27.687] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 707.09 MiB) 17:45:27 lookups : 2/15000 (mem: 707.09 MiB) 17:45:27 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 707.09 MiB) 17:45:27 arithmetic : 1773/56000 (mem: 707.09 MiB) 17:45:27 delta range : 1754/18000 (mem: 707.09 MiB) 17:45:27 elliptic : 2/6000 (mem: 707.09 MiB) 17:45:27 auxiliary : 26/26000 (mem: 707.09 MiB) 17:45:27 poseidon ext : 2/17000 (mem: 707.09 MiB) 17:45:27 poseidon int : 2/92000 (mem: 707.09 MiB) 17:45:27 overflow : 0/0 (mem: 707.09 MiB) 17:45:27 (mem: 707.09 MiB) 17:45:27 Total structured size: 242025 (mem: 707.09 MiB) 17:45:27 allocating polynomials object in proving key... (mem: 707.09 MiB) 17:45:27 [17:45:27.969] INFO: ivc-integration:test:native bb - populating trace... (mem: 707.09 MiB) 17:45:28 [17:45:28.010] INFO: ivc-integration:test:native bb - time to construct proving key: 330 ms. (mem: 707.09 MiB) 17:45:28 getting honk vk... precomputed?: 0 (mem: 707.09 MiB) 17:45:28 [17:45:28.715] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 707.09 MiB) 17:45:28 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 707.09 MiB) 17:45:29 [17:45:29.171] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 707.09 MiB) 17:45:29 [17:45:29.363] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 707.09 MiB) 17:45:29 [17:45:29.383] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 17:45:29 [17:45:29.384] INFO: ivc-integration:test:native bb - (mem: 17:45:29 [17:45:29.384] INFO: ivc-integration:test:native bb - 707.09 17:45:29 [17:45:29.387] INFO: ivc-integration:test:native bb - MiB) 17:45:29 [17:45:29.391] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.09 MiB) 17:45:29 goblin ecc op : 56/1024 (mem: 707.09 MiB) 17:45:29 busread : 3/6000 (mem: 707.09 MiB) 17:45:29 lookups : 2/15000 (mem: 707.09 MiB) 17:45:29 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 707.09 MiB) 17:45:29 arithmetic : 4467/56000 (mem: 707.09 MiB) 17:45:29 delta range : 2060/18000 (mem: 707.09 MiB) 17:45:29 elliptic : 2/6000 (mem: 707.09 MiB) 17:45:29 auxiliary : 50/26000 (mem: 707.09 MiB) 17:45:29 poseidon ext : 1282/17000 (mem: 707.09 MiB) 17:45:29 poseidon int : 7298/92000 (mem: 707.09 MiB) 17:45:29 overflow : 0/0 (mem: 707.09 MiB) 17:45:29 (mem: 707.09 MiB) 17:45:29 Total structured size: 242025 (mem: 707.09 MiB) 17:45:29 allocating polynomials object in proving key... (mem: 707.09 MiB) 17:45:29 [17:45:29.658] INFO: ivc-integration:test:native bb - populating trace... (mem: 707.09 MiB) 17:45:29 [17:45:29.707] INFO: ivc-integration:test:native bb - time to construct proving key: 319 ms. 17:45:29 [17:45:29.708] INFO: ivc-integration:test:native bb - (mem: 707.09 MiB) 17:45:29 getting honk vk... precomputed?: 0 (mem: 707.09 MiB) 17:45:30 [17:45:30.662] INFO: ivc-integration:test:native bb - computing folding proof 17:45:30 [17:45:30.666] INFO: ivc-integration:test:native bb - (mem: 709.09 MiB) 17:45:30 vkey hash in Oink prover: 0x000000000000000000000000000000005dfbc562c9a1db7951a05d9e527429ea (mem: 709.09 MiB) 17:45:31 [17:45:31.403] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 709.09 MiB) 17:45:31 [17:45:31.569] INFO: ivc-integration:test:native bb - perturbator round (mem: 709.09 MiB) 17:45:31 [17:45:31.652] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 741.09 MiB) 17:45:32 [17:45:32.228] INFO: ivc-integration:test:native bb - folded 17:45:32 [17:45:32.230] INFO: ivc-integration:test:native bb - (mem: 741.09 MiB) 17:45:32 constructed folding proof (mem: 741.09 MiB) 17:45:32 [17:45:32.339] INFO: ivc-integration:test:native bb - Largest circuit: 15164 gates. Trace details: (mem: 741.09 MiB) 17:45:32 Minimum required block sizes for structured trace: (mem: 741.09 MiB) 17:45:32 [17:45:32.344] INFO: ivc-integration:test:native bb - (mem: 741.09 MiB) 17:45:32 prove decider... (mem: 741.09 MiB) 17:45:32 [17:45:32.345] INFO: ivc-integration:test:native bb - ecc_op : 56 17:45:32 busread : 3 17:45:32 lookup : 2 17:45:32 pub_inputs : 36 17:45:32 arithmetic : 4467 17:45:32 delta_range : 2060 17:45:32 elliptic : 2 17:45:32 aux : 50 17:45:32 poseidon2_external : 1282 17:45:32 poseidon2_internal : 7298 17:45:32 overflow : 0 17:45:32 [17:45:32.501] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 741.09 MiB) 17:45:32 [17:45:32.776] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 741.09 MiB) 17:45:34 [17:45:34.507] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 17:45:34 [17:45:34.508] INFO: ivc-integration:test:native bb - (mem: 741.09 MiB) 17:45:34 [17:45:34.655] INFO: ivc-integration:test:native bb - computed opening proof (mem: 741.09 MiB) 17:45:34 finished decider proving. (mem: 741.09 MiB) 17:45:34 [17:45:34.665] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005dfbc562c9a1db7951a05d9e527429ea (mem: 741.09 MiB) 17:45:34 [17:45:34.836] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 741.09 MiB) 17:45:34 [17:45:34.841] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 741.09 MiB) 17:45:35 [17:45:35.002] INFO: ivc-integration:test:native bb - populating trace... (mem: 741.09 MiB) 17:45:35 [17:45:35.085] INFO: ivc-integration:test:native bb - time to construct proving key: 251 ms. (mem: 741.09 MiB) 17:45:36 [17:45:36.185] INFO: ivc-integration:test:native BB concurrency: 1 17:45:36 [17:45:36.189] 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-1I8y4J/proof -k /tmp/bb-client-ivc-integration-1I8y4J/vk -v 17:45:36 [17:45:36.229] INFO: ivc-integration:test:native bb command: verify (mem: 236.04 MiB) 17:45:36 Scheme is: client_ivc, num threads: 1 (mem: 236.04 MiB) 17:45:36 --proof_path: /tmp/bb-client-ivc-integration-1I8y4J/proof (mem: 236.04 MiB) 17:45:36 --vk_path: /tmp/bb-client-ivc-integration-1I8y4J/vk (mem: 236.04 MiB) 17:45:36 --verbose: true (mem: 236.04 MiB) 17:45:36 --scheme: client_ivc (mem: 236.04 MiB) 17:45:36 [17:45:36.230] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 236.04 MiB) 17:45:36 [17:45:36.252] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 236.04 MiB) 17:45:36 vkey hash in Oink verifier: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 236.04 MiB) 17:45:36 [17:45:36.274] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 236.04 MiB) 17:45:36 [17:45:36.275] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 236.04 MiB) 17:45:36 [17:45:36.277] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 236.04 MiB) 17:45:36 libra_evals_verified: 1 (mem: 236.04 MiB) 17:45:36 pairing_check_verified: 1 (mem: 236.04 MiB) 17:45:36 Mega verified: 1 (mem: 236.04 MiB) 17:45:36 [17:45:36.840] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 236.04 MiB) 17:45:36 batch opening verified?: 1 (mem: 236.04 MiB) 17:45:36 eccvm consistency check verified?: 1 (mem: 236.04 MiB) 17:45:36 translation masking consistency checked?: 1 (mem: 236.04 MiB) 17:45:36 [17:45:36.860] INFO: ivc-integration:test:native merge verified?: 1 (mem: 236.04 MiB) 17:45:36 eccvm verified?: 1 (mem: 236.04 MiB) 17:45:36 accumulator construction_verified?: 1 (mem: 236.04 MiB) 17:45:36 translation verified?: 1 (mem: 236.04 MiB) 17:45:36 consistency verified?: 1 (mem: 236.04 MiB) 17:45:36 Goblin verified: 1 (mem: 236.04 MiB) 17:45:36 verified: 1 (mem: 236.04 MiB) 17:45:36 [17:45:36.964] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-w31MVa/ivc-inputs.msgpack 17:45:36 [17:45:36.965] INFO: ivc-integration:test:native bb - BB concurrency: undefined 17:45:36 [17:45:36.966] 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-w31MVa --ivc_inputs_path /tmp/bb-client-ivc-integration-w31MVa/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 17:45:36 [17:45:36.995] INFO: ivc-integration:test:native bb - bb command: prove (mem: 240.08 MiB) 17:45:36 [17:45:36.997] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 240.08 MiB) 17:45:36 --scheme: client_ivc (mem: 240.08 MiB) 17:45:36 --output_path: /tmp/bb-client-ivc-integration-w31MVa (mem: 240.08 MiB) 17:45:36 --ivc_inputs_path: /tmp/bb-client-ivc-integration-w31MVa/ivc-inputs.msgpack (mem: 240.08 MiB) 17:45:36 --verbose: true (mem: 240.08 MiB) 17:45:36 --write_vk: true (mem: 240.08 MiB) 17:45:37 [17:45:37.001] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 240.08 MiB) 17:45:37 [17:45:37.004] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.08 MiB) 17:45:37 [17:45:37.086] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 240.08 MiB) 17:45:37 [17:45:37.092] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 240.08 MiB) 17:45:37 Constructing DeciderProvingKey (mem: 17:45:37 [17:45:37.096] INFO: ivc-integration:test:native bb - 240.08 MiB) 17:45:37 [17:45:37.101] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 240.08 MiB) 17:45:37 goblin ecc op : 4/1024 (mem: 240.08 MiB) 17:45:37 busread : 7/6000 (mem: 240.08 MiB) 17:45:37 lookups : 2/15000 (mem: 240.08 MiB) 17:45:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 240.08 MiB) 17:45:37 [17:45:37.103] INFO: ivc-integration:test:native bb - arithmetic : 1760/56000 (mem: 240.08 MiB) 17:45:37 delta range : 1754/18000 (mem: 240.08 MiB) 17:45:37 elliptic : 2/6000 (mem: 240.08 MiB) 17:45:37 auxiliary : 26/26000 (mem: 240.08 MiB) 17:45:37 poseidon ext : 2/17000 (mem: 240.08 MiB) 17:45:37 poseidon int : 2/92000 (mem: 240.08 MiB) 17:45:37 overflow : 0/0 (mem: 240.08 MiB) 17:45:37 (mem: 240.08 MiB) 17:45:37 Total structured size: 242025 (mem: 240.08 MiB) 17:45:37 allocating polynomials object in proving key... (mem: 240.08 MiB) 17:45:37 [17:45:37.343] INFO: ivc-integration:test:native bb - populating trace... (mem: 352.72 MiB) 17:45:37 [17:45:37.359] INFO: ivc-integration:test:native bb - time to construct proving key: 266 ms. (mem: 363.72 MiB) 17:45:37 getting honk vk... precomputed?: 0x5645d29b1480 (mem: 363.72 MiB) 17:45:37 computing oink proof... (mem: 363.72 MiB) 17:45:37 [17:45:37.362] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 363.72 MiB) 17:45:37 [17:45:37.695] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 376.72 MiB) 17:45:37 [17:45:37.762] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 376.72 MiB) 17:45:37 [17:45:37.777] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 376.72 MiB) 17:45:37 Constructing DeciderProvingKey (mem: 376.72 MiB) 17:45:37 [17:45:37.780] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 376.72 MiB) 17:45:37 goblin ecc op : 56/1024 (mem: 376.72 MiB) 17:45:37 busread : 12/6000 (mem: 376.72 MiB) 17:45:37 lookups : 2/15000 (mem: 376.72 MiB) 17:45:37 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 376.72 MiB) 17:45:37 arithmetic : 4611/56000 (mem: 376.72 MiB) 17:45:37 delta range : 2073/18000 (mem: 376.72 MiB) 17:45:37 elliptic : 2/6000 (mem: 376.72 MiB) 17:45:37 auxiliary : 110/26000 (mem: 376.72 MiB) 17:45:37 poseidon ext : 1272/17000 (mem: 376.72 MiB) 17:45:37 poseidon int : 7241/92000 (mem: 376.72 MiB) 17:45:37 overflow : 0/0 (mem: 376.72 MiB) 17:45:37 (mem: 376.72 MiB) 17:45:37 Total structured size: 242025 (mem: 376.72 MiB) 17:45:37 allocating polynomials object in proving key... (mem: 376.72 MiB) 17:45:37 [17:45:37.896] INFO: ivc-integration:test:native bb - populating trace... (mem: 574.72 MiB) 17:45:37 [17:45:37.926] INFO: ivc-integration:test:native bb - time to construct proving key: 149 ms. (mem: 587.72 MiB) 17:45:37 getting honk vk... precomputed?: 0x5645d29ba740 (mem: 587.72 MiB) 17:45:37 [17:45:37.927] INFO: ivc-integration:test:native bb - computing folding proof (mem: 587.72 MiB) 17:45:37 vkey hash in Oink prover: 0x000000000000000000000000000000004fe59063f23a90540933a733b5f7eb18 (mem: 587.72 MiB) 17:45:38 [17:45:38.175] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 594.72 MiB) 17:45:38 [17:45:38.261] INFO: ivc-integration:test:native bb - perturbator round (mem: 624.72 MiB) 17:45:38 [17:45:38.336] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 657.72 MiB) 17:45:38 [17:45:38.711] INFO: ivc-integration:test:native bb - folded (mem: 657.72 MiB) 17:45:38 constructed folding proof (mem: 657.72 MiB) 17:45:38 [17:45:38.851] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 657.72 MiB) 17:45:38 Constructing DeciderProvingKey (mem: 657.72 MiB) 17:45:38 [17:45:38.860] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 657.72 MiB) 17:45:38 goblin ecc op : 4/1024 (mem: 657.72 MiB) 17:45:38 busread : 7/6000 (mem: 657.72 MiB) 17:45:38 lookups : 2/15000 (mem: 657.72 MiB) 17:45:38 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 657.72 MiB) 17:45:38 arithmetic : 1760/56000 (mem: 657.72 MiB) 17:45:38 delta range : 1754/18000 (mem: 657.72 MiB) 17:45:38 elliptic : 2/6000 (mem: 657.72 MiB) 17:45:38 auxiliary : 26/26000 (mem: 657.72 MiB) 17:45:38 poseidon ext : 2/17000 (mem: 657.72 MiB) 17:45:38 poseidon int : 2/92000 (mem: 657.72 MiB) 17:45:38 overflow : 0/0 (mem: 657.72 MiB) 17:45:38 (mem: 657.72 MiB) 17:45:38 Total structured size: 242025 (mem: 657.72 MiB) 17:45:38 allocating polynomials object in proving key... (mem: 657.72 MiB) 17:45:38 [17:45:38.993] INFO: ivc-integration:test:native bb - populating trace... (mem: 657.72 MiB) 17:45:39 [17:45:39.023] INFO: ivc-integration:test:native bb - time to construct proving key: 169 ms. (mem: 657.72 MiB) 17:45:39 getting honk vk... precomputed?: 0x5645d29b6400 (mem: 657.72 MiB) 17:45:39 computing folding proof (mem: 657.72 MiB) 17:45:39 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 657.72 MiB) 17:45:39 [17:45:39.307] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 657.72 MiB) 17:45:39 [17:45:39.407] INFO: ivc-integration:test:native bb - perturbator round (mem: 657.72 MiB) 17:45:39 [17:45:39.442] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 657.72 MiB) 17:45:39 [17:45:39.768] INFO: ivc-integration:test:native bb - folded (mem: 657.72 MiB) 17:45:39 constructed folding proof (mem: 657.72 MiB) 17:45:39 [17:45:39.919] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000004fe59063f23a90540933a733b5f7eb18 (mem: 657.72 MiB) 17:45:40 [17:45:40.004] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 657.72 MiB) 17:45:40 [17:45:40.079] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 657.72 MiB) 17:45:40 Constructing DeciderProvingKey (mem: 657.72 MiB) 17:45:40 [17:45:40.085] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 657.72 MiB) 17:45:40 goblin ecc op : 792/1024 (mem: 657.72 MiB) 17:45:40 [17:45:40.086] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 657.72 MiB) 17:45:40 lookups : 2/15000 (mem: 657.72 MiB) 17:45:40 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 657.72 MiB) 17:45:40 arithmetic : 12076/56000 (mem: 657.72 MiB) 17:45:40 delta range : 2981/18000 (mem: 657.72 MiB) 17:45:40 elliptic : 2/6000 (mem: 657.72 MiB) 17:45:40 auxiliary : 350/26000 (mem: 657.72 MiB) 17:45:40 poseidon ext : 4882/17000 (mem: 657.72 MiB) 17:45:40 poseidon int : 27818/92000 (mem: 657.72 MiB) 17:45:40 overflow : 0/0 (mem: 657.72 MiB) 17:45:40 (mem: 657.72 MiB) 17:45:40 Total structured size: 242025 (mem: 657.72 MiB) 17:45:40 allocating polynomials object in proving key... (mem: 657.72 MiB) 17:45:40 [17:45:40.177] INFO: ivc-integration:test:native bb - populating trace... (mem: 657.72 MiB) 17:45:40 [17:45:40.223] INFO: ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 657.72 MiB) 17:45:40 getting honk vk... precomputed?: 0x5645d29aa5c0 (mem: 657.72 MiB) 17:45:40 computing folding proof (mem: 657.72 MiB) 17:45:40 [17:45:40.225] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000047ec492cbbc1f2beed15ae0782b1a525 (mem: 657.72 MiB) 17:45:40 [17:45:40.826] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 657.72 MiB) 17:45:40 [17:45:40.944] INFO: ivc-integration:test:native bb - perturbator round (mem: 676.07 MiB) 17:45:41 [17:45:41.031] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 707.07 MiB) 17:45:41 [17:45:41.285] INFO: ivc-integration:test:native bb - folded (mem: 707.07 MiB) 17:45:41 constructed folding proof (mem: 707.07 MiB) 17:45:41 [17:45:41.403] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000047ec492cbbc1f2beed15ae0782b1a525 (mem: 707.07 MiB) 17:45:41 [17:45:41.455] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 707.07 MiB) 17:45:41 Constructing DeciderProvingKey (mem: 707.07 MiB) 17:45:41 [17:45:41.460] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.07 MiB) 17:45:41 goblin ecc op : 392/1024 (mem: 707.07 MiB) 17:45:41 busread : 16/6000 (mem: 707.07 MiB) 17:45:41 lookups : 2/15000 (mem: 707.07 MiB) 17:45:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 707.07 MiB) 17:45:41 arithmetic : 6912/56000 (mem: 707.07 MiB) 17:45:41 delta range : 2367/18000 (mem: 707.07 MiB) 17:45:41 elliptic : 2/6000 (mem: 707.07 MiB) 17:45:41 auxiliary : 77/26000 (mem: 707.07 MiB) 17:45:41 poseidon ext : 2442/17000 (mem: 707.07 MiB) 17:45:41 poseidon int : 13910/92000 (mem: 707.07 MiB) 17:45:41 overflow : 0/0 (mem: 707.07 MiB) 17:45:41 (mem: 707.07 MiB) 17:45:41 Total structured size: 242025 (mem: 707.07 MiB) 17:45:41 allocating polynomials object in proving key... (mem: 707.07 MiB) 17:45:41 [17:45:41.550] INFO: ivc-integration:test:native bb - populating trace... (mem: 707.07 MiB) 17:45:41 [17:45:41.586] INFO: ivc-integration:test:native bb - time to construct proving key: 130 ms. (mem: 707.07 MiB) 17:45:41 getting honk vk... precomputed?: 0x5645d2a28a40 (mem: 17:45:41 [17:45:41.587] INFO: ivc-integration:test:native bb - 707.07 MiB) 17:45:41 computing folding proof (mem: 707.07 MiB) 17:45:41 vkey hash in Oink prover: 0x00000000000000000000000000000000e288dd01f2d14b329d9de33ed2eb2e09 (mem: 707.07 MiB) 17:45:41 [17:45:41.903] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 707.07 MiB) 17:45:41 [17:45:41.968] INFO: ivc-integration:test:native bb - perturbator round (mem: 707.07 MiB) 17:45:42 [17:45:42.030] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 707.88 MiB) 17:45:42 [17:45:42.202] INFO: ivc-integration:test:native bb - folded (mem: 707.88 MiB) 17:45:42 constructed folding proof (mem: 707.88 MiB) 17:45:42 [17:45:42.336] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e288dd01f2d14b329d9de33ed2eb2e09 (mem: 707.88 MiB) 17:45:42 [17:45:42.393] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 707.88 MiB) 17:45:42 Constructing DeciderProvingKey (mem: 707.88 MiB) 17:45:42 [17:45:42.398] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.88 MiB) 17:45:42 goblin ecc op : 392/1024 (mem: 707.88 MiB) 17:45:42 busread : 3/6000 (mem: 707.88 MiB) 17:45:42 lookups : 2/15000 (mem: 707.88 MiB) 17:45:42 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 707.88 MiB) 17:45:42 arithmetic : 6847/56000 (mem: 707.88 MiB) 17:45:42 delta range : 2353/18000 (mem: 707.88 MiB) 17:45:42 elliptic : 2/6000 (mem: 707.88 MiB) 17:45:42 auxiliary : 50/26000 (mem: 707.88 MiB) 17:45:42 poseidon ext : 2442/17000 (mem: 707.88 MiB) 17:45:42 poseidon int : 13910/92000 (mem: 707.88 MiB) 17:45:42 overflow : 0/0 (mem: 707.88 MiB) 17:45:42 (mem: 707.88 MiB) 17:45:42 Total structured size: 242025 (mem: 707.88 MiB) 17:45:42 [17:45:42.399] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 707.88 MiB) 17:45:42 [17:45:42.439] INFO: ivc-integration:test:native bb - populating trace... (mem: 707.88 MiB) 17:45:42 [17:45:42.464] INFO: ivc-integration:test:native bb - time to construct proving key: 70 ms. (mem: 707.88 MiB) 17:45:42 getting honk vk... precomputed?: 0x5645d2a26880 (mem: 707.88 MiB) 17:45:42 computing folding proof (mem: 707.88 MiB) 17:45:42 vkey hash in Oink prover: 0x00000000000000000000000000000000c0362c4bb405696ea55962a67ac54c6d (mem: 707.88 MiB) 17:45:42 [17:45:42.702] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 707.88 MiB) 17:45:42 [17:45:42.823] INFO: ivc-integration:test:native bb - perturbator round (mem: 707.88 MiB) 17:45:42 [17:45:42.902] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 709.16 MiB) 17:45:43 [17:45:43.146] INFO: ivc-integration:test:native bb - folded (mem: 709.16 MiB) 17:45:43 [17:45:43.147] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 709.16 MiB) 17:45:43 [17:45:43.309] INFO: ivc-integration:test:native bb - Largest circuit: 48123 gates. Trace details: (mem: 709.16 MiB) 17:45:43 Minimum required block sizes for structured trace: (mem: 709.16 MiB) 17:45:43 (mem: 709.16 MiB) 17:45:43 prove decider... (mem: 709.16 MiB) 17:45:43 [17:45:43.309] INFO: ivc-integration:test:native bb - ecc_op : 792 17:45:43 busread : 16 17:45:43 lookup : 2 17:45:43 pub_inputs : 36 17:45:43 arithmetic : 12076 17:45:43 delta_range : 2981 17:45:43 elliptic : 2 17:45:43 aux : 350 17:45:43 poseidon2_external : 4882 17:45:43 poseidon2_internal : 27818 17:45:43 overflow : 0 17:45:43 [17:45:43.451] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 709.16 MiB) 17:45:43 [17:45:43.538] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 709.16 MiB) 17:45:44 [17:45:44.527] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 709.16 MiB) 17:45:44 [17:45:44.651] INFO: ivc-integration:test:native bb - computed opening proof (mem: 709.16 MiB) 17:45:44 finished decider proving. (mem: 709.16 MiB) 17:45:44 [17:45:44.662] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c0362c4bb405696ea55962a67ac54c6d (mem: 709.16 MiB) 17:45:44 [17:45:44.755] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 709.16 MiB) 17:45:44 [17:45:44.759] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 709.16 MiB) 17:45:44 [17:45:44.823] INFO: ivc-integration:test:native bb - populating trace... (mem: 709.16 MiB) 17:45:44 [17:45:44.855] INFO: ivc-integration:test:native bb - time to construct proving key: 100 ms. (mem: 709.16 MiB) 17:45:45 [17:45:45.445] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 709.16 MiB) 17:45:45 [17:45:45.748] INFO: ivc-integration:test:native bb - created oink proof (mem: 709.16 MiB) 17:45:45 [17:45:45.925] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 709.16 MiB) 17:45:46 [17:45:46.743] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 709.16 MiB) 17:45:47 [17:45:47.812] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 709.16 MiB) 17:45:47 [17:45:47.873] INFO: ivc-integration:test:native bb - computed opening proof (mem: 709.16 MiB) 17:45:47 finished decider proving. (mem: 709.16 MiB) 17:45:47 Constructing a Goblin proof with num ultra ops = 2226 (mem: 709.16 MiB) 17:45:48 [17:45:48.008] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 709.16 MiB) 17:45:48 [17:45:48.296] 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: 709.16 MiB) 17:45:48 [17:45:48.305] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 709.16 MiB) 17:45:49 [17:45:49.495] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 709.16 MiB) 17:45:51 [17:45:51.322] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 709.16 MiB) 17:45:59 [17:45:59.297] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 709.16 MiB) 17:45:59 prove translator... (mem: 709.16 MiB) 17:46:00 [17:46:00.907] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 725.28 MiB) 17:46:02 [17:46:02.995] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 17:46:02 [17:46:02.996] INFO: ivc-integration:test:native bb - (mem: 725.28 MiB) 17:46:05 [17:46:05.557] INFO: ivc-integration:test:native bb - computed opening proof (mem: 725.28 MiB) 17:46:05 [17:46:05.557] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 725.28 MiB) 17:46:05 [17:46:05.559] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 725.28 MiB) 17:46:05 [17:46:05.578] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 725.28 MiB) 17:46:05 libra_evals_verified: 1 (mem: 725.28 MiB) 17:46:05 pairing_check_verified: 1 (mem: 725.28 MiB) 17:46:05 [17:46:05.579] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 725.28 MiB) 17:46:05 [17:46:05.657] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 726.28 MiB) 17:46:05 batch opening verified?: 1 (mem: 726.28 MiB) 17:46:05 eccvm consistency check verified?: 1 (mem: 726.28 MiB) 17:46:05 translation masking consistency checked?: 1 (mem: 726.28 MiB) 17:46:05 [17:46:05.681] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 726.28 MiB) 17:46:05 eccvm verified?: 1 (mem: 726.28 MiB) 17:46:05 [17:46:05.682] INFO: ivc-integration:test:native bb - accumulator construction_verified?: 1 (mem: 726.28 MiB) 17:46:05 translation verified?: 1 (mem: 726.28 MiB) 17:46:05 consistency verified?: 1 (mem: 726.28 MiB) 17:46:05 Goblin verified: 1 (mem: 726.28 MiB) 17:46:05 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-w31MVa" (mem: 726.28 MiB) 17:46:05 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-w31MVa" (mem: 726.28 MiB) 17:46:05 BN254 commitment key size: 262144 (mem: 726.28 MiB) 17:46:05 [17:46:05.686] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 726.28 MiB) 17:46:05 [17:46:05.692] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 726.28 MiB) 17:46:05 goblin ecc op : 4/1024 (mem: 726.28 MiB) 17:46:05 busread : 3/6000 (mem: 726.28 MiB) 17:46:05 [17:46:05.693] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 726.28 MiB) 17:46:05 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 726.28 MiB) 17:46:05 arithmetic : 1773/56000 (mem: 726.28 MiB) 17:46:05 delta range : 1754/18000 (mem: 726.28 MiB) 17:46:05 elliptic : 2/6000 (mem: 726.28 MiB) 17:46:05 auxiliary : 26/26000 (mem: 726.28 MiB) 17:46:05 poseidon ext : 2/17000 (mem: 726.28 MiB) 17:46:05 poseidon int : 2/92000 (mem: 726.28 MiB) 17:46:05 overflow : 0/0 (mem: 726.28 MiB) 17:46:05 (mem: 726.28 MiB) 17:46:05 Total structured size: 242025 (mem: 726.28 MiB) 17:46:05 allocating polynomials object in proving key... (mem: 726.28 MiB) 17:46:05 [17:46:05.799] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.28 MiB) 17:46:05 [17:46:05.809] INFO: ivc-integration:test:native bb - time to construct proving key: 122 ms. (mem: 726.28 MiB) 17:46:05 getting honk vk... precomputed?: 0 (mem: 726.28 MiB) 17:46:06 [17:46:06.099] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 726.28 MiB) 17:46:06 [17:46:06.100] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 726.28 MiB) 17:46:06 [17:46:06.317] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 726.28 MiB) 17:46:06 [17:46:06.431] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 726.28 MiB) 17:46:06 [17:46:06.449] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 726.28 MiB) 17:46:06 [17:46:06.452] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 726.28 MiB) 17:46:06 [17:46:06.453] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 726.28 MiB) 17:46:06 busread : 3/6000 (mem: 726.28 MiB) 17:46:06 lookups : 2/15000 (mem: 726.28 MiB) 17:46:06 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 726.28 MiB) 17:46:06 arithmetic : 4467/56000 (mem: 726.28 MiB) 17:46:06 delta range : 2060/18000 (mem: 726.28 MiB) 17:46:06 elliptic : 2/6000 (mem: 726.28 MiB) 17:46:06 auxiliary : 50/26000 (mem: 726.28 MiB) 17:46:06 poseidon ext : 1282/17000 (mem: 726.28 MiB) 17:46:06 poseidon int : 7298/92000 (mem: 726.28 MiB) 17:46:06 overflow : 0/0 (mem: 726.28 MiB) 17:46:06 (mem: 726.28 MiB) 17:46:06 Total structured size: 242025 (mem: 726.28 MiB) 17:46:06 allocating polynomials object in proving key... (mem: 726.28 MiB) 17:46:06 [17:46:06.625] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.28 MiB) 17:46:06 [17:46:06.642] INFO: ivc-integration:test:native bb - time to construct proving key: 192 ms. (mem: 726.28 MiB) 17:46:06 getting honk vk... precomputed?: 0 (mem: 726.28 MiB) 17:46:06 [17:46:06.892] INFO: ivc-integration:test:native bb - computing folding proof (mem: 726.28 MiB) 17:46:06 [17:46:06.893] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000005dfbc562c9a1db7951a05d9e527429ea (mem: 726.28 MiB) 17:46:07 [17:46:07.186] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 726.28 MiB) 17:46:07 [17:46:07.320] INFO: ivc-integration:test:native bb - perturbator round (mem: 726.28 MiB) 17:46:07 [17:46:07.377] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 758.28 MiB) 17:46:07 [17:46:07.620] INFO: ivc-integration:test:native bb - folded (mem: 758.28 MiB) 17:46:07 constructed folding proof (mem: 758.28 MiB) 17:46:07 [17:46:07.744] INFO: ivc-integration:test:native bb - Largest circuit: 15164 gates. Trace details: (mem: 758.28 MiB) 17:46:07 Minimum required block sizes for structured trace: (mem: 758.28 MiB) 17:46:07 [17:46:07.745] INFO: ivc-integration:test:native bb - (mem: 758.28 MiB) 17:46:07 prove decider... (mem: 758.28 MiB) 17:46:07 [17:46:07.746] INFO: ivc-integration:test:native bb - ecc_op : 56 17:46:07 busread : 3 17:46:07 lookup : 2 17:46:07 pub_inputs : 36 17:46:07 arithmetic : 4467 17:46:07 delta_range : 2060 17:46:07 elliptic : 2 17:46:07 aux : 50 17:46:07 poseidon2_external : 1282 17:46:07 poseidon2_internal : 7298 17:46:07 overflow : 0 17:46:07 [17:46:07.926] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 758.28 MiB) 17:46:08 [17:46:08.021] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 758.28 MiB) 17:46:08 [17:46:08.681] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 758.28 MiB) 17:46:08 [17:46:08.775] INFO: ivc-integration:test:native bb - computed opening proof (mem: 758.28 MiB) 17:46:08 finished decider proving. (mem: 758.28 MiB) 17:46:08 [17:46:08.782] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005dfbc562c9a1db7951a05d9e527429ea (mem: 758.28 MiB) 17:46:08 [17:46:08.893] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 758.28 MiB) 17:46:08 [17:46:08.898] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 758.28 MiB) 17:46:08 [17:46:08.959] INFO: ivc-integration:test:native bb - populating trace... (mem: 758.28 MiB) 17:46:08 [17:46:08.996] INFO: ivc-integration:test:native bb - time to construct proving key: 103 ms. (mem: 758.28 MiB) 17:46:09 [17:46:09.442] INFO: ivc-integration:test:native BB concurrency: 1 17:46:09 [17:46:09.442] 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-w31MVa/proof -k /tmp/bb-client-ivc-integration-w31MVa/vk -v 17:46:09 [17:46:09.466] INFO: ivc-integration:test:native bb command: verify (mem: 243.16 MiB) 17:46:09 Scheme is: client_ivc, num threads: 1 (mem: 243.16 MiB) 17:46:09 --proof_path: /tmp/bb-client-ivc-integration-w31MVa/proof (mem: 243.16 MiB) 17:46:09 --vk_path: /tmp/bb-client-ivc-integration-w31MVa/vk (mem: 243.16 MiB) 17:46:09 --verbose: true (mem: 243.16 MiB) 17:46:09 --scheme: client_ivc (mem: 243.16 MiB) 17:46:09 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 243.16 MiB) 17:46:09 [17:46:09.485] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 243.16 MiB) 17:46:09 [17:46:09.486] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 243.16 MiB) 17:46:09 [17:46:09.506] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 243.16 MiB) 17:46:09 [17:46:09.507] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 243.16 MiB) 17:46:09 [17:46:09.507] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 243.16 MiB) 17:46:09 libra_evals_verified: 1 (mem: 243.16 MiB) 17:46:09 pairing_check_verified: 1 (mem: 243.16 MiB) 17:46:09 Mega verified: 1 (mem: 17:46:09 [17:46:09.508] INFO: ivc-integration:test:native 243.16 MiB) 17:46:10 [17:46:10.100] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 243.16 MiB) 17:46:10 batch opening verified?: 1 (mem: 243.16 MiB) 17:46:10 eccvm consistency check verified?: 1 (mem: 243.16 MiB) 17:46:10 translation masking consistency checked?: 1 (mem: 243.16 MiB) 17:46:10 [17:46:10.127] INFO: ivc-integration:test:native merge verified?: 1 (mem: 243.16 MiB) 17:46:10 eccvm verified?: 1 (mem: 243.16 MiB) 17:46:10 accumulator construction_verified?: 1 (mem: 243.16 MiB) 17:46:10 translation verified?: 1 (mem: 243.16 MiB) 17:46:10 consistency verified?: 1 (mem: 243.16 MiB) 17:46:10 Goblin verified: 1 (mem: 243.16 MiB) 17:46:10 verified: 1 (mem: 243.16 MiB) 17:46:10 PASS src/native_client_ivc_integration.test.ts (83.338 s) 17:46:10 Client IVC Integration 17:46:10 ✓ Should generate a verifiable client IVC proof from a simple mock tx (46150 ms) 17:46:10 ✓ Should generate a verifiable client IVC proof from a complex mock tx (33256 ms) 17:46:10 17:46:10 Test Suites: 1 passed, 1 total 17:46:10 Tests: 2 passed, 2 total 17:46:10 Snapshots: 0 total 17:46:10 Time: 83.436 s 17:46:10 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 17:46:10 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?