Parent Log:
http://ci.aztec-labs.com/8d164638210575e7
Command: 7ef5aa2e086f59c7: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/e56623c3f6400dc164642e49255b211d6fb03ac6
Env: REF_NAME=gh-readonly-queue/next/pr-15119-3c671e0822075208f705135771771f5a47e9652e CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 16:43:43 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15119_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
16:43:47 [16:43:47.928]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-W5wBjM/ivc-inputs.msgpack
16:43:47 [16:43:47.934]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
16:43:47 [16:43:47.935]
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-W5wBjM --ivc_inputs_path /tmp/bb-client-ivc-integration-W5wBjM/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:43:47 [16:43:47.958]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 183.08 MiB)
16:43:47 [16:43:47.959]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.08 MiB)
16:43:47 --scheme: client_ivc (mem: 183.08 MiB)
16:43:47 --output_path: /tmp/bb-client-ivc-integration-W5wBjM (mem: 183.08 MiB)
16:43:47 --ivc_inputs_path: /tmp/bb-client-ivc-integration-W5wBjM/ivc-inputs.msgpack (mem: 183.08 MiB)
16:43:47 --verbose: true (mem: 183.08 MiB)
16:43:47 --write_vk: true (mem: 183.08 MiB)
16:43:47 [16:43:47.959]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.08 MiB)
16:43:48 [16:43:48.083]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.00 MiB)
16:43:48 [16:43:48.162]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 298.02 MiB)
16:43:48 [16:43:48.165]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 298.02 MiB)
16:43:48 [16:43:48.167]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 298.02 MiB)
16:43:48 [16:43:48.170]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 298.02 MiB)
16:43:48 [16:43:48.172]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 298.02 MiB)
16:43:48 busread : 7/6000 (mem: 298.02 MiB)
16:43:48 lookups : 2/15000 (mem: 298.02 MiB)
16:43:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 298.02 MiB)
16:43:48 arithmetic : 1760/56000 (mem: 298.02 MiB)
16:43:48 delta range : 1754/18000 (mem: 298.02 MiB)
16:43:48 elliptic : 2/6000 (mem: 298.02 MiB)
16:43:48 auxiliary : 26/26000 (mem: 298.02 MiB)
16:43:48 poseidon ext : 2/17000 (mem: 298.02 MiB)
16:43:48 poseidon int : 2/92000 (mem: 298.02 MiB)
16:43:48 overflow : 0/0 (mem: 298.02 MiB)
16:43:48 (mem: 298.02 MiB)
16:43:48 Total structured size: 242025 (mem: 298.02 MiB)
16:43:48 allocating polynomials object in proving key... (mem: 298.02 MiB)
16:43:48 [16:43:48.261]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 501.17 MiB)
16:43:48 [16:43:48.276]
INFO:
ivc-integration:test:native bb - time to construct proving key: 110 ms. (mem: 519.17 MiB)
16:43:48 [16:43:48.309]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x583242cfe980 (mem: 519.17 MiB)
16:43:48 [16:43:48.310]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 519.17 MiB)
16:43:48 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 519.17 MiB)
16:43:48 [16:43:48.520]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 529.17 MiB)
16:43:48 [16:43:48.529]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 529.17 MiB)
16:43:48 [16:43:48.550]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 529.17 MiB)
16:43:48 Constructing DeciderProvingKey (mem: 529.17 MiB)
16:43:48 [16:43:48.554]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 529.17 MiB)
16:43:48 goblin ecc op : 56/1024 (mem: 529.17 MiB)
16:43:48 busread : 12/6000 (mem: 529.17 MiB)
16:43:48 lookups : 2/15000 (mem: 529.17 MiB)
16:43:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 529.17 MiB)
16:43:48 arithmetic : 4625/56000 (mem: 529.17 MiB)
16:43:48 delta range : 2054/18000 (mem: 529.17 MiB)
16:43:48 elliptic : 2/6000 (mem: 529.17 MiB)
16:43:48 auxiliary : 110/26000 (mem: 529.17 MiB)
16:43:48 poseidon ext : 1302/17000 (mem: 529.17 MiB)
16:43:48 poseidon int : 7412/92000 (mem: 529.17 MiB)
16:43:48 overflow : 0/0 (mem: 529.17 MiB)
16:43:48 (mem: 529.17 MiB)
16:43:48 Total structured size: 242025 (mem: 529.17 MiB)
16:43:48 allocating polynomials object in proving key... (mem: 529.17 MiB)
16:43:48 [16:43:48.685]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 739.17 MiB)
16:43:48 [16:43:48.712]
INFO:
ivc-integration:test:native bb - time to construct proving key: 161 ms. (mem: 758.17 MiB)
16:43:48 [16:43:48.789]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x583242d0b640 (mem: 758.17 MiB)
16:43:48 computing folding proof (mem: 758.17 MiB)
16:43:48 [16:43:48.790]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 758.17 MiB)
16:43:49 [16:43:49.254]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 758.17 MiB)
16:43:49 [16:43:49.380]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 793.17 MiB)
16:43:49 [16:43:49.444]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 824.17 MiB)
16:43:49 [16:43:49.928]
INFO:
ivc-integration:test:native bb - folded (mem: 824.17 MiB)
16:43:49 [16:43:49.929]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 824.17 MiB)
16:43:49 [16:43:49.938]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 824.17 MiB)
16:43:50 [16:43:50.005]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 824.17 MiB)
16:43:50 Constructing DeciderProvingKey (mem: 824.17 MiB)
16:43:50 [16:43:50.012]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 824.17 MiB)
16:43:50 goblin ecc op : 392/1024 (mem: 824.17 MiB)
16:43:50 busread : 3/6000 (mem: 824.17 MiB)
16:43:50 lookups : 2/15000 (mem: 824.17 MiB)
16:43:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 824.17 MiB)
16:43:50 arithmetic : 6849/56000 (mem: 824.17 MiB)
16:43:50 delta range : 2333/18000 (mem: 824.17 MiB)
16:43:50 elliptic : 2/6000 (mem: 824.17 MiB)
16:43:50 auxiliary : 50/26000 (mem: 824.17 MiB)
16:43:50 poseidon ext : 2472/17000 (mem: 824.17 MiB)
16:43:50 poseidon int : 14081/92000 (mem: 824.17 MiB)
16:43:50 overflow : 0/0 (mem: 824.17 MiB)
16:43:50 (mem: 824.17 MiB)
16:43:50 Total structured size: 242025 (mem: 824.17 MiB)
16:43:50 allocating polynomials object in proving key... (mem: 824.17 MiB)
16:43:50 [16:43:50.223]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 824.17 MiB)
16:43:50 [16:43:50.304]
INFO:
ivc-integration:test:native bb - time to construct proving key: 291 ms. (mem: 824.17 MiB)
16:43:50 [16:43:50.510]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x583242cfa380 (mem: 824.17 MiB)
16:43:50 computing folding proof (mem: 824.17 MiB)
16:43:50 [16:43:50.511]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 824.17 MiB)
16:43:50 [16:43:50.975]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 824.17 MiB)
16:43:51 [16:43:51.149]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 824.17 MiB)
16:43:51 [16:43:51.197]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 824.17 MiB)
16:43:51 [16:43:51.638]
INFO:
ivc-integration:test:native bb - folded (mem: 824.17 MiB)
16:43:51 constructed folding proof (mem: 824.17 MiB)
16:43:51 [16:43:51.639]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 824.17 MiB)
16:43:51 Minimum required block sizes for structured trace: (mem: 824.17 MiB)
16:43:51 (mem: 824.17 MiB)
16:43:51 prove decider... (mem: 824.17 MiB)
16:43:51 [16:43:51.640]
INFO:
ivc-integration:test:native bb - ecc_op : 392
16:43:51 busread : 12
16:43:51 lookup : 2
16:43:51 pub_inputs : 36
16:43:51 arithmetic : 6849
16:43:51 delta_range : 2333
16:43:51 elliptic : 2
16:43:51 aux : 110
16:43:51 poseidon2_external : 2472
16:43:51 poseidon2_internal : 14081
16:43:51 overflow : 0
16:43:51 [16:43:51.930]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
16:43:51 [16:43:51.931]
INFO:
ivc-integration:test:native bb - (mem: 824.17 MiB)
16:43:52 [16:43:52.134]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 824.17 MiB)
16:43:53 [16:43:53.245]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 824.17 MiB)
16:43:53 [16:43:53.346]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 824.17 MiB)
16:43:53 finished decider proving. (mem: 824.17 MiB)
16:43:53 [16:43:53.366]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 824.17 MiB)
16:43:53 [16:43:53.521]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 824.17 MiB)
16:43:53 [16:43:53.530]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 824.17 MiB)
16:43:53 [16:43:53.679]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 824.17 MiB)
16:43:53 [16:43:53.714]
INFO:
ivc-integration:test:native bb - time to construct proving key: 192 ms. (mem: 824.17 MiB)
16:43:54 [16:43:54.703]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 824.17 MiB)
16:43:55 [16:43:55.283]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 824.17 MiB)
16:43:55 [16:43:55.578]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 824.17 MiB)
16:43:56 [16:43:56.901]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 824.17 MiB)
16:43:57 [16:43:57.992]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 824.17 MiB)
16:43:58 [16:43:58.051]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 824.17 MiB)
16:43:58 [16:43:58.053]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 824.17 MiB)
16:43:58 [16:43:58.053]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 824.17 MiB)
16:43:58 [16:43:58.340]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 824.17 MiB)
16:43:58 [16:43:58.711]
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: 824.17 MiB)
16:43:58 [16:43:58.728]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 824.17 MiB)
16:44:00 [16:44:00.865]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 824.17 MiB)
16:44:03 [16:44:03.508]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 824.17 MiB)
16:44:08 [16:44:08.512]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 824.17 MiB)
16:44:08 prove translator... (mem: 824.17 MiB)
16:44:11 [16:44:11.528]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.62 MiB)
16:44:13 [16:44:13.424]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 848.62 MiB)
16:44:15 [16:44:15.473]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 848.62 MiB)
16:44:15 finished translator proving.
16:44:15 [16:44:15.474]
INFO:
ivc-integration:test:native bb - (mem: 848.62 MiB)
16:44:15 [16:44:15.478]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 848.62 MiB)
16:44:15 [16:44:15.499]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 848.62 MiB)
16:44:15 libra_evals_verified: 1 (mem: 848.62 MiB)
16:44:15 pairing_check_verified: 1 (mem: 848.62 MiB)
16:44:15 Mega verified: 1 (mem: 848.62 MiB)
16:44:15 [16:44:15.589]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 848.62 MiB)
16:44:15 batch opening verified?: 1 (mem: 848.62 MiB)
16:44:15 eccvm consistency check verified?: 1 (mem: 848.62 MiB)
16:44:15 translation masking consistency checked?: 1 (mem: 848.62 MiB)
16:44:15 [16:44:15.620]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 848.62 MiB)
16:44:15 eccvm verified?: 1 (mem: 848.62 MiB)
16:44:15 accumulator construction_verified?: 1 (mem: 848.62 MiB)
16:44:15 translation verified?: 1 (mem: 848.62 MiB)
16:44:15 consistency verified?: 1 (mem: 848.62 MiB)
16:44:15 Goblin verified: 1 (mem: 848.62 MiB)
16:44:15 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-W5wBjM" (mem: 848.62 MiB)
16:44:15 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-W5wBjM" (mem: 848.62 MiB)
16:44:15 BN254 commitment key size: 262144 (mem: 848.62 MiB)
16:44:15 [16:44:15.628]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.62 MiB)
16:44:15 [16:44:15.631]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
16:44:15 [16:44:15.636]
INFO:
ivc-integration:test:native bb - (mem: 848.62 MiB)
16:44:15 goblin ecc op : 4/1024 (mem: 848.62 MiB)
16:44:15 busread : 3/6000 (mem: 848.62 MiB)
16:44:15 lookups : 2/15000 (mem: 848.62 MiB)
16:44:15 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 848.62 MiB)
16:44:15 arithmetic : 1773/56000 (mem: 848.62 MiB)
16:44:15 delta range : 1754/18000 (mem: 848.62 MiB)
16:44:15 elliptic : 2/6000 (mem: 848.62 MiB)
16:44:15 [16:44:15.637]
INFO:
ivc-integration:test:native bb - auxiliary : 26/26000 (mem: 848.62 MiB)
16:44:15 poseidon ext : 2/17000 (mem: 848.62 MiB)
16:44:15 poseidon int : 2/92000 (mem: 848.62 MiB)
16:44:15 overflow : 0/0 (mem: 848.62 MiB)
16:44:15 (mem: 848.62 MiB)
16:44:15 Total structured size: 242025 (mem: 848.62 MiB)
16:44:15 allocating polynomials object in proving key... (mem: 848.62 MiB)
16:44:15 [16:44:15.945]
INFO:
ivc-integration:test:native bb - populating trace...
16:44:15 [16:44:15.949]
INFO:
ivc-integration:test:native bb - (mem: 848.62 MiB)
16:44:15 [16:44:15.990]
INFO:
ivc-integration:test:native bb - time to construct proving key: 358 ms. (mem: 848.62 MiB)
16:44:16 [16:44:16.141]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.62 MiB)
16:44:16 [16:44:16.850]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 848.62 MiB)
16:44:16 [16:44:16.851]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.62 MiB)
16:44:17 [16:44:17.407]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 848.62 MiB)
16:44:17 [16:44:17.428]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.62 MiB)
16:44:17 [16:44:17.457]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
16:44:17 [16:44:17.460]
INFO:
ivc-integration:test:native bb - (mem: 848.62 MiB)
16:44:17 [16:44:17.466]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.62 MiB)
16:44:17 goblin ecc op : 56/1024 (mem: 848.62 MiB)
16:44:17 busread : 3/6000 (mem: 848.62 MiB)
16:44:17 lookups : 2/15000 (mem: 848.62 MiB)
16:44:17 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.62 MiB)
16:44:17 arithmetic : 4481/56000 (mem: 848.62 MiB)
16:44:17 delta range : 2041/18000 (mem: 848.62 MiB)
16:44:17 [16:44:17.467]
INFO:
ivc-integration:test:native bb - elliptic : 2/6000
16:44:17 [16:44:17.469]
INFO:
ivc-integration:test:native bb - (mem:
16:44:17 [16:44:17.470]
INFO:
ivc-integration:test:native bb - 848.62
16:44:17 [16:44:17.471]
INFO:
ivc-integration:test:native bb - MiB)
16:44:17 auxiliary : 50/26000 (mem: 848.62 MiB)
16:44:17 poseidon ext : 1312/17000 (mem: 848.62 MiB)
16:44:17 poseidon int : 7469/92000 (mem: 848.62 MiB)
16:44:17 overflow : 0/0 (mem: 848.62 MiB)
16:44:17 (mem: 848.62 MiB)
16:44:17 Total structured size: 242025 (mem: 848.62 MiB)
16:44:17 allocating polynomials object in proving key... (mem: 848.62 MiB)
16:44:17 [16:44:17.754]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.62 MiB)
16:44:17 [16:44:17.832]
INFO:
ivc-integration:test:native bb - time to construct proving key: 370 ms. (mem: 848.62 MiB)
16:44:18 [16:44:18.086]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.62 MiB)
16:44:19 [16:44:19.048]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 848.62 MiB)
16:44:19 [16:44:19.049]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 848.62 MiB)
16:44:19 [16:44:19.942]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 848.62 MiB)
16:44:20 [16:44:20.124]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 849.62 MiB)
16:44:20 [16:44:20.217]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 881.62 MiB)
16:44:20 [16:44:20.586]
INFO:
ivc-integration:test:native bb - folded
16:44:20 [16:44:20.588]
INFO:
ivc-integration:test:native bb - (mem: 881.62 MiB)
16:44:20 constructed folding proof (mem: 881.62 MiB)
16:44:20 Largest circuit: 15360 gates. Trace details: (mem: 881.62 MiB)
16:44:20 Minimum required block sizes for structured trace: (mem: 881.62 MiB)
16:44:20 (mem: 881.62 MiB)
16:44:20 prove decider... (mem: 881.62 MiB)
16:44:20 [16:44:20.589]
INFO:
ivc-integration:test:native bb - ecc_op : 56
16:44:20 busread : 3
16:44:20 lookup : 2
16:44:20 pub_inputs : 36
16:44:20 arithmetic : 4481
16:44:20 delta_range : 2041
16:44:20 elliptic : 2
16:44:20 aux : 50
16:44:20 poseidon2_external : 1312
16:44:20 poseidon2_internal : 7469
16:44:20 overflow : 0
16:44:20 [16:44:20.836]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 881.62 MiB)
16:44:21 [16:44:21.206]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
16:44:21 [16:44:21.208]
INFO:
ivc-integration:test:native bb - (mem: 881.62 MiB)
16:44:22 [16:44:22.952]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 881.62 MiB)
16:44:23 [16:44:23.036]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 881.62 MiB)
16:44:23 finished decider proving. (mem: 881.62 MiB)
16:44:23 [16:44:23.053]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 881.62 MiB)
16:44:23 [16:44:23.157]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 881.62 MiB)
16:44:23 [16:44:23.162]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 881.62 MiB)
16:44:23 [16:44:23.429]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 881.62 MiB)
16:44:23 [16:44:23.496]
INFO:
ivc-integration:test:native bb - time to construct proving key: 338 ms.
16:44:23 [16:44:23.510]
INFO:
ivc-integration:test:native bb - (mem: 881.62 MiB)
16:44:24 [16:44:24.126]
INFO:
ivc-integration:test:native BB concurrency: 1
16:44:24 [16:44:24.127]
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-W5wBjM/proof -k /tmp/bb-client-ivc-integration-W5wBjM/vk -v
16:44:24 [16:44:24.155]
INFO:
ivc-integration:test:native bb command: verify (mem: 183.08 MiB)
16:44:24 Scheme is: client_ivc, num threads: 1 (mem: 183.08 MiB)
16:44:24 --proof_path: /tmp/bb-client-ivc-integration-W5wBjM/proof (mem: 183.08 MiB)
16:44:24 --vk_path: /tmp/bb-client-ivc-integration-W5wBjM/vk (mem: 183.08 MiB)
16:44:24 --verbose: true (mem: 183.08 MiB)
16:44:24 --scheme: client_ivc (mem: 183.08 MiB)
16:44:24 [16:44:24.172]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 183.08 MiB)
16:44:24 [16:44:24.195]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 183.08 MiB)
16:44:24 [16:44:24.197]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 183.08 MiB)
16:44:24 [16:44:24.213]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.08 MiB)
16:44:24 [16:44:24.215]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 183.08 MiB)
16:44:24 sumcheck_verified: 1 (mem: 183.08 MiB)
16:44:24 libra_evals_verified: 1 (mem: 183.08 MiB)
16:44:24 pairing_check_verified: 1 (mem: 183.08 MiB)
16:44:24 Mega verified: 1 (mem: 183.08 MiB)
16:44:24 [16:44:24.705]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 183.08 MiB)
16:44:24 batch opening verified?: 1 (mem: 183.08 MiB)
16:44:24 eccvm consistency check verified?: 1 (mem: 183.08 MiB)
16:44:24 translation masking consistency checked?: 1 (mem: 183.08 MiB)
16:44:24 [16:44:24.809]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 183.08 MiB)
16:44:24 eccvm verified?: 1 (mem: 183.08 MiB)
16:44:24 accumulator construction_verified?: 1 (mem: 183.08 MiB)
16:44:24 translation verified?: 1 (mem: 183.08 MiB)
16:44:24 consistency verified?: 1 (mem: 183.08 MiB)
16:44:24 Goblin verified: 1 (mem: 183.08 MiB)
16:44:24 verified: 1 (mem: 183.08 MiB)
16:44:24 [16:44:24.937]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-fmmR0G/ivc-inputs.msgpack
16:44:24 [16:44:24.938]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
16:44:24 [16:44:24.938]
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-fmmR0G --ivc_inputs_path /tmp/bb-client-ivc-integration-fmmR0G/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:44:24 [16:44:24.964]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 184.64 MiB)
16:44:24 Scheme is: client_ivc, num threads: 128 (mem: 184.64 MiB)
16:44:24 --scheme: client_ivc (mem: 184.64 MiB)
16:44:24 --output_path: /tmp/bb-client-ivc-integration-fmmR0G (mem: 184.64 MiB)
16:44:24 --ivc_inputs_path: /tmp/bb-client-ivc-integration-fmmR0G/ivc-inputs.msgpack (mem: 184.64 MiB)
16:44:24 --verbose: true (mem: 184.64 MiB)
16:44:24 --write_vk: true (mem: 184.64 MiB)
16:44:24 [16:44:24.969]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144
16:44:24 [16:44:24.971]
INFO:
ivc-integration:test:native bb - (mem: 184.64 MiB)
16:44:25 [16:44:25.090]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 270.00 MiB)
16:44:25 [16:44:25.235]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 318.00 MiB)
16:44:25 [16:44:25.242]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 318.00 MiB)
16:44:25 Constructing DeciderProvingKey (mem: 318.00 MiB)
16:44:25 [16:44:25.249]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
16:44:25 [16:44:25.252]
INFO:
ivc-integration:test:native bb - (mem: 318.00 MiB)
16:44:25 goblin ecc op : 4/1024 (mem: 318.00 MiB)
16:44:25 busread : 7/6000 (mem: 318.00 MiB)
16:44:25 lookups : 2/15000 (mem: 318.00 MiB)
16:44:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 318.00 MiB)
16:44:25 arithmetic : 1760/56000 (mem: 318.00 MiB)
16:44:25 delta range : 1754/18000 (mem: 318.00 MiB)
16:44:25 elliptic : 2/6000 (mem: 318.00 MiB)
16:44:25 auxiliary : 26/26000 (mem: 318.00 MiB)
16:44:25 poseidon ext : 2/17000 (mem: 318.00 MiB)
16:44:25 poseidon int : 2/92000 (mem: 318.00 MiB)
16:44:25 overflow : 0/0 (mem: 318.00 MiB)
16:44:25 (mem: 318.00 MiB)
16:44:25 Total structured size: 242025 (mem: 318.00 MiB)
16:44:25 allocating polynomials object in proving key... (mem: 318.00 MiB)
16:44:25 [16:44:25.573]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 508.12 MiB)
16:44:25 [16:44:25.630]
INFO:
ivc-integration:test:native bb - time to construct proving key: 385 ms. (mem: 519.12 MiB)
16:44:25 [16:44:25.793]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61a3a42526c0 (mem: 519.12 MiB)
16:44:25 [16:44:25.794]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 519.12 MiB)
16:44:25 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 519.12 MiB)
16:44:26 [16:44:26.195]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 528.12 MiB)
16:44:26 [16:44:26.219]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 528.12 MiB)
16:44:26 [16:44:26.245]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 528.12 MiB)
16:44:26 Constructing DeciderProvingKey (mem:
16:44:26 [16:44:26.246]
INFO:
ivc-integration:test:native bb - 528.12 MiB)
16:44:26 [16:44:26.253]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 528.12 MiB)
16:44:26 goblin ecc op : 56/1024 (mem: 528.12 MiB)
16:44:26 busread : 12/6000 (mem: 528.12 MiB)
16:44:26 lookups : 2/15000 (mem: 528.12 MiB)
16:44:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 528.12 MiB)
16:44:26 arithmetic : 4625/56000 (mem: 528.12 MiB)
16:44:26 delta range : 2054/18000 (mem: 528.12 MiB)
16:44:26 elliptic : 2/6000 (mem: 528.12 MiB)
16:44:26 auxiliary : 110/26000 (mem: 528.12 MiB)
16:44:26 poseidon ext : 1302/17000 (mem: 528.12 MiB)
16:44:26 poseidon int : 7412/92000 (mem: 528.12 MiB)
16:44:26 overflow : 0/0 (mem: 528.12 MiB)
16:44:26 (mem: 528.12 MiB)
16:44:26 Total structured size: 242025 (mem: 528.12 MiB)
16:44:26 allocating polynomials object in proving key... (mem: 528.12 MiB)
16:44:26 [16:44:26.423]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 739.12 MiB)
16:44:26 [16:44:26.456]
INFO:
ivc-integration:test:native bb - time to construct proving key: 206 ms. (mem: 755.12 MiB)
16:44:26 [16:44:26.583]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61a3a425b900 (mem: 755.12 MiB)
16:44:26 computing folding proof (mem: 755.12 MiB)
16:44:26 [16:44:26.585]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 755.12 MiB)
16:44:27 [16:44:27.429]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 755.12 MiB)
16:44:27 [16:44:27.527]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 791.12 MiB)
16:44:27 [16:44:27.586]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 826.12 MiB)
16:44:27 [16:44:27.881]
INFO:
ivc-integration:test:native bb - folded (mem: 826.12 MiB)
16:44:27 constructed folding proof (mem: 826.12 MiB)
16:44:27 [16:44:27.882]
INFO:
ivc-integration:test:native bb -
16:44:27 [16:44:27.885]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 826.12 MiB)
16:44:27 Constructing DeciderProvingKey (mem: 826.12 MiB)
16:44:27 [16:44:27.890]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 826.12 MiB)
16:44:27 goblin ecc op : 4/1024 (mem: 826.12 MiB)
16:44:27 busread : 7/6000 (mem: 826.12 MiB)
16:44:27 lookups : 2/15000 (mem: 826.12 MiB)
16:44:27 [16:44:27.891]
INFO:
ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 826.12 MiB)
16:44:27 arithmetic : 1760/56000 (mem: 826.12 MiB)
16:44:27 delta range : 1754/18000 (mem: 826.12 MiB)
16:44:27 elliptic : 2/6000 (mem: 826.12 MiB)
16:44:27 auxiliary : 26/26000 (mem: 826.12 MiB)
16:44:27 poseidon ext : 2/17000 (mem: 826.12 MiB)
16:44:27 poseidon int : 2/92000 (mem: 826.12 MiB)
16:44:27 overflow : 0/0 (mem: 826.12 MiB)
16:44:27 (mem: 826.12 MiB)
16:44:27 Total structured size: 242025 (mem: 826.12 MiB)
16:44:27 allocating polynomials object in proving key... (mem: 826.12 MiB)
16:44:28 [16:44:28.146]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 826.12 MiB)
16:44:28 [16:44:28.217]
INFO:
ivc-integration:test:native bb - time to construct proving key: 330 ms. (mem: 826.12 MiB)
16:44:28 [16:44:28.396]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61a3a4259b00 (mem: 826.12 MiB)
16:44:28 computing folding proof (mem: 826.12 MiB)
16:44:28 [16:44:28.397]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 826.12 MiB)
16:44:28 [16:44:28.666]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 826.12 MiB)
16:44:28 [16:44:28.749]
INFO:
ivc-integration:test:native bb - perturbator round
16:44:28 [16:44:28.750]
INFO:
ivc-integration:test:native bb - (mem: 826.12 MiB)
16:44:28 [16:44:28.785]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 826.12 MiB)
16:44:29 [16:44:29.037]
INFO:
ivc-integration:test:native bb - folded
16:44:29 [16:44:29.038]
INFO:
ivc-integration:test:native bb - (mem: 826.12 MiB)
16:44:29 constructed folding proof (mem: 826.12 MiB)
16:44:29 [16:44:29.056]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 826.12 MiB)
16:44:29 [16:44:29.149]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970
16:44:29 [16:44:29.154]
INFO:
ivc-integration:test:native bb - (mem: 826.12 MiB)
16:44:29 [16:44:29.220]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3
16:44:29 [16:44:29.221]
INFO:
ivc-integration:test:native bb - (mem: 826.12 MiB)
16:44:29 Constructing DeciderProvingKey (mem: 826.12 MiB)
16:44:29 [16:44:29.229]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 826.12 MiB)
16:44:29 goblin ecc op : 792/1024 (mem: 826.12 MiB)
16:44:29 busread : 12/6000 (mem: 826.12 MiB)
16:44:29 lookups : 2/15000 (mem: 826.12 MiB)
16:44:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 826.12 MiB)
16:44:29 arithmetic : 12080/56000 (mem: 826.12 MiB)
16:44:29 delta range : 2942/18000 (mem: 826.12 MiB)
16:44:29 elliptic : 2/6000 (mem: 826.12 MiB)
16:44:29 auxiliary : 350/26000 (mem: 826.12 MiB)
16:44:29 poseidon ext : 4942/17000 (mem: 826.12 MiB)
16:44:29 poseidon int : 28160/92000 (mem: 826.12 MiB)
16:44:29 overflow : 0/0 (mem: 826.12 MiB)
16:44:29 (mem: 826.12 MiB)
16:44:29 Total structured size: 242025 (mem: 826.12 MiB)
16:44:29 allocating polynomials object in proving key... (mem: 826.12 MiB)
16:44:29 [16:44:29.330]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 826.12 MiB)
16:44:29 [16:44:29.374]
INFO:
ivc-integration:test:native bb - time to construct proving key: 152 ms. (mem: 826.12 MiB)
16:44:29 [16:44:29.500]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61a3a424b980 (mem: 826.12 MiB)
16:44:29 computing folding proof (mem: 826.12 MiB)
16:44:29 [16:44:29.501]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 826.12 MiB)
16:44:29 [16:44:29.989]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 826.12 MiB)
16:44:30 [16:44:30.087]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 826.12 MiB)
16:44:30 [16:44:30.150]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 852.69 MiB)
16:44:30 [16:44:30.492]
INFO:
ivc-integration:test:native bb - folded (mem: 852.69 MiB)
16:44:30 constructed folding proof (mem: 852.69 MiB)
16:44:30 [16:44:30.506]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 852.69 MiB)
16:44:30 [16:44:30.583]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4
16:44:30 [16:44:30.583]
INFO:
ivc-integration:test:native bb - (mem:
16:44:30 [16:44:30.587]
INFO:
ivc-integration:test:native bb - 852.69 MiB)
16:44:30 Constructing DeciderProvingKey (mem: 852.69 MiB)
16:44:30 [16:44:30.590]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 852.69 MiB)
16:44:30 goblin ecc op : 392/1024 (mem: 852.69 MiB)
16:44:30 busread : 16/6000 (mem: 852.69 MiB)
16:44:30 lookups : 2/15000 (mem: 852.69 MiB)
16:44:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 852.69 MiB)
16:44:30 arithmetic : 6914/56000 (mem: 852.69 MiB)
16:44:30 delta range : 2347/18000 (mem: 852.69 MiB)
16:44:30 elliptic : 2/6000 (mem: 852.69 MiB)
16:44:30 auxiliary : 77/26000 (mem: 852.69 MiB)
16:44:30 poseidon ext : 2472/17000 (mem: 852.69 MiB)
16:44:30 poseidon int : 14081/92000 (mem: 852.69 MiB)
16:44:30 overflow : 0/0 (mem: 852.69 MiB)
16:44:30 (mem: 852.69 MiB)
16:44:30 Total structured size: 242025 (mem: 852.69 MiB)
16:44:30 allocating polynomials object in proving key... (mem: 852.69 MiB)
16:44:30 [16:44:30.669]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 852.69 MiB)
16:44:30 [16:44:30.705]
INFO:
ivc-integration:test:native bb - time to construct proving key: 120 ms. (mem: 852.69 MiB)
16:44:30 [16:44:30.898]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61a3a42bc700 (mem: 852.69 MiB)
16:44:30 computing folding proof (mem: 852.69 MiB)
16:44:30 [16:44:30.900]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 852.69 MiB)
16:44:31 [16:44:31.321]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 852.69 MiB)
16:44:31 [16:44:31.404]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 852.69 MiB)
16:44:31 [16:44:31.473]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 853.57 MiB)
16:44:31 [16:44:31.804]
INFO:
ivc-integration:test:native bb - folded (mem: 853.57 MiB)
16:44:31 constructed folding proof (mem: 853.57 MiB)
16:44:31 [16:44:31.812]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9
16:44:31 [16:44:31.813]
INFO:
ivc-integration:test:native bb - (mem:
16:44:31 [16:44:31.813]
INFO:
ivc-integration:test:native bb - 853.57
16:44:31 [16:44:31.819]
INFO:
ivc-integration:test:native bb - MiB)
16:44:31 [16:44:31.889]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5
16:44:31 [16:44:31.890]
INFO:
ivc-integration:test:native bb - (mem: 853.57 MiB)
16:44:31 Constructing DeciderProvingKey (mem: 853.57 MiB)
16:44:31 [16:44:31.894]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 853.57 MiB)
16:44:31 goblin ecc op : 392/1024 (mem: 853.57 MiB)
16:44:31 busread : 3/6000 (mem: 853.57 MiB)
16:44:31 lookups : 2/15000 (mem: 853.57 MiB)
16:44:31 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 853.57 MiB)
16:44:31 [16:44:31.895]
INFO:
ivc-integration:test:native bb - arithmetic : 6849/56000 (mem: 853.57 MiB)
16:44:31 delta range : 2333/18000 (mem: 853.57 MiB)
16:44:31 elliptic : 2/6000 (mem: 853.57 MiB)
16:44:31 auxiliary : 50/26000 (mem: 853.57 MiB)
16:44:31 poseidon ext : 2472/17000 (mem: 853.57 MiB)
16:44:31 poseidon int : 14081/92000 (mem: 853.57 MiB)
16:44:31 overflow : 0/0 (mem: 853.57 MiB)
16:44:31 (mem: 853.57 MiB)
16:44:31 Total structured size: 242025 (mem: 853.57 MiB)
16:44:31 allocating polynomials object in proving key... (mem: 853.57 MiB)
16:44:32 [16:44:32.009]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 853.57 MiB)
16:44:32 [16:44:32.053]
INFO:
ivc-integration:test:native bb - time to construct proving key: 163 ms. (mem: 853.57 MiB)
16:44:32 [16:44:32.263]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61a3a4262280 (mem: 853.57 MiB)
16:44:32 [16:44:32.264]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 853.57 MiB)
16:44:32 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 853.57 MiB)
16:44:32 [16:44:32.671]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 853.57 MiB)
16:44:32 [16:44:32.802]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 853.57 MiB)
16:44:32 [16:44:32.879]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 855.02 MiB)
16:44:33 [16:44:33.289]
INFO:
ivc-integration:test:native bb - folded (mem: 855.02 MiB)
16:44:33 [16:44:33.291]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 855.02 MiB)
16:44:33 Largest circuit: 48490 gates. Trace details: (mem: 855.02 MiB)
16:44:33 Minimum required block sizes for structured trace: (mem: 855.02 MiB)
16:44:33 (mem: 855.02 MiB)
16:44:33 prove decider... (mem: 855.02 MiB)
16:44:33 [16:44:33.292]
INFO:
ivc-integration:test:native bb - ecc_op : 792
16:44:33 busread : 16
16:44:33 lookup : 2
16:44:33 pub_inputs : 36
16:44:33 arithmetic : 12080
16:44:33 delta_range : 2942
16:44:33 elliptic : 2
16:44:33 aux : 350
16:44:33 poseidon2_external : 4942
16:44:33 poseidon2_internal : 28160
16:44:33 overflow : 0
16:44:33 [16:44:33.581]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 855.02 MiB)
16:44:33 [16:44:33.777]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 855.02 MiB)
16:44:34 [16:44:34.715]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 855.02 MiB)
16:44:34 [16:44:34.811]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 855.02 MiB)
16:44:34 finished decider proving. (mem: 855.02 MiB)
16:44:34 [16:44:34.838]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a
16:44:34 [16:44:34.839]
INFO:
ivc-integration:test:native bb - (mem:
16:44:34 [16:44:34.840]
INFO:
ivc-integration:test:native bb - 855.02
16:44:34 [16:44:34.840]
INFO:
ivc-integration:test:native bb - MiB)
16:44:34 [16:44:34.971]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
16:44:34 [16:44:34.972]
INFO:
ivc-integration:test:native bb - (mem: 855.02 MiB)
16:44:34 [16:44:34.979]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 855.02 MiB)
16:44:35 [16:44:35.094]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 855.02 MiB)
16:44:35 [16:44:35.157]
INFO:
ivc-integration:test:native bb - time to construct proving key: 182 ms. (mem: 855.02 MiB)
16:44:36 [16:44:36.293]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 855.02 MiB)
16:44:36 [16:44:36.736]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 855.02 MiB)
16:44:36 [16:44:36.894]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 855.02 MiB)
16:44:37 [16:44:37.992]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 855.02 MiB)
16:44:38 [16:44:38.534]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 855.02 MiB)
16:44:38 [16:44:38.579]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 855.02 MiB)
16:44:38 finished decider proving. (mem: 855.02 MiB)
16:44:38 [16:44:38.580]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 855.02 MiB)
16:44:38 [16:44:38.738]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 855.02 MiB)
16:44:39 [16:44:39.258]
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: 855.02 MiB)
16:44:39 [16:44:39.294]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 855.02 MiB)
16:44:41 [16:44:41.411]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 855.02 MiB)
16:44:43 [16:44:43.133]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 855.02 MiB)
16:44:47 [16:44:47.299]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 855.02 MiB)
16:44:47 prove translator... (mem: 855.02 MiB)
16:44:50 [16:44:50.171]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 874.43 MiB)
16:44:51 [16:44:51.658]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 874.43 MiB)
16:44:53 [16:44:53.242]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 874.43 MiB)
16:44:53 finished translator proving. (mem: 874.43 MiB)
16:44:53 [16:44:53.244]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 874.43 MiB)
16:44:53 [16:44:53.261]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 874.43 MiB)
16:44:53 libra_evals_verified: 1 (mem: 874.43 MiB)
16:44:53 pairing_check_verified: 1 (mem: 874.43 MiB)
16:44:53 Mega verified: 1 (mem: 874.43 MiB)
16:44:53 [16:44:53.307]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 874.43 MiB)
16:44:53 batch opening verified?: 1 (mem: 874.43 MiB)
16:44:53 [16:44:53.308]
INFO:
ivc-integration:test:native bb - eccvm consistency check verified?: 1 (mem: 874.43 MiB)
16:44:53 translation masking consistency checked?: 1 (mem: 874.43 MiB)
16:44:53 [16:44:53.324]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 874.43 MiB)
16:44:53 eccvm verified?: 1 (mem: 874.43 MiB)
16:44:53 accumulator construction_verified?: 1 (mem: 874.43 MiB)
16:44:53 translation verified?: 1 (mem: 874.43 MiB)
16:44:53 consistency verified?: 1 (mem: 874.43 MiB)
16:44:53 [16:44:53.325]
INFO:
ivc-integration:test:native bb -
16:44:53 Goblin verified: 1 (mem: 874.43 MiB)
16:44:53 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-fmmR0G" (mem: 874.43 MiB)
16:44:53 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-fmmR0G" (mem: 874.43 MiB)
16:44:53 BN254 commitment key size: 262144 (mem: 874.43 MiB)
16:44:53 [16:44:53.327]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 874.43 MiB)
16:44:53 [16:44:53.330]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 874.43 MiB)
16:44:53 goblin ecc op : 4/1024
16:44:53 [16:44:53.330]
INFO:
ivc-integration:test:native bb - (mem: 874.43 MiB)
16:44:53 busread : 3/6000 (mem: 874.43 MiB)
16:44:53 lookups : 2/15000 (mem: 874.43 MiB)
16:44:53 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 874.43 MiB)
16:44:53 arithmetic : 1773/56000 (mem: 874.43 MiB)
16:44:53 delta range : 1754/18000 (mem: 874.43 MiB)
16:44:53 elliptic : 2/6000 (mem: 874.43 MiB)
16:44:53 auxiliary : 26/26000 (mem: 874.43 MiB)
16:44:53 poseidon ext : 2/17000 (mem: 874.43 MiB)
16:44:53 poseidon int : 2/92000 (mem: 874.43 MiB)
16:44:53 overflow : 0/0 (mem: 874.43 MiB)
16:44:53 (mem: 874.43 MiB)
16:44:53 Total structured size: 242025 (mem: 874.43 MiB)
16:44:53 allocating polynomials object in proving key... (mem: 874.43 MiB)
16:44:53 [16:44:53.383]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 874.43 MiB)
16:44:53 [16:44:53.389]
INFO:
ivc-integration:test:native bb - time to construct proving key: 62 ms. (mem: 874.43 MiB)
16:44:53 [16:44:53.415]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 874.43 MiB)
16:44:53 [16:44:53.998]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 874.43 MiB)
16:44:53 [16:44:53.998]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 874.43 MiB)
16:44:54 [16:44:54.386]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 874.43 MiB)
16:44:54 [16:44:54.399]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 874.43 MiB)
16:44:54 [16:44:54.415]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 874.43 MiB)
16:44:54 [16:44:54.420]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 874.43 MiB)
16:44:54 goblin ecc op : 56/1024 (mem: 874.43 MiB)
16:44:54 busread : 3/6000 (mem: 874.43 MiB)
16:44:54 lookups : 2/15000 (mem: 874.43 MiB)
16:44:54 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 874.43 MiB)
16:44:54 arithmetic : 4481/56000 (mem: 874.43 MiB)
16:44:54 delta range : 2041/18000 (mem: 874.43 MiB)
16:44:54 elliptic : 2/6000 (mem: 874.43 MiB)
16:44:54 auxiliary : 50/26000 (mem: 874.43 MiB)
16:44:54 poseidon ext : 1312/17000 (mem: 874.43 MiB)
16:44:54 poseidon int : 7469/92000 (mem: 874.43 MiB)
16:44:54 overflow : 0/0 (mem: 874.43 MiB)
16:44:54 (mem: 874.43 MiB)
16:44:54 Total structured size: 242025 (mem: 874.43 MiB)
16:44:54 allocating polynomials object in proving key... (mem: 874.43 MiB)
16:44:54 [16:44:54.510]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 874.43 MiB)
16:44:54 [16:44:54.542]
INFO:
ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 874.43 MiB)
16:44:54 [16:44:54.670]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 874.43 MiB)
16:44:55 [16:44:55.286]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 874.43 MiB)
16:44:55 [16:44:55.288]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 874.43 MiB)
16:44:55 [16:44:55.753]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 874.43 MiB)
16:44:55 [16:44:55.833]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 874.43 MiB)
16:44:55 [16:44:55.875]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 906.43 MiB)
16:44:56 [16:44:56.022]
INFO:
ivc-integration:test:native bb - folded (mem: 906.43 MiB)
16:44:56 constructed folding proof (mem: 906.43 MiB)
16:44:56 [16:44:56.023]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 906.43 MiB)
16:44:56 Minimum required block sizes for structured trace: (mem: 906.43 MiB)
16:44:56 (mem: 906.43 MiB)
16:44:56 prove decider... (mem: 906.43 MiB)
16:44:56 [16:44:56.024]
INFO:
ivc-integration:test:native bb - ecc_op : 56
16:44:56 busread : 3
16:44:56 lookup : 2
16:44:56 pub_inputs : 36
16:44:56 arithmetic : 4481
16:44:56 delta_range : 2041
16:44:56 elliptic : 2
16:44:56 aux : 50
16:44:56 poseidon2_external : 1312
16:44:56 poseidon2_internal : 7469
16:44:56 overflow : 0
16:44:56 [16:44:56.144]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 906.43 MiB)
16:44:56 [16:44:56.272]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 906.43 MiB)
16:44:56 [16:44:56.960]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 906.43 MiB)
16:44:57 [16:44:57.043]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 906.43 MiB)
16:44:57 finished decider proving. (mem: 906.43 MiB)
16:44:57 [16:44:57.055]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 906.43 MiB)
16:44:57 [16:44:57.158]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 906.43 MiB)
16:44:57 [16:44:57.164]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 906.43 MiB)
16:44:57 [16:44:57.280]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 906.43 MiB)
16:44:57 [16:44:57.308]
INFO:
ivc-integration:test:native bb - time to construct proving key: 150 ms. (mem: 906.43 MiB)
16:44:57 [16:44:57.691]
INFO:
ivc-integration:test:native BB concurrency: 1
16:44:57 [16:44:57.691]
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-fmmR0G/proof -k /tmp/bb-client-ivc-integration-fmmR0G/vk -v
16:44:57 [16:44:57.714]
INFO:
ivc-integration:test:native bb command: verify (mem: 187.12
16:44:57 [16:44:57.714]
INFO:
ivc-integration:test:native MiB)
16:44:57 Scheme is: client_ivc, num threads: 1 (mem: 187.12 MiB)
16:44:57 --proof_path: /tmp/bb-client-ivc-integration-fmmR0G/proof (mem: 187.12 MiB)
16:44:57 --vk_path: /tmp/bb-client-ivc-integration-fmmR0G/vk (mem: 187.12 MiB)
16:44:57 --verbose: true (mem: 187.12 MiB)
16:44:57 --scheme: client_ivc (mem: 187.12 MiB)
16:44:57 [16:44:57.738]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 187.12 MiB)
16:44:57 [16:44:57.763]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 187.12 MiB)
16:44:57 [16:44:57.764]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 187.12 MiB)
16:44:57 [16:44:57.780]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 187.12 MiB)
16:44:57 [16:44:57.781]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 187.12 MiB)
16:44:57 [16:44:57.782]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 187.12 MiB)
16:44:57 libra_evals_verified: 1 (mem: 187.12 MiB)
16:44:57 pairing_check_verified: 1 (mem: 187.12 MiB)
16:44:57 Mega verified: 1 (mem: 187.12 MiB)
16:44:58 [16:44:58.237]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 187.12 MiB)
16:44:58 batch opening verified?: 1 (mem: 187.12 MiB)
16:44:58 eccvm consistency check verified?: 1 (mem: 187.12 MiB)
16:44:58 translation masking consistency checked?: 1 (mem: 187.12 MiB)
16:44:58 [16:44:58.260]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 187.12 MiB)
16:44:58 eccvm verified?: 1 (mem: 187.12 MiB)
16:44:58 accumulator construction_verified?: 1 (mem: 187.12 MiB)
16:44:58 translation verified?: 1 (mem: 187.12 MiB)
16:44:58 consistency verified?: 1 (mem: 187.12 MiB)
16:44:58 [16:44:58.260]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 187.12 MiB)
16:44:58 [16:44:58.267]
INFO:
ivc-integration:test:native verified: 1 (mem: 187.12 MiB)
16:44:58
PASS src/native_client_ivc_integration.test.ts (
74.079 s)
16:44:58 Client IVC Integration
16:44:58
✓ Should generate a verifiable client IVC proof from a simple mock tx (36980 ms)
16:44:58
✓ Should generate a verifiable client IVC proof from a complex mock tx (33435 ms)
16:44:58
16:44:58
Test Suites: 1 passed, 1 total
16:44:58
Tests: 2 passed, 2 total
16:44:58
Snapshots: 0 total
16:44:58
Time: 74.161 s
16:44:58
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
16:44:58
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?