ACI ·

Parent Log: http://ci.aztec-labs.com/4df5d3e68602ef2d Command: 3d59cf67433a82a0: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/ada03190841b1923625905b0e6ea3bdc4a3b3e84 Env: REF_NAME=gh-readonly-queue/next/pr-14953-1650b3d017a2a4fa5182c8787e79cc108e24e1f4 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 12 10:45:01 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14953_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 10:45:05 [10:45:05.859] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-4dhGqm/ivc-inputs.msgpack 10:45:05 [10:45:05.864] 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-4dhGqm --ivc_inputs_path /tmp/bb-client-ivc-integration-4dhGqm/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 10:45:05 [10:45:05.882] INFO: ivc-integration:test:native bb - bb command: prove (mem: 10:45:05 [10:45:05.882] INFO: ivc-integration:test:native bb - 158.00 MiB) 10:45:05 Scheme is: client_ivc, num threads: 128 (mem: 158.00 MiB) 10:45:05 --scheme: client_ivc (mem: 158.00 MiB) 10:45:05 --output_path: /tmp/bb-client-ivc-integration-4dhGqm (mem: 158.00 MiB) 10:45:05 --ivc_inputs_path: /tmp/bb-client-ivc-integration-4dhGqm/ivc-inputs.msgpack (mem: 158.00 MiB) 10:45:05 --verbose: true (mem: 158.00 MiB) 10:45:05 --write_vk: true (mem: 158.00 MiB) 10:45:05 [10:45:05.885] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 158.00 MiB) 10:45:05 [10:45:05.987] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.00 MiB) 10:45:06 [10:45:06.073] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 298.56 MiB) 10:45:06 [10:45:06.078] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 298.56 MiB) 10:45:06 Constructing DeciderProvingKey (mem: 298.56 MiB) 10:45:06 [10:45:06.083] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 298.56 MiB) 10:45:06 [10:45:06.084] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 298.56 MiB) 10:45:06 busread : 7/6000 (mem: 298.56 MiB) 10:45:06 lookups : 2/15000 (mem: 298.56 MiB) 10:45:06 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 298.56 MiB) 10:45:06 arithmetic : 1760/56000 (mem: 298.56 MiB) 10:45:06 delta range : 1754/18000 (mem: 298.56 MiB) 10:45:06 elliptic : 2/6000 (mem: 298.56 MiB) 10:45:06 auxiliary : 26/26000 (mem: 298.56 MiB) 10:45:06 poseidon ext : 2/17000 (mem: 298.56 MiB) 10:45:06 poseidon int : 2/92000 (mem: 298.56 MiB) 10:45:06 overflow : 0/0 (mem: 298.56 MiB) 10:45:06 (mem: 298.56 MiB) 10:45:06 Total structured size: 242025 (mem: 298.56 MiB) 10:45:06 allocating polynomials object in proving key... (mem: 298.56 MiB) 10:45:06 [10:45:06.151] INFO: ivc-integration:test:native bb - populating trace... (mem: 500.71 MiB) 10:45:06 [10:45:06.161] INFO: ivc-integration:test:native bb - time to construct proving key: 83 ms. (mem: 513.71 MiB) 10:45:06 [10:45:06.220] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55a62faa9f00 (mem: 513.71 MiB) 10:45:06 computing oink proof... (mem: 513.71 MiB) 10:45:06 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 513.71 MiB) 10:45:06 [10:45:06.753] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.71 MiB) 10:45:07 [10:45:07.095] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.71 MiB) 10:45:07 [10:45:07.105] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.71 MiB) 10:45:07 [10:45:07.128] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 522.71 MiB) 10:45:07 Constructing DeciderProvingKey (mem: 522.71 MiB) 10:45:07 [10:45:07.133] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 522.71 MiB) 10:45:07 goblin ecc op : 56/1024 (mem: 522.71 MiB) 10:45:07 busread : 12/6000 (mem: 522.71 MiB) 10:45:07 lookups : 2/15000 (mem: 522.71 MiB) 10:45:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 522.71 MiB) 10:45:07 arithmetic : 4625/56000 (mem: 522.71 MiB) 10:45:07 delta range : 2054/18000 (mem: 522.71 MiB) 10:45:07 [10:45:07.134] INFO: ivc-integration:test:native bb - elliptic : 2/6000 (mem: 522.71 MiB) 10:45:07 auxiliary : 110/26000 (mem: 522.71 MiB) 10:45:07 poseidon ext : 1302/17000 (mem: 522.71 MiB) 10:45:07 poseidon int : 7412/92000 (mem: 522.71 MiB) 10:45:07 overflow : 0/0 (mem: 522.71 MiB) 10:45:07 (mem: 522.71 MiB) 10:45:07 Total structured size: 242025 (mem: 522.71 MiB) 10:45:07 allocating polynomials object in proving key... (mem: 522.71 MiB) 10:45:07 [10:45:07.246] INFO: ivc-integration:test:native bb - populating trace... (mem: 729.71 MiB) 10:45:07 [10:45:07.274] INFO: ivc-integration:test:native bb - time to construct proving key: 146 ms. (mem: 743.71 MiB) 10:45:07 [10:45:07.339] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55a62fab6b80 (mem: 743.71 MiB) 10:45:07 computing folding proof (mem: 743.71 MiB) 10:45:07 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 743.71 MiB) 10:45:07 [10:45:07.945] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 743.71 MiB) 10:45:08 [10:45:08.645] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.71 MiB) 10:45:08 [10:45:08.735] INFO: ivc-integration:test:native bb - perturbator round (mem: 781.71 MiB) 10:45:08 [10:45:08.790] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 813.71 MiB) 10:45:09 [10:45:09.313] INFO: ivc-integration:test:native bb - folded (mem: 813.71 MiB) 10:45:09 constructed folding proof (mem: 813.71 MiB) 10:45:09 [10:45:09.325] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 813.71 MiB) 10:45:09 [10:45:09.386] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 813.71 MiB) 10:45:09 Constructing DeciderProvingKey (mem: 813.71 MiB) 10:45:09 [10:45:09.389] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 813.71 MiB) 10:45:09 goblin ecc op : 392/1024 (mem: 813.71 MiB) 10:45:09 busread : 3/6000 (mem: 813.71 MiB) 10:45:09 lookups : 2/15000 (mem: 813.71 MiB) 10:45:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 813.71 MiB) 10:45:09 arithmetic : 6849/56000 (mem: 813.71 MiB) 10:45:09 delta range : 2333/18000 (mem: 813.71 MiB) 10:45:09 [10:45:09.390] INFO: ivc-integration:test:native bb - elliptic : 2/6000 (mem: 813.71 MiB) 10:45:09 auxiliary : 50/26000 (mem: 813.71 MiB) 10:45:09 poseidon ext : 2472/17000 (mem: 813.71 MiB) 10:45:09 poseidon int : 14081/92000 (mem: 813.71 MiB) 10:45:09 overflow : 0/0 (mem: 813.71 MiB) 10:45:09 (mem: 813.71 MiB) 10:45:09 Total structured size: 242025 (mem: 813.71 MiB) 10:45:09 allocating polynomials object in proving key... (mem: 813.71 MiB) 10:45:09 [10:45:09.619] INFO: ivc-integration:test:native bb - populating trace... (mem: 813.71 MiB) 10:45:09 [10:45:09.654] INFO: ivc-integration:test:native bb - time to construct proving key: 267 ms. (mem: 813.71 MiB) 10:45:09 [10:45:09.819] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55a62faac540 (mem: 813.71 MiB) 10:45:09 computing folding proof (mem: 813.71 MiB) 10:45:09 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 813.71 MiB) 10:45:10 [10:45:10.451] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 813.71 MiB) 10:45:11 [10:45:11.176] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 813.71 MiB) 10:45:11 [10:45:11.300] INFO: ivc-integration:test:native bb - perturbator round (mem: 813.71 MiB) 10:45:11 [10:45:11.364] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 823.04 MiB) 10:45:12 [10:45:12.021] INFO: ivc-integration:test:native bb - folded (mem: 823.04 MiB) 10:45:12 constructed folding proof (mem: 823.04 MiB) 10:45:12 Largest circuit: 25792 gates. Trace details: (mem: 823.04 MiB) 10:45:12 Minimum required block sizes for structured trace: (mem: 823.04 MiB) 10:45:12 (mem: 823.04 MiB) 10:45:12 prove decider... (mem: 823.04 MiB) 10:45:12 [10:45:12.025] INFO: ivc-integration:test:native bb - ecc_op : 392 10:45:12 busread : 12 10:45:12 lookup : 2 10:45:12 pub_inputs : 36 10:45:12 arithmetic : 6849 10:45:12 delta_range : 2333 10:45:12 elliptic : 2 10:45:12 aux : 110 10:45:12 poseidon2_external : 2472 10:45:12 poseidon2_internal : 14081 10:45:12 overflow : 0 10:45:12 [10:45:12.356] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 823.04 MiB) 10:45:12 [10:45:12.684] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 823.04 MiB) 10:45:14 [10:45:14.381] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 823.04 MiB) 10:45:14 [10:45:14.516] INFO: ivc-integration:test:native bb - computed opening proof 10:45:14 [10:45:14.520] INFO: ivc-integration:test:native bb - (mem: 823.04 MiB) 10:45:14 finished decider proving. (mem: 823.04 MiB) 10:45:14 [10:45:14.539] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a 10:45:14 [10:45:14.544] INFO: ivc-integration:test:native bb - (mem: 823.04 MiB) 10:45:14 [10:45:14.676] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 10:45:14 [10:45:14.680] INFO: ivc-integration:test:native bb - (mem: 823.04 MiB) 10:45:14 [10:45:14.706] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 10:45:14 [10:45:14.707] INFO: ivc-integration:test:native bb - (mem: 823.04 MiB) 10:45:14 [10:45:14.891] INFO: ivc-integration:test:native bb - populating trace... (mem: 823.04 MiB) 10:45:14 [10:45:14.970] INFO: ivc-integration:test:native bb - time to construct proving key: 290 ms. (mem: 823.04 MiB) 10:45:15 [10:45:15.549] 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. 10:45:15 [10:45:15.553] INFO: ivc-integration:test:native bb - (mem: 823.04 MiB) 10:45:16 [10:45:16.235] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 823.04 MiB) 10:45:16 [10:45:16.945] INFO: ivc-integration:test:native bb - created oink proof 10:45:16 [10:45:16.946] INFO: ivc-integration:test:native bb - (mem: 10:45:16 [10:45:16.947] INFO: ivc-integration:test:native bb - 823.04 10:45:16 [10:45:16.947] INFO: ivc-integration:test:native bb - MiB) 10:45:16 [10:45:16.949] INFO: ivc-integration:test:native bb - 10:45:17 [10:45:17.277] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 823.04 MiB) 10:45:18 [10:45:18.587] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 823.04 MiB) 10:45:19 [10:45:19.892] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 10:45:19 [10:45:19.895] INFO: ivc-integration:test:native bb - (mem: 823.04 MiB) 10:45:19 [10:45:19.948] INFO: ivc-integration:test:native bb - computed opening proof (mem: 823.04 MiB) 10:45:19 finished decider proving. (mem: 823.04 MiB) 10:45:19 Constructing a Goblin proof with num ultra ops = 1038 (mem: 823.04 MiB) 10:45:20 [10:45:20.235] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 823.04 MiB) 10:45:21 [10:45:21.049] 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: 823.04 MiB) 10:45:21 [10:45:21.081] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 10:45:21 [10:45:21.084] INFO: ivc-integration:test:native bb - (mem: 823.04 MiB) 10:45:23 [10:45:23.231] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 10:45:23 [10:45:23.231] INFO: ivc-integration:test:native bb - (mem: 823.04 MiB) 10:45:25 [10:45:25.562] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 823.04 MiB) 10:45:31 [10:45:31.137] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 823.04 MiB) 10:45:31 prove translator... (mem: 823.04 MiB) 10:45:34 [10:45:34.059] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.04 MiB) 10:45:36 [10:45:36.664] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.04 MiB) 10:45:39 [10:45:39.608] INFO: ivc-integration:test:native bb - computed opening proof 10:45:39 [10:45:39.609] INFO: ivc-integration:test:native bb - (mem: 10:45:39 [10:45:39.609] INFO: ivc-integration:test:native bb - 845.04 10:45:39 [10:45:39.610] INFO: ivc-integration:test:native bb - MiB) 10:45:39 [10:45:39.611] INFO: ivc-integration:test:native bb - 10:45:39 finished translator proving. (mem: 845.04 MiB) 10:45:39 [10:45:39.618] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 845.04 MiB) 10:45:39 [10:45:39.639] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 845.04 MiB) 10:45:39 libra_evals_verified: 1 (mem: 845.04 MiB) 10:45:39 pairing_check_verified: 1 (mem: 845.04 MiB) 10:45:39 Mega verified: 1 (mem: 845.04 MiB) 10:45:39 [10:45:39.726] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 845.04 MiB) 10:45:39 batch opening verified?: 1 (mem: 845.04 MiB) 10:45:39 eccvm consistency check verified?: 1 (mem: 845.04 MiB) 10:45:39 translation masking consistency checked?: 1 (mem: 845.04 MiB) 10:45:39 [10:45:39.751] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 845.04 MiB) 10:45:39 eccvm verified?: 1 (mem: 845.04 MiB) 10:45:39 accumulator construction_verified?: 1 (mem: 845.04 MiB) 10:45:39 translation verified?: 1 (mem: 845.04 MiB) 10:45:39 consistency verified?: 1 (mem: 845.04 MiB) 10:45:39 Goblin verified: 1 (mem: 845.04 MiB) 10:45:39 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-4dhGqm" (mem: 845.04 MiB) 10:45:39 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-4dhGqm" (mem: 845.04 MiB) 10:45:39 BN254 commitment key size: 262144 (mem: 845.04 MiB) 10:45:39 [10:45:39.753] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 10:45:39 [10:45:39.755] INFO: ivc-integration:test:native bb - (mem: 845.04 MiB) 10:45:39 [10:45:39.759] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.04 MiB) 10:45:39 [10:45:39.762] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 845.04 MiB) 10:45:39 busread : 3/6000 (mem: 845.04 MiB) 10:45:39 lookups : 2/15000 (mem: 845.04 MiB) 10:45:39 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 845.04 MiB) 10:45:39 arithmetic : 1773/56000 (mem: 845.04 MiB) 10:45:39 delta range : 1754/18000 (mem: 845.04 MiB) 10:45:39 elliptic : 2/6000 (mem: 845.04 MiB) 10:45:39 auxiliary : 26/26000 (mem: 845.04 MiB) 10:45:39 poseidon ext : 2/17000 (mem: 845.04 MiB) 10:45:39 poseidon int : 2/92000 (mem: 845.04 MiB) 10:45:39 overflow : 0/0 (mem: 845.04 MiB) 10:45:39 (mem: 845.04 MiB) 10:45:39 Total structured size: 242025 (mem: 845.04 MiB) 10:45:39 allocating polynomials object in proving key... (mem: 845.04 MiB) 10:45:39 [10:45:39.971] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.04 MiB) 10:45:40 [10:45:40.060] INFO: ivc-integration:test:native bb - time to construct proving key: 306 ms. (mem: 845.04 MiB) 10:45:40 [10:45:40.225] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 845.04 MiB) 10:45:41 [10:45:41.186] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 845.04 MiB) 10:45:41 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 845.04 MiB) 10:45:42 [10:45:42.149] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 845.04 MiB) 10:45:42 [10:45:42.775] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 845.04 MiB) 10:45:42 [10:45:42.786] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 845.04 MiB) 10:45:42 [10:45:42.802] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 10:45:42 [10:45:42.804] INFO: ivc-integration:test:native bb - (mem: 845.04 MiB) 10:45:42 [10:45:42.808] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.04 MiB) 10:45:42 goblin ecc op : 56/1024 (mem: 845.04 MiB) 10:45:42 busread : 3/6000 (mem: 845.04 MiB) 10:45:42 [10:45:42.809] INFO: ivc-integration:test:native bb - lookups : 2/15000 10:45:42 [10:45:42.809] INFO: ivc-integration:test:native bb - (mem: 10:45:42 [10:45:42.811] INFO: ivc-integration:test:native bb - 845.04 MiB) 10:45:42 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 845.04 MiB) 10:45:42 arithmetic : 4481/56000 (mem: 845.04 MiB) 10:45:42 delta range : 2041/18000 (mem: 845.04 MiB) 10:45:42 elliptic : 2/6000 (mem: 845.04 MiB) 10:45:42 auxiliary : 50/26000 (mem: 845.04 MiB) 10:45:42 poseidon ext : 1312/17000 (mem: 845.04 MiB) 10:45:42 poseidon int : 7469/92000 (mem: 845.04 MiB) 10:45:42 overflow : 0/0 (mem: 845.04 MiB) 10:45:42 (mem: 845.04 MiB) 10:45:42 Total structured size: 242025 (mem: 845.04 MiB) 10:45:42 allocating polynomials object in proving key... (mem: 845.04 MiB) 10:45:43 [10:45:43.098] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.04 MiB) 10:45:43 [10:45:43.148] INFO: ivc-integration:test:native bb - time to construct proving key: 336 ms. (mem: 845.04 MiB) 10:45:43 [10:45:43.304] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 845.04 MiB) 10:45:44 [10:45:44.056] INFO: ivc-integration:test:native bb - computing folding proof (mem: 845.04 MiB) 10:45:44 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 845.04 MiB) 10:45:44 [10:45:44.834] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 845.04 MiB) 10:45:45 [10:45:45.521] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 845.04 MiB) 10:45:45 [10:45:45.638] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.04 MiB) 10:45:45 [10:45:45.701] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 879.04 MiB) 10:45:46 [10:45:46.144] INFO: ivc-integration:test:native bb - folded (mem: 879.04 MiB) 10:45:46 constructed folding proof (mem: 879.04 MiB) 10:45:46 [10:45:46.145] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 879.04 MiB) 10:45:46 Minimum required block sizes for structured trace: (mem: 879.04 MiB) 10:45:46 (mem: 879.04 MiB) 10:45:46 prove decider... (mem: 879.04 MiB) 10:45:46 [10:45:46.146] INFO: ivc-integration:test:native bb - ecc_op : 56 10:45:46 busread : 3 10:45:46 lookup : 2 10:45:46 pub_inputs : 36 10:45:46 arithmetic : 4481 10:45:46 delta_range : 2041 10:45:46 elliptic : 2 10:45:46 aux : 50 10:45:46 poseidon2_external : 1312 10:45:46 poseidon2_internal : 7469 10:45:46 overflow : 0 10:45:46 [10:45:46.281] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 879.04 MiB) 10:45:46 [10:45:46.428] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 879.04 MiB) 10:45:47 [10:45:47.681] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 879.04 MiB) 10:45:47 [10:45:47.770] INFO: ivc-integration:test:native bb - computed opening proof (mem: 879.04 MiB) 10:45:47 finished decider proving. (mem: 879.04 MiB) 10:45:47 [10:45:47.789] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 879.04 MiB) 10:45:47 [10:45:47.908] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 879.04 MiB) 10:45:47 [10:45:47.932] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 879.04 MiB) 10:45:48 [10:45:48.179] INFO: ivc-integration:test:native bb - populating trace... (mem: 879.04 MiB) 10:45:48 [10:45:48.298] INFO: ivc-integration:test:native bb - time to construct proving key: 391 ms. 10:45:48 [10:45:48.301] INFO: ivc-integration:test:native bb - (mem: 879.04 MiB) 10:45:49 [10:45:49.090] 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-4dhGqm/proof -k /tmp/bb-client-ivc-integration-4dhGqm/vk -v 10:45:49 [10:45:49.120] INFO: ivc-integration:test:native bb command: verify (mem: 158.00 MiB) 10:45:49 Scheme is: client_ivc, num threads: 128 (mem: 158.00 MiB) 10:45:49 --proof_path: /tmp/bb-client-ivc-integration-4dhGqm/proof (mem: 158.00 MiB) 10:45:49 --vk_path: /tmp/bb-client-ivc-integration-4dhGqm/vk (mem: 158.00 MiB) 10:45:49 --verbose: true (mem: 158.00 MiB) 10:45:49 --scheme: client_ivc (mem: 158.00 MiB) 10:45:49 [10:45:49.266] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 158.00 MiB) 10:45:49 [10:45:49.311] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 158.00 MiB) 10:45:49 [10:45:49.313] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 158.00 MiB) 10:45:49 [10:45:49.337] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 158.00 MiB) 10:45:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 158.00 MiB) 10:45:49 [10:45:49.339] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 158.00 MiB) 10:45:49 libra_evals_verified: 1 (mem: 158.00 MiB) 10:45:49 pairing_check_verified: 1 (mem: 158.00 MiB) 10:45:49 Mega verified: 1 (mem: 158.00 MiB) 10:45:49 [10:45:49.464] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 171.42 MiB) 10:45:49 batch opening verified?: 1 (mem: 171.42 MiB) 10:45:49 eccvm consistency check verified?: 1 (mem: 171.42 MiB) 10:45:49 translation masking consistency checked?: 1 (mem: 171.42 MiB) 10:45:49 [10:45:49.502] INFO: ivc-integration:test:native merge verified?: 1 (mem: 171.42 MiB) 10:45:49 eccvm verified?: 1 (mem: 171.42 MiB) 10:45:49 accumulator construction_verified?: 1 (mem: 171.42 MiB) 10:45:49 translation verified?: 1 (mem: 171.42 MiB) 10:45:49 consistency verified?: 1 (mem: 171.42 MiB) 10:45:49 Goblin verified: 1 (mem: 171.42 MiB) 10:45:49 [10:45:49.508] INFO: ivc-integration:test:native verified: 1 (mem: 171.42 MiB) 10:45:49 [10:45:49.629] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-vMf8SO/ivc-inputs.msgpack 10:45:49 [10:45:49.630] 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-vMf8SO --ivc_inputs_path /tmp/bb-client-ivc-integration-vMf8SO/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 10:45:49 [10:45:49.662] INFO: ivc-integration:test:native bb - bb command: prove (mem: 160.16 MiB) 10:45:49 Scheme is: client_ivc, num threads: 128 (mem: 160.16 MiB) 10:45:49 --scheme: client_ivc (mem: 160.16 MiB) 10:45:49 --output_path: /tmp/bb-client-ivc-integration-vMf8SO (mem: 160.16 MiB) 10:45:49 --ivc_inputs_path: /tmp/bb-client-ivc-integration-vMf8SO/ivc-inputs.msgpack (mem: 160.16 MiB) 10:45:49 --verbose: true (mem: 160.16 MiB) 10:45:49 --write_vk: true (mem: 160.16 MiB) 10:45:49 [10:45:49.663] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 160.16 MiB) 10:45:49 [10:45:49.820] 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) 10:45:49 [10:45:49.914] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 297.61 MiB) 10:45:49 [10:45:49.918] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 297.61 MiB) 10:45:49 [10:45:49.919] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 297.61 MiB) 10:45:49 [10:45:49.923] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.61 MiB) 10:45:49 [10:45:49.924] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 297.61 MiB) 10:45:49 busread : 7/6000 (mem: 297.61 MiB) 10:45:49 lookups : 2/15000 (mem: 297.61 MiB) 10:45:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.61 MiB) 10:45:49 arithmetic : 1760/56000 (mem: 297.61 MiB) 10:45:49 delta range : 1754/18000 (mem: 297.61 MiB) 10:45:49 elliptic : 2/6000 (mem: 297.61 MiB) 10:45:49 auxiliary : 26/26000 (mem: 297.61 MiB) 10:45:49 poseidon ext : 2/17000 (mem: 297.61 MiB) 10:45:49 poseidon int : 2/92000 (mem: 297.61 MiB) 10:45:49 overflow : 0/0 (mem: 297.61 MiB) 10:45:49 (mem: 297.61 MiB) 10:45:49 Total structured size: 242025 (mem: 297.61 MiB) 10:45:49 allocating polynomials object in proving key... (mem: 297.61 MiB) 10:45:50 [10:45:50.144] INFO: ivc-integration:test:native bb - populating trace... (mem: 498.74 MiB) 10:45:50 [10:45:50.162] INFO: ivc-integration:test:native bb - time to construct proving key: 243 ms. (mem: 505.74 MiB) 10:45:50 [10:45:50.334] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64cb38ba3d40 (mem: 505.74 MiB) 10:45:50 [10:45:50.335] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 505.74 MiB) 10:45:50 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 505.74 MiB) 10:45:50 [10:45:50.967] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 505.74 MiB) 10:45:51 [10:45:51.286] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 513.74 MiB) 10:45:51 [10:45:51.294] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.74 MiB) 10:45:51 [10:45:51.322] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 513.74 MiB) 10:45:51 Constructing DeciderProvingKey (mem: 513.74 MiB) 10:45:51 [10:45:51.331] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 513.74 MiB) 10:45:51 goblin ecc op : 56/1024 (mem: 513.74 MiB) 10:45:51 busread : 12/6000 (mem: 513.74 MiB) 10:45:51 lookups : 2/15000 (mem: 513.74 MiB) 10:45:51 [10:45:51.339] INFO: ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 513.74 MiB) 10:45:51 arithmetic : 4625/56000 (mem: 513.74 MiB) 10:45:51 delta range : 2054/18000 (mem: 513.74 MiB) 10:45:51 elliptic : 2/6000 (mem: 513.74 MiB) 10:45:51 auxiliary : 110/26000 (mem: 513.74 MiB) 10:45:51 poseidon ext : 1302/17000 (mem: 513.74 MiB) 10:45:51 poseidon int : 7412/92000 (mem: 513.74 MiB) 10:45:51 overflow : 0/0 (mem: 513.74 MiB) 10:45:51 (mem: 513.74 MiB) 10:45:51 Total structured size: 242025 (mem: 513.74 MiB) 10:45:51 allocating polynomials object in proving key... (mem: 513.74 MiB) 10:45:51 [10:45:51.536] INFO: ivc-integration:test:native bb - populating trace... (mem: 730.74 MiB) 10:45:51 [10:45:51.565] INFO: ivc-integration:test:native bb - time to construct proving key: 243 ms. (mem: 742.74 MiB) 10:45:51 [10:45:51.650] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64cb38bacfc0 (mem: 742.74 MiB) 10:45:51 computing folding proof (mem: 742.74 MiB) 10:45:51 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 742.74 MiB) 10:45:52 [10:45:52.313] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 742.74 MiB) 10:45:52 [10:45:52.857] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 742.74 MiB) 10:45:52 [10:45:52.953] INFO: ivc-integration:test:native bb - perturbator round (mem: 779.74 MiB) 10:45:53 [10:45:53.013] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 812.74 MiB) 10:45:53 [10:45:53.301] INFO: ivc-integration:test:native bb - folded (mem: 812.74 MiB) 10:45:53 constructed folding proof (mem: 812.74 MiB) 10:45:53 [10:45:53.306] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 812.74 MiB) 10:45:53 Constructing DeciderProvingKey (mem: 812.74 MiB) 10:45:53 [10:45:53.311] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 812.74 MiB) 10:45:53 goblin ecc op : 4/1024 (mem: 812.74 MiB) 10:45:53 busread : 7/6000 (mem: 10:45:53 [10:45:53.311] INFO: ivc-integration:test:native bb - 812.74 MiB) 10:45:53 lookups : 2/15000 (mem: 812.74 MiB) 10:45:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 812.74 MiB) 10:45:53 arithmetic : 1760/56000 (mem: 812.74 MiB) 10:45:53 delta range : 1754/18000 (mem: 812.74 MiB) 10:45:53 elliptic : 2/6000 (mem: 812.74 MiB) 10:45:53 auxiliary : 26/26000 (mem: 812.74 MiB) 10:45:53 poseidon ext : 2/17000 (mem: 812.74 MiB) 10:45:53 poseidon int : 2/92000 (mem: 812.74 MiB) 10:45:53 overflow : 0/0 (mem: 812.74 MiB) 10:45:53 (mem: 812.74 MiB) 10:45:53 Total structured size: 242025 (mem: 812.74 MiB) 10:45:53 allocating polynomials object in proving key... (mem: 812.74 MiB) 10:45:53 [10:45:53.404] INFO: ivc-integration:test:native bb - populating trace... (mem: 812.74 MiB) 10:45:53 [10:45:53.427] INFO: ivc-integration:test:native bb - time to construct proving key: 123 ms. (mem: 812.74 MiB) 10:45:53 [10:45:53.469] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64cb38ba4580 (mem: 812.74 MiB) 10:45:53 computing folding proof (mem: 812.74 MiB) 10:45:53 [10:45:53.471] 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: 812.74 MiB) 10:45:54 [10:45:54.039] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 812.74 MiB) 10:45:54 [10:45:54.340] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 812.74 MiB) 10:45:54 [10:45:54.410] INFO: ivc-integration:test:native bb - perturbator round (mem: 812.74 MiB) 10:45:54 [10:45:54.460] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 813.42 MiB) 10:45:54 [10:45:54.906] INFO: ivc-integration:test:native bb - folded (mem: 813.42 MiB) 10:45:54 constructed folding proof (mem: 813.42 MiB) 10:45:54 [10:45:54.921] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 813.42 MiB) 10:45:54 [10:45:54.999] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 813.42 MiB) 10:45:55 [10:45:55.101] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 813.42 MiB) 10:45:55 Constructing DeciderProvingKey (mem: 813.42 MiB) 10:45:55 [10:45:55.108] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 813.42 MiB) 10:45:55 goblin ecc op : 792/1024 (mem: 813.42 MiB) 10:45:55 busread : 12/6000 (mem: 813.42 MiB) 10:45:55 lookups : 2/15000 (mem: 813.42 MiB) 10:45:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 813.42 MiB) 10:45:55 arithmetic : 12080/56000 (mem: 813.42 MiB) 10:45:55 delta range : 2942/18000 (mem: 813.42 MiB) 10:45:55 elliptic : 2/6000 (mem: 813.42 MiB) 10:45:55 auxiliary : 350/26000 (mem: 813.42 MiB) 10:45:55 poseidon ext : 4942/17000 (mem: 813.42 MiB) 10:45:55 poseidon int : 28160/92000 (mem: 813.42 MiB) 10:45:55 overflow : 0/0 (mem: 813.42 MiB) 10:45:55 (mem: 813.42 MiB) 10:45:55 Total structured size: 242025 (mem: 813.42 MiB) 10:45:55 allocating polynomials object in proving key... (mem: 813.42 MiB) 10:45:55 [10:45:55.234] INFO: ivc-integration:test:native bb - populating trace... (mem: 813.42 MiB) 10:45:55 [10:45:55.280] INFO: ivc-integration:test:native bb - time to construct proving key: 178 ms. (mem: 813.42 MiB) 10:45:55 [10:45:55.377] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64cb38b9e000 (mem: 813.42 MiB) 10:45:55 computing folding proof (mem: 813.42 MiB) 10:45:55 [10:45:55.378] 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: 813.42 MiB) 10:45:56 [10:45:56.070] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 813.42 MiB) 10:45:56 [10:45:56.407] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 10:45:56 [10:45:56.409] INFO: ivc-integration:test:native bb - (mem: 813.42 MiB) 10:45:56 [10:45:56.521] INFO: ivc-integration:test:native bb - perturbator round (mem: 813.42 MiB) 10:45:56 [10:45:56.576] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 843.92 MiB) 10:45:56 [10:45:56.822] INFO: ivc-integration:test:native bb - folded (mem: 843.92 MiB) 10:45:56 constructed folding proof (mem: 843.92 MiB) 10:45:56 [10:45:56.832] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 843.92 MiB) 10:45:56 [10:45:56.902] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 843.92 MiB) 10:45:56 Constructing DeciderProvingKey (mem: 843.92 MiB) 10:45:56 [10:45:56.906] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 843.92 MiB) 10:45:56 goblin ecc op : 392/1024 (mem: 843.92 MiB) 10:45:56 busread : 16/6000 (mem: 843.92 MiB) 10:45:56 lookups : 2/15000 (mem: 843.92 MiB) 10:45:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 843.92 MiB) 10:45:56 [10:45:56.907] INFO: ivc-integration:test:native bb - arithmetic : 6914/56000 (mem: 843.92 MiB) 10:45:56 delta range : 2347/18000 (mem: 843.92 MiB) 10:45:56 elliptic : 2/6000 (mem: 843.92 MiB) 10:45:56 auxiliary : 77/26000 (mem: 843.92 MiB) 10:45:56 poseidon ext : 2472/17000 (mem: 843.92 MiB) 10:45:56 poseidon int : 14081/92000 (mem: 843.92 MiB) 10:45:56 overflow : 0/0 (mem: 843.92 MiB) 10:45:56 (mem: 843.92 MiB) 10:45:56 Total structured size: 242025 (mem: 843.92 MiB) 10:45:56 allocating polynomials object in proving key... (mem: 843.92 MiB) 10:45:57 [10:45:57.041] INFO: ivc-integration:test:native bb - populating trace... (mem: 843.92 MiB) 10:45:57 [10:45:57.069] INFO: ivc-integration:test:native bb - time to construct proving key: 166 ms. (mem: 843.92 MiB) 10:45:57 [10:45:57.178] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64cb38c20ec0 (mem: 843.92 MiB) 10:45:57 computing folding proof (mem: 843.92 MiB) 10:45: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: 843.92 MiB) 10:45:57 [10:45:57.580] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 843.92 MiB) 10:45:57 [10:45:57.821] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 843.92 MiB) 10:45:57 [10:45:57.890] INFO: ivc-integration:test:native bb - perturbator round (mem: 843.92 MiB) 10:45:57 [10:45:57.940] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 844.84 MiB) 10:45:58 [10:45:58.078] INFO: ivc-integration:test:native bb - folded (mem: 844.84 MiB) 10:45:58 constructed folding proof (mem: 844.84 MiB) 10:45:58 [10:45:58.091] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 844.84 MiB) 10:45:58 [10:45:58.156] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 10:45:58 [10:45:58.156] INFO: ivc-integration:test:native bb - (mem: 844.84 MiB) 10:45:58 Constructing DeciderProvingKey (mem: 844.84 MiB) 10:45:58 [10:45:58.161] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.84 MiB) 10:45:58 goblin ecc op : 392/1024 (mem: 844.84 MiB) 10:45:58 [10:45:58.161] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 844.84 MiB) 10:45:58 lookups : 2/15000 (mem: 844.84 MiB) 10:45:58 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.84 MiB) 10:45:58 arithmetic : 6849/56000 (mem: 844.84 MiB) 10:45:58 delta range : 2333/18000 (mem: 844.84 MiB) 10:45:58 elliptic : 2/6000 (mem: 844.84 MiB) 10:45:58 auxiliary : 50/26000 (mem: 844.84 MiB) 10:45:58 poseidon ext : 2472/17000 (mem: 844.84 MiB) 10:45:58 poseidon int : 14081/92000 (mem: 844.84 MiB) 10:45:58 overflow : 0/0 (mem: 844.84 MiB) 10:45:58 (mem: 844.84 MiB) 10:45:58 Total structured size: 242025 (mem: 844.84 MiB) 10:45:58 allocating polynomials object in proving key... (mem: 844.84 MiB) 10:45:58 [10:45:58.260] INFO: ivc-integration:test:native bb - populating trace... (mem: 844.84 MiB) 10:45:58 [10:45:58.282] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 844.84 MiB) 10:45:58 [10:45:58.403] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64cb38bb77c0 (mem: 844.84 MiB) 10:45:58 computing folding proof (mem: 844.84 MiB) 10:45:58 [10:45:58.405] 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: 844.84 MiB) 10:45:59 [10:45:59.077] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 844.84 MiB) 10:45:59 [10:45:59.570] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.84 MiB) 10:45:59 [10:45:59.648] INFO: ivc-integration:test:native bb - perturbator round (mem: 844.84 MiB) 10:45:59 [10:45:59.716] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 845.15 MiB) 10:46:00 [10:46:00.015] INFO: ivc-integration:test:native bb - folded (mem: 845.15 MiB) 10:46:00 constructed folding proof (mem: 845.15 MiB) 10:46:00 [10:46:00.016] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 845.15 MiB) 10:46:00 Minimum required block sizes for structured trace: (mem: 845.15 MiB) 10:46:00 (mem: 845.15 MiB) 10:46:00 prove decider... (mem: 845.15 MiB) 10:46:00 [10:46:00.017] INFO: ivc-integration:test:native bb - ecc_op : 792 10:46:00 busread : 16 10:46:00 lookup : 2 10:46:00 pub_inputs : 36 10:46:00 arithmetic : 12080 10:46:00 delta_range : 2942 10:46:00 elliptic : 2 10:46:00 aux : 350 10:46:00 poseidon2_external : 4942 10:46:00 poseidon2_internal : 28160 10:46:00 overflow : 0 10:46:00 [10:46:00.203] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.15 MiB) 10:46:00 [10:46:00.421] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.15 MiB) 10:46:01 [10:46:01.386] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.15 MiB) 10:46:01 [10:46:01.444] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.15 MiB) 10:46:01 finished decider proving. (mem: 845.15 MiB) 10:46:01 [10:46:01.467] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 845.15 MiB) 10:46:01 [10:46:01.584] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.15 MiB) 10:46:01 [10:46:01.588] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 10:46:01 [10:46:01.589] INFO: ivc-integration:test:native bb - (mem: 10:46:01 [10:46:01.589] INFO: ivc-integration:test:native bb - 845.15 10:46:01 [10:46:01.589] INFO: ivc-integration:test:native bb - MiB) 10:46:01 [10:46:01.590] INFO: ivc-integration:test:native bb - 10:46:01 [10:46:01.657] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.15 MiB) 10:46:01 [10:46:01.690] INFO: ivc-integration:test:native bb - time to construct proving key: 108 ms. (mem: 845.15 MiB) 10:46:02 [10:46:02.000] 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: 845.15 MiB) 10:46:02 [10:46:02.399] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 845.15 MiB) 10:46:03 [10:46:03.009] INFO: ivc-integration:test:native bb - created oink proof (mem: 845.15 MiB) 10:46:03 [10:46:03.181] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.15 MiB) 10:46:04 [10:46:04.863] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.15 MiB) 10:46:05 [10:46:05.951] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.15 MiB) 10:46:05 [10:46:05.989] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.15 MiB) 10:46:05 finished decider proving. (mem: 845.15 10:46:06 [10:46:06.005] INFO: ivc-integration:test:native bb - MiB) 10:46:06 Constructing a Goblin proof with num ultra ops = 2226 (mem: 845.15 MiB) 10:46:06 [10:46:06.270] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 845.15 MiB) 10:46:07 [10:46:07.118] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 10:46:07 [10:46:07.120] INFO: ivc-integration:test:native bb - (mem: 845.15 MiB) 10:46:07 [10:46:07.143] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 845.15 MiB) 10:46:09 [10:46:09.603] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.15 MiB) 10:46:12 [10:46:12.178] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.15 MiB) 10:46:16 [10:46:16.503] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 845.15 MiB) 10:46:16 prove translator... (mem: 845.15 MiB) 10:46:18 [10:46:18.954] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 869.11 MiB) 10:46:21 [10:46:21.069] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 869.11 MiB) 10:46:22 [10:46:22.952] INFO: ivc-integration:test:native bb - computed opening proof (mem: 869.11 MiB) 10:46:22 [10:46:22.954] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 869.11 MiB) 10:46:22 [10:46:22.957] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 869.11 MiB) 10:46:22 [10:46:22.979] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 10:46:22 [10:46:22.981] INFO: ivc-integration:test:native bb - (mem: 869.11 MiB) 10:46:22 libra_evals_verified: 1 (mem: 869.11 MiB) 10:46:22 pairing_check_verified: 1 (mem: 869.11 MiB) 10:46:22 Mega verified: 1 (mem: 869.11 MiB) 10:46:23 [10:46:23.083] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 869.11 MiB) 10:46:23 batch opening verified?: 1 (mem: 869.11 MiB) 10:46:23 eccvm consistency check verified?: 1 (mem: 869.11 MiB) 10:46:23 translation masking consistency checked?: 1 (mem: 869.11 MiB) 10:46:23 [10:46:23.147] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 870.11 MiB) 10:46:23 eccvm verified?: 1 (mem: 870.11 MiB) 10:46:23 accumulator construction_verified?: 1 (mem: 870.11 MiB) 10:46:23 translation verified?: 1 (mem: 870.11 MiB) 10:46:23 consistency verified?: 1 (mem: 870.11 MiB) 10:46:23 [10:46:23.151] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 870.11 MiB) 10:46:23 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-vMf8SO" (mem: 870.11 MiB) 10:46:23 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-vMf8SO" (mem: 870.11 MiB) 10:46:23 BN254 commitment key size: 262144 (mem: 870.11 MiB) 10:46:23 [10:46:23.166] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 10:46:23 [10:46:23.169] INFO: ivc-integration:test:native bb - (mem: 870.11 MiB) 10:46:23 [10:46:23.175] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 870.11 MiB) 10:46:23 goblin ecc op : 4/1024 (mem: 870.11 MiB) 10:46:23 busread : 3/6000 (mem: 870.11 MiB) 10:46:23 lookups : 2/15000 (mem: 870.11 MiB) 10:46:23 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 870.11 MiB) 10:46:23 arithmetic : 1773/56000 (mem: 870.11 MiB) 10:46:23 delta range : 1754/18000 (mem: 870.11 MiB) 10:46:23 elliptic : 2/6000 (mem: 870.11 MiB) 10:46:23 auxiliary : 26/26000 (mem: 870.11 MiB) 10:46:23 poseidon ext : 2/17000 (mem: 870.11 MiB) 10:46:23 poseidon int : 2/92000 (mem: 870.11 MiB) 10:46:23 overflow : 0/0 (mem: 870.11 MiB) 10:46:23 (mem: 870.11 MiB) 10:46:23 Total structured size: 242025 (mem: 870.11 MiB) 10:46:23 allocating polynomials object in proving key... (mem: 870.11 MiB) 10:46:23 [10:46:23.288] INFO: ivc-integration:test:native bb - populating trace... (mem: 870.11 MiB) 10:46:23 [10:46:23.312] INFO: ivc-integration:test:native bb - time to construct proving key: 143 ms. (mem: 870.11 MiB) 10:46:23 [10:46:23.435] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 10:46:23 [10:46:23.439] INFO: ivc-integration:test:native bb - (mem: 870.11 MiB) 10:46:24 [10:46:24.131] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 870.11 MiB) 10:46:24 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 870.11 MiB) 10:46:24 [10:46:24.720] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 870.11 MiB) 10:46:24 [10:46:24.943] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 870.11 MiB) 10:46:24 [10:46:24.951] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 870.11 MiB) 10:46:24 [10:46:24.968] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 870.11 MiB) 10:46:24 [10:46:24.970] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 870.11 MiB) 10:46:24 goblin ecc op : 56/1024 (mem: 870.11 MiB) 10:46:24 busread : 3/6000 (mem: 870.11 MiB) 10:46:24 lookups : 2/15000 (mem: 870.11 MiB) 10:46:24 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 870.11 MiB) 10:46:24 arithmetic : 4481/56000 (mem: 870.11 MiB) 10:46:24 delta range : 2041/18000 (mem: 870.11 MiB) 10:46:24 elliptic : 2/6000 (mem: 870.11 MiB) 10:46:24 auxiliary : 50/26000 (mem: 870.11 MiB) 10:46:24 poseidon ext : 1312/17000 (mem: 870.11 MiB) 10:46:24 poseidon int : 7469/92000 (mem: 870.11 MiB) 10:46:24 overflow : 0/0 (mem: 870.11 MiB) 10:46:24 (mem: 870.11 MiB) 10:46:24 Total structured size: 242025 (mem: 870.11 MiB) 10:46:24 allocating polynomials object in proving key... (mem: 870.11 MiB) 10:46:25 [10:46:25.071] INFO: ivc-integration:test:native bb - populating trace... (mem: 870.11 MiB) 10:46:25 [10:46:25.091] INFO: ivc-integration:test:native bb - time to construct proving key: 124 ms. (mem: 870.11 MiB) 10:46:25 [10:46:25.140] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 870.11 MiB) 10:46:25 [10:46:25.582] INFO: ivc-integration:test:native bb - computing folding proof (mem: 870.11 MiB) 10:46:25 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 870.11 MiB) 10:46:26 [10:46:26.025] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 870.11 MiB) 10:46:26 [10:46:26.343] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 870.11 MiB) 10:46:26 [10:46:26.443] INFO: ivc-integration:test:native bb - perturbator round (mem: 870.11 MiB) 10:46:26 [10:46:26.489] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 902.11 MiB) 10:46:26 [10:46:26.706] INFO: ivc-integration:test:native bb - folded (mem: 902.11 MiB) 10:46:26 constructed folding proof (mem: 902.11 MiB) 10:46:26 Largest circuit: 15360 gates. Trace details: (mem: 902.11 MiB) 10:46:26 Minimum required block sizes for structured trace: (mem: 902.11 MiB) 10:46:26 (mem: 902.11 MiB) 10:46:26 prove decider... (mem: 902.11 MiB) 10:46:26 [10:46:26.707] INFO: ivc-integration:test:native bb - ecc_op : 56 10:46:26 busread : 3 10:46:26 lookup : 2 10:46:26 pub_inputs : 36 10:46:26 arithmetic : 4481 10:46:26 delta_range : 2041 10:46:26 elliptic : 2 10:46:26 aux : 50 10:46:26 poseidon2_external : 1312 10:46:26 poseidon2_internal : 7469 10:46:26 overflow : 0 10:46:26 [10:46:26.825] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 902.11 MiB) 10:46:26 [10:46:26.925] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 902.11 MiB) 10:46:27 [10:46:27.575] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 902.11 MiB) 10:46:27 [10:46:27.623] INFO: ivc-integration:test:native bb - computed opening proof (mem: 902.11 MiB) 10:46:27 [10:46:27.624] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 902.11 MiB) 10:46:27 [10:46:27.641] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 902.11 MiB) 10:46:27 [10:46:27.765] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 902.11 MiB) 10:46:27 [10:46:27.775] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 902.11 MiB) 10:46:27 [10:46:27.881] INFO: ivc-integration:test:native bb - populating trace... (mem: 902.11 MiB) 10:46:27 [10:46:27.920] INFO: ivc-integration:test:native bb - time to construct proving key: 154 ms. (mem: 902.11 MiB) 10:46:28 [10:46:28.467] 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-vMf8SO/proof -k /tmp/bb-client-ivc-integration-vMf8SO/vk -v 10:46:28 [10:46:28.495] INFO: ivc-integration:test:native bb command: verify (mem: 164.68 MiB) 10:46:28 Scheme is: client_ivc, num threads: 128 (mem: 164.68 MiB) 10:46:28 --proof_path: /tmp/bb-client-ivc-integration-vMf8SO/proof (mem: 164.68 MiB) 10:46:28 --vk_path: /tmp/bb-client-ivc-integration-vMf8SO/vk (mem: 164.68 MiB) 10:46:28 --verbose: true (mem: 164.68 MiB) 10:46:28 --scheme: client_ivc (mem: 164.68 MiB) 10:46:28 [10:46:28.614] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 164.68 MiB) 10:46:28 [10:46:28.635] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 164.68 MiB) 10:46:28 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 164.68 MiB) 10:46:28 [10:46:28.651] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 164.68 MiB) 10:46:28 [10:46:28.652] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 164.68 MiB) 10:46:28 [10:46:28.652] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 164.68 MiB) 10:46:28 libra_evals_verified: 1 (mem: 164.68 MiB) 10:46:28 [10:46:28.653] INFO: ivc-integration:test:native pairing_check_verified: 1 (mem: 164.68 MiB) 10:46:28 Mega verified: 1 (mem: 164.68 MiB) 10:46:28 [10:46:28.724] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 174.84 MiB) 10:46:28 batch opening verified?: 1 (mem: 174.84 MiB) 10:46:28 eccvm consistency check verified?: 1 (mem: 174.84 MiB) 10:46:28 translation masking consistency checked?: 1 (mem: 174.84 MiB) 10:46:28 [10:46:28.744] INFO: ivc-integration:test:native merge verified?: 1 (mem: 174.84 MiB) 10:46:28 eccvm verified?: 1 (mem: 174.84 MiB) 10:46:28 accumulator construction_verified?: 1 (mem: 174.84 MiB) 10:46:28 translation verified?: 1 (mem: 174.84 MiB) 10:46:28 consistency verified?: 1 (mem: 174.84 MiB) 10:46:28 Goblin verified: 1 (mem: 174.84 MiB) 10:46:28 [10:46:28.749] INFO: ivc-integration:test:native verified: 1 (mem: 174.84 MiB) 10:46:28 PASS src/native_client_ivc_integration.test.ts (86.369 s) 10:46:28 Client IVC Integration 10:46:28 ✓ Should generate a verifiable client IVC proof from a simple mock tx (43766 ms) 10:46:28 ✓ Should generate a verifiable client IVC proof from a complex mock tx (39210 ms) 10:46:28 10:46:28 Test Suites: 1 passed, 1 total 10:46:28 Tests: 2 passed, 2 total 10:46:28 Snapshots: 0 total 10:46:28 Time: 86.453 s 10:46:28 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 10:46:28 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?