ACI ·

Parent Log: http://ci.aztec-labs.com/54c502658eb930c3 Command: 19ef62d9450eeb9e: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/eb7990c89ac679ce7fdfc2e985670cbf85c04be2 Env: REF_NAME=gh-readonly-queue/next/pr-14918-b70544b6d50e3ecb6598361f1990bd51745c7b55 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 08:57:49 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14918_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 08:57:53 [08:57:53.706] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-0xN1z2/ivc-inputs.msgpack 08:57:53 [08:57:53.711] 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-0xN1z2 --ivc_inputs_path /tmp/bb-client-ivc-integration-0xN1z2/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 08:57:53 [08:57:53.732] INFO: ivc-integration:test:native bb - bb command: prove (mem: 08:57:53 [08:57:53.734] INFO: ivc-integration:test:native bb - 179.42 MiB) 08:57:53 Scheme is: client_ivc, num threads: 128 (mem: 179.42 MiB) 08:57:53 --scheme: client_ivc (mem: 179.42 MiB) 08:57:53 --output_path: /tmp/bb-client-ivc-integration-0xN1z2 (mem: 179.42 MiB) 08:57:53 --ivc_inputs_path: /tmp/bb-client-ivc-integration-0xN1z2/ivc-inputs.msgpack (mem: 179.42 MiB) 08:57:53 --verbose: true (mem: 179.42 MiB) 08:57:53 --write_vk: true (mem: 179.42 MiB) 08:57:53 [08:57:53.734] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 179.42 MiB) 08:57:53 [08:57:53.846] 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) 08:57:53 [08:57:53.932] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 297.98 MiB) 08:57:53 [08:57:53.936] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 297.98 MiB) 08:57:53 Constructing DeciderProvingKey (mem: 297.98 MiB) 08:57:53 [08:57:53.941] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.98 MiB) 08:57:53 [08:57:53.943] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 297.98 MiB) 08:57:53 busread : 7/6000 (mem: 297.98 MiB) 08:57:53 lookups : 2/15000 (mem: 297.98 MiB) 08:57:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.98 MiB) 08:57:53 arithmetic : 1760/56000 (mem: 297.98 MiB) 08:57:53 delta range : 1754/18000 (mem: 297.98 MiB) 08:57:53 elliptic : 2/6000 (mem: 297.98 MiB) 08:57:53 auxiliary : 26/26000 (mem: 297.98 MiB) 08:57:53 poseidon ext : 2/17000 (mem: 297.98 MiB) 08:57:53 poseidon int : 2/92000 (mem: 297.98 MiB) 08:57:53 overflow : 0/0 (mem: 297.98 MiB) 08:57:53 (mem: 297.98 MiB) 08:57:53 Total structured size: 242025 (mem: 297.98 MiB) 08:57:53 allocating polynomials object in proving key... (mem: 297.98 MiB) 08:57:54 [08:57:54.022] INFO: ivc-integration:test:native bb - populating trace... (mem: 503.13 MiB) 08:57:54 [08:57:54.033] INFO: ivc-integration:test:native bb - time to construct proving key: 97 ms. (mem: 516.13 MiB) 08:57:54 [08:57:54.077] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a8f57fa2400 (mem: 516.13 MiB) 08:57:54 computing oink proof... (mem: 516.13 MiB) 08:57:54 [08:57:54.079] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.13 MiB) 08:57:54 [08:57:54.230] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 525.13 MiB) 08:57:54 [08:57:54.240] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 526.13 MiB) 08:57:54 [08:57:54.257] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 526.13 MiB) 08:57:54 Constructing DeciderProvingKey (mem: 526.13 MiB) 08:57:54 [08:57:54.261] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 526.13 MiB) 08:57:54 goblin ecc op : 56/1024 (mem: 526.13 MiB) 08:57:54 busread : 12/6000 (mem: 526.13 MiB) 08:57:54 lookups : 2/15000 (mem: 526.13 MiB) 08:57:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 526.13 MiB) 08:57:54 arithmetic : 4625/56000 (mem: 526.13 MiB) 08:57:54 delta range : 2054/18000 (mem: 526.13 MiB) 08:57:54 elliptic : 2/6000 (mem: 526.13 MiB) 08:57:54 auxiliary : 110/26000 (mem: 526.13 MiB) 08:57:54 poseidon ext : 1302/17000 (mem: 526.13 MiB) 08:57:54 poseidon int : 7412/92000 (mem: 526.13 MiB) 08:57:54 overflow : 0/0 (mem: 526.13 MiB) 08:57:54 (mem: 526.13 MiB) 08:57:54 Total structured size: 242025 (mem: 526.13 MiB) 08:57:54 allocating polynomials object in proving key... (mem: 526.13 MiB) 08:57:54 [08:57:54.398] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.13 MiB) 08:57:54 [08:57:54.426] INFO: ivc-integration:test:native bb - time to construct proving key: 169 ms. (mem: 746.13 MiB) 08:57:54 [08:57:54.532] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a8f57faf080 (mem: 746.13 MiB) 08:57:54 computing folding proof (mem: 746.13 MiB) 08:57:54 [08:57:54.534] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 746.13 MiB) 08:57:55 [08:57:55.019] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.13 MiB) 08:57:55 [08:57:55.134] INFO: ivc-integration:test:native bb - perturbator round (mem: 785.13 MiB) 08:57:55 [08:57:55.194] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.13 MiB) 08:57:55 [08:57:55.669] INFO: ivc-integration:test:native bb - folded (mem: 818.13 MiB) 08:57:55 constructed folding proof (mem: 818.13 MiB) 08:57:55 [08:57:55.682] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 818.13 MiB) 08:57:55 [08:57:55.751] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.13 MiB) 08:57:55 Constructing DeciderProvingKey (mem: 818.13 MiB) 08:57:55 [08:57:55.756] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.13 MiB) 08:57:55 goblin ecc op : 392/1024 (mem: 818.13 MiB) 08:57:55 busread : 3/6000 (mem: 818.13 MiB) 08:57:55 lookups : 2/15000 (mem: 818.13 MiB) 08:57:55 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 818.13 MiB) 08:57:55 arithmetic : 6849/56000 (mem: 818.13 MiB) 08:57:55 delta range : 2333/18000 (mem: 818.13 MiB) 08:57:55 elliptic : 2/6000 (mem: 818.13 MiB) 08:57:55 auxiliary : 50/26000 (mem: 818.13 MiB) 08:57:55 poseidon ext : 2472/17000 (mem: 818.13 MiB) 08:57:55 poseidon int : 14081/92000 (mem: 818.13 MiB) 08:57:55 overflow : 0/0 (mem: 818.13 MiB) 08:57:55 (mem: 818.13 MiB) 08:57:55 Total structured size: 242025 (mem: 818.13 MiB) 08:57:55 allocating polynomials object in proving key... (mem: 818.13 MiB) 08:57:55 [08:57:55.940] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.13 MiB) 08:57:56 [08:57:56.007] INFO: ivc-integration:test:native bb - time to construct proving key: 253 ms. (mem: 818.13 MiB) 08:57:56 [08:57:56.202] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a8f57fa4b00 (mem: 818.13 MiB) 08:57:56 computing folding proof (mem: 818.13 MiB) 08:57:56 [08:57:56.203] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 818.13 MiB) 08:57:56 [08:57:56.761] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.13 MiB) 08:57:56 [08:57:56.904] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.13 MiB) 08:57:56 [08:57:56.966] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.13 MiB) 08:57:57 [08:57:57.404] INFO: ivc-integration:test:native bb - folded (mem: 818.13 MiB) 08:57:57 constructed folding proof (mem: 818.13 MiB) 08:57:57 Largest circuit: 25792 gates. Trace details: (mem: 818.13 MiB) 08:57:57 Minimum required block sizes for structured trace: (mem: 818.13 MiB) 08:57:57 (mem: 818.13 MiB) 08:57:57 prove decider... (mem: 818.13 MiB) 08:57:57 [08:57:57.407] INFO: ivc-integration:test:native bb - ecc_op : 392 08:57:57 busread : 12 08:57:57 lookup : 2 08:57:57 pub_inputs : 36 08:57:57 arithmetic : 6849 08:57:57 delta_range : 2333 08:57:57 elliptic : 2 08:57:57 aux : 110 08:57:57 poseidon2_external : 2472 08:57:57 poseidon2_internal : 14081 08:57:57 overflow : 0 08:57:57 [08:57:57.631] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 818.13 MiB) 08:57:57 [08:57:57.823] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 818.13 MiB) 08:57:59 [08:57:59.121] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 818.13 MiB) 08:57:59 [08:57:59.206] INFO: ivc-integration:test:native bb - computed opening proof (mem: 818.13 MiB) 08:57:59 finished decider proving. (mem: 818.13 MiB) 08:57:59 [08:57:59.239] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 818.13 MiB) 08:57:59 [08:57:59.371] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 818.13 MiB) 08:57:59 [08:57:59.380] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 818.13 MiB) 08:57:59 [08:57:59.561] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.13 MiB) 08:57:59 [08:57:59.636] INFO: ivc-integration:test:native bb - time to construct proving key: 265 ms. 08:57:59 [08:57:59.637] INFO: ivc-integration:test:native bb - (mem: 818.13 MiB) 08:58:00 [08:58:00.842] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 818.13 MiB) 08:58:01 [08:58:01.512] INFO: ivc-integration:test:native bb - created oink proof 08:58:01 [08:58:01.514] INFO: ivc-integration:test:native bb - (mem: 818.13 MiB) 08:58:01 [08:58:01.860] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 818.13 MiB) 08:58:03 [08:58:03.668] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 818.13 MiB) 08:58:04 [08:58:04.633] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 818.13 MiB) 08:58:04 [08:58:04.677] INFO: ivc-integration:test:native bb - computed opening proof (mem: 818.13 MiB) 08:58:04 finished decider proving. (mem: 818.13 MiB) 08:58:04 [08:58:04.678] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 818.13 MiB) 08:58:04 [08:58:04.857] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 818.13 MiB) 08:58:05 [08:58:05.477] 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: 818.13 MiB) 08:58:05 [08:58:05.511] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 818.13 MiB) 08:58:07 [08:58:07.681] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 08:58:07 [08:58:07.682] INFO: ivc-integration:test:native bb - (mem: 818.13 MiB) 08:58:09 [08:58:09.946] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 818.13 MiB) 08:58:14 [08:58:14.791] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 818.13 MiB) 08:58:14 prove translator... (mem: 818.13 MiB) 08:58:17 [08:58:17.417] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.13 MiB) 08:58:20 [08:58:20.082] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 08:58:20 [08:58:20.084] INFO: ivc-integration:test:native bb - (mem: 845.13 MiB) 08:58:22 [08:58:22.622] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.13 MiB) 08:58:22 finished translator proving. (mem: 845.13 MiB) 08:58:22 [08:58:22.637] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 845.13 MiB) 08:58:22 [08:58:22.656] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 845.13 MiB) 08:58:22 libra_evals_verified: 1 (mem: 845.13 MiB) 08:58:22 pairing_check_verified: 1 (mem: 845.13 MiB) 08:58:22 Mega verified: 1 (mem: 845.13 MiB) 08:58:22 [08:58:22.772] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 846.13 MiB) 08:58:22 batch opening verified?: 1 (mem: 846.13 MiB) 08:58:22 eccvm consistency check verified?: 1 (mem: 846.13 MiB) 08:58:22 translation masking consistency checked?: 1 (mem: 846.13 MiB) 08:58:22 [08:58:22.806] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 846.13 MiB) 08:58:22 eccvm verified?: 1 (mem: 846.13 MiB) 08:58:22 accumulator construction_verified?: 1 (mem: 846.13 MiB) 08:58:22 translation verified?: 1 (mem: 846.13 MiB) 08:58:22 consistency verified?: 1 (mem: 846.13 MiB) 08:58:22 Goblin verified: 1 (mem: 846.13 MiB) 08:58:22 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-0xN1z2" (mem: 846.13 MiB) 08:58:22 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-0xN1z2" (mem: 846.13 MiB) 08:58:22 BN254 commitment key size: 262144 (mem: 846.13 MiB) 08:58:22 [08:58:22.817] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.13 MiB) 08:58:22 Gate blocks summary: (actual gates / fixed capacity) (mem: 846.13 MiB) 08:58:22 goblin ecc op : 4/1024 (mem: 846.13 MiB) 08:58:22 busread : 3/6000 (mem: 846.13 MiB) 08:58:22 lookups : 2/15000 (mem: 846.13 MiB) 08:58:22 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.13 MiB) 08:58:22 arithmetic : 1773/56000 (mem: 846.13 MiB) 08:58:22 delta range : 1754/18000 (mem: 846.13 MiB) 08:58:22 elliptic : 2/6000 (mem: 846.13 MiB) 08:58:22 auxiliary : 26/26000 (mem: 846.13 MiB) 08:58:22 poseidon ext : 2/17000 (mem: 846.13 MiB) 08:58:22 poseidon int : 2/92000 (mem: 846.13 MiB) 08:58:22 overflow : 0/0 (mem: 846.13 MiB) 08:58:22 (mem: 846.13 MiB) 08:58:22 Total structured size: 242025 (mem: 846.13 MiB) 08:58:22 allocating polynomials object in proving key... (mem: 846.13 MiB) 08:58:23 [08:58:23.075] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.13 MiB) 08:58:23 [08:58:23.112] INFO: ivc-integration:test:native bb - time to construct proving key: 305 ms. 08:58:23 [08:58:23.113] INFO: ivc-integration:test:native bb - (mem: 846.13 MiB) 08:58:23 [08:58:23.298] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.13 MiB) 08:58:24 [08:58:24.249] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 846.13 MiB) 08:58:24 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.13 MiB) 08:58:24 [08:58:24.704] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 846.13 MiB) 08:58:24 [08:58:24.712] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.13 MiB) 08:58:24 [08:58:24.730] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 08:58:24 [08:58:24.732] INFO: ivc-integration:test:native bb - (mem: 08:58:24 [08:58:24.733] INFO: ivc-integration:test:native bb - 846.13 08:58:24 [08:58:24.733] INFO: ivc-integration:test:native bb - MiB) 08:58:24 [08:58:24.739] INFO: ivc-integration:test:native bb - 08:58:24 [08:58:24.741] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 08:58:24 [08:58:24.742] INFO: ivc-integration:test:native bb - (mem: 08:58:24 [08:58:24.747] INFO: ivc-integration:test:native bb - 846.13 MiB) 08:58:24 goblin ecc op : 56/1024 (mem: 846.13 MiB) 08:58:24 busread : 3/6000 (mem: 846.13 MiB) 08:58:24 lookups : 2/15000 (mem: 846.13 MiB) 08:58:24 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.13 MiB) 08:58:24 arithmetic : 4481/56000 (mem: 846.13 MiB) 08:58:24 delta range : 2041/18000 (mem: 846.13 MiB) 08:58:24 elliptic : 2/6000 (mem: 846.13 MiB) 08:58:24 auxiliary : 50/26000 (mem: 846.13 MiB) 08:58:24 poseidon ext : 1312/17000 (mem: 846.13 MiB) 08:58:24 poseidon int : 7469/92000 (mem: 846.13 MiB) 08:58:24 overflow : 0/0 (mem: 846.13 MiB) 08:58:24 (mem: 846.13 MiB) 08:58:24 Total structured size: 242025 (mem: 846.13 MiB) 08:58:24 allocating polynomials object in proving key... (mem: 846.13 MiB) 08:58:25 [08:58:25.049] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.13 MiB) 08:58:25 [08:58:25.088] INFO: ivc-integration:test:native bb - time to construct proving key: 353 ms. (mem: 846.13 MiB) 08:58:25 [08:58:25.272] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.13 MiB) 08:58:26 [08:58:26.044] INFO: ivc-integration:test:native bb - computing folding proof (mem: 846.13 MiB) 08:58:26 vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 846.13 MiB) 08:58:27 [08:58:27.140] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.13 MiB) 08:58:27 [08:58:27.280] INFO: ivc-integration:test:native bb - perturbator round (mem: 848.13 MiB) 08:58:27 [08:58:27.345] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 880.13 MiB) 08:58:27 [08:58:27.810] INFO: ivc-integration:test:native bb - folded (mem: 880.13 MiB) 08:58:27 constructed folding proof (mem: 880.13 MiB) 08:58:27 [08:58:27.822] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 880.13 MiB) 08:58:27 Minimum required block sizes for structured trace: (mem: 880.13 MiB) 08:58:27 (mem: 880.13 MiB) 08:58:27 prove decider... (mem: 880.13 MiB) 08:58:27 [08:58:27.823] INFO: ivc-integration:test:native bb - ecc_op : 56 08:58:27 busread : 3 08:58:27 lookup : 2 08:58:27 pub_inputs : 36 08:58:27 arithmetic : 4481 08:58:27 delta_range : 2041 08:58:27 elliptic : 2 08:58:27 aux : 50 08:58:27 poseidon2_external : 1312 08:58:27 poseidon2_internal : 7469 08:58:27 overflow : 0 08:58:28 [08:58:28.054] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 880.13 MiB) 08:58:28 [08:58:28.373] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 880.13 MiB) 08:58:29 [08:58:29.602] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 880.13 MiB) 08:58:29 [08:58:29.697] INFO: ivc-integration:test:native bb - computed opening proof (mem: 880.13 MiB) 08:58:29 finished decider proving. (mem: 880.13 MiB) 08:58:29 [08:58:29.712] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 880.13 MiB) 08:58:29 [08:58:29.841] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 08:58:29 [08:58:29.846] INFO: ivc-integration:test:native bb - (mem: 880.13 MiB) 08:58:29 [08:58:29.850] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 08:58:29 [08:58:29.853] INFO: ivc-integration:test:native bb - (mem: 880.13 MiB) 08:58:30 [08:58:30.158] INFO: ivc-integration:test:native bb - populating trace... (mem: 880.13 MiB) 08:58:30 [08:58:30.289] INFO: ivc-integration:test:native bb - time to construct proving key: 445 ms. (mem: 08:58:30 [08:58:30.291] INFO: ivc-integration:test:native bb - 880.13 MiB) 08:58:31 [08:58:31.037] 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-0xN1z2/proof -k /tmp/bb-client-ivc-integration-0xN1z2/vk -v 08:58:31 [08:58:31.069] INFO: ivc-integration:test:native bb command: verify (mem: 179.42 MiB) 08:58:31 [08:58:31.070] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 179.42 MiB) 08:58:31 --proof_path: /tmp/bb-client-ivc-integration-0xN1z2/proof (mem: 179.42 MiB) 08:58:31 --vk_path: /tmp/bb-client-ivc-integration-0xN1z2/vk (mem: 179.42 MiB) 08:58:31 --verbose: true (mem: 179.42 MiB) 08:58:31 --scheme: client_ivc (mem: 179.42 MiB) 08:58:31 [08:58:31.155] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 179.42 MiB) 08:58:31 [08:58:31.187] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 179.42 MiB) 08:58:31 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 179.42 MiB) 08:58:31 [08:58:31.197] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 179.42 MiB) 08:58:31 [08:58:31.198] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 179.42 MiB) 08:58:31 [08:58:31.199] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 179.42 MiB) 08:58:31 libra_evals_verified: 1 (mem: 179.42 MiB) 08:58:31 pairing_check_verified: 1 (mem: 179.42 MiB) 08:58:31 Mega verified: 1 (mem: 179.42 MiB) 08:58:31 [08:58:31.281] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 180.32 MiB) 08:58:31 batch opening verified?: 1 (mem: 180.32 MiB) 08:58:31 eccvm consistency check verified?: 1 (mem: 180.32 MiB) 08:58:31 translation masking consistency checked?: 1 (mem: 180.32 MiB) 08:58:31 [08:58:31.303] INFO: ivc-integration:test:native merge verified?: 1 (mem: 180.32 MiB) 08:58:31 eccvm verified?: 1 (mem: 180.32 MiB) 08:58:31 accumulator construction_verified?: 1 (mem: 180.32 MiB) 08:58:31 translation verified?: 1 (mem: 180.32 MiB) 08:58:31 [08:58:31.304] INFO: ivc-integration:test:native consistency verified?: 1 (mem: 180.32 MiB) 08:58:31 Goblin verified: 1 (mem: 180.32 MiB) 08:58:31 [08:58:31.309] INFO: ivc-integration:test:native verified: 1 (mem: 180.32 MiB) 08:58:31 [08:58:31.424] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-92RPYX/ivc-inputs.msgpack 08:58:31 [08:58:31.426] 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-92RPYX --ivc_inputs_path /tmp/bb-client-ivc-integration-92RPYX/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 08:58:31 [08:58:31.451] INFO: ivc-integration:test:native bb - bb command: prove (mem: 180.34 MiB) 08:58:31 Scheme is: client_ivc, num threads: 128 (mem: 180.34 MiB) 08:58:31 --scheme: client_ivc (mem: 180.34 MiB) 08:58:31 --output_path: /tmp/bb-client-ivc-integration-92RPYX (mem: 180.34 MiB) 08:58:31 --ivc_inputs_path: /tmp/bb-client-ivc-integration-92RPYX/ivc-inputs.msgpack (mem: 180.34 MiB) 08:58:31 --verbose: true (mem: 180.34 MiB) 08:58:31 --write_vk: true (mem: 180.34 MiB) 08:58:31 [08:58:31.464] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 180.34 MiB) 08:58:31 [08:58:31.579] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 258.00 MiB) 08:58:31 [08:58:31.671] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 304.89 MiB) 08:58:31 [08:58:31.676] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 304.89 MiB) 08:58:31 Constructing DeciderProvingKey (mem: 304.89 MiB) 08:58:31 [08:58:31.682] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 304.89 MiB) 08:58:31 goblin ecc op : 4/1024 (mem: 304.89 MiB) 08:58:31 busread : 7/6000 (mem: 304.89 MiB) 08:58:31 lookups : 2/15000 (mem: 304.89 MiB) 08:58:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 304.89 MiB) 08:58:31 arithmetic : 1760/56000 (mem: 304.89 MiB) 08:58:31 delta range : 1754/18000 (mem: 304.89 MiB) 08:58:31 elliptic : 2/6000 (mem: 304.89 MiB) 08:58:31 auxiliary : 26/26000 (mem: 304.89 MiB) 08:58:31 poseidon ext : 2/17000 (mem: 304.89 MiB) 08:58:31 poseidon int : 2/92000 (mem: 304.89 MiB) 08:58:31 overflow : 0/0 (mem: 304.89 MiB) 08:58:31 (mem: 304.89 MiB) 08:58:31 Total structured size: 242025 (mem: 304.89 MiB) 08:58:31 [08:58:31.683] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 304.89 MiB) 08:58:31 [08:58:31.861] INFO: ivc-integration:test:native bb - populating trace... (mem: 495.12 MiB) 08:58:31 [08:58:31.880] INFO: ivc-integration:test:native bb - time to construct proving key: 203 ms. (mem: 512.12 MiB) 08:58:32 [08:58:32.173] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d2972db9240 (mem: 512.12 MiB) 08:58:32 computing oink proof... (mem: 512.12 MiB) 08:58:32 [08:58:32.174] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.12 MiB) 08:58:32 [08:58:32.573] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 523.12 MiB) 08:58:32 [08:58:32.584] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.12 MiB) 08:58:32 [08:58:32.626] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.12 MiB) 08:58:32 Constructing DeciderProvingKey (mem: 523.12 MiB) 08:58:32 [08:58:32.629] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.12 MiB) 08:58:32 goblin ecc op : 56/1024 (mem: 523.12 MiB) 08:58:32 busread : 12/6000 (mem: 523.12 MiB) 08:58:32 lookups : 2/15000 (mem: 523.12 MiB) 08:58:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.12 MiB) 08:58:32 arithmetic : 4625/56000 (mem: 523.12 MiB) 08:58:32 delta range : 2054/18000 (mem: 523.12 MiB) 08:58:32 elliptic : 2/6000 (mem: 523.12 MiB) 08:58:32 auxiliary : 110/26000 (mem: 523.12 MiB) 08:58:32 poseidon ext : 1302/17000 (mem: 523.12 MiB) 08:58:32 poseidon int : 7412/92000 (mem: 523.12 MiB) 08:58:32 overflow : 0/0 (mem: 523.12 MiB) 08:58:32 (mem: 523.12 MiB) 08:58:32 Total structured size: 242025 (mem: 523.12 MiB) 08:58:32 allocating polynomials object in proving key... (mem: 523.12 MiB) 08:58:32 [08:58:32.747] INFO: ivc-integration:test:native bb - populating trace... (mem: 733.12 MiB) 08:58:32 [08:58:32.788] INFO: ivc-integration:test:native bb - time to construct proving key: 166 ms. (mem: 749.12 MiB) 08:58:33 [08:58:33.039] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d2972dc2480 (mem: 749.12 MiB) 08:58:33 computing folding proof (mem: 749.12 MiB) 08:58:33 vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 749.12 MiB) 08:58:33 [08:58:33.697] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 749.12 MiB) 08:58:33 [08:58:33.797] INFO: ivc-integration:test:native bb - perturbator round (mem: 786.12 MiB) 08:58:33 [08:58:33.879] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.12 MiB) 08:58:34 [08:58:34.163] INFO: ivc-integration:test:native bb - folded (mem: 818.12 MiB) 08:58:34 constructed folding proof (mem: 818.12 MiB) 08:58:34 [08:58:34.167] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.12 MiB) 08:58:34 Constructing DeciderProvingKey (mem: 818.12 MiB) 08:58:34 [08:58:34.168] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.12 MiB) 08:58:34 goblin ecc op : 4/1024 (mem: 818.12 MiB) 08:58:34 busread : 7/6000 (mem: 818.12 MiB) 08:58:34 lookups : 2/15000 (mem: 818.12 MiB) 08:58:34 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 818.12 MiB) 08:58:34 arithmetic : 1760/56000 (mem: 818.12 MiB) 08:58:34 delta range : 1754/18000 (mem: 818.12 MiB) 08:58:34 elliptic : 2/6000 (mem: 818.12 MiB) 08:58:34 auxiliary : 26/26000 (mem: 818.12 MiB) 08:58:34 poseidon ext : 2/17000 (mem: 818.12 MiB) 08:58:34 poseidon int : 2/92000 (mem: 818.12 MiB) 08:58:34 overflow : 0/0 (mem: 818.12 MiB) 08:58:34 (mem: 818.12 MiB) 08:58:34 Total structured size: 242025 (mem: 818.12 MiB) 08:58:34 allocating polynomials object in proving key... (mem: 818.12 MiB) 08:58:34 [08:58:34.272] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.12 MiB) 08:58:34 [08:58:34.295] INFO: ivc-integration:test:native bb - time to construct proving key: 129 ms. (mem: 818.12 MiB) 08:58:34 [08:58:34.365] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d2972db9a80 (mem: 818.12 MiB) 08:58:34 computing folding proof (mem: 818.12 MiB) 08:58:34 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.12 MiB) 08:58:34 [08:58:34.658] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.12 MiB) 08:58:34 [08:58:34.753] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.12 MiB) 08:58:34 [08:58:34.781] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.12 MiB) 08:58:35 [08:58:35.089] INFO: ivc-integration:test:native bb - folded (mem: 818.12 MiB) 08:58:35 constructed folding proof (mem: 818.12 MiB) 08:58:35 [08:58:35.106] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 818.12 MiB) 08:58:35 [08:58:35.201] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.12 MiB) 08:58:35 [08:58:35.282] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 818.12 MiB) 08:58:35 Constructing DeciderProvingKey (mem: 818.12 MiB) 08:58:35 [08:58:35.290] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.12 MiB) 08:58:35 goblin ecc op : 792/1024 (mem: 818.12 MiB) 08:58:35 busread : 12/6000 (mem: 818.12 MiB) 08:58:35 lookups : 2/15000 (mem: 818.12 MiB) 08:58:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 818.12 MiB) 08:58:35 arithmetic : 12080/56000 (mem: 818.12 MiB) 08:58:35 delta range : 2942/18000 (mem: 818.12 MiB) 08:58:35 elliptic : 2/6000 (mem: 818.12 MiB) 08:58:35 auxiliary : 350/26000 (mem: 818.12 MiB) 08:58:35 poseidon ext : 4942/17000 (mem: 818.12 MiB) 08:58:35 poseidon int : 28160/92000 (mem: 818.12 MiB) 08:58:35 overflow : 0/0 (mem: 818.12 MiB) 08:58:35 (mem: 818.12 MiB) 08:58:35 Total structured size: 242025 (mem: 818.12 MiB) 08:58:35 allocating polynomials object in proving key... (mem: 818.12 MiB) 08:58:35 [08:58:35.377] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.12 MiB) 08:58:35 [08:58:35.420] INFO: ivc-integration:test:native bb - time to construct proving key: 137 ms. (mem: 818.12 MiB) 08:58:35 [08:58:35.549] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d2972e36200 (mem: 818.12 MiB) 08:58:35 computing folding proof (mem: 818.12 MiB) 08:58:35 [08:58:35.550] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 818.12 MiB) 08:58:36 [08:58:36.019] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.12 MiB) 08:58:36 [08:58:36.148] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.12 MiB) 08:58:36 [08:58:36.237] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.25 MiB) 08:58:36 [08:58:36.681] INFO: ivc-integration:test:native bb - folded (mem: 847.25 MiB) 08:58:36 constructed folding proof (mem: 847.25 MiB) 08:58:36 [08:58:36.706] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 847.25 MiB) 08:58:36 [08:58:36.792] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 847.25 MiB) 08:58:36 Constructing DeciderProvingKey (mem: 847.25 MiB) 08:58:36 [08:58:36.798] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.25 MiB) 08:58:36 goblin ecc op : 392/1024 (mem: 847.25 MiB) 08:58:36 busread : 16/6000 (mem: 847.25 MiB) 08:58:36 lookups : 2/15000 (mem: 847.25 MiB) 08:58:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 847.25 MiB) 08:58:36 arithmetic : 6914/56000 (mem: 847.25 MiB) 08:58:36 delta range : 2347/18000 (mem: 847.25 MiB) 08:58:36 elliptic : 2/6000 (mem: 847.25 MiB) 08:58:36 auxiliary : 77/26000 (mem: 847.25 MiB) 08:58:36 poseidon ext : 2472/17000 (mem: 847.25 MiB) 08:58:36 poseidon int : 14081/92000 (mem: 847.25 MiB) 08:58:36 overflow : 0/0 (mem: 847.25 MiB) 08:58:36 (mem: 847.25 MiB) 08:58:36 Total structured size: 242025 (mem: 847.25 MiB) 08:58:36 allocating polynomials object in proving key... (mem: 847.25 MiB) 08:58:36 [08:58:36.940] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.25 MiB) 08:58:36 [08:58:36.960] INFO: ivc-integration:test:native bb - time to construct proving key: 168 ms. (mem: 847.25 MiB) 08:58:37 [08:58:37.027] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d2972e1e080 (mem: 847.25 MiB) 08:58:37 computing folding proof (mem: 847.25 MiB) 08:58:37 [08:58:37.028] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 847.25 MiB) 08:58:37 [08:58:37.332] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.25 MiB) 08:58:37 [08:58:37.493] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.25 MiB) 08:58:37 [08:58:37.552] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.25 MiB) 08:58:37 [08:58:37.754] INFO: ivc-integration:test:native bb - folded (mem: 847.25 MiB) 08:58:37 [08:58:37.754] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 847.25 MiB) 08:58:37 [08:58:37.765] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 847.25 MiB) 08:58:37 [08:58:37.838] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 847.25 MiB) 08:58:37 Constructing DeciderProvingKey (mem: 847.25 MiB) 08:58:37 [08:58:37.843] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.25 MiB) 08:58:37 goblin ecc op : 392/1024 (mem: 847.25 MiB) 08:58:37 busread : 3/6000 (mem: 847.25 MiB) 08:58:37 lookups : 2/15000 (mem: 847.25 MiB) 08:58:37 [08:58:37.844] INFO: ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.25 MiB) 08:58:37 arithmetic : 6849/56000 (mem: 847.25 MiB) 08:58:37 delta range : 2333/18000 (mem: 847.25 MiB) 08:58:37 elliptic : 2/6000 (mem: 847.25 MiB) 08:58:37 auxiliary : 50/26000 (mem: 847.25 MiB) 08:58:37 poseidon ext : 2472/17000 (mem: 847.25 MiB) 08:58:37 poseidon int : 14081/92000 (mem: 847.25 MiB) 08:58:37 overflow : 0/0 (mem: 847.25 MiB) 08:58:37 (mem: 847.25 MiB) 08:58:37 Total structured size: 242025 (mem: 847.25 MiB) 08:58:37 allocating polynomials object in proving key... (mem: 847.25 MiB) 08:58:37 [08:58:37.907] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.25 MiB) 08:58:37 [08:58:37.967] INFO: ivc-integration:test:native bb - time to construct proving key: 128 ms. (mem: 847.25 MiB) 08:58:38 [08:58:38.267] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d2972dba2c0 (mem: 847.25 MiB) 08:58:38 computing folding proof (mem: 847.25 MiB) 08:58:38 [08:58:38.268] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 847.25 MiB) 08:58:38 [08:58:38.622] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.25 MiB) 08:58:38 [08:58:38.679] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.25 MiB) 08:58:38 [08:58:38.741] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.47 MiB) 08:58:38 [08:58:38.978] INFO: ivc-integration:test:native bb - folded (mem: 847.47 MiB) 08:58:38 constructed folding proof (mem: 847.47 MiB) 08:58:38 [08:58:38.981] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 847.47 MiB) 08:58:38 Minimum required block sizes for structured trace: (mem: 847.47 MiB) 08:58:38 (mem: 847.47 MiB) 08:58:38 prove decider... (mem: 847.47 MiB) 08:58:38 [08:58:38.982] INFO: ivc-integration:test:native bb - ecc_op : 792 08:58:38 busread : 16 08:58:38 lookup : 2 08:58:38 pub_inputs : 36 08:58:38 arithmetic : 12080 08:58:38 delta_range : 2942 08:58:38 elliptic : 2 08:58:38 aux : 350 08:58:38 poseidon2_external : 4942 08:58:38 poseidon2_internal : 28160 08:58:38 overflow : 0 08:58:39 [08:58:39.088] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.47 MiB) 08:58:39 [08:58:39.228] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.47 MiB) 08:58:39 [08:58:39.842] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.47 MiB) 08:58:39 [08:58:39.905] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.47 MiB) 08:58:39 finished decider proving. (mem: 847.47 MiB) 08:58:39 [08:58:39.925] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 847.47 MiB) 08:58:40 [08:58:40.032] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 08:58:40 [08:58:40.038] INFO: ivc-integration:test:native bb - (mem: 847.47 MiB) 08:58:40 [08:58:40.042] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 08:58:40 [08:58:40.045] INFO: ivc-integration:test:native bb - (mem: 847.47 MiB) 08:58:40 [08:58:40.134] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.47 MiB) 08:58:40 [08:58:40.197] INFO: ivc-integration:test:native bb - time to construct proving key: 162 ms. (mem: 847.47 MiB) 08:58:41 [08:58:41.026] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 847.47 MiB) 08:58:41 [08:58:41.497] INFO: ivc-integration:test:native bb - created oink proof (mem: 847.47 MiB) 08:58:41 [08:58:41.701] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.47 MiB) 08:58:42 [08:58:42.452] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.47 MiB) 08:58:43 [08:58:43.087] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.47 MiB) 08:58:43 [08:58:43.128] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.47 MiB) 08:58:43 finished decider proving. (mem: 847.47 MiB) 08:58:43 Constructing a Goblin proof with num ultra ops = 2226 (mem: 847.47 MiB) 08:58:43 [08:58:43.280] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 847.47 MiB) 08:58:43 [08:58:43.574] 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: 847.47 MiB) 08:58:43 [08:58:43.586] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 847.47 MiB) 08:58:45 [08:58:45.142] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.47 MiB) 08:58:46 [08:58:46.738] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.47 MiB) 08:58:49 [08:58:49.325] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 847.47 MiB) 08:58:49 prove translator... (mem: 847.47 MiB) 08:58:52 [08:58:52.408] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 868.97 MiB) 08:58:55 [08:58:55.112] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 869.97 08:58:55 [08:58:55.113] INFO: ivc-integration:test:native bb - MiB) 08:58:57 [08:58:57.777] INFO: ivc-integration:test:native bb - computed opening proof (mem: 869.97 MiB) 08:58:57 [08:58:57.778] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 869.97 MiB) 08:58:57 [08:58:57.785] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 869.97 MiB) 08:58:57 [08:58:57.799] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 869.97 MiB) 08:58:57 libra_evals_verified: 1 (mem: 869.97 MiB) 08:58:57 pairing_check_verified: 1 (mem: 869.97 MiB) 08:58:57 Mega verified: 1 (mem: 869.97 MiB) 08:58:57 [08:58:57.865] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 870.97 MiB) 08:58:57 batch opening verified?: 1 (mem: 870.97 MiB) 08:58:57 eccvm consistency check verified?: 1 (mem: 870.97 MiB) 08:58:57 translation masking consistency checked?: 1 (mem: 870.97 MiB) 08:58:57 [08:58:57.888] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 870.97 MiB) 08:58:57 eccvm verified?: 1 (mem: 870.97 MiB) 08:58:57 accumulator construction_verified?: 1 (mem: 870.97 MiB) 08:58:57 translation verified?: 1 (mem: 870.97 MiB) 08:58:57 consistency verified?: 1 (mem: 870.97 MiB) 08:58:57 Goblin verified: 1 (mem: 870.97 MiB) 08:58:57 [08:58:57.889] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-92RPYX" (mem: 870.97 MiB) 08:58:57 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-92RPYX" (mem: 870.97 MiB) 08:58:57 BN254 commitment key size: 262144 (mem: 870.97 MiB) 08:58:57 [08:58:57.893] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 870.97 MiB) 08:58:57 [08:58:57.898] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 870.97 MiB) 08:58:57 goblin ecc op : 4/1024 (mem: 870.97 MiB) 08:58:57 [08:58:57.899] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 870.97 MiB) 08:58:57 lookups : 2/15000 (mem: 870.97 MiB) 08:58:57 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 870.97 MiB) 08:58:57 arithmetic : 1773/56000 (mem: 870.97 MiB) 08:58:57 delta range : 1754/18000 (mem: 870.97 MiB) 08:58:57 elliptic : 2/6000 (mem: 870.97 MiB) 08:58:57 auxiliary : 26/26000 (mem: 870.97 MiB) 08:58:57 poseidon ext : 2/17000 (mem: 870.97 MiB) 08:58:57 poseidon int : 2/92000 (mem: 870.97 MiB) 08:58:57 overflow : 0/0 (mem: 870.97 MiB) 08:58:57 (mem: 870.97 MiB) 08:58:57 Total structured size: 242025 (mem: 870.97 MiB) 08:58:57 allocating polynomials object in proving key... (mem: 870.97 MiB) 08:58:58 [08:58:58.072] INFO: ivc-integration:test:native bb - populating trace... (mem: 870.97 MiB) 08:58:58 [08:58:58.087] INFO: ivc-integration:test:native bb - time to construct proving key: 193 ms. (mem: 870.97 MiB) 08:58:58 [08:58:58.136] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 870.97 MiB) 08:58:58 [08:58:58.627] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 870.97 MiB) 08:58:58 [08:58:58.628] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 870.97 MiB) 08:58:58 [08:58:58.747] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 870.97 MiB) 08:58:58 [08:58:58.756] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 870.97 MiB) 08:58:58 [08:58:58.773] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 870.97 MiB) 08:58:58 [08:58:58.777] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 870.97 MiB) 08:58:58 goblin ecc op : 56/1024 (mem: 870.97 MiB) 08:58:58 busread : 3/6000 (mem: 870.97 MiB) 08:58:58 lookups : 2/15000 (mem: 870.97 MiB) 08:58:58 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 870.97 MiB) 08:58:58 arithmetic : 4481/56000 (mem: 870.97 MiB) 08:58:58 delta range : 2041/18000 (mem: 870.97 MiB) 08:58:58 elliptic : 2/6000 (mem: 870.97 MiB) 08:58:58 auxiliary : 50/26000 (mem: 870.97 MiB) 08:58:58 poseidon ext : 1312/17000 (mem: 870.97 MiB) 08:58:58 poseidon int : 7469/92000 (mem: 870.97 MiB) 08:58:58 overflow : 0/0 (mem: 870.97 MiB) 08:58:58 (mem: 870.97 MiB) 08:58:58 Total structured size: 242025 (mem: 870.97 MiB) 08:58:58 allocating polynomials object in proving key... (mem: 870.97 MiB) 08:58:58 [08:58:58.914] INFO: ivc-integration:test:native bb - populating trace... (mem: 870.97 MiB) 08:58:58 [08:58:58.939] INFO: ivc-integration:test:native bb - time to construct proving key: 166 ms. (mem: 870.97 MiB) 08:58:59 [08:58:59.012] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 870.97 MiB) 08:58:59 [08:58:59.627] INFO: ivc-integration:test:native bb - computing folding proof (mem: 870.97 MiB) 08:58:59 [08:58:59.628] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 870.97 MiB) 08:59:00 [08:59:00.140] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 870.97 MiB) 08:59:00 [08:59:00.288] INFO: ivc-integration:test:native bb - perturbator round (mem: 870.97 MiB) 08:59:00 [08:59:00.344] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 902.97 MiB) 08:59:00 [08:59:00.518] INFO: ivc-integration:test:native bb - folded (mem: 902.97 MiB) 08:59:00 constructed folding proof (mem: 902.97 MiB) 08:59:00 Largest circuit: 15360 gates. Trace details: (mem: 902.97 MiB) 08:59:00 Minimum required block sizes for structured trace: (mem: 902.97 MiB) 08:59:00 [08:59:00.520] INFO: ivc-integration:test:native bb - (mem: 902.97 MiB) 08:59:00 prove decider... (mem: 902.97 MiB) 08:59:00 [08:59:00.521] INFO: ivc-integration:test:native bb - ecc_op : 56 08:59:00 busread : 3 08:59:00 lookup : 2 08:59:00 pub_inputs : 36 08:59:00 arithmetic : 4481 08:59:00 delta_range : 2041 08:59:00 elliptic : 2 08:59:00 aux : 50 08:59:00 poseidon2_external : 1312 08:59:00 poseidon2_internal : 7469 08:59:00 overflow : 0 08:59:00 [08:59:00.603] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 902.97 MiB) 08:59:00 [08:59:00.689] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 902.97 MiB) 08:59:01 [08:59:01.367] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 902.97 MiB) 08:59:01 [08:59:01.422] INFO: ivc-integration:test:native bb - computed opening proof (mem: 902.97 MiB) 08:59:01 finished decider proving. (mem: 902.97 MiB) 08:59:01 [08:59:01.438] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 902.97 MiB) 08:59:01 [08:59:01.529] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 902.97 MiB) 08:59:01 [08:59:01.533] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 902.97 MiB) 08:59:01 [08:59:01.570] INFO: ivc-integration:test:native bb - populating trace... (mem: 902.97 MiB) 08:59:01 [08:59:01.607] INFO: ivc-integration:test:native bb - time to construct proving key: 76 ms. (mem: 902.97 MiB) 08:59:02 [08:59:02.267] 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-92RPYX/proof -k /tmp/bb-client-ivc-integration-92RPYX/vk -v 08:59:02 [08:59:02.289] INFO: ivc-integration:test:native bb command: verify (mem: 185.43 MiB) 08:59:02 Scheme is: client_ivc, num threads: 128 (mem: 185.43 MiB) 08:59:02 --proof_path: /tmp/bb-client-ivc-integration-92RPYX/proof (mem: 185.43 MiB) 08:59:02 --vk_path: /tmp/bb-client-ivc-integration-92RPYX/vk (mem: 185.43 MiB) 08:59:02 --verbose: true (mem: 185.43 MiB) 08:59:02 --scheme: client_ivc (mem: 185.43 MiB) 08:59:02 [08:59:02.392] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 185.43 MiB) 08:59:02 [08:59:02.413] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 185.43 MiB) 08:59:02 [08:59:02.414] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 185.43 08:59:02 [08:59:02.414] INFO: ivc-integration:test:native MiB) 08:59:02 [08:59:02.432] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 185.43 MiB) 08:59:02 [08:59:02.433] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 185.43 MiB) 08:59:02 [08:59:02.434] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 185.43 MiB) 08:59:02 libra_evals_verified: 1 (mem: 185.43 MiB) 08:59:02 pairing_check_verified: 1 (mem: 185.43 MiB) 08:59:02 [08:59:02.434] INFO: ivc-integration:test:native Mega verified: 1 (mem: 185.43 MiB) 08:59:02 [08:59:02.492] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 185.43 MiB) 08:59:02 batch opening verified?: 1 (mem: 185.43 MiB) 08:59:02 eccvm consistency check verified?: 1 (mem: 185.43 MiB) 08:59:02 translation masking consistency checked?: 1 (mem: 185.43 08:59:02 [08:59:02.493] INFO: ivc-integration:test:native MiB) 08:59:02 [08:59:02.510] INFO: ivc-integration:test:native merge verified?: 1 (mem: 185.43 MiB) 08:59:02 eccvm verified?: 1 (mem: 185.43 MiB) 08:59:02 accumulator construction_verified?: 1 (mem: 185.43 MiB) 08:59:02 translation verified?: 1 (mem: 185.43 MiB) 08:59:02 consistency verified?: 1 (mem: 185.43 MiB) 08:59:02 Goblin verified: 1 (mem: 185.43 MiB) 08:59:02 [08:59:02.516] INFO: ivc-integration:test:native verified: 1 (mem: 185.43 MiB) 08:59:02 PASS src/native_client_ivc_integration.test.ts (72.571 s) 08:59:02 Client IVC Integration 08:59:02 ✓ Should generate a verifiable client IVC proof from a simple mock tx (37702 ms) 08:59:02 ✓ Should generate a verifiable client IVC proof from a complex mock tx (31215 ms) 08:59:02 08:59:02 Test Suites: 1 passed, 1 total 08:59:02 Tests: 2 passed, 2 total 08:59:02 Snapshots: 0 total 08:59:02 Time: 72.685 s 08:59:02 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 08:59:02 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?