Parent Log:
http://ci.aztec-labs.com/9a8b51ad4daf16b0
Command: 426cee6a32f1da3c: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/d96baf1c44329e8b2e3a432ad803f702f5184a62
Env: REF_NAME=gh-readonly-queue/next/pr-15025-26c5a39fe03723d11540f721293d7aebd1f478d9 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 13 09:27:54 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15025_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
09:27:58 [09:27:58.268]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Z3hEna/ivc-inputs.msgpack
09:27:58 [09:27:58.272]
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-Z3hEna --ivc_inputs_path /tmp/bb-client-ivc-integration-Z3hEna/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
09:27:58 [09:27:58.292]
INFO:
ivc-integration:test:native bb - bb command: prove (mem:
09:27:58 [09:27:58.293]
INFO:
ivc-integration:test:native bb - 158.33 MiB)
09:27:58 Scheme is: client_ivc, num threads: 128 (mem: 158.33 MiB)
09:27:58 --scheme: client_ivc (mem: 158.33 MiB)
09:27:58 --output_path: /tmp/bb-client-ivc-integration-Z3hEna (mem: 158.33 MiB)
09:27:58 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Z3hEna/ivc-inputs.msgpack (mem: 158.33 MiB)
09:27:58 --verbose: true (mem: 158.33 MiB)
09:27:58 --write_vk: true (mem: 158.33 MiB)
09:27:58 [09:27:58.293]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 158.33 MiB)
09:27:58 [09:27:58.404]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 244.00 MiB)
09:27:58 [09:27:58.494]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 292.56 MiB)
09:27:58 [09:27:58.499]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 292.56 MiB)
09:27:58 Constructing DeciderProvingKey (mem: 292.56 MiB)
09:27:58 [09:27:58.506]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 292.56 MiB)
09:27:58 goblin ecc op : 4/1024 (mem: 292.56 MiB)
09:27:58 busread : 7/6000 (mem: 292.56 MiB)
09:27:58 lookups : 2/15000 (mem: 292.56 MiB)
09:27:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 292.56 MiB)
09:27:58 arithmetic : 1760/56000 (mem: 292.56 MiB)
09:27:58 delta range : 1754/18000 (mem: 292.56 MiB)
09:27:58 elliptic : 2/6000 (mem: 292.56 MiB)
09:27:58 auxiliary : 26/26000 (mem: 292.56 MiB)
09:27:58 poseidon ext : 2/17000 (mem: 292.56 MiB)
09:27:58 poseidon int : 2/92000 (mem: 292.56 MiB)
09:27:58 overflow : 0/0 (mem: 292.56 MiB)
09:27:58 (mem: 292.56 MiB)
09:27:58 Total structured size: 242025 (mem: 292.56 MiB)
09:27:58 allocating polynomials object in proving key... (mem: 292.56 MiB)
09:27:58 [09:27:58.573]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 497.71 MiB)
09:27:58 [09:27:58.583]
INFO:
ivc-integration:test:native bb - time to construct proving key: 83 ms. (mem: 511.71 MiB)
09:27:58 [09:27:58.614]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a245b616f00 (mem: 511.71 MiB)
09:27:58 [09:27:58.617]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 511.71 MiB)
09:27:58 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 511.71 MiB)
09:27:59 [09:27:59.206]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.71 MiB)
09:27:59 [09:27:59.457]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 522.71 MiB)
09:27:59 [09:27:59.468]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.71 MiB)
09:27:59 [09:27:59.493]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 522.71 MiB)
09:27:59 Constructing DeciderProvingKey (mem: 522.71 MiB)
09:27:59 [09:27:59.499]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 522.71 MiB)
09:27:59 goblin ecc op : 56/1024 (mem: 522.71 MiB)
09:27:59 busread : 12/6000 (mem: 522.71 MiB)
09:27:59 lookups : 2/15000 (mem: 522.71 MiB)
09:27:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 522.71 MiB)
09:27:59 arithmetic : 4625/56000 (mem: 522.71 MiB)
09:27:59 delta range : 2054/18000 (mem: 522.71 MiB)
09:27:59 elliptic : 2/6000 (mem: 522.71 MiB)
09:27:59 auxiliary : 110/26000 (mem: 522.71 MiB)
09:27:59 poseidon ext : 1302/17000 (mem: 522.71 MiB)
09:27:59 [09:27:59.501]
INFO:
ivc-integration:test:native bb -
09:27:59 poseidon int : 7412/92000 (mem: 522.71 MiB)
09:27:59 overflow : 0/0 (mem: 522.71 MiB)
09:27:59 (mem: 522.71 MiB)
09:27:59 Total structured size: 242025 (mem: 522.71 MiB)
09:27:59 allocating polynomials object in proving key... (mem: 522.71 MiB)
09:27:59 [09:27:59.633]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 729.71 MiB)
09:27:59 [09:27:59.679]
INFO:
ivc-integration:test:native bb - time to construct proving key: 182 ms. (mem: 745.71 MiB)
09:27:59 [09:27:59.781]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a245b623b80 (mem: 745.71 MiB)
09:27:59 [09:27:59.782]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 745.71 MiB)
09:27:59 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 745.71 MiB)
09:28:00 [09:28:00.462]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 745.71 MiB)
09:28:01 [09:28:01.040]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.71 MiB)
09:28:01 [09:28:01.191]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 781.71 MiB)
09:28:01 [09:28:01.250]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.71 MiB)
09:28:01 [09:28:01.746]
INFO:
ivc-integration:test:native bb - folded (mem: 814.71 MiB)
09:28:01 [09:28:01.749]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 814.71 MiB)
09:28:01 [09:28:01.768]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 814.71 MiB)
09:28:01 [09:28:01.839]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.71 MiB)
09:28:01 Constructing DeciderProvingKey (mem: 814.71 MiB)
09:28:01 [09:28:01.844]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.71 MiB)
09:28:01 goblin ecc op : 392/1024 (mem: 814.71 MiB)
09:28:01 busread : 3/6000 (mem: 814.71 MiB)
09:28:01 lookups : 2/15000 (mem: 814.71 MiB)
09:28:01 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 814.71 MiB)
09:28:01 arithmetic : 6849/56000 (mem: 814.71 MiB)
09:28:01 delta range : 2333/18000 (mem: 814.71 MiB)
09:28:01 elliptic : 2/6000 (mem: 814.71 MiB)
09:28:01 auxiliary : 50/26000 (mem: 814.71 MiB)
09:28:01 poseidon ext : 2472/17000 (mem: 814.71 MiB)
09:28:01 poseidon int : 14081/92000 (mem: 814.71 MiB)
09:28:01 overflow : 0/0 (mem: 814.71 MiB)
09:28:01 (mem: 814.71 MiB)
09:28:01 Total structured size: 242025 (mem: 814.71 MiB)
09:28:01 allocating polynomials object in proving key... (mem: 814.71 MiB)
09:28:01 [09:28:01.997]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.71 MiB)
09:28:02 [09:28:02.070]
INFO:
ivc-integration:test:native bb - time to construct proving key: 228 ms. (mem: 814.71 MiB)
09:28:02 [09:28:02.251]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a245b619540 (mem: 814.71 MiB)
09:28:02 computing folding proof (mem: 814.71 MiB)
09:28:02 [09:28:02.253]
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: 814.71 MiB)
09:28:02 [09:28:02.980]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 814.71 MiB)
09:28:03 [09:28:03.689]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.71 MiB)
09:28:03 [09:28:03.918]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 814.71 MiB)
09:28:03 [09:28:03.992]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 823.34 MiB)
09:28:04 [09:28:04.444]
INFO:
ivc-integration:test:native bb - folded (mem: 823.34 MiB)
09:28:04 constructed folding proof (mem: 823.34 MiB)
09:28:04 [09:28:04.448]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 823.34 MiB)
09:28:04 Minimum required block sizes for structured trace: (mem: 823.34 MiB)
09:28:04 (mem: 823.34 MiB)
09:28:04 prove decider... (mem: 823.34 MiB)
09:28:04 [09:28:04.452]
INFO:
ivc-integration:test:native bb - ecc_op : 392
09:28:04 busread : 12
09:28:04 lookup : 2
09:28:04 pub_inputs : 36
09:28:04 arithmetic : 6849
09:28:04 delta_range : 2333
09:28:04 elliptic : 2
09:28:04 aux : 110
09:28:04 poseidon2_external : 2472
09:28:04 poseidon2_internal : 14081
09:28:04 overflow : 0
09:28:04 [09:28:04.780]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 823.34 MiB)
09:28:05 [09:28:05.046]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 823.34 MiB)
09:28:06 [09:28:06.593]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
09:28:06 [09:28:06.597]
INFO:
ivc-integration:test:native bb - (mem: 823.34 MiB)
09:28:06 [09:28:06.687]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 823.34 MiB)
09:28:06 finished decider proving. (mem: 823.34 MiB)
09:28:06 [09:28:06.743]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 823.34 MiB)
09:28:06 [09:28:06.941]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 823.34 MiB)
09:28:06 [09:28:06.948]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
09:28:06 [09:28:06.949]
INFO:
ivc-integration:test:native bb - (mem: 823.34 MiB)
09:28:07 [09:28:07.228]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 823.34 MiB)
09:28:07 [09:28:07.309]
INFO:
ivc-integration:test:native bb - time to construct proving key: 369 ms.
09:28:07 [09:28:07.313]
INFO:
ivc-integration:test:native bb - (mem: 823.34 MiB)
09:28:07 [09:28:07.946]
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: 823.34 MiB)
09:28:08 [09:28:08.523]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 823.34 MiB)
09:28:09 [09:28:09.224]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 823.34 MiB)
09:28:09 [09:28:09.497]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 823.34 MiB)
09:28:11 [09:28:11.541]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 823.34 MiB)
09:28:12 [09:28:12.827]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
09:28:12 [09:28:12.829]
INFO:
ivc-integration:test:native bb - (mem: 823.34 MiB)
09:28:12 [09:28:12.892]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 823.34 MiB)
09:28:12 finished decider proving. (mem: 823.34 MiB)
09:28:12 Constructing a Goblin proof with num ultra ops = 1038 (mem: 823.34 MiB)
09:28:13 [09:28:13.211]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 823.34 MiB)
09:28:14 [09:28:14.249]
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.34 MiB)
09:28:14 [09:28:14.294]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 823.34 MiB)
09:28:16 [09:28:16.394]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 823.34 MiB)
09:28:18 [09:28:18.316]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 823.34 MiB)
09:28:23 [09:28:23.932]
INFO:
ivc-integration:test:native bb - finished eccvm proving.
09:28:23 [09:28:23.933]
INFO:
ivc-integration:test:native bb - (mem:
09:28:23 [09:28:23.934]
INFO:
ivc-integration:test:native bb - 823.34 MiB)
09:28:23 [09:28:23.935]
INFO:
ivc-integration:test:native bb - prove translator... (mem: 823.34 MiB)
09:28:27 [09:28:27.174]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 839.66 MiB)
09:28:30 [09:28:30.332]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 841.66 MiB)
09:28:33 [09:28:33.021]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 841.66 MiB)
09:28:33 finished translator proving. (mem: 841.66 MiB)
09:28:33 [09:28:33.025]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 841.66 MiB)
09:28:33 [09:28:33.044]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 841.66 MiB)
09:28:33 libra_evals_verified: 1 (mem: 841.66 MiB)
09:28:33 pairing_check_verified: 1 (mem: 841.66 MiB)
09:28:33 Mega verified: 1 (mem: 841.66 MiB)
09:28:33 [09:28:33.146]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 841.66 MiB)
09:28:33 batch opening verified?: 1 (mem: 841.66 MiB)
09:28:33 eccvm consistency check verified?: 1 (mem: 841.66 MiB)
09:28:33 [09:28:33.147]
INFO:
ivc-integration:test:native bb - translation masking consistency checked?: 1 (mem: 841.66 MiB)
09:28:33 [09:28:33.173]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 841.66 MiB)
09:28:33 eccvm verified?: 1 (mem: 841.66 MiB)
09:28:33 accumulator construction_verified?: 1 (mem: 841.66 MiB)
09:28:33 translation verified?: 1 (mem: 841.66 MiB)
09:28:33 consistency verified?: 1 (mem: 841.66 MiB)
09:28:33 Goblin verified: 1 (mem: 841.66 MiB)
09:28:33 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Z3hEna" (mem: 841.66 MiB)
09:28:33 [09:28:33.175]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Z3hEna" (mem: 841.66 MiB)
09:28:33 BN254 commitment key size: 262144 (mem: 841.66 MiB)
09:28:33 [09:28:33.176]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 841.66 MiB)
09:28:33 [09:28:33.181]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 841.66 MiB)
09:28:33 goblin ecc op : 4/1024 (mem: 841.66 MiB)
09:28:33 busread : 3/6000 (mem: 841.66 MiB)
09:28:33 lookups : 2/15000 (mem: 841.66 MiB)
09:28:33 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 841.66 MiB)
09:28:33 arithmetic : 1773/56000 (mem: 841.66 MiB)
09:28:33 delta range : 1754/18000 (mem: 841.66 MiB)
09:28:33 elliptic : 2/6000 (mem: 841.66 MiB)
09:28:33 auxiliary : 26/26000 (mem: 841.66 MiB)
09:28:33 poseidon ext : 2/17000 (mem: 841.66 MiB)
09:28:33 poseidon int : 2/92000 (mem: 841.66 MiB)
09:28:33 overflow : 0/0 (mem: 841.66 MiB)
09:28:33 (mem: 841.66 MiB)
09:28:33 Total structured size: 242025 (mem: 841.66 MiB)
09:28:33 allocating polynomials object in proving key... (mem: 841.66 MiB)
09:28:33 [09:28:33.407]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 841.66 MiB)
09:28:33 [09:28:33.450]
INFO:
ivc-integration:test:native bb - time to construct proving key: 270 ms. (mem: 841.66 MiB)
09:28:33 [09:28:33.593]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 841.66 MiB)
09:28:34 [09:28:34.562]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 841.66 MiB)
09:28: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: 841.66 MiB)
09:28:35 [09:28:35.676]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 841.66 MiB)
09:28:35 [09:28:35.990]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 841.66 MiB)
09:28:35 [09:28:35.999]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 841.66 MiB)
09:28:36 [09:28:36.022]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 841.66 MiB)
09:28:36 [09:28:36.023]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 841.66 MiB)
09:28:36 goblin ecc op : 56/1024 (mem: 841.66 MiB)
09:28:36 busread : 3/6000 (mem: 841.66 MiB)
09:28:36 lookups : 2/15000 (mem: 841.66 MiB)
09:28:36 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 841.66 MiB)
09:28:36 [09:28:36.024]
INFO:
ivc-integration:test:native bb - arithmetic : 4481/56000 (mem: 841.66 MiB)
09:28:36 delta range : 2041/18000 (mem: 841.66 MiB)
09:28:36 elliptic : 2/6000 (mem: 841.66 MiB)
09:28:36 auxiliary : 50/26000 (mem: 841.66 MiB)
09:28:36 poseidon ext : 1312/17000 (mem: 841.66 MiB)
09:28:36 poseidon int : 7469/92000 (mem: 841.66 MiB)
09:28:36 overflow : 0/0 (mem: 841.66 MiB)
09:28:36 (mem: 841.66 MiB)
09:28:36 Total structured size: 242025 (mem: 841.66 MiB)
09:28:36 allocating polynomials object in proving key... (mem: 841.66 MiB)
09:28:36 [09:28:36.303]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 841.66 MiB)
09:28:36 [09:28:36.352]
INFO:
ivc-integration:test:native bb - time to construct proving key: 331 ms. (mem: 841.66 MiB)
09:28:36 [09:28:36.482]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 841.66 MiB)
09:28:37 [09:28:37.474]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 841.66 MiB)
09:28:37 [09:28:37.475]
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: 841.66 MiB)
09:28:38 [09:28:38.202]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 841.66 MiB)
09:28:38 [09:28:38.795]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 841.66 MiB)
09:28:38 [09:28:38.923]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 844.66 MiB)
09:28:38 [09:28:38.981]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 876.66 MiB)
09:28:39 [09:28:39.465]
INFO:
ivc-integration:test:native bb - folded (mem: 876.66 MiB)
09:28:39 constructed folding proof (mem: 876.66 MiB)
09:28:39 Largest circuit: 15360 gates. Trace details: (mem: 876.66 MiB)
09:28:39 Minimum required block sizes for structured trace: (mem: 876.66 MiB)
09:28:39 (mem: 876.66 MiB)
09:28:39 prove decider... (mem: 876.66 MiB)
09:28:39 [09:28:39.466]
INFO:
ivc-integration:test:native bb - ecc_op : 56
09:28:39 busread : 3
09:28:39 lookup : 2
09:28:39 pub_inputs : 36
09:28:39 arithmetic : 4481
09:28:39 delta_range : 2041
09:28:39 elliptic : 2
09:28:39 aux : 50
09:28:39 poseidon2_external : 1312
09:28:39 poseidon2_internal : 7469
09:28:39 overflow : 0
09:28:39 [09:28:39.619]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 876.66 MiB)
09:28:39 [09:28:39.754]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 876.66 MiB)
09:28:40 [09:28:40.914]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 876.66 MiB)
09:28:40 [09:28:40.997]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 876.66 MiB)
09:28:40 [09:28:40.997]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 876.66 MiB)
09:28:41 [09:28:41.020]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 876.66 MiB)
09:28:41 [09:28:41.124]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 876.66 MiB)
09:28:41 [09:28:41.131]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 876.66 MiB)
09:28:41 [09:28:41.349]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 876.66 MiB)
09:28:41 [09:28:41.429]
INFO:
ivc-integration:test:native bb - time to construct proving key: 304 ms. (mem: 876.66 MiB)
09:28:42 [09:28:42.234]
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-Z3hEna/proof -k /tmp/bb-client-ivc-integration-Z3hEna/vk -v
09:28:42 [09:28:42.258]
INFO:
ivc-integration:test:native bb command: verify (mem:
09:28:42 [09:28:42.259]
INFO:
ivc-integration:test:native 158.33 MiB)
09:28:42 Scheme is: client_ivc, num threads: 128 (mem: 158.33 MiB)
09:28:42 --proof_path: /tmp/bb-client-ivc-integration-Z3hEna/proof (mem: 158.33 MiB)
09:28:42 --vk_path: /tmp/bb-client-ivc-integration-Z3hEna/vk (mem: 158.33 MiB)
09:28:42 --verbose: true (mem: 158.33 MiB)
09:28:42 --scheme: client_ivc (mem: 158.33 MiB)
09:28:42 [09:28:42.359]
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.33 MiB)
09:28:42 [09:28:42.383]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 167.63 MiB)
09:28:42 [09:28:42.385]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 167.63 MiB)
09:28:42 [09:28:42.401]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 167.63 MiB)
09:28:42 [09:28:42.403]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 167.63 MiB)
09:28:42 sumcheck_verified: 1 (mem: 167.63 MiB)
09:28:42 libra_evals_verified: 1 (mem: 167.63 MiB)
09:28:42 pairing_check_verified: 1 (mem: 167.63 MiB)
09:28:42 Mega verified: 1 (mem: 167.63 MiB)
09:28:42 [09:28:42.482]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 183.75 MiB)
09:28:42 batch opening verified?: 1 (mem: 183.75 MiB)
09:28:42 eccvm consistency check verified?: 1 (mem: 183.75 MiB)
09:28:42 translation masking consistency checked?: 1 (mem: 183.75 MiB)
09:28:42 [09:28:42.507]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 183.75 MiB)
09:28:42 eccvm verified?: 1 (mem: 183.75 MiB)
09:28:42 accumulator construction_verified?: 1 (mem: 183.75 MiB)
09:28:42 translation verified?: 1 (mem: 183.75 MiB)
09:28:42 consistency verified?: 1 (mem: 183.75 MiB)
09:28:42 Goblin verified: 1 (mem: 183.75 MiB)
09:28:42 [09:28:42.514]
INFO:
ivc-integration:test:native verified: 1 (mem: 183.75 MiB)
09:28:42 [09:28:42.615]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-8EZg3w/ivc-inputs.msgpack
09:28:42 [09:28:42.616]
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-8EZg3w --ivc_inputs_path /tmp/bb-client-ivc-integration-8EZg3w/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
09:28:42 [09:28:42.652]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 159.24 MiB)
09:28:42 Scheme is: client_ivc, num threads: 128 (mem: 159.24 MiB)
09:28:42 --scheme: client_ivc (mem: 159.24 MiB)
09:28:42 --output_path: /tmp/bb-client-ivc-integration-8EZg3w (mem: 159.24 MiB)
09:28:42 --ivc_inputs_path: /tmp/bb-client-ivc-integration-8EZg3w/ivc-inputs.msgpack (mem: 159.24 MiB)
09:28:42 --verbose: true (mem: 159.24 MiB)
09:28:42 --write_vk: true (mem: 159.24 MiB)
09:28:42 [09:28:42.660]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 159.24 MiB)
09:28:42 [09:28:42.664]
INFO:
ivc-integration:test:native bb -
09:28:42 [09:28:42.781]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
09:28:42 [09:28:42.782]
INFO:
ivc-integration:test:native bb - (mem: 251.00 MiB)
09:28:42 [09:28:42.867]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 299.80 MiB)
09:28:42 [09:28:42.872]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 299.80 MiB)
09:28:42 Constructing DeciderProvingKey (mem: 299.80 MiB)
09:28:42 [09:28:42.878]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 299.80 MiB)
09:28:42 goblin ecc op : 4/1024 (mem: 299.80 MiB)
09:28:42 busread : 7/6000 (mem: 299.80 MiB)
09:28:42 lookups : 2/15000 (mem: 299.80 MiB)
09:28:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 299.80 MiB)
09:28:42 arithmetic : 1760/56000 (mem: 299.80 MiB)
09:28:42 delta range : 1754/18000 (mem: 299.80 MiB)
09:28:42 elliptic : 2/6000 (mem: 299.80 MiB)
09:28:42 auxiliary : 26/26000
09:28:42 [09:28:42.878]
INFO:
ivc-integration:test:native bb - (mem: 299.80 MiB)
09:28:42 poseidon ext : 2/17000 (mem: 299.80 MiB)
09:28:42 poseidon int : 2/92000 (mem: 299.80 MiB)
09:28:42 overflow : 0/0 (mem: 299.80 MiB)
09:28:42 (mem: 299.80 MiB)
09:28:42 Total structured size: 242025 (mem: 299.80 MiB)
09:28:42 allocating polynomials object in proving key... (mem: 299.80 MiB)
09:28:43 [09:28:43.010]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 502.93 MiB)
09:28:43 [09:28:43.061]
INFO:
ivc-integration:test:native bb - time to construct proving key: 189 ms. (mem: 510.93 MiB)
09:28:43 [09:28:43.110]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64bb18753d40 (mem: 510.93 MiB)
09:28:43 computing oink proof... (mem: 510.93 MiB)
09:28:43 [09:28:43.111]
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: 510.93 MiB)
09:28:43 [09:28:43.867]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 510.93 MiB)
09:28:44 [09:28:44.163]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 517.93 MiB)
09:28:44 [09:28:44.176]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 517.93 MiB)
09:28:44 [09:28:44.197]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 517.93 MiB)
09:28:44 Constructing DeciderProvingKey (mem: 517.93 MiB)
09:28:44 [09:28:44.201]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 517.93 MiB)
09:28:44 goblin ecc op : 56/1024 (mem: 517.93 MiB)
09:28:44 busread : 12/6000 (mem:
09:28:44 [09:28:44.201]
INFO:
ivc-integration:test:native bb - 517.93 MiB)
09:28:44 lookups : 2/15000 (mem: 517.93 MiB)
09:28:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 517.93 MiB)
09:28:44 arithmetic : 4625/56000 (mem: 517.93 MiB)
09:28:44 delta range : 2054/18000 (mem: 517.93 MiB)
09:28:44 elliptic : 2/6000 (mem: 517.93 MiB)
09:28:44 auxiliary : 110/26000 (mem: 517.93 MiB)
09:28:44 poseidon ext : 1302/17000 (mem: 517.93 MiB)
09:28:44 poseidon int : 7412/92000 (mem: 517.93 MiB)
09:28:44 overflow : 0/0 (mem: 517.93 MiB)
09:28:44 (mem: 517.93 MiB)
09:28:44 Total structured size: 242025 (mem: 517.93 MiB)
09:28:44 allocating polynomials object in proving key... (mem: 517.93 MiB)
09:28:44 [09:28:44.344]
INFO:
ivc-integration:test:native bb - populating trace...
09:28:44 [09:28:44.345]
INFO:
ivc-integration:test:native bb - (mem: 729.93 MiB)
09:28:44 [09:28:44.383]
INFO:
ivc-integration:test:native bb - time to construct proving key: 176 ms. (mem: 745.93 MiB)
09:28:44 [09:28:44.473]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64bb1875cfc0 (mem: 745.93 MiB)
09:28:44 computing folding proof (mem:
09:28:44 [09:28:44.474]
INFO:
ivc-integration:test:native bb - 745.93 MiB)
09:28: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: 745.93 MiB)
09:28:45 [09:28:45.108]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 745.93 MiB)
09:28:45 [09:28:45.405]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.93 MiB)
09:28:45 [09:28:45.478]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 781.93 MiB)
09:28:45 [09:28:45.517]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.93 MiB)
09:28:45 [09:28:45.786]
INFO:
ivc-integration:test:native bb - folded (mem: 814.93 MiB)
09:28:45 constructed folding proof (mem: 814.93 MiB)
09:28:45 [09:28:45.786]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.93 MiB)
09:28:45 Constructing DeciderProvingKey (mem: 814.93 MiB)
09:28:45 [09:28:45.788]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.93 MiB)
09:28:45 goblin ecc op : 4/1024 (mem: 814.93 MiB)
09:28:45 busread : 7/6000 (mem:
09:28:45 [09:28:45.789]
INFO:
ivc-integration:test:native bb - 814.93 MiB)
09:28:45 lookups : 2/15000 (mem: 814.93 MiB)
09:28:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 814.93 MiB)
09:28:45 arithmetic : 1760/56000 (mem: 814.93 MiB)
09:28:45 delta range : 1754/18000 (mem: 814.93 MiB)
09:28:45 elliptic : 2/6000 (mem: 814.93 MiB)
09:28:45 auxiliary : 26/26000 (mem: 814.93 MiB)
09:28:45 poseidon ext : 2/17000 (mem: 814.93 MiB)
09:28:45 poseidon int : 2/92000 (mem: 814.93 MiB)
09:28:45 overflow : 0/0 (mem: 814.93 MiB)
09:28:45 (mem: 814.93 MiB)
09:28:45 Total structured size: 242025 (mem: 814.93 MiB)
09:28:45 allocating polynomials object in proving key... (mem: 814.93 MiB)
09:28:45 [09:28:45.868]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.93 MiB)
09:28:45 [09:28:45.881]
INFO:
ivc-integration:test:native bb - time to construct proving key: 94 ms. (mem: 814.93 MiB)
09:28:45 [09:28:45.928]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64bb18754580 (mem: 814.93 MiB)
09:28:45 computing folding proof (mem: 814.93 MiB)
09:28:45 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem:
09:28:45 [09:28:45.930]
INFO:
ivc-integration:test:native bb - 814.93 MiB)
09:28:46 [09:28:46.537]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 814.93 MiB)
09:28:46 [09:28:46.732]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.93 MiB)
09:28:46 [09:28:46.814]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 814.93 MiB)
09:28:46 [09:28:46.861]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 816.53 MiB)
09:28:47 [09:28:47.063]
INFO:
ivc-integration:test:native bb - folded (mem: 816.53 MiB)
09:28:47 constructed folding proof (mem: 816.53 MiB)
09:28:47 [09:28:47.074]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 816.53 MiB)
09:28:47 [09:28:47.125]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.53 MiB)
09:28:47 [09:28:47.185]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 816.53 MiB)
09:28:47 Constructing DeciderProvingKey (mem: 816.53 MiB)
09:28:47 [09:28:47.190]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.53 MiB)
09:28:47 goblin ecc op : 792/1024 (mem: 816.53 MiB)
09:28:47 busread : 12/6000 (mem: 816.53 MiB)
09:28:47 lookups : 2/15000 (mem: 816.53 MiB)
09:28:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 816.53 MiB)
09:28:47 arithmetic : 12080/56000 (mem: 816.53 MiB)
09:28:47 delta range : 2942/18000 (mem: 816.53 MiB)
09:28:47 [09:28:47.190]
INFO:
ivc-integration:test:native bb - elliptic : 2/6000 (mem: 816.53 MiB)
09:28:47 auxiliary : 350/26000 (mem: 816.53 MiB)
09:28:47 poseidon ext : 4942/17000 (mem: 816.53 MiB)
09:28:47 poseidon int : 28160/92000 (mem: 816.53 MiB)
09:28:47 overflow : 0/0 (mem: 816.53 MiB)
09:28:47 (mem: 816.53 MiB)
09:28:47 Total structured size: 242025 (mem: 816.53 MiB)
09:28:47 allocating polynomials object in proving key... (mem: 816.53 MiB)
09:28:47 [09:28:47.230]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 816.53 MiB)
09:28:47 [09:28:47.255]
INFO:
ivc-integration:test:native bb - time to construct proving key: 69 ms. (mem: 816.53 MiB)
09:28:47 [09:28:47.316]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64bb1874e000 (mem: 816.53 MiB)
09:28:47 computing folding proof (mem: 816.53 MiB)
09:28:47 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem:
09:28:47 [09:28:47.320]
INFO:
ivc-integration:test:native bb - 816.53 MiB)
09:28:47 [09:28:47.807]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 816.53 MiB)
09:28:48 [09:28:48.137]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.53 MiB)
09:28:48 [09:28:48.260]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 816.53 MiB)
09:28:48 [09:28:48.320]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 846.16 MiB)
09:28:48 [09:28:48.472]
INFO:
ivc-integration:test:native bb - folded (mem: 846.16 MiB)
09:28:48 constructed folding proof (mem: 846.16 MiB)
09:28:48 [09:28:48.486]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 846.16 MiB)
09:28:48 [09:28:48.565]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4
09:28:48 [09:28:48.567]
INFO:
ivc-integration:test:native bb - (mem: 846.16 MiB)
09:28:48 Constructing DeciderProvingKey (mem: 846.16 MiB)
09:28:48 [09:28:48.570]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.16 MiB)
09:28:48 goblin ecc op : 392/1024 (mem: 846.16 MiB)
09:28:48 busread : 16/6000 (mem: 846.16 MiB)
09:28:48 lookups : 2/15000 (mem: 846.16 MiB)
09:28:48 [09:28:48.571]
INFO:
ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 846.16 MiB)
09:28:48 arithmetic : 6914/56000 (mem: 846.16 MiB)
09:28:48 delta range : 2347/18000 (mem: 846.16 MiB)
09:28:48 elliptic : 2/6000 (mem: 846.16 MiB)
09:28:48 auxiliary : 77/26000 (mem: 846.16 MiB)
09:28:48 poseidon ext : 2472/17000 (mem: 846.16 MiB)
09:28:48 poseidon int : 14081/92000 (mem: 846.16 MiB)
09:28:48 overflow : 0/0 (mem: 846.16 MiB)
09:28:48 (mem: 846.16 MiB)
09:28:48 Total structured size: 242025 (mem: 846.16 MiB)
09:28:48 allocating polynomials object in proving key... (mem: 846.16 MiB)
09:28:48 [09:28:48.658]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.16 MiB)
09:28:48 [09:28:48.683]
INFO:
ivc-integration:test:native bb - time to construct proving key: 116 ms. (mem: 846.16 MiB)
09:28:48 [09:28:48.770]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64bb187d0ec0 (mem: 846.16 MiB)
09:28:48 computing folding proof (mem: 846.16 MiB)
09:28:48 [09:28:48.771]
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: 846.16 MiB)
09:28:49 [09:28:49.414]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 846.16 MiB)
09:28:49 [09:28:49.874]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.16 MiB)
09:28:49 [09:28:49.969]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 846.16 MiB)
09:28:50 [09:28:50.038]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 846.16 MiB)
09:28:50 [09:28:50.453]
INFO:
ivc-integration:test:native bb - folded (mem: 846.16 MiB)
09:28:50 constructed folding proof (mem: 846.16 MiB)
09:28:50 [09:28:50.465]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 846.16 MiB)
09:28:50 [09:28:50.529]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5
09:28:50 [09:28:50.533]
INFO:
ivc-integration:test:native bb - (mem: 846.16 MiB)
09:28:50 Constructing DeciderProvingKey (mem: 846.16 MiB)
09:28:50 [09:28:50.535]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.16 MiB)
09:28:50 goblin ecc op : 392/1024 (mem: 846.16 MiB)
09:28:50 busread : 3/6000 (mem: 846.16 MiB)
09:28:50 lookups : 2/15000 (mem: 846.16 MiB)
09:28:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.16 MiB)
09:28:50 arithmetic : 6849/56000 (mem: 846.16 MiB)
09:28:50 delta range : 2333/18000 (mem: 846.16 MiB)
09:28:50 elliptic : 2/6000 (mem: 846.16 MiB)
09:28:50 auxiliary : 50/26000 (mem: 846.16 MiB)
09:28:50 poseidon ext : 2472/17000 (mem: 846.16 MiB)
09:28:50 poseidon int : 14081/92000 (mem: 846.16 MiB)
09:28:50 overflow : 0/0 (mem: 846.16 MiB)
09:28:50 (mem: 846.16 MiB)
09:28:50 Total structured size: 242025 (mem: 846.16 MiB)
09:28:50 allocating polynomials object in proving key... (mem: 846.16 MiB)
09:28:50 [09:28:50.600]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.16 MiB)
09:28:50 [09:28:50.639]
INFO:
ivc-integration:test:native bb - time to construct proving key: 108 ms. (mem: 846.16 MiB)
09:28:50 [09:28:50.786]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64bb187677c0 (mem: 846.16 MiB)
09:28:50 computing folding proof (mem: 846.16 MiB)
09:28:50 [09:28:50.788]
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: 846.16 MiB)
09:28:51 [09:28:51.442]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 846.16 MiB)
09:28:51 [09:28:51.824]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.16 MiB)
09:28:51 [09:28:51.895]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 846.16 MiB)
09:28:51 [09:28:51.951]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 846.16 MiB)
09:28:52 [09:28:52.143]
INFO:
ivc-integration:test:native bb - folded (mem: 846.16 MiB)
09:28:52 constructed folding proof (mem: 846.16 MiB)
09:28:52 [09:28:52.144]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 846.16 MiB)
09:28:52 Minimum required block sizes for structured trace: (mem: 846.16 MiB)
09:28:52 (mem: 846.16 MiB)
09:28:52 prove decider... (mem: 846.16 MiB)
09:28:52 [09:28:52.145]
INFO:
ivc-integration:test:native bb - ecc_op : 792
09:28:52 busread : 16
09:28:52 lookup : 2
09:28:52 pub_inputs : 36
09:28:52 arithmetic : 12080
09:28:52 delta_range : 2942
09:28:52 elliptic : 2
09:28:52 aux : 350
09:28:52 poseidon2_external : 4942
09:28:52 poseidon2_internal : 28160
09:28:52 overflow : 0
09:28:52 [09:28:52.249]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.16 MiB)
09:28:52 [09:28:52.377]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 846.16 MiB)
09:28:53 [09:28:53.078]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 846.16 MiB)
09:28:53 [09:28:53.173]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 846.16 MiB)
09:28:53 finished decider proving. (mem: 846.16 MiB)
09:28:53 [09:28:53.185]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 846.16 MiB)
09:28:53 [09:28:53.303]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.16 MiB)
09:28:53 [09:28:53.309]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 846.16 MiB)
09:28:53 [09:28:53.499]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.16 MiB)
09:28:53 [09:28:53.541]
INFO:
ivc-integration:test:native bb - time to construct proving key: 237 ms. (mem: 846.16 MiB)
09:28:54 [09:28:54.052]
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: 846.16 MiB)
09:28:54 [09:28:54.591]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.16 MiB)
09:28:55 [09:28:55.285]
INFO:
ivc-integration:test:native bb - created oink proof
09:28:55 [09:28:55.288]
INFO:
ivc-integration:test:native bb - (mem: 846.16 MiB)
09:28:55 [09:28:55.598]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.16 MiB)
09:28:57 [09:28:57.483]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 846.16 MiB)
09:28:58 [09:28:58.576]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 846.16 MiB)
09:28:58 [09:28:58.630]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 846.16 MiB)
09:28:58 finished decider proving. (mem: 846.16 MiB)
09:28:58 Constructing a Goblin proof with num ultra ops = 2226 (mem: 846.16 MiB)
09:28:58 [09:28:58.950]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 846.16 MiB)
09:28:59 [09:28:59.824]
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: 846.16 MiB)
09:28:59 [09:28:59.848]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 846.16 MiB)
09:29:02 [09:29:02.244]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.16 MiB)
09:29:04 [09:29:04.797]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 846.16 MiB)
09:29:08 [09:29:08.051]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 846.16 MiB)
09:29:08 prove translator... (mem: 846.16 MiB)
09:29:10 [09:29:10.913]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 863.42 MiB)
09:29:12 [09:29:12.875]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
09:29:12 [09:29:12.875]
INFO:
ivc-integration:test:native bb - (mem:
09:29:12 [09:29:12.876]
INFO:
ivc-integration:test:native bb - 863.42 MiB)
09:29:14 [09:29:14.732]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 863.42 MiB)
09:29:14 [09:29:14.733]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 863.42 MiB)
09:29:14 [09:29:14.745]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 863.42 MiB)
09:29:14 [09:29:14.760]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 863.42 MiB)
09:29:14 libra_evals_verified: 1 (mem: 863.42 MiB)
09:29:14 pairing_check_verified: 1 (mem: 863.42 MiB)
09:29:14 Mega verified: 1 (mem: 863.42 MiB)
09:29:14 [09:29:14.828]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 863.42 MiB)
09:29:14 [09:29:14.829]
INFO:
ivc-integration:test:native bb - batch opening verified?: 1 (mem: 863.42 MiB)
09:29:14 eccvm consistency check verified?: 1 (mem: 863.42 MiB)
09:29:14 translation masking consistency checked?: 1 (mem: 863.42 MiB)
09:29:14 [09:29:14.845]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 863.42 MiB)
09:29:14 eccvm verified?: 1 (mem: 863.42 MiB)
09:29:14 accumulator construction_verified?: 1 (mem:
09:29:14 [09:29:14.846]
INFO:
ivc-integration:test:native bb - 863.42 MiB)
09:29:14 translation verified?: 1 (mem: 863.42 MiB)
09:29:14 consistency verified?: 1 (mem: 863.42 MiB)
09:29:14 Goblin verified: 1 (mem: 863.42 MiB)
09:29:14 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-8EZg3w" (mem: 863.42 MiB)
09:29:14 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-8EZg3w" (mem: 863.42 MiB)
09:29:14 [09:29:14.847]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 863.42 MiB)
09:29:14 [09:29:14.850]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 863.42 MiB)
09:29:14 [09:29:14.853]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 863.42 MiB)
09:29:14 goblin ecc op : 4/1024 (mem: 863.42 MiB)
09:29:14 [09:29:14.854]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 863.42 MiB)
09:29:14 lookups : 2/15000 (mem: 863.42 MiB)
09:29:14 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 863.42 MiB)
09:29:14 arithmetic : 1773/56000 (mem: 863.42 MiB)
09:29:14 delta range : 1754/18000 (mem: 863.42 MiB)
09:29:14 elliptic : 2/6000 (mem: 863.42 MiB)
09:29:14 auxiliary : 26/26000 (mem: 863.42 MiB)
09:29:14 poseidon ext : 2/17000 (mem: 863.42 MiB)
09:29:14 poseidon int : 2/92000 (mem: 863.42 MiB)
09:29:14 overflow : 0/0 (mem: 863.42 MiB)
09:29:14 (mem: 863.42 MiB)
09:29:14 Total structured size: 242025 (mem: 863.42 MiB)
09:29:14 allocating polynomials object in proving key... (mem: 863.42 MiB)
09:29:14 [09:29:14.926]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 863.42 MiB)
09:29:14 [09:29:14.936]
INFO:
ivc-integration:test:native bb - time to construct proving key: 86 ms. (mem: 863.42 MiB)
09:29:14 [09:29:14.970]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 863.42 MiB)
09:29:15 [09:29:15.391]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 863.42 MiB)
09:29:15 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 863.42 MiB)
09:29:15 [09:29:15.846]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 863.42 MiB)
09:29:15 [09:29:15.979]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 863.42 MiB)
09:29:15 [09:29:15.989]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 863.42 MiB)
09:29:16 [09:29:16.006]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 863.42 MiB)
09:29:16 [09:29:16.009]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 863.42 MiB)
09:29:16 goblin ecc op : 56/1024 (mem:
09:29:16 [09:29:16.010]
INFO:
ivc-integration:test:native bb - 863.42 MiB)
09:29:16 busread : 3/6000 (mem: 863.42 MiB)
09:29:16 lookups : 2/15000 (mem: 863.42 MiB)
09:29:16 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 863.42 MiB)
09:29:16 arithmetic : 4481/56000 (mem: 863.42 MiB)
09:29:16 delta range : 2041/18000 (mem: 863.42 MiB)
09:29:16 elliptic : 2/6000 (mem: 863.42 MiB)
09:29:16 auxiliary : 50/26000 (mem: 863.42 MiB)
09:29:16 poseidon ext : 1312/17000 (mem: 863.42 MiB)
09:29:16 poseidon int : 7469/92000 (mem: 863.42 MiB)
09:29:16 overflow : 0/0 (mem: 863.42 MiB)
09:29:16 (mem: 863.42 MiB)
09:29:16 Total structured size: 242025 (mem: 863.42 MiB)
09:29:16 allocating polynomials object in proving key... (mem: 863.42 MiB)
09:29:16 [09:29:16.113]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 863.42 MiB)
09:29:16 [09:29:16.146]
INFO:
ivc-integration:test:native bb - time to construct proving key: 139 ms. (mem: 863.42 MiB)
09:29:16 [09:29:16.217]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 863.42 MiB)
09:29:16 [09:29:16.716]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 863.42 MiB)
09:29:16 [09:29:16.716]
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: 863.42 MiB)
09:29:17 [09:29:17.190]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 863.42 MiB)
09:29:17 [09:29:17.543]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 863.42 MiB)
09:29:17 [09:29:17.638]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 863.42 MiB)
09:29:17 [09:29:17.685]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 895.42 MiB)
09:29:17 [09:29:17.845]
INFO:
ivc-integration:test:native bb - folded (mem: 895.42 MiB)
09:29:17 constructed folding proof (mem: 895.42 MiB)
09:29:17 [09:29:17.846]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 895.42 MiB)
09:29:17 Minimum required block sizes for structured trace: (mem: 895.42 MiB)
09:29:17 (mem: 895.42 MiB)
09:29:17 prove decider... (mem: 895.42 MiB)
09:29:17 [09:29:17.847]
INFO:
ivc-integration:test:native bb - ecc_op : 56
09:29:17 busread : 3
09:29:17 lookup : 2
09:29:17 pub_inputs : 36
09:29:17 arithmetic : 4481
09:29:17 delta_range : 2041
09:29:17 elliptic : 2
09:29:17 aux : 50
09:29:17 poseidon2_external : 1312
09:29:17 poseidon2_internal : 7469
09:29:17 overflow : 0
09:29:17 [09:29:17.958]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 895.42 MiB)
09:29:18 [09:29:18.066]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 895.42 MiB)
09:29:18 [09:29:18.712]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 895.42 MiB)
09:29:18 [09:29:18.781]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 895.42 MiB)
09:29:18 finished decider proving. (mem: 895.42 MiB)
09:29:18 [09:29:18.789]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 895.42 MiB)
09:29:18 [09:29:18.903]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 895.42 MiB)
09:29:18 [09:29:18.910]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 895.42 MiB)
09:29:18 [09:29:18.983]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 895.42 MiB)
09:29:19 [09:29:19.045]
INFO:
ivc-integration:test:native bb - time to construct proving key: 141 ms. (mem: 895.42 MiB)
09:29:19 [09:29:19.504]
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-8EZg3w/proof -k /tmp/bb-client-ivc-integration-8EZg3w/vk -v
09:29:19 [09:29:19.520]
INFO:
ivc-integration:test:native bb command: verify (mem: 165.09
09:29:19 [09:29:19.521]
INFO:
ivc-integration:test:native MiB)
09:29:19 Scheme is: client_ivc, num threads: 128 (mem: 165.09 MiB)
09:29:19 --proof_path: /tmp/bb-client-ivc-integration-8EZg3w/proof (mem: 165.09 MiB)
09:29:19 --vk_path: /tmp/bb-client-ivc-integration-8EZg3w/vk (mem: 165.09 MiB)
09:29:19 --verbose: true (mem: 165.09 MiB)
09:29:19 --scheme: client_ivc (mem: 165.09 MiB)
09:29:19 [09:29:19.631]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 165.09 MiB)
09:29:19 [09:29:19.660]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 165.09 MiB)
09:29:19 [09:29:19.661]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 165.09 MiB)
09:29:19 [09:29:19.680]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 165.09 MiB)
09:29:19 [09:29:19.682]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 165.09 MiB)
09:29:19 sumcheck_verified: 1 (mem: 165.09 MiB)
09:29:19 libra_evals_verified: 1 (mem: 165.09 MiB)
09:29:19 pairing_check_verified: 1 (mem: 165.09 MiB)
09:29:19 Mega verified: 1 (mem: 165.09 MiB)
09:29:19 [09:29:19.743]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 173.70 MiB)
09:29:19 batch opening verified?: 1 (mem: 173.70 MiB)
09:29:19 eccvm consistency check verified?: 1 (mem: 173.70 MiB)
09:29:19 translation masking consistency checked?: 1 (mem: 173.70 MiB)
09:29:19 [09:29:19.760]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 173.70 MiB)
09:29:19 eccvm verified?: 1 (mem: 173.70 MiB)
09:29:19 [09:29:19.761]
INFO:
ivc-integration:test:native accumulator construction_verified?: 1 (mem: 173.70 MiB)
09:29:19 translation verified?: 1 (mem: 173.70 MiB)
09:29:19 consistency verified?: 1 (mem: 173.70 MiB)
09:29:19 Goblin verified: 1 (mem: 173.70 MiB)
09:29:19 [09:29:19.769]
INFO:
ivc-integration:test:native verified: 1 (mem: 173.70 MiB)
09:29:19
PASS src/native_client_ivc_integration.test.ts (
85.031 s)
09:29:19 Client IVC Integration
09:29:19
✓ Should generate a verifiable client IVC proof from a simple mock tx (44337 ms)
09:29:19
✓ Should generate a verifiable client IVC proof from a complex mock tx (37274 ms)
09:29:19
09:29:19
Test Suites: 1 passed, 1 total
09:29:19
Tests: 2 passed, 2 total
09:29:19
Snapshots: 0 total
09:29:19
Time: 85.11 s
09:29:19
Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i
.
09:29:19
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?