ACI ·

Parent Log: http://ci.aztec-labs.com/897defd362a3a69b Command: 128a905c1f9c1691: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/9d6fb0bd1594726370a5f3a56591963452264642 Env: REF_NAME=gh-readonly-queue/next/pr-14985-47c749527b1c3cce3edd9defedc46e89ea00c69e CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 17:20:08 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14985_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 17:20:12 [17:20:12.619] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-lTHMhw/ivc-inputs.msgpack 17:20:12 [17:20:12.625] 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-lTHMhw --ivc_inputs_path /tmp/bb-client-ivc-integration-lTHMhw/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 17:20:12 [17:20:12.647] INFO: ivc-integration:test:native bb - bb command: prove (mem: 155.98 MiB) 17:20:12 [17:20:12.648] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 155.98 MiB) 17:20:12 --scheme: client_ivc (mem: 155.98 MiB) 17:20:12 --output_path: /tmp/bb-client-ivc-integration-lTHMhw (mem: 155.98 MiB) 17:20:12 --ivc_inputs_path: /tmp/bb-client-ivc-integration-lTHMhw/ivc-inputs.msgpack (mem: 155.98 MiB) 17:20:12 --verbose: true (mem: 155.98 MiB) 17:20:12 --write_vk: true (mem: 155.98 MiB) 17:20:12 [17:20:12.649] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 155.98 MiB) 17:20:12 [17:20:12.754] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.00 MiB) 17:20:12 [17:20:12.828] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 297.79 MiB) 17:20:12 [17:20:12.831] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 297.79 MiB) 17:20:12 [17:20:12.832] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 297.79 MiB) 17:20:12 [17:20:12.836] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.79 MiB) 17:20:12 goblin ecc op : 4/1024 (mem: 297.79 MiB) 17:20:12 [17:20:12.837] INFO: ivc-integration:test:native bb - 17:20:12 busread : 7/6000 (mem: 297.79 MiB) 17:20:12 lookups : 2/15000 (mem: 297.79 MiB) 17:20:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.79 MiB) 17:20:12 arithmetic : 1760/56000 (mem: 297.79 MiB) 17:20:12 delta range : 1754/18000 (mem: 297.79 MiB) 17:20:12 elliptic : 2/6000 (mem: 297.79 MiB) 17:20:12 auxiliary : 26/26000 (mem: 297.79 MiB) 17:20:12 poseidon ext : 2/17000 (mem: 297.79 MiB) 17:20:12 poseidon int : 2/92000 (mem: 297.79 MiB) 17:20:12 overflow : 0/0 (mem: 297.79 MiB) 17:20:12 (mem: 297.79 MiB) 17:20:12 Total structured size: 242025 (mem: 297.79 MiB) 17:20:12 allocating polynomials object in proving key... (mem: 297.79 MiB) 17:20:12 [17:20:12.892] INFO: ivc-integration:test:native bb - populating trace... (mem: 503.95 MiB) 17:20:12 [17:20:12.902] INFO: ivc-integration:test:native bb - time to construct proving key: 70 ms. (mem: 515.95 MiB) 17:20:12 [17:20:12.933] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x65495cbb1f00 (mem: 515.95 MiB) 17:20:12 computing oink proof... (mem: 515.95 MiB) 17:20:12 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 515.95 MiB) 17:20:13 [17:20:13.442] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.95 MiB) 17:20:13 [17:20:13.667] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 525.95 MiB) 17:20:13 [17:20:13.676] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.95 MiB) 17:20:13 [17:20:13.695] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 525.95 MiB) 17:20:13 Constructing DeciderProvingKey (mem: 525.95 MiB) 17:20:13 [17:20:13.701] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.95 MiB) 17:20:13 goblin ecc op : 56/1024 (mem: 525.95 MiB) 17:20:13 busread : 12/6000 (mem: 525.95 MiB) 17:20:13 lookups : 2/15000 (mem: 525.95 MiB) 17:20:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.95 MiB) 17:20:13 arithmetic : 4625/56000 (mem: 525.95 MiB) 17:20:13 delta range : 2054/18000 (mem: 525.95 MiB) 17:20:13 elliptic : 2/6000 (mem: 525.95 MiB) 17:20:13 auxiliary : 110/26000 (mem: 525.95 MiB) 17:20:13 poseidon ext : 1302/17000 (mem: 525.95 MiB) 17:20:13 poseidon int : 7412/92000 (mem: 525.95 MiB) 17:20:13 overflow : 0/0 (mem: 525.95 MiB) 17:20:13 (mem: 525.95 MiB) 17:20:13 Total structured size: 242025 (mem: 525.95 MiB) 17:20:13 allocating polynomials object in proving key... (mem: 525.95 MiB) 17:20:13 [17:20:13.825] INFO: ivc-integration:test:native bb - populating trace... (mem: 733.95 MiB) 17:20:13 [17:20:13.873] INFO: ivc-integration:test:native bb - time to construct proving key: 175 ms. (mem: 750.95 MiB) 17:20:14 [17:20:14.030] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x65495cbbeb80 (mem: 750.95 MiB) 17:20:14 computing folding proof (mem: 750.95 MiB) 17:20:14 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 750.95 MiB) 17:20:14 [17:20:14.565] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 750.95 MiB) 17:20:15 [17:20:15.187] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.95 MiB) 17:20:15 [17:20:15.315] INFO: ivc-integration:test:native bb - perturbator round (mem: 785.95 MiB) 17:20:15 [17:20:15.371] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.95 MiB) 17:20:15 [17:20:15.770] INFO: ivc-integration:test:native bb - folded (mem: 817.95 MiB) 17:20:15 constructed folding proof (mem: 817.95 MiB) 17:20:15 [17:20:15.784] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 817.95 MiB) 17:20:15 [17:20:15.865] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.95 MiB) 17:20:15 Constructing DeciderProvingKey (mem: 817.95 MiB) 17:20:15 [17:20:15.872] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.95 MiB) 17:20:15 goblin ecc op : 392/1024 (mem: 817.95 MiB) 17:20:15 busread : 3/6000 (mem: 817.95 MiB) 17:20:15 lookups : 2/15000 (mem: 817.95 MiB) 17:20:15 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.95 MiB) 17:20:15 arithmetic : 6849/56000 (mem: 817.95 MiB) 17:20:15 delta range : 2333/18000 (mem: 817.95 MiB) 17:20:15 elliptic : 2/6000 (mem: 817.95 MiB) 17:20:15 auxiliary : 50/26000 (mem: 817.95 MiB) 17:20:15 poseidon ext : 2472/17000 (mem: 817.95 MiB) 17:20:15 poseidon int : 14081/92000 (mem: 817.95 MiB) 17:20:15 overflow : 0/0 (mem: 817.95 MiB) 17:20:15 (mem: 817.95 MiB) 17:20:15 Total structured size: 242025 (mem: 817.95 MiB) 17:20:15 allocating polynomials object in proving key... (mem: 817.95 MiB) 17:20:16 [17:20:16.048] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.95 MiB) 17:20:16 [17:20:16.097] INFO: ivc-integration:test:native bb - time to construct proving key: 229 ms. (mem: 817.95 MiB) 17:20:16 [17:20:16.253] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x65495cbb4540 (mem: 817.95 MiB) 17:20:16 computing folding proof (mem: 817.95 MiB) 17:20:16 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 817.95 MiB) 17:20:16 [17:20:16.931] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.95 MiB) 17:20:17 [17:20:17.434] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.95 MiB) 17:20:17 [17:20:17.613] INFO: ivc-integration:test:native bb - perturbator round (mem: 817.95 MiB) 17:20:17 [17:20:17.677] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 826.83 MiB) 17:20:18 [17:20:18.208] INFO: ivc-integration:test:native bb - folded (mem: 826.83 MiB) 17:20:18 constructed folding proof (mem: 17:20:18 [17:20:18.211] INFO: ivc-integration:test:native bb - 826.83 MiB) 17:20:18 Largest circuit: 25792 gates. Trace details: (mem: 826.83 MiB) 17:20:18 Minimum required block sizes for structured trace: (mem: 826.83 MiB) 17:20:18 (mem: 826.83 MiB) 17:20:18 prove decider... (mem: 826.83 MiB) 17:20:18 [17:20:18.213] INFO: ivc-integration:test:native bb - ecc_op : 392 17:20:18 busread : 12 17:20:18 lookup : 2 17:20:18 pub_inputs : 36 17:20:18 arithmetic : 6849 17:20:18 delta_range : 2333 17:20:18 elliptic : 2 17:20:18 aux : 110 17:20:18 poseidon2_external : 2472 17:20:18 poseidon2_internal : 14081 17:20:18 overflow : 0 17:20:18 [17:20:18.532] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 826.83 MiB) 17:20:18 [17:20:18.724] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 826.83 MiB) 17:20:19 [17:20:19.847] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 17:20:19 [17:20:19.848] INFO: ivc-integration:test:native bb - (mem: 826.83 MiB) 17:20:19 [17:20:19.952] INFO: ivc-integration:test:native bb - computed opening proof (mem: 826.83 MiB) 17:20:19 finished decider proving. (mem: 826.83 MiB) 17:20:19 [17:20:19.971] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 826.83 MiB) 17:20:20 [17:20:20.090] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 826.83 MiB) 17:20:20 [17:20:20.096] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 826.83 MiB) 17:20:20 [17:20:20.331] INFO: ivc-integration:test:native bb - populating trace... (mem: 826.83 MiB) 17:20:20 [17:20:20.411] INFO: ivc-integration:test:native bb - time to construct proving key: 321 ms. (mem: 826.83 MiB) 17:20:20 [17:20:20.967] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 826.83 MiB) 17:20:21 [17:20:21.755] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 17:20:21 [17:20:21.759] INFO: ivc-integration:test:native bb - (mem: 826.83 MiB) 17:20:22 [17:20:22.468] INFO: ivc-integration:test:native bb - created oink proof (mem: 826.83 MiB) 17:20:22 [17:20:22.840] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 826.83 MiB) 17:20:24 [17:20:24.561] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 826.83 MiB) 17:20:25 [17:20:25.606] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 826.83 MiB) 17:20:25 [17:20:25.658] INFO: ivc-integration:test:native bb - computed opening proof (mem: 826.83 MiB) 17:20:25 finished decider proving. (mem: 826.83 MiB) 17:20:25 [17:20:25.660] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 826.83 MiB) 17:20:25 [17:20:25.893] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 826.83 MiB) 17:20:26 [17:20:26.291] 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: 826.83 MiB) 17:20:26 [17:20:26.313] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 826.83 MiB) 17:20:28 [17:20:28.426] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 826.83 MiB) 17:20:30 [17:20:30.488] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 826.83 MiB) 17:20:36 [17:20:36.422] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 17:20:36 [17:20:36.423] INFO: ivc-integration:test:native bb - 826.83 MiB) 17:20:36 prove translator... (mem: 826.83 MiB) 17:20:39 [17:20:39.841] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.30 MiB) 17:20:41 [17:20:41.756] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.30 MiB) 17:20:43 [17:20:43.877] INFO: ivc-integration:test:native bb - computed opening proof 17:20:43 [17:20:43.877] INFO: ivc-integration:test:native bb - (mem: 847.30 MiB) 17:20:43 [17:20:43.878] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 847.30 MiB) 17:20:43 [17:20:43.884] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 847.30 MiB) 17:20:43 [17:20:43.903] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 847.30 MiB) 17:20:43 libra_evals_verified: 1 (mem: 847.30 MiB) 17:20:43 pairing_check_verified: 1 (mem: 847.30 MiB) 17:20:43 Mega verified: 1 (mem: 847.30 MiB) 17:20:43 [17:20:43.970] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 847.30 MiB) 17:20:43 batch opening verified?: 1 (mem: 847.30 MiB) 17:20:43 eccvm consistency check verified?: 1 (mem: 847.30 MiB) 17:20:43 translation masking consistency checked?: 1 (mem: 847.30 MiB) 17:20:43 [17:20:43.991] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 847.30 MiB) 17:20:43 eccvm verified?: 1 (mem: 847.30 MiB) 17:20:43 accumulator construction_verified?: 1 (mem: 847.30 MiB) 17:20:43 translation verified?: 1 (mem: 847.30 MiB) 17:20:43 consistency verified?: 1 (mem: 847.30 MiB) 17:20:43 Goblin verified: 1 (mem: 847.30 MiB) 17:20:43 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-lTHMhw" (mem: 847.30 MiB) 17:20:43 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-lTHMhw" (mem: 847.30 MiB) 17:20:43 BN254 commitment key size: 262144 (mem: 847.30 MiB) 17:20:43 [17:20:43.995] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 17:20:43 [17:20:43.997] INFO: ivc-integration:test:native bb - (mem: 847.30 MiB) 17:20:43 [17:20:43.999] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 17:20:44 [17:20:44.000] INFO: ivc-integration:test:native bb - (mem: 17:20:44 [17:20:44.000] INFO: ivc-integration:test:native bb - 847.30 17:20:44 [17:20:44.002] INFO: ivc-integration:test:native bb - MiB) 17:20:44 goblin ecc op : 4/1024 (mem: 847.30 MiB) 17:20:44 busread : 3/6000 (mem: 847.30 MiB) 17:20:44 lookups : 2/15000 (mem: 847.30 MiB) 17:20:44 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 847.30 MiB) 17:20:44 arithmetic : 1773/56000 (mem: 847.30 MiB) 17:20:44 delta range : 1754/18000 (mem: 847.30 MiB) 17:20:44 elliptic : 2/6000 (mem: 847.30 MiB) 17:20:44 auxiliary : 26/26000 (mem: 847.30 MiB) 17:20:44 poseidon ext : 2/17000 (mem: 847.30 MiB) 17:20:44 poseidon int : 2/92000 (mem: 847.30 MiB) 17:20:44 overflow : 0/0 (mem: 847.30 MiB) 17:20:44 (mem: 847.30 MiB) 17:20:44 Total structured size: 242025 (mem: 847.30 MiB) 17:20:44 allocating polynomials object in proving key... (mem: 847.30 MiB) 17:20:44 [17:20:44.228] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.30 MiB) 17:20:44 [17:20:44.270] INFO: ivc-integration:test:native bb - time to construct proving key: 274 ms. (mem: 847.30 MiB) 17:20:44 [17:20:44.383] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.30 MiB) 17:20:45 [17:20:45.250] INFO: ivc-integration:test:native bb - computing oink proof... 17:20:45 [17:20:45.252] INFO: ivc-integration:test:native bb - (mem: 847.30 MiB) 17:20:45 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 847.30 MiB) 17:20:46 [17:20:46.076] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.30 MiB) 17:20:46 [17:20:46.519] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 847.30 MiB) 17:20:46 [17:20:46.535] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.30 MiB) 17:20:46 [17:20:46.566] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.30 MiB) 17:20:46 [17:20:46.570] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.30 MiB) 17:20:46 goblin ecc op : 56/1024 (mem: 847.30 MiB) 17:20:46 busread : 3/6000 (mem: 847.30 MiB) 17:20:46 lookups : 2/15000 (mem: 847.30 MiB) 17:20:46 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.30 MiB) 17:20:46 arithmetic : 4481/56000 (mem: 847.30 MiB) 17:20:46 delta range : 2041/18000 (mem: 847.30 MiB) 17:20:46 elliptic : 2/6000 (mem: 847.30 MiB) 17:20:46 auxiliary : 50/26000 (mem: 847.30 MiB) 17:20:46 poseidon ext : 1312/17000 (mem: 847.30 MiB) 17:20:46 poseidon int : 7469/92000 (mem: 847.30 MiB) 17:20:46 overflow : 0/0 (mem: 847.30 MiB) 17:20:46 (mem: 847.30 MiB) 17:20:46 Total structured size: 242025 (mem: 847.30 MiB) 17:20:46 allocating polynomials object in proving key... (mem: 847.30 MiB) 17:20:46 [17:20:46.882] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.30 MiB) 17:20:46 [17:20:46.943] INFO: ivc-integration:test:native bb - time to construct proving key: 377 ms. (mem: 847.30 MiB) 17:20:47 [17:20:47.164] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 17:20:47 [17:20:47.165] INFO: ivc-integration:test:native bb - (mem: 847.30 MiB) 17:20:48 [17:20:48.145] INFO: ivc-integration:test:native bb - computing folding proof (mem: 847.30 MiB) 17:20:48 [17:20:48.152] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 847.30 MiB) 17:20:49 [17:20:49.144] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 847.30 MiB) 17:20:50 [17:20:50.161] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.30 MiB) 17:20:50 [17:20:50.292] INFO: ivc-integration:test:native bb - perturbator round (mem: 848.30 MiB) 17:20:50 [17:20:50.364] INFO: ivc-integration:test:native bb - combiner quotient round 17:20:50 [17:20:50.364] INFO: ivc-integration:test:native bb - (mem: 880.30 MiB) 17:20:51 [17:20:51.103] INFO: ivc-integration:test:native bb - folded (mem: 880.30 MiB) 17:20:51 [17:20:51.105] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 880.30 MiB) 17:20:51 Largest circuit: 15360 gates. Trace details: (mem: 880.30 MiB) 17:20:51 Minimum required block sizes for structured trace: (mem: 880.30 MiB) 17:20:51 (mem: 880.30 MiB) 17:20:51 prove decider... (mem: 880.30 MiB) 17:20:51 [17:20:51.105] INFO: ivc-integration:test:native bb - ecc_op : 56 17:20:51 busread : 3 17:20:51 lookup : 2 17:20:51 pub_inputs : 36 17:20:51 arithmetic : 4481 17:20:51 delta_range : 2041 17:20:51 elliptic : 2 17:20:51 aux : 50 17:20:51 poseidon2_external : 1312 17:20:51 poseidon2_internal : 7469 17:20:51 overflow : 0 17:20:51 [17:20:51.333] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 17:20:51 [17:20:51.334] INFO: ivc-integration:test:native bb - (mem: 880.30 MiB) 17:20:51 [17:20:51.555] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 880.30 MiB) 17:20:53 [17:20:53.140] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 880.30 MiB) 17:20:53 [17:20:53.219] INFO: ivc-integration:test:native bb - computed opening proof (mem: 880.30 MiB) 17:20:53 finished decider proving. (mem: 880.30 MiB) 17:20:53 [17:20:53.239] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 880.30 MiB) 17:20:53 [17:20:53.350] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 17:20:53 [17:20:53.355] INFO: ivc-integration:test:native bb - (mem: 880.30 MiB) 17:20:53 [17:20:53.358] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 17:20:53 [17:20:53.359] INFO: ivc-integration:test:native bb - (mem: 17:20:53 [17:20:53.359] INFO: ivc-integration:test:native bb - 880.30 17:20:53 [17:20:53.361] INFO: ivc-integration:test:native bb - MiB) 17:20:53 [17:20:53.628] INFO: ivc-integration:test:native bb - populating trace... (mem: 880.30 MiB) 17:20:53 [17:20:53.687] INFO: ivc-integration:test:native bb - time to construct proving key: 333 ms. (mem: 880.30 MiB) 17:20:54 [17:20:54.581] 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-lTHMhw/proof -k /tmp/bb-client-ivc-integration-lTHMhw/vk -v 17:20:54 [17:20:54.605] INFO: ivc-integration:test:native bb command: verify (mem: 155.78 MiB) 17:20:54 Scheme is: client_ivc, num threads: 128 (mem: 155.78 MiB) 17:20:54 --proof_path: /tmp/bb-client-ivc-integration-lTHMhw/proof (mem: 155.78 MiB) 17:20:54 --vk_path: /tmp/bb-client-ivc-integration-lTHMhw/vk (mem: 155.78 MiB) 17:20:54 --verbose: true (mem: 155.78 MiB) 17:20:54 --scheme: client_ivc (mem: 155.78 MiB) 17:20:54 [17:20:54.700] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 160.00 MiB) 17:20:54 [17:20:54.728] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 173.00 MiB) 17:20:54 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 173.00 MiB) 17:20:54 [17:20:54.748] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 173.00 MiB) 17:20:54 [17:20:54.750] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 173.00 MiB) 17:20:54 sumcheck_verified: 1 (mem: 173.00 MiB) 17:20:54 libra_evals_verified: 1 (mem: 173.00 MiB) 17:20:54 pairing_check_verified: 1 (mem: 173.00 MiB) 17:20:54 Mega verified: 1 (mem: 173.00 MiB) 17:20:54 [17:20:54.837] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.12 MiB) 17:20:54 batch opening verified?: 1 (mem: 189.12 MiB) 17:20:54 eccvm consistency check verified?: 1 (mem: 189.12 MiB) 17:20:54 translation masking consistency checked?: 1 (mem: 189.12 MiB) 17:20:54 [17:20:54.920] INFO: ivc-integration:test:native merge verified?: 1 (mem: 189.12 MiB) 17:20:54 eccvm verified?: 1 (mem: 189.12 MiB) 17:20:54 accumulator construction_verified?: 1 (mem: 189.12 MiB) 17:20:54 translation verified?: 1 (mem: 189.12 MiB) 17:20:54 consistency verified?: 1 (mem: 189.12 MiB) 17:20:54 Goblin verified: 1 (mem: 189.12 MiB) 17:20:54 [17:20:54.926] INFO: ivc-integration:test:native verified: 1 (mem: 189.12 MiB) 17:20:55 [17:20:55.053] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-eBNCyg/ivc-inputs.msgpack 17:20:55 [17:20:55.054] 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-eBNCyg --ivc_inputs_path /tmp/bb-client-ivc-integration-eBNCyg/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 17:20:55 [17:20:55.082] INFO: ivc-integration:test:native bb - bb command: prove (mem: 157.38 MiB) 17:20:55 Scheme is: client_ivc, num threads: 128 (mem: 157.38 MiB) 17:20:55 --scheme: client_ivc (mem: 157.38 MiB) 17:20:55 --output_path: /tmp/bb-client-ivc-integration-eBNCyg (mem: 157.38 MiB) 17:20:55 --ivc_inputs_path: /tmp/bb-client-ivc-integration-eBNCyg/ivc-inputs.msgpack (mem: 157.38 MiB) 17:20:55 --verbose: true (mem: 157.38 MiB) 17:20:55 --write_vk: true (mem: 157.38 MiB) 17:20:55 [17:20:55.086] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 17:20:55 [17:20:55.087] INFO: ivc-integration:test:native bb - (mem: 17:20:55 [17:20:55.089] INFO: ivc-integration:test:native bb - 157.38 MiB) 17:20:55 [17:20:55.197] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 263.00 MiB) 17:20:55 [17:20:55.290] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 311.58 MiB) 17:20:55 [17:20:55.296] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 311.58 MiB) 17:20:55 Constructing DeciderProvingKey (mem: 311.58 MiB) 17:20:55 [17:20:55.303] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 311.58 MiB) 17:20:55 goblin ecc op : 4/1024 (mem: 311.58 MiB) 17:20:55 busread : 7/6000 (mem: 311.58 MiB) 17:20:55 lookups : 2/15000 (mem: 311.58 MiB) 17:20:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 311.58 MiB) 17:20:55 arithmetic : 1760/56000 (mem: 311.58 MiB) 17:20:55 delta range : 1754/18000 (mem: 311.58 MiB) 17:20:55 elliptic : 2/6000 (mem: 311.58 MiB) 17:20:55 auxiliary : 26/26000 (mem: 311.58 MiB) 17:20:55 poseidon ext : 2/17000 (mem: 311.58 MiB) 17:20:55 poseidon int : 2/92000 (mem: 311.58 MiB) 17:20:55 overflow : 0/0 (mem: 311.58 MiB) 17:20:55 (mem: 311.58 MiB) 17:20:55 Total structured size: 242025 (mem: 311.58 MiB) 17:20:55 allocating polynomials object in proving key... (mem: 311.58 MiB) 17:20:55 [17:20:55.488] INFO: ivc-integration:test:native bb - populating trace... (mem: 507.70 MiB) 17:20:55 [17:20:55.521] INFO: ivc-integration:test:native bb - time to construct proving key: 224 ms. (mem: 519.70 MiB) 17:20:55 [17:20:55.620] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x614b6fb27d40 (mem: 519.70 MiB) 17:20:55 [17:20:55.621] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 519.70 MiB) 17:20:55 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 519.70 MiB) 17:20:56 [17:20:56.293] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.70 MiB) 17:20:56 [17:20:56.543] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 527.70 MiB) 17:20:56 [17:20:56.558] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 527.70 MiB) 17:20:56 [17:20:56.573] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 527.70 MiB) 17:20:56 Constructing DeciderProvingKey (mem: 527.70 MiB) 17:20:56 [17:20:56.578] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 527.70 MiB) 17:20:56 goblin ecc op : 56/1024 (mem: 527.70 MiB) 17:20:56 busread : 12/6000 (mem: 527.70 MiB) 17:20:56 lookups : 2/15000 (mem: 527.70 MiB) 17:20:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 527.70 MiB) 17:20:56 arithmetic : 4625/56000 (mem: 527.70 MiB) 17:20:56 delta range : 2054/18000 (mem: 527.70 MiB) 17:20:56 elliptic : 2/6000 (mem: 527.70 MiB) 17:20:56 auxiliary : 110/26000 (mem: 527.70 MiB) 17:20:56 poseidon ext : 1302/17000 (mem: 527.70 MiB) 17:20:56 poseidon int : 7412/92000 (mem: 527.70 MiB) 17:20:56 overflow : 0/0 (mem: 527.70 MiB) 17:20:56 (mem: 527.70 MiB) 17:20:56 Total structured size: 242025 (mem: 527.70 MiB) 17:20:56 allocating polynomials object in proving key... (mem: 527.70 MiB) 17:20:56 [17:20:56.913] INFO: ivc-integration:test:native bb - populating trace... (mem: 735.70 MiB) 17:20:56 [17:20:56.979] INFO: ivc-integration:test:native bb - time to construct proving key: 405 ms. (mem: 751.70 MiB) 17:20:57 [17:20:57.095] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x614b6fb30fc0 (mem: 751.70 MiB) 17:20:57 computing folding proof (mem: 751.70 MiB) 17:20:57 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 751.70 MiB) 17:20:57 [17:20:57.901] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 751.70 MiB) 17:20:58 [17:20:58.633] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 756.70 MiB) 17:20:58 [17:20:58.757] INFO: ivc-integration:test:native bb - perturbator round (mem: 789.70 MiB) 17:20:58 [17:20:58.814] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.70 MiB) 17:20:59 [17:20:59.119] INFO: ivc-integration:test:native bb - folded (mem: 821.70 MiB) 17:20:59 [17:20:59.119] INFO: ivc-integration:test:native bb - 17:20:59 constructed folding proof (mem: 821.70 MiB) 17:20:59 [17:20:59.123] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.70 MiB) 17:20:59 Constructing DeciderProvingKey (mem: 821.70 MiB) 17:20:59 [17:20:59.127] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.70 MiB) 17:20:59 [17:20:59.128] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 821.70 MiB) 17:20:59 busread : 7/6000 (mem: 821.70 MiB) 17:20:59 lookups : 2/15000 (mem: 821.70 MiB) 17:20:59 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.70 MiB) 17:20:59 arithmetic : 1760/56000 (mem: 821.70 MiB) 17:20:59 delta range : 1754/18000 (mem: 821.70 MiB) 17:20:59 elliptic : 2/6000 (mem: 821.70 MiB) 17:20:59 auxiliary : 26/26000 (mem: 821.70 MiB) 17:20:59 poseidon ext : 2/17000 (mem: 821.70 MiB) 17:20:59 poseidon int : 2/92000 (mem: 821.70 MiB) 17:20:59 overflow : 0/0 (mem: 821.70 MiB) 17:20:59 (mem: 821.70 MiB) 17:20:59 Total structured size: 242025 (mem: 821.70 MiB) 17:20:59 allocating polynomials object in proving key... (mem: 821.70 MiB) 17:20:59 [17:20:59.261] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.70 MiB) 17:20:59 [17:20:59.303] INFO: ivc-integration:test:native bb - time to construct proving key: 179 ms. (mem: 821.70 MiB) 17:20:59 [17:20:59.505] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x614b6fb28580 (mem: 821.70 MiB) 17:20:59 computing folding proof (mem: 821.70 MiB) 17:20:59 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 821.70 MiB) 17:21:00 [17:21:00.288] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.70 MiB) 17:21:00 [17:21:00.553] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.70 MiB) 17:21:00 [17:21:00.621] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.70 MiB) 17:21:00 [17:21:00.678] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 822.31 MiB) 17:21:00 [17:21:00.925] INFO: ivc-integration:test:native bb - folded (mem: 822.31 MiB) 17:21:00 constructed folding proof (mem: 822.31 MiB) 17:21:00 [17:21:00.946] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 822.31 MiB) 17:21:01 [17:21:01.023] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 822.31 MiB) 17:21:01 [17:21:01.094] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 822.31 MiB) 17:21:01 Constructing DeciderProvingKey (mem: 822.31 MiB) 17:21:01 [17:21:01.105] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.31 MiB) 17:21:01 goblin ecc op : 792/1024 (mem: 822.31 MiB) 17:21:01 busread : 12/6000 (mem: 822.31 MiB) 17:21:01 lookups : 2/15000 (mem: 822.31 MiB) 17:21:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 822.31 MiB) 17:21:01 arithmetic : 12080/56000 (mem: 822.31 MiB) 17:21:01 delta range : 2942/18000 (mem: 822.31 MiB) 17:21:01 elliptic : 2/6000 (mem: 822.31 MiB) 17:21:01 auxiliary : 350/26000 (mem: 822.31 MiB) 17:21:01 poseidon ext : 4942/17000 (mem: 822.31 MiB) 17:21:01 poseidon int : 28160/92000 (mem: 822.31 MiB) 17:21:01 overflow : 0/0 (mem: 822.31 MiB) 17:21:01 (mem: 822.31 MiB) 17:21:01 Total structured size: 242025 (mem: 822.31 MiB) 17:21:01 allocating polynomials object in proving key... (mem: 822.31 MiB) 17:21:01 [17:21:01.238] INFO: ivc-integration:test:native bb - populating trace... (mem: 822.31 MiB) 17:21:01 [17:21:01.306] INFO: ivc-integration:test:native bb - time to construct proving key: 211 ms. (mem: 822.31 MiB) 17:21:01 [17:21:01.527] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x614b6fb22000 (mem: 822.31 MiB) 17:21:01 computing folding proof (mem: 822.31 MiB) 17:21:01 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 822.31 MiB) 17:21:02 [17:21:02.239] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 822.31 MiB) 17:21:02 [17:21:02.834] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 17:21:02 [17:21:02.836] INFO: ivc-integration:test:native bb - (mem: 822.31 MiB) 17:21:02 [17:21:02.940] INFO: ivc-integration:test:native bb - perturbator round (mem: 822.31 MiB) 17:21:03 [17:21:03.000] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 849.61 MiB) 17:21:03 [17:21:03.259] INFO: ivc-integration:test:native bb - folded (mem: 849.61 MiB) 17:21:03 constructed folding proof (mem: 849.61 MiB) 17:21:03 [17:21:03.277] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 849.61 MiB) 17:21:03 [17:21:03.350] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 849.61 MiB) 17:21:03 [17:21:03.351] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.61 MiB) 17:21:03 [17:21:03.355] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.61 MiB) 17:21:03 goblin ecc op : 392/1024 (mem: 849.61 MiB) 17:21:03 busread : 16/6000 (mem: 849.61 MiB) 17:21:03 lookups : 2/15000 (mem: 17:21:03 [17:21:03.357] INFO: ivc-integration:test:native bb - 849.61 MiB) 17:21:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 849.61 MiB) 17:21:03 arithmetic : 6914/56000 (mem: 849.61 MiB) 17:21:03 delta range : 2347/18000 (mem: 849.61 MiB) 17:21:03 elliptic : 2/6000 (mem: 849.61 MiB) 17:21:03 auxiliary : 77/26000 (mem: 849.61 MiB) 17:21:03 poseidon ext : 2472/17000 (mem: 849.61 MiB) 17:21:03 poseidon int : 14081/92000 (mem: 849.61 MiB) 17:21:03 overflow : 0/0 (mem: 849.61 MiB) 17:21:03 (mem: 849.61 MiB) 17:21:03 Total structured size: 242025 (mem: 849.61 MiB) 17:21:03 allocating polynomials object in proving key... (mem: 849.61 MiB) 17:21:03 [17:21:03.475] INFO: ivc-integration:test:native bb - populating trace... 17:21:03 [17:21:03.476] INFO: ivc-integration:test:native bb - (mem: 849.61 MiB) 17:21:03 [17:21:03.507] INFO: ivc-integration:test:native bb - time to construct proving key: 156 ms. (mem: 849.61 MiB) 17:21:03 [17:21:03.603] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x614b6fba4ec0 (mem: 849.61 MiB) 17:21:03 computing folding proof (mem: 849.61 MiB) 17:21:03 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 849.61 MiB) 17:21:04 [17:21:04.057] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 849.61 MiB) 17:21:04 [17:21:04.503] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.61 MiB) 17:21:04 [17:21:04.592] INFO: ivc-integration:test:native bb - perturbator round (mem: 849.61 MiB) 17:21:04 [17:21:04.647] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.39 MiB) 17:21:04 [17:21:04.754] INFO: ivc-integration:test:native bb - folded (mem: 850.39 MiB) 17:21:04 constructed folding proof (mem: 850.39 MiB) 17:21:04 [17:21:04.762] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.39 MiB) 17:21:04 [17:21:04.836] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 850.39 MiB) 17:21:04 Constructing DeciderProvingKey (mem: 850.39 MiB) 17:21:04 [17:21:04.840] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.39 MiB) 17:21:04 goblin ecc op : 392/1024 (mem: 850.39 MiB) 17:21:04 busread : 3/6000 (mem: 850.39 MiB) 17:21:04 [17:21:04.841] INFO: ivc-integration:test:native bb - 17:21:04 lookups : 2/15000 (mem: 850.39 MiB) 17:21:04 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 850.39 MiB) 17:21:04 arithmetic : 6849/56000 (mem: 850.39 MiB) 17:21:04 delta range : 2333/18000 (mem: 850.39 MiB) 17:21:04 elliptic : 2/6000 (mem: 850.39 MiB) 17:21:04 auxiliary : 50/26000 (mem: 850.39 MiB) 17:21:04 poseidon ext : 2472/17000 (mem: 850.39 MiB) 17:21:04 poseidon int : 14081/92000 (mem: 850.39 MiB) 17:21:04 overflow : 0/0 (mem: 850.39 MiB) 17:21:04 (mem: 850.39 MiB) 17:21:04 Total structured size: 242025 (mem: 850.39 MiB) 17:21:04 allocating polynomials object in proving key... (mem: 850.39 MiB) 17:21:04 [17:21:04.916] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.39 MiB) 17:21:04 [17:21:04.948] INFO: ivc-integration:test:native bb - time to construct proving key: 111 ms. (mem: 850.39 MiB) 17:21:05 [17:21:05.191] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x614b6fb3b7c0 (mem: 850.39 MiB) 17:21:05 computing folding proof (mem: 850.39 MiB) 17:21:05 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 850.39 MiB) 17:21:05 [17:21:05.786] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 850.39 MiB) 17:21:06 [17:21:06.267] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.39 MiB) 17:21:06 [17:21:06.327] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.39 MiB) 17:21:06 [17:21:06.377] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.70 MiB) 17:21:06 [17:21:06.536] INFO: ivc-integration:test:native bb - folded (mem: 850.70 MiB) 17:21:06 constructed folding proof (mem: 850.70 MiB) 17:21:06 Largest circuit: 48490 gates. Trace details: (mem: 850.70 MiB) 17:21:06 Minimum required block sizes for structured trace: (mem: 850.70 MiB) 17:21:06 [17:21:06.537] INFO: ivc-integration:test:native bb - (mem: 850.70 MiB) 17:21:06 prove decider... (mem: 850.70 MiB) 17:21:06 [17:21:06.538] INFO: ivc-integration:test:native bb - ecc_op : 792 17:21:06 busread : 16 17:21:06 lookup : 2 17:21:06 pub_inputs : 36 17:21:06 arithmetic : 12080 17:21:06 delta_range : 2942 17:21:06 elliptic : 2 17:21:06 aux : 350 17:21:06 poseidon2_external : 4942 17:21:06 poseidon2_internal : 28160 17:21:06 overflow : 0 17:21:06 [17:21:06.624] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.70 MiB) 17:21:06 [17:21:06.707] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 850.70 MiB) 17:21:07 [17:21:07.185] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.70 MiB) 17:21:07 [17:21:07.246] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.70 MiB) 17:21:07 finished decider proving. (mem: 850.70 MiB) 17:21:07 [17:21:07.261] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 850.70 MiB) 17:21:07 [17:21:07.373] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.70 MiB) 17:21:07 [17:21:07.377] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 850.70 MiB) 17:21:07 [17:21:07.598] INFO: ivc-integration:test:native bb - populating trace... 17:21:07 [17:21:07.599] INFO: ivc-integration:test:native bb - (mem: 850.70 MiB) 17:21:07 [17:21:07.649] INFO: ivc-integration:test:native bb - time to construct proving key: 277 ms. (mem: 850.70 MiB) 17:21:07 [17:21:07.966] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 850.70 MiB) 17:21:08 [17:21:08.392] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 850.70 MiB) 17:21:09 [17:21:09.021] INFO: ivc-integration:test:native bb - created oink proof (mem: 850.70 MiB) 17:21:09 [17:21:09.265] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.70 MiB) 17:21:09 [17:21:09.968] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.70 MiB) 17:21:10 [17:21:10.858] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.70 MiB) 17:21:10 [17:21:10.914] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.70 MiB) 17:21:10 finished decider proving. (mem: 850.70 MiB) 17:21:10 Constructing a Goblin proof with num ultra ops = 2226 (mem: 850.70 MiB) 17:21:11 [17:21:11.248] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 850.70 MiB) 17:21:12 [17:21:12.027] 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: 850.70 MiB) 17:21:12 [17:21:12.053] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 17:21:12 [17:21:12.054] INFO: ivc-integration:test:native bb - (mem: 850.70 MiB) 17:21:14 [17:21:14.603] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.70 MiB) 17:21:17 [17:21:17.165] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.70 MiB) 17:21:22 [17:21:22.988] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 850.70 MiB) 17:21:22 prove translator... (mem: 850.70 MiB) 17:21:26 [17:21:26.417] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 866.94 MiB) 17:21:27 [17:21:27.885] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 866.94 MiB) 17:21:30 [17:21:30.403] INFO: ivc-integration:test:native bb - computed opening proof (mem: 866.94 MiB) 17:21:30 [17:21:30.404] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 866.94 MiB) 17:21:30 [17:21:30.420] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 866.94 MiB) 17:21:30 [17:21:30.439] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 866.94 MiB) 17:21:30 libra_evals_verified: 1 (mem: 866.94 MiB) 17:21:30 pairing_check_verified: 1 (mem: 866.94 MiB) 17:21:30 Mega verified: 1 (mem: 866.94 MiB) 17:21:30 [17:21:30.512] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 866.94 MiB) 17:21:30 batch opening verified?: 1 (mem: 866.94 MiB) 17:21:30 eccvm consistency check verified?: 1 (mem: 866.94 MiB) 17:21:30 translation masking consistency checked?: 1 (mem: 866.94 MiB) 17:21:30 [17:21:30.544] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 866.94 MiB) 17:21:30 eccvm verified?: 1 (mem: 866.94 MiB) 17:21:30 accumulator construction_verified?: 1 (mem: 866.94 MiB) 17:21:30 translation verified?: 1 (mem: 866.94 MiB) 17:21:30 consistency verified?: 1 (mem: 866.94 MiB) 17:21:30 Goblin verified: 1 (mem: 866.94 MiB) 17:21:30 [17:21:30.545] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-eBNCyg" (mem: 866.94 MiB) 17:21:30 [17:21:30.547] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-eBNCyg" (mem: 866.94 MiB) 17:21:30 BN254 commitment key size: 262144 (mem: 866.94 MiB) 17:21:30 [17:21:30.550] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 866.94 MiB) 17:21:30 [17:21:30.553] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.94 MiB) 17:21:30 goblin ecc op : 4/1024 (mem: 866.94 MiB) 17:21:30 busread : 3/6000 (mem: 866.94 MiB) 17:21:30 lookups : 2/15000 (mem: 866.94 MiB) 17:21:30 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 866.94 MiB) 17:21:30 arithmetic : 1773/56000 (mem: 866.94 MiB) 17:21:30 delta range : 1754/18000 (mem: 866.94 MiB) 17:21:30 elliptic : 2/6000 (mem: 866.94 MiB) 17:21:30 auxiliary : 26/26000 (mem: 866.94 MiB) 17:21:30 poseidon ext : 2/17000 (mem: 866.94 MiB) 17:21:30 [17:21:30.554] INFO: ivc-integration:test:native bb - poseidon int : 2/92000 (mem: 866.94 MiB) 17:21:30 overflow : 0/0 (mem: 866.94 MiB) 17:21:30 (mem: 866.94 MiB) 17:21:30 Total structured size: 242025 (mem: 866.94 MiB) 17:21:30 allocating polynomials object in proving key... (mem: 866.94 MiB) 17:21:30 [17:21:30.660] INFO: ivc-integration:test:native bb - populating trace... (mem: 866.94 MiB) 17:21:30 [17:21:30.673] INFO: ivc-integration:test:native bb - time to construct proving key: 123 ms. (mem: 866.94 MiB) 17:21:30 [17:21:30.718] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.94 MiB) 17:21:31 [17:21:31.508] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 866.94 MiB) 17:21:31 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 866.94 MiB) 17:21:32 [17:21:32.288] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.94 MiB) 17:21:32 [17:21:32.602] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 866.94 MiB) 17:21:32 [17:21:32.610] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.94 MiB) 17:21:32 [17:21:32.625] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 866.94 MiB) 17:21:32 [17:21:32.629] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.94 MiB) 17:21:32 goblin ecc op : 56/1024 (mem: 866.94 MiB) 17:21:32 busread : 3/6000 (mem: 866.94 MiB) 17:21:32 lookups : 2/15000 (mem: 866.94 MiB) 17:21:32 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 866.94 MiB) 17:21:32 arithmetic : 4481/56000 (mem: 866.94 MiB) 17:21:32 delta range : 2041/18000 (mem: 866.94 MiB) 17:21:32 [17:21:32.629] INFO: ivc-integration:test:native bb - elliptic : 2/6000 (mem: 866.94 MiB) 17:21:32 auxiliary : 50/26000 (mem: 866.94 MiB) 17:21:32 poseidon ext : 1312/17000 (mem: 866.94 MiB) 17:21:32 poseidon int : 7469/92000 (mem: 866.94 MiB) 17:21:32 overflow : 0/0 (mem: 866.94 MiB) 17:21:32 (mem: 866.94 MiB) 17:21:32 Total structured size: 242025 (mem: 866.94 MiB) 17:21:32 allocating polynomials object in proving key... (mem: 866.94 MiB) 17:21:32 [17:21:32.736] INFO: ivc-integration:test:native bb - populating trace... (mem: 866.94 MiB) 17:21:32 [17:21:32.785] INFO: ivc-integration:test:native bb - time to construct proving key: 159 ms. (mem: 866.94 MiB) 17:21:32 [17:21:32.854] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.94 MiB) 17:21:33 [17:21:33.368] INFO: ivc-integration:test:native bb - computing folding proof (mem: 866.94 MiB) 17:21:33 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 866.94 MiB) 17:21:33 [17:21:33.910] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 866.94 MiB) 17:21:34 [17:21:34.309] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 866.94 MiB) 17:21:34 [17:21:34.460] INFO: ivc-integration:test:native bb - perturbator round (mem: 866.94 MiB) 17:21:34 [17:21:34.519] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 898.94 MiB) 17:21:34 [17:21:34.818] INFO: ivc-integration:test:native bb - folded (mem: 17:21:34 [17:21:34.822] INFO: ivc-integration:test:native bb - 898.94 MiB) 17:21:34 constructed folding proof (mem: 898.94 MiB) 17:21:34 Largest circuit: 15360 gates. Trace details: (mem: 898.94 MiB) 17:21:34 Minimum required block sizes for structured trace: (mem: 898.94 MiB) 17:21:34 (mem: 898.94 MiB) 17:21:34 prove decider... (mem: 898.94 MiB) 17:21:34 [17:21:34.823] INFO: ivc-integration:test:native bb - ecc_op : 56 17:21:34 busread : 3 17:21:34 lookup : 2 17:21:34 pub_inputs : 36 17:21:34 arithmetic : 4481 17:21:34 delta_range : 2041 17:21:34 elliptic : 2 17:21:34 aux : 50 17:21:34 poseidon2_external : 1312 17:21:34 poseidon2_internal : 7469 17:21:34 overflow : 0 17:21:34 [17:21:34.979] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 898.94 MiB) 17:21:35 [17:21:35.106] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 898.94 MiB) 17:21:35 [17:21:35.722] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 898.94 MiB) 17:21:35 [17:21:35.784] INFO: ivc-integration:test:native bb - computed opening proof (mem: 898.94 MiB) 17:21:35 finished decider proving. (mem: 898.94 MiB) 17:21:35 [17:21:35.797] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 898.94 MiB) 17:21:35 [17:21:35.898] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 898.94 MiB) 17:21:35 [17:21:35.903] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 898.94 MiB) 17:21:35 [17:21:35.960] INFO: ivc-integration:test:native bb - populating trace... (mem: 898.94 MiB) 17:21:36 [17:21:36.002] INFO: ivc-integration:test:native bb - time to construct proving key: 104 ms. (mem: 898.94 MiB) 17:21:36 [17:21:36.488] 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-eBNCyg/proof -k /tmp/bb-client-ivc-integration-eBNCyg/vk -v 17:21:36 [17:21:36.511] INFO: ivc-integration:test:native bb command: verify 17:21:36 [17:21:36.512] INFO: ivc-integration:test:native (mem: 17:21:36 [17:21:36.512] INFO: ivc-integration:test:native 161.91 MiB) 17:21:36 [17:21:36.512] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 161.91 MiB) 17:21:36 --proof_path: /tmp/bb-client-ivc-integration-eBNCyg/proof (mem: 161.91 MiB) 17:21:36 --vk_path: /tmp/bb-client-ivc-integration-eBNCyg/vk (mem: 161.91 MiB) 17:21:36 --verbose: true (mem: 161.91 MiB) 17:21:36 --scheme: client_ivc (mem: 161.91 MiB) 17:21:36 [17:21:36.608] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 161.91 MiB) 17:21:36 [17:21:36.631] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 161.91 MiB) 17:21:36 [17:21:36.633] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 161.91 MiB) 17:21:36 [17:21:36.653] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 161.91 MiB) 17:21:36 [17:21:36.654] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 161.91 MiB) 17:21:36 [17:21:36.655] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 161.91 MiB) 17:21:36 libra_evals_verified: 1 (mem: 161.91 MiB) 17:21:36 pairing_check_verified: 1 (mem: 161.91 MiB) 17:21:36 Mega verified: 1 (mem: 161.91 MiB) 17:21:36 [17:21:36.728] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 176.96 MiB) 17:21:36 batch opening verified?: 1 (mem: 176.96 MiB) 17:21:36 eccvm consistency check verified?: 1 (mem: 176.96 MiB) 17:21:36 translation masking consistency checked?: 1 (mem: 176.96 MiB) 17:21:36 [17:21:36.748] INFO: ivc-integration:test:native merge verified?: 1 (mem: 176.96 MiB) 17:21:36 eccvm verified?: 1 (mem: 176.96 MiB) 17:21:36 accumulator construction_verified?: 1 (mem: 176.96 MiB) 17:21:36 translation verified?: 1 (mem: 176.96 MiB) 17:21:36 consistency verified?: 1 (mem: 176.96 MiB) 17:21:36 Goblin verified: 1 (mem: 176.96 MiB) 17:21:36 [17:21:36.755] INFO: ivc-integration:test:native verified: 1 (mem: 176.96 MiB) 17:21:36 PASS src/native_client_ivc_integration.test.ts (87.577 s) 17:21:36 Client IVC Integration 17:21:36 ✓ Should generate a verifiable client IVC proof from a simple mock tx (42403 ms) 17:21:36 ✓ Should generate a verifiable client IVC proof from a complex mock tx (41830 ms) 17:21:36 17:21:36 Test Suites: 1 passed, 1 total 17:21:36 Tests: 2 passed, 2 total 17:21:36 Snapshots: 0 total 17:21:36 Time: 87.662 s 17:21:36 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 17:21:36 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?