ACI ·

Parent Log: http://ci.aztec-labs.com/2a913f9c1a30a1e1 Command: 13dd8684e4e32fd7: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/1c9ca312bfdace816082212846900a49694e1e50 Env: REF_NAME=gh-readonly-queue/next/pr-15182-af094bce13530e078c78de9f3264280e6693d533 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 24 08:51:20 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15182_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:51:25 [08:51:25.316] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-04rWsQ/ivc-inputs.msgpack 08:51:25 [08:51:25.322] INFO: ivc-integration:test:native bb - BB concurrency: undefined 08:51:25 [08:51:25.322] 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-04rWsQ --ivc_inputs_path /tmp/bb-client-ivc-integration-04rWsQ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 08:51:25 [08:51:25.348] INFO: ivc-integration:test:native bb - bb command: prove (mem: 246.11 MiB) 08:51:25 [08:51:25.350] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 246.11 MiB) 08:51:25 --scheme: client_ivc (mem: 246.11 MiB) 08:51:25 --output_path: /tmp/bb-client-ivc-integration-04rWsQ (mem: 246.11 MiB) 08:51:25 --ivc_inputs_path: /tmp/bb-client-ivc-integration-04rWsQ/ivc-inputs.msgpack (mem: 246.11 MiB) 08:51:25 --verbose: true (mem: 246.11 MiB) 08:51:25 --write_vk: true (mem: 246.11 MiB) 08:51:25 [08:51:25.351] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 246.11 MiB) 08:51:25 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 246.11 MiB) 08:51:25 [08:51:25.420] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 246.11 MiB) 08:51:25 [08:51:25.424] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 246.11 MiB) 08:51:25 Constructing DeciderProvingKey (mem: 08:51:25 [08:51:25.424] INFO: ivc-integration:test:native bb - 246.11 MiB) 08:51:25 [08:51:25.429] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 246.11 MiB) 08:51:25 goblin ecc op : 4/1024 (mem: 246.11 MiB) 08:51:25 busread : 7/6000 (mem: 246.11 MiB) 08:51:25 lookups : 2/15000 (mem: 246.11 MiB) 08:51:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 246.11 MiB) 08:51:25 arithmetic : 1760/56000 (mem: 246.11 MiB) 08:51:25 delta range : 1754/18000 (mem: 246.11 MiB) 08:51:25 elliptic : 2/6000 (mem: 246.11 MiB) 08:51:25 auxiliary : 26/26000 (mem: 246.11 MiB) 08:51:25 poseidon ext : 2/17000 (mem: 246.11 MiB) 08:51:25 poseidon int : 2/92000 (mem: 246.11 MiB) 08:51:25 overflow : 0/0 (mem: 246.11 MiB) 08:51:25 (mem: 246.11 MiB) 08:51:25 Total structured size: 242025 (mem: 246.11 MiB) 08:51:25 allocating polynomials object in proving key... (mem: 246.11 MiB) 08:51:25 [08:51:25.680] INFO: ivc-integration:test:native bb - populating trace... (mem: 344.13 MiB) 08:51:25 [08:51:25.700] INFO: ivc-integration:test:native bb - time to construct proving key: 275 ms. (mem: 354.13 MiB) 08:51:25 [08:51:25.830] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c61d7621200 (mem: 355.13 MiB) 08:51:25 computing oink proof... (mem: 355.13 MiB) 08:51:25 [08:51:25.832] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 355.13 MiB) 08:51:26 [08:51:26.014] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 364.13 MiB) 08:51:26 [08:51:26.021] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 364.13 MiB) 08:51:26 [08:51:26.042] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 364.13 MiB) 08:51:26 Constructing DeciderProvingKey (mem: 364.13 MiB) 08:51:26 [08:51:26.046] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 08:51:26 [08:51:26.046] INFO: ivc-integration:test:native bb - 364.13 MiB) 08:51:26 goblin ecc op : 56/1024 (mem: 364.13 MiB) 08:51:26 busread : 12/6000 (mem: 364.13 MiB) 08:51:26 lookups : 2/15000 (mem: 364.13 MiB) 08:51:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 364.13 MiB) 08:51:26 arithmetic : 4677/56000 (mem: 364.13 MiB) 08:51:26 delta range : 2073/18000 (mem: 364.13 MiB) 08:51:26 elliptic : 2/6000 (mem: 364.13 MiB) 08:51:26 auxiliary : 110/26000 (mem: 364.13 MiB) 08:51:26 poseidon ext : 1322/17000 (mem: 364.13 MiB) 08:51:26 poseidon int : 7526/92000 (mem: 364.13 MiB) 08:51:26 overflow : 0/0 (mem: 364.13 MiB) 08:51:26 (mem: 364.13 MiB) 08:51:26 Total structured size: 242025 (mem: 364.13 MiB) 08:51:26 allocating polynomials object in proving key... (mem: 364.13 MiB) 08:51:26 [08:51:26.158] INFO: ivc-integration:test:native bb - populating trace... (mem: 575.13 MiB) 08:51:26 [08:51:26.251] INFO: ivc-integration:test:native bb - time to construct proving key: 208 ms. (mem: 590.13 MiB) 08:51:26 [08:51:26.426] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c61d762dfc0 (mem: 590.13 MiB) 08:51:26 computing folding proof (mem: 590.13 MiB) 08:51:26 [08:51:26.428] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 590.13 MiB) 08:51:26 [08:51:26.823] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 592.13 MiB) 08:51:26 [08:51:26.930] INFO: ivc-integration:test:native bb - perturbator round (mem: 629.13 MiB) 08:51:26 [08:51:26.989] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 661.13 MiB) 08:51:27 [08:51:27.434] INFO: ivc-integration:test:native bb - folded (mem: 661.13 MiB) 08:51:27 constructed folding proof (mem: 08:51:27 [08:51:27.436] INFO: ivc-integration:test:native bb - 661.13 MiB) 08:51:27 [08:51:27.446] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 661.13 MiB) 08:51:27 [08:51:27.523] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 661.13 MiB) 08:51:27 Constructing DeciderProvingKey (mem: 661.13 MiB) 08:51:27 [08:51:27.531] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 661.13 MiB) 08:51:27 goblin ecc op : 392/1024 (mem: 661.13 MiB) 08:51:27 busread : 3/6000 (mem: 661.13 MiB) 08:51:27 lookups : 2/15000 (mem: 661.13 MiB) 08:51:27 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 661.13 MiB) 08:51:27 arithmetic : 6913/56000 (mem: 661.13 MiB) 08:51:27 delta range : 2353/18000 (mem: 661.13 MiB) 08:51:27 elliptic : 2/6000 (mem: 661.13 MiB) 08:51:27 auxiliary : 50/26000 (mem: 661.13 MiB) 08:51:27 poseidon ext : 2492/17000 (mem: 661.13 MiB) 08:51:27 poseidon int : 14195/92000 (mem: 661.13 MiB) 08:51:27 overflow : 0/0 (mem: 661.13 MiB) 08:51:27 (mem: 661.13 MiB) 08:51:27 Total structured size: 242025 (mem: 661.13 MiB) 08:51:27 allocating polynomials object in proving key... (mem: 661.13 MiB) 08:51:27 [08:51:27.706] INFO: ivc-integration:test:native bb - populating trace... (mem: 661.13 MiB) 08:51:27 [08:51:27.749] INFO: ivc-integration:test:native bb - time to construct proving key: 225 ms. (mem: 661.13 MiB) 08:51:28 [08:51:28.089] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c61d7639380 (mem: 661.13 MiB) 08:51:28 computing folding proof (mem: 661.13 MiB) 08:51:28 [08:51:28.091] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 661.13 MiB) 08:51:28 [08:51:28.672] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 661.13 MiB) 08:51:28 [08:51:28.751] INFO: ivc-integration:test:native bb - perturbator round (mem: 661.13 MiB) 08:51:28 [08:51:28.819] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 670.95 MiB) 08:51:29 [08:51:29.145] INFO: ivc-integration:test:native bb - folded (mem: 670.95 MiB) 08:51:29 constructed folding proof (mem: 670.95 MiB) 08:51:29 Largest circuit: 26010 gates. Trace details: (mem: 670.95 MiB) 08:51:29 Minimum required block sizes for structured trace: (mem: 670.95 MiB) 08:51:29 (mem: 670.95 MiB) 08:51:29 prove decider... (mem: 670.95 MiB) 08:51:29 [08:51:29.148] INFO: ivc-integration:test:native bb - ecc_op : 392 08:51:29 busread : 12 08:51:29 lookup : 2 08:51:29 pub_inputs : 36 08:51:29 arithmetic : 6913 08:51:29 delta_range : 2353 08:51:29 elliptic : 2 08:51:29 aux : 110 08:51:29 poseidon2_external : 2492 08:51:29 poseidon2_internal : 14195 08:51:29 overflow : 0 08:51:29 [08:51:29.314] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 670.95 MiB) 08:51:29 [08:51:29.515] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 670.95 MiB) 08:51:30 [08:51:30.973] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 670.95 MiB) 08:51:31 [08:51:31.167] INFO: ivc-integration:test:native bb - computed opening proof (mem: 670.95 MiB) 08:51:31 finished decider proving. (mem: 670.95 MiB) 08:51:31 [08:51:31.184] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 670.95 MiB) 08:51:31 [08:51:31.312] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 670.95 MiB) 08:51:31 [08:51:31.327] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 670.95 MiB) 08:51:31 [08:51:31.664] INFO: ivc-integration:test:native bb - populating trace... (mem: 670.95 MiB) 08:51:31 [08:51:31.727] INFO: ivc-integration:test:native bb - time to construct proving key: 415 ms. 08:51:31 [08:51:31.729] INFO: ivc-integration:test:native bb - (mem: 670.95 MiB) 08:51:33 [08:51:33.280] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 670.95 MiB) 08:51:34 [08:51:34.236] INFO: ivc-integration:test:native bb - created oink proof (mem: 670.95 MiB) 08:51:34 [08:51:34.558] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 670.95 MiB) 08:51:36 [08:51:36.187] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 08:51:36 [08:51:36.189] INFO: ivc-integration:test:native bb - (mem: 670.95 MiB) 08:51:37 [08:51:37.847] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 670.95 MiB) 08:51:37 [08:51:37.947] INFO: ivc-integration:test:native bb - computed opening proof (mem: 670.95 MiB) 08:51:37 finished decider proving. (mem: 670.95 MiB) 08:51:37 Constructing a Goblin proof with num ultra ops = 1038 (mem: 670.95 MiB) 08:51:38 [08:51:38.301] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 670.95 MiB) 08:51:38 [08:51:38.704] 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: 670.95 MiB) 08:51:38 [08:51:38.729] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 670.95 MiB) 08:51:41 [08:51:41.307] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 670.95 MiB) 08:51:44 [08:51:44.289] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 08:51:44 [08:51:44.291] INFO: ivc-integration:test:native bb - (mem: 673.37 MiB) 08:51:49 [08:51:49.189] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 673.37 MiB) 08:51:49 prove translator... (mem: 673.37 MiB) 08:51:52 [08:51:52.067] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 08:51:52 [08:51:52.068] INFO: ivc-integration:test:native bb - (mem: 707.37 MiB) 08:51:55 [08:51:55.922] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 708.37 MiB) 08:51:59 [08:51:59.602] INFO: ivc-integration:test:native bb - computed opening proof 08:51:59 [08:51:59.603] INFO: ivc-integration:test:native bb - (mem: 708.37 MiB) 08:51:59 finished translator proving. (mem: 708.37 MiB) 08:51:59 [08:51:59.603] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 708.37 MiB) 08:51:59 [08:51:59.619] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 08:51:59 [08:51:59.620] INFO: ivc-integration:test:native bb - (mem: 708.37 MiB) 08:51:59 libra_evals_verified: 1 (mem: 708.37 MiB) 08:51:59 pairing_check_verified: 1 (mem: 708.37 MiB) 08:51:59 Mega verified: 1 (mem: 708.37 MiB) 08:51:59 [08:51:59.756] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 709.37 MiB) 08:51:59 batch opening verified?: 1 (mem: 709.37 MiB) 08:51:59 eccvm consistency check verified?: 1 (mem: 709.37 MiB) 08:51:59 [08:51:59.757] INFO: ivc-integration:test:native bb - translation masking consistency checked?: 1 (mem: 709.37 MiB) 08:51:59 [08:51:59.778] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 709.37 MiB) 08:51:59 eccvm verified?: 1 (mem: 709.37 MiB) 08:51:59 accumulator construction_verified?: 1 (mem: 709.37 MiB) 08:51:59 translation verified?: 1 (mem: 709.37 MiB) 08:51:59 consistency verified?: 1 (mem: 709.37 MiB) 08:51:59 Goblin verified: 1 (mem: 709.37 MiB) 08:51:59 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-04rWsQ" (mem: 709.37 MiB) 08:51:59 [08:51:59.782] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-04rWsQ" (mem: 709.37 MiB) 08:51:59 BN254 commitment key size: 262144 (mem: 709.37 MiB) 08:51:59 Constructing DeciderProvingKey (mem: 709.37 MiB) 08:51:59 [08:51:59.786] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 08:51:59 [08:51:59.786] INFO: ivc-integration:test:native bb - (mem: 08:51:59 [08:51:59.787] INFO: ivc-integration:test:native bb - 709.37 08:51:59 [08:51:59.789] INFO: ivc-integration:test:native bb - MiB) 08:51:59 goblin ecc op : 4/1024 (mem: 709.37 MiB) 08:51:59 busread : 3/6000 (mem: 709.37 MiB) 08:51:59 lookups : 2/15000 (mem: 709.37 MiB) 08:51:59 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 709.37 MiB) 08:51:59 arithmetic : 1773/56000 (mem: 709.37 MiB) 08:51:59 delta range : 1754/18000 (mem: 709.37 MiB) 08:51:59 elliptic : 2/6000 (mem: 709.37 MiB) 08:51:59 auxiliary : 26/26000 (mem: 709.37 MiB) 08:51:59 poseidon ext : 2/17000 (mem: 709.37 MiB) 08:51:59 poseidon int : 2/92000 (mem: 709.37 MiB) 08:51:59 overflow : 0/0 (mem: 709.37 MiB) 08:51:59 (mem: 709.37 MiB) 08:51:59 Total structured size: 242025 (mem: 709.37 MiB) 08:51:59 allocating polynomials object in proving key... (mem: 709.37 MiB) 08:52:00 [08:52:00.250] INFO: ivc-integration:test:native bb - populating trace... (mem: 709.37 MiB) 08:52:00 [08:52:00.283] INFO: ivc-integration:test:native bb - time to construct proving key: 499 ms. (mem: 709.37 MiB) 08:52:00 [08:52:00.439] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 709.37 MiB) 08:52:01 [08:52:01.162] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 711.37 MiB) 08:52:01 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 711.37 MiB) 08:52:01 [08:52:01.661] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 711.37 MiB) 08:52:01 [08:52:01.672] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 711.37 MiB) 08:52:01 [08:52:01.693] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 711.37 MiB) 08:52:01 [08:52:01.713] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 711.37 MiB) 08:52:01 goblin ecc op : 56/1024 (mem: 711.37 MiB) 08:52:01 busread : 3/6000 (mem: 711.37 MiB) 08:52:01 lookups : 2/15000 (mem: 711.37 MiB) 08:52:01 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 711.37 MiB) 08:52:01 arithmetic : 4533/56000 (mem: 711.37 MiB) 08:52:01 delta range : 2060/18000 (mem: 711.37 MiB) 08:52:01 elliptic : 2/6000 (mem: 711.37 MiB) 08:52:01 auxiliary : 50/26000 (mem: 711.37 MiB) 08:52:01 poseidon ext : 1332/17000 (mem: 711.37 MiB) 08:52:01 poseidon int : 7583/92000 (mem: 711.37 MiB) 08:52:01 overflow : 0/0 (mem: 711.37 MiB) 08:52:01 (mem: 711.37 MiB) 08:52:01 Total structured size: 242025 (mem: 711.37 MiB) 08:52:01 allocating polynomials object in proving key... (mem: 711.37 MiB) 08:52:01 [08:52:01.987] INFO: ivc-integration:test:native bb - populating trace... 08:52:01 [08:52:01.988] INFO: ivc-integration:test:native bb - (mem: 711.37 MiB) 08:52:02 [08:52:02.042] INFO: ivc-integration:test:native bb - time to construct proving key: 347 ms. (mem: 711.37 MiB) 08:52:02 [08:52:02.441] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 711.37 MiB) 08:52:03 [08:52:03.405] INFO: ivc-integration:test:native bb - computing folding proof (mem: 711.37 MiB) 08:52:03 [08:52:03.410] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 711.37 MiB) 08:52:04 [08:52:04.032] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 08:52:04 [08:52:04.033] INFO: ivc-integration:test:native bb - (mem: 711.37 MiB) 08:52:04 [08:52:04.187] INFO: ivc-integration:test:native bb - perturbator round (mem: 711.37 MiB) 08:52:04 [08:52:04.266] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 743.37 MiB) 08:52:04 [08:52:04.948] INFO: ivc-integration:test:native bb - folded (mem: 743.37 MiB) 08:52:04 constructed folding proof (mem: 743.37 MiB) 08:52:04 Largest circuit: 15565 gates. Trace details: (mem: 743.37 MiB) 08:52:04 Minimum required block sizes for structured trace: (mem: 743.37 MiB) 08:52:04 (mem: 743.37 MiB) 08:52:04 prove decider... (mem: 743.37 MiB) 08:52:04 [08:52:04.954] INFO: ivc-integration:test:native bb - ecc_op : 56 08:52:04 busread : 3 08:52:04 lookup : 2 08:52:04 pub_inputs : 36 08:52:04 arithmetic : 4533 08:52:04 delta_range : 2060 08:52:04 elliptic : 2 08:52:04 aux : 50 08:52:04 poseidon2_external : 1332 08:52:04 poseidon2_internal : 7583 08:52:04 overflow : 0 08:52:05 [08:52:05.205] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 743.37 MiB) 08:52:05 [08:52:05.597] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 743.37 MiB) 08:52:07 [08:52:07.111] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 08:52:07 [08:52:07.112] INFO: ivc-integration:test:native bb - (mem: 743.37 MiB) 08:52:07 [08:52:07.270] INFO: ivc-integration:test:native bb - computed opening proof (mem: 743.37 MiB) 08:52:07 finished decider proving. (mem: 743.37 MiB) 08:52:07 [08:52:07.283] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 743.37 MiB) 08:52:07 [08:52:07.382] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 743.37 MiB) 08:52:07 [08:52:07.387] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 743.37 MiB) 08:52:07 [08:52:07.476] INFO: ivc-integration:test:native bb - populating trace... 08:52:07 [08:52:07.477] INFO: ivc-integration:test:native bb - (mem: 743.37 MiB) 08:52:07 [08:52:07.543] INFO: ivc-integration:test:native bb - time to construct proving key: 161 ms. (mem: 743.37 MiB) 08:52:08 [08:52:08.282] INFO: ivc-integration:test:native BB concurrency: 1 08:52:08 [08:52:08.283] 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-04rWsQ/proof -k /tmp/bb-client-ivc-integration-04rWsQ/vk -v 08:52:08 [08:52:08.343] INFO: ivc-integration:test:native bb command: verify 08:52:08 [08:52:08.345] INFO: ivc-integration:test:native (mem: 287.52 MiB) 08:52:08 Scheme is: client_ivc, num threads: 1 (mem: 287.52 MiB) 08:52:08 --proof_path: /tmp/bb-client-ivc-integration-04rWsQ/proof (mem: 287.52 MiB) 08:52:08 --vk_path: /tmp/bb-client-ivc-integration-04rWsQ/vk (mem: 287.52 MiB) 08:52:08 --verbose: true (mem: 287.52 MiB) 08:52:08 --scheme: client_ivc (mem: 287.52 MiB) 08:52:08 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 287.52 MiB) 08:52:08 [08:52:08.364] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 08:52:08 [08:52:08.365] INFO: ivc-integration:test:native (mem: 287.52 MiB) 08:52:08 [08:52:08.368] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 287.52 MiB) 08:52:08 [08:52:08.398] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 287.52 MiB) 08:52:08 Initialized BN254 CRS from memory with num points = 1 (mem: 287.52 MiB) 08:52:08 [08:52:08.402] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 287.52 MiB) 08:52:08 libra_evals_verified: 1 (mem: 287.52 MiB) 08:52:08 pairing_check_verified: 1 (mem: 287.52 MiB) 08:52:08 Mega verified: 1 (mem: 287.52 MiB) 08:52:09 [08:52:09.138] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 287.52 MiB) 08:52:09 batch opening verified?: 1 (mem: 287.52 MiB) 08:52:09 eccvm consistency check verified?: 1 (mem: 287.52 MiB) 08:52:09 translation masking consistency checked?: 1 (mem: 287.52 MiB) 08:52:09 [08:52:09.160] INFO: ivc-integration:test:native merge verified?: 1 (mem: 287.52 MiB) 08:52:09 eccvm verified?: 1 (mem: 287.52 MiB) 08:52:09 accumulator construction_verified?: 1 (mem: 287.52 MiB) 08:52:09 translation verified?: 1 (mem: 287.52 MiB) 08:52:09 consistency verified?: 1 (mem: 287.52 MiB) 08:52:09 Goblin verified: 1 (mem: 287.52 MiB) 08:52:09 verified: 1 (mem: 287.52 MiB) 08:52:09 [08:52:09.298] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-60iDcf/ivc-inputs.msgpack 08:52:09 [08:52:09.300] INFO: ivc-integration:test:native bb - BB concurrency: undefined 08:52:09 [08:52:09.300] 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-60iDcf --ivc_inputs_path /tmp/bb-client-ivc-integration-60iDcf/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 08:52:09 [08:52:09.333] INFO: ivc-integration:test:native bb - bb command: prove (mem: 291.83 MiB) 08:52:09 Scheme is: client_ivc, num threads: 128 (mem: 291.83 MiB) 08:52:09 --scheme: client_ivc (mem: 291.83 MiB) 08:52:09 --output_path: /tmp/bb-client-ivc-integration-60iDcf (mem: 291.83 MiB) 08:52:09 --ivc_inputs_path: /tmp/bb-client-ivc-integration-60iDcf/ivc-inputs.msgpack (mem: 291.83 MiB) 08:52:09 --verbose: true (mem: 291.83 MiB) 08:52:09 --write_vk: true (mem: 291.83 MiB) 08:52:09 [08:52:09.337] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 291.83 MiB) 08:52:09 [08:52:09.338] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 291.83 MiB) 08:52:09 [08:52:09.425] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 291.83 MiB) 08:52:09 [08:52:09.429] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 291.83 MiB) 08:52:09 Constructing DeciderProvingKey (mem: 291.83 MiB) 08:52:09 [08:52:09.434] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 291.83 MiB) 08:52:09 goblin ecc op : 4/1024 (mem: 291.83 MiB) 08:52:09 busread : 7/6000 (mem: 291.83 MiB) 08:52:09 lookups : 2/15000 (mem: 291.83 MiB) 08:52:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 291.83 MiB) 08:52:09 arithmetic : 1760/56000 (mem: 291.83 MiB) 08:52:09 delta range : 1754/18000 (mem: 291.83 MiB) 08:52:09 elliptic : 2/6000 (mem: 291.83 MiB) 08:52:09 auxiliary : 26/26000 (mem: 291.83 MiB) 08:52:09 poseidon ext : 2/17000 (mem: 291.83 MiB) 08:52:09 poseidon int : 2/92000 (mem: 291.83 MiB) 08:52:09 overflow : 0/0 08:52:09 [08:52:09.435] INFO: ivc-integration:test:native bb - (mem: 291.83 MiB) 08:52:09 (mem: 291.83 MiB) 08:52:09 Total structured size: 242025 (mem: 291.83 MiB) 08:52:09 allocating polynomials object in proving key... (mem: 291.83 MiB) 08:52:09 [08:52:09.927] INFO: ivc-integration:test:native bb - populating trace... (mem: 353.73 MiB) 08:52:10 [08:52:10.006] INFO: ivc-integration:test:native bb - time to construct proving key: 576 ms. (mem: 363.73 MiB) 08:52:10 [08:52:10.326] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64189c63b040 (mem: 363.73 MiB) 08:52:10 computing oink proof... (mem: 363.73 MiB) 08:52:10 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 363.73 MiB) 08:52:10 [08:52:10.617] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 371.73 MiB) 08:52:10 [08:52:10.623] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 372.73 MiB) 08:52:10 [08:52:10.637] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 372.73 MiB) 08:52:10 Constructing DeciderProvingKey (mem: 372.73 MiB) 08:52:10 [08:52:10.639] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 372.73 MiB) 08:52:10 goblin ecc op : 56/1024 (mem: 372.73 MiB) 08:52:10 busread : 12/6000 (mem: 372.73 MiB) 08:52:10 lookups : 2/15000 (mem: 372.73 MiB) 08:52:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 372.73 MiB) 08:52:10 arithmetic : 4677/56000 (mem: 372.73 MiB) 08:52:10 delta range : 2073/18000 (mem: 372.73 MiB) 08:52:10 elliptic : 2/6000 (mem: 372.73 MiB) 08:52:10 auxiliary : 110/26000 (mem: 372.73 MiB) 08:52:10 poseidon ext : 1322/17000 (mem: 372.73 MiB) 08:52:10 poseidon int : 7526/92000 (mem: 372.73 MiB) 08:52:10 overflow : 0/0 (mem: 372.73 MiB) 08:52:10 (mem: 372.73 MiB) 08:52:10 Total structured size: 242025 (mem: 372.73 MiB) 08:52:10 allocating polynomials object in proving key... (mem: 372.73 MiB) 08:52:10 [08:52:10.757] INFO: ivc-integration:test:native bb - populating trace... (mem: 578.73 MiB) 08:52:10 [08:52:10.793] INFO: ivc-integration:test:native bb - time to construct proving key: 156 ms. (mem: 595.73 MiB) 08:52:10 [08:52:10.935] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64189c644280 (mem: 595.73 MiB) 08:52:10 computing folding proof (mem: 595.73 MiB) 08:52:10 vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 595.73 MiB) 08:52:11 [08:52:11.368] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 596.73 MiB) 08:52:11 [08:52:11.449] INFO: ivc-integration:test:native bb - perturbator round (mem: 632.73 MiB) 08:52:11 [08:52:11.501] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 664.73 MiB) 08:52:11 [08:52:11.758] INFO: ivc-integration:test:native bb - folded (mem: 664.73 MiB) 08:52:11 constructed folding proof (mem: 664.73 MiB) 08:52:11 [08:52:11.766] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 664.73 MiB) 08:52:11 Constructing DeciderProvingKey (mem: 664.73 MiB) 08:52:11 [08:52:11.770] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 664.73 MiB) 08:52:11 goblin ecc op : 4/1024 (mem: 664.73 MiB) 08:52:11 busread : 7/6000 (mem: 664.73 MiB) 08:52:11 lookups : 2/15000 (mem: 664.73 MiB) 08:52:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 664.73 MiB) 08:52:11 arithmetic : 1760/56000 (mem: 664.73 MiB) 08:52:11 delta range : 1754/18000 (mem: 664.73 MiB) 08:52:11 elliptic : 2/6000 (mem: 664.73 MiB) 08:52:11 auxiliary : 26/26000 (mem: 664.73 MiB) 08:52:11 poseidon ext : 2/17000 (mem: 664.73 MiB) 08:52:11 poseidon int : 2/92000 (mem: 664.73 MiB) 08:52:11 overflow : 0/0 (mem: 664.73 MiB) 08:52:11 (mem: 664.73 MiB) 08:52:11 Total structured size: 242025 (mem: 664.73 MiB) 08:52:11 allocating polynomials object in proving key... (mem: 664.73 MiB) 08:52:11 [08:52:11.916] INFO: ivc-integration:test:native bb - populating trace... (mem: 664.73 MiB) 08:52:11 [08:52:11.933] INFO: ivc-integration:test:native bb - time to construct proving key: 168 ms. (mem: 08:52:11 [08:52:11.934] INFO: ivc-integration:test:native bb - 664.73 MiB) 08:52:12 [08:52:12.093] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64189c63ff40 (mem: 664.73 MiB) 08:52:12 [08:52:12.094] INFO: ivc-integration:test:native bb - computing folding proof (mem: 664.73 MiB) 08:52:12 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 664.73 MiB) 08:52:12 [08:52:12.311] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 664.73 MiB) 08:52:12 [08:52:12.390] INFO: ivc-integration:test:native bb - perturbator round (mem: 664.73 MiB) 08:52:12 [08:52:12.451] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 666.32 MiB) 08:52:12 [08:52:12.669] INFO: ivc-integration:test:native bb - folded (mem: 666.32 MiB) 08:52:12 [08:52:12.670] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 666.32 MiB) 08:52:12 [08:52:12.688] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 666.32 MiB) 08:52:12 [08:52:12.761] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 666.32 MiB) 08:52:12 [08:52:12.828] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 666.32 MiB) 08:52:12 Constructing DeciderProvingKey (mem: 666.32 MiB) 08:52:12 [08:52:12.833] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 08:52:12 [08:52:12.833] INFO: ivc-integration:test:native bb - (mem: 666.32 MiB) 08:52:12 [08:52:12.834] INFO: ivc-integration:test:native bb - goblin ecc op : 792/1024 (mem: 666.32 MiB) 08:52:12 busread : 12/6000 (mem: 666.32 MiB) 08:52:12 lookups : 2/15000 (mem: 666.32 MiB) 08:52:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 666.32 MiB) 08:52:12 arithmetic : 12208/56000 (mem: 666.32 MiB) 08:52:12 delta range : 2981/18000 (mem: 666.32 MiB) 08:52:12 elliptic : 2/6000 (mem: 666.32 MiB) 08:52:12 auxiliary : 350/26000 (mem: 666.32 MiB) 08:52:12 poseidon ext : 4982/17000 (mem: 666.32 MiB) 08:52:12 poseidon int : 28388/92000 (mem: 666.32 MiB) 08:52:12 overflow : 0/0 (mem: 666.32 MiB) 08:52:12 (mem: 666.32 MiB) 08:52:12 Total structured size: 242025 (mem: 666.32 MiB) 08:52:12 allocating polynomials object in proving key... (mem: 666.32 MiB) 08:52:12 [08:52:12.904] INFO: ivc-integration:test:native bb - populating trace... (mem: 666.32 MiB) 08:52:12 [08:52:12.949] INFO: ivc-integration:test:native bb - time to construct proving key: 122 ms. (mem: 666.32 MiB) 08:52:13 [08:52:13.091] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64189c635500 (mem: 666.32 MiB) 08:52:13 computing folding proof (mem: 666.32 MiB) 08:52:13 vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 666.32 MiB) 08:52:13 [08:52:13.546] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 666.32 MiB) 08:52:13 [08:52:13.654] INFO: ivc-integration:test:native bb - perturbator round (mem: 680.02 MiB) 08:52:13 [08:52:13.725] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 712.02 MiB) 08:52:14 [08:52:14.118] INFO: ivc-integration:test:native bb - folded (mem: 712.02 MiB) 08:52:14 constructed folding proof (mem: 712.02 MiB) 08:52:14 [08:52:14.128] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 712.02 MiB) 08:52:14 [08:52:14.194] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 712.02 MiB) 08:52:14 Constructing DeciderProvingKey (mem: 712.02 MiB) 08:52:14 [08:52:14.198] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 712.02 MiB) 08:52:14 goblin ecc op : 392/1024 08:52:14 [08:52:14.199] INFO: ivc-integration:test:native bb - (mem: 712.02 MiB) 08:52:14 busread : 16/6000 (mem: 712.02 MiB) 08:52:14 lookups : 2/15000 (mem: 712.02 MiB) 08:52:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 712.02 MiB) 08:52:14 arithmetic : 6978/56000 (mem: 712.02 MiB) 08:52:14 delta range : 2367/18000 (mem: 712.02 MiB) 08:52:14 elliptic : 2/6000 (mem: 712.02 MiB) 08:52:14 auxiliary : 77/26000 (mem: 712.02 MiB) 08:52:14 poseidon ext : 2492/17000 (mem: 712.02 MiB) 08:52:14 poseidon int : 14195/92000 (mem: 712.02 MiB) 08:52:14 overflow : 0/0 (mem: 712.02 MiB) 08:52:14 (mem: 712.02 MiB) 08:52:14 Total structured size: 242025 (mem: 712.02 MiB) 08:52:14 allocating polynomials object in proving key... (mem: 712.02 MiB) 08:52:14 [08:52:14.256] INFO: ivc-integration:test:native bb - populating trace... (mem: 712.02 MiB) 08:52:14 [08:52:14.287] INFO: ivc-integration:test:native bb - time to construct proving key: 93 ms. (mem: 712.02 MiB) 08:52:14 [08:52:14.415] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64189c64ac40 (mem: 712.02 MiB) 08:52:14 computing folding proof (mem: 712.02 MiB) 08:52:14 [08:52:14.416] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 712.02 MiB) 08:52:14 [08:52:14.639] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 712.02 MiB) 08:52:14 [08:52:14.715] INFO: ivc-integration:test:native bb - perturbator round (mem: 712.02 MiB) 08:52:14 [08:52:14.785] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 712.56 MiB) 08:52:15 [08:52:15.109] INFO: ivc-integration:test:native bb - folded (mem: 712.56 MiB) 08:52:15 constructed folding proof (mem: 712.56 MiB) 08:52:15 [08:52:15.122] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 712.56 MiB) 08:52:15 [08:52:15.188] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 712.56 MiB) 08:52:15 Constructing DeciderProvingKey (mem: 712.56 MiB) 08:52:15 [08:52:15.193] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 712.56 MiB) 08:52:15 goblin ecc op : 392/1024 (mem: 712.56 08:52:15 [08:52:15.195] INFO: ivc-integration:test:native bb - MiB) 08:52:15 busread : 3/6000 (mem: 712.56 MiB) 08:52:15 lookups : 2/15000 (mem: 712.56 MiB) 08:52:15 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 712.56 MiB) 08:52:15 arithmetic : 6913/56000 (mem: 712.56 MiB) 08:52:15 delta range : 2353/18000 (mem: 712.56 MiB) 08:52:15 elliptic : 2/6000 (mem: 712.56 MiB) 08:52:15 auxiliary : 50/26000 (mem: 712.56 MiB) 08:52:15 poseidon ext : 2492/17000 (mem: 712.56 MiB) 08:52:15 poseidon int : 14195/92000 (mem: 712.56 MiB) 08:52:15 overflow : 0/0 (mem: 712.56 MiB) 08:52:15 (mem: 712.56 MiB) 08:52:15 Total structured size: 242025 (mem: 712.56 MiB) 08:52:15 allocating polynomials object in proving key... (mem: 712.56 MiB) 08:52:15 [08:52:15.280] INFO: ivc-integration:test:native bb - populating trace... (mem: 712.56 MiB) 08:52:15 [08:52:15.305] INFO: ivc-integration:test:native bb - time to construct proving key: 116 ms. (mem: 712.56 MiB) 08:52:15 [08:52:15.478] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64189c649b40 (mem: 712.56 MiB) 08:52:15 computing folding proof (mem: 712.56 MiB) 08:52:15 [08:52:15.479] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 712.56 MiB) 08:52:15 [08:52:15.886] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 08:52:15 [08:52:15.887] INFO: ivc-integration:test:native bb - (mem: 712.56 MiB) 08:52:15 [08:52:15.999] INFO: ivc-integration:test:native bb - perturbator round (mem: 712.56 MiB) 08:52:16 [08:52:16.063] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 712.88 MiB) 08:52:16 [08:52:16.273] INFO: ivc-integration:test:native bb - folded (mem: 712.88 MiB) 08:52:16 constructed folding proof (mem: 712.88 MiB) 08:52:16 [08:52:16.276] INFO: ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 712.88 MiB) 08:52:16 Minimum required block sizes for structured trace: (mem: 712.88 MiB) 08:52:16 (mem: 712.88 MiB) 08:52:16 prove decider... (mem: 712.88 MiB) 08:52:16 [08:52:16.276] INFO: ivc-integration:test:native bb - ecc_op : 792 08:52:16 busread : 16 08:52:16 lookup : 2 08:52:16 pub_inputs : 36 08:52:16 arithmetic : 12208 08:52:16 delta_range : 2981 08:52:16 elliptic : 2 08:52:16 aux : 350 08:52:16 poseidon2_external : 4982 08:52:16 poseidon2_internal : 28388 08:52:16 overflow : 0 08:52:16 [08:52:16.358] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 712.88 MiB) 08:52:16 [08:52:16.513] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 712.88 MiB) 08:52:17 [08:52:17.102] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 712.88 MiB) 08:52:17 [08:52:17.185] INFO: ivc-integration:test:native bb - computed opening proof (mem: 712.88 MiB) 08:52:17 finished decider proving. (mem: 712.88 MiB) 08:52:17 [08:52:17.200] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 712.88 MiB) 08:52:17 [08:52:17.302] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 712.88 MiB) 08:52:17 [08:52:17.309] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 712.88 MiB) 08:52:17 [08:52:17.354] INFO: ivc-integration:test:native bb - populating trace... (mem: 712.88 MiB) 08:52:17 [08:52:17.395] INFO: ivc-integration:test:native bb - time to construct proving key: 89 ms. (mem: 712.88 MiB) 08:52:17 [08:52:17.821] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 712.88 MiB) 08:52:18 [08:52:18.089] INFO: ivc-integration:test:native bb - created oink proof (mem: 712.88 MiB) 08:52:18 [08:52:18.213] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 712.88 MiB) 08:52:18 [08:52:18.659] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 712.88 MiB) 08:52:19 [08:52:19.097] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 712.88 MiB) 08:52:19 [08:52:19.150] INFO: ivc-integration:test:native bb - computed opening proof (mem: 712.88 MiB) 08:52:19 [08:52:19.151] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 712.88 MiB) 08:52:19 Constructing a Goblin proof with num ultra ops = 2226 (mem: 712.88 MiB) 08:52:19 [08:52:19.244] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 712.88 MiB) 08:52:19 [08:52:19.459] 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: 712.88 MiB) 08:52:19 [08:52:19.471] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 712.88 MiB) 08:52:20 [08:52:20.359] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 712.88 MiB) 08:52:21 [08:52:21.706] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 712.88 MiB) 08:52:24 [08:52:24.544] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 712.88 MiB) 08:52:24 prove translator... (mem: 712.88 MiB) 08:52:27 [08:52:27.964] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 731.73 MiB) 08:52:31 [08:52:31.307] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 732.73 MiB) 08:52:33 [08:52:33.934] INFO: ivc-integration:test:native bb - computed opening proof (mem: 732.73 MiB) 08:52:33 [08:52:33.935] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 732.73 MiB) 08:52:33 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 732.73 MiB) 08:52:33 [08:52:33.949] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 732.73 MiB) 08:52:33 libra_evals_verified: 1 (mem: 732.73 MiB) 08:52:33 pairing_check_verified: 1 (mem: 732.73 MiB) 08:52:33 [08:52:33.950] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 732.73 MiB) 08:52:34 [08:52:34.029] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 732.73 MiB) 08:52:34 batch opening verified?: 1 (mem: 732.73 MiB) 08:52:34 eccvm consistency check verified?: 1 (mem: 732.73 MiB) 08:52:34 translation masking consistency checked?: 1 (mem: 732.73 MiB) 08:52:34 [08:52:34.049] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 732.73 MiB) 08:52:34 eccvm verified?: 1 (mem: 732.73 MiB) 08:52:34 accumulator construction_verified?: 1 (mem: 732.73 MiB) 08:52:34 translation verified?: 1 (mem: 08:52:34 [08:52:34.050] INFO: ivc-integration:test:native bb - 732.73 MiB) 08:52:34 consistency verified?: 1 (mem: 732.73 MiB) 08:52:34 Goblin verified: 1 (mem: 732.73 MiB) 08:52:34 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-60iDcf" (mem: 732.73 MiB) 08:52:34 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-60iDcf" (mem: 732.73 MiB) 08:52:34 BN254 commitment key size: 262144 (mem: 732.73 MiB) 08:52:34 [08:52:34.053] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 732.73 MiB) 08:52:34 [08:52:34.056] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 732.73 MiB) 08:52:34 goblin ecc op : 4/1024 (mem: 732.73 08:52:34 [08:52:34.056] INFO: ivc-integration:test:native bb - MiB) 08:52:34 busread : 3/6000 (mem: 732.73 MiB) 08:52:34 lookups : 2/15000 (mem: 732.73 MiB) 08:52:34 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 732.73 MiB) 08:52:34 arithmetic : 1773/56000 (mem: 732.73 MiB) 08:52:34 delta range : 1754/18000 (mem: 732.73 MiB) 08:52:34 elliptic : 2/6000 (mem: 732.73 MiB) 08:52:34 auxiliary : 26/26000 (mem: 732.73 MiB) 08:52:34 poseidon ext : 2/17000 (mem: 732.73 MiB) 08:52:34 poseidon int : 2/92000 (mem: 732.73 MiB) 08:52:34 overflow : 0/0 (mem: 732.73 MiB) 08:52:34 (mem: 732.73 MiB) 08:52:34 Total structured size: 242025 (mem: 732.73 MiB) 08:52:34 allocating polynomials object in proving key... (mem: 732.73 MiB) 08:52:34 [08:52:34.397] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.73 MiB) 08:52:34 [08:52:34.437] INFO: ivc-integration:test:native bb - time to construct proving key: 381 ms. (mem: 732.73 MiB) 08:52:34 [08:52:34.646] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 732.73 MiB) 08:52:34 [08:52:34.959] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 732.73 MiB) 08:52:34 [08:52:34.960] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 732.73 MiB) 08:52:35 [08:52:35.711] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 732.73 MiB) 08:52:35 [08:52:35.729] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c 08:52:35 [08:52:35.737] INFO: ivc-integration:test:native bb - (mem: 732.73 MiB) 08:52:35 [08:52:35.781] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 732.73 MiB) 08:52:35 [08:52:35.791] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 732.73 MiB) 08:52:35 goblin ecc op : 56/1024 (mem: 08:52:35 [08:52:35.796] INFO: ivc-integration:test:native bb - 732.73 MiB) 08:52:35 busread : 3/6000 (mem: 732.73 MiB) 08:52:35 lookups : 2/15000 (mem: 732.73 MiB) 08:52:35 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 732.73 MiB) 08:52:35 arithmetic : 4533/56000 (mem: 732.73 MiB) 08:52:35 delta range : 2060/18000 (mem: 732.73 MiB) 08:52:35 elliptic : 2/6000 (mem: 732.73 MiB) 08:52:35 auxiliary : 50/26000 (mem: 732.73 MiB) 08:52:35 poseidon ext : 1332/17000 (mem: 732.73 MiB) 08:52:35 poseidon int : 7583/92000 (mem: 732.73 MiB) 08:52:35 overflow : 0/0 (mem: 732.73 MiB) 08:52:35 (mem: 732.73 MiB) 08:52:35 Total structured size: 242025 (mem: 732.73 MiB) 08:52:35 allocating polynomials object in proving key... (mem: 732.73 MiB) 08:52:36 [08:52:36.159] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.73 MiB) 08:52:36 [08:52:36.198] INFO: ivc-integration:test:native bb - time to construct proving key: 418 ms. (mem: 732.73 MiB) 08:52:36 [08:52:36.373] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 732.73 MiB) 08:52:37 [08:52:37.128] INFO: ivc-integration:test:native bb - computing folding proof (mem: 732.73 MiB) 08:52:37 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 732.73 MiB) 08:52:37 [08:52:37.501] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 732.73 MiB) 08:52:37 [08:52:37.632] INFO: ivc-integration:test:native bb - perturbator round (mem: 732.73 MiB) 08:52:37 [08:52:37.685] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 763.73 MiB) 08:52:37 [08:52:37.972] INFO: ivc-integration:test:native bb - folded (mem: 763.73 MiB) 08:52:37 constructed folding proof (mem: 763.73 MiB) 08:52:37 [08:52:37.973] INFO: ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 763.73 MiB) 08:52:37 Minimum required block sizes for structured trace: (mem: 763.73 MiB) 08:52:37 (mem: 763.73 MiB) 08:52:37 prove decider... (mem: 763.73 MiB) 08:52:37 [08:52:37.973] INFO: ivc-integration:test:native bb - ecc_op : 56 08:52:37 busread : 3 08:52:37 lookup : 2 08:52:37 pub_inputs : 36 08:52:37 arithmetic : 4533 08:52:37 delta_range : 2060 08:52:37 elliptic : 2 08:52:37 aux : 50 08:52:37 poseidon2_external : 1332 08:52:37 poseidon2_internal : 7583 08:52:37 overflow : 0 08:52:38 [08:52:38.121] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 763.73 MiB) 08:52:38 [08:52:38.218] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 763.73 MiB) 08:52:38 [08:52:38.931] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 763.73 MiB) 08:52:39 [08:52:39.000] INFO: ivc-integration:test:native bb - computed opening proof (mem: 763.73 MiB) 08:52:39 finished decider proving. (mem: 763.73 MiB) 08:52:39 [08:52:39.016] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 763.73 MiB) 08:52:39 [08:52:39.108] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 763.73 MiB) 08:52:39 [08:52:39.114] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 763.73 MiB) 08:52:39 [08:52:39.190] INFO: ivc-integration:test:native bb - populating trace... (mem: 763.73 MiB) 08:52:39 [08:52:39.220] INFO: ivc-integration:test:native bb - time to construct proving key: 111 ms. (mem: 763.73 MiB) 08:52:39 [08:52:39.633] INFO: ivc-integration:test:native BB concurrency: 1 08:52:39 [08:52:39.634] 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-60iDcf/proof -k /tmp/bb-client-ivc-integration-60iDcf/vk -v 08:52:39 [08:52:39.670] INFO: ivc-integration:test:native bb command: verify (mem: 291.10 08:52:39 [08:52:39.670] INFO: ivc-integration:test:native MiB) 08:52:39 Scheme is: client_ivc, num threads: 1 (mem: 291.10 MiB) 08:52:39 --proof_path: /tmp/bb-client-ivc-integration-60iDcf/proof (mem: 291.10 MiB) 08:52:39 --vk_path: /tmp/bb-client-ivc-integration-60iDcf/vk (mem: 291.10 MiB) 08:52:39 --verbose: true (mem: 291.10 MiB) 08:52:39 --scheme: client_ivc (mem: 291.10 MiB) 08:52:39 [08:52:39.672] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 291.10 MiB) 08:52:39 [08:52:39.690] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 291.10 MiB) 08:52:39 [08:52:39.691] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 291.10 MiB) 08:52:39 [08:52:39.713] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 291.10 MiB) 08:52:39 [08:52:39.713] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 291.10 MiB) 08:52:39 [08:52:39.714] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 291.10 MiB) 08:52:39 libra_evals_verified: 1 (mem: 291.10 MiB) 08:52:39 pairing_check_verified: 1 (mem: 291.10 MiB) 08:52:39 Mega verified: 1 (mem: 291.10 08:52:39 [08:52:39.715] INFO: ivc-integration:test:native MiB) 08:52:40 [08:52:40.256] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 291.10 MiB) 08:52:40 batch opening verified?: 1 (mem: 291.10 MiB) 08:52:40 eccvm consistency check verified?: 1 (mem: 291.10 MiB) 08:52:40 translation masking consistency checked?: 1 (mem: 291.10 MiB) 08:52:40 [08:52:40.278] INFO: ivc-integration:test:native merge verified?: 1 (mem: 291.10 MiB) 08:52:40 eccvm verified?: 1 (mem: 291.10 MiB) 08:52:40 accumulator construction_verified?: 1 (mem: 291.10 MiB) 08:52:40 translation verified?: 1 (mem: 291.10 MiB) 08:52:40 consistency verified?: 1 (mem: 291.10 MiB) 08:52:40 Goblin verified: 1 (mem: 291.10 MiB) 08:52:40 verified: 1 (mem: 291.10 MiB) 08:52:40 PASS src/native_client_ivc_integration.test.ts (78.968 s) 08:52:40 Client IVC Integration 08:52:40 ✓ Should generate a verifiable client IVC proof from a simple mock tx (44175 ms) 08:52:40 ✓ Should generate a verifiable client IVC proof from a complex mock tx (31112 ms) 08:52:40 08:52:40 Test Suites: 1 passed, 1 total 08:52:40 Tests: 2 passed, 2 total 08:52:40 Snapshots: 0 total 08:52:40 Time: 79.067 s 08:52:40 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 08:52:40 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?