Parent Log:
http://ci.aztec-labs.com/d240895a55e41983
Command: 53eb328a1446f762: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/a48851a8c6884f4b9615a154f8862a549722d25e
Env: REF_NAME=gh-readonly-queue/next/pr-14680-3b5835195491b53670250790b18c14d922718574 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 17 11:24:06 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14680_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
11:24:10 [11:24:10.697]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-UkxTWx/ivc-inputs.msgpack
11:24:10 [11:24:10.703]
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-UkxTWx --ivc_inputs_path /tmp/bb-client-ivc-integration-UkxTWx/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:24:10 [11:24:10.725]
INFO:
ivc-integration:test:native bb - bb command: prove (mem:
11:24:10 [11:24:10.725]
INFO:
ivc-integration:test:native bb - 184.58 MiB)
11:24:10 Scheme is: client_ivc, num threads: 128 (mem: 184.58 MiB)
11:24:10 --scheme: client_ivc (mem: 184.58 MiB)
11:24:10 --output_path: /tmp/bb-client-ivc-integration-UkxTWx (mem: 184.58 MiB)
11:24:10 --ivc_inputs_path: /tmp/bb-client-ivc-integration-UkxTWx/ivc-inputs.msgpack (mem: 184.58 MiB)
11:24:10 --verbose: true (mem: 184.58 MiB)
11:24:10 --write_vk: true (mem: 184.58 MiB)
11:24:10 [11:24:10.726]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.58 MiB)
11:24:10 [11:24:10.851]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.00 MiB)
11:24:10 [11:24:10.930]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 299.12 MiB)
11:24:10 [11:24:10.934]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 299.12 MiB)
11:24:10 Constructing DeciderProvingKey (mem: 299.12 MiB)
11:24:10 [11:24:10.940]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 299.12 MiB)
11:24:10 goblin ecc op : 4/1024 (mem: 299.12 MiB)
11:24:10 busread : 7/6000 (mem: 299.12 MiB)
11:24:10 lookups : 2/15000 (mem:
11:24:10 [11:24:10.942]
INFO:
ivc-integration:test:native bb - 299.12 MiB)
11:24:10 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 299.12 MiB)
11:24:10 arithmetic : 1760/56000 (mem: 299.12 MiB)
11:24:10 delta range : 1754/18000 (mem: 299.12 MiB)
11:24:10 elliptic : 2/6000 (mem: 299.12 MiB)
11:24:10 auxiliary : 26/26000 (mem: 299.12 MiB)
11:24:10 poseidon ext : 2/17000 (mem: 299.12 MiB)
11:24:10 poseidon int : 2/92000 (mem: 299.12 MiB)
11:24:10 overflow : 0/0 (mem: 299.12 MiB)
11:24:10 (mem: 299.12 MiB)
11:24:10 Total structured size: 242025 (mem: 299.12 MiB)
11:24:10 allocating polynomials object in proving key... (mem: 299.12 MiB)
11:24:11 [11:24:11.016]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 497.28 MiB)
11:24:11 [11:24:11.041]
INFO:
ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 513.28 MiB)
11:24:11 [11:24:11.089]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6123fedf0440 (mem: 513.28 MiB)
11:24:11 computing oink proof... (mem: 513.28 MiB)
11:24:11 [11:24:11.090]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.28 MiB)
11:24:11 [11:24:11.243]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 520.28 MiB)
11:24:11 [11:24:11.252]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.28 MiB)
11:24:11 [11:24:11.270]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 520.28 MiB)
11:24:11 Constructing DeciderProvingKey (mem: 520.28 MiB)
11:24:11 [11:24:11.274]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 520.28 MiB)
11:24:11 goblin ecc op : 56/1024 (mem:
11:24:11 [11:24:11.276]
INFO:
ivc-integration:test:native bb - 520.28 MiB)
11:24:11 busread : 12/6000 (mem: 520.28 MiB)
11:24:11 lookups : 2/15000 (mem: 520.28 MiB)
11:24:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 520.28 MiB)
11:24:11 arithmetic : 4625/56000 (mem: 520.28 MiB)
11:24:11 delta range : 2054/18000 (mem: 520.28 MiB)
11:24:11 elliptic : 2/6000 (mem: 520.28 MiB)
11:24:11 auxiliary : 110/26000 (mem: 520.28 MiB)
11:24:11 poseidon ext : 1302/17000 (mem: 520.28 MiB)
11:24:11 poseidon int : 7412/92000 (mem: 520.28 MiB)
11:24:11 overflow : 0/0 (mem: 520.28 MiB)
11:24:11 (mem: 520.28 MiB)
11:24:11 Total structured size: 242025 (mem: 520.28 MiB)
11:24:11 allocating polynomials object in proving key... (mem: 520.28 MiB)
11:24:11 [11:24:11.386]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 734.28 MiB)
11:24:11 [11:24:11.417]
INFO:
ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 750.28 MiB)
11:24:11 [11:24:11.505]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6123fedfd100 (mem: 750.28 MiB)
11:24:11 computing folding proof (mem: 750.28 MiB)
11:24:11 [11:24:11.506]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 750.28 MiB)
11:24:11 [11:24:11.971]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.28 MiB)
11:24:12 [11:24:12.108]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 787.28 MiB)
11:24:12 [11:24:12.185]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 821.28 MiB)
11:24:12 [11:24:12.670]
INFO:
ivc-integration:test:native bb - folded (mem: 821.28 MiB)
11:24:12 [11:24:12.671]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 821.28 MiB)
11:24:12 [11:24:12.684]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 821.28 MiB)
11:24:12 [11:24:12.752]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.28 MiB)
11:24:12 Constructing DeciderProvingKey (mem: 821.28 MiB)
11:24:12 [11:24:12.754]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.28 MiB)
11:24:12 goblin ecc op : 392/1024 (mem: 821.28 MiB)
11:24:12 busread : 3/6000 (mem: 821.28 MiB)
11:24:12 lookups : 2/15000 (mem: 821.28 MiB)
11:24:12 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 821.28 MiB)
11:24:12 arithmetic : 6849/56000 (mem: 821.28 MiB)
11:24:12 delta range : 2333/18000 (mem: 821.28 MiB)
11:24:12 elliptic : 2/6000 (mem: 821.28 MiB)
11:24:12 auxiliary : 50/26000 (mem: 821.28 MiB)
11:24:12 poseidon ext : 2472/17000 (mem: 821.28 MiB)
11:24:12 poseidon int : 14081/92000 (mem: 821.28 MiB)
11:24:12 overflow : 0/0 (mem: 821.28 MiB)
11:24:12 (mem: 821.28 MiB)
11:24:12 Total structured size: 242025 (mem: 821.28 MiB)
11:24:12 allocating polynomials object in proving key... (mem: 821.28 MiB)
11:24:12 [11:24:12.915]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 821.28 MiB)
11:24:12 [11:24:12.965]
INFO:
ivc-integration:test:native bb - time to construct proving key: 215 ms. (mem: 821.28 MiB)
11:24:13 [11:24:13.154]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6123fedf2a80 (mem: 821.28 MiB)
11:24:13 computing folding proof (mem: 821.28 MiB)
11:24:13 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 821.28 MiB)
11:24:13 [11:24:13.835]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.28 MiB)
11:24:13 [11:24:13.969]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 821.28 MiB)
11:24:14 [11:24:14.001]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 821.28 MiB)
11:24:14 [11:24:14.463]
INFO:
ivc-integration:test:native bb - folded (mem: 821.28 MiB)
11:24:14 constructed folding proof (mem: 821.28 MiB)
11:24:14 [11:24:14.464]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 821.28 MiB)
11:24:14 Minimum required block sizes for structured trace: (mem: 821.28 MiB)
11:24:14 (mem: 821.28 MiB)
11:24:14 prove decider... (mem: 821.28 MiB)
11:24:14 [11:24:14.465]
INFO:
ivc-integration:test:native bb - ecc_op : 392
11:24:14 busread : 12
11:24:14 lookup : 2
11:24:14 pub_inputs : 36
11:24:14 arithmetic : 6849
11:24:14 delta_range : 2333
11:24:14 elliptic : 2
11:24:14 aux : 110
11:24:14 poseidon2_external : 2472
11:24:14 poseidon2_internal : 14081
11:24:14 overflow : 0
11:24:14 [11:24:14.759]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.28 MiB)
11:24:15 [11:24:15.020]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 821.28 MiB)
11:24:16 [11:24:16.291]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 821.28 MiB)
11:24:16 [11:24:16.423]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 821.28 MiB)
11:24:16 finished decider proving. (mem: 821.28 MiB)
11:24:16 [11:24:16.437]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 821.28 MiB)
11:24:16 [11:24:16.566]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 821.28 MiB)
11:24:16 [11:24:16.578]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 821.28 MiB)
11:24:16 [11:24:16.755]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 821.28 MiB)
11:24:16 [11:24:16.808]
INFO:
ivc-integration:test:native bb - time to construct proving key: 240 ms. (mem: 821.28 MiB)
11:24:18 [11:24:18.085]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 821.28 MiB)
11:24:18 [11:24:18.780]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 821.28 MiB)
11:24:19 [11:24:19.097]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.28 MiB)
11:24:20 [11:24:20.953]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 821.28 MiB)
11:24:22 [11:24:22.077]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 821.28 MiB)
11:24:22 [11:24:22.129]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 821.28 MiB)
11:24:22 finished decider proving. (mem: 821.28 MiB)
11:24:22 Constructing a Goblin proof with num ultra ops = 1038 (mem: 821.28 MiB)
11:24:22 [11:24:22.480]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 821.28 MiB)
11:24:23 [11:24:23.244]
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: 821.28 MiB)
11:24:23 [11:24:23.266]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561
11:24:23 [11:24:23.267]
INFO:
ivc-integration:test:native bb - (mem: 821.28 MiB)
11:24:25 [11:24:25.490]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem:
11:24:25 [11:24:25.492]
INFO:
ivc-integration:test:native bb - 821.28 MiB)
11:24:28 [11:24:28.025]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 821.28 MiB)
11:24:32 [11:24:32.257]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 821.28 MiB)
11:24:32 prove translator... (mem: 821.28 MiB)
11:24:35 [11:24:35.144]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.33 MiB)
11:24:38 [11:24:38.151]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 849.33 MiB)
11:24:40 [11:24:40.626]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 849.33 MiB)
11:24:40 finished translator proving. (mem: 849.33 MiB)
11:24:40 [11:24:40.631]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 849.33 MiB)
11:24:40 [11:24:40.658]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 849.33 MiB)
11:24:40 libra_evals_verified: 1 (mem: 849.33 MiB)
11:24:40 pairing_check_verified: 1 (mem: 849.33 MiB)
11:24:40 Mega verified: 1 (mem: 849.33 MiB)
11:24:40 [11:24:40.787]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 850.33 MiB)
11:24:40 batch opening verified?: 1 (mem: 850.33 MiB)
11:24:40 eccvm consistency check verified?: 1 (mem: 850.33 MiB)
11:24:40 translation masking consistency checked?: 1 (mem: 850.33 MiB)
11:24:40 [11:24:40.809]
INFO:
ivc-integration:test:native bb - merge verified?: 1
11:24:40 [11:24:40.811]
INFO:
ivc-integration:test:native bb - (mem: 850.33 MiB)
11:24:40 eccvm verified?: 1 (mem: 850.33 MiB)
11:24:40 accumulator construction_verified?: 1 (mem: 850.33 MiB)
11:24:40 translation verified?: 1 (mem: 850.33 MiB)
11:24:40 consistency verified?: 1 (mem: 850.33 MiB)
11:24:40 [11:24:40.817]
INFO:
ivc-integration:test:native bb - Goblin verified: 1 (mem: 850.33 MiB)
11:24:40 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-UkxTWx" (mem: 850.33 MiB)
11:24:40 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-UkxTWx" (mem: 850.33 MiB)
11:24:40 BN254 commitment key size: 262144 (mem: 850.33 MiB)
11:24:40 [11:24:40.820]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.33 MiB)
11:24:40 [11:24:40.827]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.33 MiB)
11:24:40 goblin ecc op : 4/1024 (mem: 850.33 MiB)
11:24:40 busread : 3/6000 (mem: 850.33 MiB)
11:24:40 lookups : 2/15000 (mem: 850.33 MiB)
11:24:40 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 850.33 MiB)
11:24:40 arithmetic : 1773/56000 (mem: 850.33 MiB)
11:24:40 delta range : 1754/18000 (mem: 850.33 MiB)
11:24:40 elliptic : 2/6000 (mem: 850.33 MiB)
11:24:40 auxiliary : 26/26000 (mem: 850.33 MiB)
11:24:40 poseidon ext : 2/17000 (mem: 850.33 MiB)
11:24:40 poseidon int : 2/92000 (mem: 850.33 MiB)
11:24:40 overflow : 0/0 (mem: 850.33 MiB)
11:24:40 (mem: 850.33 MiB)
11:24:40 Total structured size: 242025 (mem: 850.33 MiB)
11:24:40 allocating polynomials object in proving key... (mem: 850.33 MiB)
11:24:41 [11:24:41.176]
INFO:
ivc-integration:test:native bb - populating trace...
11:24:41 [11:24:41.178]
INFO:
ivc-integration:test:native bb - (mem: 850.33 MiB)
11:24:41 [11:24:41.245]
INFO:
ivc-integration:test:native bb - time to construct proving key: 421 ms. (mem: 850.33 MiB)
11:24:41 [11:24:41.337]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0
11:24:41 [11:24:41.338]
INFO:
ivc-integration:test:native bb - (mem: 850.33 MiB)
11:24:42 [11:24:42.227]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 850.33 MiB)
11:24:42 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 850.33 MiB)
11:24:42 [11:24:42.729]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 850.33 MiB)
11:24:42 [11:24:42.737]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 850.33 MiB)
11:24:42 [11:24:42.753]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.33 MiB)
11:24:42 [11:24:42.757]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.33 MiB)
11:24:42 goblin ecc op : 56/1024 (mem: 850.33 MiB)
11:24:42 busread : 3/6000 (mem: 850.33 MiB)
11:24:42 lookups : 2/15000 (mem: 850.33 MiB)
11:24:42 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 850.33 MiB)
11:24:42 arithmetic : 4481/56000 (mem: 850.33
11:24:42 [11:24:42.758]
INFO:
ivc-integration:test:native bb - MiB)
11:24:42 delta range : 2041/18000 (mem: 850.33 MiB)
11:24:42 elliptic : 2/6000 (mem: 850.33 MiB)
11:24:42 auxiliary : 50/26000 (mem: 850.33 MiB)
11:24:42 poseidon ext : 1312/17000 (mem: 850.33 MiB)
11:24:42 poseidon int : 7469/92000 (mem: 850.33 MiB)
11:24:42 overflow : 0/0 (mem: 850.33 MiB)
11:24:42 (mem: 850.33 MiB)
11:24:42 Total structured size: 242025 (mem: 850.33 MiB)
11:24:42 allocating polynomials object in proving key... (mem: 850.33 MiB)
11:24:42 [11:24:42.945]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 850.33 MiB)
11:24:42 [11:24:42.980]
INFO:
ivc-integration:test:native bb - time to construct proving key: 226 ms. (mem: 850.33 MiB)
11:24:43 [11:24:43.169]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 850.33 MiB)
11:24:43 [11:24:43.989]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 850.33 MiB)
11:24:43 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 850.33 MiB)
11:24:44 [11:24:44.978]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.33 MiB)
11:24:45 [11:24:45.144]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 853.33 MiB)
11:24:45 [11:24:45.221]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 885.33 MiB)
11:24:45 [11:24:45.787]
INFO:
ivc-integration:test:native bb - folded (mem: 885.33 MiB)
11:24:45 constructed folding proof (mem: 885.33 MiB)
11:24:45 Largest circuit: 15360 gates. Trace details: (mem: 885.33 MiB)
11:24:45 Minimum required block sizes for structured trace: (mem: 885.33 MiB)
11:24:45 (mem: 885.33 MiB)
11:24:45 prove decider... (mem: 885.33 MiB)
11:24:45 [11:24:45.788]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:24:45 busread : 3
11:24:45 lookup : 2
11:24:45 pub_inputs : 36
11:24:45 arithmetic : 4481
11:24:45 delta_range : 2041
11:24:45 elliptic : 2
11:24:45 aux : 50
11:24:45 poseidon2_external : 1312
11:24:45 poseidon2_internal : 7469
11:24:45 overflow : 0
11:24:46 [11:24:46.038]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 885.33 MiB)
11:24:46 [11:24:46.269]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
11:24:46 [11:24:46.275]
INFO:
ivc-integration:test:native bb - (mem: 885.33 MiB)
11:24:47 [11:24:47.468]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
11:24:47 [11:24:47.469]
INFO:
ivc-integration:test:native bb - (mem:
11:24:47 [11:24:47.470]
INFO:
ivc-integration:test:native bb - 885.33 MiB)
11:24:47 [11:24:47.615]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 885.33 MiB)
11:24:47 finished decider proving. (mem: 885.33 MiB)
11:24:47 [11:24:47.629]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 885.33 MiB)
11:24:47 [11:24:47.752]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 885.33 MiB)
11:24:47 [11:24:47.758]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 885.33 MiB)
11:24:47 [11:24:47.945]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 885.33 MiB)
11:24:48 [11:24:48.038]
INFO:
ivc-integration:test:native bb - time to construct proving key: 290 ms.
11:24:48 [11:24:48.041]
INFO:
ivc-integration:test:native bb - (mem: 885.33 MiB)
11:24:48 [11:24:48.716]
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-UkxTWx/proof -k /tmp/bb-client-ivc-integration-UkxTWx/vk -v
11:24:48 [11:24:48.753]
INFO:
ivc-integration:test:native bb command: verify (mem: 184.58 MiB)
11:24:48 Scheme is: client_ivc, num threads: 128 (mem: 184.58 MiB)
11:24:48 --proof_path: /tmp/bb-client-ivc-integration-UkxTWx/proof (mem: 184.58 MiB)
11:24:48 --vk_path: /tmp/bb-client-ivc-integration-UkxTWx/vk (mem: 184.58 MiB)
11:24:48 --verbose: true (mem: 184.58 MiB)
11:24:48 --scheme: client_ivc (mem: 184.58 MiB)
11:24:48 [11:24:48.844]
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.58 MiB)
11:24:48 [11:24:48.872]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 184.58 MiB)
11:24:48 vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 184.58 MiB)
11:24:48 [11:24:48.904]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.58 MiB)
11:24:48 [11:24:48.907]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 184.58 MiB)
11:24:48 sumcheck_verified: 1 (mem: 184.58 MiB)
11:24:48 libra_evals_verified: 1 (mem: 184.58 MiB)
11:24:48 pairing_check_verified: 1 (mem: 184.58 MiB)
11:24:48 Mega verified: 1 (mem: 184.58 MiB)
11:24:49 [11:24:49.002]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 184.58 MiB)
11:24:49 batch opening verified?: 1 (mem: 184.58 MiB)
11:24:49 eccvm consistency check verified?: 1 (mem: 184.58 MiB)
11:24:49 translation masking consistency checked?: 1 (mem: 184.58 MiB)
11:24:49 [11:24:49.020]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 184.58 MiB)
11:24:49 eccvm verified?: 1 (mem: 184.58 MiB)
11:24:49 accumulator construction_verified?: 1 (mem: 184.58 MiB)
11:24:49 translation verified?: 1 (mem: 184.58 MiB)
11:24:49 consistency verified?: 1 (mem: 184.58 MiB)
11:24:49 Goblin verified: 1 (mem: 184.58 MiB)
11:24:49 [11:24:49.035]
INFO:
ivc-integration:test:native verified: 1 (mem: 184.58 MiB)
11:24:49 [11:24:49.181]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-2DXtUf/ivc-inputs.msgpack
11:24:49 [11:24:49.182]
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-2DXtUf --ivc_inputs_path /tmp/bb-client-ivc-integration-2DXtUf/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:24:49 [11:24:49.214]
INFO:
ivc-integration:test:native bb - bb command: prove
11:24:49 [11:24:49.215]
INFO:
ivc-integration:test:native bb - (mem:
11:24:49 [11:24:49.217]
INFO:
ivc-integration:test:native bb - 186.44 MiB)
11:24:49 Scheme is: client_ivc, num threads: 128 (mem: 186.44 MiB)
11:24:49 --scheme: client_ivc (mem: 186.44 MiB)
11:24:49 --output_path: /tmp/bb-client-ivc-integration-2DXtUf (mem: 186.44 MiB)
11:24:49 --ivc_inputs_path: /tmp/bb-client-ivc-integration-2DXtUf/ivc-inputs.msgpack (mem: 186.44 MiB)
11:24:49 --verbose: true (mem: 186.44 MiB)
11:24:49 --write_vk: true (mem: 186.44 MiB)
11:24:49 [11:24:49.222]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 186.44 MiB)
11:24:49 [11:24:49.348]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 267.00 MiB)
11:24:49 [11:24:49.435]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 315.00 MiB)
11:24:49 [11:24:49.439]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 315.00 MiB)
11:24:49 [11:24:49.440]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 315.00 MiB)
11:24:49 [11:24:49.443]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 315.00 MiB)
11:24:49 goblin ecc op : 4/1024 (mem: 315.00 MiB)
11:24:49 busread : 7/6000
11:24:49 [11:24:49.444]
INFO:
ivc-integration:test:native bb - (mem: 315.00 MiB)
11:24:49 lookups : 2/15000 (mem: 315.00 MiB)
11:24:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 315.00 MiB)
11:24:49 arithmetic : 1760/56000 (mem: 315.00 MiB)
11:24:49 delta range : 1754/18000 (mem: 315.00 MiB)
11:24:49 elliptic : 2/6000 (mem: 315.00 MiB)
11:24:49 auxiliary : 26/26000 (mem: 315.00 MiB)
11:24:49 poseidon ext : 2/17000 (mem: 315.00 MiB)
11:24:49 poseidon int : 2/92000 (mem: 315.00 MiB)
11:24:49 overflow : 0/0 (mem: 315.00 MiB)
11:24:49 (mem: 315.00 MiB)
11:24:49 Total structured size: 242025 (mem: 315.00 MiB)
11:24:49 allocating polynomials object in proving key... (mem: 315.00 MiB)
11:24:49 [11:24:49.687]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 498.73 MiB)
11:24:49 [11:24:49.802]
INFO:
ivc-integration:test:native bb - time to construct proving key: 360 ms. (mem: 509.73 MiB)
11:24:49 [11:24:49.972]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x555704166240 (mem: 509.73 MiB)
11:24:49 [11:24:49.973]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 509.73 MiB)
11:24:49 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 509.73 MiB)
11:24:50 [11:24:50.260]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 518.73 MiB)
11:24:50 [11:24:50.273]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.73 MiB)
11:24:50 [11:24:50.289]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 518.73 MiB)
11:24:50 Constructing DeciderProvingKey (mem: 518.73 MiB)
11:24:50 [11:24:50.293]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 518.73 MiB)
11:24:50 goblin ecc op : 56/1024 (mem: 518.73 MiB)
11:24:50 busread : 12/6000 (mem: 518.73 MiB)
11:24:50 lookups : 2/15000 (mem: 518.73 MiB)
11:24:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 518.73 MiB)
11:24:50 arithmetic : 4625/56000 (mem: 518.73 MiB)
11:24:50 delta range : 2054/18000 (mem: 518.73 MiB)
11:24:50 elliptic : 2/6000 (mem: 518.73 MiB)
11:24:50 [11:24:50.294]
INFO:
ivc-integration:test:native bb - auxiliary : 110/26000 (mem: 518.73 MiB)
11:24:50 poseidon ext : 1302/17000 (mem: 518.73 MiB)
11:24:50 poseidon int : 7412/92000 (mem: 518.73 MiB)
11:24:50 overflow : 0/0 (mem: 518.73 MiB)
11:24:50 (mem: 518.73 MiB)
11:24:50 Total structured size: 242025 (mem: 518.73 MiB)
11:24:50 allocating polynomials object in proving key... (mem: 518.73 MiB)
11:24:50 [11:24:50.375]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 729.73 MiB)
11:24:50 [11:24:50.417]
INFO:
ivc-integration:test:native bb - time to construct proving key: 127 ms. (mem: 747.73 MiB)
11:24:50 [11:24:50.538]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x55570416f480 (mem: 747.73 MiB)
11:24:50 computing folding proof (mem:
11:24:50 [11:24:50.540]
INFO:
ivc-integration:test:native bb - 747.73 MiB)
11:24:50 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 747.73 MiB)
11:24:51 [11:24:51.359]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.73 MiB)
11:24:51 [11:24:51.482]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 785.73 MiB)
11:24:51 [11:24:51.547]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 816.73 MiB)
11:24:51 [11:24:51.930]
INFO:
ivc-integration:test:native bb - folded (mem: 816.73 MiB)
11:24:51 constructed folding proof (mem: 816.73 MiB)
11:24:51 [11:24:51.934]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.73 MiB)
11:24:51 [11:24:51.935]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 816.73 MiB)
11:24:51 [11:24:51.940]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.73 MiB)
11:24:51 [11:24:51.940]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 816.73 MiB)
11:24:51 busread : 7/6000 (mem: 816.73 MiB)
11:24:51 lookups : 2/15000 (mem: 816.73 MiB)
11:24:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 816.73 MiB)
11:24:51 arithmetic : 1760/56000 (mem: 816.73 MiB)
11:24:51 delta range : 1754/18000 (mem: 816.73 MiB)
11:24:51 elliptic : 2/6000 (mem: 816.73 MiB)
11:24:51 auxiliary : 26/26000 (mem: 816.73 MiB)
11:24:51 poseidon ext : 2/17000 (mem: 816.73 MiB)
11:24:51 poseidon int : 2/92000 (mem: 816.73 MiB)
11:24:51 overflow : 0/0 (mem: 816.73 MiB)
11:24:51 (mem: 816.73 MiB)
11:24:51 Total structured size: 242025 (mem: 816.73 MiB)
11:24:51 allocating polynomials object in proving key... (mem: 816.73 MiB)
11:24:52 [11:24:52.060]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 816.73 MiB)
11:24:52 [11:24:52.080]
INFO:
ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 816.73 MiB)
11:24:52 [11:24:52.147]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x555704161dc0 (mem: 816.73 MiB)
11:24:52 computing folding proof (mem: 816.73 MiB)
11:24:52 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.73 MiB)
11:24:52 [11:24:52.426]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.73 MiB)
11:24:52 [11:24:52.514]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 816.73 MiB)
11:24:52 [11:24:52.554]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 816.73 MiB)
11:24:52 [11:24:52.904]
INFO:
ivc-integration:test:native bb - folded (mem: 816.73 MiB)
11:24:52 constructed folding proof (mem: 816.73 MiB)
11:24:52 [11:24:52.919]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 816.73 MiB)
11:24:52 [11:24:52.993]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.73 MiB)
11:24:53 [11:24:53.069]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 816.73 MiB)
11:24:53 Constructing DeciderProvingKey (mem: 816.73 MiB)
11:24:53 [11:24:53.074]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.73 MiB)
11:24:53 [11:24:53.075]
INFO:
ivc-integration:test:native bb - goblin ecc op : 792/1024 (mem: 816.73 MiB)
11:24:53 busread : 12/6000 (mem: 816.73 MiB)
11:24:53 lookups : 2/15000 (mem: 816.73 MiB)
11:24:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 816.73 MiB)
11:24:53 arithmetic : 12080/56000 (mem: 816.73 MiB)
11:24:53 delta range : 2942/18000 (mem: 816.73 MiB)
11:24:53 elliptic : 2/6000 (mem: 816.73 MiB)
11:24:53 auxiliary : 350/26000 (mem: 816.73 MiB)
11:24:53 poseidon ext : 4942/17000 (mem: 816.73 MiB)
11:24:53 poseidon int : 28160/92000 (mem: 816.73 MiB)
11:24:53 overflow : 0/0 (mem: 816.73 MiB)
11:24:53 (mem: 816.73 MiB)
11:24:53 Total structured size: 242025 (mem: 816.73 MiB)
11:24:53 allocating polynomials object in proving key... (mem: 816.73 MiB)
11:24:53 [11:24:53.173]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 816.73 MiB)
11:24:53 [11:24:53.213]
INFO:
ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 816.73 MiB)
11:24:53 [11:24:53.365]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x555704166a80 (mem: 816.73 MiB)
11:24:53 computing folding proof (mem: 816.73 MiB)
11:24:53 vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 816.73 MiB)
11:24:53 [11:24:53.782]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.73 MiB)
11:24:53 [11:24:53.892]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 816.73 MiB)
11:24:53 [11:24:53.952]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 845.68 MiB)
11:24:54 [11:24:54.262]
INFO:
ivc-integration:test:native bb - folded (mem: 845.68 MiB)
11:24:54 constructed folding proof (mem: 845.68 MiB)
11:24:54 [11:24:54.268]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9
11:24:54 [11:24:54.269]
INFO:
ivc-integration:test:native bb - (mem:
11:24:54 [11:24:54.269]
INFO:
ivc-integration:test:native bb - 845.68
11:24:54 [11:24:54.270]
INFO:
ivc-integration:test:native bb - MiB)
11:24:54 [11:24:54.270]
INFO:
ivc-integration:test:native bb -
11:24:54 [11:24:54.327]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4
11:24:54 [11:24:54.331]
INFO:
ivc-integration:test:native bb - (mem: 845.68 MiB)
11:24:54 Constructing DeciderProvingKey (mem: 845.68 MiB)
11:24:54 [11:24:54.337]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.68 MiB)
11:24:54 [11:24:54.339]
INFO:
ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 845.68 MiB)
11:24:54 busread : 16/6000 (mem: 845.68 MiB)
11:24:54 lookups : 2/15000 (mem: 845.68 MiB)
11:24:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 845.68 MiB)
11:24:54 arithmetic : 6914/56000 (mem: 845.68 MiB)
11:24:54 delta range : 2347/18000 (mem: 845.68 MiB)
11:24:54 elliptic : 2/6000 (mem: 845.68 MiB)
11:24:54 auxiliary : 77/26000 (mem: 845.68 MiB)
11:24:54 poseidon ext : 2472/17000 (mem: 845.68 MiB)
11:24:54 poseidon int : 14081/92000 (mem: 845.68 MiB)
11:24:54 overflow : 0/0 (mem: 845.68 MiB)
11:24:54 (mem: 845.68 MiB)
11:24:54 Total structured size: 242025 (mem: 845.68 MiB)
11:24:54 allocating polynomials object in proving key... (mem: 845.68 MiB)
11:24:54 [11:24:54.443]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 845.68 MiB)
11:24:54 [11:24:54.472]
INFO:
ivc-integration:test:native bb - time to construct proving key: 143 ms. (mem: 845.68 MiB)
11:24:54 [11:24:54.693]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5557041e3180 (mem: 845.68 MiB)
11:24:54 computing folding proof (mem: 845.68 MiB)
11:24:54 [11:24:54.695]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 845.68 MiB)
11:24:55 [11:24:55.260]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 845.68 MiB)
11:24:55 [11:24:55.382]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 845.68 MiB)
11:24:55 [11:24:55.449]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 846.34 MiB)
11:24:55 [11:24:55.695]
INFO:
ivc-integration:test:native bb - folded (mem: 846.34 MiB)
11:24:55 constructed folding proof (mem: 846.34 MiB)
11:24:55 [11:24:55.707]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 846.34 MiB)
11:24:55 [11:24:55.788]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 846.34 MiB)
11:24:55 Constructing DeciderProvingKey (mem: 846.34 MiB)
11:24:55 [11:24:55.792]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.34 MiB)
11:24:55 goblin ecc op : 392/1024 (mem: 846.34 MiB)
11:24:55 busread : 3/6000 (mem: 846.34 MiB)
11:24:55 lookups : 2/15000 (mem: 846.34 MiB)
11:24:55 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.34 MiB)
11:24:55 arithmetic : 6849/56000 (mem: 846.34 MiB)
11:24:55 delta range : 2333/18000 (mem: 846.34 MiB)
11:24:55 elliptic : 2/6000 (mem: 846.34 MiB)
11:24:55 auxiliary : 50/26000 (mem: 846.34 MiB)
11:24:55 [11:24:55.793]
INFO:
ivc-integration:test:native bb - poseidon ext : 2472/17000 (mem: 846.34 MiB)
11:24:55 poseidon int : 14081/92000 (mem: 846.34 MiB)
11:24:55 overflow : 0/0 (mem: 846.34 MiB)
11:24:55 (mem: 846.34 MiB)
11:24:55 Total structured size: 242025 (mem: 846.34 MiB)
11:24:55 allocating polynomials object in proving key... (mem: 846.34 MiB)
11:24:55 [11:24:55.932]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.34 MiB)
11:24:55 [11:24:55.963]
INFO:
ivc-integration:test:native bb - time to construct proving key: 174 ms. (mem: 846.34 MiB)
11:24:56 [11:24:56.229]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5557041cae00 (mem: 846.34 MiB)
11:24:56 computing folding proof (mem: 846.34 MiB)
11:24:56 [11:24:56.230]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 846.34 MiB)
11:24:56 [11:24:56.696]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.34 MiB)
11:24:56 [11:24:56.791]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 846.34 MiB)
11:24:56 [11:24:56.849]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 847.28 MiB)
11:24:57 [11:24:57.285]
INFO:
ivc-integration:test:native bb - folded (mem: 847.28 MiB)
11:24:57 constructed folding proof (mem: 847.28 MiB)
11:24:57 [11:24:57.286]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 847.28 MiB)
11:24:57 Minimum required block sizes for structured trace: (mem: 847.28 MiB)
11:24:57 (mem: 847.28 MiB)
11:24:57 prove decider... (mem: 847.28 MiB)
11:24:57 [11:24:57.287]
INFO:
ivc-integration:test:native bb - ecc_op : 792
11:24:57 busread : 16
11:24:57 lookup : 2
11:24:57 pub_inputs : 36
11:24:57 arithmetic : 12080
11:24:57 delta_range : 2942
11:24:57 elliptic : 2
11:24:57 aux : 350
11:24:57 poseidon2_external : 4942
11:24:57 poseidon2_internal : 28160
11:24:57 overflow : 0
11:24:57 [11:24:57.390]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.28 MiB)
11:24:57 [11:24:57.591]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.28 MiB)
11:24:58 [11:24:58.390]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.28 MiB)
11:24:58 [11:24:58.464]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 847.28 MiB)
11:24:58 finished decider proving. (mem: 847.28 MiB)
11:24:58 [11:24:58.477]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 847.28 MiB)
11:24:58 [11:24:58.574]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.28 MiB)
11:24:58 [11:24:58.578]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 847.28 MiB)
11:24:58 [11:24:58.638]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.28 MiB)
11:24:58 [11:24:58.681]
INFO:
ivc-integration:test:native bb - time to construct proving key: 109 ms. (mem: 847.28 MiB)
11:24:59 [11:24:59.232]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 847.28 MiB)
11:24:59 [11:24:59.598]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 847.28 MiB)
11:24:59 [11:24:59.712]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
11:24:59 [11:24:59.713]
INFO:
ivc-integration:test:native bb - (mem: 847.28 MiB)
11:25:00 [11:25:00.509]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.28 MiB)
11:25:01 [11:25:01.438]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.28 MiB)
11:25:01 [11:25:01.466]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 847.28 MiB)
11:25:01 finished decider proving. (mem: 847.28 MiB)
11:25:01 [11:25:01.466]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 847.28 MiB)
11:25:01 [11:25:01.562]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 847.28 MiB)
11:25:01 [11:25:01.780]
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: 847.28 MiB)
11:25:01 [11:25:01.793]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 847.28 MiB)
11:25:03 [11:25:03.269]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.28 MiB)
11:25:04 [11:25:04.379]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.28 MiB)
11:25:07 [11:25:07.206]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 847.28 MiB)
11:25:07 prove translator... (mem: 847.28 MiB)
11:25:10 [11:25:10.271]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
11:25:10 [11:25:10.271]
INFO:
ivc-integration:test:native bb - (mem:
11:25:10 [11:25:10.272]
INFO:
ivc-integration:test:native bb - 867.50
11:25:10 [11:25:10.273]
INFO:
ivc-integration:test:native bb - MiB)
11:25:12 [11:25:12.314]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 868.50 MiB)
11:25:13 [11:25:13.924]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 868.50 MiB)
11:25:13 [11:25:13.925]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 868.50 MiB)
11:25:13 [11:25:13.928]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 868.50 MiB)
11:25:13 [11:25:13.956]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 868.50 MiB)
11:25:13 libra_evals_verified: 1 (mem: 868.50 MiB)
11:25:13 pairing_check_verified: 1 (mem: 868.50 MiB)
11:25:13 Mega verified: 1 (mem: 868.50 MiB)
11:25:14 [11:25:14.048]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 868.50 MiB)
11:25:14 batch opening verified?: 1 (mem: 868.50 MiB)
11:25:14 eccvm consistency check verified?: 1 (mem: 868.50 MiB)
11:25:14 translation masking consistency checked?: 1 (mem: 868.50 MiB)
11:25:14 [11:25:14.063]
INFO:
ivc-integration:test:native bb - merge verified?: 1
11:25:14 [11:25:14.064]
INFO:
ivc-integration:test:native bb - (mem: 868.50 MiB)
11:25:14 eccvm verified?: 1 (mem: 868.50 MiB)
11:25:14 accumulator construction_verified?: 1 (mem: 868.50 MiB)
11:25:14 translation verified?: 1 (mem: 868.50 MiB)
11:25:14 consistency verified?: 1 (mem: 868.50 MiB)
11:25:14 Goblin verified: 1 (mem: 868.50 MiB)
11:25:14 [11:25:14.065]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-2DXtUf" (mem: 868.50 MiB)
11:25:14 [11:25:14.066]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-2DXtUf" (mem: 868.50 MiB)
11:25:14 BN254 commitment key size: 262144 (mem: 868.50 MiB)
11:25:14 [11:25:14.067]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 868.50 MiB)
11:25:14 [11:25:14.070]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 868.50 MiB)
11:25:14 goblin ecc op : 4/1024 (mem: 868.50 MiB)
11:25:14 busread : 3/6000 (mem: 868.50 MiB)
11:25:14 lookups : 2/15000 (mem: 868.50 MiB)
11:25:14 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 868.50 MiB)
11:25:14 arithmetic : 1773/56000 (mem: 868.50 MiB)
11:25:14 delta range : 1754/18000 (mem: 868.50 MiB)
11:25:14 elliptic : 2/6000 (mem: 868.50 MiB)
11:25:14 auxiliary : 26/26000 (mem: 868.50 MiB)
11:25:14 poseidon ext : 2/17000 (mem: 868.50 MiB)
11:25:14 poseidon int : 2/92000 (mem: 868.50 MiB)
11:25:14 overflow : 0/0 (mem: 868.50 MiB)
11:25:14 (mem: 868.50 MiB)
11:25:14 Total structured size: 242025 (mem: 868.50 MiB)
11:25:14 allocating polynomials object in proving key... (mem: 868.50 MiB)
11:25:14 [11:25:14.155]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 868.50 MiB)
11:25:14 [11:25:14.189]
INFO:
ivc-integration:test:native bb - time to construct proving key: 120 ms. (mem: 868.50 MiB)
11:25:14 [11:25:14.224]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 868.50 MiB)
11:25:14 [11:25:14.664]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 868.50 MiB)
11:25:14 [11:25:14.665]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 868.50 MiB)
11:25:14 [11:25:14.868]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 868.50 MiB)
11:25:14 [11:25:14.878]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 868.50 MiB)
11:25:14 [11:25:14.890]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 868.50 MiB)
11:25:14 [11:25:14.894]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 868.50 MiB)
11:25:14 goblin ecc op : 56/1024 (mem: 868.50 MiB)
11:25:14 busread : 3/6000 (mem: 868.50 MiB)
11:25:14 lookups : 2/15000 (mem: 868.50 MiB)
11:25:14 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 868.50 MiB)
11:25:14 arithmetic : 4481/56000 (mem: 868.50 MiB)
11:25:14 delta range : 2041/18000 (mem: 868.50 MiB)
11:25:14 elliptic : 2/6000 (mem: 868.50 MiB)
11:25:14 auxiliary : 50/26000 (mem: 868.50 MiB)
11:25:14 poseidon ext : 1312/17000 (mem: 868.50 MiB)
11:25:14 poseidon int : 7469/92000 (mem: 868.50 MiB)
11:25:14 overflow : 0/0 (mem: 868.50 MiB)
11:25:14 (mem: 868.50 MiB)
11:25:14 Total structured size: 242025 (mem: 868.50 MiB)
11:25:14 allocating polynomials object in proving key... (mem: 868.50 MiB)
11:25:14 [11:25:14.987]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 868.50 MiB)
11:25:15 [11:25:15.002]
INFO:
ivc-integration:test:native bb - time to construct proving key: 112 ms. (mem: 868.50 MiB)
11:25:15 [11:25:15.058]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 868.50 MiB)
11:25:15 [11:25:15.600]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 868.50 MiB)
11:25:15 [11:25:15.601]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 868.50 MiB)
11:25:15 [11:25:15.849]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 868.50 MiB)
11:25:15 [11:25:15.901]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 868.50 MiB)
11:25:15 [11:25:15.952]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 900.50 MiB)
11:25:16 [11:25:16.131]
INFO:
ivc-integration:test:native bb - folded
11:25:16 [11:25:16.132]
INFO:
ivc-integration:test:native bb - (mem: 900.50 MiB)
11:25:16 constructed folding proof (mem: 900.50 MiB)
11:25:16 [11:25:16.134]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 900.50 MiB)
11:25:16 Minimum required block sizes for structured trace: (mem: 900.50 MiB)
11:25:16 (mem: 900.50 MiB)
11:25:16 prove decider... (mem: 900.50 MiB)
11:25:16 [11:25:16.134]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:25:16 busread : 3
11:25:16 lookup : 2
11:25:16 pub_inputs : 36
11:25:16 arithmetic : 4481
11:25:16 delta_range : 2041
11:25:16 elliptic : 2
11:25:16 aux : 50
11:25:16 poseidon2_external : 1312
11:25:16 poseidon2_internal : 7469
11:25:16 overflow : 0
11:25:16 [11:25:16.220]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
11:25:16 [11:25:16.221]
INFO:
ivc-integration:test:native bb - (mem: 900.50 MiB)
11:25:16 [11:25:16.485]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 900.50 MiB)
11:25:16 [11:25:16.918]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 900.50 MiB)
11:25:16 [11:25:16.977]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 900.50 MiB)
11:25:16 finished decider proving. (mem: 900.50 MiB)
11:25:16 [11:25:16.988]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 900.50 MiB)
11:25:17 [11:25:17.062]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 900.50 MiB)
11:25:17 [11:25:17.067]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 900.50 MiB)
11:25:17 [11:25:17.097]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 900.50 MiB)
11:25:17 [11:25:17.119]
INFO:
ivc-integration:test:native bb - time to construct proving key: 56 ms. (mem: 900.50 MiB)
11:25:17 [11:25:17.552]
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-2DXtUf/proof -k /tmp/bb-client-ivc-integration-2DXtUf/vk -v
11:25:17 [11:25:17.594]
INFO:
ivc-integration:test:native bb command: verify (mem: 189.57 MiB)
11:25:17 Scheme is: client_ivc, num threads: 128 (mem: 189.57 MiB)
11:25:17 --proof_path: /tmp/bb-client-ivc-integration-2DXtUf/proof (mem: 189.57 MiB)
11:25:17 --vk_path: /tmp/bb-client-ivc-integration-2DXtUf/vk (mem: 189.57 MiB)
11:25:17 --verbose: true (mem: 189.57 MiB)
11:25:17 --scheme: client_ivc (mem: 189.57 MiB)
11:25:17 [11:25:17.709]
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.57 MiB)
11:25:17 [11:25:17.729]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 189.57 MiB)
11:25:17 [11:25:17.734]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 189.57 MiB)
11:25:17 [11:25:17.752]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 189.57 MiB)
11:25:17 [11:25:17.753]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 189.57 MiB)
11:25:17 [11:25:17.754]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 189.57 MiB)
11:25:17 libra_evals_verified: 1 (mem: 189.57 MiB)
11:25:17 pairing_check_verified: 1 (mem: 189.57 MiB)
11:25:17 [11:25:17.755]
INFO:
ivc-integration:test:native Mega verified: 1 (mem: 189.57 MiB)
11:25:17 [11:25:17.835]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.57 MiB)
11:25:17 batch opening verified?: 1 (mem: 189.57 MiB)
11:25:17 [11:25:17.836]
INFO:
ivc-integration:test:native eccvm consistency check verified?: 1 (mem: 189.57 MiB)
11:25:17 translation masking consistency checked?: 1 (mem: 189.57 MiB)
11:25:17 [11:25:17.860]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 189.57 MiB)
11:25:17 eccvm verified?: 1 (mem: 189.57 MiB)
11:25:17 accumulator construction_verified?: 1 (mem: 189.57 MiB)
11:25:17 translation verified?: 1 (mem: 189.57 MiB)
11:25:17 consistency verified?: 1 (mem: 189.57 MiB)
11:25:17 Goblin verified: 1 (mem: 189.57 MiB)
11:25:17 [11:25:17.865]
INFO:
ivc-integration:test:native verified: 1 (mem: 189.57 MiB)
11:25:18
PASS src/native_client_ivc_integration.test.ts (
71.061 s)
11:25:18 Client IVC Integration
11:25:18
✓ Should generate a verifiable client IVC proof from a simple mock tx (38455 ms)
11:25:18
✓ Should generate a verifiable client IVC proof from a complex mock tx (28919 ms)
11:25:18
11:25:18
Test Suites: 1 passed, 1 total
11:25:18
Tests: 2 passed, 2 total
11:25:18
Snapshots: 0 total
11:25:18
Time: 71.174 s
11:25:18
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
11:25:18
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?