ACI ·

Parent Log: http://ci.aztec-labs.com/6ab7285ce3a737f1 Command: 4bfd2d3585b9db66: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/d6fa5a2d664ee94f0a393b878236e462c424d11f Env: REF_NAME=gh-readonly-queue/master/pr-15002-1338cef09c870378254c56748f972ae827c4d482 CURRENT_VERSION=0.87.8 CI_FULL=1 Date: Thu Jun 12 11:09:19 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15002_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_master 11:09:22 [11:09:22.743] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-63FXPd/ivc-inputs.msgpack 11:09:22 [11:09:22.748] 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-63FXPd --ivc_inputs_path /tmp/bb-client-ivc-integration-63FXPd/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:09:22 [11:09:22.763] INFO: ivc-integration:test:native bb - bb command: prove (mem: 138.82 MiB) 11:09:22 Scheme is: client_ivc, num threads: 128 (mem: 138.82 MiB) 11:09:22 --scheme: client_ivc (mem: 138.82 MiB) 11:09:22 --output_path: /tmp/bb-client-ivc-integration-63FXPd (mem: 138.82 MiB) 11:09:22 --ivc_inputs_path: /tmp/bb-client-ivc-integration-63FXPd/ivc-inputs.msgpack (mem: 138.82 MiB) 11:09:22 --verbose: true (mem: 138.82 MiB) 11:09:22 --write_vk: true (mem: 138.82 MiB) 11:09:22 [11:09:22.764] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 138.82 MiB) 11:09:22 [11:09:22.872] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 220.00 MiB) 11:09:22 [11:09:22.950] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 268.86 MiB) 11:09:22 [11:09:22.953] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 268.86 MiB) 11:09:22 [11:09:22.953] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 268.86 MiB) 11:09:22 [11:09:22.957] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 268.86 MiB) 11:09:22 goblin ecc op : 4/1024 (mem: 268.86 MiB) 11:09:22 busread : 7/6000 (mem: 268.86 MiB) 11:09:22 lookups : 2/15000 (mem: 268.86 MiB) 11:09:22 [11:09:22.958] INFO: ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 268.86 MiB) 11:09:22 arithmetic : 1760/56000 (mem: 268.86 MiB) 11:09:22 delta range : 1754/18000 (mem: 268.86 MiB) 11:09:22 elliptic : 2/6000 (mem: 268.86 MiB) 11:09:22 auxiliary : 26/26000 (mem: 268.86 MiB) 11:09:22 poseidon ext : 2/17000 (mem: 268.86 MiB) 11:09:22 poseidon int : 2/92000 (mem: 268.86 MiB) 11:09:22 overflow : 0/0 (mem: 268.86 MiB) 11:09:22 (mem: 268.86 MiB) 11:09:22 Total structured size: 242025 (mem: 268.86 MiB) 11:09:22 allocating polynomials object in proving key... (mem: 268.86 MiB) 11:09:23 [11:09:23.010] INFO: ivc-integration:test:native bb - populating trace... (mem: 494.02 MiB) 11:09:23 [11:09:23.019] INFO: ivc-integration:test:native bb - time to construct proving key: 65 ms. (mem: 510.02 MiB) 11:09:23 [11:09:23.043] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x600a9649b800 (mem: 510.02 MiB) 11:09:23 computing oink proof... (mem: 510.02 11:09:23 [11:09:23.044] INFO: ivc-integration:test:native bb - MiB) 11:09:23 [11:09:23.147] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 511.02 MiB) 11:09:23 [11:09:23.170] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 511.02 MiB) 11:09:23 Constructing DeciderProvingKey (mem: 511.02 MiB) 11:09:23 [11:09:23.174] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 511.02 MiB) 11:09:23 goblin ecc op : 56/1024 (mem: 511.02 MiB) 11:09:23 busread : 12/6000 (mem: 511.02 MiB) 11:09:23 lookups : 2/15000 (mem: 511.02 MiB) 11:09:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 511.02 MiB) 11:09:23 arithmetic : 4225/56000 (mem: 511.02 MiB) 11:09:23 delta range : 2043/18000 (mem: 511.02 MiB) 11:09:23 elliptic : 2/6000 (mem: 511.02 MiB) 11:09:23 auxiliary : 110/26000 (mem: 511.02 MiB) 11:09:23 poseidon ext : 882/17000 (mem: 511.02 MiB) 11:09:23 poseidon int : 5018/92000 (mem: 511.02 MiB) 11:09:23 overflow : 0/0 (mem: 511.02 MiB) 11:09:23 (mem: 511.02 MiB) 11:09:23 Total structured size: 242025 (mem: 511.02 MiB) 11:09:23 allocating polynomials object in proving key... (mem: 511.02 MiB) 11:09:23 [11:09:23.236] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.02 MiB) 11:09:23 [11:09:23.253] INFO: ivc-integration:test:native bb - time to construct proving key: 82 ms. (mem: 746.02 MiB) 11:09:23 [11:09:23.287] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x600a9649a000 (mem: 746.02 MiB) 11:09:23 computing folding proof (mem: 746.02 MiB) 11:09:23 [11:09:23.413] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 746.02 MiB) 11:09:23 [11:09:23.479] INFO: ivc-integration:test:native bb - perturbator round (mem: 784.02 MiB) 11:09:23 [11:09:23.516] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.02 MiB) 11:09:23 [11:09:23.626] INFO: ivc-integration:test:native bb - folded (mem: 816.02 MiB) 11:09:23 constructed folding proof (mem: 816.02 MiB) 11:09:23 [11:09:23.688] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.02 MiB) 11:09:23 Constructing DeciderProvingKey (mem: 816.02 MiB) 11:09:23 [11:09:23.690] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.02 MiB) 11:09:23 goblin ecc op : 392/1024 (mem: 816.02 MiB) 11:09:23 busread : 3/6000 11:09:23 [11:09:23.691] INFO: ivc-integration:test:native bb - (mem: 816.02 MiB) 11:09:23 lookups : 2/15000 (mem: 816.02 MiB) 11:09:23 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 816.02 MiB) 11:09:23 arithmetic : 6440/56000 (mem: 816.02 MiB) 11:09:23 delta range : 2323/18000 (mem: 816.02 MiB) 11:09:23 elliptic : 2/6000 (mem: 816.02 MiB) 11:09:23 auxiliary : 50/26000 (mem: 816.02 MiB) 11:09:23 poseidon ext : 2042/17000 (mem: 816.02 MiB) 11:09:23 poseidon int : 11630/92000 (mem: 816.02 MiB) 11:09:23 overflow : 0/0 (mem: 816.02 MiB) 11:09:23 (mem: 816.02 MiB) 11:09:23 Total structured size: 242025 (mem: 816.02 MiB) 11:09:23 allocating polynomials object in proving key... (mem: 816.02 MiB) 11:09:23 [11:09:23.764] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.02 MiB) 11:09:23 [11:09:23.781] INFO: ivc-integration:test:native bb - time to construct proving key: 94 ms. (mem: 816.02 MiB) 11:09:23 [11:09:23.847] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x600a9649f940 (mem: 816.02 MiB) 11:09:23 computing folding proof (mem: 816.02 MiB) 11:09:24 [11:09:24.143] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.02 MiB) 11:09:24 [11:09:24.217] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.02 MiB) 11:09:24 [11:09:24.272] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 825.46 MiB) 11:09:24 [11:09:24.592] INFO: ivc-integration:test:native bb - folded (mem: 825.46 MiB) 11:09:24 constructed folding proof (mem: 825.46 MiB) 11:09:24 [11:09:24.594] INFO: ivc-integration:test:native bb - Largest circuit: 22492 gates. Trace details: (mem: 825.46 MiB) 11:09:24 Minimum required block sizes for structured trace: (mem: 825.46 MiB) 11:09:24 (mem: 825.46 MiB) 11:09:24 prove decider... (mem: 825.46 MiB) 11:09:24 finished decider proving. (mem: 825.46 MiB) 11:09:24 [11:09:24.595] INFO: ivc-integration:test:native bb - ecc_op : 392 11:09:24 busread : 12 11:09:24 lookup : 2 11:09:24 pub_inputs : 36 11:09:24 arithmetic : 6440 11:09:24 delta_range : 2323 11:09:24 elliptic : 2 11:09:24 aux : 110 11:09:24 poseidon2_external : 2042 11:09:24 poseidon2_internal : 11630 11:09:24 overflow : 0 11:09:24 [11:09:24.772] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 825.46 MiB) 11:09:24 [11:09:24.938] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 825.46 MiB) 11:09:25 [11:09:25.875] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 825.46 MiB) 11:09:25 [11:09:25.944] INFO: ivc-integration:test:native bb - computed opening proof (mem: 825.46 MiB) 11:09:26 [11:09:26.060] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 825.46 MiB) 11:09:26 [11:09:26.065] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 825.46 MiB) 11:09:26 [11:09:26.276] INFO: ivc-integration:test:native bb - populating trace... (mem: 825.46 MiB) 11:09:26 [11:09:26.341] INFO: ivc-integration:test:native bb - time to construct proving key: 282 ms. (mem: 825.46 MiB) 11:09:27 [11:09:27.139] INFO: ivc-integration:test:native bb - created oink proof (mem: 825.46 MiB) 11:09:27 [11:09:27.504] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 825.46 MiB) 11:09:28 [11:09:28.318] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 825.46 MiB) 11:09:29 [11:09:29.103] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 825.46 MiB) 11:09:29 [11:09:29.135] INFO: ivc-integration:test:native bb - computed opening proof (mem: 825.46 MiB) 11:09:29 [11:09:29.260] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 825.46 MiB) 11:09:29 prove eccvm... (mem: 825.46 MiB) 11:09:29 [11:09:29.707] 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: 825.46 MiB) 11:09:29 [11:09:29.722] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 825.46 MiB) 11:09:32 [11:09:32.101] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 825.46 MiB) 11:09:33 [11:09:33.436] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 825.46 MiB) 11:09:38 [11:09:38.483] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 825.46 MiB) 11:09:38 prove translator... (mem: 825.46 MiB) 11:09:40 [11:09:40.553] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 825.46 MiB) 11:09:41 [11:09:41.705] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 825.46 MiB) 11:09:43 [11:09:43.209] INFO: ivc-integration:test:native bb - computed opening proof (mem: 825.46 MiB) 11:09:43 [11:09:43.210] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 825.46 MiB) 11:09:43 [11:09:43.225] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 825.46 MiB) 11:09:43 [11:09:43.289] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 825.46 MiB) 11:09:43 batch opening verified?: 1 (mem: 825.46 MiB) 11:09:43 eccvm consistency check verified?: 1 (mem: 825.46 MiB) 11:09:43 translation masking consistency checked?: 1 (mem: 825.46 MiB) 11:09:43 [11:09:43.309] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 825.46 MiB) 11:09:43 eccvm verified?: 1 (mem: 825.46 MiB) 11:09:43 accumulator construction_verified?: 1 (mem: 825.46 MiB) 11:09:43 [11:09:43.310] INFO: ivc-integration:test:native bb - 11:09:43 translation verified?: 1 (mem: 825.46 MiB) 11:09:43 consistency verified?: 1 (mem: 825.46 MiB) 11:09:43 Goblin verified: 1 (mem: 825.46 MiB) 11:09:43 [11:09:43.312] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-63FXPd" (mem: 825.46 MiB) 11:09:43 [11:09:43.313] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-63FXPd" (mem: 825.46 MiB) 11:09:43 [11:09:43.313] INFO: ivc-integration:test:native bb - num_public_inputs_in_final_circuit: 4 (mem: 825.46 MiB) 11:09:43 BN254 commitment key size: 262144 (mem: 825.46 MiB) 11:09:43 [11:09:43.315] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 825.46 MiB) 11:09:43 [11:09:43.318] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 825.46 MiB) 11:09:43 goblin ecc op : 4/1024 (mem: 825.46 MiB) 11:09:43 busread : 3/6000 (mem: 825.46 MiB) 11:09:43 [11:09:43.319] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 825.46 MiB) 11:09:43 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 825.46 MiB) 11:09:43 arithmetic : 1773/56000 (mem: 825.46 MiB) 11:09:43 delta range : 1754/18000 (mem: 825.46 MiB) 11:09:43 elliptic : 2/6000 (mem: 825.46 MiB) 11:09:43 auxiliary : 26/26000 (mem: 825.46 MiB) 11:09:43 poseidon ext : 2/17000 (mem: 825.46 MiB) 11:09:43 poseidon int : 2/92000 (mem: 825.46 MiB) 11:09:43 overflow : 0/0 (mem: 825.46 MiB) 11:09:43 (mem: 825.46 MiB) 11:09:43 Total structured size: 242025 (mem: 825.46 MiB) 11:09:43 allocating polynomials object in proving key... (mem: 825.46 MiB) 11:09:43 [11:09:43.384] INFO: ivc-integration:test:native bb - populating trace... (mem: 825.46 MiB) 11:09:43 [11:09:43.396] INFO: ivc-integration:test:native bb - time to construct proving key: 80 ms. (mem: 825.46 MiB) 11:09:43 [11:09:43.501] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 825.46 MiB) 11:09:44 [11:09:44.063] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 825.46 MiB) 11:09:44 [11:09:44.245] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 825.46 MiB) 11:09:44 [11:09:44.263] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 825.46 MiB) 11:09:44 [11:09:44.266] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 825.46 MiB) 11:09:44 goblin ecc op : 56/1024 (mem: 825.46 MiB) 11:09:44 busread : 3/6000 (mem: 825.46 MiB) 11:09:44 lookups : 2/15000 (mem: 825.46 MiB) 11:09:44 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 825.46 MiB) 11:09:44 arithmetic : 4072/56000 (mem: 825.46 MiB) 11:09:44 delta range : 2030/18000 (mem: 825.46 MiB) 11:09:44 elliptic : 2/6000 (mem: 825.46 MiB) 11:09:44 auxiliary : 50/26000 (mem: 825.46 MiB) 11:09:44 poseidon ext : 882/17000 (mem: 825.46 MiB) 11:09:44 poseidon int : 5018/92000 (mem: 825.46 MiB) 11:09:44 overflow : 0/0 (mem: 825.46 MiB) 11:09:44 (mem: 825.46 MiB) 11:09:44 Total structured size: 242025 (mem: 825.46 MiB) 11:09:44 allocating polynomials object in proving key... (mem: 825.46 MiB) 11:09:44 [11:09:44.360] INFO: ivc-integration:test:native bb - populating trace... (mem: 901.45 MiB) 11:09:44 [11:09:44.380] INFO: ivc-integration:test:native bb - time to construct proving key: 116 ms. (mem: 901.45 MiB) 11:09:44 [11:09:44.425] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 901.45 MiB) 11:09:44 [11:09:44.962] INFO: ivc-integration:test:native bb - computing folding proof (mem: 901.45 MiB) 11:09:45 [11:09:45.240] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 910.45 MiB) 11:09:45 [11:09:45.314] INFO: ivc-integration:test:native bb - perturbator round (mem: 910.45 MiB) 11:09:45 [11:09:45.368] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 942.45 MiB) 11:09:45 [11:09:45.593] INFO: ivc-integration:test:native bb - folded (mem: 942.45 MiB) 11:09:45 [11:09:45.593] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 942.45 MiB) 11:09:45 [11:09:45.604] INFO: ivc-integration:test:native bb - Largest circuit: 12059 gates. Trace details: (mem: 942.45 MiB) 11:09:45 Minimum required block sizes for structured trace: (mem: 942.45 MiB) 11:09:45 (mem: 942.45 MiB) 11:09:45 prove decider... (mem: 942.45 MiB) 11:09:45 finished decider proving. (mem: 942.45 MiB) 11:09:45 [11:09:45.607] INFO: ivc-integration:test:native bb - ecc_op : 56 11:09:45 busread : 3 11:09:45 lookup : 2 11:09:45 pub_inputs : 36 11:09:45 arithmetic : 4072 11:09:45 delta_range : 2030 11:09:45 elliptic : 2 11:09:45 aux : 50 11:09:45 poseidon2_external : 882 11:09:45 poseidon2_internal : 5018 11:09:45 overflow : 0 11:09:45 [11:09:45.689] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 942.45 MiB) 11:09:45 [11:09:45.796] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 942.45 MiB) 11:09:46 [11:09:46.470] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 11:09:46 [11:09:46.471] INFO: ivc-integration:test:native bb - (mem: 942.45 MiB) 11:09:46 [11:09:46.591] INFO: ivc-integration:test:native bb - computed opening proof (mem: 942.45 MiB) 11:09:46 [11:09:46.699] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 942.45 MiB) 11:09:46 [11:09:46.703] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 942.45 MiB) 11:09:46 [11:09:46.768] INFO: ivc-integration:test:native bb - populating trace... (mem: 942.45 MiB) 11:09:46 [11:09:46.810] INFO: ivc-integration:test:native bb - time to construct proving key: 109 ms. (mem: 942.45 MiB) 11:09:47 [11:09:47.314] 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-63FXPd/proof -k /tmp/bb-client-ivc-integration-63FXPd/vk -v 11:09:47 [11:09:47.333] INFO: ivc-integration:test:native bb command: verify (mem: 138.82 MiB) 11:09:47 [11:09:47.333] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 138.82 MiB) 11:09:47 --proof_path: /tmp/bb-client-ivc-integration-63FXPd/proof (mem: 138.82 MiB) 11:09:47 --vk_path: /tmp/bb-client-ivc-integration-63FXPd/vk (mem: 138.82 MiB) 11:09:47 --verbose: true (mem: 138.82 MiB) 11:09:47 --scheme: client_ivc (mem: 138.82 MiB) 11:09:47 [11:09:47.489] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 160.00 MiB) 11:09:47 [11:09:47.517] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 172.75 MiB) 11:09:47 [11:09:47.541] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 172.75 MiB) 11:09:47 Initialized BN254 CRS from memory with num points = 1025 (mem: 172.75 MiB) 11:09:47 Mega verified: 1 (mem: 172.75 MiB) 11:09:47 [11:09:47.632] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 187.87 MiB) 11:09:47 batch opening verified?: 1 (mem: 187.87 MiB) 11:09:47 eccvm consistency check verified?: 1 (mem: 187.87 MiB) 11:09:47 translation masking consistency checked?: 1 (mem: 187.87 MiB) 11:09:47 [11:09:47.655] INFO: ivc-integration:test:native merge verified?: 1 (mem: 187.87 MiB) 11:09:47 eccvm verified?: 1 (mem: 11:09:47 [11:09:47.655] INFO: ivc-integration:test:native 187.87 MiB) 11:09:47 accumulator construction_verified?: 1 (mem: 187.87 MiB) 11:09:47 translation verified?: 1 (mem: 187.87 MiB) 11:09:47 consistency verified?: 1 (mem: 187.87 MiB) 11:09:47 Goblin verified: 1 (mem: 187.87 MiB) 11:09:47 [11:09:47.660] INFO: ivc-integration:test:native verified: 1 (mem: 187.87 MiB) 11:09:47 [11:09:47.735] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-EWT4Ao/ivc-inputs.msgpack 11:09:47 [11:09:47.736] 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-EWT4Ao --ivc_inputs_path /tmp/bb-client-ivc-integration-EWT4Ao/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:09:47 [11:09:47.753] INFO: ivc-integration:test:native bb - bb command: prove (mem: 141.53 MiB) 11:09:47 [11:09:47.755] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 141.53 MiB) 11:09:47 --scheme: client_ivc (mem: 141.53 MiB) 11:09:47 --output_path: /tmp/bb-client-ivc-integration-EWT4Ao (mem: 141.53 MiB) 11:09:47 --ivc_inputs_path: /tmp/bb-client-ivc-integration-EWT4Ao/ivc-inputs.msgpack (mem: 141.53 MiB) 11:09:47 --verbose: true (mem: 141.53 MiB) 11:09:47 --write_vk: true (mem: 141.53 MiB) 11:09:47 [11:09:47.758] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 141.53 MiB) 11:09:47 [11:09:47.871] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.00 MiB) 11:09:47 [11:09:47.952] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 297.22 MiB) 11:09:47 [11:09:47.956] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 297.22 MiB) 11:09:47 Constructing DeciderProvingKey (mem: 297.22 MiB) 11:09:47 [11:09:47.962] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.22 MiB) 11:09:47 goblin ecc op : 4/1024 (mem: 297.22 MiB) 11:09:47 busread : 7/6000 (mem: 297.22 MiB) 11:09:47 lookups : 2/15000 (mem: 297.22 MiB) 11:09:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.22 MiB) 11:09:47 arithmetic : 1760/56000 (mem: 297.22 MiB) 11:09:47 delta range : 1754/18000 (mem: 297.22 MiB) 11:09:47 elliptic : 2/6000 (mem: 297.22 MiB) 11:09:47 auxiliary : 26/26000 (mem: 297.22 MiB) 11:09:47 poseidon ext : 2/17000 (mem: 297.22 MiB) 11:09:47 poseidon int : 2/92000 (mem: 297.22 MiB) 11:09:47 overflow : 0/0 (mem: 297.22 MiB) 11:09:47 [11:09:47.964] INFO: ivc-integration:test:native bb - (mem: 297.22 MiB) 11:09:47 Total structured size: 242025 (mem: 297.22 MiB) 11:09:47 allocating polynomials object in proving key... (mem: 297.22 MiB) 11:09:48 [11:09:48.218] INFO: ivc-integration:test:native bb - populating trace... (mem: 498.34 MiB) 11:09:48 [11:09:48.302] INFO: ivc-integration:test:native bb - time to construct proving key: 345 ms. (mem: 511.34 MiB) 11:09:48 [11:09:48.432] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6157063f3640 (mem: 511.34 MiB) 11:09:48 computing oink proof... (mem: 511.34 MiB) 11:09:48 [11:09:48.641] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 511.34 MiB) 11:09:48 [11:09:48.660] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 511.34 MiB) 11:09:48 Constructing DeciderProvingKey (mem: 511.34 MiB) 11:09:48 [11:09:48.667] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 511.34 MiB) 11:09:48 goblin ecc op : 56/1024 (mem: 511.34 MiB) 11:09:48 busread : 12/6000 (mem: 511.34 MiB) 11:09:48 lookups : 2/15000 (mem: 511.34 MiB) 11:09:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 511.34 MiB) 11:09:48 arithmetic : 4225/56000 (mem: 511.34 MiB) 11:09:48 delta range : 2043/18000 (mem: 511.34 MiB) 11:09:48 elliptic : 2/6000 (mem: 511.34 MiB) 11:09:48 auxiliary : 110/26000 (mem: 511.34 MiB) 11:09:48 poseidon ext : 882/17000 (mem: 511.34 MiB) 11:09:48 poseidon int : 5018/92000 (mem: 511.34 MiB) 11:09:48 overflow : 0/0 (mem: 511.34 MiB) 11:09:48 (mem: 511.34 MiB) 11:09:48 Total structured size: 242025 (mem: 511.34 MiB) 11:09:48 allocating polynomials object in proving key... (mem: 511.34 MiB) 11:09:48 [11:09:48.737] INFO: ivc-integration:test:native bb - populating trace... (mem: 725.34 MiB) 11:09:48 [11:09:48.756] INFO: ivc-integration:test:native bb - time to construct proving key: 95 ms. (mem: 735.34 MiB) 11:09:48 [11:09:48.843] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6157063fc880 (mem: 735.34 MiB) 11:09:48 computing folding proof (mem: 735.34 MiB) 11:09:49 [11:09:49.246] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 735.34 MiB) 11:09:49 [11:09:49.329] INFO: ivc-integration:test:native bb - perturbator round (mem: 772.34 MiB) 11:09:49 [11:09:49.415] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 804.34 MiB) 11:09:49 [11:09:49.591] INFO: ivc-integration:test:native bb - folded (mem: 804.34 MiB) 11:09:49 constructed folding proof (mem: 804.34 MiB) 11:09:49 [11:09:49.593] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 804.34 MiB) 11:09:49 Constructing DeciderProvingKey (mem: 804.34 MiB) 11:09:49 [11:09:49.597] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 804.34 MiB) 11:09:49 goblin ecc op : 4/1024 (mem: 804.34 MiB) 11:09:49 busread : 7/6000 (mem: 804.34 MiB) 11:09:49 lookups : 2/15000 (mem: 804.34 MiB) 11:09:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 804.34 MiB) 11:09:49 arithmetic : 1760/56000 (mem: 804.34 MiB) 11:09:49 delta range : 1754/18000 (mem: 804.34 MiB) 11:09:49 elliptic : 2/6000 (mem: 804.34 MiB) 11:09:49 auxiliary : 26/26000 (mem: 804.34 MiB) 11:09:49 poseidon ext : 2/17000 (mem: 804.34 MiB) 11:09:49 poseidon int : 2/92000 (mem: 804.34 MiB) 11:09:49 overflow : 0/0 (mem: 804.34 MiB) 11:09:49 (mem: 804.34 MiB) 11:09:49 Total structured size: 242025 (mem: 804.34 MiB) 11:09:49 allocating polynomials object in proving key... (mem: 804.34 MiB) 11:09:49 [11:09:49.736] INFO: ivc-integration:test:native bb - populating trace... (mem: 804.34 MiB) 11:09:49 [11:09:49.746] INFO: ivc-integration:test:native bb - time to construct proving key: 153 ms. (mem: 804.34 MiB) 11:09:49 [11:09:49.829] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6157063f3e80 (mem: 804.34 MiB) 11:09:49 computing folding proof (mem: 804.34 MiB) 11:09:50 [11:09:50.014] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 804.34 MiB) 11:09:50 [11:09:50.088] INFO: ivc-integration:test:native bb - perturbator round (mem: 804.34 MiB) 11:09:50 [11:09:50.134] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 805.04 MiB) 11:09:50 [11:09:50.240] INFO: ivc-integration:test:native bb - folded (mem: 805.04 MiB) 11:09:50 constructed folding proof (mem: 805.04 MiB) 11:09:50 [11:09:50.366] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 805.04 MiB) 11:09:50 Constructing DeciderProvingKey (mem: 805.04 MiB) 11:09:50 [11:09:50.370] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 805.04 MiB) 11:09:50 goblin ecc op : 792/1024 (mem: 805.04 MiB) 11:09:50 busread : 12/6000 (mem: 805.04 MiB) 11:09:50 lookups : 2/15000 (mem: 11:09:50 [11:09:50.371] INFO: ivc-integration:test:native bb - 805.04 MiB) 11:09:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 805.04 MiB) 11:09:50 arithmetic : 11272/56000 (mem: 805.04 MiB) 11:09:50 delta range : 2922/18000 (mem: 805.04 MiB) 11:09:50 elliptic : 2/6000 (mem: 805.04 MiB) 11:09:50 auxiliary : 350/26000 (mem: 805.04 MiB) 11:09:50 poseidon ext : 4092/17000 (mem: 805.04 MiB) 11:09:50 poseidon int : 23315/92000 (mem: 805.04 MiB) 11:09:50 overflow : 0/0 (mem: 805.04 MiB) 11:09:50 (mem: 805.04 MiB) 11:09:50 Total structured size: 242025 (mem: 805.04 MiB) 11:09:50 allocating polynomials object in proving key... (mem: 805.04 MiB) 11:09:50 [11:09:50.412] INFO: ivc-integration:test:native bb - populating trace... (mem: 805.04 MiB) 11:09:50 [11:09:50.433] INFO: ivc-integration:test:native bb - time to construct proving key: 67 ms. (mem: 805.04 MiB) 11:09:50 [11:09:50.519] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6157064032c0 (mem: 805.04 MiB) 11:09:50 computing folding proof (mem: 805.04 11:09:50 [11:09:50.520] INFO: ivc-integration:test:native bb - MiB) 11:09:50 [11:09:50.862] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 805.04 MiB) 11:09:50 [11:09:50.964] INFO: ivc-integration:test:native bb - perturbator round (mem: 805.04 MiB) 11:09:51 [11:09:51.038] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 833.02 MiB) 11:09:51 [11:09:51.206] INFO: ivc-integration:test:native bb - folded (mem: 833.02 MiB) 11:09:51 [11:09:51.207] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 833.02 MiB) 11:09:51 [11:09:51.274] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 833.02 MiB) 11:09:51 Constructing DeciderProvingKey (mem: 833.02 MiB) 11:09:51 [11:09:51.277] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 833.02 MiB) 11:09:51 goblin ecc op : 392/1024 (mem: 833.02 MiB) 11:09:51 busread : 16/6000 (mem: 833.02 MiB) 11:09:51 lookups : 2/15000 (mem: 833.02 MiB) 11:09:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 833.02 MiB) 11:09:51 arithmetic : 6505/56000 11:09:51 [11:09:51.278] INFO: ivc-integration:test:native bb - (mem: 833.02 MiB) 11:09:51 delta range : 2337/18000 (mem: 833.02 MiB) 11:09:51 elliptic : 2/6000 (mem: 833.02 MiB) 11:09:51 auxiliary : 77/26000 (mem: 833.02 MiB) 11:09:51 poseidon ext : 2042/17000 (mem: 833.02 MiB) 11:09:51 poseidon int : 11630/92000 (mem: 833.02 MiB) 11:09:51 overflow : 0/0 (mem: 833.02 MiB) 11:09:51 (mem: 833.02 MiB) 11:09:51 Total structured size: 242025 (mem: 833.02 MiB) 11:09:51 allocating polynomials object in proving key... (mem: 833.02 MiB) 11:09:51 [11:09:51.375] INFO: ivc-integration:test:native bb - populating trace... (mem: 833.02 MiB) 11:09:51 [11:09:51.404] INFO: ivc-integration:test:native bb - time to construct proving key: 130 ms. (mem: 833.02 MiB) 11:09:51 [11:09:51.466] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x615706468980 (mem: 833.02 MiB) 11:09:51 computing folding proof (mem: 833.02 MiB) 11:09:51 [11:09:51.643] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 833.02 MiB) 11:09:51 [11:09:51.722] INFO: ivc-integration:test:native bb - perturbator round (mem: 833.02 MiB) 11:09:51 [11:09:51.759] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 833.20 MiB) 11:09:51 [11:09:51.840] INFO: ivc-integration:test:native bb - folded (mem: 833.20 MiB) 11:09:51 constructed folding proof (mem: 833.20 MiB) 11:09:51 [11:09:51.885] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 833.20 MiB) 11:09:51 Constructing DeciderProvingKey (mem: 833.20 MiB) 11:09:51 [11:09:51.887] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 833.20 MiB) 11:09:51 goblin ecc op : 392/1024 (mem: 833.20 MiB) 11:09:51 busread : 3/6000 (mem: 833.20 MiB) 11:09:51 lookups : 2/15000 (mem: 833.20 MiB) 11:09:51 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 833.20 11:09:51 [11:09:51.888] INFO: ivc-integration:test:native bb - MiB) 11:09:51 arithmetic : 6440/56000 (mem: 833.20 MiB) 11:09:51 delta range : 2323/18000 (mem: 833.20 MiB) 11:09:51 elliptic : 2/6000 (mem: 833.20 MiB) 11:09:51 auxiliary : 50/26000 (mem: 833.20 MiB) 11:09:51 poseidon ext : 2042/17000 (mem: 833.20 MiB) 11:09:51 poseidon int : 11630/92000 (mem: 833.20 MiB) 11:09:51 overflow : 0/0 (mem: 833.20 MiB) 11:09:51 (mem: 833.20 MiB) 11:09:51 Total structured size: 242025 (mem: 833.20 MiB) 11:09:51 allocating polynomials object in proving key... (mem: 833.20 MiB) 11:09:51 [11:09:51.922] INFO: ivc-integration:test:native bb - populating trace... (mem: 833.20 MiB) 11:09:51 [11:09:51.937] INFO: ivc-integration:test:native bb - time to construct proving key: 51 ms. (mem: 833.20 MiB) 11:09:52 [11:09:52.001] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6157064704c0 (mem: 833.20 MiB) 11:09:52 computing folding proof (mem: 833.20 MiB) 11:09:52 [11:09:52.398] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 833.20 MiB) 11:09:52 [11:09:52.469] INFO: ivc-integration:test:native bb - perturbator round (mem: 833.20 MiB) 11:09:52 [11:09:52.525] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 833.50 MiB) 11:09:52 [11:09:52.749] INFO: ivc-integration:test:native bb - folded (mem: 833.50 MiB) 11:09:52 constructed folding proof (mem: 833.50 MiB) 11:09:52 Largest circuit: 41967 gates. Trace details: (mem: 833.50 MiB) 11:09:52 Minimum required block sizes for structured trace: (mem: 833.50 MiB) 11:09:52 (mem: 833.50 MiB) 11:09:52 prove decider... (mem: 833.50 MiB) 11:09:52 finished decider proving. (mem: 833.50 MiB) 11:09:52 [11:09:52.752] INFO: ivc-integration:test:native bb - ecc_op : 792 11:09:52 busread : 16 11:09:52 lookup : 2 11:09:52 pub_inputs : 36 11:09:52 arithmetic : 11272 11:09:52 delta_range : 2922 11:09:52 elliptic : 2 11:09:52 aux : 350 11:09:52 poseidon2_external : 4092 11:09:52 poseidon2_internal : 23315 11:09:52 overflow : 0 11:09:52 [11:09:52.854] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 833.50 MiB) 11:09:53 [11:09:53.143] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 833.50 MiB) 11:09:53 [11:09:53.662] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 833.50 MiB) 11:09:53 [11:09:53.725] INFO: ivc-integration:test:native bb - computed opening proof (mem: 833.50 MiB) 11:09:53 [11:09:53.831] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 833.50 MiB) 11:09:53 [11:09:53.836] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 833.50 MiB) 11:09:53 [11:09:53.909] INFO: ivc-integration:test:native bb - populating trace... (mem: 833.50 MiB) 11:09:53 [11:09:53.936] INFO: ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 833.50 MiB) 11:09:54 [11:09:54.835] INFO: ivc-integration:test:native bb - created oink proof (mem: 833.50 MiB) 11:09:55 [11:09:55.237] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 833.50 MiB) 11:09:55 [11:09:55.888] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 833.50 MiB) 11:09:56 [11:09:56.406] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 833.50 MiB) 11:09:56 [11:09:56.437] INFO: ivc-integration:test:native bb - computed opening proof (mem: 833.50 MiB) 11:09:56 [11:09:56.626] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 833.50 MiB) 11:09:56 prove eccvm... (mem: 833.50 MiB) 11:09:57 [11:09:57.117] 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: 833.50 MiB) 11:09:57 [11:09:57.138] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 833.50 MiB) 11:09:59 [11:09:59.096] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 833.50 MiB) 11:10:00 [11:10:00.188] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 833.50 MiB) 11:10:02 [11:10:02.835] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 833.50 MiB) 11:10:02 prove translator... (mem: 833.50 MiB) 11:10:04 [11:10:04.736] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 11:10:04 [11:10:04.737] INFO: ivc-integration:test:native bb - 833.50 MiB) 11:10:06 [11:10:06.363] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 833.50 MiB) 11:10:08 [11:10:08.773] INFO: ivc-integration:test:native bb - computed opening proof (mem: 833.50 MiB) 11:10:08 [11:10:08.774] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 833.50 MiB) 11:10:08 [11:10:08.792] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 833.50 MiB) 11:10:08 [11:10:08.857] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 833.50 MiB) 11:10:08 batch opening verified?: 1 (mem: 833.50 MiB) 11:10:08 eccvm consistency check verified?: 1 (mem: 833.50 MiB) 11:10:08 translation masking consistency checked?: 1 (mem: 833.50 MiB) 11:10:08 [11:10:08.878] INFO: ivc-integration:test:native bb - merge verified?: 1 11:10:08 [11:10:08.879] INFO: ivc-integration:test:native bb - (mem: 833.50 MiB) 11:10:08 eccvm verified?: 1 (mem: 833.50 MiB) 11:10:08 accumulator construction_verified?: 1 (mem: 833.50 MiB) 11:10:08 translation verified?: 1 (mem: 833.50 MiB) 11:10:08 [11:10:08.879] INFO: ivc-integration:test:native bb - consistency verified?: 1 (mem: 833.50 MiB) 11:10:08 Goblin verified: 1 (mem: 833.50 MiB) 11:10:08 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-EWT4Ao" (mem: 833.50 MiB) 11:10:08 [11:10:08.880] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-EWT4Ao" (mem: 833.50 MiB) 11:10:08 [11:10:08.880] INFO: ivc-integration:test:native bb - num_public_inputs_in_final_circuit: 4 (mem: 833.50 MiB) 11:10:08 [11:10:08.884] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 833.50 MiB) 11:10:08 Constructing DeciderProvingKey (mem: 833.50 MiB) 11:10:08 [11:10:08.886] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 833.50 MiB) 11:10:08 goblin ecc op : 4/1024 (mem: 833.50 MiB) 11:10:08 busread : 3/6000 (mem: 833.50 MiB) 11:10:08 [11:10:08.886] INFO: ivc-integration:test:native bb - 11:10:08 lookups : 2/15000 (mem: 833.50 MiB) 11:10:08 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 833.50 MiB) 11:10:08 arithmetic : 1773/56000 (mem: 833.50 MiB) 11:10:08 delta range : 1754/18000 (mem: 833.50 MiB) 11:10:08 elliptic : 2/6000 (mem: 833.50 MiB) 11:10:08 auxiliary : 26/26000 (mem: 833.50 MiB) 11:10:08 poseidon ext : 2/17000 (mem: 833.50 MiB) 11:10:08 poseidon int : 2/92000 (mem: 833.50 MiB) 11:10:08 overflow : 0/0 (mem: 833.50 MiB) 11:10:08 (mem: 833.50 MiB) 11:10:08 Total structured size: 242025 (mem: 833.50 MiB) 11:10:08 allocating polynomials object in proving key... (mem: 833.50 MiB) 11:10:09 [11:10:09.005] INFO: ivc-integration:test:native bb - populating trace... (mem: 833.50 MiB) 11:10:09 [11:10:09.033] INFO: ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 833.50 MiB) 11:10:09 [11:10:09.123] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 833.50 MiB) 11:10:09 [11:10:09.943] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 833.50 MiB) 11:10:10 [11:10:10.198] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 833.50 MiB) 11:10:10 [11:10:10.213] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 833.50 MiB) 11:10:10 [11:10:10.215] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 833.50 MiB) 11:10:10 goblin ecc op : 56/1024 (mem: 833.50 MiB) 11:10:10 [11:10:10.216] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 833.50 MiB) 11:10:10 lookups : 2/15000 (mem: 833.50 MiB) 11:10:10 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 833.50 MiB) 11:10:10 arithmetic : 4072/56000 (mem: 833.50 MiB) 11:10:10 delta range : 2030/18000 (mem: 833.50 MiB) 11:10:10 elliptic : 2/6000 (mem: 833.50 MiB) 11:10:10 auxiliary : 50/26000 (mem: 833.50 MiB) 11:10:10 poseidon ext : 882/17000 (mem: 833.50 MiB) 11:10:10 poseidon int : 5018/92000 (mem: 833.50 MiB) 11:10:10 overflow : 0/0 (mem: 833.50 MiB) 11:10:10 (mem: 833.50 MiB) 11:10:10 Total structured size: 242025 (mem: 833.50 MiB) 11:10:10 allocating polynomials object in proving key... (mem: 833.50 MiB) 11:10:10 [11:10:10.356] INFO: ivc-integration:test:native bb - populating trace... (mem: 873.26 MiB) 11:10:10 [11:10:10.384] INFO: ivc-integration:test:native bb - time to construct proving key: 171 ms. (mem: 873.26 MiB) 11:10:10 [11:10:10.505] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 873.26 MiB) 11:10:11 [11:10:11.064] INFO: ivc-integration:test:native bb - computing folding proof (mem: 873.26 MiB) 11:10:11 [11:10:11.346] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 882.26 MiB) 11:10:11 [11:10:11.422] INFO: ivc-integration:test:native bb - perturbator round (mem: 882.26 MiB) 11:10:11 [11:10:11.472] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 914.26 MiB) 11:10:11 [11:10:11.622] INFO: ivc-integration:test:native bb - folded (mem: 914.26 MiB) 11:10:11 constructed folding proof (mem: 914.26 MiB) 11:10:11 [11:10:11.626] INFO: ivc-integration:test:native bb - Largest circuit: 12059 gates. Trace details: (mem: 914.26 MiB) 11:10:11 Minimum required block sizes for structured trace: (mem: 914.26 MiB) 11:10:11 [11:10:11.627] INFO: ivc-integration:test:native bb - (mem: 914.26 MiB) 11:10:11 prove decider... (mem: 914.26 MiB) 11:10:11 finished decider proving. (mem: 914.26 MiB) 11:10:11 [11:10:11.627] INFO: ivc-integration:test:native bb - ecc_op : 56 11:10:11 busread : 3 11:10:11 lookup : 2 11:10:11 pub_inputs : 36 11:10:11 arithmetic : 4072 11:10:11 delta_range : 2030 11:10:11 elliptic : 2 11:10:11 aux : 50 11:10:11 poseidon2_external : 882 11:10:11 poseidon2_internal : 5018 11:10:11 overflow : 0 11:10:11 [11:10:11.701] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 914.26 MiB) 11:10:11 [11:10:11.795] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 914.26 MiB) 11:10:12 [11:10:12.198] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 914.26 MiB) 11:10:12 [11:10:12.255] INFO: ivc-integration:test:native bb - computed opening proof (mem: 914.26 MiB) 11:10:12 [11:10:12.504] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 914.26 MiB) 11:10:12 [11:10:12.511] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 914.26 MiB) 11:10:12 [11:10:12.583] INFO: ivc-integration:test:native bb - populating trace... (mem: 914.26 MiB) 11:10:12 [11:10:12.623] INFO: ivc-integration:test:native bb - time to construct proving key: 119 ms. (mem: 914.26 MiB) 11:10:13 [11:10:13.337] 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-EWT4Ao/proof -k /tmp/bb-client-ivc-integration-EWT4Ao/vk -v 11:10:13 [11:10:13.360] INFO: ivc-integration:test:native bb command: verify (mem: 146.62 MiB) 11:10:13 [11:10:13.361] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 146.62 MiB) 11:10:13 --proof_path: /tmp/bb-client-ivc-integration-EWT4Ao/proof (mem: 146.62 MiB) 11:10:13 --vk_path: /tmp/bb-client-ivc-integration-EWT4Ao/vk (mem: 146.62 MiB) 11:10:13 --verbose: true (mem: 146.62 MiB) 11:10:13 --scheme: client_ivc (mem: 146.62 MiB) 11:10:13 [11:10:13.463] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 147.00 MiB) 11:10:13 [11:10:13.484] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 159.68 MiB) 11:10:13 [11:10:13.498] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 159.68 MiB) 11:10:13 Initialized BN254 CRS from memory with num points = 1025 (mem: 159.68 MiB) 11:10:13 [11:10:13.499] INFO: ivc-integration:test:native Mega verified: 1 (mem: 159.68 MiB) 11:10:13 [11:10:13.560] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 175.81 MiB) 11:10:13 batch opening verified?: 1 (mem: 175.81 MiB) 11:10:13 eccvm consistency check verified?: 1 (mem: 175.81 MiB) 11:10:13 translation masking consistency checked?: 1 (mem: 175.81 MiB) 11:10:13 [11:10:13.579] INFO: ivc-integration:test:native merge verified?: 1 (mem: 175.81 MiB) 11:10:13 eccvm verified?: 1 (mem: 175.81 MiB) 11:10:13 accumulator construction_verified?: 1 (mem: 175.81 MiB) 11:10:13 translation verified?: 1 (mem: 175.81 11:10:13 [11:10:13.580] INFO: ivc-integration:test:native MiB) 11:10:13 consistency verified?: 1 (mem: 175.81 MiB) 11:10:13 Goblin verified: 1 (mem: 175.81 MiB) 11:10:13 [11:10:13.585] INFO: ivc-integration:test:native verified: 1 (mem: 175.81 MiB) 11:10:13 PASS src/native_client_ivc_integration.test.ts (53.673 s) 11:10:13 Client IVC Integration 11:10:13 ✓ Should generate a verifiable client IVC proof from a simple mock tx (25003 ms) 11:10:13 ✓ Should generate a verifiable client IVC proof from a complex mock tx (25956 ms) 11:10:13 11:10:13 Test Suites: 1 passed, 1 total 11:10:13 Tests: 2 passed, 2 total 11:10:13 Snapshots: 0 total 11:10:13 Time: 53.78 s 11:10:13 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 11:10:13 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?