Parent Log:
http://ci.aztec-labs.com/ffd461377e9db9b8
Command: 4482f7e540fd470f: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/ee3655e025191bc85c5b3d3122eeedb44e38ffb2
Env: REF_NAME=gh-readonly-queue/next/pr-15076-60e60f99f2634ad75a76b6e103858ff9ccd041d5 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 19:08:08 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15076_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
19:08:13 [19:08:13.483]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-PtLLXV/ivc-inputs.msgpack
19:08:13 [19:08:13.487]
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-PtLLXV --ivc_inputs_path /tmp/bb-client-ivc-integration-PtLLXV/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
19:08:13 [19:08:13.515]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 184.36 MiB)
19:08:13 [19:08:13.516]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 184.36 MiB)
19:08:13 --scheme: client_ivc (mem: 184.36 MiB)
19:08:13 --output_path: /tmp/bb-client-ivc-integration-PtLLXV (mem: 184.36 MiB)
19:08:13 --ivc_inputs_path: /tmp/bb-client-ivc-integration-PtLLXV/ivc-inputs.msgpack (mem: 184.36 MiB)
19:08:13 --verbose: true (mem: 184.36 MiB)
19:08:13 --write_vk: true (mem: 184.36 MiB)
19:08:13 [19:08:13.516]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.36 MiB)
19:08:13 [19:08:13.627]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 242.00 MiB)
19:08:13 [19:08:13.712]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 290.68 MiB)
19:08:13 [19:08:13.716]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 290.68 MiB)
19:08:13 Constructing DeciderProvingKey (mem: 290.68 MiB)
19:08:13 [19:08:13.722]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 290.68 MiB)
19:08:13 goblin ecc op : 4/1024 (mem: 290.68 MiB)
19:08:13 busread : 7/6000 (mem: 290.68 MiB)
19:08:13 lookups : 2/15000 (mem: 290.68 MiB)
19:08:13 [19:08:13.723]
INFO:
ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 290.68 MiB)
19:08:13 arithmetic : 1760/56000 (mem: 290.68 MiB)
19:08:13 delta range : 1754/18000 (mem: 290.68 MiB)
19:08:13 elliptic : 2/6000 (mem: 290.68 MiB)
19:08:13 auxiliary : 26/26000 (mem: 290.68 MiB)
19:08:13 poseidon ext : 2/17000 (mem: 290.68 MiB)
19:08:13 poseidon int : 2/92000 (mem: 290.68 MiB)
19:08:13 overflow : 0/0 (mem: 290.68 MiB)
19:08:13 (mem: 290.68 MiB)
19:08:13 Total structured size: 242025 (mem: 290.68 MiB)
19:08:13 allocating polynomials object in proving key... (mem: 290.68 MiB)
19:08:13 [19:08:13.801]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 497.83 MiB)
19:08:13 [19:08:13.812]
INFO:
ivc-integration:test:native bb - time to construct proving key: 95 ms. (mem: 507.83 MiB)
19:08:13 [19:08:13.871]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5af5a12f8640 (mem: 507.83 MiB)
19:08:13 computing oink proof... (mem: 507.83 MiB)
19:08:13 [19:08:13.873]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 507.83 MiB)
19:08:14 [19:08:14.070]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 517.83 MiB)
19:08:14 [19:08:14.080]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 517.83 MiB)
19:08:14 [19:08:14.101]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 517.83 MiB)
19:08:14 Constructing DeciderProvingKey (mem: 517.83 MiB)
19:08:14 [19:08:14.107]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 517.83 MiB)
19:08:14 goblin ecc op : 56/1024 (mem: 517.83 MiB)
19:08:14 busread : 12/6000 (mem: 517.83 MiB)
19:08:14 lookups : 2/15000 (mem: 517.83 MiB)
19:08:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 517.83 MiB)
19:08:14 arithmetic : 4625/56000 (mem: 517.83 MiB)
19:08:14 delta range : 2054/18000 (mem: 517.83 MiB)
19:08:14 elliptic : 2/6000 (mem: 517.83 MiB)
19:08:14 auxiliary : 110/26000 (mem: 517.83 MiB)
19:08:14 poseidon ext : 1302/17000 (mem: 517.83 MiB)
19:08:14 poseidon int : 7412/92000 (mem: 517.83 MiB)
19:08:14 overflow : 0/0 (mem: 517.83 MiB)
19:08:14 (mem: 517.83 MiB)
19:08:14 Total structured size: 242025 (mem: 517.83 MiB)
19:08:14 allocating polynomials object in proving key... (mem: 517.83 MiB)
19:08:14 [19:08:14.219]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 731.83 MiB)
19:08:14 [19:08:14.249]
INFO:
ivc-integration:test:native bb - time to construct proving key: 148 ms. (mem: 747.83 MiB)
19:08:14 [19:08:14.354]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5af5a1305300 (mem: 747.83 MiB)
19:08:14 computing folding proof (mem: 747.83 MiB)
19:08:14 [19:08:14.360]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 747.83 MiB)
19:08:14 [19:08:14.830]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.83 MiB)
19:08:14 [19:08:14.938]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 784.83 MiB)
19:08:14 [19:08:14.993]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.83 MiB)
19:08:15 [19:08:15.313]
INFO:
ivc-integration:test:native bb - folded (mem: 817.83 MiB)
19:08:15 constructed folding proof (mem: 817.83 MiB)
19:08:15 [19:08:15.323]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 817.83 MiB)
19:08:15 [19:08:15.434]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.83 MiB)
19:08:15 [19:08:15.435]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.83 MiB)
19:08:15 [19:08:15.440]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.83 MiB)
19:08:15 goblin ecc op : 392/1024 (mem: 817.83 MiB)
19:08:15 busread : 3/6000 (mem: 817.83 MiB)
19:08:15 lookups : 2/15000 (mem: 817.83 MiB)
19:08:15 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.83 MiB)
19:08:15 arithmetic : 6849/56000 (mem: 817.83 MiB)
19:08:15 delta range : 2333/18000 (mem: 817.83 MiB)
19:08:15 elliptic : 2/6000 (mem: 817.83 MiB)
19:08:15 auxiliary : 50/26000 (mem: 817.83 MiB)
19:08:15 poseidon ext : 2472/17000 (mem: 817.83 MiB)
19:08:15 poseidon int : 14081/92000 (mem: 817.83 MiB)
19:08:15 overflow : 0/0 (mem: 817.83 MiB)
19:08:15 (mem: 817.83 MiB)
19:08:15 Total structured size: 242025 (mem: 817.83 MiB)
19:08:15 allocating polynomials object in proving key... (mem: 817.83 MiB)
19:08:15 [19:08:15.678]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.83 MiB)
19:08:15 [19:08:15.740]
INFO:
ivc-integration:test:native bb - time to construct proving key: 305 ms. (mem: 817.83 MiB)
19:08:15 [19:08:15.942]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5af5a12f2200 (mem: 817.83 MiB)
19:08:15 computing folding proof (mem: 817.83 MiB)
19:08:15 [19:08:15.944]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.83 MiB)
19:08:16 [19:08:16.429]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.83 MiB)
19:08:16 [19:08:16.548]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 817.83 MiB)
19:08:16 [19:08:16.586]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.83 MiB)
19:08:17 [19:08:17.130]
INFO:
ivc-integration:test:native bb - folded (mem: 817.83 MiB)
19:08:17 [19:08:17.136]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 817.83 MiB)
19:08:17 Largest circuit: 25792 gates. Trace details: (mem: 817.83 MiB)
19:08:17 Minimum required block sizes for structured trace: (mem: 817.83 MiB)
19:08:17 (mem: 817.83 MiB)
19:08:17 prove decider... (mem: 817.83 MiB)
19:08:17 [19:08:17.139]
INFO:
ivc-integration:test:native bb - ecc_op : 392
19:08:17 busread : 12
19:08:17 lookup : 2
19:08:17 pub_inputs : 36
19:08:17 arithmetic : 6849
19:08:17 delta_range : 2333
19:08:17 elliptic : 2
19:08:17 aux : 110
19:08:17 poseidon2_external : 2472
19:08:17 poseidon2_internal : 14081
19:08:17 overflow : 0
19:08:17 [19:08:17.376]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.83 MiB)
19:08:17 [19:08:17.539]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 817.83 MiB)
19:08:18 [19:08:18.666]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.83 MiB)
19:08:18 [19:08:18.743]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 817.83 MiB)
19:08:18 finished decider proving. (mem: 817.83 MiB)
19:08:18 [19:08:18.769]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.83 MiB)
19:08:18 [19:08:18.899]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.83 MiB)
19:08:18 [19:08:18.904]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
19:08:18 [19:08:18.905]
INFO:
ivc-integration:test:native bb - (mem: 817.83 MiB)
19:08:19 [19:08:19.194]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.83 MiB)
19:08:19 [19:08:19.248]
INFO:
ivc-integration:test:native bb - time to construct proving key: 351 ms. (mem: 817.83 MiB)
19:08:20 [19:08:20.493]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93
19:08:20 [19:08:20.498]
INFO:
ivc-integration:test:native bb - (mem: 817.83 MiB)
19:08:21 [19:08:21.173]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 817.83 MiB)
19:08:21 [19:08:21.505]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.83 MiB)
19:08:23 [19:08:23.282]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.83 MiB)
19:08:24 [19:08:24.388]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.83 MiB)
19:08:24 [19:08:24.431]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 817.83 MiB)
19:08:24 [19:08:24.432]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 817.83 MiB)
19:08:24 [19:08:24.433]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 817.83 MiB)
19:08:24 [19:08:24.709]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 817.83 MiB)
19:08:25 [19:08:25.332]
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: 817.83 MiB)
19:08:25 [19:08:25.388]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 817.83 MiB)
19:08:27 [19:08:27.977]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.83 MiB)
19:08:30 [19:08:30.227]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.83 MiB)
19:08:35 [19:08:35.129]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 817.83 MiB)
19:08:35 prove translator... (mem: 817.83 MiB)
19:08:37 [19:08:37.923]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.02 MiB)
19:08:40 [19:08:40.385]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 848.02 MiB)
19:08:43 [19:08:43.518]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 848.02 MiB)
19:08:43 finished translator proving. (mem: 848.02 MiB)
19:08:43 [19:08:43.522]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 848.02 MiB)
19:08:43 [19:08:43.540]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 848.02 MiB)
19:08:43 libra_evals_verified: 1 (mem: 848.02 MiB)
19:08:43 pairing_check_verified: 1 (mem: 848.02 MiB)
19:08:43 Mega verified: 1 (mem: 848.02 MiB)
19:08:43 [19:08:43.643]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 848.02 MiB)
19:08:43 batch opening verified?: 1 (mem: 848.02 MiB)
19:08:43 eccvm consistency check verified?: 1 (mem: 848.02 MiB)
19:08:43 translation masking consistency checked?: 1 (mem: 848.02 MiB)
19:08:43 [19:08:43.664]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 848.02 MiB)
19:08:43 eccvm verified?: 1 (mem: 848.02 MiB)
19:08:43 accumulator construction_verified?: 1 (mem: 848.02 MiB)
19:08:43 translation verified?: 1 (mem: 848.02 MiB)
19:08:43 consistency verified?: 1 (mem: 848.02 MiB)
19:08:43 Goblin verified: 1 (mem: 848.02 MiB)
19:08:43 [19:08:43.664]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-PtLLXV" (mem: 848.02 MiB)
19:08:43 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-PtLLXV" (mem: 848.02 MiB)
19:08:43 BN254 commitment key size: 262144 (mem: 848.02 MiB)
19:08:43 [19:08:43.668]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.02 MiB)
19:08:43 [19:08:43.672]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.02 MiB)
19:08:43 goblin ecc op : 4/1024 (mem: 848.02 MiB)
19:08:43 busread : 3/6000 (mem: 848.02 MiB)
19:08:43 lookups : 2/15000 (mem: 848.02 MiB)
19:08:43 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 848.02 MiB)
19:08:43 arithmetic : 1773/56000 (mem: 848.02 MiB)
19:08:43 delta range : 1754/18000 (mem: 848.02 MiB)
19:08:43 elliptic : 2/6000 (mem: 848.02 MiB)
19:08:43 auxiliary : 26/26000 (mem: 848.02 MiB)
19:08:43 poseidon ext : 2/17000 (mem: 848.02 MiB)
19:08:43 poseidon int : 2/92000 (mem: 848.02 MiB)
19:08:43 overflow : 0/0 (mem: 848.02 MiB)
19:08:43 (mem: 848.02 MiB)
19:08:43 Total structured size: 242025 (mem: 848.02 MiB)
19:08:43 allocating polynomials object in proving key... (mem: 848.02 MiB)
19:08:43 [19:08:43.959]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.02 MiB)
19:08:43 [19:08:43.998]
INFO:
ivc-integration:test:native bb - time to construct proving key: 330 ms. (mem: 848.02 MiB)
19:08:44 [19:08:44.142]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.02 MiB)
19:08:45 [19:08:45.260]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 848.02 MiB)
19:08:45 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.02 MiB)
19:08:45 [19:08:45.795]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 848.02 MiB)
19:08:45 [19:08:45.829]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.02 MiB)
19:08:45 [19:08:45.848]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.02 MiB)
19:08:45 [19:08:45.857]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.02 MiB)
19:08:45 goblin ecc op : 56/1024 (mem: 848.02 MiB)
19:08:45 busread : 3/6000 (mem: 848.02 MiB)
19:08:45 lookups : 2/15000 (mem: 848.02 MiB)
19:08:45 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.02 MiB)
19:08:45 arithmetic : 4481/56000 (mem: 848.02 MiB)
19:08:45 delta range : 2041/18000 (mem: 848.02 MiB)
19:08:45 elliptic : 2/6000 (mem: 848.02 MiB)
19:08:45 auxiliary : 50/26000 (mem: 848.02 MiB)
19:08:45 poseidon ext : 1312/17000 (mem: 848.02 MiB)
19:08:45 poseidon int : 7469/92000 (mem: 848.02 MiB)
19:08:45 overflow : 0/0 (mem: 848.02 MiB)
19:08:45 (mem: 848.02 MiB)
19:08:45 Total structured size: 242025 (mem: 848.02 MiB)
19:08:45 allocating polynomials object in proving key... (mem: 848.02 MiB)
19:08:46 [19:08:46.189]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.02 MiB)
19:08:46 [19:08:46.234]
INFO:
ivc-integration:test:native bb - time to construct proving key: 385 ms. (mem: 848.02 MiB)
19:08:46 [19:08:46.433]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.02 MiB)
19:08:47 [19:08:47.375]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 848.02 MiB)
19:08:47 [19:08:47.398]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 848.02 MiB)
19:08:48 [19:08:48.269]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 848.02 MiB)
19:08:48 [19:08:48.496]
INFO:
ivc-integration:test:native bb - perturbator round
19:08:48 [19:08:48.499]
INFO:
ivc-integration:test:native bb - (mem: 851.02 MiB)
19:08:48 [19:08:48.581]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 883.02 MiB)
19:08:48 [19:08:48.919]
INFO:
ivc-integration:test:native bb - folded (mem: 883.02 MiB)
19:08:48 constructed folding proof (mem: 883.02 MiB)
19:08:48 Largest circuit: 15360 gates. Trace details: (mem: 883.02 MiB)
19:08:48 Minimum required block sizes for structured trace: (mem: 883.02 MiB)
19:08:48 (mem: 883.02 MiB)
19:08:48 prove decider... (mem: 883.02 MiB)
19:08:48 [19:08:48.919]
INFO:
ivc-integration:test:native bb - ecc_op : 56
19:08:48 busread : 3
19:08:48 lookup : 2
19:08:48 pub_inputs : 36
19:08:48 arithmetic : 4481
19:08:48 delta_range : 2041
19:08:48 elliptic : 2
19:08:48 aux : 50
19:08:48 poseidon2_external : 1312
19:08:48 poseidon2_internal : 7469
19:08:48 overflow : 0
19:08:49 [19:08:49.201]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 883.02 MiB)
19:08:49 [19:08:49.384]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 883.02 MiB)
19:08:50 [19:08:50.655]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 883.02 MiB)
19:08:50 [19:08:50.741]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 883.02 MiB)
19:08:50 finished decider proving. (mem: 883.02 MiB)
19:08:50 [19:08:50.758]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 883.02 MiB)
19:08:50 [19:08:50.897]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
19:08:50 [19:08:50.898]
INFO:
ivc-integration:test:native bb - (mem: 883.02 MiB)
19:08:50 [19:08:50.906]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 883.02 MiB)
19:08:51 [19:08:51.077]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 883.02 MiB)
19:08:51 [19:08:51.124]
INFO:
ivc-integration:test:native bb - time to construct proving key: 225 ms. (mem: 883.02 MiB)
19:08:51 [19:08:51.940]
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-PtLLXV/proof -k /tmp/bb-client-ivc-integration-PtLLXV/vk -v
19:08:51 [19:08:51.970]
INFO:
ivc-integration:test:native bb command: verify (mem: 184.36 MiB)
19:08:51 Scheme is: client_ivc, num threads: 128 (mem: 184.36 MiB)
19:08:51 --proof_path: /tmp/bb-client-ivc-integration-PtLLXV/proof (mem: 184.36 MiB)
19:08:51 --vk_path: /tmp/bb-client-ivc-integration-PtLLXV/vk (mem: 184.36 MiB)
19:08:51 --verbose: true (mem: 184.36 MiB)
19:08:51 --scheme: client_ivc (mem: 184.36 MiB)
19:08:52 [19:08:52.063]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 184.36 MiB)
19:08:52 [19:08:52.090]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 184.36 MiB)
19:08:52 [19:08:52.092]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 184.36 MiB)
19:08:52 [19:08:52.111]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.36 MiB)
19:08:52 [19:08:52.112]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 184.36 MiB)
19:08:52 [19:08:52.113]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 184.36 MiB)
19:08:52 libra_evals_verified: 1 (mem: 184.36 MiB)
19:08:52 pairing_check_verified: 1 (mem: 184.36 MiB)
19:08:52 Mega verified: 1 (mem: 184.36 MiB)
19:08:52 [19:08:52.185]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 184.36 MiB)
19:08:52 batch opening verified?: 1 (mem: 184.36 MiB)
19:08:52 eccvm consistency check verified?: 1 (mem: 184.36 MiB)
19:08:52 translation masking consistency checked?: 1 (mem: 184.36 MiB)
19:08:52 [19:08:52.216]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 184.36 MiB)
19:08:52 eccvm verified?: 1 (mem: 184.36 MiB)
19:08:52 accumulator construction_verified?: 1 (mem: 184.36 MiB)
19:08:52 [19:08:52.217]
INFO:
ivc-integration:test:native translation verified?: 1 (mem: 184.36 MiB)
19:08:52 consistency verified?: 1 (mem: 184.36 MiB)
19:08:52 Goblin verified: 1 (mem: 184.36 MiB)
19:08:52 [19:08:52.225]
INFO:
ivc-integration:test:native verified: 1 (mem: 184.36 MiB)
19:08:52 [19:08:52.333]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-b4Kqd1/ivc-inputs.msgpack
19:08:52 [19:08:52.334]
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-b4Kqd1 --ivc_inputs_path /tmp/bb-client-ivc-integration-b4Kqd1/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
19:08:52 [19:08:52.358]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 187.70 MiB)
19:08:52 Scheme is: client_ivc, num threads: 128 (mem: 187.70 MiB)
19:08:52 --scheme: client_ivc (mem: 187.70 MiB)
19:08:52 --output_path: /tmp/bb-client-ivc-integration-b4Kqd1 (mem: 187.70 MiB)
19:08:52 --ivc_inputs_path: /tmp/bb-client-ivc-integration-b4Kqd1/ivc-inputs.msgpack (mem: 187.70 MiB)
19:08:52 --verbose: true (mem: 187.70 MiB)
19:08:52 --write_vk: true (mem: 187.70 MiB)
19:08:52 [19:08:52.363]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 187.70 MiB)
19:08:52 [19:08:52.513]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 273.00 MiB)
19:08:52 [19:08:52.590]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169
19:08:52 [19:08:52.591]
INFO:
ivc-integration:test:native bb - (mem: 322.00 MiB)
19:08:52 [19:08:52.597]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 322.00 MiB)
19:08:52 Constructing DeciderProvingKey (mem: 322.00 MiB)
19:08:52 [19:08:52.605]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 322.00 MiB)
19:08:52 goblin ecc op : 4/1024 (mem: 322.00 MiB)
19:08:52 busread : 7/6000 (mem: 322.00 MiB)
19:08:52 lookups : 2/15000 (mem: 322.00 MiB)
19:08:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 322.00 MiB)
19:08:52 arithmetic : 1760/56000 (mem: 322.00 MiB)
19:08:52 delta range : 1754/18000 (mem: 322.00 MiB)
19:08:52 elliptic : 2/6000 (mem: 322.00 MiB)
19:08:52 auxiliary : 26/26000 (mem: 322.00 MiB)
19:08:52 poseidon ext : 2/17000 (mem: 322.00 MiB)
19:08:52 poseidon int : 2/92000 (mem: 322.00 MiB)
19:08:52 overflow : 0/0 (mem: 322.00 MiB)
19:08:52 (mem: 322.00 MiB)
19:08:52 Total structured size: 242025 (mem: 322.00 MiB)
19:08:52 allocating polynomials object in proving key... (mem: 322.00 MiB)
19:08:52 [19:08:52.684]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 513.00 MiB)
19:08:52 [19:08:52.694]
INFO:
ivc-integration:test:native bb - time to construct proving key: 97 ms. (mem: 525.00 MiB)
19:08:52 [19:08:52.804]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b2116951480 (mem: 525.00 MiB)
19:08:52 [19:08:52.805]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 525.00 MiB)
19:08:52 [19:08:52.806]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.00 MiB)
19:08:53 [19:08:53.086]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 534.00 MiB)
19:08:53 [19:08:53.098]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 534.00 MiB)
19:08:53 [19:08:53.122]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 534.00 MiB)
19:08:53 Constructing DeciderProvingKey (mem: 534.00 MiB)
19:08:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 534.00 MiB)
19:08:53 goblin ecc op : 56/1024 (mem: 534.00 MiB)
19:08:53 busread : 12/6000 (mem: 534.00 MiB)
19:08:53 lookups : 2/15000 (mem: 534.00 MiB)
19:08:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 534.00 MiB)
19:08:53 arithmetic : 4625/56000 (mem: 534.00 MiB)
19:08:53 delta range : 2054/18000 (mem: 534.00 MiB)
19:08:53 elliptic : 2/6000 (mem: 534.00 MiB)
19:08:53 auxiliary : 110/26000 (mem: 534.00 MiB)
19:08:53 poseidon ext : 1302/17000 (mem: 534.00 MiB)
19:08:53 poseidon int : 7412/92000 (mem: 534.00 MiB)
19:08:53 overflow : 0/0 (mem: 534.00 MiB)
19:08:53 (mem: 534.00 MiB)
19:08:53 Total structured size: 242025 (mem: 534.00 MiB)
19:08:53 allocating polynomials object in proving key... (mem: 534.00 MiB)
19:08:53 [19:08:53.228]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 732.00 MiB)
19:08:53 [19:08:53.246]
INFO:
ivc-integration:test:native bb - time to construct proving key: 129 ms. (mem: 751.00 MiB)
19:08:53 [19:08:53.286]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b211695a700 (mem: 751.00 MiB)
19:08:53 computing folding proof (mem: 751.00 MiB)
19:08:53 [19:08:53.287]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 751.00 MiB)
19:08:53 [19:08:53.658]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 752.00 MiB)
19:08:53 [19:08:53.783]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 788.00 MiB)
19:08:53 [19:08:53.845]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 821.00 MiB)
19:08:54 [19:08:54.191]
INFO:
ivc-integration:test:native bb - folded (mem: 821.00 MiB)
19:08:54 constructed folding proof (mem: 821.00 MiB)
19:08:54 [19:08:54.196]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.00 MiB)
19:08:54 Constructing DeciderProvingKey (mem: 821.00 MiB)
19:08:54 [19:08:54.200]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.00 MiB)
19:08:54 goblin ecc op : 4/1024 (mem: 821.00 MiB)
19:08:54 busread : 7/6000 (mem: 821.00 MiB)
19:08:54 lookups : 2/15000 (mem: 821.00 MiB)
19:08:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.00 MiB)
19:08:54 arithmetic : 1760/56000 (mem: 821.00 MiB)
19:08:54 delta range : 1754/18000 (mem: 821.00 MiB)
19:08:54 elliptic : 2/6000 (mem: 821.00 MiB)
19:08:54 auxiliary : 26/26000 (mem: 821.00 MiB)
19:08:54 poseidon ext : 2/17000 (mem: 821.00 MiB)
19:08:54 poseidon int : 2/92000 (mem: 821.00 MiB)
19:08:54 overflow : 0/0 (mem: 821.00 MiB)
19:08:54 (mem: 821.00 MiB)
19:08:54 Total structured size: 242025 (mem: 821.00 MiB)
19:08:54 allocating polynomials object in proving key... (mem: 821.00 MiB)
19:08:54 [19:08:54.338]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 821.00 MiB)
19:08:54 [19:08:54.365]
INFO:
ivc-integration:test:native bb - time to construct proving key: 170 ms. (mem: 821.00 MiB)
19:08:54 [19:08:54.490]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b2116951cc0 (mem: 821.00 MiB)
19:08:54 computing folding proof (mem: 821.00 MiB)
19:08:54 [19:08:54.491]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.00 MiB)
19:08:54 [19:08:54.776]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.00 MiB)
19:08:54 [19:08:54.881]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 821.00 MiB)
19:08:54 [19:08:54.924]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 821.00 MiB)
19:08:55 [19:08:55.217]
INFO:
ivc-integration:test:native bb - folded (mem: 821.00 MiB)
19:08:55 constructed folding proof (mem: 821.00 MiB)
19:08:55 [19:08:55.233]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 821.00 MiB)
19:08:55 [19:08:55.295]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.00 MiB)
19:08:55 [19:08:55.376]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 821.00 MiB)
19:08:55 Constructing DeciderProvingKey (mem: 821.00 MiB)
19:08:55 [19:08:55.379]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.00 MiB)
19:08:55 goblin ecc op : 792/1024 (mem: 821.00 MiB)
19:08:55 busread : 12/6000 (mem: 821.00 MiB)
19:08:55 lookups : 2/15000 (mem: 821.00 MiB)
19:08:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem:
19:08:55 [19:08:55.379]
INFO:
ivc-integration:test:native bb - 821.00 MiB)
19:08:55 arithmetic : 12080/56000 (mem: 821.00 MiB)
19:08:55 delta range : 2942/18000 (mem: 821.00 MiB)
19:08:55 elliptic : 2/6000 (mem: 821.00 MiB)
19:08:55 auxiliary : 350/26000 (mem: 821.00 MiB)
19:08:55 poseidon ext : 4942/17000 (mem: 821.00 MiB)
19:08:55 poseidon int : 28160/92000 (mem: 821.00 MiB)
19:08:55 overflow : 0/0 (mem: 821.00 MiB)
19:08:55 (mem: 821.00 MiB)
19:08:55 Total structured size: 242025 (mem: 821.00 MiB)
19:08:55 allocating polynomials object in proving key... (mem: 821.00 MiB)
19:08:55 [19:08:55.480]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 821.00 MiB)
19:08:55 [19:08:55.521]
INFO:
ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 821.00 MiB)
19:08:55 [19:08:55.632]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b21169cf540 (mem: 821.00 MiB)
19:08:55 computing folding proof (mem: 821.00 MiB)
19:08:55 vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 821.00 MiB)
19:08:56 [19:08:56.027]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.00 MiB)
19:08:56 [19:08:56.136]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 821.00 MiB)
19:08:56 [19:08:56.205]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 848.67 MiB)
19:08:56 [19:08:56.426]
INFO:
ivc-integration:test:native bb - folded (mem: 848.67 MiB)
19:08:56 constructed folding proof (mem: 848.67
19:08:56 [19:08:56.427]
INFO:
ivc-integration:test:native bb - MiB)
19:08:56 [19:08:56.437]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 848.67 MiB)
19:08:56 [19:08:56.511]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 848.67 MiB)
19:08:56 Constructing DeciderProvingKey (mem: 848.67 MiB)
19:08:56 [19:08:56.513]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
19:08:56 [19:08:56.513]
INFO:
ivc-integration:test:native bb - (mem:
19:08:56 [19:08:56.513]
INFO:
ivc-integration:test:native bb - 848.67
19:08:56 [19:08:56.513]
INFO:
ivc-integration:test:native bb - MiB)
19:08:56 [19:08:56.514]
INFO:
ivc-integration:test:native bb -
19:08:56 [19:08:56.514]
INFO:
ivc-integration:test:native bb - goblin ecc op : 392/1024
19:08:56 [19:08:56.514]
INFO:
ivc-integration:test:native bb - (mem:
19:08:56 [19:08:56.515]
INFO:
ivc-integration:test:native bb - 848.67
19:08:56 [19:08:56.515]
INFO:
ivc-integration:test:native bb - MiB)
19:08:56 [19:08:56.515]
INFO:
ivc-integration:test:native bb -
19:08:56 [19:08:56.516]
INFO:
ivc-integration:test:native bb - busread : 16/6000 (mem: 848.67 MiB)
19:08:56 lookups : 2/15000 (mem: 848.67 MiB)
19:08:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.67 MiB)
19:08:56 arithmetic : 6914/56000 (mem: 848.67 MiB)
19:08:56 delta range : 2347/18000 (mem: 848.67 MiB)
19:08:56 elliptic : 2/6000 (mem: 848.67 MiB)
19:08:56 auxiliary : 77/26000 (mem: 848.67 MiB)
19:08:56 poseidon ext : 2472/17000 (mem: 848.67 MiB)
19:08:56 poseidon int : 14081/92000 (mem: 848.67 MiB)
19:08:56 overflow : 0/0 (mem: 848.67 MiB)
19:08:56 (mem: 848.67 MiB)
19:08:56 Total structured size: 242025 (mem: 848.67 MiB)
19:08:56 allocating polynomials object in proving key... (mem: 848.67 MiB)
19:08:56 [19:08:56.611]
INFO:
ivc-integration:test:native bb - populating trace...
19:08:56 [19:08:56.612]
INFO:
ivc-integration:test:native bb - (mem: 848.67 MiB)
19:08:56 [19:08:56.665]
INFO:
ivc-integration:test:native bb - time to construct proving key: 157 ms. (mem: 848.67 MiB)
19:08:56 [19:08:56.842]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b21169610c0 (mem: 848.67 MiB)
19:08:56 computing folding proof (mem: 848.67 MiB)
19:08:56 [19:08:56.844]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 848.67 MiB)
19:08:57 [19:08:57.277]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 848.67 MiB)
19:08:57 [19:08:57.374]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 848.67 MiB)
19:08:57 [19:08:57.447]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 850.84 MiB)
19:08:57 [19:08:57.691]
INFO:
ivc-integration:test:native bb - folded (mem: 850.84 MiB)
19:08:57 constructed folding proof (mem: 850.84 MiB)
19:08:57 [19:08:57.695]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0
19:08:57 [19:08:57.696]
INFO:
ivc-integration:test:native bb - (mem:
19:08:57 [19:08:57.696]
INFO:
ivc-integration:test:native bb - 850.84
19:08:57 [19:08:57.696]
INFO:
ivc-integration:test:native bb - MiB)
19:08:57 [19:08:57.696]
INFO:
ivc-integration:test:native bb -
19:08:57 [19:08:57.762]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5
19:08:57 [19:08:57.766]
INFO:
ivc-integration:test:native bb - (mem: 850.84 MiB)
19:08:57 Constructing DeciderProvingKey (mem: 850.84 MiB)
19:08:57 [19:08:57.768]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
19:08:57 [19:08:57.769]
INFO:
ivc-integration:test:native bb - (mem:
19:08:57 [19:08:57.769]
INFO:
ivc-integration:test:native bb - 850.84
19:08:57 [19:08:57.770]
INFO:
ivc-integration:test:native bb - MiB)
19:08:57 goblin ecc op : 392/1024 (mem: 850.84 MiB)
19:08:57 busread : 3/6000 (mem: 850.84 MiB)
19:08:57 lookups : 2/15000 (mem: 850.84 MiB)
19:08:57 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 850.84 MiB)
19:08:57 arithmetic : 6849/56000 (mem: 850.84 MiB)
19:08:57 delta range : 2333/18000 (mem: 850.84 MiB)
19:08:57 elliptic : 2/6000 (mem: 850.84 MiB)
19:08:57 auxiliary : 50/26000 (mem: 850.84 MiB)
19:08:57 poseidon ext : 2472/17000 (mem: 850.84 MiB)
19:08:57 poseidon int : 14081/92000 (mem: 850.84 MiB)
19:08:57 overflow : 0/0 (mem: 850.84 MiB)
19:08:57 (mem: 850.84 MiB)
19:08:57 Total structured size: 242025 (mem: 850.84 MiB)
19:08:57 allocating polynomials object in proving key... (mem: 850.84 MiB)
19:08:57 [19:08:57.877]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 850.84 MiB)
19:08:57 [19:08:57.904]
INFO:
ivc-integration:test:native bb - time to construct proving key: 140 ms. (mem: 850.84 MiB)
19:08:58 [19:08:58.065]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b21169b62c0 (mem: 850.84 MiB)
19:08:58 computing folding proof (mem: 850.84 MiB)
19:08:58 [19:08:58.066]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 850.84 MiB)
19:08:58 [19:08:58.404]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.84 MiB)
19:08:58 [19:08:58.543]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 850.84 MiB)
19:08:58 [19:08:58.612]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 850.84 MiB)
19:08:58 [19:08:58.839]
INFO:
ivc-integration:test:native bb - folded (mem: 850.84 MiB)
19:08:58 constructed folding proof (mem: 850.84 MiB)
19:08:58 [19:08:58.841]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 850.84 MiB)
19:08:58 Minimum required block sizes for structured trace: (mem: 850.84 MiB)
19:08:58 (mem: 850.84 MiB)
19:08:58 prove decider... (mem: 850.84 MiB)
19:08:58 [19:08:58.841]
INFO:
ivc-integration:test:native bb - ecc_op : 792
19:08:58 busread : 16
19:08:58 lookup : 2
19:08:58 pub_inputs : 36
19:08:58 arithmetic : 12080
19:08:58 delta_range : 2942
19:08:58 elliptic : 2
19:08:58 aux : 350
19:08:58 poseidon2_external : 4942
19:08:58 poseidon2_internal : 28160
19:08:58 overflow : 0
19:08:58 [19:08:58.950]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.84 MiB)
19:08:59 [19:08:59.151]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 850.84 MiB)
19:08:59 [19:08:59.779]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.84 MiB)
19:08:59 [19:08:59.859]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 850.84 MiB)
19:08:59 finished decider proving. (mem: 850.84 MiB)
19:08:59 [19:08:59.889]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 850.84 MiB)
19:09:00 [19:09:00.031]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.84 MiB)
19:09:00 [19:09:00.038]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 850.84 MiB)
19:09:00 [19:09:00.184]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 850.84 MiB)
19:09:00 [19:09:00.218]
INFO:
ivc-integration:test:native bb - time to construct proving key: 187 ms. (mem: 850.84 MiB)
19:09:00 [19:09:00.912]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 850.84 MiB)
19:09:01 [19:09:01.354]
INFO:
ivc-integration:test:native bb - created oink proof
19:09:01 [19:09:01.355]
INFO:
ivc-integration:test:native bb - (mem: 850.84 MiB)
19:09:01 [19:09:01.506]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.84 MiB)
19:09:02 [19:09:02.283]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.84 MiB)
19:09:02 [19:09:02.720]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.84 MiB)
19:09:02 [19:09:02.744]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 850.84 MiB)
19:09:02 finished decider proving. (mem: 850.84 MiB)
19:09:02 [19:09:02.745]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 850.84 MiB)
19:09:02 [19:09:02.844]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 850.84 MiB)
19:09:03 [19:09:03.231]
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.84 MiB)
19:09:03 [19:09:03.246]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561
19:09:03 [19:09:03.248]
INFO:
ivc-integration:test:native bb - (mem: 850.84 MiB)
19:09:04 [19:09:04.439]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.84 MiB)
19:09:06 [19:09:06.021]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.84 MiB)
19:09:10 [19:09:10.892]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 850.84 MiB)
19:09:10 prove translator... (mem: 850.84 MiB)
19:09:14 [19:09:14.693]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 871.92 MiB)
19:09:16 [19:09:16.728]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 871.92 MiB)
19:09:18 [19:09:18.294]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 871.92 MiB)
19:09:18 [19:09:18.295]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 871.92 MiB)
19:09:18 [19:09:18.304]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 871.92 MiB)
19:09:18 [19:09:18.320]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 871.92 MiB)
19:09:18 [19:09:18.321]
INFO:
ivc-integration:test:native bb - libra_evals_verified: 1 (mem: 871.92 MiB)
19:09:18 pairing_check_verified: 1 (mem: 871.92 MiB)
19:09:18 Mega verified: 1 (mem: 871.92 MiB)
19:09:18 [19:09:18.395]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 871.92 MiB)
19:09:18 batch opening verified?: 1 (mem: 871.92 MiB)
19:09:18 eccvm consistency check verified?: 1 (mem: 871.92 MiB)
19:09:18 translation masking consistency checked?: 1 (mem: 871.92 MiB)
19:09:18 [19:09:18.413]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 871.92 MiB)
19:09:18 eccvm verified?: 1 (mem: 871.92 MiB)
19:09:18 accumulator construction_verified?: 1 (mem: 871.92 MiB)
19:09:18 translation verified?: 1 (mem: 871.92 MiB)
19:09:18 consistency verified?: 1 (mem: 871.92 MiB)
19:09:18 [19:09:18.414]
INFO:
ivc-integration:test:native bb - Goblin verified: 1 (mem: 871.92 MiB)
19:09:18 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-b4Kqd1" (mem: 871.92 MiB)
19:09:18 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-b4Kqd1" (mem: 871.92 MiB)
19:09:18 BN254 commitment key size: 262144 (mem: 871.92 MiB)
19:09:18 [19:09:18.417]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.92 MiB)
19:09:18 [19:09:18.420]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 871.92 MiB)
19:09:18 goblin ecc op : 4/1024 (mem: 871.92 MiB)
19:09:18 busread : 3/6000 (mem: 871.92 MiB)
19:09:18 lookups : 2/15000 (mem: 871.92 MiB)
19:09:18 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 871.92 MiB)
19:09:18 arithmetic : 1773/56000 (mem: 871.92 MiB)
19:09:18 delta range : 1754/18000 (mem: 871.92 MiB)
19:09:18 elliptic : 2/6000 (mem: 871.92 MiB)
19:09:18 auxiliary : 26/26000 (mem: 871.92 MiB)
19:09:18 poseidon ext : 2/17000 (mem: 871.92 MiB)
19:09:18 poseidon int : 2/92000 (mem: 871.92 MiB)
19:09:18 overflow : 0/0 (mem: 871.92 MiB)
19:09:18 (mem: 871.92 MiB)
19:09:18 Total structured size: 242025 (mem: 871.92 MiB)
19:09:18 [19:09:18.421]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 871.92 MiB)
19:09:18 [19:09:18.568]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 871.92 MiB)
19:09:18 [19:09:18.581]
INFO:
ivc-integration:test:native bb - time to construct proving key: 163 ms. (mem: 871.92 MiB)
19:09:18 [19:09:18.690]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.92 MiB)
19:09:19 [19:09:19.253]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 871.92 MiB)
19:09:19 [19:09:19.254]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 871.92 MiB)
19:09:19 [19:09:19.348]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 871.92 MiB)
19:09:19 [19:09:19.357]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 871.92 MiB)
19:09:19 [19:09:19.372]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.92 MiB)
19:09:19 [19:09:19.375]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 871.92 MiB)
19:09:19 goblin ecc op : 56/1024 (mem: 871.92 MiB)
19:09:19 [19:09:19.375]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 871.92 MiB)
19:09:19 lookups : 2/15000 (mem: 871.92 MiB)
19:09:19 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 871.92 MiB)
19:09:19 arithmetic : 4481/56000 (mem: 871.92 MiB)
19:09:19 delta range : 2041/18000 (mem: 871.92 MiB)
19:09:19 elliptic : 2/6000 (mem: 871.92 MiB)
19:09:19 auxiliary : 50/26000 (mem: 871.92 MiB)
19:09:19 poseidon ext : 1312/17000 (mem: 871.92 MiB)
19:09:19 poseidon int : 7469/92000 (mem: 871.92 MiB)
19:09:19 overflow : 0/0 (mem: 871.92 MiB)
19:09:19 (mem: 871.92 MiB)
19:09:19 Total structured size: 242025 (mem: 871.92 MiB)
19:09:19 allocating polynomials object in proving key... (mem: 871.92 MiB)
19:09:19 [19:09:19.457]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 871.92 MiB)
19:09:19 [19:09:19.474]
INFO:
ivc-integration:test:native bb - time to construct proving key: 102 ms. (mem: 871.92 MiB)
19:09:19 [19:09:19.531]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.92 MiB)
19:09:20 [19:09:20.120]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 871.92 MiB)
19:09:20 [19:09:20.121]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 871.92 MiB)
19:09:20 [19:09:20.329]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 871.92 MiB)
19:09:20 [19:09:20.463]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 871.92 MiB)
19:09:20 [19:09:20.503]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 903.92 MiB)
19:09:20 [19:09:20.727]
INFO:
ivc-integration:test:native bb - folded (mem: 903.92 MiB)
19:09:20 constructed folding proof (mem: 903.92 MiB)
19:09:20 Largest circuit: 15360 gates. Trace details: (mem: 903.92 MiB)
19:09:20 Minimum required block sizes for structured trace: (mem: 903.92 MiB)
19:09:20 (mem: 903.92 MiB)
19:09:20 prove decider... (mem: 903.92 MiB)
19:09:20 [19:09:20.728]
INFO:
ivc-integration:test:native bb - ecc_op : 56
19:09:20 busread : 3
19:09:20 lookup : 2
19:09:20 pub_inputs : 36
19:09:20 arithmetic : 4481
19:09:20 delta_range : 2041
19:09:20 elliptic : 2
19:09:20 aux : 50
19:09:20 poseidon2_external : 1312
19:09:20 poseidon2_internal : 7469
19:09:20 overflow : 0
19:09:20 [19:09:20.946]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
19:09:20 [19:09:20.947]
INFO:
ivc-integration:test:native bb - (mem:
19:09:20 [19:09:20.948]
INFO:
ivc-integration:test:native bb - 903.92 MiB)
19:09:21 [19:09:21.136]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 903.92 MiB)
19:09:21 [19:09:21.700]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 903.92 MiB)
19:09:21 [19:09:21.753]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 903.92 MiB)
19:09:21 [19:09:21.753]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 903.92 MiB)
19:09:21 [19:09:21.775]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 903.92 MiB)
19:09:21 [19:09:21.896]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 903.92 MiB)
19:09:21 [19:09:21.902]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 903.92 MiB)
19:09:21 [19:09:21.964]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 903.92 MiB)
19:09:22 [19:09:22.002]
INFO:
ivc-integration:test:native bb - time to construct proving key: 106 ms. (mem: 903.92 MiB)
19:09:22 [19:09:22.393]
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-b4Kqd1/proof -k /tmp/bb-client-ivc-integration-b4Kqd1/vk -v
19:09:22 [19:09:22.411]
INFO:
ivc-integration:test:native bb command: verify (mem: 189.39 MiB)
19:09:22 Scheme is: client_ivc, num threads: 128 (mem:
19:09:22 [19:09:22.412]
INFO:
ivc-integration:test:native 189.39 MiB)
19:09:22 --proof_path: /tmp/bb-client-ivc-integration-b4Kqd1/proof (mem: 189.39 MiB)
19:09:22 --vk_path: /tmp/bb-client-ivc-integration-b4Kqd1/vk (mem: 189.39 MiB)
19:09:22 --verbose: true (mem: 189.39 MiB)
19:09:22 --scheme: client_ivc (mem: 189.39 MiB)
19:09:22 [19:09:22.507]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 189.39 MiB)
19:09:22 [19:09:22.526]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 189.39 MiB)
19:09:22 [19:09:22.527]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 189.39 MiB)
19:09:22 [19:09:22.543]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 189.39 MiB)
19:09:22 [19:09:22.545]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 189.39 MiB)
19:09:22 sumcheck_verified: 1 (mem: 189.39 MiB)
19:09:22 libra_evals_verified: 1 (mem: 189.39 MiB)
19:09:22 pairing_check_verified: 1 (mem: 189.39 MiB)
19:09:22 Mega verified: 1 (mem: 189.39 MiB)
19:09:22 [19:09:22.596]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.39 MiB)
19:09:22 batch opening verified?: 1 (mem: 189.39 MiB)
19:09:22 eccvm consistency check verified?: 1 (mem: 189.39 MiB)
19:09:22 translation masking consistency checked?: 1 (mem: 189.39 MiB)
19:09:22 [19:09:22.621]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 189.39 MiB)
19:09:22 eccvm verified?: 1 (mem: 189.39 MiB)
19:09:22 accumulator construction_verified?: 1 (mem: 189.39 MiB)
19:09:22 translation verified?: 1 (mem: 189.39 MiB)
19:09:22 consistency verified?: 1 (mem: 189.39 MiB)
19:09:22 Goblin verified: 1 (mem: 189.39 MiB)
19:09:22 [19:09:22.626]
INFO:
ivc-integration:test:native verified: 1 (mem: 189.39 MiB)
19:09:22
PASS src/native_client_ivc_integration.test.ts (
72.796 s)
19:09:22 Client IVC Integration
19:09:22
✓ Should generate a verifiable client IVC proof from a simple mock tx (38849 ms)
19:09:22
✓ Should generate a verifiable client IVC proof from a complex mock tx (30406 ms)
19:09:22
19:09:22
Test Suites: 1 passed, 1 total
19:09:22
Tests: 2 passed, 2 total
19:09:22
Snapshots: 0 total
19:09:22
Time: 72.911 s
19:09:22
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
19:09:22
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?