ACI ·

Parent Log: http://ci.aztec-labs.com/753e7038f1986d3b Command: 1b54ea671a21576c: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/30660269b33bab8cca354c41659533acf4d48e07 Env: REF_NAME=gh-readonly-queue/next/pr-15026-d96baf1c44329e8b2e3a432ad803f702f5184a62 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 09:30:44 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15026_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 09:30:48 [09:30:48.374] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-hZZXpd/ivc-inputs.msgpack 09:30:48 [09:30:48.379] 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-hZZXpd --ivc_inputs_path /tmp/bb-client-ivc-integration-hZZXpd/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 09:30:48 [09:30:48.394] INFO: ivc-integration:test:native bb - bb command: prove (mem: 155.73 MiB) 09:30:48 [09:30:48.395] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 155.73 MiB) 09:30:48 --scheme: client_ivc (mem: 155.73 MiB) 09:30:48 --output_path: /tmp/bb-client-ivc-integration-hZZXpd (mem: 155.73 MiB) 09:30:48 --ivc_inputs_path: /tmp/bb-client-ivc-integration-hZZXpd/ivc-inputs.msgpack (mem: 155.73 MiB) 09:30:48 --verbose: true (mem: 155.73 MiB) 09:30:48 --write_vk: true (mem: 155.73 MiB) 09:30:48 [09:30:48.396] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 155.73 MiB) 09:30:48 [09:30:48.492] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 245.00 MiB) 09:30:48 [09:30:48.580] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 293.59 MiB) 09:30:48 [09:30:48.585] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 293.59 MiB) 09:30:48 [09:30:48.586] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 293.59 MiB) 09:30:48 [09:30:48.590] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 293.59 MiB) 09:30:48 goblin ecc op : 4/1024 (mem: 293.59 MiB) 09:30:48 busread : 7/6000 (mem: 293.59 MiB) 09:30:48 lookups : 2/15000 (mem: 293.59 MiB) 09:30:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 293.59 MiB) 09:30:48 arithmetic : 1760/56000 (mem: 293.59 MiB) 09:30:48 delta range : 1754/18000 (mem: 293.59 MiB) 09:30:48 elliptic : 2/6000 (mem: 293.59 MiB) 09:30:48 auxiliary : 26/26000 (mem: 293.59 MiB) 09:30:48 poseidon ext : 2/17000 (mem: 293.59 MiB) 09:30:48 poseidon int : 2/92000 (mem: 293.59 MiB) 09:30:48 overflow : 0/0 (mem: 293.59 MiB) 09:30:48 (mem: 293.59 MiB) 09:30:48 Total structured size: 242025 (mem: 293.59 MiB) 09:30:48 allocating polynomials object in proving key... (mem: 293.59 MiB) 09:30:48 [09:30:48.685] INFO: ivc-integration:test:native bb - populating trace... (mem: 500.75 MiB) 09:30:48 [09:30:48.695] INFO: ivc-integration:test:native bb - time to construct proving key: 110 ms. (mem: 510.75 MiB) 09:30:48 [09:30:48.729] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5aa66c94df00 (mem: 510.75 MiB) 09:30:48 [09:30:48.731] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 510.75 MiB) 09:30:48 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 510.75 MiB) 09:30:49 [09:30:49.260] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 511.75 MiB) 09:30:49 [09:30:49.500] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 521.75 MiB) 09:30:49 [09:30:49.523] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.75 MiB) 09:30:49 [09:30:49.561] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 521.75 MiB) 09:30:49 Constructing DeciderProvingKey (mem: 521.75 MiB) 09:30:49 [09:30:49.568] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 521.75 MiB) 09:30:49 goblin ecc op : 56/1024 (mem: 521.75 MiB) 09:30:49 busread : 12/6000 (mem: 521.75 MiB) 09:30:49 lookups : 2/15000 (mem: 521.75 MiB) 09:30:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 521.75 MiB) 09:30:49 arithmetic : 4625/56000 (mem: 521.75 MiB) 09:30:49 delta range : 2054/18000 (mem: 521.75 MiB) 09:30:49 [09:30:49.574] INFO: ivc-integration:test:native bb - elliptic : 2/6000 (mem: 521.75 MiB) 09:30:49 auxiliary : 110/26000 (mem: 521.75 MiB) 09:30:49 poseidon ext : 1302/17000 (mem: 521.75 MiB) 09:30:49 poseidon int : 7412/92000 (mem: 521.75 MiB) 09:30:49 overflow : 0/0 (mem: 521.75 MiB) 09:30:49 (mem: 521.75 MiB) 09:30:49 Total structured size: 242025 (mem: 521.75 MiB) 09:30:49 allocating polynomials object in proving key... (mem: 521.75 MiB) 09:30:49 [09:30:49.711] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.75 MiB) 09:30:49 [09:30:49.744] INFO: ivc-integration:test:native bb - time to construct proving key: 184 ms. (mem: 740.75 MiB) 09:30:49 [09:30:49.816] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5aa66c95ab80 (mem: 740.75 MiB) 09:30:49 computing folding proof (mem: 740.75 MiB) 09:30:49 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 740.75 MiB) 09:30:50 [09:30:50.448] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 740.75 MiB) 09:30:51 [09:30:51.093] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 744.75 MiB) 09:30:51 [09:30:51.235] INFO: ivc-integration:test:native bb - perturbator round (mem: 776.75 MiB) 09:30:51 [09:30:51.302] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 809.75 MiB) 09:30:51 [09:30:51.801] INFO: ivc-integration:test:native bb - folded (mem: 809.75 MiB) 09:30:51 constructed folding proof (mem: 809.75 MiB) 09:30:51 [09:30:51.815] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 809.75 MiB) 09:30:51 [09:30:51.894] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 809.75 MiB) 09:30:51 Constructing DeciderProvingKey (mem: 809.75 MiB) 09:30:51 [09:30:51.903] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 809.75 MiB) 09:30:51 goblin ecc op : 392/1024 (mem: 809.75 MiB) 09:30:51 busread : 3/6000 (mem: 809.75 MiB) 09:30:51 lookups : 2/15000 (mem: 809.75 MiB) 09:30:51 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 809.75 MiB) 09:30:51 arithmetic : 6849/56000 (mem: 809.75 MiB) 09:30:51 delta range : 2333/18000 (mem: 809.75 MiB) 09:30:51 elliptic : 2/6000 (mem: 809.75 MiB) 09:30:51 auxiliary : 50/26000 (mem: 809.75 MiB) 09:30:51 poseidon ext : 2472/17000 (mem: 809.75 MiB) 09:30:51 poseidon int : 14081/92000 (mem: 809.75 MiB) 09:30:51 overflow : 0/0 (mem: 809.75 MiB) 09:30:51 (mem: 809.75 MiB) 09:30:51 Total structured size: 242025 (mem: 809.75 MiB) 09:30:51 allocating polynomials object in proving key... (mem: 809.75 MiB) 09:30:52 [09:30:52.094] INFO: ivc-integration:test:native bb - populating trace... (mem: 809.75 MiB) 09:30:52 [09:30:52.179] INFO: ivc-integration:test:native bb - time to construct proving key: 282 ms. (mem: 809.75 MiB) 09:30:52 [09:30:52.405] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5aa66c950540 (mem: 809.75 MiB) 09:30:52 computing folding proof (mem: 809.75 MiB) 09:30:52 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 809.75 MiB) 09:30:53 [09:30:53.061] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 809.75 MiB) 09:30:53 [09:30:53.709] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 809.75 MiB) 09:30:53 [09:30:53.815] INFO: ivc-integration:test:native bb - perturbator round (mem: 809.75 MiB) 09:30:53 [09:30:53.885] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.41 MiB) 09:30:54 [09:30:54.344] INFO: ivc-integration:test:native bb - folded (mem: 819.41 MiB) 09:30:54 [09:30:54.345] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 819.41 MiB) 09:30:54 [09:30:54.345] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 819.41 MiB) 09:30:54 Minimum required block sizes for structured trace: (mem: 819.41 MiB) 09:30:54 (mem: 819.41 MiB) 09:30:54 prove decider... (mem: 819.41 MiB) 09:30:54 [09:30:54.346] INFO: ivc-integration:test:native bb - ecc_op : 392 09:30:54 busread : 12 09:30:54 lookup : 2 09:30:54 pub_inputs : 36 09:30:54 arithmetic : 6849 09:30:54 delta_range : 2333 09:30:54 elliptic : 2 09:30:54 aux : 110 09:30:54 poseidon2_external : 2472 09:30:54 poseidon2_internal : 14081 09:30:54 overflow : 0 09:30:54 [09:30:54.588] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.41 MiB) 09:30:54 [09:30:54.836] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 819.41 MiB) 09:30:56 [09:30:56.305] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 819.41 MiB) 09:30:56 [09:30:56.402] INFO: ivc-integration:test:native bb - computed opening proof (mem: 819.41 MiB) 09:30:56 finished decider proving. (mem: 819.41 MiB) 09:30:56 [09:30:56.438] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 819.41 MiB) 09:30:56 [09:30:56.572] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 819.41 MiB) 09:30:56 [09:30:56.578] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 819.41 MiB) 09:30:56 [09:30:56.838] INFO: ivc-integration:test:native bb - populating trace... 09:30:56 [09:30:56.840] INFO: ivc-integration:test:native bb - (mem: 09:30:56 [09:30:56.841] INFO: ivc-integration:test:native bb - 819.41 09:30:56 [09:30:56.844] INFO: ivc-integration:test:native bb - MiB) 09:30:56 [09:30:56.916] INFO: ivc-integration:test:native bb - time to construct proving key: 342 ms. (mem: 819.41 MiB) 09:30:57 [09:30:57.493] 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: 819.41 MiB) 09:30:58 [09:30:58.149] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 819.41 MiB) 09:30:58 [09:30:58.764] INFO: ivc-integration:test:native bb - created oink proof (mem: 819.41 MiB) 09:30:59 [09:30:59.066] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.41 MiB) 09:31:00 [09:31:00.506] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 819.41 MiB) 09:31:01 [09:31:01.527] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 819.41 MiB) 09:31:01 [09:31:01.566] INFO: ivc-integration:test:native bb - computed opening proof (mem: 819.41 MiB) 09:31:01 finished decider proving. (mem: 819.41 MiB) 09:31:01 Constructing a Goblin proof with num ultra ops = 1038 (mem: 819.41 MiB) 09:31:01 [09:31:01.803] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 819.41 MiB) 09:31:02 [09:31:02.401] 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: 819.41 MiB) 09:31:02 [09:31:02.440] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 819.41 MiB) 09:31:04 [09:31:04.686] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.41 MiB) 09:31:06 [09:31:06.683] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 819.41 MiB) 09:31:11 [09:31:11.770] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 819.41 MiB) 09:31:11 prove translator... (mem: 819.41 MiB) 09:31:14 [09:31:14.601] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 09:31:14 [09:31:14.605] INFO: ivc-integration:test:native bb - (mem: 838.91 MiB) 09:31:16 [09:31:16.317] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 838.91 MiB) 09:31:19 [09:31:19.183] INFO: ivc-integration:test:native bb - computed opening proof (mem: 838.91 MiB) 09:31:19 finished translator proving. (mem: 838.91 MiB) 09:31:19 [09:31:19.190] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 838.91 MiB) 09:31:19 [09:31:19.206] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 838.91 MiB) 09:31:19 libra_evals_verified: 1 (mem: 838.91 MiB) 09:31:19 pairing_check_verified: 1 (mem: 838.91 MiB) 09:31:19 Mega verified: 1 (mem: 838.91 MiB) 09:31:19 [09:31:19.331] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 838.91 MiB) 09:31:19 batch opening verified?: 1 (mem: 838.91 MiB) 09:31:19 eccvm consistency check verified?: 1 (mem: 838.91 MiB) 09:31:19 translation masking consistency checked?: 1 (mem: 838.91 MiB) 09:31:19 [09:31:19.356] INFO: ivc-integration:test:native bb - merge verified?: 1 09:31:19 [09:31:19.361] INFO: ivc-integration:test:native bb - (mem: 838.91 MiB) 09:31:19 eccvm verified?: 1 (mem: 838.91 MiB) 09:31:19 accumulator construction_verified?: 1 (mem: 838.91 MiB) 09:31:19 translation verified?: 1 (mem: 838.91 MiB) 09:31:19 consistency verified?: 1 (mem: 838.91 MiB) 09:31:19 Goblin verified: 1 (mem: 838.91 MiB) 09:31:19 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-hZZXpd" (mem: 838.91 MiB) 09:31:19 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-hZZXpd" (mem: 838.91 MiB) 09:31:19 BN254 commitment key size: 262144 (mem: 838.91 MiB) 09:31:19 [09:31:19.361] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 838.91 MiB) 09:31:19 [09:31:19.370] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 838.91 MiB) 09:31:19 goblin ecc op : 4/1024 (mem: 838.91 MiB) 09:31:19 busread : 3/6000 (mem: 838.91 MiB) 09:31:19 lookups : 2/15000 (mem: 838.91 MiB) 09:31:19 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 838.91 MiB) 09:31:19 arithmetic : 1773/56000 (mem: 838.91 MiB) 09:31:19 delta range : 1754/18000 (mem: 838.91 MiB) 09:31:19 elliptic : 2/6000 (mem: 838.91 MiB) 09:31:19 auxiliary : 26/26000 (mem: 838.91 MiB) 09:31:19 poseidon ext : 2/17000 (mem: 838.91 MiB) 09:31:19 poseidon int : 2/92000 (mem: 838.91 MiB) 09:31:19 overflow : 0/0 (mem: 838.91 MiB) 09:31:19 (mem: 838.91 MiB) 09:31:19 Total structured size: 242025 (mem: 838.91 MiB) 09:31:19 allocating polynomials object in proving key... (mem: 838.91 MiB) 09:31:19 [09:31:19.599] INFO: ivc-integration:test:native bb - populating trace... (mem: 838.91 MiB) 09:31:19 [09:31:19.609] INFO: ivc-integration:test:native bb - time to construct proving key: 247 ms. (mem: 838.91 MiB) 09:31:19 [09:31:19.783] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 09:31:19 [09:31:19.784] INFO: ivc-integration:test:native bb - (mem: 838.91 MiB) 09:31:20 [09:31:20.562] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 838.91 MiB) 09:31:20 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 838.91 MiB) 09:31:21 [09:31:21.332] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 838.91 MiB) 09:31:21 [09:31:21.840] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 838.91 MiB) 09:31:21 [09:31:21.847] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c 09:31:21 [09:31:21.849] INFO: ivc-integration:test:native bb - (mem: 838.91 MiB) 09:31:21 [09:31:21.864] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 838.91 MiB) 09:31:21 [09:31:21.868] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 838.91 MiB) 09:31:21 goblin ecc op : 56/1024 (mem: 838.91 MiB) 09:31:21 busread : 3/6000 (mem: 838.91 MiB) 09:31:21 lookups : 2/15000 (mem: 838.91 MiB) 09:31:21 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 838.91 MiB) 09:31:21 arithmetic : 4481/56000 (mem: 838.91 MiB) 09:31:21 delta range : 2041/18000 09:31:21 [09:31:21.869] INFO: ivc-integration:test:native bb - (mem: 838.91 MiB) 09:31:21 elliptic : 2/6000 (mem: 838.91 MiB) 09:31:21 auxiliary : 50/26000 (mem: 838.91 MiB) 09:31:21 poseidon ext : 1312/17000 (mem: 838.91 MiB) 09:31:21 poseidon int : 7469/92000 (mem: 838.91 MiB) 09:31:21 overflow : 0/0 (mem: 838.91 MiB) 09:31:21 (mem: 838.91 MiB) 09:31:21 Total structured size: 242025 (mem: 838.91 MiB) 09:31:21 allocating polynomials object in proving key... (mem: 838.91 MiB) 09:31:22 [09:31:22.111] INFO: ivc-integration:test:native bb - populating trace... (mem: 838.91 MiB) 09:31:22 [09:31:22.156] INFO: ivc-integration:test:native bb - time to construct proving key: 291 ms. (mem: 838.91 MiB) 09:31:22 [09:31:22.361] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 838.91 MiB) 09:31:23 [09:31:23.106] INFO: ivc-integration:test:native bb - computing folding proof (mem: 838.91 MiB) 09:31:23 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 838.91 MiB) 09:31:23 [09:31:23.926] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 838.91 MiB) 09:31:24 [09:31:24.702] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 838.91 MiB) 09:31:24 [09:31:24.860] INFO: ivc-integration:test:native bb - perturbator round (mem: 839.91 MiB) 09:31:24 [09:31:24.929] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 871.91 MiB) 09:31:25 [09:31:25.319] INFO: ivc-integration:test:native bb - folded (mem: 871.91 MiB) 09:31:25 constructed folding proof (mem: 871.91 MiB) 09:31:25 [09:31:25.322] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 871.91 MiB) 09:31:25 Minimum required block sizes for structured trace: (mem: 871.91 MiB) 09:31:25 (mem: 871.91 MiB) 09:31:25 prove decider... (mem: 871.91 MiB) 09:31:25 [09:31:25.326] INFO: ivc-integration:test:native bb - ecc_op : 56 09:31:25 busread : 3 09:31:25 lookup : 2 09:31:25 pub_inputs : 36 09:31:25 arithmetic : 4481 09:31:25 delta_range : 2041 09:31:25 elliptic : 2 09:31:25 aux : 50 09:31:25 poseidon2_external : 1312 09:31:25 poseidon2_internal : 7469 09:31:25 overflow : 0 09:31:25 [09:31:25.698] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 871.91 MiB) 09:31:25 [09:31:25.788] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 871.91 MiB) 09:31:26 [09:31:26.739] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 871.91 MiB) 09:31:26 [09:31:26.810] INFO: ivc-integration:test:native bb - computed opening proof (mem: 871.91 MiB) 09:31:26 finished decider proving. (mem: 871.91 MiB) 09:31:26 [09:31:26.820] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 871.91 MiB) 09:31:26 [09:31:26.925] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.91 MiB) 09:31:26 [09:31:26.951] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 871.91 MiB) 09:31:27 [09:31:27.109] INFO: ivc-integration:test:native bb - populating trace... (mem: 871.91 MiB) 09:31:27 [09:31:27.156] INFO: ivc-integration:test:native bb - time to construct proving key: 231 ms. (mem: 871.91 MiB) 09:31:27 [09:31:27.860] 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-hZZXpd/proof -k /tmp/bb-client-ivc-integration-hZZXpd/vk -v 09:31:27 [09:31:27.905] INFO: ivc-integration:test:native bb command: verify (mem: 155.73 MiB) 09:31:27 Scheme is: client_ivc, num threads: 128 (mem: 155.73 MiB) 09:31:27 --proof_path: /tmp/bb-client-ivc-integration-hZZXpd/proof (mem: 155.73 MiB) 09:31:27 --vk_path: /tmp/bb-client-ivc-integration-hZZXpd/vk (mem: 155.73 MiB) 09:31:27 --verbose: true (mem: 155.73 MiB) 09:31:27 --scheme: client_ivc (mem: 155.73 MiB) 09:31:28 [09:31:28.012] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 159.00 MiB) 09:31:28 [09:31:28.031] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 171.08 MiB) 09:31:28 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 171.08 MiB) 09:31:28 [09:31:28.052] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 09:31:28 [09:31:28.054] INFO: ivc-integration:test:native (mem: 171.08 MiB) 09:31:28 Initialized BN254 CRS from memory with num points = 1025 (mem: 171.08 MiB) 09:31:28 [09:31:28.055] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 171.08 MiB) 09:31:28 libra_evals_verified: 1 (mem: 171.08 MiB) 09:31:28 pairing_check_verified: 1 (mem: 171.08 MiB) 09:31:28 Mega verified: 1 (mem: 171.08 MiB) 09:31:28 [09:31:28.191] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.20 MiB) 09:31:28 batch opening verified?: 1 (mem: 188.20 MiB) 09:31:28 eccvm consistency check verified?: 1 (mem: 188.20 MiB) 09:31:28 translation masking consistency checked?: 1 (mem: 188.20 MiB) 09:31:28 [09:31:28.209] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.20 MiB) 09:31:28 eccvm verified?: 1 (mem: 188.20 MiB) 09:31:28 accumulator construction_verified?: 1 (mem: 188.20 MiB) 09:31:28 translation verified?: 1 (mem: 188.20 MiB) 09:31:28 consistency verified?: 1 (mem: 188.20 MiB) 09:31:28 [09:31:28.214] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 188.20 MiB) 09:31:28 [09:31:28.220] INFO: ivc-integration:test:native verified: 1 (mem: 188.20 MiB) 09:31:28 [09:31:28.373] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-7RBWG9/ivc-inputs.msgpack 09:31:28 [09:31:28.374] 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-7RBWG9 --ivc_inputs_path /tmp/bb-client-ivc-integration-7RBWG9/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 09:31:28 [09:31:28.404] INFO: ivc-integration:test:native bb - bb command: prove (mem: 155.88 MiB) 09:31:28 Scheme is: client_ivc, num threads: 128 (mem: 155.88 MiB) 09:31:28 --scheme: client_ivc (mem: 155.88 MiB) 09:31:28 --output_path: /tmp/bb-client-ivc-integration-7RBWG9 (mem: 155.88 MiB) 09:31:28 --ivc_inputs_path: /tmp/bb-client-ivc-integration-7RBWG9/ivc-inputs.msgpack (mem: 155.88 MiB) 09:31:28 --verbose: true (mem: 155.88 MiB) 09:31:28 --write_vk: true (mem: 155.88 MiB) 09:31:28 BN254 commitment key size: 262144 (mem: 155.88 MiB) 09:31:28 [09:31:28.524] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 262.00 MiB) 09:31:28 [09:31:28.607] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 310.92 MiB) 09:31:28 [09:31:28.612] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 09:31:28 [09:31:28.613] INFO: ivc-integration:test:native bb - (mem: 310.92 MiB) 09:31:28 Constructing DeciderProvingKey (mem: 310.92 MiB) 09:31:28 [09:31:28.617] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 310.92 MiB) 09:31:28 [09:31:28.618] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 310.92 MiB) 09:31:28 busread : 7/6000 (mem: 310.92 MiB) 09:31:28 lookups : 2/15000 (mem: 310.92 MiB) 09:31:28 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 310.92 MiB) 09:31:28 arithmetic : 1760/56000 (mem: 310.92 MiB) 09:31:28 delta range : 1754/18000 (mem: 310.92 MiB) 09:31:28 elliptic : 2/6000 (mem: 310.92 MiB) 09:31:28 auxiliary : 26/26000 (mem: 310.92 MiB) 09:31:28 poseidon ext : 2/17000 (mem: 310.92 MiB) 09:31:28 poseidon int : 2/92000 (mem: 310.92 MiB) 09:31:28 overflow : 0/0 (mem: 310.92 MiB) 09:31:28 (mem: 310.92 MiB) 09:31:28 Total structured size: 242025 (mem: 310.92 MiB) 09:31:28 allocating polynomials object in proving key... (mem: 310.92 MiB) 09:31:28 [09:31:28.779] INFO: ivc-integration:test:native bb - populating trace... (mem: 503.04 MiB) 09:31:28 [09:31:28.791] INFO: ivc-integration:test:native bb - time to construct proving key: 178 ms. (mem: 514.04 MiB) 09:31:28 [09:31:28.874] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bb14af6fd40 (mem: 514.04 MiB) 09:31:28 computing oink proof... (mem: 514.04 MiB) 09:31:28 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 514.04 MiB) 09:31:29 [09:31:29.496] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 514.04 MiB) 09:31:29 [09:31:29.861] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 520.04 MiB) 09:31:29 [09:31:29.875] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.04 MiB) 09:31:29 [09:31:29.896] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 520.04 MiB) 09:31:29 Constructing DeciderProvingKey (mem: 520.04 MiB) 09:31:29 [09:31:29.897] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 09:31:29 [09:31:29.897] INFO: ivc-integration:test:native bb - (mem: 09:31:29 [09:31:29.897] INFO: ivc-integration:test:native bb - 520.04 09:31:29 [09:31:29.898] INFO: ivc-integration:test:native bb - MiB) 09:31:29 [09:31:29.899] INFO: ivc-integration:test:native bb - 09:31:29 goblin ecc op : 56/1024 (mem: 520.04 MiB) 09:31:29 busread : 12/6000 (mem: 520.04 MiB) 09:31:29 lookups : 2/15000 (mem: 520.04 MiB) 09:31:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 520.04 MiB) 09:31:29 arithmetic : 4625/56000 (mem: 520.04 MiB) 09:31:29 delta range : 2054/18000 (mem: 520.04 MiB) 09:31:29 elliptic : 2/6000 (mem: 520.04 MiB) 09:31:29 auxiliary : 110/26000 (mem: 520.04 MiB) 09:31:29 poseidon ext : 1302/17000 (mem: 520.04 MiB) 09:31:29 poseidon int : 7412/92000 (mem: 520.04 MiB) 09:31:29 overflow : 0/0 (mem: 520.04 MiB) 09:31:29 (mem: 520.04 MiB) 09:31:29 Total structured size: 242025 (mem: 520.04 MiB) 09:31:29 allocating polynomials object in proving key... (mem: 520.04 MiB) 09:31:30 [09:31:30.217] INFO: ivc-integration:test:native bb - populating trace... (mem: 727.04 MiB) 09:31:30 [09:31:30.258] INFO: ivc-integration:test:native bb - time to construct proving key: 366 ms. 09:31:30 [09:31:30.259] INFO: ivc-integration:test:native bb - (mem: 744.04 MiB) 09:31:30 [09:31:30.366] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bb14af78fc0 (mem: 744.04 MiB) 09:31:30 computing folding proof (mem: 744.04 MiB) 09:31:30 [09:31:30.368] 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: 744.04 MiB) 09:31:31 [09:31:31.150] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 745.04 MiB) 09:31:31 [09:31:31.581] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.04 MiB) 09:31:31 [09:31:31.712] INFO: ivc-integration:test:native bb - perturbator round (mem: 783.04 MiB) 09:31:31 [09:31:31.784] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 814.04 MiB) 09:31:32 [09:31:32.268] INFO: ivc-integration:test:native bb - folded 09:31:32 [09:31:32.269] INFO: ivc-integration:test:native bb - (mem: 814.04 MiB) 09:31:32 [09:31:32.277] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 814.04 MiB) 09:31:32 [09:31:32.279] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 09:31:32 [09:31:32.280] INFO: ivc-integration:test:native bb - (mem: 09:31:32 [09:31:32.283] INFO: ivc-integration:test:native bb - 814.04 MiB) 09:31:32 Constructing DeciderProvingKey (mem: 814.04 MiB) 09:31:32 [09:31:32.294] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.04 MiB) 09:31:32 goblin ecc op : 4/1024 (mem: 814.04 MiB) 09:31:32 busread : 7/6000 (mem: 814.04 MiB) 09:31:32 lookups : 2/15000 (mem: 814.04 MiB) 09:31:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 814.04 MiB) 09:31:32 arithmetic : 1760/56000 (mem: 814.04 MiB) 09:31:32 delta range : 1754/18000 (mem: 814.04 MiB) 09:31:32 elliptic : 2/6000 (mem: 814.04 MiB) 09:31:32 auxiliary : 26/26000 (mem: 814.04 MiB) 09:31:32 poseidon ext : 2/17000 (mem: 814.04 MiB) 09:31:32 poseidon int : 2/92000 (mem: 814.04 MiB) 09:31:32 overflow : 0/0 (mem: 814.04 MiB) 09:31:32 (mem: 814.04 MiB) 09:31:32 Total structured size: 242025 (mem: 814.04 MiB) 09:31:32 allocating polynomials object in proving key... (mem: 814.04 MiB) 09:31:32 [09:31:32.496] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.04 MiB) 09:31:32 [09:31:32.524] INFO: ivc-integration:test:native bb - time to construct proving key: 242 ms. (mem: 814.04 MiB) 09:31:32 [09:31:32.596] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bb14af70580 (mem: 814.04 MiB) 09:31:32 computing folding proof (mem: 814.04 MiB) 09:31:32 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 814.04 MiB) 09:31:33 [09:31:33.208] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 09:31:33 [09:31:33.209] INFO: ivc-integration:test:native bb - (mem: 814.04 MiB) 09:31:33 [09:31:33.487] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.04 MiB) 09:31:33 [09:31:33.652] INFO: ivc-integration:test:native bb - perturbator round (mem: 814.04 MiB) 09:31:33 [09:31:33.713] INFO: ivc-integration:test:native bb - combiner quotient round 09:31:33 [09:31:33.717] INFO: ivc-integration:test:native bb - (mem: 814.76 MiB) 09:31:34 [09:31:34.295] INFO: ivc-integration:test:native bb - folded (mem: 814.76 MiB) 09:31:34 constructed folding proof (mem: 814.76 MiB) 09:31:34 [09:31:34.321] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 814.76 MiB) 09:31:34 [09:31:34.437] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 814.76 MiB) 09:31:34 [09:31:34.558] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 814.76 MiB) 09:31:34 Constructing DeciderProvingKey (mem: 814.76 MiB) 09:31:34 [09:31:34.578] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.76 MiB) 09:31:34 goblin ecc op : 792/1024 (mem: 814.76 MiB) 09:31:34 busread : 12/6000 (mem: 814.76 MiB) 09:31:34 lookups : 2/15000 (mem: 814.76 MiB) 09:31:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 814.76 MiB) 09:31:34 arithmetic : 12080/56000 (mem: 814.76 MiB) 09:31:34 delta range : 2942/18000 (mem: 814.76 MiB) 09:31:34 elliptic : 2/6000 (mem: 814.76 MiB) 09:31:34 auxiliary : 350/26000 (mem: 814.76 MiB) 09:31:34 poseidon ext : 4942/17000 (mem: 814.76 MiB) 09:31:34 poseidon int : 28160/92000 (mem: 814.76 MiB) 09:31:34 overflow : 0/0 (mem: 814.76 MiB) 09:31:34 (mem: 814.76 MiB) 09:31:34 Total structured size: 242025 (mem: 814.76 MiB) 09:31:34 allocating polynomials object in proving key... (mem: 814.76 MiB) 09:31:34 [09:31:34.729] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.76 MiB) 09:31:34 [09:31:34.822] INFO: ivc-integration:test:native bb - time to construct proving key: 265 ms. (mem: 814.76 MiB) 09:31:34 [09:31:34.895] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bb14af6a000 (mem: 814.76 MiB) 09:31:34 computing folding proof (mem: 814.76 MiB) 09:31:34 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 814.76 MiB) 09:31:35 [09:31:35.543] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 814.76 MiB) 09:31:35 [09:31:35.906] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.76 MiB) 09:31:35 [09:31:35.997] INFO: ivc-integration:test:native bb - perturbator round (mem: 814.76 MiB) 09:31:36 [09:31:36.044] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 843.37 MiB) 09:31:36 [09:31:36.235] INFO: ivc-integration:test:native bb - folded (mem: 843.37 MiB) 09:31:36 constructed folding proof (mem: 843.37 MiB) 09:31:36 [09:31:36.245] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 843.37 MiB) 09:31:36 [09:31:36.319] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 843.37 MiB) 09:31:36 Constructing DeciderProvingKey (mem: 843.37 MiB) 09:31:36 [09:31:36.322] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 843.37 MiB) 09:31:36 goblin ecc op : 392/1024 (mem: 843.37 MiB) 09:31:36 busread : 16/6000 (mem: 843.37 MiB) 09:31:36 [09:31:36.322] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 843.37 MiB) 09:31:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 843.37 MiB) 09:31:36 arithmetic : 6914/56000 (mem: 843.37 MiB) 09:31:36 delta range : 2347/18000 (mem: 843.37 MiB) 09:31:36 elliptic : 2/6000 (mem: 843.37 MiB) 09:31:36 auxiliary : 77/26000 (mem: 843.37 MiB) 09:31:36 poseidon ext : 2472/17000 (mem: 843.37 MiB) 09:31:36 poseidon int : 14081/92000 (mem: 843.37 MiB) 09:31:36 overflow : 0/0 (mem: 843.37 MiB) 09:31:36 (mem: 843.37 MiB) 09:31:36 Total structured size: 242025 (mem: 843.37 MiB) 09:31:36 allocating polynomials object in proving key... (mem: 843.37 MiB) 09:31:36 [09:31:36.393] INFO: ivc-integration:test:native bb - populating trace... (mem: 843.37 MiB) 09:31:36 [09:31:36.430] INFO: ivc-integration:test:native bb - time to construct proving key: 110 ms. (mem: 843.37 MiB) 09:31:36 [09:31:36.571] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bb14afecec0 (mem: 843.37 MiB) 09:31:36 computing folding proof (mem: 843.37 MiB) 09:31:36 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.37 MiB) 09:31:37 [09:31:37.072] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 843.37 MiB) 09:31:37 [09:31:37.368] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 843.37 MiB) 09:31:37 [09:31:37.488] INFO: ivc-integration:test:native bb - perturbator round (mem: 843.37 MiB) 09:31:37 [09:31:37.561] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 843.88 MiB) 09:31:37 [09:31:37.840] INFO: ivc-integration:test:native bb - folded (mem: 843.88 MiB) 09:31:37 constructed folding proof (mem: 843.88 MiB) 09:31:37 [09:31:37.845] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 843.88 MiB) 09:31:37 [09:31:37.918] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 843.88 MiB) 09:31:37 Constructing DeciderProvingKey (mem: 843.88 MiB) 09:31:37 [09:31:37.927] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 843.88 MiB) 09:31:37 goblin ecc op : 392/1024 (mem: 843.88 MiB) 09:31:37 busread : 3/6000 (mem: 843.88 MiB) 09:31:37 lookups : 2/15000 (mem: 843.88 MiB) 09:31:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 843.88 MiB) 09:31:37 arithmetic : 6849/56000 (mem: 843.88 MiB) 09:31:37 delta range : 2333/18000 (mem: 843.88 MiB) 09:31:37 elliptic : 2/6000 (mem: 843.88 MiB) 09:31:37 auxiliary : 50/26000 (mem: 843.88 MiB) 09:31:37 poseidon ext : 2472/17000 (mem: 843.88 MiB) 09:31:37 poseidon int : 14081/92000 (mem: 843.88 MiB) 09:31:37 overflow : 0/0 (mem: 843.88 MiB) 09:31:37 (mem: 843.88 MiB) 09:31:37 Total structured size: 242025 (mem: 843.88 MiB) 09:31:37 allocating polynomials object in proving key... (mem: 843.88 MiB) 09:31:38 [09:31:38.003] INFO: ivc-integration:test:native bb - populating trace... (mem: 843.88 MiB) 09:31:38 [09:31:38.020] INFO: ivc-integration:test:native bb - time to construct proving key: 101 ms. (mem: 843.88 MiB) 09:31:38 [09:31:38.179] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bb14af837c0 (mem: 843.88 MiB) 09:31:38 computing folding proof (mem: 09:31:38 [09:31:38.181] INFO: ivc-integration:test:native bb - 843.88 MiB) 09:31:38 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.88 MiB) 09:31:38 [09:31:38.676] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 843.88 MiB) 09:31:39 [09:31:39.033] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 843.88 MiB) 09:31:39 [09:31:39.100] INFO: ivc-integration:test:native bb - perturbator round (mem: 843.88 MiB) 09:31:39 [09:31:39.162] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 844.29 MiB) 09:31:39 [09:31:39.470] INFO: ivc-integration:test:native bb - folded (mem: 844.29 MiB) 09:31:39 constructed folding proof (mem: 844.29 MiB) 09:31:39 [09:31:39.471] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 844.29 MiB) 09:31:39 Minimum required block sizes for structured trace: (mem: 844.29 MiB) 09:31:39 (mem: 844.29 MiB) 09:31:39 prove decider... (mem: 844.29 MiB) 09:31:39 [09:31:39.471] INFO: ivc-integration:test:native bb - ecc_op : 792 09:31:39 busread : 16 09:31:39 lookup : 2 09:31:39 pub_inputs : 36 09:31:39 arithmetic : 12080 09:31:39 delta_range : 2942 09:31:39 elliptic : 2 09:31:39 aux : 350 09:31:39 poseidon2_external : 4942 09:31:39 poseidon2_internal : 28160 09:31:39 overflow : 0 09:31:39 [09:31:39.573] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.29 MiB) 09:31:39 [09:31:39.713] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 844.29 MiB) 09:31:40 [09:31:40.506] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 844.29 MiB) 09:31:40 [09:31:40.582] INFO: ivc-integration:test:native bb - computed opening proof (mem: 844.29 MiB) 09:31:40 finished decider proving. (mem: 844.29 MiB) 09:31:40 [09:31:40.595] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 844.29 MiB) 09:31:40 [09:31:40.705] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 844.29 MiB) 09:31:40 [09:31:40.711] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 844.29 MiB) 09:31:40 [09:31:40.884] INFO: ivc-integration:test:native bb - populating trace... (mem: 844.29 MiB) 09:31:40 [09:31:40.954] INFO: ivc-integration:test:native bb - time to construct proving key: 249 ms. 09:31:40 [09:31:40.957] INFO: ivc-integration:test:native bb - (mem: 844.29 MiB) 09:31:41 [09:31:41.570] 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.29 MiB) 09:31:41 [09:31:41.941] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 844.29 MiB) 09:31:42 [09:31:42.443] INFO: ivc-integration:test:native bb - created oink proof (mem: 844.29 MiB) 09:31:42 [09:31:42.610] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.29 MiB) 09:31:43 [09:31:43.669] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 844.29 MiB) 09:31:44 [09:31:44.664] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 09:31:44 [09:31:44.667] INFO: ivc-integration:test:native bb - (mem: 844.29 MiB) 09:31:44 [09:31:44.701] INFO: ivc-integration:test:native bb - computed opening proof (mem: 844.29 MiB) 09:31:44 finished decider proving. (mem: 844.29 MiB) 09:31:44 Constructing a Goblin proof with num ultra ops = 2226 (mem: 844.29 MiB) 09:31:44 [09:31:44.934] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 844.29 MiB) 09:31:45 [09:31:45.420] 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: 844.29 MiB) 09:31:45 [09:31:45.442] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 844.29 MiB) 09:31:47 [09:31:47.508] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.29 MiB) 09:31:49 [09:31:49.963] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 844.29 MiB) 09:31:54 [09:31:54.175] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 844.29 MiB) 09:31:54 prove translator... (mem: 844.29 MiB) 09:31:57 [09:31:57.276] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 871.72 MiB) 09:31:59 [09:31:59.395] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 871.72 MiB) 09:32:01 [09:32:01.464] INFO: ivc-integration:test:native bb - computed opening proof (mem: 871.72 MiB) 09:32:01 [09:32:01.465] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 871.72 MiB) 09:32:01 [09:32:01.471] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 871.72 MiB) 09:32:01 [09:32:01.499] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 871.72 MiB) 09:32:01 libra_evals_verified: 1 (mem: 871.72 MiB) 09:32:01 pairing_check_verified: 1 (mem: 871.72 MiB) 09:32:01 Mega verified: 1 (mem: 871.72 MiB) 09:32:01 [09:32:01.565] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 871.72 MiB) 09:32:01 batch opening verified?: 1 (mem: 871.72 MiB) 09:32:01 eccvm consistency check verified?: 1 (mem: 871.72 MiB) 09:32:01 translation masking consistency checked?: 1 (mem: 871.72 MiB) 09:32:01 [09:32:01.584] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 871.72 MiB) 09:32:01 eccvm verified?: 1 (mem: 871.72 MiB) 09:32:01 accumulator construction_verified?: 1 (mem: 871.72 MiB) 09:32:01 translation verified?: 1 (mem: 871.72 MiB) 09:32:01 consistency verified?: 1 (mem: 871.72 MiB) 09:32:01 Goblin verified: 1 (mem: 871.72 MiB) 09:32:01 [09:32:01.585] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-7RBWG9" (mem: 871.72 MiB) 09:32:01 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-7RBWG9" (mem: 871.72 MiB) 09:32:01 BN254 commitment key size: 262144 (mem: 871.72 MiB) 09:32:01 [09:32:01.586] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.72 MiB) 09:32:01 [09:32:01.589] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 871.72 MiB) 09:32:01 goblin ecc op : 4/1024 (mem: 871.72 MiB) 09:32:01 busread : 3/6000 (mem: 871.72 MiB) 09:32:01 lookups : 2/15000 (mem: 871.72 MiB) 09:32:01 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 871.72 MiB) 09:32:01 arithmetic : 1773/56000 (mem: 871.72 MiB) 09:32:01 delta range : 1754/18000 (mem: 871.72 MiB) 09:32:01 elliptic : 2/6000 (mem: 871.72 MiB) 09:32:01 auxiliary : 26/26000 (mem: 871.72 MiB) 09:32:01 poseidon ext : 2/17000 (mem: 871.72 MiB) 09:32:01 poseidon int : 2/92000 (mem: 871.72 MiB) 09:32:01 overflow : 0/0 (mem: 871.72 MiB) 09:32:01 (mem: 871.72 MiB) 09:32:01 Total structured size: 242025 (mem: 871.72 MiB) 09:32:01 allocating polynomials object in proving key... (mem: 871.72 MiB) 09:32:01 [09:32:01.803] INFO: ivc-integration:test:native bb - populating trace... (mem: 871.72 MiB) 09:32:01 [09:32:01.834] INFO: ivc-integration:test:native bb - time to construct proving key: 246 ms. (mem: 871.72 MiB) 09:32:01 [09:32:01.884] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.72 MiB) 09:32:02 [09:32:02.509] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 09:32:02 [09:32:02.510] INFO: ivc-integration:test:native bb - 871.72 MiB) 09:32:02 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 871.72 MiB) 09:32:03 [09:32:03.022] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 871.72 MiB) 09:32:03 [09:32:03.229] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 871.72 MiB) 09:32:03 [09:32:03.234] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 871.72 MiB) 09:32:03 [09:32:03.252] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.72 MiB) 09:32:03 [09:32:03.254] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 871.72 MiB) 09:32:03 [09:32:03.254] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 871.72 MiB) 09:32:03 busread : 3/6000 (mem: 871.72 MiB) 09:32:03 lookups : 2/15000 (mem: 871.72 MiB) 09:32:03 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 871.72 MiB) 09:32:03 arithmetic : 4481/56000 (mem: 871.72 MiB) 09:32:03 delta range : 2041/18000 (mem: 871.72 MiB) 09:32:03 elliptic : 2/6000 (mem: 871.72 MiB) 09:32:03 auxiliary : 50/26000 (mem: 871.72 MiB) 09:32:03 poseidon ext : 1312/17000 (mem: 871.72 MiB) 09:32:03 poseidon int : 7469/92000 (mem: 871.72 MiB) 09:32:03 overflow : 0/0 (mem: 871.72 MiB) 09:32:03 (mem: 871.72 MiB) 09:32:03 Total structured size: 242025 (mem: 871.72 MiB) 09:32:03 allocating polynomials object in proving key... (mem: 871.72 MiB) 09:32:03 [09:32:03.357] INFO: ivc-integration:test:native bb - populating trace... (mem: 871.72 MiB) 09:32:03 [09:32:03.383] INFO: ivc-integration:test:native bb - time to construct proving key: 132 ms. (mem: 871.72 MiB) 09:32:03 [09:32:03.439] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.72 MiB) 09:32:03 [09:32:03.932] INFO: ivc-integration:test:native bb - computing folding proof (mem: 871.72 MiB) 09:32: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: 871.72 MiB) 09:32:04 [09:32:04.638] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 871.72 MiB) 09:32:05 [09:32:05.077] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 871.72 MiB) 09:32:05 [09:32:05.196] INFO: ivc-integration:test:native bb - perturbator round (mem: 871.72 MiB) 09:32:05 [09:32:05.246] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 903.72 MiB) 09:32:05 [09:32:05.706] INFO: ivc-integration:test:native bb - folded (mem: 903.72 MiB) 09:32:05 constructed folding proof (mem: 09:32:05 [09:32:05.707] INFO: ivc-integration:test:native bb - 903.72 MiB) 09:32:05 Largest circuit: 15360 gates. Trace details: (mem: 903.72 MiB) 09:32:05 Minimum required block sizes for structured trace: (mem: 903.72 MiB) 09:32:05 (mem: 903.72 MiB) 09:32:05 prove decider... (mem: 903.72 MiB) 09:32:05 [09:32:05.707] INFO: ivc-integration:test:native bb - ecc_op : 56 09:32:05 busread : 3 09:32:05 lookup : 2 09:32:05 pub_inputs : 36 09:32:05 arithmetic : 4481 09:32:05 delta_range : 2041 09:32:05 elliptic : 2 09:32:05 aux : 50 09:32:05 poseidon2_external : 1312 09:32:05 poseidon2_internal : 7469 09:32:05 overflow : 0 09:32:05 [09:32:05.826] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 903.72 MiB) 09:32:05 [09:32:05.920] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 903.72 MiB) 09:32:06 [09:32:06.410] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 903.72 MiB) 09:32:06 [09:32:06.497] INFO: ivc-integration:test:native bb - computed opening proof (mem: 903.72 MiB) 09:32:06 finished decider proving. (mem: 903.72 MiB) 09:32:06 [09:32:06.521] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 903.72 MiB) 09:32:06 [09:32:06.647] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 903.72 MiB) 09:32:06 [09:32:06.654] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 903.72 MiB) 09:32:06 [09:32:06.795] INFO: ivc-integration:test:native bb - populating trace... (mem: 903.72 MiB) 09:32:06 [09:32:06.839] INFO: ivc-integration:test:native bb - time to construct proving key: 193 ms. (mem: 903.72 MiB) 09:32:07 [09:32:07.323] 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-7RBWG9/proof -k /tmp/bb-client-ivc-integration-7RBWG9/vk -v 09:32:07 [09:32:07.340] INFO: ivc-integration:test:native bb command: verify (mem: 160.81 MiB) 09:32:07 Scheme is: client_ivc, num threads: 128 (mem: 160.81 MiB) 09:32:07 [09:32:07.341] INFO: ivc-integration:test:native --proof_path: /tmp/bb-client-ivc-integration-7RBWG9/proof (mem: 160.81 MiB) 09:32:07 --vk_path: /tmp/bb-client-ivc-integration-7RBWG9/vk (mem: 160.81 MiB) 09:32:07 --verbose: true (mem: 160.81 MiB) 09:32:07 --scheme: client_ivc (mem: 160.81 MiB) 09:32:07 [09:32:07.431] 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.81 MiB) 09:32:07 [09:32:07.457] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 160.81 MiB) 09:32:07 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 160.81 MiB) 09:32:07 [09:32:07.476] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 160.81 MiB) 09:32:07 [09:32:07.477] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 160.81 MiB) 09:32:07 [09:32:07.479] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 160.81 MiB) 09:32:07 libra_evals_verified: 1 (mem: 160.81 MiB) 09:32:07 pairing_check_verified: 1 (mem: 160.81 MiB) 09:32:07 Mega verified: 1 (mem: 160.81 MiB) 09:32:07 [09:32:07.545] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 175.02 MiB) 09:32:07 batch opening verified?: 1 (mem: 175.02 MiB) 09:32:07 eccvm consistency check verified?: 1 (mem: 175.02 MiB) 09:32:07 translation masking consistency checked?: 1 (mem: 175.02 MiB) 09:32:07 [09:32:07.568] INFO: ivc-integration:test:native merge verified?: 1 (mem: 175.02 MiB) 09:32:07 eccvm verified?: 1 (mem: 175.02 MiB) 09:32:07 accumulator construction_verified?: 1 (mem: 175.02 MiB) 09:32:07 translation verified?: 1 (mem: 175.02 MiB) 09:32:07 consistency verified?: 1 (mem: 175.02 MiB) 09:32:07 Goblin verified: 1 (mem: 175.02 MiB) 09:32:07 [09:32:07.575] INFO: ivc-integration:test:native verified: 1 (mem: 175.02 MiB) 09:32:07 PASS src/native_client_ivc_integration.test.ts (82.649 s) 09:32:07 Client IVC Integration 09:32:07 ✓ Should generate a verifiable client IVC proof from a simple mock tx (39946 ms) 09:32:07 ✓ Should generate a verifiable client IVC proof from a complex mock tx (39347 ms) 09:32:07 09:32:07 Test Suites: 1 passed, 1 total 09:32:07 Tests: 2 passed, 2 total 09:32:07 Snapshots: 0 total 09:32:07 Time: 82.732 s 09:32:07 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 09:32:07 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?