ACI ·

Parent Log: http://ci.aztec-labs.com/6afe0e3c63790b84 Command: 4174e5df391694d3: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/8d254a16364bbc8136cad6732cc978ea1a895cae Env: REF_NAME=gh-readonly-queue/next/pr-15073-7763eef5eb7f045b9184a0a4591b394296eb3aa8 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 16 15:10:30 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15073_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 15:10:34 [15:10:34.873] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-xx3Cty/ivc-inputs.msgpack 15:10:34 [15:10:34.878] 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-xx3Cty --ivc_inputs_path /tmp/bb-client-ivc-integration-xx3Cty/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:10:34 [15:10:34.901] INFO: ivc-integration:test:native bb - bb command: prove (mem: 183.23 MiB) 15:10:34 Scheme is: client_ivc, num threads: 128 (mem: 183.23 MiB) 15:10:34 --scheme: client_ivc (mem: 183.23 MiB) 15:10:34 --output_path: /tmp/bb-client-ivc-integration-xx3Cty (mem: 183.23 MiB) 15:10:34 --ivc_inputs_path: /tmp/bb-client-ivc-integration-xx3Cty/ivc-inputs.msgpack (mem: 183.23 MiB) 15:10:34 --verbose: true (mem: 183.23 MiB) 15:10:34 --write_vk: true (mem: 183.23 MiB) 15:10:34 [15:10:34.903] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.23 MiB) 15:10:35 [15:10:35.022] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.00 MiB) 15:10:35 [15:10:35.102] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 301.92 MiB) 15:10:35 [15:10:35.106] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 301.92 MiB) 15:10:35 Constructing DeciderProvingKey (mem: 301.92 MiB) 15:10:35 [15:10:35.111] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 301.92 MiB) 15:10:35 goblin ecc op : 4/1024 (mem: 301.92 MiB) 15:10:35 busread : 7/6000 (mem: 301.92 MiB) 15:10:35 lookups : 2/15000 (mem: 301.92 MiB) 15:10:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 301.92 MiB) 15:10:35 [15:10:35.112] INFO: ivc-integration:test:native bb - arithmetic : 1760/56000 (mem: 301.92 MiB) 15:10:35 delta range : 1754/18000 (mem: 301.92 MiB) 15:10:35 elliptic : 2/6000 (mem: 301.92 MiB) 15:10:35 auxiliary : 26/26000 (mem: 301.92 MiB) 15:10:35 poseidon ext : 2/17000 (mem: 301.92 MiB) 15:10:35 poseidon int : 2/92000 (mem: 301.92 MiB) 15:10:35 overflow : 0/0 (mem: 301.92 MiB) 15:10:35 (mem: 301.92 MiB) 15:10:35 Total structured size: 242025 (mem: 301.92 MiB) 15:10:35 allocating polynomials object in proving key... (mem: 301.92 MiB) 15:10:35 [15:10:35.221] INFO: ivc-integration:test:native bb - populating trace... (mem: 497.07 MiB) 15:10:35 [15:10:35.231] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 512.07 MiB) 15:10:35 [15:10:35.263] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a0430e39600 (mem: 512.07 MiB) 15:10:35 computing oink proof... (mem: 15:10:35 [15:10:35.264] INFO: ivc-integration:test:native bb - 512.07 MiB) 15:10:35 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.07 MiB) 15:10:35 [15:10:35.465] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 520.07 MiB) 15:10:35 [15:10:35.476] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.07 MiB) 15:10:35 [15:10:35.495] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 520.07 MiB) 15:10:35 Constructing DeciderProvingKey (mem: 520.07 MiB) 15:10:35 [15:10:35.498] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 520.07 MiB) 15:10:35 goblin ecc op : 56/1024 (mem: 520.07 MiB) 15:10:35 busread : 12/6000 (mem: 520.07 MiB) 15:10:35 lookups : 2/15000 (mem: 520.07 MiB) 15:10:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 520.07 MiB) 15:10:35 arithmetic : 4625/56000 (mem: 520.07 MiB) 15:10:35 delta range : 2054/18000 (mem: 520.07 MiB) 15:10:35 elliptic : 2/6000 (mem: 520.07 MiB) 15:10:35 auxiliary : 110/26000 (mem: 520.07 MiB) 15:10:35 poseidon ext : 1302/17000 (mem: 520.07 MiB) 15:10:35 poseidon int : 7412/92000 (mem: 520.07 MiB) 15:10:35 overflow : 0/0 (mem: 520.07 MiB) 15:10:35 (mem: 520.07 MiB) 15:10:35 Total structured size: 242025 (mem: 520.07 MiB) 15:10:35 allocating polynomials object in proving key... (mem: 520.07 MiB) 15:10:35 [15:10:35.579] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.07 MiB) 15:10:35 [15:10:35.600] INFO: ivc-integration:test:native bb - time to construct proving key: 106 ms. (mem: 747.07 MiB) 15:10:35 [15:10:35.647] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a0430e46280 (mem: 747.07 MiB) 15:10:35 computing folding proof (mem: 747.07 MiB) 15:10:35 [15:10:35.649] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 747.07 MiB) 15:10:36 [15:10:36.102] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.07 MiB) 15:10:36 [15:10:36.214] INFO: ivc-integration:test:native bb - perturbator round (mem: 784.07 MiB) 15:10:36 [15:10:36.285] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.07 MiB) 15:10:36 [15:10:36.708] INFO: ivc-integration:test:native bb - folded (mem: 816.07 MiB) 15:10:36 constructed folding proof (mem: 816.07 MiB) 15:10:36 [15:10:36.725] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 816.07 MiB) 15:10:36 [15:10:36.801] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.07 MiB) 15:10:36 Constructing DeciderProvingKey (mem: 816.07 MiB) 15:10:36 [15:10:36.816] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.07 MiB) 15:10:36 goblin ecc op : 392/1024 (mem: 816.07 MiB) 15:10:36 busread : 3/6000 (mem: 816.07 MiB) 15:10:36 lookups : 2/15000 (mem: 816.07 MiB) 15:10:36 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 816.07 MiB) 15:10:36 arithmetic : 6849/56000 (mem: 816.07 MiB) 15:10:36 delta range : 2333/18000 (mem: 816.07 MiB) 15:10:36 elliptic : 2/6000 (mem: 816.07 MiB) 15:10:36 auxiliary : 50/26000 (mem: 816.07 MiB) 15:10:36 poseidon ext : 2472/17000 (mem: 816.07 MiB) 15:10:36 poseidon int : 14081/92000 (mem: 816.07 MiB) 15:10:36 overflow : 0/0 (mem: 816.07 MiB) 15:10:36 (mem: 816.07 MiB) 15:10:36 Total structured size: 242025 (mem: 816.07 MiB) 15:10:36 allocating polynomials object in proving key... (mem: 816.07 MiB) 15:10:37 [15:10:37.095] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.07 MiB) 15:10:37 [15:10:37.133] INFO: ivc-integration:test:native bb - time to construct proving key: 331 ms. (mem: 816.07 MiB) 15:10:37 [15:10:37.319] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a0430e3bd00 (mem: 816.07 MiB) 15:10:37 computing folding proof (mem: 816.07 MiB) 15:10:37 [15:10:37.321] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 816.07 MiB) 15:10:37 [15:10:37.848] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.07 MiB) 15:10:37 [15:10:37.965] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.07 MiB) 15:10:38 [15:10:38.010] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.07 MiB) 15:10:38 [15:10:38.517] INFO: ivc-integration:test:native bb - folded (mem: 816.07 MiB) 15:10:38 constructed folding proof (mem: 816.07 MiB) 15:10:38 [15:10:38.519] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 816.07 MiB) 15:10:38 Minimum required block sizes for structured trace: (mem: 816.07 MiB) 15:10:38 (mem: 816.07 MiB) 15:10:38 prove decider... (mem: 816.07 MiB) 15:10:38 [15:10:38.519] INFO: ivc-integration:test:native bb - ecc_op : 392 15:10:38 busread : 12 15:10:38 lookup : 2 15:10:38 pub_inputs : 36 15:10:38 arithmetic : 6849 15:10:38 delta_range : 2333 15:10:38 elliptic : 2 15:10:38 aux : 110 15:10:38 poseidon2_external : 2472 15:10:38 poseidon2_internal : 14081 15:10:38 overflow : 0 15:10:38 [15:10:38.690] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.07 MiB) 15:10:38 [15:10:38.830] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 816.07 MiB) 15:10:39 [15:10:39.951] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 816.07 MiB) 15:10:40 [15:10:40.040] INFO: ivc-integration:test:native bb - computed opening proof (mem: 816.07 MiB) 15:10:40 finished decider proving. (mem: 816.07 MiB) 15:10:40 [15:10:40.056] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 816.07 MiB) 15:10:40 [15:10:40.169] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 15:10:40 [15:10:40.171] INFO: ivc-integration:test:native bb - (mem: 15:10:40 [15:10:40.173] INFO: ivc-integration:test:native bb - 816.07 MiB) 15:10:40 [15:10:40.179] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 816.07 MiB) 15:10:40 [15:10:40.379] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.07 MiB) 15:10:40 [15:10:40.495] INFO: ivc-integration:test:native bb - time to construct proving key: 321 ms. (mem: 816.07 MiB) 15:10:41 [15:10:41.323] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 816.07 MiB) 15:10:41 [15:10:41.809] INFO: ivc-integration:test:native bb - created oink proof (mem: 816.07 MiB) 15:10:42 [15:10:42.021] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.07 MiB) 15:10:43 [15:10:43.528] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 816.07 MiB) 15:10:44 [15:10:44.639] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 816.07 MiB) 15:10:44 [15:10:44.677] INFO: ivc-integration:test:native bb - computed opening proof (mem: 816.07 MiB) 15:10:44 finished decider proving. (mem: 816.07 MiB) 15:10:44 Constructing a Goblin proof with num ultra ops = 1038 (mem: 816.07 MiB) 15:10:44 [15:10:44.915] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 816.07 MiB) 15:10:45 [15:10:45.347] 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: 816.07 MiB) 15:10:45 [15:10:45.362] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 816.07 MiB) 15:10:47 [15:10:47.045] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.07 MiB) 15:10:49 [15:10:49.070] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 816.07 MiB) 15:10:54 [15:10:54.427] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 816.07 MiB) 15:10:54 prove translator... (mem: 816.07 MiB) 15:10:57 [15:10:57.060] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.89 MiB) 15:10:58 [15:10:58.569] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 846.89 MiB) 15:11:00 [15:11:00.841] INFO: ivc-integration:test:native bb - computed opening proof (mem: 846.89 MiB) 15:11:00 finished translator proving. (mem: 846.89 MiB) 15:11:00 [15:11:00.843] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.89 MiB) 15:11:00 [15:11:00.860] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 846.89 MiB) 15:11:00 libra_evals_verified: 1 (mem: 846.89 MiB) 15:11:00 pairing_check_verified: 1 (mem: 846.89 MiB) 15:11:00 Mega verified: 1 (mem: 846.89 MiB) 15:11:00 [15:11:00.929] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 847.89 MiB) 15:11:00 batch opening verified?: 1 (mem: 847.89 MiB) 15:11:00 eccvm consistency check verified?: 1 (mem: 847.89 MiB) 15:11:00 translation masking consistency checked?: 1 (mem: 847.89 MiB) 15:11:00 [15:11:00.948] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 847.89 MiB) 15:11:00 eccvm verified?: 1 (mem: 847.89 MiB) 15:11:00 accumulator construction_verified?: 1 (mem: 847.89 MiB) 15:11:00 translation verified?: 1 (mem: 847.89 MiB) 15:11:00 consistency verified?: 1 (mem: 847.89 MiB) 15:11:00 Goblin verified: 1 (mem: 847.89 MiB) 15:11:00 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-xx3Cty" (mem: 847.89 MiB) 15:11:00 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-xx3Cty" (mem: 847.89 MiB) 15:11:00 BN254 commitment key size: 262144 (mem: 847.89 MiB) 15:11:00 [15:11:00.950] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.89 MiB) 15:11:00 [15:11:00.954] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.89 MiB) 15:11:00 goblin ecc op : 4/1024 (mem: 847.89 MiB) 15:11:00 busread : 3/6000 (mem: 847.89 MiB) 15:11:00 lookups : 2/15000 15:11:00 [15:11:00.955] INFO: ivc-integration:test:native bb - (mem: 847.89 MiB) 15:11:00 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 847.89 MiB) 15:11:00 arithmetic : 1773/56000 (mem: 847.89 MiB) 15:11:00 delta range : 1754/18000 (mem: 847.89 MiB) 15:11:00 elliptic : 2/6000 (mem: 847.89 MiB) 15:11:00 auxiliary : 26/26000 (mem: 847.89 MiB) 15:11:00 poseidon ext : 2/17000 (mem: 847.89 MiB) 15:11:00 poseidon int : 2/92000 (mem: 847.89 MiB) 15:11:00 overflow : 0/0 (mem: 847.89 MiB) 15:11:00 (mem: 847.89 MiB) 15:11:00 Total structured size: 242025 (mem: 847.89 MiB) 15:11:00 allocating polynomials object in proving key... (mem: 847.89 MiB) 15:11:01 [15:11:01.164] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.89 MiB) 15:11:01 [15:11:01.186] INFO: ivc-integration:test:native bb - time to construct proving key: 235 ms. (mem: 847.89 MiB) 15:11:01 [15:11:01.300] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.89 MiB) 15:11:02 [15:11:02.180] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 847.89 MiB) 15:11:02 [15:11:02.180] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.89 MiB) 15:11:02 [15:11:02.519] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 847.89 MiB) 15:11:02 [15:11:02.529] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.89 MiB) 15:11:02 [15:11:02.542] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.89 MiB) 15:11:02 [15:11:02.546] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.89 MiB) 15:11:02 goblin ecc op : 56/1024 (mem: 847.89 MiB) 15:11:02 busread : 3/6000 (mem: 847.89 MiB) 15:11:02 lookups : 2/15000 (mem: 847.89 MiB) 15:11:02 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.89 MiB) 15:11:02 arithmetic : 4481/56000 (mem: 847.89 MiB) 15:11:02 delta range : 2041/18000 (mem: 847.89 MiB) 15:11:02 elliptic : 2/6000 (mem: 847.89 MiB) 15:11:02 auxiliary : 50/26000 (mem: 847.89 MiB) 15:11:02 poseidon ext : 1312/17000 (mem: 847.89 MiB) 15:11:02 poseidon int : 7469/92000 (mem: 847.89 MiB) 15:11:02 overflow : 0/0 (mem: 847.89 MiB) 15:11:02 (mem: 847.89 MiB) 15:11:02 Total structured size: 242025 (mem: 847.89 MiB) 15:11:02 allocating polynomials object in proving key... (mem: 847.89 MiB) 15:11:02 [15:11:02.755] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.89 MiB) 15:11:02 [15:11:02.793] INFO: ivc-integration:test:native bb - time to construct proving key: 243 ms. (mem: 847.89 MiB) 15:11:02 [15:11:02.915] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.89 MiB) 15:11:03 [15:11:03.618] INFO: ivc-integration:test:native bb - computing folding proof (mem: 847.89 MiB) 15:11:03 [15:11:03.619] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 847.89 MiB) 15:11:04 [15:11:04.251] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.89 MiB) 15:11:04 [15:11:04.416] INFO: ivc-integration:test:native bb - perturbator round (mem: 849.89 MiB) 15:11:04 [15:11:04.493] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 881.89 MiB) 15:11:04 [15:11:04.929] INFO: ivc-integration:test:native bb - folded 15:11:04 [15:11:04.931] INFO: ivc-integration:test:native bb - (mem: 881.89 MiB) 15:11:04 constructed folding proof (mem: 881.89 MiB) 15:11:04 Largest circuit: 15360 gates. Trace details: (mem: 881.89 MiB) 15:11:04 Minimum required block sizes for structured trace: (mem: 881.89 MiB) 15:11:04 (mem: 881.89 MiB) 15:11:04 [15:11:04.932] INFO: ivc-integration:test:native bb - ecc_op : 56 15:11:04 busread : 3 15:11:04 lookup : 2 15:11:04 pub_inputs : 36 15:11:04 arithmetic : 4481 15:11:04 delta_range : 2041 15:11:04 elliptic : 2 15:11:04 aux : 50 15:11:04 poseidon2_external : 1312 15:11:04 poseidon2_internal : 7469 15:11:04 overflow : 0 15:11:04 [15:11:04.933] INFO: ivc-integration:test:native bb - prove decider... (mem: 881.89 MiB) 15:11:05 [15:11:05.265] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 881.89 MiB) 15:11:05 [15:11:05.523] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 881.89 MiB) 15:11:06 [15:11:06.508] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 881.89 MiB) 15:11:06 [15:11:06.605] INFO: ivc-integration:test:native bb - computed opening proof (mem: 881.89 MiB) 15:11:06 finished decider proving. (mem: 881.89 MiB) 15:11:06 [15:11:06.617] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 881.89 MiB) 15:11:06 [15:11:06.743] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 881.89 MiB) 15:11:06 [15:11:06.748] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 15:11:06 [15:11:06.750] INFO: ivc-integration:test:native bb - (mem: 881.89 MiB) 15:11:07 [15:11:07.056] INFO: ivc-integration:test:native bb - populating trace... (mem: 881.89 MiB) 15:11:07 [15:11:07.098] INFO: ivc-integration:test:native bb - time to construct proving key: 355 ms. (mem: 881.89 MiB) 15:11:07 [15:11:07.715] 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-xx3Cty/proof -k /tmp/bb-client-ivc-integration-xx3Cty/vk -v 15:11:07 [15:11:07.756] INFO: ivc-integration:test:native bb command: verify (mem: 183.23 MiB) 15:11:07 Scheme is: client_ivc, num threads: 128 (mem: 183.23 MiB) 15:11:07 --proof_path: /tmp/bb-client-ivc-integration-xx3Cty/proof (mem: 183.23 MiB) 15:11:07 --vk_path: /tmp/bb-client-ivc-integration-xx3Cty/vk (mem: 183.23 MiB) 15:11:07 --verbose: true (mem: 183.23 MiB) 15:11:07 --scheme: client_ivc (mem: 183.23 MiB) 15:11:07 [15:11:07.858] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 183.23 MiB) 15:11:07 [15:11:07.883] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 183.23 MiB) 15:11:07 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 183.23 MiB) 15:11:07 [15:11:07.904] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.23 MiB) 15:11:07 Initialized BN254 CRS from memory with num points = 1025 (mem: 183.23 MiB) 15:11:07 [15:11:07.908] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 183.23 MiB) 15:11:07 libra_evals_verified: 1 (mem: 183.23 MiB) 15:11:07 [15:11:07.909] INFO: ivc-integration:test:native 15:11:07 pairing_check_verified: 1 (mem: 183.23 MiB) 15:11:07 Mega verified: 1 (mem: 183.23 MiB) 15:11:07 [15:11:07.993] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 186.79 MiB) 15:11:07 batch opening verified?: 1 (mem: 186.79 MiB) 15:11:07 eccvm consistency check verified?: 1 (mem: 186.79 MiB) 15:11:07 translation masking consistency checked?: 1 (mem: 186.79 MiB) 15:11:08 [15:11:08.036] INFO: ivc-integration:test:native merge verified?: 1 (mem: 186.79 MiB) 15:11:08 eccvm verified?: 1 (mem: 186.79 MiB) 15:11:08 accumulator construction_verified?: 1 (mem: 186.79 MiB) 15:11:08 translation verified?: 1 (mem: 186.79 MiB) 15:11:08 consistency verified?: 1 (mem: 186.79 MiB) 15:11:08 Goblin verified: 1 (mem: 186.79 MiB) 15:11:08 [15:11:08.040] INFO: ivc-integration:test:native verified: 1 (mem: 186.79 MiB) 15:11:08 [15:11:08.323] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-WX7P7P/ivc-inputs.msgpack 15:11:08 [15:11:08.324] 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-WX7P7P --ivc_inputs_path /tmp/bb-client-ivc-integration-WX7P7P/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:11:08 [15:11:08.361] INFO: ivc-integration:test:native bb - bb command: prove (mem: 183.81 MiB) 15:11:08 Scheme is: client_ivc, num threads: 128 (mem: 183.81 MiB) 15:11:08 [15:11:08.362] INFO: ivc-integration:test:native bb - --scheme: client_ivc (mem: 183.81 MiB) 15:11:08 --output_path: /tmp/bb-client-ivc-integration-WX7P7P (mem: 183.81 MiB) 15:11:08 --ivc_inputs_path: /tmp/bb-client-ivc-integration-WX7P7P/ivc-inputs.msgpack (mem: 183.81 MiB) 15:11:08 --verbose: true (mem: 183.81 MiB) 15:11:08 --write_vk: true (mem: 183.81 MiB) 15:11:08 [15:11:08.367] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.81 MiB) 15:11:08 [15:11:08.488] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 266.00 MiB) 15:11:08 [15:11:08.573] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 314.92 MiB) 15:11:08 [15:11:08.578] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 314.92 MiB) 15:11:08 Constructing DeciderProvingKey (mem: 314.92 MiB) 15:11:08 [15:11:08.584] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 314.92 MiB) 15:11:08 goblin ecc op : 4/1024 (mem: 314.92 MiB) 15:11:08 busread : 7/6000 (mem: 314.92 MiB) 15:11:08 lookups : 2/15000 (mem: 314.92 MiB) 15:11:08 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 314.92 MiB) 15:11:08 arithmetic : 1760/56000 (mem: 314.92 MiB) 15:11:08 delta range : 1754/18000 (mem: 314.92 MiB) 15:11:08 elliptic : 2/6000 (mem: 314.92 MiB) 15:11:08 auxiliary : 26/26000 (mem: 314.92 MiB) 15:11:08 poseidon ext : 2/17000 (mem: 314.92 MiB) 15:11:08 poseidon int : 2/92000 (mem: 314.92 MiB) 15:11:08 overflow : 0/0 (mem: 314.92 MiB) 15:11:08 (mem: 314.92 MiB) 15:11:08 Total structured size: 242025 (mem: 314.92 MiB) 15:11:08 allocating polynomials object in proving key... (mem: 314.92 MiB) 15:11:08 [15:11:08.727] INFO: ivc-integration:test:native bb - populating trace... (mem: 495.05 MiB) 15:11:08 [15:11:08.753] INFO: ivc-integration:test:native bb - time to construct proving key: 173 ms. (mem: 513.05 MiB) 15:11:08 [15:11:08.836] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1c912cb440 (mem: 513.05 MiB) 15:11:08 computing oink proof... (mem: 513.05 MiB) 15:11:08 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.05 MiB) 15:11:09 [15:11:09.323] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.05 MiB) 15:11:09 [15:11:09.327] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.05 MiB) 15:11:09 [15:11:09.342] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.05 MiB) 15:11:09 Constructing DeciderProvingKey (mem: 523.05 MiB) 15:11:09 [15:11:09.346] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.05 MiB) 15:11:09 goblin ecc op : 56/1024 (mem: 523.05 MiB) 15:11:09 busread : 12/6000 15:11:09 [15:11:09.347] INFO: ivc-integration:test:native bb - (mem: 523.05 MiB) 15:11:09 lookups : 2/15000 (mem: 523.05 MiB) 15:11:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.05 MiB) 15:11:09 arithmetic : 4625/56000 (mem: 523.05 MiB) 15:11:09 delta range : 2054/18000 (mem: 523.05 MiB) 15:11:09 elliptic : 2/6000 (mem: 523.05 MiB) 15:11:09 auxiliary : 110/26000 (mem: 523.05 MiB) 15:11:09 poseidon ext : 1302/17000 (mem: 523.05 MiB) 15:11:09 poseidon int : 7412/92000 (mem: 523.05 MiB) 15:11:09 overflow : 0/0 (mem: 523.05 MiB) 15:11:09 (mem: 523.05 MiB) 15:11:09 Total structured size: 242025 (mem: 523.05 MiB) 15:11:09 allocating polynomials object in proving key... (mem: 523.05 MiB) 15:11:09 [15:11:09.609] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.05 MiB) 15:11:09 [15:11:09.659] INFO: ivc-integration:test:native bb - time to construct proving key: 317 ms. (mem: 751.05 MiB) 15:11:09 [15:11:09.832] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1c912d46c0 (mem: 751.05 MiB) 15:11:09 computing folding proof (mem: 751.05 MiB) 15:11:09 [15:11:09.833] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 751.05 MiB) 15:11:10 [15:11:10.436] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 752.05 MiB) 15:11:10 [15:11:10.582] INFO: ivc-integration:test:native bb - perturbator round (mem: 789.05 MiB) 15:11:10 [15:11:10.662] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.05 MiB) 15:11:11 [15:11:11.389] INFO: ivc-integration:test:native bb - folded (mem: 821.05 MiB) 15:11:11 constructed folding proof (mem: 821.05 MiB) 15:11:11 [15:11:11.398] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.05 MiB) 15:11:11 Constructing DeciderProvingKey (mem: 821.05 MiB) 15:11:11 [15:11:11.405] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.05 MiB) 15:11:11 goblin ecc op : 4/1024 (mem: 821.05 MiB) 15:11:11 busread : 7/6000 (mem: 821.05 MiB) 15:11:11 lookups : 2/15000 (mem: 821.05 MiB) 15:11:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.05 MiB) 15:11:11 arithmetic : 1760/56000 (mem: 821.05 MiB) 15:11:11 delta range : 1754/18000 (mem: 821.05 MiB) 15:11:11 elliptic : 2/6000 (mem: 821.05 MiB) 15:11:11 auxiliary : 26/26000 (mem: 821.05 MiB) 15:11:11 poseidon ext : 2/17000 (mem: 821.05 MiB) 15:11:11 poseidon int : 2/92000 (mem: 821.05 MiB) 15:11:11 overflow : 0/0 (mem: 821.05 MiB) 15:11:11 (mem: 821.05 MiB) 15:11:11 Total structured size: 242025 (mem: 821.05 MiB) 15:11:11 allocating polynomials object in proving key... (mem: 821.05 MiB) 15:11:11 [15:11:11.656] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.05 MiB) 15:11:11 [15:11:11.686] INFO: ivc-integration:test:native bb - time to construct proving key: 291 ms. (mem: 821.05 MiB) 15:11:11 [15:11:11.846] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1c912cbc80 (mem: 821.05 MiB) 15:11:11 computing folding proof (mem: 821.05 MiB) 15:11:11 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.05 MiB) 15:11:12 [15:11:12.218] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.05 MiB) 15:11:12 [15:11:12.303] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.05 MiB) 15:11:12 [15:11:12.348] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.05 MiB) 15:11:12 [15:11:12.632] INFO: ivc-integration:test:native bb - folded (mem: 821.05 MiB) 15:11:12 constructed folding proof (mem: 821.05 MiB) 15:11:12 [15:11:12.643] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 821.05 MiB) 15:11:12 [15:11:12.713] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.05 MiB) 15:11:12 [15:11:12.795] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 821.05 MiB) 15:11:12 Constructing DeciderProvingKey (mem: 821.05 MiB) 15:11:12 [15:11:12.801] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.05 MiB) 15:11:12 goblin ecc op : 792/1024 (mem: 821.05 MiB) 15:11:12 [15:11:12.802] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 821.05 MiB) 15:11:12 lookups : 2/15000 (mem: 821.05 MiB) 15:11:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.05 MiB) 15:11:12 arithmetic : 12080/56000 (mem: 821.05 MiB) 15:11:12 delta range : 2942/18000 (mem: 821.05 MiB) 15:11:12 elliptic : 2/6000 (mem: 821.05 MiB) 15:11:12 auxiliary : 350/26000 (mem: 821.05 MiB) 15:11:12 poseidon ext : 4942/17000 (mem: 821.05 MiB) 15:11:12 poseidon int : 28160/92000 (mem: 821.05 MiB) 15:11:12 overflow : 0/0 (mem: 821.05 MiB) 15:11:12 (mem: 821.05 MiB) 15:11:12 Total structured size: 242025 (mem: 821.05 MiB) 15:11:12 allocating polynomials object in proving key... (mem: 821.05 MiB) 15:11:12 [15:11:12.875] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.05 MiB) 15:11:12 [15:11:12.937] INFO: ivc-integration:test:native bb - time to construct proving key: 142 ms. (mem: 821.05 MiB) 15:11:13 [15:11:13.054] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1c91348340 (mem: 821.05 MiB) 15:11:13 computing folding proof (mem: 821.05 MiB) 15:11:13 [15:11:13.056] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 821.05 MiB) 15:11:13 [15:11:13.688] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.05 MiB) 15:11:13 [15:11:13.774] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.05 MiB) 15:11:13 [15:11:13.843] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 849.50 MiB) 15:11:14 [15:11:14.145] INFO: ivc-integration:test:native bb - folded (mem: 849.50 MiB) 15:11:14 constructed folding proof (mem: 849.50 MiB) 15:11:14 [15:11:14.157] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 849.50 MiB) 15:11:14 [15:11:14.227] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 849.50 MiB) 15:11:14 Constructing DeciderProvingKey (mem: 849.50 MiB) 15:11:14 [15:11:14.232] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.50 MiB) 15:11:14 goblin ecc op : 392/1024 (mem: 849.50 MiB) 15:11:14 busread : 16/6000 (mem: 849.50 MiB) 15:11:14 lookups : 2/15000 (mem: 849.50 15:11:14 [15:11:14.234] INFO: ivc-integration:test:native bb - MiB) 15:11:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 849.50 MiB) 15:11:14 arithmetic : 6914/56000 (mem: 849.50 MiB) 15:11:14 delta range : 2347/18000 (mem: 849.50 MiB) 15:11:14 elliptic : 2/6000 (mem: 849.50 MiB) 15:11:14 auxiliary : 77/26000 (mem: 849.50 MiB) 15:11:14 poseidon ext : 2472/17000 (mem: 849.50 MiB) 15:11:14 poseidon int : 14081/92000 (mem: 849.50 MiB) 15:11:14 overflow : 0/0 (mem: 849.50 MiB) 15:11:14 (mem: 849.50 MiB) 15:11:14 Total structured size: 242025 (mem: 849.50 MiB) 15:11:14 allocating polynomials object in proving key... (mem: 849.50 MiB) 15:11:14 [15:11:14.396] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.50 MiB) 15:11:14 [15:11:14.421] INFO: ivc-integration:test:native bb - time to construct proving key: 193 ms. 15:11:14 [15:11:14.424] INFO: ivc-integration:test:native bb - (mem: 849.50 MiB) 15:11:14 [15:11:14.774] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1c91342d40 (mem: 849.50 MiB) 15:11:14 computing folding proof (mem: 849.50 MiB) 15:11:14 vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 849.50 MiB) 15:11:15 [15:11:15.203] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.50 MiB) 15:11:15 [15:11:15.339] INFO: ivc-integration:test:native bb - perturbator round (mem: 849.50 MiB) 15:11:15 [15:11:15.397] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 849.86 MiB) 15:11:15 [15:11:15.687] INFO: ivc-integration:test:native bb - folded (mem: 849.86 MiB) 15:11:15 constructed folding proof (mem: 849.86 MiB) 15:11:15 [15:11:15.698] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 849.86 MiB) 15:11:15 [15:11:15.780] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 849.86 MiB) 15:11:15 Constructing DeciderProvingKey (mem: 849.86 MiB) 15:11:15 [15:11:15.786] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.86 MiB) 15:11:15 goblin ecc op : 392/1024 (mem: 849.86 MiB) 15:11:15 busread : 3/6000 (mem: 849.86 MiB) 15:11:15 lookups : 2/15000 (mem: 849.86 MiB) 15:11:15 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 849.86 MiB) 15:11:15 arithmetic : 6849/56000 (mem: 849.86 MiB) 15:11:15 delta range : 2333/18000 (mem: 849.86 MiB) 15:11:15 elliptic : 2/6000 (mem: 849.86 MiB) 15:11:15 auxiliary : 50/26000 (mem: 849.86 MiB) 15:11:15 poseidon ext : 2472/17000 (mem: 849.86 MiB) 15:11:15 poseidon int : 14081/92000 (mem: 849.86 MiB) 15:11:15 overflow : 0/0 (mem: 849.86 MiB) 15:11:15 (mem: 849.86 MiB) 15:11:15 Total structured size: 242025 (mem: 849.86 MiB) 15:11:15 allocating polynomials object in proving key... (mem: 849.86 MiB) 15:11:15 [15:11:15.923] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.86 MiB) 15:11:15 [15:11:15.960] INFO: ivc-integration:test:native bb - time to construct proving key: 179 ms. (mem: 849.86 MiB) 15:11:16 [15:11:16.109] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1c912d9fc0 (mem: 849.86 MiB) 15:11:16 computing folding proof (mem: 849.86 MiB) 15:11:16 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 849.86 MiB) 15:11:16 [15:11:16.700] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.86 MiB) 15:11:16 [15:11:16.813] INFO: ivc-integration:test:native bb - perturbator round (mem: 849.86 MiB) 15:11:16 [15:11:16.867] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 849.86 MiB) 15:11:17 [15:11:17.013] INFO: ivc-integration:test:native bb - folded (mem: 849.86 MiB) 15:11:17 constructed folding proof (mem: 849.86 MiB) 15:11:17 Largest circuit: 48490 gates. Trace details: (mem: 849.86 MiB) 15:11:17 Minimum required block sizes for structured trace: (mem: 849.86 MiB) 15:11:17 [15:11:17.014] INFO: ivc-integration:test:native bb - (mem: 849.86 MiB) 15:11:17 prove decider... (mem: 849.86 MiB) 15:11:17 [15:11:17.015] INFO: ivc-integration:test:native bb - ecc_op : 792 15:11:17 busread : 16 15:11:17 lookup : 2 15:11:17 pub_inputs : 36 15:11:17 arithmetic : 12080 15:11:17 delta_range : 2942 15:11:17 elliptic : 2 15:11:17 aux : 350 15:11:17 poseidon2_external : 4942 15:11:17 poseidon2_internal : 28160 15:11:17 overflow : 0 15:11:17 [15:11:17.091] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 849.86 MiB) 15:11:17 [15:11:17.215] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 849.86 MiB) 15:11:18 [15:11:18.112] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 849.86 MiB) 15:11:18 [15:11:18.185] INFO: ivc-integration:test:native bb - computed opening proof (mem: 849.86 MiB) 15:11:18 finished decider proving. (mem: 849.86 MiB) 15:11:18 [15:11:18.202] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 849.86 MiB) 15:11:18 [15:11:18.309] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.86 MiB) 15:11:18 [15:11:18.313] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 15:11:18 [15:11:18.314] INFO: ivc-integration:test:native bb - (mem: 15:11:18 [15:11:18.314] INFO: ivc-integration:test:native bb - 849.86 15:11:18 [15:11:18.315] INFO: ivc-integration:test:native bb - MiB) 15:11:18 [15:11:18.315] INFO: ivc-integration:test:native bb - 15:11:18 [15:11:18.428] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.86 MiB) 15:11:18 [15:11:18.478] INFO: ivc-integration:test:native bb - time to construct proving key: 170 ms. (mem: 849.86 MiB) 15:11:19 [15:11:19.169] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 849.86 MiB) 15:11:19 [15:11:19.555] INFO: ivc-integration:test:native bb - created oink proof (mem: 849.86 MiB) 15:11:19 [15:11:19.749] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 849.86 MiB) 15:11:20 [15:11:20.518] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 849.86 MiB) 15:11:21 [15:11:21.212] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 849.86 MiB) 15:11:21 [15:11:21.272] INFO: ivc-integration:test:native bb - computed opening proof (mem: 849.86 MiB) 15:11:21 finished decider proving. (mem: 849.86 MiB) 15:11:21 Constructing a Goblin proof with num ultra ops = 2226 (mem: 849.86 MiB) 15:11:21 [15:11:21.553] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 849.86 MiB) 15:11:22 [15:11:22.031] 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: 849.86 MiB) 15:11:22 [15:11:22.050] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 849.86 MiB) 15:11:23 [15:11:23.958] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 849.86 MiB) 15:11:25 [15:11:25.689] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 849.86 MiB) 15:11:28 [15:11:28.870] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 849.86 MiB) 15:11:28 prove translator... (mem: 849.86 MiB) 15:11:32 [15:11:32.061] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 871.29 MiB) 15:11:34 [15:11:34.590] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 15:11:34 [15:11:34.591] INFO: ivc-integration:test:native bb - (mem: 871.29 MiB) 15:11:36 [15:11:36.620] INFO: ivc-integration:test:native bb - computed opening proof (mem: 871.29 MiB) 15:11:36 [15:11:36.621] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 871.29 MiB) 15:11:36 [15:11:36.623] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 871.29 MiB) 15:11:36 [15:11:36.637] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 871.29 MiB) 15:11:36 libra_evals_verified: 1 (mem: 871.29 MiB) 15:11:36 pairing_check_verified: 1 (mem: 871.29 MiB) 15:11:36 Mega verified: 1 (mem: 871.29 MiB) 15:11:36 [15:11:36.687] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 872.29 MiB) 15:11:36 batch opening verified?: 1 (mem: 872.29 MiB) 15:11:36 eccvm consistency check verified?: 1 (mem: 872.29 MiB) 15:11:36 translation masking consistency checked?: 1 (mem: 872.29 MiB) 15:11:36 [15:11:36.710] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 872.29 MiB) 15:11:36 eccvm verified?: 1 (mem: 872.29 MiB) 15:11:36 accumulator construction_verified?: 1 (mem: 872.29 MiB) 15:11:36 translation verified?: 1 (mem: 872.29 MiB) 15:11:36 consistency verified?: 1 (mem: 872.29 MiB) 15:11:36 Goblin verified: 1 (mem: 872.29 MiB) 15:11:36 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-WX7P7P" (mem: 872.29 MiB) 15:11:36 [15:11:36.711] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-WX7P7P" (mem: 872.29 MiB) 15:11:36 BN254 commitment key size: 262144 (mem: 872.29 MiB) 15:11:36 [15:11:36.714] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.29 MiB) 15:11:36 [15:11:36.716] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.29 MiB) 15:11:36 goblin ecc op : 4/1024 (mem: 872.29 MiB) 15:11:36 busread : 3/6000 (mem: 872.29 MiB) 15:11:36 lookups : 2/15000 (mem: 872.29 MiB) 15:11:36 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 872.29 MiB) 15:11:36 arithmetic : 1773/56000 (mem: 872.29 MiB) 15:11:36 delta range : 1754/18000 (mem: 872.29 MiB) 15:11:36 elliptic : 2/6000 (mem: 872.29 MiB) 15:11:36 auxiliary : 26/26000 (mem: 872.29 MiB) 15:11:36 poseidon ext : 2/17000 (mem: 872.29 MiB) 15:11:36 poseidon int : 2/92000 (mem: 872.29 MiB) 15:11:36 overflow : 0/0 (mem: 872.29 MiB) 15:11:36 (mem: 872.29 MiB) 15:11:36 Total structured size: 242025 (mem: 872.29 MiB) 15:11:36 allocating polynomials object in proving key... (mem: 872.29 MiB) 15:11:36 [15:11:36.882] INFO: ivc-integration:test:native bb - populating trace... 15:11:36 [15:11:36.883] INFO: ivc-integration:test:native bb - (mem: 872.29 MiB) 15:11:37 [15:11:37.031] INFO: ivc-integration:test:native bb - time to construct proving key: 318 ms. (mem: 872.29 MiB) 15:11:37 [15:11:37.168] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.29 MiB) 15:11:37 [15:11:37.943] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 872.29 MiB) 15:11:37 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.29 MiB) 15:11:38 [15:11:38.112] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 872.29 MiB) 15:11:38 [15:11:38.119] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.29 MiB) 15:11:38 [15:11:38.131] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.29 MiB) 15:11:38 [15:11:38.134] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.29 MiB) 15:11:38 goblin ecc op : 56/1024 (mem: 872.29 MiB) 15:11:38 busread : 3/6000 (mem: 872.29 MiB) 15:11:38 [15:11:38.134] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 872.29 MiB) 15:11:38 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 872.29 MiB) 15:11:38 arithmetic : 4481/56000 (mem: 872.29 MiB) 15:11:38 delta range : 2041/18000 (mem: 872.29 MiB) 15:11:38 elliptic : 2/6000 (mem: 872.29 MiB) 15:11:38 auxiliary : 50/26000 (mem: 872.29 MiB) 15:11:38 poseidon ext : 1312/17000 (mem: 872.29 MiB) 15:11:38 poseidon int : 7469/92000 (mem: 872.29 MiB) 15:11:38 overflow : 0/0 (mem: 872.29 MiB) 15:11:38 (mem: 872.29 MiB) 15:11:38 Total structured size: 242025 (mem: 872.29 MiB) 15:11:38 allocating polynomials object in proving key... (mem: 872.29 MiB) 15:11:38 [15:11:38.237] INFO: ivc-integration:test:native bb - populating trace... (mem: 872.29 MiB) 15:11:38 [15:11:38.283] INFO: ivc-integration:test:native bb - time to construct proving key: 149 ms. (mem: 872.29 MiB) 15:11:38 [15:11:38.387] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.29 MiB) 15:11:38 [15:11:38.954] INFO: ivc-integration:test:native bb - computing folding proof (mem: 872.29 MiB) 15:11:38 [15:11:38.954] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 872.29 MiB) 15:11:39 [15:11:39.170] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 872.29 MiB) 15:11:39 [15:11:39.264] INFO: ivc-integration:test:native bb - perturbator round (mem: 872.29 MiB) 15:11:39 [15:11:39.304] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 904.29 MiB) 15:11:39 [15:11:39.425] INFO: ivc-integration:test:native bb - folded (mem: 904.29 MiB) 15:11:39 constructed folding proof (mem: 904.29 MiB) 15:11:39 [15:11:39.426] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 904.29 MiB) 15:11:39 Minimum required block sizes for structured trace: (mem: 904.29 MiB) 15:11:39 (mem: 904.29 MiB) 15:11:39 prove decider... (mem: 904.29 MiB) 15:11:39 [15:11:39.426] INFO: ivc-integration:test:native bb - ecc_op : 56 15:11:39 busread : 3 15:11:39 lookup : 2 15:11:39 pub_inputs : 36 15:11:39 arithmetic : 4481 15:11:39 delta_range : 2041 15:11:39 elliptic : 2 15:11:39 aux : 50 15:11:39 poseidon2_external : 1312 15:11:39 poseidon2_internal : 7469 15:11:39 overflow : 0 15:11:39 [15:11:39.533] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 904.29 MiB) 15:11:39 [15:11:39.603] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 904.29 MiB) 15:11:39 [15:11:39.984] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 904.29 MiB) 15:11:40 [15:11:40.054] INFO: ivc-integration:test:native bb - computed opening proof (mem: 904.29 MiB) 15:11:40 [15:11:40.055] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 904.29 MiB) 15:11:40 [15:11:40.070] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 904.29 MiB) 15:11:40 [15:11:40.172] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 904.29 MiB) 15:11:40 [15:11:40.189] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 904.29 MiB) 15:11:40 [15:11:40.413] INFO: ivc-integration:test:native bb - populating trace... (mem: 904.29 MiB) 15:11:40 [15:11:40.442] INFO: ivc-integration:test:native bb - time to construct proving key: 269 ms. (mem: 904.29 MiB) 15:11:40 [15:11:40.762] 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-WX7P7P/proof -k /tmp/bb-client-ivc-integration-WX7P7P/vk -v 15:11:40 [15:11:40.781] INFO: ivc-integration:test:native bb command: verify (mem: 188.23 MiB) 15:11:40 [15:11:40.782] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 188.23 MiB) 15:11:40 --proof_path: /tmp/bb-client-ivc-integration-WX7P7P/proof (mem: 188.23 MiB) 15:11:40 --vk_path: /tmp/bb-client-ivc-integration-WX7P7P/vk (mem: 188.23 MiB) 15:11:40 --verbose: true (mem: 188.23 MiB) 15:11:40 --scheme: client_ivc (mem: 188.23 MiB) 15:11:40 [15:11:40.879] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.23 MiB) 15:11:40 [15:11:40.901] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 188.23 MiB) 15:11:40 [15:11:40.902] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 188.23 MiB) 15:11:40 [15:11:40.922] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.23 MiB) 15:11:40 [15:11:40.923] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 188.23 MiB) 15:11:40 [15:11:40.924] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 188.23 MiB) 15:11:40 libra_evals_verified: 1 (mem: 188.23 MiB) 15:11:40 pairing_check_verified: 1 (mem: 188.23 MiB) 15:11:40 Mega verified: 1 (mem: 188.23 MiB) 15:11:40 [15:11:40.974] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.23 MiB) 15:11:40 batch opening verified?: 1 (mem: 188.23 MiB) 15:11:40 eccvm consistency check verified?: 1 (mem: 188.23 MiB) 15:11:40 translation masking consistency checked?: 1 (mem: 15:11:40 [15:11:40.974] INFO: ivc-integration:test:native 188.23 MiB) 15:11:40 [15:11:40.989] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.23 MiB) 15:11:40 eccvm verified?: 1 (mem: 188.23 MiB) 15:11:40 accumulator construction_verified?: 1 (mem: 188.23 MiB) 15:11:40 translation verified?: 1 (mem: 188.23 MiB) 15:11:40 consistency verified?: 1 (mem: 188.23 MiB) 15:11:40 Goblin verified: 1 (mem: 188.23 MiB) 15:11:40 [15:11:40.998] INFO: ivc-integration:test:native verified: 1 (mem: 188.23 MiB) 15:11:41 PASS src/native_client_ivc_integration.test.ts (69.727 s) 15:11:41 Client IVC Integration 15:11:41 ✓ Should generate a verifiable client IVC proof from a simple mock tx (33403 ms) 15:11:41 ✓ Should generate a verifiable client IVC proof from a complex mock tx (32823 ms) 15:11:41 15:11:41 Test Suites: 1 passed, 1 total 15:11:41 Tests: 2 passed, 2 total 15:11:41 Snapshots: 0 total 15:11:41 Time: 69.846 s 15:11:41 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 15:11:41 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?