Parent Log:
http://ci.aztec-labs.com/16bd7f8bf151b42a
Command: d2b17a71056754a7: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/e1fded96333f986cee2b82440cf35579c6335754
Env: REF_NAME=release-please--branches--next CURRENT_VERSION=0.88.0 CI_FULL=0
Date: Mon Jun 16 23:16:30 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=release-please--branches--next_amd64
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
23:16:33 [23:16:33.950]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-pbJkNQ/ivc-inputs.msgpack
23:16:33 [23:16:33.957]
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-pbJkNQ --ivc_inputs_path /tmp/bb-client-ivc-integration-pbJkNQ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
23:16:33 [23:16:33.976]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 178.98 MiB)
23:16:33 [23:16:33.978]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 178.98 MiB)
23:16:33 --scheme: client_ivc (mem: 178.98 MiB)
23:16:33 --output_path: /tmp/bb-client-ivc-integration-pbJkNQ (mem: 178.98 MiB)
23:16:33 --ivc_inputs_path: /tmp/bb-client-ivc-integration-pbJkNQ/ivc-inputs.msgpack (mem: 178.98 MiB)
23:16:33 --verbose: true (mem: 178.98 MiB)
23:16:33 --write_vk: true (mem: 178.98 MiB)
23:16:33 BN254 commitment key size: 262144 (mem: 178.98 MiB)
23:16:34 [23:16:34.062]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.00 MiB)
23:16:34 [23:16:34.132]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 302.57 MiB)
23:16:34 [23:16:34.136]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 302.57 MiB)
23:16:34 Constructing DeciderProvingKey (mem: 302.57 MiB)
23:16:34 [23:16:34.140]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 302.57 MiB)
23:16:34 goblin ecc op : 4/1024 (mem: 302.57 MiB)
23:16:34 busread : 7/6000 (mem: 302.57 MiB)
23:16:34 [23:16:34.141]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 302.57 MiB)
23:16:34 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 302.57 MiB)
23:16:34 arithmetic : 1760/56000 (mem: 302.57 MiB)
23:16:34 delta range : 1754/18000 (mem: 302.57 MiB)
23:16:34 elliptic : 2/6000 (mem: 302.57 MiB)
23:16:34 auxiliary : 26/26000 (mem: 302.57 MiB)
23:16:34 poseidon ext : 2/17000 (mem: 302.57 MiB)
23:16:34 poseidon int : 2/92000 (mem: 302.57 MiB)
23:16:34 overflow : 0/0 (mem: 302.57 MiB)
23:16:34 (mem: 302.57 MiB)
23:16:34 Total structured size: 242025 (mem: 302.57 MiB)
23:16:34 allocating polynomials object in proving key... (mem: 302.57 MiB)
23:16:34 [23:16:34.190]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 502.73 MiB)
23:16:34 [23:16:34.199]
INFO:
ivc-integration:test:native bb - time to construct proving key: 62 ms. (mem: 518.73 MiB)
23:16:34 [23:16:34.227]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6476dbc0b600 (mem: 518.73 MiB)
23:16:34 computing oink proof...
23:16:34 [23:16:34.227]
INFO:
ivc-integration:test:native bb - (mem: 518.73 MiB)
23:16:34 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.73 MiB)
23:16:34 [23:16:34.335]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 527.73 MiB)
23:16:34 [23:16:34.343]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 527.73 MiB)
23:16:34 [23:16:34.359]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 527.73 MiB)
23:16:34 Constructing DeciderProvingKey (mem: 527.73 MiB)
23:16:34 [23:16:34.362]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 527.73 MiB)
23:16:34 goblin ecc op : 56/1024 (mem: 527.73 MiB)
23:16:34 busread : 12/6000 (mem: 527.73 MiB)
23:16:34 [23:16:34.363]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 527.73 MiB)
23:16:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 527.73 MiB)
23:16:34 arithmetic : 4625/56000 (mem: 527.73 MiB)
23:16:34 delta range : 2054/18000 (mem: 527.73 MiB)
23:16:34 elliptic : 2/6000 (mem: 527.73 MiB)
23:16:34 auxiliary : 110/26000 (mem: 527.73 MiB)
23:16:34 poseidon ext : 1302/17000 (mem: 527.73 MiB)
23:16:34 poseidon int : 7412/92000 (mem: 527.73 MiB)
23:16:34 overflow : 0/0 (mem: 527.73 MiB)
23:16:34 (mem: 527.73 MiB)
23:16:34 Total structured size: 242025 (mem: 527.73 MiB)
23:16:34 allocating polynomials object in proving key... (mem: 527.73 MiB)
23:16:34 [23:16:34.430]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 729.73 MiB)
23:16:34 [23:16:34.446]
INFO:
ivc-integration:test:native bb - time to construct proving key: 87 ms. (mem: 743.73 MiB)
23:16:34 [23:16:34.478]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6476dbc18280 (mem: 743.73 MiB)
23:16:34 computing folding proof (mem: 743.73 MiB)
23:16:34 [23:16:34.479]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 743.73 MiB)
23:16:34 [23:16:34.680]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 743.73 MiB)
23:16:34 [23:16:34.749]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 780.73 MiB)
23:16:34 [23:16:34.791]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 813.73 MiB)
23:16:34 [23:16:34.953]
INFO:
ivc-integration:test:native bb - folded (mem: 813.73 MiB)
23:16:34 constructed folding proof (mem: 813.73 MiB)
23:16:34 [23:16:34.961]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 813.73 MiB)
23:16:35 [23:16:35.018]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 813.73 MiB)
23:16:35 Constructing DeciderProvingKey (mem: 813.73 MiB)
23:16:35 [23:16:35.021]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 813.73 MiB)
23:16:35 goblin ecc op : 392/1024 (mem: 813.73 MiB)
23:16:35 busread : 3/6000 (mem: 813.73 MiB)
23:16:35 lookups : 2/15000 (mem: 813.73 MiB)
23:16:35 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 813.73 MiB)
23:16:35 [23:16:35.023]
INFO:
ivc-integration:test:native bb - arithmetic : 6849/56000 (mem: 813.73 MiB)
23:16:35 delta range : 2333/18000 (mem: 813.73 MiB)
23:16:35 elliptic : 2/6000 (mem: 813.73 MiB)
23:16:35 auxiliary : 50/26000 (mem: 813.73 MiB)
23:16:35 poseidon ext : 2472/17000 (mem: 813.73 MiB)
23:16:35 poseidon int : 14081/92000 (mem: 813.73 MiB)
23:16:35 overflow : 0/0 (mem: 813.73 MiB)
23:16:35 (mem: 813.73 MiB)
23:16:35 Total structured size: 242025 (mem: 813.73 MiB)
23:16:35 allocating polynomials object in proving key... (mem: 813.73 MiB)
23:16:35 [23:16:35.088]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 813.73 MiB)
23:16:35 [23:16:35.109]
INFO:
ivc-integration:test:native bb - time to construct proving key: 89 ms. (mem: 813.73 MiB)
23:16:35 [23:16:35.193]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6476dbc08480 (mem: 813.73 MiB)
23:16:35 computing folding proof (mem: 813.73 MiB)
23:16:35 [23:16:35.194]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 813.73 MiB)
23:16:35 [23:16:35.436]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 813.73 MiB)
23:16:35 [23:16:35.496]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 813.73 MiB)
23:16:35 [23:16:35.524]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 813.73 MiB)
23:16:35 [23:16:35.822]
INFO:
ivc-integration:test:native bb - folded (mem: 813.73 MiB)
23:16:35 constructed folding proof (mem: 813.73 MiB)
23:16:35 [23:16:35.823]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 813.73 MiB)
23:16:35 Minimum required block sizes for structured trace: (mem: 813.73 MiB)
23:16:35 (mem: 813.73 MiB)
23:16:35 prove decider... (mem: 813.73 MiB)
23:16:35 [23:16:35.823]
INFO:
ivc-integration:test:native bb - ecc_op : 392
23:16:35 busread : 12
23:16:35 lookup : 2
23:16:35 pub_inputs : 36
23:16:35 arithmetic : 6849
23:16:35 delta_range : 2333
23:16:35 elliptic : 2
23:16:35 aux : 110
23:16:35 poseidon2_external : 2472
23:16:35 poseidon2_internal : 14081
23:16:35 overflow : 0
23:16:35 [23:16:35.912]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 813.73 MiB)
23:16:35 [23:16:35.985]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 813.73 MiB)
23:16:36 [23:16:36.557]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 813.73 MiB)
23:16:36 [23:16:36.628]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 813.73 MiB)
23:16:36 finished decider proving. (mem: 813.73 MiB)
23:16:36 [23:16:36.650]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 813.73 MiB)
23:16:36 [23:16:36.757]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 813.73 MiB)
23:16:36 [23:16:36.766]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 813.73 MiB)
23:16:36 [23:16:36.818]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 813.73 MiB)
23:16:36 [23:16:36.853]
INFO:
ivc-integration:test:native bb - time to construct proving key: 92 ms. (mem: 813.73 MiB)
23:16:37 [23:16:37.330]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 813.73 MiB)
23:16:37 [23:16:37.652]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 813.73 MiB)
23:16:37 [23:16:37.775]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 813.73 MiB)
23:16:38 [23:16:38.285]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 813.73 MiB)
23:16:38 [23:16:38.629]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 813.73 MiB)
23:16:38 [23:16:38.650]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 813.73 MiB)
23:16:38 finished decider proving. (mem: 813.73 MiB)
23:16:38 [23:16:38.650]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 813.73 MiB)
23:16:38 [23:16:38.726]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 813.73 MiB)
23:16:38 [23:16:38.967]
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: 813.73 MiB)
23:16:38 [23:16:38.993]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 813.73 MiB)
23:16:40 [23:16:40.058]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 813.73 MiB)
23:16:41 [23:16:41.765]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 813.73 MiB)
23:16:43 [23:16:43.986]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 813.73 MiB)
23:16:43 [23:16:43.987]
INFO:
ivc-integration:test:native bb - prove translator... (mem: 813.73 MiB)
23:16:45 [23:16:45.677]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.33 MiB)
23:16:46 [23:16:46.836]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 848.33 MiB)
23:16:47 [23:16:47.777]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 848.33 MiB)
23:16:47 [23:16:47.778]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 848.33 MiB)
23:16:47 [23:16:47.784]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 848.33 MiB)
23:16:47 [23:16:47.797]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 848.33 MiB)
23:16:47 libra_evals_verified: 1 (mem: 848.33 MiB)
23:16:47 pairing_check_verified: 1 (mem: 848.33 MiB)
23:16:47 Mega verified: 1 (mem: 848.33 MiB)
23:16:47 [23:16:47.865]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 849.33 MiB)
23:16:47 batch opening verified?: 1 (mem: 849.33 MiB)
23:16:47 eccvm consistency check verified?: 1 (mem: 849.33 MiB)
23:16:47 translation masking consistency checked?: 1 (mem: 849.33 MiB)
23:16:47 [23:16:47.880]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 849.33 MiB)
23:16:47 eccvm verified?: 1 (mem: 849.33 MiB)
23:16:47 accumulator construction_verified?: 1 (mem: 849.33 MiB)
23:16:47 [23:16:47.881]
INFO:
ivc-integration:test:native bb - translation verified?: 1 (mem: 849.33 MiB)
23:16:47 consistency verified?: 1 (mem: 849.33 MiB)
23:16:47 Goblin verified: 1 (mem: 849.33 MiB)
23:16:47 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-pbJkNQ" (mem: 849.33 MiB)
23:16:47 [23:16:47.881]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-pbJkNQ" (mem: 849.33 MiB)
23:16:47 BN254 commitment key size: 262144 (mem: 849.33 MiB)
23:16:47 [23:16:47.884]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.33 MiB)
23:16:47 [23:16:47.886]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.33 MiB)
23:16:47 goblin ecc op : 4/1024 (mem: 849.33 MiB)
23:16:47 busread : 3/6000 (mem: 849.33 MiB)
23:16:47 lookups : 2/15000 (mem: 849.33 MiB)
23:16:47 [23:16:47.887]
INFO:
ivc-integration:test:native bb -
23:16:47 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 849.33 MiB)
23:16:47 arithmetic : 1773/56000 (mem: 849.33 MiB)
23:16:47 delta range : 1754/18000 (mem: 849.33 MiB)
23:16:47 elliptic : 2/6000 (mem: 849.33 MiB)
23:16:47 auxiliary : 26/26000 (mem: 849.33 MiB)
23:16:47 poseidon ext : 2/17000 (mem: 849.33 MiB)
23:16:47 poseidon int : 2/92000 (mem: 849.33 MiB)
23:16:47 overflow : 0/0 (mem: 849.33 MiB)
23:16:47 (mem: 849.33 MiB)
23:16:47 Total structured size: 242025 (mem: 849.33 MiB)
23:16:47 allocating polynomials object in proving key... (mem: 849.33 MiB)
23:16:47 [23:16:47.930]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 849.33 MiB)
23:16:47 [23:16:47.937]
INFO:
ivc-integration:test:native bb - time to construct proving key: 53 ms. (mem: 849.33 MiB)
23:16:47 [23:16:47.962]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.33 MiB)
23:16:48 [23:16:48.356]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 849.33 MiB)
23:16:48 [23:16:48.357]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.33 MiB)
23:16:48 [23:16:48.476]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 849.33 MiB)
23:16:48 [23:16:48.485]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.33 MiB)
23:16:48 [23:16:48.499]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.33 MiB)
23:16:48 [23:16:48.502]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.33 MiB)
23:16:48 goblin ecc op : 56/1024
23:16:48 [23:16:48.502]
INFO:
ivc-integration:test:native bb - (mem: 849.33 MiB)
23:16:48 busread : 3/6000 (mem: 849.33 MiB)
23:16:48 lookups : 2/15000 (mem: 849.33 MiB)
23:16:48 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 849.33 MiB)
23:16:48 arithmetic : 4481/56000 (mem: 849.33 MiB)
23:16:48 delta range : 2041/18000 (mem: 849.33 MiB)
23:16:48 elliptic : 2/6000 (mem: 849.33 MiB)
23:16:48 auxiliary : 50/26000 (mem: 849.33 MiB)
23:16:48 poseidon ext : 1312/17000 (mem: 849.33 MiB)
23:16:48 poseidon int : 7469/92000 (mem: 849.33 MiB)
23:16:48 overflow : 0/0 (mem: 849.33 MiB)
23:16:48 (mem: 849.33 MiB)
23:16:48 Total structured size: 242025 (mem: 849.33 MiB)
23:16:48 allocating polynomials object in proving key... (mem: 849.33 MiB)
23:16:48 [23:16:48.559]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 849.33 MiB)
23:16:48 [23:16:48.575]
INFO:
ivc-integration:test:native bb - time to construct proving key: 75 ms. (mem: 849.33 MiB)
23:16:48 [23:16:48.627]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.33 MiB)
23:16:49 [23:16:49.015]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 849.33 MiB)
23:16:49 [23:16:49.015]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 849.33 MiB)
23:16:49 [23:16:49.219]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.33 MiB)
23:16:49 [23:16:49.337]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 851.33 MiB)
23:16:49 [23:16:49.378]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 883.33 MiB)
23:16:49 [23:16:49.513]
INFO:
ivc-integration:test:native bb - folded (mem: 883.33 MiB)
23:16:49 constructed folding proof (mem: 883.33 MiB)
23:16:49 [23:16:49.514]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 883.33 MiB)
23:16:49 Minimum required block sizes for structured trace: (mem: 883.33 MiB)
23:16:49 (mem: 883.33 MiB)
23:16:49 prove decider... (mem: 883.33 MiB)
23:16:49 [23:16:49.515]
INFO:
ivc-integration:test:native bb - ecc_op : 56
23:16:49 busread : 3
23:16:49 lookup : 2
23:16:49 pub_inputs : 36
23:16:49 arithmetic : 4481
23:16:49 delta_range : 2041
23:16:49 elliptic : 2
23:16:49 aux : 50
23:16:49 poseidon2_external : 1312
23:16:49 poseidon2_internal : 7469
23:16:49 overflow : 0
23:16:49 [23:16:49.602]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 883.33 MiB)
23:16:49 [23:16:49.664]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 883.33 MiB)
23:16:50 [23:16:50.026]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 883.33 MiB)
23:16:50 [23:16:50.071]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 883.33 MiB)
23:16:50 finished decider proving. (mem: 883.33 MiB)
23:16:50 [23:16:50.083]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 883.33 MiB)
23:16:50 [23:16:50.163]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 883.33 MiB)
23:16:50 [23:16:50.167]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 883.33 MiB)
23:16:50 [23:16:50.195]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 883.33 MiB)
23:16:50 [23:16:50.218]
INFO:
ivc-integration:test:native bb - time to construct proving key: 54 ms. (mem: 883.33 MiB)
23:16:50 [23:16:50.474]
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-pbJkNQ/proof -k /tmp/bb-client-ivc-integration-pbJkNQ/vk -v
23:16:50 [23:16:50.490]
INFO:
ivc-integration:test:native bb command: verify (mem:
23:16:50 [23:16:50.491]
INFO:
ivc-integration:test:native 178.41 MiB)
23:16:50 Scheme is: client_ivc, num threads: 128 (mem: 178.41 MiB)
23:16:50 --proof_path: /tmp/bb-client-ivc-integration-pbJkNQ/proof (mem: 178.41 MiB)
23:16:50 --vk_path: /tmp/bb-client-ivc-integration-pbJkNQ/vk (mem: 178.41 MiB)
23:16:50 --verbose: true (mem: 178.41 MiB)
23:16:50 --scheme: client_ivc (mem: 178.41 MiB)
23:16:50 [23:16:50.568]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 178.41 MiB)
23:16:50 [23:16:50.588]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 178.41 MiB)
23:16:50 [23:16:50.589]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 178.41 MiB)
23:16:50 [23:16:50.603]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 178.41 MiB)
23:16:50 [23:16:50.604]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 178.41 MiB)
23:16:50 [23:16:50.604]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 178.41 MiB)
23:16:50 libra_evals_verified: 1 (mem: 178.41 MiB)
23:16:50 pairing_check_verified: 1 (mem: 178.41 MiB)
23:16:50 Mega verified: 1 (mem: 178.41 MiB)
23:16:50 [23:16:50.649]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 179.92 MiB)
23:16:50 batch opening verified?: 1 (mem: 179.92 MiB)
23:16:50 eccvm consistency check verified?: 1 (mem: 179.92 MiB)
23:16:50 translation masking consistency checked?: 1 (mem: 179.92 MiB)
23:16:50 [23:16:50.664]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 179.92 MiB)
23:16:50 eccvm verified?: 1 (mem: 179.92 MiB)
23:16:50 accumulator construction_verified?: 1 (mem: 179.92 MiB)
23:16:50 translation verified?: 1 (mem: 179.92 MiB)
23:16:50 consistency verified?: 1 (mem: 179.92 MiB)
23:16:50 Goblin verified: 1 (mem:
23:16:50 [23:16:50.664]
INFO:
ivc-integration:test:native 179.92 MiB)
23:16:50 [23:16:50.667]
INFO:
ivc-integration:test:native verified: 1 (mem: 179.92 MiB)
23:16:50 [23:16:50.739]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-WixtAN/ivc-inputs.msgpack
23:16:50 [23:16:50.740]
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-WixtAN --ivc_inputs_path /tmp/bb-client-ivc-integration-WixtAN/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
23:16:50 [23:16:50.758]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 184.90 MiB)
23:16:50 [23:16:50.758]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 184.90 MiB)
23:16:50 --scheme: client_ivc (mem: 184.90 MiB)
23:16:50 --output_path: /tmp/bb-client-ivc-integration-WixtAN (mem: 184.90 MiB)
23:16:50 --ivc_inputs_path: /tmp/bb-client-ivc-integration-WixtAN/ivc-inputs.msgpack (mem: 184.90 MiB)
23:16:50 --verbose: true (mem: 184.90 MiB)
23:16:50 --write_vk: true (mem: 184.90 MiB)
23:16:50 [23:16:50.762]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.90 MiB)
23:16:50 [23:16:50.853]
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)
23:16:50 [23:16:50.920]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 295.89 MiB)
23:16:50 [23:16:50.923]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 295.89 MiB)
23:16:50 [23:16:50.923]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 295.89 MiB)
23:16:50 [23:16:50.927]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 295.89 MiB)
23:16:50 goblin ecc op : 4/1024 (mem: 295.89 MiB)
23:16:50 busread : 7/6000 (mem: 295.89 MiB)
23:16:50 lookups : 2/15000 (mem: 295.89 MiB)
23:16:50 [23:16:50.927]
INFO:
ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 295.89 MiB)
23:16:50 arithmetic : 1760/56000 (mem: 295.89 MiB)
23:16:50 delta range : 1754/18000 (mem: 295.89 MiB)
23:16:50 elliptic : 2/6000 (mem: 295.89 MiB)
23:16:50 auxiliary : 26/26000 (mem: 295.89 MiB)
23:16:50 poseidon ext : 2/17000 (mem: 295.89 MiB)
23:16:50 poseidon int : 2/92000 (mem: 295.89 MiB)
23:16:50 overflow : 0/0 (mem: 295.89 MiB)
23:16:50 (mem: 295.89 MiB)
23:16:50 Total structured size: 242025 (mem: 295.89 MiB)
23:16:50 allocating polynomials object in proving key... (mem: 295.89 MiB)
23:16:50 [23:16:50.973]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 515.02 MiB)
23:16:50 [23:16:50.981]
INFO:
ivc-integration:test:native bb - time to construct proving key: 58 ms. (mem: 525.02 MiB)
23:16:51 [23:16:51.007]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a763574b440 (mem: 525.02 MiB)
23:16:51 [23:16:51.008]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 525.02 MiB)
23:16:51 [23:16:51.008]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.02 MiB)
23:16:51 [23:16:51.106]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 535.02 MiB)
23:16:51 [23:16:51.112]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 535.02 MiB)
23:16:51 [23:16:51.123]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 535.02 MiB)
23:16:51 Constructing DeciderProvingKey (mem: 535.02 MiB)
23:16:51 [23:16:51.125]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 535.02 MiB)
23:16:51 goblin ecc op : 56/1024 (mem: 535.02 MiB)
23:16:51 busread : 12/6000 (mem: 535.02 MiB)
23:16:51 lookups : 2/15000 (mem: 535.02 MiB)
23:16:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 535.02 MiB)
23:16:51 arithmetic : 4625/56000 (mem: 535.02 MiB)
23:16:51 delta range : 2054/18000 (mem: 535.02 MiB)
23:16:51 elliptic : 2/6000 (mem: 535.02 MiB)
23:16:51 auxiliary : 110/26000 (mem: 535.02 MiB)
23:16:51 poseidon ext : 1302/17000 (mem: 535.02 MiB)
23:16:51 poseidon int : 7412/92000 (mem: 535.02 MiB)
23:16:51 overflow : 0/0 (mem: 535.02 MiB)
23:16:51 (mem: 535.02 MiB)
23:16:51 Total structured size: 242025 (mem: 535.02 MiB)
23:16:51 allocating polynomials object in proving key... (mem: 535.02 MiB)
23:16:51 [23:16:51.171]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 736.02 MiB)
23:16:51 [23:16:51.185]
INFO:
ivc-integration:test:native bb - time to construct proving key: 62 ms. (mem: 753.02 MiB)
23:16:51 [23:16:51.213]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a76357546c0 (mem: 753.02 MiB)
23:16:51 computing folding proof (mem: 753.02 MiB)
23:16:51 [23:16:51.214]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 753.02 MiB)
23:16:51 [23:16:51.356]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 753.02 MiB)
23:16:51 [23:16:51.425]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 791.02 MiB)
23:16:51 [23:16:51.457]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 823.02 MiB)
23:16:51 [23:16:51.518]
INFO:
ivc-integration:test:native bb - folded (mem: 823.02 MiB)
23:16:51 constructed folding proof (mem: 823.02 MiB)
23:16:51 [23:16:51.519]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 823.02 MiB)
23:16:51 Constructing DeciderProvingKey (mem: 823.02 MiB)
23:16:51 [23:16:51.521]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 823.02 MiB)
23:16:51 goblin ecc op : 4/1024 (mem: 823.02 MiB)
23:16:51 busread : 7/6000 (mem: 823.02 MiB)
23:16:51 lookups : 2/15000 (mem: 823.02 MiB)
23:16:51 [23:16:51.522]
INFO:
ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 823.02 MiB)
23:16:51 arithmetic : 1760/56000 (mem: 823.02 MiB)
23:16:51 delta range : 1754/18000 (mem: 823.02 MiB)
23:16:51 elliptic : 2/6000 (mem: 823.02 MiB)
23:16:51 auxiliary : 26/26000 (mem: 823.02 MiB)
23:16:51 poseidon ext : 2/17000 (mem: 823.02 MiB)
23:16:51 poseidon int : 2/92000 (mem: 823.02 MiB)
23:16:51 overflow : 0/0 (mem: 823.02 MiB)
23:16:51 (mem: 823.02 MiB)
23:16:51 Total structured size: 242025 (mem: 823.02 MiB)
23:16:51 allocating polynomials object in proving key... (mem: 823.02 MiB)
23:16:51 [23:16:51.548]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 823.02 MiB)
23:16:51 [23:16:51.554]
INFO:
ivc-integration:test:native bb - time to construct proving key: 34 ms. (mem: 823.02 MiB)
23:16:51 [23:16:51.578]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a763574bc80 (mem: 823.02 MiB)
23:16:51 computing folding proof (mem: 823.02 MiB)
23:16:51 [23:16:51.578]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 823.02 MiB)
23:16:51 [23:16:51.661]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 823.02 MiB)
23:16:51 [23:16:51.703]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 823.02 MiB)
23:16:51 [23:16:51.721]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 823.02 MiB)
23:16:51 [23:16:51.790]
INFO:
ivc-integration:test:native bb - folded (mem: 823.02 MiB)
23:16:51 constructed folding proof (mem: 823.02 MiB)
23:16:51 [23:16:51.800]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 823.02 MiB)
23:16:51 [23:16:51.857]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 823.02 MiB)
23:16:51 [23:16:51.914]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 823.02 MiB)
23:16:51 Constructing DeciderProvingKey (mem: 823.02 MiB)
23:16:51 [23:16:51.920]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 823.02 MiB)
23:16:51 goblin ecc op : 792/1024 (mem: 823.02 MiB)
23:16:51 [23:16:51.921]
INFO:
ivc-integration:test:native bb - busread : 12/6000 (mem: 823.02 MiB)
23:16:51 lookups : 2/15000 (mem: 823.02 MiB)
23:16:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 823.02 MiB)
23:16:51 arithmetic : 12080/56000 (mem: 823.02 MiB)
23:16:51 delta range : 2942/18000 (mem: 823.02 MiB)
23:16:51 elliptic : 2/6000 (mem: 823.02 MiB)
23:16:51 auxiliary : 350/26000 (mem: 823.02 MiB)
23:16:51 poseidon ext : 4942/17000 (mem: 823.02 MiB)
23:16:51 poseidon int : 28160/92000 (mem: 823.02 MiB)
23:16:51 overflow : 0/0 (mem: 823.02 MiB)
23:16:51 (mem: 823.02 MiB)
23:16:51 Total structured size: 242025 (mem: 823.02 MiB)
23:16:51 allocating polynomials object in proving key... (mem: 823.02 MiB)
23:16:51 [23:16:51.957]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 823.02 MiB)
23:16:51 [23:16:51.980]
INFO:
ivc-integration:test:native bb - time to construct proving key: 65 ms. (mem: 823.02 MiB)
23:16:52 [23:16:52.022]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a76357c8380 (mem: 823.02 MiB)
23:16:52 computing folding proof (mem: 823.02 MiB)
23:16:52 [23:16:52.022]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 823.02 MiB)
23:16:52 [23:16:52.162]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 823.02 MiB)
23:16:52 [23:16:52.233]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 823.02 MiB)
23:16:52 [23:16:52.273]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 852.25 MiB)
23:16:52 [23:16:52.398]
INFO:
ivc-integration:test:native bb - folded (mem: 852.25 MiB)
23:16:52 constructed folding proof (mem: 852.25 MiB)
23:16:52 [23:16:52.407]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 852.25 MiB)
23:16:52 [23:16:52.458]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 852.25 MiB)
23:16:52 Constructing DeciderProvingKey (mem: 852.25 MiB)
23:16:52 [23:16:52.460]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 852.25 MiB)
23:16:52 goblin ecc op : 392/1024 (mem: 852.25 MiB)
23:16:52 busread : 16/6000 (mem: 852.25 MiB)
23:16:52 lookups : 2/15000 (mem: 852.25 MiB)
23:16:52 [23:16:52.461]
INFO:
ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 852.25 MiB)
23:16:52 arithmetic : 6914/56000 (mem: 852.25 MiB)
23:16:52 delta range : 2347/18000 (mem: 852.25 MiB)
23:16:52 elliptic : 2/6000 (mem: 852.25 MiB)
23:16:52 auxiliary : 77/26000 (mem: 852.25 MiB)
23:16:52 poseidon ext : 2472/17000 (mem: 852.25 MiB)
23:16:52 poseidon int : 14081/92000 (mem: 852.25 MiB)
23:16:52 overflow : 0/0 (mem: 852.25 MiB)
23:16:52 (mem: 852.25 MiB)
23:16:52 Total structured size: 242025 (mem: 852.25 MiB)
23:16:52 allocating polynomials object in proving key... (mem: 852.25 MiB)
23:16:52 [23:16:52.489]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 852.25 MiB)
23:16:52 [23:16:52.506]
INFO:
ivc-integration:test:native bb - time to construct proving key: 48 ms. (mem: 852.25 MiB)
23:16:52 [23:16:52.557]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a76357c6a40 (mem: 852.25 MiB)
23:16:52 computing folding proof (mem: 852.25 MiB)
23:16:52 [23:16:52.558]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 852.25 MiB)
23:16:52 [23:16:52.693]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 852.25 MiB)
23:16:52 [23:16:52.748]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 852.25 MiB)
23:16:52 [23:16:52.790]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 853.52 MiB)
23:16:52 [23:16:52.884]
INFO:
ivc-integration:test:native bb - folded (mem: 853.52 MiB)
23:16:52 constructed folding proof (mem: 853.52 MiB)
23:16:52 [23:16:52.891]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 853.52 MiB)
23:16:52 [23:16:52.938]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 853.52 MiB)
23:16:52 Constructing DeciderProvingKey (mem: 853.52 MiB)
23:16:52 [23:16:52.940]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 853.52 MiB)
23:16:52 goblin ecc op : 392/1024
23:16:52 [23:16:52.941]
INFO:
ivc-integration:test:native bb - (mem: 853.52 MiB)
23:16:52 busread : 3/6000 (mem: 853.52 MiB)
23:16:52 lookups : 2/15000 (mem: 853.52 MiB)
23:16:52 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 853.52 MiB)
23:16:52 arithmetic : 6849/56000 (mem: 853.52 MiB)
23:16:52 delta range : 2333/18000 (mem: 853.52 MiB)
23:16:52 elliptic : 2/6000 (mem: 853.52 MiB)
23:16:52 auxiliary : 50/26000 (mem: 853.52 MiB)
23:16:52 poseidon ext : 2472/17000 (mem: 853.52 MiB)
23:16:52 poseidon int : 14081/92000 (mem: 853.52 MiB)
23:16:52 overflow : 0/0 (mem: 853.52 MiB)
23:16:52 (mem: 853.52 MiB)
23:16:52 Total structured size: 242025 (mem: 853.52 MiB)
23:16:52 allocating polynomials object in proving key... (mem: 853.52 MiB)
23:16:52 [23:16:52.987]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 853.52 MiB)
23:16:53 [23:16:53.005]
INFO:
ivc-integration:test:native bb - time to construct proving key: 67 ms. (mem: 853.52 MiB)
23:16:53 [23:16:53.058]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a76357c0ac0 (mem: 853.52 MiB)
23:16:53 computing folding proof (mem: 853.52 MiB)
23:16:53 [23:16:53.059]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 853.52 MiB)
23:16:53 [23:16:53.189]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 853.52 MiB)
23:16:53 [23:16:53.240]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 853.52 MiB)
23:16:53 [23:16:53.275]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 855.11 MiB)
23:16:53 [23:16:53.343]
INFO:
ivc-integration:test:native bb - folded (mem: 855.11 MiB)
23:16:53 constructed folding proof (mem: 855.11 MiB)
23:16:53 [23:16:53.344]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 855.11 MiB)
23:16:53 Minimum required block sizes for structured trace: (mem: 855.11 MiB)
23:16:53 (mem: 855.11 MiB)
23:16:53 prove decider... (mem: 855.11 MiB)
23:16:53 [23:16:53.344]
INFO:
ivc-integration:test:native bb - ecc_op : 792
23:16:53 busread : 16
23:16:53 lookup : 2
23:16:53 pub_inputs : 36
23:16:53 arithmetic : 12080
23:16:53 delta_range : 2942
23:16:53 elliptic : 2
23:16:53 aux : 350
23:16:53 poseidon2_external : 4942
23:16:53 poseidon2_internal : 28160
23:16:53 overflow : 0
23:16:53 [23:16:53.403]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 855.11 MiB)
23:16:53 [23:16:53.457]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 855.11 MiB)
23:16:53 [23:16:53.711]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 855.11 MiB)
23:16:53 [23:16:53.749]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 855.11 MiB)
23:16:53 finished decider proving. (mem: 855.11 MiB)
23:16:53 [23:16:53.761]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 855.11 MiB)
23:16:53 [23:16:53.833]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 855.11 MiB)
23:16:53 [23:16:53.837]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 855.11 MiB)
23:16:53 [23:16:53.866]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 855.11 MiB)
23:16:53 [23:16:53.888]
INFO:
ivc-integration:test:native bb - time to construct proving key: 54 ms. (mem: 855.11 MiB)
23:16:54 [23:16:54.120]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.11 MiB)
23:16:54 [23:16:54.333]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 855.11 MiB)
23:16:54 [23:16:54.415]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 855.11 MiB)
23:16:54 [23:16:54.681]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 855.11 MiB)
23:16:54 [23:16:54.890]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 855.11 MiB)
23:16:54 [23:16:54.903]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 855.11 MiB)
23:16:54 finished decider proving. (mem: 855.11 MiB)
23:16:54 [23:16:54.904]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 855.11 MiB)
23:16:54 [23:16:54.956]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 855.11 MiB)
23:16:55 [23:16:55.108]
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.11 MiB)
23:16:55 [23:16:55.119]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 855.11 MiB)
23:16:55 [23:16:55.757]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 855.11 MiB)
23:16:56 [23:16:56.279]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 855.11 MiB)
23:16:57 [23:16:57.490]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 855.11 MiB)
23:16:57 prove translator... (mem: 855.11 MiB)
23:16:58 [23:16:58.852]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 877.73 MiB)
23:16:59 [23:16:59.614]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 878.73 MiB)
23:17:00 [23:17:00.207]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 878.73 MiB)
23:17:00 [23:17:00.208]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 878.73 MiB)
23:17:00 [23:17:00.210]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 878.73 MiB)
23:17:00 [23:17:00.222]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 878.73 MiB)
23:17:00 libra_evals_verified: 1 (mem: 878.73 MiB)
23:17:00 pairing_check_verified: 1 (mem: 878.73 MiB)
23:17:00 Mega verified: 1 (mem: 878.73 MiB)
23:17:00 [23:17:00.257]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 878.73 MiB)
23:17:00 batch opening verified?: 1 (mem: 878.73 MiB)
23:17:00 eccvm consistency check verified?: 1 (mem: 878.73 MiB)
23:17:00 translation masking consistency checked?: 1 (mem: 878.73 MiB)
23:17:00 [23:17:00.272]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 878.73 MiB)
23:17:00 eccvm verified?: 1 (mem: 878.73 MiB)
23:17:00 accumulator construction_verified?: 1 (mem: 878.73 MiB)
23:17:00 translation verified?: 1 (mem: 878.73 MiB)
23:17:00 consistency verified?: 1 (mem: 878.73 MiB)
23:17:00 [23:17:00.272]
INFO:
ivc-integration:test:native bb - Goblin verified: 1 (mem: 878.73 MiB)
23:17:00 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-WixtAN" (mem: 878.73 MiB)
23:17:00 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-WixtAN" (mem: 878.73 MiB)
23:17:00 BN254 commitment key size: 262144 (mem: 878.73 MiB)
23:17:00 [23:17:00.274]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 878.73 MiB)
23:17:00 [23:17:00.276]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 878.73 MiB)
23:17:00 goblin ecc op : 4/1024 (mem: 878.73 MiB)
23:17:00 busread : 3/6000 (mem: 878.73 MiB)
23:17:00 lookups : 2/15000 (mem: 878.73 MiB)
23:17:00 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 878.73 MiB)
23:17:00 [23:17:00.276]
INFO:
ivc-integration:test:native bb - arithmetic : 1773/56000 (mem: 878.73 MiB)
23:17:00 delta range : 1754/18000 (mem: 878.73 MiB)
23:17:00 elliptic : 2/6000 (mem: 878.73 MiB)
23:17:00 auxiliary : 26/26000 (mem: 878.73 MiB)
23:17:00 poseidon ext : 2/17000 (mem: 878.73 MiB)
23:17:00 poseidon int : 2/92000 (mem: 878.73 MiB)
23:17:00 overflow : 0/0 (mem: 878.73 MiB)
23:17:00 (mem: 878.73 MiB)
23:17:00 Total structured size: 242025 (mem: 878.73 MiB)
23:17:00 allocating polynomials object in proving key... (mem: 878.73 MiB)
23:17:00 [23:17:00.306]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 878.73 MiB)
23:17:00 [23:17:00.312]
INFO:
ivc-integration:test:native bb - time to construct proving key: 37 ms. (mem: 878.73 MiB)
23:17:00 [23:17:00.334]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 878.73 MiB)
23:17:00 [23:17:00.726]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 878.73 MiB)
23:17:00 [23:17:00.727]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 878.73 MiB)
23:17:00 [23:17:00.807]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 878.73 MiB)
23:17:00 [23:17:00.814]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 878.73 MiB)
23:17:00 [23:17:00.828]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 878.73 MiB)
23:17:00 [23:17:00.831]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 878.73 MiB)
23:17:00 [23:17:00.832]
INFO:
ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 878.73 MiB)
23:17:00 busread : 3/6000 (mem: 878.73 MiB)
23:17:00 lookups : 2/15000 (mem: 878.73 MiB)
23:17:00 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 878.73 MiB)
23:17:00 arithmetic : 4481/56000 (mem: 878.73 MiB)
23:17:00 delta range : 2041/18000 (mem: 878.73 MiB)
23:17:00 elliptic : 2/6000 (mem: 878.73 MiB)
23:17:00 auxiliary : 50/26000 (mem: 878.73 MiB)
23:17:00 poseidon ext : 1312/17000 (mem: 878.73 MiB)
23:17:00 poseidon int : 7469/92000 (mem: 878.73 MiB)
23:17:00 overflow : 0/0 (mem: 878.73 MiB)
23:17:00 (mem: 878.73 MiB)
23:17:00 Total structured size: 242025 (mem: 878.73 MiB)
23:17:00 allocating polynomials object in proving key... (mem: 878.73 MiB)
23:17:00 [23:17:00.863]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 878.73 MiB)
23:17:00 [23:17:00.876]
INFO:
ivc-integration:test:native bb - time to construct proving key: 48 ms. (mem: 878.73 MiB)
23:17:00 [23:17:00.901]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 878.73 MiB)
23:17:01 [23:17:01.202]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 878.73 MiB)
23:17:01 [23:17:01.202]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 878.73 MiB)
23:17:01 [23:17:01.329]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 878.73 MiB)
23:17:01 [23:17:01.410]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 878.73 MiB)
23:17:01 [23:17:01.453]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 910.73 MiB)
23:17:01 [23:17:01.556]
INFO:
ivc-integration:test:native bb - folded (mem: 910.73 MiB)
23:17:01 constructed folding proof (mem: 910.73 MiB)
23:17:01 [23:17:01.557]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 910.73 MiB)
23:17:01 Minimum required block sizes for structured trace: (mem: 910.73 MiB)
23:17:01 (mem: 910.73 MiB)
23:17:01 prove decider... (mem: 910.73 MiB)
23:17:01 [23:17:01.558]
INFO:
ivc-integration:test:native bb - ecc_op : 56
23:17:01 busread : 3
23:17:01 lookup : 2
23:17:01 pub_inputs : 36
23:17:01 arithmetic : 4481
23:17:01 delta_range : 2041
23:17:01 elliptic : 2
23:17:01 aux : 50
23:17:01 poseidon2_external : 1312
23:17:01 poseidon2_internal : 7469
23:17:01 overflow : 0
23:17:01 [23:17:01.681]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 910.73 MiB)
23:17:01 [23:17:01.755]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 910.73 MiB)
23:17:02 [23:17:02.135]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 910.73 MiB)
23:17:02 [23:17:02.172]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 910.73 MiB)
23:17:02 [23:17:02.173]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 910.73 MiB)
23:17:02 [23:17:02.191]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 910.73 MiB)
23:17:02 [23:17:02.300]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 910.73 MiB)
23:17:02 [23:17:02.318]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 910.73 MiB)
23:17:02 [23:17:02.469]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 910.73 MiB)
23:17:02 [23:17:02.541]
INFO:
ivc-integration:test:native bb - time to construct proving key: 241 ms. (mem: 910.73 MiB)
23:17:02 [23:17:02.899]
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-WixtAN/proof -k /tmp/bb-client-ivc-integration-WixtAN/vk -v
23:17:02 [23:17:02.927]
INFO:
ivc-integration:test:native bb command: verify (mem: 186.16 MiB)
23:17:02 [23:17:02.928]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 186.16 MiB)
23:17:02 --proof_path: /tmp/bb-client-ivc-integration-WixtAN/proof (mem: 186.16 MiB)
23:17:02 --vk_path: /tmp/bb-client-ivc-integration-WixtAN/vk (mem: 186.16 MiB)
23:17:02 --verbose: true (mem: 186.16 MiB)
23:17:02 --scheme: client_ivc (mem: 186.16 MiB)
23:17:03 [23:17:03.026]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 186.16 MiB)
23:17:03 [23:17:03.050]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 186.16 MiB)
23:17:03 [23:17:03.051]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93
23:17:03 [23:17:03.053]
INFO:
ivc-integration:test:native (mem: 186.16 MiB)
23:17:03 [23:17:03.078]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 186.16 MiB)
23:17:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 186.16 MiB)
23:17:03 sumcheck_verified: 1 (mem: 186.16 MiB)
23:17:03 libra_evals_verified: 1 (mem: 186.16 MiB)
23:17:03 pairing_check_verified: 1 (mem: 186.16 MiB)
23:17:03 Mega verified: 1 (mem: 186.16 MiB)
23:17:03 [23:17:03.139]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 186.16 MiB)
23:17:03 batch opening verified?: 1 (mem: 186.16 MiB)
23:17:03 eccvm consistency check verified?: 1 (mem: 186.16 MiB)
23:17:03 translation masking consistency checked?: 1 (mem: 186.16 MiB)
23:17:03 [23:17:03.156]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 186.16 MiB)
23:17:03 eccvm verified?: 1 (mem: 186.16 MiB)
23:17:03 accumulator construction_verified?: 1 (mem: 186.16 MiB)
23:17:03 translation verified?: 1 (mem:
23:17:03 [23:17:03.157]
INFO:
ivc-integration:test:native 186.16 MiB)
23:17:03 consistency verified?: 1 (mem: 186.16 MiB)
23:17:03 Goblin verified: 1 (mem: 186.16 MiB)
23:17:03 [23:17:03.160]
INFO:
ivc-integration:test:native verified: 1 (mem: 186.16 MiB)
23:17:03
PASS src/native_client_ivc_integration.test.ts (
32.184 s)
23:17:03 Client IVC Integration
23:17:03
✓ Should generate a verifiable client IVC proof from a simple mock tx (16815 ms)
23:17:03
✓ Should generate a verifiable client IVC proof from a complex mock tx (12538 ms)
23:17:03
23:17:03
Test Suites: 1 passed, 1 total
23:17:03
Tests: 2 passed, 2 total
23:17:03
Snapshots: 0 total
23:17:03
Time: 32.277 s
23:17:03
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
23:17:03
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?