ACI ·

Parent Log: http://ci.aztec-labs.com/9772f35bf3dda20b Command: 2d72990a54a9c534: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/7edf16da6c056f9499e2dfd9c71fb9b7580f9bfc Env: REF_NAME=gh-readonly-queue/next/pr-15215-1b10c7d500621ca2e4c0db764df67f3085beb282 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 24 10:12:26 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15215_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 10:12:31 [10:12:31.243] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-XE86cz/ivc-inputs.msgpack 10:12:31 [10:12:31.249] INFO: ivc-integration:test:native bb - BB concurrency: undefined 10:12:31 [10:12:31.250] 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-XE86cz --ivc_inputs_path /tmp/bb-client-ivc-integration-XE86cz/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 10:12:31 [10:12:31.279] INFO: ivc-integration:test:native bb - bb command: prove (mem: 235.93 MiB) 10:12:31 Scheme is: client_ivc, num threads: 128 (mem: 235.93 MiB) 10:12:31 --scheme: client_ivc (mem: 235.93 MiB) 10:12:31 --output_path: /tmp/bb-client-ivc-integration-XE86cz (mem: 235.93 MiB) 10:12:31 --ivc_inputs_path: /tmp/bb-client-ivc-integration-XE86cz/ivc-inputs.msgpack (mem: 235.93 MiB) 10:12:31 --verbose: true (mem: 235.93 MiB) 10:12:31 --write_vk: true (mem: 235.93 10:12:31 [10:12:31.280] INFO: ivc-integration:test:native bb - MiB) 10:12:31 [10:12:31.281] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 235.93 MiB) 10:12:31 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.93 MiB) 10:12:31 [10:12:31.347] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 235.93 MiB) 10:12:31 [10:12:31.353] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 235.93 MiB) 10:12:31 Constructing DeciderProvingKey (mem: 235.93 MiB) 10:12:31 [10:12:31.359] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 10:12:31 [10:12:31.361] INFO: ivc-integration:test:native bb - (mem: 235.93 MiB) 10:12:31 goblin ecc op : 4/1024 (mem: 235.93 MiB) 10:12:31 busread : 7/6000 (mem: 235.93 MiB) 10:12:31 [10:12:31.362] INFO: ivc-integration:test:native bb - 10:12:31 lookups : 2/15000 (mem: 235.93 MiB) 10:12:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 235.93 MiB) 10:12:31 arithmetic : 1760/56000 (mem: 235.93 MiB) 10:12:31 delta range : 1754/18000 (mem: 235.93 MiB) 10:12:31 elliptic : 2/6000 (mem: 235.93 MiB) 10:12:31 auxiliary : 26/26000 (mem: 235.93 MiB) 10:12:31 poseidon ext : 2/17000 (mem: 235.93 MiB) 10:12:31 poseidon int : 2/92000 (mem: 235.93 MiB) 10:12:31 overflow : 0/0 (mem: 235.93 MiB) 10:12:31 (mem: 235.93 MiB) 10:12:31 Total structured size: 242025 (mem: 235.93 MiB) 10:12:31 allocating polynomials object in proving key... (mem: 235.93 MiB) 10:12:31 [10:12:31.546] INFO: ivc-integration:test:native bb - populating trace... (mem: 345.03 MiB) 10:12:31 [10:12:31.562] INFO: ivc-integration:test:native bb - time to construct proving key: 210 ms. (mem: 353.03 MiB) 10:12:31 [10:12:31.652] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61539f4aa5c0 (mem: 353.03 MiB) 10:12:31 [10:12:31.653] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 353.03 MiB) 10:12:31 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 353.03 MiB) 10:12:31 [10:12:31.890] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 363.03 MiB) 10:12:31 [10:12:31.901] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 363.03 MiB) 10:12:31 [10:12:31.918] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 363.03 MiB) 10:12:31 Constructing DeciderProvingKey (mem: 363.03 MiB) 10:12:31 [10:12:31.922] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 363.03 MiB) 10:12:31 goblin ecc op : 56/1024 (mem: 363.03 MiB) 10:12:31 busread : 12/6000 (mem: 363.03 MiB) 10:12:31 lookups : 2/15000 (mem: 363.03 MiB) 10:12:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 363.03 MiB) 10:12:31 arithmetic : 4677/56000 (mem: 363.03 MiB) 10:12:31 delta range : 2073/18000 (mem: 363.03 MiB) 10:12:31 elliptic : 2/6000 (mem: 363.03 MiB) 10:12:31 auxiliary : 110/26000 (mem: 363.03 MiB) 10:12:31 poseidon ext : 1322/17000 (mem: 363.03 MiB) 10:12:31 poseidon int : 7526/92000 (mem: 363.03 MiB) 10:12:31 overflow : 0/0 (mem: 363.03 MiB) 10:12:31 (mem: 363.03 MiB) 10:12:31 Total structured size: 242025 (mem: 363.03 MiB) 10:12:31 allocating polynomials object in proving key... (mem: 363.03 MiB) 10:12:32 [10:12:32.037] INFO: ivc-integration:test:native bb - populating trace... (mem: 574.03 MiB) 10:12:32 [10:12:32.073] INFO: ivc-integration:test:native bb - time to construct proving key: 154 ms. (mem: 587.03 MiB) 10:12:32 [10:12:32.230] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61539f4b72c0 (mem: 587.03 MiB) 10:12:32 computing folding proof (mem: 587.03 MiB) 10:12:32 [10:12:32.231] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 587.03 MiB) 10:12:32 [10:12:32.605] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 588.03 MiB) 10:12:32 [10:12:32.693] INFO: ivc-integration:test:native bb - perturbator round (mem: 626.03 MiB) 10:12:32 [10:12:32.754] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 658.03 MiB) 10:12:33 [10:12:33.175] INFO: ivc-integration:test:native bb - folded (mem: 658.03 MiB) 10:12:33 constructed folding proof (mem: 658.03 MiB) 10:12:33 [10:12:33.188] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 658.03 MiB) 10:12:33 [10:12:33.251] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 658.03 MiB) 10:12:33 Constructing DeciderProvingKey (mem: 658.03 MiB) 10:12:33 [10:12:33.257] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 658.03 MiB) 10:12:33 goblin ecc op : 392/1024 (mem: 658.03 MiB) 10:12:33 busread : 3/6000 (mem: 658.03 MiB) 10:12:33 lookups : 2/15000 (mem: 658.03 MiB) 10:12:33 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 658.03 MiB) 10:12:33 arithmetic : 6913/56000 (mem: 658.03 MiB) 10:12:33 delta range : 2353/18000 (mem: 658.03 MiB) 10:12:33 elliptic : 2/6000 (mem: 658.03 MiB) 10:12:33 auxiliary : 50/26000 (mem: 658.03 MiB) 10:12:33 poseidon ext : 2492/17000 (mem: 658.03 MiB) 10:12:33 poseidon int : 14195/92000 (mem: 658.03 MiB) 10:12:33 overflow : 0/0 (mem: 658.03 MiB) 10:12:33 (mem: 658.03 MiB) 10:12:33 Total structured size: 242025 (mem: 658.03 MiB) 10:12:33 allocating polynomials object in proving key... (mem: 658.03 MiB) 10:12:33 [10:12:33.406] INFO: ivc-integration:test:native bb - populating trace... (mem: 658.03 MiB) 10:12:33 [10:12:33.480] INFO: ivc-integration:test:native bb - time to construct proving key: 225 ms. (mem: 658.03 MiB) 10:12:33 [10:12:33.896] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61539f4c2780 (mem: 658.03 MiB) 10:12:33 computing folding proof (mem: 658.03 MiB) 10:12:33 [10:12:33.897] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 658.03 MiB) 10:12:34 [10:12:34.233] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 658.03 MiB) 10:12:34 [10:12:34.309] INFO: ivc-integration:test:native bb - perturbator round (mem: 658.03 MiB) 10:12:34 [10:12:34.391] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 668.45 MiB) 10:12:34 [10:12:34.623] INFO: ivc-integration:test:native bb - folded (mem: 668.45 MiB) 10:12:34 constructed folding proof (mem: 668.45 MiB) 10:12:34 Largest circuit: 26010 gates. Trace details: (mem: 668.45 MiB) 10:12:34 Minimum required block sizes for structured trace: (mem: 668.45 MiB) 10:12:34 (mem: 668.45 MiB) 10:12:34 prove decider... (mem: 668.45 MiB) 10:12:34 [10:12:34.626] INFO: ivc-integration:test:native bb - ecc_op : 392 10:12:34 busread : 12 10:12:34 lookup : 2 10:12:34 pub_inputs : 36 10:12:34 arithmetic : 6913 10:12:34 delta_range : 2353 10:12:34 elliptic : 2 10:12:34 aux : 110 10:12:34 poseidon2_external : 2492 10:12:34 poseidon2_internal : 14195 10:12:34 overflow : 0 10:12:34 [10:12:34.910] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 668.45 MiB) 10:12:35 [10:12:35.093] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 668.45 MiB) 10:12:36 [10:12:36.752] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 668.45 MiB) 10:12:36 [10:12:36.884] INFO: ivc-integration:test:native bb - computed opening proof (mem: 668.45 MiB) 10:12:36 finished decider proving. (mem: 668.45 MiB) 10:12:36 [10:12:36.905] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 668.45 MiB) 10:12:37 [10:12:37.007] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 668.45 MiB) 10:12:37 [10:12:37.011] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 668.45 MiB) 10:12:37 [10:12:37.330] INFO: ivc-integration:test:native bb - populating trace... 10:12:37 [10:12:37.332] INFO: ivc-integration:test:native bb - (mem: 668.45 MiB) 10:12:37 [10:12:37.389] INFO: ivc-integration:test:native bb - time to construct proving key: 382 ms. (mem: 668.45 MiB) 10:12:38 [10:12:38.894] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 668.45 MiB) 10:12:39 [10:12:39.583] INFO: ivc-integration:test:native bb - created oink proof (mem: 668.45 MiB) 10:12:39 [10:12:39.906] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 668.45 MiB) 10:12:41 [10:12:41.891] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 10:12:41 [10:12:41.892] INFO: ivc-integration:test:native bb - (mem: 10:12:41 [10:12:41.894] INFO: ivc-integration:test:native bb - 668.45 MiB) 10:12:43 [10:12:43.418] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 10:12:43 [10:12:43.419] INFO: ivc-integration:test:native bb - (mem: 668.45 MiB) 10:12:43 [10:12:43.487] INFO: ivc-integration:test:native bb - computed opening proof (mem: 668.45 MiB) 10:12:43 finished decider proving. (mem: 668.45 MiB) 10:12:43 [10:12:43.488] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 668.45 MiB) 10:12:43 [10:12:43.828] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 668.45 MiB) 10:12:44 [10:12:44.374] 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: 668.45 MiB) 10:12:44 [10:12:44.384] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 668.45 MiB) 10:12:46 [10:12:46.973] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 668.45 MiB) 10:12:49 [10:12:49.659] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 668.45 MiB) 10:12:54 [10:12:54.144] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 668.45 MiB) 10:12:54 prove translator... (mem: 668.45 MiB) 10:12:57 [10:12:57.085] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 10:12:57 [10:12:57.086] INFO: ivc-integration:test:native bb - (mem: 703.57 MiB) 10:13:00 [10:13:00.508] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 704.57 MiB) 10:13:03 [10:13:03.977] INFO: ivc-integration:test:native bb - computed opening proof (mem: 704.57 MiB) 10:13:03 [10:13:03.978] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 704.57 MiB) 10:13:03 [10:13:03.978] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 704.57 MiB) 10:13:03 [10:13:03.996] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 704.57 MiB) 10:13:03 libra_evals_verified: 1 (mem: 704.57 MiB) 10:13:03 pairing_check_verified: 1 (mem: 704.57 MiB) 10:13:03 Mega verified: 1 (mem: 704.57 MiB) 10:13:04 [10:13:04.157] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 705.57 MiB) 10:13:04 batch opening verified?: 1 (mem: 705.57 MiB) 10:13:04 eccvm consistency check verified?: 1 (mem: 705.57 MiB) 10:13:04 translation masking consistency checked?: 1 (mem: 705.57 MiB) 10:13:04 [10:13:04.180] INFO: ivc-integration:test:native bb - merge verified?: 1 10:13:04 [10:13:04.185] INFO: ivc-integration:test:native bb - (mem: 705.57 MiB) 10:13:04 eccvm verified?: 1 (mem: 705.57 MiB) 10:13:04 accumulator construction_verified?: 1 (mem: 705.57 MiB) 10:13:04 translation verified?: 1 (mem: 705.57 MiB) 10:13:04 consistency verified?: 1 (mem: 705.57 MiB) 10:13:04 Goblin verified: 1 (mem: 705.57 MiB) 10:13:04 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-XE86cz" (mem: 705.57 MiB) 10:13:04 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-XE86cz" (mem: 705.57 MiB) 10:13:04 BN254 commitment key size: 262144 (mem: 705.57 MiB) 10:13:04 Constructing DeciderProvingKey (mem: 705.57 MiB) 10:13:04 [10:13:04.189] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 10:13:04 [10:13:04.190] INFO: ivc-integration:test:native bb - (mem: 705.57 MiB) 10:13:04 [10:13:04.190] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 705.57 MiB) 10:13:04 busread : 3/6000 (mem: 705.57 MiB) 10:13:04 lookups : 2/15000 (mem: 705.57 MiB) 10:13:04 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 705.57 MiB) 10:13:04 arithmetic : 1773/56000 (mem: 705.57 MiB) 10:13:04 delta range : 1754/18000 (mem: 705.57 MiB) 10:13:04 elliptic : 2/6000 (mem: 705.57 MiB) 10:13:04 auxiliary : 26/26000 (mem: 705.57 MiB) 10:13:04 poseidon ext : 2/17000 (mem: 705.57 MiB) 10:13:04 poseidon int : 2/92000 (mem: 705.57 MiB) 10:13:04 overflow : 0/0 (mem: 705.57 MiB) 10:13:04 (mem: 705.57 MiB) 10:13:04 Total structured size: 242025 (mem: 705.57 MiB) 10:13:04 allocating polynomials object in proving key... (mem: 705.57 MiB) 10:13:04 [10:13:04.446] INFO: ivc-integration:test:native bb - populating trace... (mem: 705.57 MiB) 10:13:04 [10:13:04.505] INFO: ivc-integration:test:native bb - time to construct proving key: 316 ms. (mem: 705.57 MiB) 10:13:04 [10:13:04.806] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 705.57 MiB) 10:13:05 [10:13:05.219] INFO: ivc-integration:test:native bb - computing oink proof... 10:13:05 [10:13:05.220] INFO: ivc-integration:test:native bb - (mem: 705.57 MiB) 10:13:05 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.57 MiB) 10:13:05 [10:13:05.583] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 705.57 MiB) 10:13:05 [10:13:05.596] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c 10:13:05 [10:13:05.599] INFO: ivc-integration:test:native bb - (mem: 705.57 MiB) 10:13:05 [10:13:05.615] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 705.57 MiB) 10:13:05 [10:13:05.617] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 10:13:05 [10:13:05.617] INFO: ivc-integration:test:native bb - (mem: 705.57 MiB) 10:13:05 goblin ecc op : 56/1024 (mem: 705.57 MiB) 10:13:05 busread : 3/6000 (mem: 705.57 MiB) 10:13:05 lookups : 2/15000 (mem: 705.57 MiB) 10:13:05 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 705.57 MiB) 10:13:05 arithmetic : 4533/56000 (mem: 705.57 MiB) 10:13:05 delta range : 2060/18000 (mem: 705.57 MiB) 10:13:05 elliptic : 2/6000 (mem: 705.57 MiB) 10:13:05 auxiliary : 50/26000 (mem: 705.57 MiB) 10:13:05 poseidon ext : 1332/17000 (mem: 705.57 MiB) 10:13:05 poseidon int : 7583/92000 (mem: 705.57 MiB) 10:13:05 overflow : 0/0 (mem: 705.57 MiB) 10:13:05 (mem: 705.57 MiB) 10:13:05 Total structured size: 242025 (mem: 705.57 MiB) 10:13:05 allocating polynomials object in proving key... (mem: 705.57 MiB) 10:13:05 [10:13:05.967] INFO: ivc-integration:test:native bb - populating trace... (mem: 705.57 MiB) 10:13:06 [10:13:06.003] INFO: ivc-integration:test:native bb - time to construct proving key: 389 ms. (mem: 705.57 MiB) 10:13:06 [10:13:06.302] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 705.57 MiB) 10:13:07 [10:13:07.153] INFO: ivc-integration:test:native bb - computing folding proof (mem: 706.57 MiB) 10:13:07 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 706.57 MiB) 10:13:07 [10:13:07.941] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 706.57 MiB) 10:13:08 [10:13:08.094] INFO: ivc-integration:test:native bb - perturbator round (mem: 706.57 MiB) 10:13:08 [10:13:08.154] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 738.57 MiB) 10:13:08 [10:13:08.393] INFO: ivc-integration:test:native bb - folded (mem: 738.57 MiB) 10:13:08 constructed folding proof (mem: 738.57 MiB) 10:13:08 Largest circuit: 15565 gates. Trace details: (mem: 738.57 MiB) 10:13:08 Minimum required block sizes for structured trace: (mem: 738.57 MiB) 10:13:08 (mem: 738.57 MiB) 10:13:08 prove decider... (mem: 738.57 MiB) 10:13:08 [10:13:08.400] INFO: ivc-integration:test:native bb - ecc_op : 56 10:13:08 busread : 3 10:13:08 lookup : 2 10:13:08 pub_inputs : 36 10:13:08 arithmetic : 4533 10:13:08 delta_range : 2060 10:13:08 elliptic : 2 10:13:08 aux : 50 10:13:08 poseidon2_external : 1332 10:13:08 poseidon2_internal : 7583 10:13:08 overflow : 0 10:13:08 [10:13:08.539] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 10:13:08 [10:13:08.540] INFO: ivc-integration:test:native bb - (mem: 738.57 MiB) 10:13:08 [10:13:08.708] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 738.57 MiB) 10:13:09 [10:13:09.700] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 738.57 MiB) 10:13:09 [10:13:09.832] INFO: ivc-integration:test:native bb - computed opening proof (mem: 738.57 MiB) 10:13:09 finished decider proving. (mem: 738.57 MiB) 10:13:09 [10:13:09.846] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 738.57 MiB) 10:13:09 [10:13:09.962] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 738.57 MiB) 10:13:09 allocating polynomials object in proving key... (mem: 738.57 MiB) 10:13:10 [10:13:10.172] INFO: ivc-integration:test:native bb - populating trace... (mem: 738.57 MiB) 10:13:10 [10:13:10.281] INFO: ivc-integration:test:native bb - time to construct proving key: 326 ms. (mem: 738.57 MiB) 10:13:11 [10:13:11.214] INFO: ivc-integration:test:native BB concurrency: 1 10:13:11 [10:13:11.215] 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-XE86cz/proof -k /tmp/bb-client-ivc-integration-XE86cz/vk -v 10:13:11 [10:13:11.265] INFO: ivc-integration:test:native bb command: verify (mem: 236.46 MiB) 10:13:11 Scheme is: client_ivc, num threads: 1 (mem: 236.46 MiB) 10:13:11 --proof_path: /tmp/bb-client-ivc-integration-XE86cz/proof (mem: 236.46 MiB) 10:13:11 --vk_path: /tmp/bb-client-ivc-integration-XE86cz/vk (mem: 236.46 MiB) 10:13:11 --verbose: true (mem: 236.46 MiB) 10:13:11 --scheme: client_ivc (mem: 236.46 MiB) 10:13:11 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 236.46 MiB) 10:13:11 [10:13:11.312] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 236.46 MiB) 10:13:11 [10:13:11.317] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 236.46 MiB) 10:13:11 [10:13:11.367] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 236.46 MiB) 10:13:11 Initialized BN254 CRS from memory with num points = 1 (mem: 236.46 MiB) 10:13:11 [10:13:11.376] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 236.46 MiB) 10:13:11 libra_evals_verified: 1 (mem: 236.46 MiB) 10:13:11 pairing_check_verified: 1 (mem: 236.46 MiB) 10:13:11 Mega verified: 1 (mem: 236.46 MiB) 10:13:12 [10:13:12.121] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 236.46 MiB) 10:13:12 batch opening verified?: 1 (mem: 236.46 MiB) 10:13:12 eccvm consistency check verified?: 1 (mem: 236.46 MiB) 10:13:12 translation masking consistency checked?: 1 (mem: 236.46 MiB) 10:13:12 [10:13:12.140] INFO: ivc-integration:test:native merge verified?: 1 (mem: 236.46 MiB) 10:13:12 eccvm verified?: 1 (mem: 236.46 MiB) 10:13:12 accumulator construction_verified?: 1 (mem: 236.46 MiB) 10:13:12 translation verified?: 1 (mem: 236.46 MiB) 10:13:12 consistency verified?: 1 (mem: 236.46 MiB) 10:13:12 Goblin verified: 1 (mem: 10:13:12 [10:13:12.142] INFO: ivc-integration:test:native 236.46 MiB) 10:13:12 verified: 1 (mem: 236.46 MiB) 10:13:12 [10:13:12.248] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-kGSRVe/ivc-inputs.msgpack 10:13:12 [10:13:12.249] INFO: ivc-integration:test:native bb - BB concurrency: undefined 10:13:12 [10:13:12.249] 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-kGSRVe --ivc_inputs_path /tmp/bb-client-ivc-integration-kGSRVe/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 10:13:12 [10:13:12.284] INFO: ivc-integration:test:native bb - bb command: prove (mem: 238.34 MiB) 10:13:12 Scheme is: client_ivc, num threads: 128 (mem: 238.34 MiB) 10:13:12 --scheme: client_ivc (mem: 238.34 MiB) 10:13:12 --output_path: /tmp/bb-client-ivc-integration-kGSRVe (mem: 238.34 MiB) 10:13:12 --ivc_inputs_path: /tmp/bb-client-ivc-integration-kGSRVe/ivc-inputs.msgpack (mem: 238.34 MiB) 10:13:12 --verbose: true (mem: 238.34 MiB) 10:13:12 --write_vk: true (mem: 238.34 MiB) 10:13:12 [10:13:12.288] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 238.34 MiB) 10:13:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 238.34 MiB) 10:13:12 [10:13:12.374] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 238.34 MiB) 10:13:12 [10:13:12.378] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 238.34 MiB) 10:13:12 Constructing DeciderProvingKey (mem: 238.34 MiB) 10:13:12 [10:13:12.386] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 238.34 MiB) 10:13:12 goblin ecc op : 4/1024 (mem: 238.34 MiB) 10:13:12 busread : 7/6000 (mem: 238.34 MiB) 10:13:12 lookups : 2/15000 (mem: 238.34 MiB) 10:13:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 238.34 MiB) 10:13:12 arithmetic : 1760/56000 (mem: 238.34 MiB) 10:13:12 delta range : 1754/18000 (mem: 238.34 MiB) 10:13:12 elliptic : 2/6000 (mem: 238.34 MiB) 10:13:12 auxiliary : 26/26000 (mem: 238.34 MiB) 10:13:12 poseidon ext : 2/17000 (mem: 238.34 MiB) 10:13:12 poseidon int : 2/92000 (mem: 238.34 MiB) 10:13:12 overflow : 0/0 (mem: 238.34 MiB) 10:13:12 (mem: 238.34 MiB) 10:13:12 Total structured size: 242025 (mem: 238.34 MiB) 10:13:12 allocating polynomials object in proving key... (mem: 238.34 MiB) 10:13:12 [10:13:12.710] INFO: ivc-integration:test:native bb - populating trace... (mem: 346.46 MiB) 10:13:12 [10:13:12.746] INFO: ivc-integration:test:native bb - time to construct proving key: 368 ms. (mem: 363.46 MiB) 10:13:12 [10:13:12.999] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x566474a133c0 (mem: 363.46 MiB) 10:13:12 computing oink proof... (mem: 363.46 MiB) 10:13:12 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 363.46 MiB) 10:13:13 [10:13:13.221] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 373.46 MiB) 10:13:13 [10:13:13.232] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 373.46 MiB) 10:13:13 [10:13:13.254] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 373.46 MiB) 10:13:13 Constructing DeciderProvingKey (mem: 373.46 MiB) 10:13:13 [10:13:13.258] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 373.46 MiB) 10:13:13 goblin ecc op : 56/1024 (mem: 373.46 MiB) 10:13:13 busread : 12/6000 (mem: 373.46 MiB) 10:13:13 lookups : 2/15000 (mem: 373.46 MiB) 10:13:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 373.46 MiB) 10:13:13 arithmetic : 4677/56000 (mem: 373.46 MiB) 10:13:13 delta range : 2073/18000 (mem: 373.46 MiB) 10:13:13 elliptic : 2/6000 (mem: 373.46 MiB) 10:13:13 auxiliary : 110/26000 (mem: 373.46 MiB) 10:13:13 poseidon ext : 1322/17000 (mem: 373.46 MiB) 10:13:13 poseidon int : 7526/92000 (mem: 373.46 MiB) 10:13:13 overflow : 0/0 (mem: 373.46 MiB) 10:13:13 (mem: 373.46 MiB) 10:13:13 Total structured size: 242025 (mem: 373.46 MiB) 10:13:13 allocating polynomials object in proving key... (mem: 373.46 MiB) 10:13:13 [10:13:13.477] INFO: ivc-integration:test:native bb - populating trace... (mem: 573.46 MiB) 10:13:13 [10:13:13.509] INFO: ivc-integration:test:native bb - time to construct proving key: 254 ms. (mem: 590.46 MiB) 10:13:13 [10:13:13.819] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x566474a1c680 (mem: 590.46 MiB) 10:13:13 computing folding proof (mem: 590.46 MiB) 10:13:13 [10:13:13.820] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 591.46 MiB) 10:13:14 [10:13:14.143] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 595.46 MiB) 10:13:14 [10:13:14.215] INFO: ivc-integration:test:native bb - perturbator round (mem: 632.46 MiB) 10:13:14 [10:13:14.274] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 665.46 MiB) 10:13:14 [10:13:14.503] INFO: ivc-integration:test:native bb - folded (mem: 665.46 MiB) 10:13:14 constructed folding proof (mem: 10:13:14 [10:13:14.504] INFO: ivc-integration:test:native bb - 665.46 MiB) 10:13:14 [10:13:14.506] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 665.46 MiB) 10:13:14 Constructing DeciderProvingKey (mem: 10:13:14 [10:13:14.507] INFO: ivc-integration:test:native bb - 665.46 MiB) 10:13:14 [10:13:14.509] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 665.46 MiB) 10:13:14 goblin ecc op : 4/1024 (mem: 665.46 MiB) 10:13:14 [10:13:14.510] INFO: ivc-integration:test:native bb - 10:13:14 busread : 7/6000 (mem: 665.46 MiB) 10:13:14 lookups : 2/15000 (mem: 665.46 MiB) 10:13:14 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 665.46 MiB) 10:13:14 arithmetic : 1760/56000 (mem: 665.46 MiB) 10:13:14 delta range : 1754/18000 (mem: 665.46 MiB) 10:13:14 elliptic : 2/6000 (mem: 665.46 MiB) 10:13:14 auxiliary : 26/26000 (mem: 665.46 MiB) 10:13:14 poseidon ext : 2/17000 (mem: 665.46 MiB) 10:13:14 poseidon int : 2/92000 (mem: 665.46 MiB) 10:13:14 overflow : 0/0 (mem: 665.46 MiB) 10:13:14 (mem: 665.46 MiB) 10:13:14 Total structured size: 242025 (mem: 665.46 MiB) 10:13:14 allocating polynomials object in proving key... (mem: 665.46 MiB) 10:13:14 [10:13:14.702] INFO: ivc-integration:test:native bb - populating trace... (mem: 665.46 MiB) 10:13:14 [10:13:14.732] INFO: ivc-integration:test:native bb - time to construct proving key: 225 ms. 10:13:14 [10:13:14.733] INFO: ivc-integration:test:native bb - (mem: 665.46 MiB) 10:13:14 [10:13:14.811] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x566474a18340 (mem: 665.46 MiB) 10:13:14 computing folding proof (mem: 665.46 MiB) 10:13:14 [10:13:14.813] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 665.46 MiB) 10:13:15 [10:13:15.006] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 665.46 MiB) 10:13:15 [10:13:15.102] INFO: ivc-integration:test:native bb - perturbator round (mem: 665.46 MiB) 10:13:15 [10:13:15.160] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 665.57 MiB) 10:13:15 [10:13:15.353] INFO: ivc-integration:test:native bb - folded 10:13:15 [10:13:15.354] INFO: ivc-integration:test:native bb - (mem: 665.57 MiB) 10:13:15 constructed folding proof (mem: 665.57 MiB) 10:13:15 [10:13:15.363] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 665.57 MiB) 10:13:15 [10:13:15.457] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 665.57 MiB) 10:13:15 [10:13:15.509] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 665.57 MiB) 10:13:15 Constructing DeciderProvingKey (mem: 665.57 MiB) 10:13:15 [10:13:15.515] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 665.57 MiB) 10:13:15 goblin ecc op : 792/1024 (mem: 665.57 MiB) 10:13:15 busread : 12/6000 (mem: 665.57 MiB) 10:13:15 lookups : 2/15000 (mem: 665.57 MiB) 10:13:15 [10:13:15.516] INFO: ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 665.57 MiB) 10:13:15 arithmetic : 12208/56000 (mem: 665.57 MiB) 10:13:15 delta range : 2981/18000 (mem: 665.57 MiB) 10:13:15 elliptic : 2/6000 (mem: 665.57 MiB) 10:13:15 auxiliary : 350/26000 (mem: 665.57 MiB) 10:13:15 poseidon ext : 4982/17000 (mem: 665.57 MiB) 10:13:15 poseidon int : 28388/92000 (mem: 665.57 MiB) 10:13:15 overflow : 0/0 (mem: 665.57 MiB) 10:13:15 (mem: 665.57 MiB) 10:13:15 Total structured size: 242025 (mem: 665.57 MiB) 10:13:15 allocating polynomials object in proving key... (mem: 665.57 MiB) 10:13:15 [10:13:15.619] INFO: ivc-integration:test:native bb - populating trace... (mem: 665.57 MiB) 10:13:15 [10:13:15.669] INFO: ivc-integration:test:native bb - time to construct proving key: 160 ms. (mem: 665.57 MiB) 10:13:15 [10:13:15.820] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x566474a903c0 (mem: 665.57 MiB) 10:13:15 computing folding proof (mem: 665.57 MiB) 10:13:15 [10:13:15.822] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 665.57 MiB) 10:13:16 [10:13:16.239] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 665.57 MiB) 10:13:16 [10:13:16.312] INFO: ivc-integration:test:native bb - perturbator round (mem: 675.46 MiB) 10:13:16 [10:13:16.364] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 708.46 MiB) 10:13:16 [10:13:16.630] INFO: ivc-integration:test:native bb - folded (mem: 708.46 MiB) 10:13:16 constructed folding proof (mem: 708.46 MiB) 10:13:16 [10:13:16.640] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 708.46 MiB) 10:13:16 [10:13:16.704] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 708.46 MiB) 10:13:16 Constructing DeciderProvingKey (mem: 708.46 MiB) 10:13:16 [10:13:16.708] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 708.46 MiB) 10:13:16 [10:13:16.709] INFO: ivc-integration:test:native bb - 10:13:16 goblin ecc op : 392/1024 (mem: 708.46 MiB) 10:13:16 busread : 16/6000 (mem: 708.46 MiB) 10:13:16 lookups : 2/15000 (mem: 708.46 MiB) 10:13:16 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 708.46 MiB) 10:13:16 arithmetic : 6978/56000 (mem: 708.46 MiB) 10:13:16 delta range : 2367/18000 (mem: 708.46 MiB) 10:13:16 elliptic : 2/6000 (mem: 708.46 MiB) 10:13:16 auxiliary : 77/26000 (mem: 708.46 MiB) 10:13:16 poseidon ext : 2492/17000 (mem: 708.46 MiB) 10:13:16 poseidon int : 14195/92000 (mem: 708.46 MiB) 10:13:16 overflow : 0/0 (mem: 708.46 MiB) 10:13:16 (mem: 708.46 MiB) 10:13:16 Total structured size: 242025 (mem: 708.46 MiB) 10:13:16 allocating polynomials object in proving key... (mem: 708.46 MiB) 10:13:16 [10:13:16.765] INFO: ivc-integration:test:native bb - populating trace... (mem: 708.46 MiB) 10:13:16 [10:13:16.787] INFO: ivc-integration:test:native bb - time to construct proving key: 82 ms. (mem: 708.46 MiB) 10:13:16 [10:13:16.908] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x566474a220c0 (mem: 708.46 MiB) 10:13:16 computing folding proof (mem: 708.46 MiB) 10:13:16 [10:13:16.910] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 708.46 MiB) 10:13:17 [10:13:17.167] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 708.46 MiB) 10:13:17 [10:13:17.291] INFO: ivc-integration:test:native bb - perturbator round (mem: 708.46 MiB) 10:13:17 [10:13:17.336] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 709.38 MiB) 10:13:17 [10:13:17.500] INFO: ivc-integration:test:native bb - folded (mem: 709.38 MiB) 10:13:17 constructed folding proof (mem: 709.38 MiB) 10:13:17 [10:13:17.508] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 709.38 MiB) 10:13:17 [10:13:17.570] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 709.38 MiB) 10:13:17 Constructing DeciderProvingKey (mem: 709.38 MiB) 10:13:17 [10:13:17.577] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 709.38 MiB) 10:13:17 goblin ecc op : 392/1024 (mem: 709.38 MiB) 10:13:17 busread : 3/6000 (mem: 709.38 MiB) 10:13:17 lookups : 2/15000 (mem: 709.38 MiB) 10:13:17 pub inputs : 36/5000 (populated in decider pk constructor) 10:13:17 [10:13:17.579] INFO: ivc-integration:test:native bb - (mem: 709.38 MiB) 10:13:17 arithmetic : 6913/56000 (mem: 709.38 MiB) 10:13:17 delta range : 2353/18000 (mem: 709.38 MiB) 10:13:17 elliptic : 2/6000 (mem: 709.38 MiB) 10:13:17 auxiliary : 50/26000 (mem: 709.38 MiB) 10:13:17 poseidon ext : 2492/17000 (mem: 709.38 MiB) 10:13:17 poseidon int : 14195/92000 (mem: 709.38 MiB) 10:13:17 overflow : 0/0 (mem: 709.38 MiB) 10:13:17 (mem: 709.38 MiB) 10:13:17 Total structured size: 242025 (mem: 709.38 MiB) 10:13:17 allocating polynomials object in proving key... (mem: 709.38 MiB) 10:13:17 [10:13:17.645] INFO: ivc-integration:test:native bb - populating trace... (mem: 709.38 MiB) 10:13:17 [10:13:17.670] INFO: ivc-integration:test:native bb - time to construct proving key: 100 ms. (mem: 709.38 MiB) 10:13:17 [10:13:17.782] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x566474a23080 (mem: 709.38 MiB) 10:13:17 computing folding proof (mem: 709.38 MiB) 10:13:17 [10:13:17.783] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 709.38 MiB) 10:13:18 [10:13:18.029] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 709.38 MiB) 10:13:18 [10:13:18.102] INFO: ivc-integration:test:native bb - perturbator round (mem: 709.38 MiB) 10:13:18 [10:13:18.167] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 711.31 MiB) 10:13:18 [10:13:18.396] INFO: ivc-integration:test:native bb - folded (mem: 711.31 MiB) 10:13:18 constructed folding proof (mem: 711.31 MiB) 10:13:18 [10:13:18.397] INFO: ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 711.31 MiB) 10:13:18 Minimum required block sizes for structured trace: (mem: 711.31 MiB) 10:13:18 (mem: 711.31 MiB) 10:13:18 prove decider... (mem: 711.31 MiB) 10:13:18 [10:13:18.398] INFO: ivc-integration:test:native bb - ecc_op : 792 10:13:18 busread : 16 10:13:18 lookup : 2 10:13:18 pub_inputs : 36 10:13:18 arithmetic : 12208 10:13:18 delta_range : 2981 10:13:18 elliptic : 2 10:13:18 aux : 350 10:13:18 poseidon2_external : 4982 10:13:18 poseidon2_internal : 28388 10:13:18 overflow : 0 10:13:18 [10:13:18.508] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.31 MiB) 10:13:18 [10:13:18.653] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 711.31 MiB) 10:13:19 [10:13:19.471] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 711.31 MiB) 10:13:19 [10:13:19.569] INFO: ivc-integration:test:native bb - computed opening proof (mem: 711.31 MiB) 10:13:19 finished decider proving. (mem: 711.31 MiB) 10:13:19 [10:13:19.589] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 711.31 MiB) 10:13:19 [10:13:19.677] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 711.31 MiB) 10:13:19 [10:13:19.682] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 711.31 MiB) 10:13:19 [10:13:19.739] INFO: ivc-integration:test:native bb - populating trace... (mem: 711.31 MiB) 10:13:19 [10:13:19.767] INFO: ivc-integration:test:native bb - time to construct proving key: 89 ms. (mem: 711.31 MiB) 10:13:20 [10:13:20.122] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 711.31 MiB) 10:13:20 [10:13:20.451] INFO: ivc-integration:test:native bb - created oink proof (mem: 711.31 MiB) 10:13:20 [10:13:20.586] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.31 MiB) 10:13:21 [10:13:21.387] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 711.31 MiB) 10:13:21 [10:13:21.914] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 711.31 MiB) 10:13:21 [10:13:21.970] INFO: ivc-integration:test:native bb - computed opening proof (mem: 711.31 MiB) 10:13:21 finished decider proving. (mem: 711.31 MiB) 10:13:21 [10:13:21.971] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 711.31 MiB) 10:13:22 [10:13:22.096] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 711.31 MiB) 10:13:22 [10:13:22.326] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 711.31 MiB) 10:13:22 [10:13:22.335] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 711.31 MiB) 10:13:23 [10:13:23.287] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.31 MiB) 10:13:24 [10:13:24.248] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 711.31 MiB) 10:13:26 [10:13:26.633] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 711.31 MiB) 10:13:26 prove translator... (mem: 711.31 MiB) 10:13:28 [10:13:28.504] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 10:13:28 [10:13:28.505] INFO: ivc-integration:test:native bb - (mem: 727.33 MiB) 10:13:31 [10:13:31.862] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 729.33 MiB) 10:13:34 [10:13:34.669] INFO: ivc-integration:test:native bb - computed opening proof (mem: 729.33 MiB) 10:13:34 [10:13:34.669] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 729.33 MiB) 10:13:34 [10:13:34.670] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 729.33 MiB) 10:13:34 [10:13:34.689] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 729.33 MiB) 10:13:34 libra_evals_verified: 1 (mem: 729.33 MiB) 10:13:34 pairing_check_verified: 1 (mem: 729.33 MiB) 10:13:34 Mega verified: 1 (mem: 729.33 MiB) 10:13:34 [10:13:34.763] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 730.33 MiB) 10:13:34 batch opening verified?: 1 (mem: 730.33 MiB) 10:13:34 eccvm consistency check verified?: 1 (mem: 730.33 MiB) 10:13:34 translation masking consistency checked?: 1 (mem: 730.33 MiB) 10:13:34 [10:13:34.777] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 730.33 MiB) 10:13:34 eccvm verified?: 1 (mem: 730.33 MiB) 10:13:34 accumulator construction_verified?: 1 (mem: 730.33 MiB) 10:13:34 translation verified?: 1 (mem: 730.33 MiB) 10:13:34 consistency verified?: 1 (mem: 730.33 MiB) 10:13:34 Goblin verified: 1 (mem: 730.33 MiB) 10:13:34 [10:13:34.777] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-kGSRVe" (mem: 730.33 MiB) 10:13:34 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-kGSRVe" (mem: 730.33 MiB) 10:13:34 BN254 commitment key size: 262144 (mem: 730.33 MiB) 10:13:34 [10:13:34.779] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 730.33 MiB) 10:13:34 [10:13:34.781] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 730.33 MiB) 10:13:34 goblin ecc op : 4/1024 (mem: 730.33 MiB) 10:13:34 busread : 3/6000 (mem: 730.33 MiB) 10:13:34 lookups : 2/15000 (mem: 730.33 MiB) 10:13:34 [10:13:34.781] INFO: ivc-integration:test:native bb - pub inputs : 17/5000 (populated in decider pk constructor) (mem: 730.33 MiB) 10:13:34 arithmetic : 1773/56000 (mem: 730.33 MiB) 10:13:34 delta range : 1754/18000 (mem: 730.33 MiB) 10:13:34 elliptic : 2/6000 (mem: 730.33 MiB) 10:13:34 auxiliary : 26/26000 (mem: 730.33 MiB) 10:13:34 poseidon ext : 2/17000 (mem: 730.33 MiB) 10:13:34 poseidon int : 2/92000 (mem: 730.33 MiB) 10:13:34 overflow : 0/0 (mem: 730.33 MiB) 10:13:34 (mem: 730.33 MiB) 10:13:34 Total structured size: 242025 (mem: 730.33 MiB) 10:13:34 allocating polynomials object in proving key... (mem: 730.33 MiB) 10:13:34 [10:13:34.875] INFO: ivc-integration:test:native bb - populating trace... (mem: 730.33 MiB) 10:13:34 [10:13:34.883] INFO: ivc-integration:test:native bb - time to construct proving key: 103 ms. (mem: 730.33 MiB) 10:13:34 [10:13:34.975] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 730.33 MiB) 10:13:35 [10:13:35.130] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 730.33 MiB) 10:13:35 [10:13:35.131] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 730.33 MiB) 10:13:35 [10:13:35.392] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 730.33 MiB) 10:13:35 [10:13:35.398] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 730.33 MiB) 10:13:35 [10:13:35.413] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 730.33 MiB) 10:13:35 [10:13:35.415] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 730.33 MiB) 10:13:35 goblin ecc op : 56/1024 (mem: 730.33 MiB) 10:13:35 busread : 3/6000 (mem: 730.33 MiB) 10:13:35 lookups : 2/15000 (mem: 10:13:35 [10:13:35.415] INFO: ivc-integration:test:native bb - 730.33 MiB) 10:13:35 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 730.33 MiB) 10:13:35 arithmetic : 4533/56000 (mem: 730.33 MiB) 10:13:35 delta range : 2060/18000 (mem: 730.33 MiB) 10:13:35 elliptic : 2/6000 (mem: 730.33 MiB) 10:13:35 auxiliary : 50/26000 (mem: 730.33 MiB) 10:13:35 poseidon ext : 1332/17000 (mem: 730.33 MiB) 10:13:35 poseidon int : 7583/92000 (mem: 730.33 MiB) 10:13:35 overflow : 0/0 (mem: 730.33 MiB) 10:13:35 (mem: 730.33 MiB) 10:13:35 Total structured size: 242025 (mem: 730.33 MiB) 10:13:35 allocating polynomials object in proving key... (mem: 730.33 MiB) 10:13:35 [10:13:35.509] INFO: ivc-integration:test:native bb - populating trace... (mem: 730.33 MiB) 10:13:35 [10:13:35.578] INFO: ivc-integration:test:native bb - time to construct proving key: 164 ms. (mem: 730.33 MiB) 10:13:35 [10:13:35.720] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 730.33 MiB) 10:13:35 [10:13:35.984] INFO: ivc-integration:test:native bb - computing folding proof (mem: 730.33 MiB) 10:13:35 [10:13:35.985] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 730.33 MiB) 10:13:36 [10:13:36.198] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 730.33 MiB) 10:13:36 [10:13:36.354] INFO: ivc-integration:test:native bb - perturbator round (mem: 730.33 MiB) 10:13:36 [10:13:36.402] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 762.33 MiB) 10:13:37 [10:13:37.078] INFO: ivc-integration:test:native bb - folded 10:13:37 [10:13:37.079] INFO: ivc-integration:test:native bb - (mem: 762.33 MiB) 10:13:37 constructed folding proof (mem: 762.33 MiB) 10:13:37 Largest circuit: 15565 gates. Trace details: (mem: 762.33 MiB) 10:13:37 Minimum required block sizes for structured trace: (mem: 762.33 MiB) 10:13:37 (mem: 762.33 MiB) 10:13:37 prove decider... (mem: 762.33 MiB) 10:13:37 [10:13:37.079] INFO: ivc-integration:test:native bb - ecc_op : 56 10:13:37 busread : 3 10:13:37 lookup : 2 10:13:37 pub_inputs : 36 10:13:37 arithmetic : 4533 10:13:37 delta_range : 2060 10:13:37 elliptic : 2 10:13:37 aux : 50 10:13:37 poseidon2_external : 1332 10:13:37 poseidon2_internal : 7583 10:13:37 overflow : 0 10:13:37 [10:13:37.387] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 762.33 MiB) 10:13:37 [10:13:37.580] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 762.33 MiB) 10:13:38 [10:13:38.825] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 762.33 MiB) 10:13:38 [10:13:38.898] INFO: ivc-integration:test:native bb - computed opening proof (mem: 762.33 MiB) 10:13:38 finished decider proving. (mem: 762.33 MiB) 10:13:38 [10:13:38.910] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 762.33 MiB) 10:13:39 [10:13:39.001] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 762.33 MiB) 10:13:39 [10:13:39.004] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 762.33 MiB) 10:13:39 [10:13:39.092] INFO: ivc-integration:test:native bb - populating trace... (mem: 762.33 MiB) 10:13:39 [10:13:39.139] INFO: ivc-integration:test:native bb - time to construct proving key: 139 ms. (mem: 762.33 MiB) 10:13:39 [10:13:39.603] INFO: ivc-integration:test:native BB concurrency: 1 10:13:39 [10:13:39.604] 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-kGSRVe/proof -k /tmp/bb-client-ivc-integration-kGSRVe/vk -v 10:13:39 [10:13:39.637] INFO: ivc-integration:test:native bb command: verify (mem: 240.56 MiB) 10:13:39 Scheme is: client_ivc, num threads: 1 (mem: 240.56 MiB) 10:13:39 --proof_path: /tmp/bb-client-ivc-integration-kGSRVe/proof (mem: 240.56 MiB) 10:13:39 --vk_path: /tmp/bb-client-ivc-integration-kGSRVe/vk (mem: 240.56 MiB) 10:13:39 --verbose: true (mem: 240.56 MiB) 10:13:39 --scheme: client_ivc (mem: 240.56 MiB) 10:13:39 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 240.56 MiB) 10:13:39 [10:13:39.656] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 240.56 MiB) 10:13:39 [10:13:39.658] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 240.56 MiB) 10:13:39 [10:13:39.678] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.56 MiB) 10:13:39 [10:13:39.679] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 240.56 MiB) 10:13:39 [10:13:39.680] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 240.56 MiB) 10:13:39 libra_evals_verified: 1 (mem: 240.56 MiB) 10:13:39 pairing_check_verified: 1 (mem: 240.56 MiB) 10:13:39 Mega verified: 1 10:13:39 [10:13:39.680] INFO: ivc-integration:test:native (mem: 240.56 MiB) 10:13:40 [10:13:40.166] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 240.56 MiB) 10:13:40 batch opening verified?: 1 (mem: 240.56 MiB) 10:13:40 eccvm consistency check verified?: 1 (mem: 240.56 MiB) 10:13:40 translation masking consistency checked?: 1 (mem: 240.56 MiB) 10:13:40 [10:13:40.182] INFO: ivc-integration:test:native merge verified?: 1 (mem: 240.56 MiB) 10:13:40 eccvm verified?: 1 (mem: 240.56 MiB) 10:13:40 accumulator construction_verified?: 1 (mem: 240.56 MiB) 10:13:40 translation verified?: 1 (mem: 240.56 MiB) 10:13:40 consistency verified?: 1 (mem: 240.56 MiB) 10:13:40 Goblin verified: 1 (mem: 240.56 MiB) 10:13:40 verified: 1 (mem: 240.56 MiB) 10:13:40 PASS src/native_client_ivc_integration.test.ts (72.858 s) 10:13:40 Client IVC Integration 10:13:40 ✓ Should generate a verifiable client IVC proof from a simple mock tx (41188 ms) 10:13:40 ✓ Should generate a verifiable client IVC proof from a complex mock tx (28036 ms) 10:13:40 10:13:40 Test Suites: 1 passed, 1 total 10:13:40 Tests: 2 passed, 2 total 10:13:40 Snapshots: 0 total 10:13:40 Time: 72.957 s 10:13:40 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 10:13:40 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?