Parent Log:
http://ci.aztec-labs.com/f5e1a07a17e6d23e
Command: 48483af633053ffe: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/3b44f825dcd3249b2c8a1105905fa3394aa7213d
Env: REF_NAME=gh-readonly-queue/next/pr-15041-eeab628a4e44477cb6796c5a461ee0c0bb332d75 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 17:42:40 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15041_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
17:42:44 [17:42:44.631]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-wyzjXd/ivc-inputs.msgpack
17:42:44 [17:42:44.638]
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-wyzjXd --ivc_inputs_path /tmp/bb-client-ivc-integration-wyzjXd/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
17:42:44 [17:42:44.667]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 183.25 MiB)
17:42:44 Scheme is: client_ivc, num threads: 128 (mem: 183.25 MiB)
17:42:44 --scheme: client_ivc (mem: 183.25 MiB)
17:42:44 --output_path: /tmp/bb-client-ivc-integration-wyzjXd (mem: 183.25 MiB)
17:42:44 --ivc_inputs_path: /tmp/bb-client-ivc-integration-wyzjXd/ivc-inputs.msgpack (mem: 183.25 MiB)
17:42:44 --verbose: true (mem: 183.25 MiB)
17:42:44 --write_vk: true (mem: 183.25 MiB)
17:42:44 [17:42:44.668]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.25 MiB)
17:42:44 [17:42:44.782]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 247.00 MiB)
17:42:44 [17:42:44.874]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 295.84 MiB)
17:42:44 [17:42:44.879]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 295.84 MiB)
17:42:44 Constructing DeciderProvingKey (mem: 295.84 MiB)
17:42:44 [17:42:44.882]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 295.84 MiB)
17:42:44 goblin ecc op : 4/1024 (mem: 295.84 MiB)
17:42:44 busread : 7/6000 (mem: 295.84 MiB)
17:42:44 lookups : 2/15000 (mem: 295.84 MiB)
17:42:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 295.84 MiB)
17:42:44 arithmetic : 1760/56000 (mem: 295.84 MiB)
17:42:44 [17:42:44.883]
INFO:
ivc-integration:test:native bb - delta range : 1754/18000 (mem: 295.84 MiB)
17:42:44 elliptic : 2/6000 (mem: 295.84 MiB)
17:42:44 auxiliary : 26/26000 (mem: 295.84 MiB)
17:42:44 poseidon ext : 2/17000 (mem: 295.84 MiB)
17:42:44 poseidon int : 2/92000 (mem: 295.84 MiB)
17:42:44 overflow : 0/0 (mem: 295.84 MiB)
17:42:44 (mem: 295.84 MiB)
17:42:44 Total structured size: 242025 (mem: 295.84 MiB)
17:42:44 allocating polynomials object in proving key... (mem: 295.84 MiB)
17:42:44 [17:42:44.962]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 503.00 MiB)
17:42:44 [17:42:44.976]
INFO:
ivc-integration:test:native bb - time to construct proving key: 96 ms. (mem: 515.00 MiB)
17:42:45 [17:42:45.009]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cf7838bc600 (mem: 515.00 MiB)
17:42:45 computing oink proof... (mem: 515.00 MiB)
17:42:45 [17:42:45.011]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.00 MiB)
17:42:45 [17:42:45.249]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 525.00 MiB)
17:42:45 [17:42:45.260]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.00 MiB)
17:42:45 [17:42:45.278]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 525.00 MiB)
17:42:45 Constructing DeciderProvingKey (mem: 525.00 MiB)
17:42:45 [17:42:45.281]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.00 MiB)
17:42:45 goblin ecc op : 56/1024 (mem: 525.00 MiB)
17:42:45 busread : 12/6000 (mem: 525.00 MiB)
17:42:45 lookups : 2/15000 (mem: 525.00 MiB)
17:42:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.00
17:42:45 [17:42:45.282]
INFO:
ivc-integration:test:native bb - MiB)
17:42:45 arithmetic : 4625/56000 (mem: 525.00 MiB)
17:42:45 delta range : 2054/18000 (mem: 525.00 MiB)
17:42:45 elliptic : 2/6000 (mem: 525.00 MiB)
17:42:45 auxiliary : 110/26000 (mem: 525.00 MiB)
17:42:45 poseidon ext : 1302/17000 (mem: 525.00 MiB)
17:42:45 poseidon int : 7412/92000 (mem: 525.00 MiB)
17:42:45 overflow : 0/0 (mem: 525.00 MiB)
17:42:45 (mem: 525.00 MiB)
17:42:45 Total structured size: 242025 (mem: 525.00 MiB)
17:42:45 allocating polynomials object in proving key... (mem: 525.00 MiB)
17:42:45 [17:42:45.455]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 736.00 MiB)
17:42:45 [17:42:45.487]
INFO:
ivc-integration:test:native bb - time to construct proving key: 208 ms. (mem: 755.00 MiB)
17:42:45 [17:42:45.607]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cf7838c9280 (mem: 755.00 MiB)
17:42:45 computing folding proof (mem: 755.00 MiB)
17:42:45 [17:42:45.609]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 755.00 MiB)
17:42:46 [17:42:46.128]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 755.00 MiB)
17:42:46 [17:42:46.131]
INFO:
ivc-integration:test:native bb -
17:42:46 [17:42:46.232]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 792.00 MiB)
17:42:46 [17:42:46.295]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 824.00 MiB)
17:42:46 [17:42:46.800]
INFO:
ivc-integration:test:native bb - folded (mem: 824.00 MiB)
17:42:46 [17:42:46.802]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 824.00 MiB)
17:42:46 [17:42:46.815]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 824.00 MiB)
17:42:46 [17:42:46.906]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 824.00 MiB)
17:42:46 Constructing DeciderProvingKey (mem: 824.00 MiB)
17:42:46 [17:42:46.909]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 824.00 MiB)
17:42:46 [17:42:46.909]
INFO:
ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 824.00 MiB)
17:42:46 busread : 3/6000 (mem: 824.00 MiB)
17:42:46 lookups : 2/15000 (mem: 824.00 MiB)
17:42:46 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 824.00 MiB)
17:42:46 arithmetic : 6849/56000 (mem: 824.00 MiB)
17:42:46 delta range : 2333/18000 (mem: 824.00 MiB)
17:42:46 elliptic : 2/6000 (mem: 824.00 MiB)
17:42:46 auxiliary : 50/26000 (mem: 824.00 MiB)
17:42:46 poseidon ext : 2472/17000 (mem: 824.00 MiB)
17:42:46 poseidon int : 14081/92000 (mem: 824.00 MiB)
17:42:46 overflow : 0/0 (mem: 824.00 MiB)
17:42:46 (mem: 824.00 MiB)
17:42:46 Total structured size: 242025 (mem: 824.00 MiB)
17:42:46 allocating polynomials object in proving key... (mem: 824.00 MiB)
17:42:47 [17:42:47.123]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 824.00 MiB)
17:42:47 [17:42:47.182]
INFO:
ivc-integration:test:native bb - time to construct proving key: 278 ms. (mem: 824.00 MiB)
17:42:47 [17:42:47.350]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cf7838bed00 (mem: 824.00 MiB)
17:42:47 computing folding proof (mem: 824.00 MiB)
17:42:47 [17:42:47.352]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 824.00 MiB)
17:42:47 [17:42:47.890]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 824.00 MiB)
17:42:48 [17:42:48.060]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 824.00 MiB)
17:42:48 [17:42:48.093]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 824.00 MiB)
17:42:48 [17:42:48.638]
INFO:
ivc-integration:test:native bb - folded (mem: 824.00 MiB)
17:42:48 constructed folding proof (mem: 824.00 MiB)
17:42:48 [17:42:48.639]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 824.00 MiB)
17:42:48 Minimum required block sizes for structured trace: (mem: 824.00 MiB)
17:42:48 (mem: 824.00 MiB)
17:42:48 prove decider... (mem: 824.00 MiB)
17:42:48 [17:42:48.640]
INFO:
ivc-integration:test:native bb - ecc_op : 392
17:42:48 busread : 12
17:42:48 lookup : 2
17:42:48 pub_inputs : 36
17:42:48 arithmetic : 6849
17:42:48 delta_range : 2333
17:42:48 elliptic : 2
17:42:48 aux : 110
17:42:48 poseidon2_external : 2472
17:42:48 poseidon2_internal : 14081
17:42:48 overflow : 0
17:42:48 [17:42:48.819]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 824.00 MiB)
17:42:49 [17:42:49.003]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 824.00 MiB)
17:42:50 [17:42:50.147]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 824.00 MiB)
17:42:50 [17:42:50.252]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 824.00 MiB)
17:42:50 finished decider proving. (mem: 824.00 MiB)
17:42:50 [17:42:50.282]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 824.00 MiB)
17:42:50 [17:42:50.416]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 824.00 MiB)
17:42:50 [17:42:50.423]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 824.00 MiB)
17:42:50 [17:42:50.621]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 824.00 MiB)
17:42:50 [17:42:50.692]
INFO:
ivc-integration:test:native bb - time to construct proving key: 274 ms. (mem: 824.00 MiB)
17:42:51 [17:42:51.991]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93
17:42:52 [17:42:52.001]
INFO:
ivc-integration:test:native bb - (mem: 824.00 MiB)
17:42:52 [17:42:52.676]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 824.00 MiB)
17:42:52 [17:42:52.998]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 824.00 MiB)
17:42:54 [17:42:54.581]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck
17:42:54 [17:42:54.582]
INFO:
ivc-integration:test:native bb - (mem: 824.00 MiB)
17:42:55 [17:42:55.780]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 824.00 MiB)
17:42:55 [17:42:55.835]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 824.00 MiB)
17:42:55 finished decider proving. (mem: 824.00 MiB)
17:42:55 [17:42:55.839]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 824.00 MiB)
17:42:56 [17:42:56.074]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 824.00 MiB)
17:42:56 [17:42:56.578]
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.00 MiB)
17:42:56 [17:42:56.606]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 824.00 MiB)
17:42:58 [17:42:58.609]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 824.00 MiB)
17:43:01 [17:43:01.225]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 824.00 MiB)
17:43:05 [17:43:05.945]
INFO:
ivc-integration:test:native bb - finished eccvm proving.
17:43:05 [17:43:05.946]
INFO:
ivc-integration:test:native bb - (mem: 824.00 MiB)
17:43:05 prove translator... (mem: 824.00 MiB)
17:43:08 [17:43:08.561]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.34 MiB)
17:43:10 [17:43:10.856]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 848.34 MiB)
17:43:13 [17:43:13.563]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 848.34 MiB)
17:43:13 finished translator proving. (mem: 848.34 MiB)
17:43:13 [17:43:13.570]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 848.34 MiB)
17:43:13 [17:43:13.586]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 848.34 MiB)
17:43:13 libra_evals_verified: 1 (mem:
17:43:13 [17:43:13.587]
INFO:
ivc-integration:test:native bb - 848.34 MiB)
17:43:13 pairing_check_verified: 1 (mem: 848.34 MiB)
17:43:13 Mega verified: 1 (mem: 848.34 MiB)
17:43:13 [17:43:13.705]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 849.34 MiB)
17:43:13 batch opening verified?: 1 (mem: 849.34 MiB)
17:43:13 eccvm consistency check verified?: 1 (mem: 849.34 MiB)
17:43:13 translation masking consistency checked?: 1 (mem: 849.34 MiB)
17:43:13 [17:43:13.742]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 849.34 MiB)
17:43:13 eccvm verified?: 1 (mem: 849.34 MiB)
17:43:13 accumulator construction_verified?: 1 (mem: 849.34 MiB)
17:43:13 translation verified?: 1 (mem: 849.34 MiB)
17:43:13 consistency verified?: 1 (mem: 849.34 MiB)
17:43:13 Goblin verified: 1 (mem: 849.34 MiB)
17:43:13 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-wyzjXd" (mem: 849.34 MiB)
17:43:13 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-wyzjXd" (mem: 849.34 MiB)
17:43:13 BN254 commitment key size: 262144 (mem: 849.34 MiB)
17:43:13 [17:43:13.748]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.34 MiB)
17:43:13 [17:43:13.750]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.34 MiB)
17:43:13 [17:43:13.750]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 849.34 MiB)
17:43:13 busread : 3/6000 (mem: 849.34 MiB)
17:43:13 lookups : 2/15000 (mem: 849.34 MiB)
17:43:13 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 849.34 MiB)
17:43:13 arithmetic : 1773/56000 (mem: 849.34 MiB)
17:43:13 delta range : 1754/18000 (mem: 849.34 MiB)
17:43:13 elliptic : 2/6000 (mem: 849.34 MiB)
17:43:13 auxiliary : 26/26000 (mem: 849.34 MiB)
17:43:13 poseidon ext : 2/17000 (mem: 849.34 MiB)
17:43:13 poseidon int : 2/92000 (mem: 849.34 MiB)
17:43:13 overflow : 0/0 (mem: 849.34 MiB)
17:43:13 (mem: 849.34 MiB)
17:43:13 Total structured size: 242025 (mem: 849.34 MiB)
17:43:13 allocating polynomials object in proving key... (mem: 849.34 MiB)
17:43:14 [17:43:14.011]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 849.34 MiB)
17:43:14 [17:43:14.076]
INFO:
ivc-integration:test:native bb - time to construct proving key: 329 ms. (mem: 849.34 MiB)
17:43:14 [17:43:14.183]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.34 MiB)
17:43:15 [17:43:15.104]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 849.34 MiB)
17:43:15 [17:43:15.107]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.34 MiB)
17:43:15 [17:43:15.685]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 849.34 MiB)
17:43:15 [17:43:15.692]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.34 MiB)
17:43:15 [17:43:15.711]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.34 MiB)
17:43:15 [17:43:15.715]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.34 MiB)
17:43:15 goblin ecc op : 56/1024 (mem: 849.34 MiB)
17:43:15 busread : 3/6000 (mem: 849.34 MiB)
17:43:15 lookups : 2/15000 (mem: 849.34 MiB)
17:43:15 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 849.34 MiB)
17:43:15 arithmetic : 4481/56000 (mem: 849.34 MiB)
17:43:15 delta range : 2041/18000 (mem: 849.34 MiB)
17:43:15 elliptic : 2/6000 (mem: 849.34 MiB)
17:43:15 auxiliary : 50/26000 (mem: 849.34 MiB)
17:43:15 poseidon ext : 1312/17000 (mem: 849.34 MiB)
17:43:15 poseidon int : 7469/92000 (mem: 849.34 MiB)
17:43:15 overflow : 0/0 (mem: 849.34 MiB)
17:43:15 (mem: 849.34 MiB)
17:43:15 Total structured size: 242025 (mem: 849.34 MiB)
17:43:15 allocating polynomials object in proving key... (mem: 849.34 MiB)
17:43:16 [17:43:16.033]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 849.34 MiB)
17:43:16 [17:43:16.067]
INFO:
ivc-integration:test:native bb - time to construct proving key: 356 ms. (mem: 849.34 MiB)
17:43:16 [17:43:16.237]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.34 MiB)
17:43:17 [17:43:17.214]
INFO:
ivc-integration:test:native bb - computing folding proof
17:43:17 [17:43:17.215]
INFO:
ivc-integration:test:native bb - (mem:
17:43:17 [17:43:17.215]
INFO:
ivc-integration:test:native bb - 849.34
17:43:17 [17:43:17.215]
INFO:
ivc-integration:test:native bb - MiB)
17:43:17 [17:43:17.216]
INFO:
ivc-integration:test:native bb -
17:43:17 [17:43:17.217]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5
17:43:17 [17:43:17.219]
INFO:
ivc-integration:test:native bb - (mem: 849.34 MiB)
17:43:18 [17:43:18.157]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key
17:43:18 [17:43:18.159]
INFO:
ivc-integration:test:native bb - (mem: 849.34 MiB)
17:43:18 [17:43:18.285]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 851.34 MiB)
17:43:18 [17:43:18.352]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 883.34 MiB)
17:43:18 [17:43:18.935]
INFO:
ivc-integration:test:native bb - folded (mem: 883.34 MiB)
17:43:18 constructed folding proof (mem: 883.34
17:43:18 [17:43:18.936]
INFO:
ivc-integration:test:native bb - MiB)
17:43:18 Largest circuit: 15360 gates. Trace details: (mem: 883.34 MiB)
17:43:18 Minimum required block sizes for structured trace: (mem: 883.34 MiB)
17:43:18 (mem: 883.34 MiB)
17:43:18 prove decider... (mem: 883.34 MiB)
17:43:18 [17:43:18.936]
INFO:
ivc-integration:test:native bb - ecc_op : 56
17:43:18 busread : 3
17:43:18 lookup : 2
17:43:18 pub_inputs : 36
17:43:18 arithmetic : 4481
17:43:18 delta_range : 2041
17:43:18 elliptic : 2
17:43:18 aux : 50
17:43:18 poseidon2_external : 1312
17:43:18 poseidon2_internal : 7469
17:43:18 overflow : 0
17:43:19 [17:43:19.194]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 883.34 MiB)
17:43:19 [17:43:19.372]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 883.34 MiB)
17:43:20 [17:43:20.341]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 883.34 MiB)
17:43:20 [17:43:20.434]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 883.34 MiB)
17:43:20 finished decider proving. (mem: 883.34 MiB)
17:43:20 [17:43:20.447]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 883.34 MiB)
17:43:20 [17:43:20.566]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 883.34 MiB)
17:43:20 [17:43:20.572]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
17:43:20 [17:43:20.574]
INFO:
ivc-integration:test:native bb - (mem: 883.34 MiB)
17:43:20 [17:43:20.781]
INFO:
ivc-integration:test:native bb - populating trace... (mem:
17:43:20 [17:43:20.783]
INFO:
ivc-integration:test:native bb - 883.34 MiB)
17:43:20 [17:43:20.827]
INFO:
ivc-integration:test:native bb - time to construct proving key: 262 ms. (mem: 883.34 MiB)
17:43:21 [17:43:21.244]
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-wyzjXd/proof -k /tmp/bb-client-ivc-integration-wyzjXd/vk -v
17:43:21 [17:43:21.277]
INFO:
ivc-integration:test:native bb command: verify (mem: 183.25 MiB)
17:43:21 Scheme is: client_ivc, num threads: 128 (mem: 183.25 MiB)
17:43:21 --proof_path: /tmp/bb-client-ivc-integration-wyzjXd/proof (mem: 183.25 MiB)
17:43:21 --vk_path: /tmp/bb-client-ivc-integration-wyzjXd/vk (mem: 183.25 MiB)
17:43:21 --verbose: true (mem: 183.25 MiB)
17:43:21 --scheme: client_ivc (mem: 183.25 MiB)
17:43:21 [17:43:21.366]
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.25 MiB)
17:43:21 [17:43:21.387]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 183.25 MiB)
17:43:21 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 183.25 MiB)
17:43:21 [17:43:21.405]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.25 MiB)
17:43:21 [17:43:21.406]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 183.25 MiB)
17:43:21 [17:43:21.407]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 183.25 MiB)
17:43:21 libra_evals_verified: 1 (mem: 183.25 MiB)
17:43:21 pairing_check_verified: 1 (mem: 183.25 MiB)
17:43:21 Mega verified: 1 (mem: 183.25 MiB)
17:43:21 [17:43:21.477]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 185.82 MiB)
17:43:21 batch opening verified?: 1 (mem: 185.82 MiB)
17:43:21 eccvm consistency check verified?: 1 (mem: 185.82 MiB)
17:43:21 translation masking consistency checked?: 1 (mem: 185.82 MiB)
17:43:21 [17:43:21.496]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 185.82 MiB)
17:43:21 eccvm verified?: 1 (mem: 185.82 MiB)
17:43:21 accumulator construction_verified?: 1 (mem: 185.82 MiB)
17:43:21 translation verified?: 1 (mem: 185.82 MiB)
17:43:21 consistency verified?: 1 (mem: 185.82 MiB)
17:43:21 [17:43:21.497]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 185.82 MiB)
17:43:21 [17:43:21.501]
INFO:
ivc-integration:test:native verified: 1 (mem: 185.82 MiB)
17:43:21 [17:43:21.625]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-GqGhFj/ivc-inputs.msgpack
17:43:21 [17:43:21.628]
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-GqGhFj --ivc_inputs_path /tmp/bb-client-ivc-integration-GqGhFj/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
17:43:21 [17:43:21.651]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 186.23 MiB)
17:43:21 [17:43:21.653]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 186.23 MiB)
17:43:21 --scheme: client_ivc (mem: 186.23 MiB)
17:43:21 --output_path: /tmp/bb-client-ivc-integration-GqGhFj (mem: 186.23 MiB)
17:43:21 --ivc_inputs_path: /tmp/bb-client-ivc-integration-GqGhFj/ivc-inputs.msgpack (mem: 186.23 MiB)
17:43:21 --verbose: true (mem: 186.23 MiB)
17:43:21 --write_vk: true (mem: 186.23 MiB)
17:43:21 [17:43:21.657]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 186.23 MiB)
17:43:21 [17:43:21.761]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 246.00 MiB)
17:43:21 [17:43:21.843]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 294.27 MiB)
17:43:21 [17:43:21.847]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 294.27 MiB)
17:43:21 [17:43:21.848]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 294.27 MiB)
17:43:21 [17:43:21.852]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 294.27 MiB)
17:43:21 [17:43:21.853]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 294.27 MiB)
17:43:21 busread : 7/6000 (mem: 294.27 MiB)
17:43:21 lookups : 2/15000 (mem: 294.27 MiB)
17:43:21 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 294.27 MiB)
17:43:21 arithmetic : 1760/56000 (mem: 294.27 MiB)
17:43:21 delta range : 1754/18000 (mem: 294.27 MiB)
17:43:21 elliptic : 2/6000 (mem: 294.27 MiB)
17:43:21 auxiliary : 26/26000 (mem: 294.27 MiB)
17:43:21 poseidon ext : 2/17000 (mem: 294.27 MiB)
17:43:21 poseidon int : 2/92000 (mem: 294.27 MiB)
17:43:21 overflow : 0/0 (mem: 294.27 MiB)
17:43:21 (mem: 294.27 MiB)
17:43:21 Total structured size: 242025 (mem: 294.27 MiB)
17:43:21 allocating polynomials object in proving key... (mem: 294.27 MiB)
17:43:21 [17:43:21.951]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 502.39 MiB)
17:43:21 [17:43:21.959]
INFO:
ivc-integration:test:native bb - time to construct proving key: 112 ms. (mem: 521.39 MiB)
17:43:22 [17:43:22.198]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ee1334b440 (mem: 521.39 MiB)
17:43:22 computing oink proof... (mem: 521.39 MiB)
17:43:22 [17:43:22.202]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.39 MiB)
17:43:22 [17:43:22.442]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 530.39 MiB)
17:43:22 [17:43:22.450]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 531.39 MiB)
17:43:22 [17:43:22.467]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 531.39 MiB)
17:43:22 Constructing DeciderProvingKey (mem: 531.39 MiB)
17:43:22 [17:43:22.469]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 531.39 MiB)
17:43:22 goblin ecc op : 56/1024 (mem: 531.39 MiB)
17:43:22 busread : 12/6000 (mem: 531.39 MiB)
17:43:22 [17:43:22.470]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 531.39 MiB)
17:43:22 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 531.39 MiB)
17:43:22 arithmetic : 4625/56000 (mem: 531.39 MiB)
17:43:22 delta range : 2054/18000 (mem: 531.39 MiB)
17:43:22 elliptic : 2/6000 (mem: 531.39 MiB)
17:43:22 auxiliary : 110/26000 (mem: 531.39 MiB)
17:43:22 poseidon ext : 1302/17000 (mem: 531.39 MiB)
17:43:22 poseidon int : 7412/92000 (mem: 531.39 MiB)
17:43:22 overflow : 0/0 (mem: 531.39 MiB)
17:43:22 (mem: 531.39 MiB)
17:43:22 Total structured size: 242025 (mem: 531.39 MiB)
17:43:22 allocating polynomials object in proving key... (mem: 531.39 MiB)
17:43:22 [17:43:22.538]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 731.39 MiB)
17:43:22 [17:43:22.556]
INFO:
ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 748.39 MiB)
17:43:22 [17:43:22.611]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ee133546c0 (mem: 748.39 MiB)
17:43:22 computing folding proof (mem: 748.39 MiB)
17:43:22 [17:43:22.612]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 748.39 MiB)
17:43:23 [17:43:23.271]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.39 MiB)
17:43:23 [17:43:23.378]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 785.39 MiB)
17:43:23 [17:43:23.426]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.39 MiB)
17:43:23 [17:43:23.698]
INFO:
ivc-integration:test:native bb - folded (mem: 817.39 MiB)
17:43:23 constructed folding proof (mem: 817.39 MiB)
17:43:23 [17:43:23.701]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.39 MiB)
17:43:23 Constructing DeciderProvingKey (mem: 817.39 MiB)
17:43:23 [17:43:23.709]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.39 MiB)
17:43:23 goblin ecc op : 4/1024 (mem: 817.39 MiB)
17:43:23 busread : 7/6000 (mem: 817.39 MiB)
17:43:23 lookups : 2/15000 (mem: 817.39 MiB)
17:43:23 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 817.39 MiB)
17:43:23 arithmetic : 1760/56000 (mem: 817.39 MiB)
17:43:23 delta range : 1754/18000 (mem: 817.39 MiB)
17:43:23 elliptic : 2/6000 (mem: 817.39 MiB)
17:43:23 auxiliary : 26/26000 (mem: 817.39 MiB)
17:43:23 poseidon ext : 2/17000 (mem: 817.39 MiB)
17:43:23 poseidon int : 2/92000 (mem: 817.39 MiB)
17:43:23 overflow : 0/0 (mem: 817.39 MiB)
17:43:23 (mem: 817.39 MiB)
17:43:23 Total structured size: 242025 (mem: 817.39 MiB)
17:43:23 allocating polynomials object in proving key... (mem: 817.39 MiB)
17:43:23 [17:43:23.759]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.39 MiB)
17:43:23 [17:43:23.769]
INFO:
ivc-integration:test:native bb - time to construct proving key: 67 ms. (mem: 817.39 MiB)
17:43:23 [17:43:23.845]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ee1334bc80 (mem: 817.39 MiB)
17:43:23 computing folding proof (mem: 817.39 MiB)
17:43:23 [17:43:23.846]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 817.39 MiB)
17:43:24 [17:43:24.062]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.39 MiB)
17:43:24 [17:43:24.138]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 817.39 MiB)
17:43:24 [17:43:24.175]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.39 MiB)
17:43:24 [17:43:24.405]
INFO:
ivc-integration:test:native bb - folded (mem: 817.39 MiB)
17:43:24 constructed folding proof (mem: 817.39 MiB)
17:43:24 [17:43:24.414]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 817.39 MiB)
17:43:24 [17:43:24.474]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 817.39 MiB)
17:43:24 [17:43:24.556]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 817.39 MiB)
17:43:24 Constructing DeciderProvingKey (mem: 817.39 MiB)
17:43:24 [17:43:24.563]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.39 MiB)
17:43:24 goblin ecc op : 792/1024 (mem: 817.39 MiB)
17:43:24 busread : 12/6000 (mem: 817.39 MiB)
17:43:24 lookups : 2/15000 (mem: 817.39 MiB)
17:43:24 [17:43:24.564]
INFO:
ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 817.39 MiB)
17:43:24 arithmetic : 12080/56000 (mem: 817.39 MiB)
17:43:24 delta range : 2942/18000 (mem: 817.39 MiB)
17:43:24 elliptic : 2/6000 (mem: 817.39 MiB)
17:43:24 auxiliary : 350/26000 (mem: 817.39 MiB)
17:43:24 poseidon ext : 4942/17000 (mem: 817.39 MiB)
17:43:24 poseidon int : 28160/92000 (mem: 817.39 MiB)
17:43:24 overflow : 0/0 (mem: 817.39 MiB)
17:43:24 (mem: 817.39 MiB)
17:43:24 Total structured size: 242025 (mem: 817.39 MiB)
17:43:24 allocating polynomials object in proving key... (mem: 817.39 MiB)
17:43:24 [17:43:24.796]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.39 MiB)
17:43:24 [17:43:24.870]
INFO:
ivc-integration:test:native bb - time to construct proving key: 313 ms. (mem: 817.39 MiB)
17:43:24 [17:43:24.983]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ee133c8340 (mem: 817.39 MiB)
17:43:24 computing folding proof (mem: 817.39 MiB)
17:43:24 [17:43:24.983]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 817.39 MiB)
17:43:25 [17:43:25.318]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.39 MiB)
17:43:25 [17:43:25.426]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 817.39 MiB)
17:43:25 [17:43:25.480]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 848.82 MiB)
17:43:25 [17:43:25.759]
INFO:
ivc-integration:test:native bb - folded (mem: 848.82 MiB)
17:43:25 constructed folding proof (mem: 848.82 MiB)
17:43:25 [17:43:25.768]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 848.82 MiB)
17:43:25 [17:43:25.842]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 848.82 MiB)
17:43:25 Constructing DeciderProvingKey (mem: 848.82 MiB)
17:43:25 [17:43:25.847]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.82 MiB)
17:43:25 goblin ecc op : 392/1024 (mem: 848.82 MiB)
17:43:25 busread : 16/6000 (mem: 848.82 MiB)
17:43:25 [17:43:25.847]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 848.82 MiB)
17:43:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.82 MiB)
17:43:25 arithmetic : 6914/56000 (mem: 848.82 MiB)
17:43:25 delta range : 2347/18000 (mem: 848.82 MiB)
17:43:25 elliptic : 2/6000 (mem: 848.82 MiB)
17:43:25 auxiliary : 77/26000 (mem: 848.82 MiB)
17:43:25 poseidon ext : 2472/17000 (mem: 848.82 MiB)
17:43:25 poseidon int : 14081/92000 (mem: 848.82 MiB)
17:43:25 overflow : 0/0 (mem: 848.82 MiB)
17:43:25 (mem: 848.82 MiB)
17:43:25 Total structured size: 242025 (mem: 848.82 MiB)
17:43:25 allocating polynomials object in proving key... (mem: 848.82 MiB)
17:43:25 [17:43:25.936]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.82 MiB)
17:43:25 [17:43:25.966]
INFO:
ivc-integration:test:native bb - time to construct proving key: 123 ms.
17:43:25 [17:43:25.967]
INFO:
ivc-integration:test:native bb - (mem: 848.82 MiB)
17:43:26 [17:43:26.114]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ee133c2d40 (mem: 848.82 MiB)
17:43:26 computing folding proof (mem: 848.82 MiB)
17:43:26 [17:43:26.117]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 848.82 MiB)
17:43:26 [17:43:26.499]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 848.82 MiB)
17:43:26 [17:43:26.550]
INFO:
ivc-integration:test:native bb - perturbator round
17:43:26 [17:43:26.551]
INFO:
ivc-integration:test:native bb - (mem: 848.82 MiB)
17:43:26 [17:43:26.661]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 850.70 MiB)
17:43:26 [17:43:26.848]
INFO:
ivc-integration:test:native bb - folded (mem: 850.70 MiB)
17:43:26 constructed folding proof (mem: 850.70 MiB)
17:43:26 [17:43:26.862]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.70 MiB)
17:43:26 [17:43:26.932]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 850.70 MiB)
17:43:26 Constructing DeciderProvingKey (mem: 850.70 MiB)
17:43:26 [17:43:26.935]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
17:43:26 [17:43:26.936]
INFO:
ivc-integration:test:native bb - (mem:
17:43:26 [17:43:26.936]
INFO:
ivc-integration:test:native bb - 850.70
17:43:26 [17:43:26.937]
INFO:
ivc-integration:test:native bb - MiB)
17:43:26 [17:43:26.938]
INFO:
ivc-integration:test:native bb -
17:43:26 goblin ecc op : 392/1024 (mem: 850.70 MiB)
17:43:26 busread : 3/6000 (mem: 850.70 MiB)
17:43:26 lookups : 2/15000 (mem: 850.70 MiB)
17:43:26 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 850.70 MiB)
17:43:26 arithmetic : 6849/56000 (mem: 850.70 MiB)
17:43:26 delta range : 2333/18000 (mem: 850.70 MiB)
17:43:26 elliptic : 2/6000 (mem: 850.70 MiB)
17:43:26 auxiliary : 50/26000 (mem: 850.70 MiB)
17:43:26 poseidon ext : 2472/17000 (mem: 850.70 MiB)
17:43:26 poseidon int : 14081/92000 (mem: 850.70 MiB)
17:43:26 overflow : 0/0 (mem: 850.70 MiB)
17:43:26 (mem: 850.70 MiB)
17:43:26 Total structured size: 242025 (mem: 850.70 MiB)
17:43:26 allocating polynomials object in proving key... (mem: 850.70 MiB)
17:43:27 [17:43:27.055]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 850.70 MiB)
17:43:27 [17:43:27.095]
INFO:
ivc-integration:test:native bb - time to construct proving key: 163 ms. (mem: 850.70 MiB)
17:43:27 [17:43:27.336]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ee13359fc0 (mem: 850.70 MiB)
17:43:27 computing folding proof (mem: 850.70 MiB)
17:43:27 [17:43:27.337]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 850.70 MiB)
17:43:27 [17:43:27.863]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.70 MiB)
17:43:27 [17:43:27.969]
INFO:
ivc-integration:test:native bb - perturbator round
17:43:27 [17:43:27.972]
INFO:
ivc-integration:test:native bb - (mem: 850.70 MiB)
17:43:28 [17:43:28.031]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 850.70 MiB)
17:43:28 [17:43:28.376]
INFO:
ivc-integration:test:native bb - folded (mem: 850.70 MiB)
17:43:28 constructed folding proof (mem: 850.70 MiB)
17:43:28 Largest circuit: 48490 gates. Trace details: (mem: 850.70 MiB)
17:43:28 Minimum required block sizes for structured trace: (mem: 850.70 MiB)
17:43:28 (mem: 850.70 MiB)
17:43:28 prove decider... (mem: 850.70 MiB)
17:43:28 [17:43:28.381]
INFO:
ivc-integration:test:native bb - ecc_op : 792
17:43:28 busread : 16
17:43:28 lookup : 2
17:43:28 pub_inputs : 36
17:43:28 arithmetic : 12080
17:43:28 delta_range : 2942
17:43:28 elliptic : 2
17:43:28 aux : 350
17:43:28 poseidon2_external : 4942
17:43:28 poseidon2_internal : 28160
17:43:28 overflow : 0
17:43:28 [17:43:28.545]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.70 MiB)
17:43:28 [17:43:28.661]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 850.70 MiB)
17:43:29 [17:43:29.323]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.70 MiB)
17:43:29 [17:43:29.400]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 850.70 MiB)
17:43:29 finished decider proving. (mem: 850.70 MiB)
17:43:29 [17:43:29.412]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 850.70 MiB)
17:43:29 [17:43:29.512]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.70 MiB)
17:43:29 [17:43:29.517]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 850.70 MiB)
17:43:29 [17:43:29.624]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 850.70 MiB)
17:43:29 [17:43:29.681]
INFO:
ivc-integration:test:native bb - time to construct proving key: 169 ms.
17:43:29 [17:43:29.683]
INFO:
ivc-integration:test:native bb - (mem: 850.70 MiB)
17:43:30 [17:43:30.431]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 850.70 MiB)
17:43:30 [17:43:30.849]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 850.70 MiB)
17:43:31 [17:43:31.073]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
17:43:31 [17:43:31.074]
INFO:
ivc-integration:test:native bb - (mem: 850.70 MiB)
17:43:31 [17:43:31.760]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.70 MiB)
17:43:32 [17:43:32.632]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.70 MiB)
17:43:32 [17:43:32.659]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 850.70 MiB)
17:43:32 finished decider proving. (mem: 850.70 MiB)
17:43:32 [17:43:32.660]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 850.70 MiB)
17:43:32 [17:43:32.839]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 850.70 MiB)
17:43:33 [17:43:33.226]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 850.70 MiB)
17:43:33 [17:43:33.240]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 850.70 MiB)
17:43:35 [17:43:35.496]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.70 MiB)
17:43:37 [17:43:37.685]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.70 MiB)
17:43:42 [17:43:42.516]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 850.70 MiB)
17:43:42 prove translator... (mem: 850.70 MiB)
17:43:46 [17:43:46.116]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 875.52 MiB)
17:43:47 [17:43:47.402]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
17:43:47 [17:43:47.403]
INFO:
ivc-integration:test:native bb - (mem: 876.52 MiB)
17:43:48 [17:43:48.596]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 876.52 MiB)
17:43:48 [17:43:48.597]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 876.52 MiB)
17:43:48 [17:43:48.600]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 876.52 MiB)
17:43:48 [17:43:48.618]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 876.52 MiB)
17:43:48 libra_evals_verified: 1 (mem: 876.52 MiB)
17:43:48 [17:43:48.618]
INFO:
ivc-integration:test:native bb - pairing_check_verified: 1 (mem: 876.52 MiB)
17:43:48 Mega verified: 1 (mem: 876.52 MiB)
17:43:48 [17:43:48.681]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 876.52 MiB)
17:43:48 batch opening verified?: 1 (mem: 876.52 MiB)
17:43:48 eccvm consistency check verified?: 1 (mem: 876.52 MiB)
17:43:48 translation masking consistency checked?: 1 (mem: 876.52 MiB)
17:43:48 [17:43:48.701]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 876.52 MiB)
17:43:48 eccvm verified?: 1 (mem: 876.52 MiB)
17:43:48 accumulator construction_verified?: 1 (mem: 876.52 MiB)
17:43:48 translation verified?: 1 (mem: 876.52 MiB)
17:43:48 consistency verified?: 1 (mem: 876.52 MiB)
17:43:48 Goblin verified: 1 (mem: 876.52 MiB)
17:43:48 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-GqGhFj" (mem: 876.52 MiB)
17:43:48 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-GqGhFj" (mem: 876.52 MiB)
17:43:48 BN254 commitment key size: 262144 (mem: 876.52 MiB)
17:43:48 [17:43:48.704]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 876.52 MiB)
17:43:48 [17:43:48.709]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 876.52 MiB)
17:43:48 goblin ecc op : 4/1024 (mem: 876.52 MiB)
17:43:48 busread : 3/6000 (mem: 876.52 MiB)
17:43:48 lookups : 2/15000 (mem: 876.52 MiB)
17:43:48 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 876.52 MiB)
17:43:48 arithmetic : 1773/56000 (mem: 876.52 MiB)
17:43:48 delta range : 1754/18000 (mem: 876.52 MiB)
17:43:48 elliptic : 2/6000 (mem: 876.52 MiB)
17:43:48 auxiliary : 26/26000 (mem: 876.52 MiB)
17:43:48 poseidon ext : 2/17000 (mem: 876.52 MiB)
17:43:48 poseidon int : 2/92000 (mem: 876.52 MiB)
17:43:48 overflow : 0/0 (mem: 876.52 MiB)
17:43:48 [17:43:48.710]
INFO:
ivc-integration:test:native bb - (mem: 876.52 MiB)
17:43:48 Total structured size: 242025 (mem: 876.52 MiB)
17:43:48 allocating polynomials object in proving key... (mem: 876.52 MiB)
17:43:49 [17:43:49.004]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 876.52 MiB)
17:43:49 [17:43:49.017]
INFO:
ivc-integration:test:native bb - time to construct proving key: 312 ms. (mem: 876.52 MiB)
17:43:49 [17:43:49.056]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 876.52 MiB)
17:43:49 [17:43:49.620]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 876.52 MiB)
17:43:49 [17:43:49.621]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 876.52 MiB)
17:43:49 [17:43:49.710]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 876.52 MiB)
17:43:49 [17:43:49.718]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 876.52 MiB)
17:43:49 [17:43:49.730]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 876.52 MiB)
17:43:49 [17:43:49.732]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 876.52 MiB)
17:43:49 goblin ecc op : 56/1024 (mem: 876.52 MiB)
17:43:49 busread : 3/6000 (mem: 876.52 MiB)
17:43:49 lookups : 2/15000 (mem: 876.52 MiB)
17:43:49 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 876.52 MiB)
17:43:49 arithmetic : 4481/56000 (mem: 876.52 MiB)
17:43:49 delta range : 2041/18000 (mem: 876.52 MiB)
17:43:49 elliptic : 2/6000 (mem: 876.52 MiB)
17:43:49 auxiliary : 50/26000 (mem: 876.52 MiB)
17:43:49 poseidon ext : 1312/17000 (mem: 876.52 MiB)
17:43:49 poseidon int : 7469/92000 (mem: 876.52 MiB)
17:43:49 overflow : 0/0 (mem: 876.52 MiB)
17:43:49 (mem: 876.52 MiB)
17:43:49 [17:43:49.733]
INFO:
ivc-integration:test:native bb - Total structured size: 242025 (mem: 876.52 MiB)
17:43:49 allocating polynomials object in proving key... (mem: 876.52 MiB)
17:43:49 [17:43:49.806]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 876.52 MiB)
17:43:49 [17:43:49.818]
INFO:
ivc-integration:test:native bb - time to construct proving key: 88 ms. (mem: 876.52 MiB)
17:43:49 [17:43:49.849]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 876.52 MiB)
17:43:50 [17:43:50.186]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 876.52 MiB)
17:43:50 [17:43:50.187]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 876.52 MiB)
17:43:50 [17:43:50.618]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 876.52 MiB)
17:43:50 [17:43:50.710]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 876.52 MiB)
17:43:50 [17:43:50.753]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 908.52 MiB)
17:43:50 [17:43:50.865]
INFO:
ivc-integration:test:native bb - folded (mem: 908.52 MiB)
17:43:50 constructed folding proof (mem: 908.52 MiB)
17:43:50 [17:43:50.866]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 908.52 MiB)
17:43:50 Minimum required block sizes for structured trace: (mem: 908.52 MiB)
17:43:50 (mem: 908.52 MiB)
17:43:50 prove decider... (mem: 908.52 MiB)
17:43:50 [17:43:50.867]
INFO:
ivc-integration:test:native bb - ecc_op : 56
17:43:50 busread : 3
17:43:50 lookup : 2
17:43:50 pub_inputs : 36
17:43:50 arithmetic : 4481
17:43:50 delta_range : 2041
17:43:50 elliptic : 2
17:43:50 aux : 50
17:43:50 poseidon2_external : 1312
17:43:50 poseidon2_internal : 7469
17:43:50 overflow : 0
17:43:50 [17:43:50.929]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 908.52 MiB)
17:43:50 [17:43:50.994]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 908.52 MiB)
17:43:51 [17:43:51.334]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 908.52 MiB)
17:43:51 [17:43:51.379]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 908.52 MiB)
17:43:51 finished decider proving. (mem: 908.52 MiB)
17:43:51 [17:43:51.388]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 908.52 MiB)
17:43:51 [17:43:51.461]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 908.52 MiB)
17:43:51 [17:43:51.464]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 908.52 MiB)
17:43:51 [17:43:51.491]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 908.52 MiB)
17:43:51 [17:43:51.518]
INFO:
ivc-integration:test:native bb - time to construct proving key: 56 ms. (mem: 908.52 MiB)
17:43:51 [17:43:51.805]
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-GqGhFj/proof -k /tmp/bb-client-ivc-integration-GqGhFj/vk -v
17:43:51 [17:43:51.824]
INFO:
ivc-integration:test:native bb command: verify (mem:
17:43:51 [17:43:51.825]
INFO:
ivc-integration:test:native 190.20 MiB)
17:43:51 Scheme is: client_ivc, num threads: 128 (mem: 190.20 MiB)
17:43:51 --proof_path: /tmp/bb-client-ivc-integration-GqGhFj/proof (mem: 190.20 MiB)
17:43:51 --vk_path: /tmp/bb-client-ivc-integration-GqGhFj/vk (mem: 190.20 MiB)
17:43:51 --verbose: true (mem: 190.20 MiB)
17:43:51 --scheme: client_ivc (mem: 190.20 MiB)
17:43:51 [17:43:51.913]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 190.20 MiB)
17:43:51 [17:43:51.932]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 190.20 MiB)
17:43:51 [17:43:51.933]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 190.20 MiB)
17:43:51 [17:43:51.947]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 190.20 MiB)
17:43:51 [17:43:51.948]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 190.20 MiB)
17:43:51 [17:43:51.948]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 190.20 MiB)
17:43:51 libra_evals_verified: 1 (mem: 190.20 MiB)
17:43:51 pairing_check_verified: 1 (mem: 190.20 MiB)
17:43:51 Mega verified: 1 (mem: 190.20 MiB)
17:43:52 [17:43:52.005]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 190.20 MiB)
17:43:52 batch opening verified?: 1 (mem: 190.20 MiB)
17:43:52 eccvm consistency check verified?: 1 (mem: 190.20 MiB)
17:43:52 translation masking consistency checked?: 1 (mem: 190.20 MiB)
17:43:52 [17:43:52.020]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 190.20 MiB)
17:43:52 eccvm verified?: 1 (mem: 190.20 MiB)
17:43:52 accumulator construction_verified?: 1 (mem: 190.20 MiB)
17:43:52 translation verified?: 1 (mem: 190.20 MiB)
17:43:52 consistency verified?: 1 (mem: 190.20 MiB)
17:43:52 Goblin verified: 1 (mem: 190.20 MiB)
17:43:52 [17:43:52.024]
INFO:
ivc-integration:test:native verified: 1 (mem: 190.20 MiB)
17:43:52
PASS src/native_client_ivc_integration.test.ts (
71.176 s)
17:43:52 Client IVC Integration
17:43:52
✓ Should generate a verifiable client IVC proof from a simple mock tx (36963 ms)
17:43:52
✓ Should generate a verifiable client IVC proof from a complex mock tx (30516 ms)
17:43:52
17:43:52
Test Suites: 1 passed, 1 total
17:43:52
Tests: 2 passed, 2 total
17:43:52
Snapshots: 0 total
17:43:52
Time: 71.292 s
17:43:52
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
17:43:52
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?