Parent Log:
http://ci.aztec-labs.com/23b2d08823cc2202
Command: 3713b4397d55fa0c: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/314d7622c6bacc8333ae49fe9583967cab78349b
Env: REF_NAME=gh-readonly-queue/next/pr-15000-c51485c507bcf668c6e55129eb2c1794af4a0732 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 13 11:29:19 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15000_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
11:29:23 [11:29:23.642]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Z5sKRu/ivc-inputs.msgpack
11:29:23 [11:29:23.651]
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-Z5sKRu --ivc_inputs_path /tmp/bb-client-ivc-integration-Z5sKRu/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:29:23 [11:29:23.675]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 151.55 MiB)
11:29:23 [11:29:23.676]
INFO:
ivc-integration:test:native bb -
11:29:23 Scheme is: client_ivc, num threads: 128 (mem: 151.55 MiB)
11:29:23 --scheme: client_ivc (mem: 151.55 MiB)
11:29:23 --output_path: /tmp/bb-client-ivc-integration-Z5sKRu (mem: 151.55 MiB)
11:29:23 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Z5sKRu/ivc-inputs.msgpack (mem: 151.55 MiB)
11:29:23 --verbose: true (mem: 151.55 MiB)
11:29:23 --write_vk: true (mem: 151.55 MiB)
11:29:23 [11:29:23.677]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 151.55 MiB)
11:29:23 [11:29:23.792]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.00 MiB)
11:29:23 [11:29:23.865]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 297.00 MiB)
11:29:23 [11:29:23.868]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 297.00 MiB)
11:29:23 Constructing DeciderProvingKey (mem: 297.00 MiB)
11:29:23 [11:29:23.873]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.00 MiB)
11:29:23 goblin ecc op : 4/1024 (mem: 297.00 MiB)
11:29:23 busread : 7/6000
11:29:23 [11:29:23.875]
INFO:
ivc-integration:test:native bb - (mem: 297.00 MiB)
11:29:23 lookups : 2/15000 (mem: 297.00 MiB)
11:29:23 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.00 MiB)
11:29:23 arithmetic : 1760/56000 (mem: 297.00 MiB)
11:29:23 delta range : 1754/18000 (mem: 297.00 MiB)
11:29:23 elliptic : 2/6000 (mem: 297.00 MiB)
11:29:23 auxiliary : 26/26000 (mem: 297.00 MiB)
11:29:23 poseidon ext : 2/17000 (mem: 297.00 MiB)
11:29:23 poseidon int : 2/92000 (mem: 297.00 MiB)
11:29:23 overflow : 0/0 (mem: 297.00 MiB)
11:29:23 (mem: 297.00 MiB)
11:29:23 Total structured size: 242025 (mem: 297.00 MiB)
11:29:23 allocating polynomials object in proving key... (mem: 297.00 MiB)
11:29:23 [11:29:23.948]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 497.16 MiB)
11:29:23 [11:29:23.959]
INFO:
ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 514.16 MiB)
11:29:23 [11:29:23.995]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6107bb4caf00 (mem: 514.16 MiB)
11:29:23 computing oink proof... (mem: 514.16 MiB)
11:29:23 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 514.16 MiB)
11:29:24 [11:29:24.522]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.16 MiB)
11:29:24 [11:29:24.778]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 525.16 MiB)
11:29:24 [11:29:24.785]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.16 MiB)
11:29:24 [11:29:24.806]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 525.16 MiB)
11:29:24 Constructing DeciderProvingKey (mem: 525.16 MiB)
11:29:24 [11:29:24.812]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.16 MiB)
11:29:24 goblin ecc op : 56/1024 (mem: 525.16 MiB)
11:29:24 busread : 12/6000 (mem: 525.16 MiB)
11:29:24 lookups : 2/15000 (mem: 525.16 MiB)
11:29:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.16 MiB)
11:29:24 arithmetic : 4625/56000 (mem: 525.16 MiB)
11:29:24 delta range : 2054/18000 (mem: 525.16 MiB)
11:29:24 elliptic : 2/6000 (mem: 525.16 MiB)
11:29:24 auxiliary : 110/26000 (mem: 525.16 MiB)
11:29:24 poseidon ext : 1302/17000 (mem: 525.16 MiB)
11:29:24 poseidon int : 7412/92000 (mem: 525.16 MiB)
11:29:24 overflow : 0/0 (mem: 525.16 MiB)
11:29:24 (mem: 525.16 MiB)
11:29:24 Total structured size: 242025 (mem: 525.16 MiB)
11:29:24 allocating polynomials object in proving key... (mem: 525.16 MiB)
11:29:24 [11:29:24.945]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 725.16 MiB)
11:29:24 [11:29:24.978]
INFO:
ivc-integration:test:native bb - time to construct proving key: 171 ms. (mem: 744.16 MiB)
11:29:25 [11:29:25.052]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6107bb4d7b80 (mem: 744.16 MiB)
11:29:25 computing folding proof (mem: 744.16 MiB)
11:29:25 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 744.16 MiB)
11:29:25 [11:29:25.671]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 744.16 MiB)
11:29:26 [11:29:26.337]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.16 MiB)
11:29:26 [11:29:26.456]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 784.16 MiB)
11:29:26 [11:29:26.519]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.16 MiB)
11:29:27 [11:29:27.017]
INFO:
ivc-integration:test:native bb - folded (mem: 815.16 MiB)
11:29:27 constructed folding proof (mem: 815.16 MiB)
11:29:27 [11:29:27.039]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 815.16 MiB)
11:29:27 [11:29:27.115]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 815.16 MiB)
11:29:27 Constructing DeciderProvingKey (mem: 815.16 MiB)
11:29:27 [11:29:27.119]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.16 MiB)
11:29:27 goblin ecc op : 392/1024 (mem: 815.16 MiB)
11:29:27 busread : 3/6000 (mem:
11:29:27 [11:29:27.120]
INFO:
ivc-integration:test:native bb - 815.16 MiB)
11:29:27 lookups : 2/15000 (mem: 815.16 MiB)
11:29:27 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 815.16 MiB)
11:29:27 arithmetic : 6849/56000 (mem: 815.16 MiB)
11:29:27 delta range : 2333/18000 (mem: 815.16 MiB)
11:29:27 elliptic : 2/6000 (mem: 815.16 MiB)
11:29:27 auxiliary : 50/26000 (mem: 815.16 MiB)
11:29:27 poseidon ext : 2472/17000 (mem: 815.16 MiB)
11:29:27 poseidon int : 14081/92000 (mem: 815.16 MiB)
11:29:27 overflow : 0/0 (mem: 815.16 MiB)
11:29:27 (mem: 815.16 MiB)
11:29:27 Total structured size: 242025 (mem: 815.16 MiB)
11:29:27 allocating polynomials object in proving key... (mem: 815.16 MiB)
11:29:27 [11:29:27.281]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.16 MiB)
11:29:27 [11:29:27.316]
INFO:
ivc-integration:test:native bb - time to construct proving key: 200 ms. (mem: 815.16 MiB)
11:29:27 [11:29:27.502]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6107bb4cd540 (mem: 815.16 MiB)
11:29:27 computing folding proof (mem: 815.16 MiB)
11:29:27 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 815.16 MiB)
11:29:28 [11:29:28.115]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 815.16 MiB)
11:29:28 [11:29:28.767]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.16 MiB)
11:29:28 [11:29:28.959]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 815.16 MiB)
11:29:29 [11:29:29.045]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 824.39 MiB)
11:29:29 [11:29:29.483]
INFO:
ivc-integration:test:native bb - folded (mem: 824.39 MiB)
11:29:29 constructed folding proof (mem: 824.39 MiB)
11:29:29 [11:29:29.487]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 824.39 MiB)
11:29:29 Minimum required block sizes for structured trace: (mem: 824.39 MiB)
11:29:29 (mem: 824.39 MiB)
11:29:29 prove decider... (mem: 824.39 MiB)
11:29:29 [11:29:29.488]
INFO:
ivc-integration:test:native bb - ecc_op : 392
11:29:29 busread : 12
11:29:29 lookup : 2
11:29:29 pub_inputs : 36
11:29:29 arithmetic : 6849
11:29:29 delta_range : 2333
11:29:29 elliptic : 2
11:29:29 aux : 110
11:29:29 poseidon2_external : 2472
11:29:29 poseidon2_internal : 14081
11:29:29 overflow : 0
11:29:29 [11:29:29.733]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 824.39 MiB)
11:29:29 [11:29:29.983]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 824.39 MiB)
11:29:31 [11:29:31.553]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 824.39 MiB)
11:29:31 [11:29:31.657]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 824.39 MiB)
11:29:31 finished decider proving. (mem: 824.39 MiB)
11:29:31 [11:29:31.677]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a
11:29:31 [11:29:31.682]
INFO:
ivc-integration:test:native bb - (mem: 824.39 MiB)
11:29:31 [11:29:31.814]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 824.39 MiB)
11:29:31 [11:29:31.821]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 824.39 MiB)
11:29:32 [11:29:32.029]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 824.39 MiB)
11:29:32 [11:29:32.136]
INFO:
ivc-integration:test:native bb - time to construct proving key: 322 ms.
11:29:32 [11:29:32.140]
INFO:
ivc-integration:test:native bb - (mem: 824.39 MiB)
11:29:32 [11:29:32.759]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem:
11:29:32 [11:29:32.761]
INFO:
ivc-integration:test:native bb - 824.39 MiB)
11:29:33 [11:29:33.363]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 824.39 MiB)
11:29:34 [11:29:34.023]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 824.39 MiB)
11:29:34 [11:29:34.258]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 824.39 MiB)
11:29:35 [11:29:35.467]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 824.39 MiB)
11:29:36 [11:29:36.333]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 824.39 MiB)
11:29:36 [11:29:36.387]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 824.39 MiB)
11:29:36 finished decider proving. (mem: 824.39 MiB)
11:29:36 Constructing a Goblin proof with num ultra ops = 1038 (mem: 824.39 MiB)
11:29:36 [11:29:36.638]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 824.39 MiB)
11:29:37 [11:29:37.059]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 824.39 MiB)
11:29:37 [11:29:37.075]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 824.39 MiB)
11:29:39 [11:29:39.078]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
11:29:39 [11:29:39.079]
INFO:
ivc-integration:test:native bb - (mem: 824.39 MiB)
11:29:41 [11:29:41.036]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 824.39 MiB)
11:29:46 [11:29:46.537]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 824.39 MiB)
11:29:46 prove translator... (mem: 824.39 MiB)
11:29:49 [11:29:49.499]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.71 MiB)
11:29:51 [11:29:51.786]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.71 MiB)
11:29:54 [11:29:54.343]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 847.71 MiB)
11:29:54 finished translator proving. (mem: 847.71 MiB)
11:29:54 [11:29:54.352]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 847.71 MiB)
11:29:54 [11:29:54.374]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 848.71 MiB)
11:29:54 [11:29:54.376]
INFO:
ivc-integration:test:native bb - libra_evals_verified: 1 (mem: 848.71 MiB)
11:29:54 pairing_check_verified: 1 (mem: 848.71 MiB)
11:29:54 Mega verified: 1 (mem: 848.71 MiB)
11:29:54 [11:29:54.522]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 848.71 MiB)
11:29:54 batch opening verified?: 1 (mem: 848.71 MiB)
11:29:54 eccvm consistency check verified?: 1 (mem: 848.71 MiB)
11:29:54 translation masking consistency checked?: 1 (mem: 848.71 MiB)
11:29:54 [11:29:54.591]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 848.71 MiB)
11:29:54 eccvm verified?: 1 (mem: 848.71 MiB)
11:29:54 accumulator construction_verified?: 1 (mem: 848.71 MiB)
11:29:54 translation verified?: 1 (mem: 848.71 MiB)
11:29:54 [11:29:54.592]
INFO:
ivc-integration:test:native bb - consistency verified?: 1 (mem: 848.71 MiB)
11:29:54 Goblin verified: 1 (mem: 848.71 MiB)
11:29:54 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Z5sKRu" (mem: 848.71 MiB)
11:29:54 [11:29:54.592]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Z5sKRu" (mem: 848.71 MiB)
11:29:54 BN254 commitment key size: 262144 (mem: 848.71 MiB)
11:29:54 [11:29:54.604]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.71 MiB)
11:29:54 [11:29:54.624]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.71 MiB)
11:29:54 goblin ecc op : 4/1024 (mem: 848.71 MiB)
11:29:54 busread : 3/6000 (mem: 848.71 MiB)
11:29:54 lookups : 2/15000 (mem: 848.71 MiB)
11:29:54 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 848.71 MiB)
11:29:54 arithmetic : 1773/56000 (mem: 848.71 MiB)
11:29:54 delta range : 1754/18000 (mem: 848.71 MiB)
11:29:54 elliptic : 2/6000 (mem: 848.71 MiB)
11:29:54 auxiliary : 26/26000 (mem: 848.71 MiB)
11:29:54 poseidon ext : 2/17000 (mem: 848.71 MiB)
11:29:54 poseidon int : 2/92000 (mem: 848.71 MiB)
11:29:54 overflow : 0/0 (mem: 848.71 MiB)
11:29:54 (mem: 848.71 MiB)
11:29:54 Total structured size: 242025 (mem: 848.71 MiB)
11:29:54 allocating polynomials object in proving key... (mem: 848.71 MiB)
11:29:54 [11:29:54.825]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.71 MiB)
11:29:54 [11:29:54.894]
INFO:
ivc-integration:test:native bb - time to construct proving key: 290 ms. (mem: 848.71 MiB)
11:29:55 [11:29:55.179]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0
11:29:55 [11:29:55.180]
INFO:
ivc-integration:test:native bb - (mem: 848.71 MiB)
11:29:56 [11:29:56.107]
INFO:
ivc-integration:test:native bb - computing oink proof...
11:29:56 [11:29:56.113]
INFO:
ivc-integration:test:native bb - (mem: 848.71 MiB)
11:29:56 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 848.71 MiB)
11:29:57 [11:29:57.229]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.71 MiB)
11:29:57 [11:29:57.785]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 848.71 MiB)
11:29:57 [11:29:57.795]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.71 MiB)
11:29:57 [11:29:57.812]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.71 MiB)
11:29:57 [11:29:57.817]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.71 MiB)
11:29:57 goblin ecc op : 56/1024 (mem: 848.71 MiB)
11:29:57 busread : 3/6000 (mem: 848.71 MiB)
11:29:57 lookups : 2/15000 (mem: 848.71 MiB)
11:29:57 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.71 MiB)
11:29:57 arithmetic : 4481/56000 (mem: 848.71 MiB)
11:29:57 delta range : 2041/18000 (mem: 848.71 MiB)
11:29:57 elliptic : 2/6000 (mem: 848.71 MiB)
11:29:57 auxiliary : 50/26000 (mem: 848.71 MiB)
11:29:57 poseidon ext : 1312/17000 (mem: 848.71 MiB)
11:29:57 poseidon int : 7469/92000 (mem: 848.71 MiB)
11:29:57 overflow : 0/0 (mem: 848.71 MiB)
11:29:57 (mem: 848.71 MiB)
11:29:57 Total structured size: 242025 (mem: 848.71 MiB)
11:29:57 allocating polynomials object in proving key... (mem: 848.71 MiB)
11:29:57 [11:29:57.995]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.71 MiB)
11:29:58 [11:29:58.060]
INFO:
ivc-integration:test:native bb - time to construct proving key: 247 ms.
11:29:58 [11:29:58.065]
INFO:
ivc-integration:test:native bb - (mem: 848.71 MiB)
11:29:58 [11:29:58.171]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.71 MiB)
11:29:59 [11:29:59.127]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 848.71 MiB)
11:29:59 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 848.71 MiB)
11:30:00 [11:30:00.114]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 848.71 MiB)
11:30:00 [11:30:00.986]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 848.71 MiB)
11:30:01 [11:30:01.129]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 849.71 MiB)
11:30:01 [11:30:01.211]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 881.71 MiB)
11:30:01 [11:30:01.689]
INFO:
ivc-integration:test:native bb - folded (mem: 881.71 MiB)
11:30:01 constructed folding proof (mem: 881.71 MiB)
11:30:01 Largest circuit: 15360 gates. Trace details: (mem: 881.71 MiB)
11:30:01 Minimum required block sizes for structured trace: (mem: 881.71 MiB)
11:30:01 (mem: 881.71 MiB)
11:30:01 prove decider... (mem: 881.71 MiB)
11:30:01 [11:30:01.692]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:30:01 busread : 3
11:30:01 lookup : 2
11:30:01 pub_inputs : 36
11:30:01 arithmetic : 4481
11:30:01 delta_range : 2041
11:30:01 elliptic : 2
11:30:01 aux : 50
11:30:01 poseidon2_external : 1312
11:30:01 poseidon2_internal : 7469
11:30:01 overflow : 0
11:30:01 [11:30:01.938]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 881.71 MiB)
11:30:02 [11:30:02.235]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 881.71 MiB)
11:30:03 [11:30:03.326]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 881.71 MiB)
11:30:03 [11:30:03.393]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 881.71 MiB)
11:30:03 finished decider proving. (mem: 881.71 MiB)
11:30:03 [11:30:03.411]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 881.71 MiB)
11:30:03 [11:30:03.532]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 881.71 MiB)
11:30:03 [11:30:03.541]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 881.71 MiB)
11:30:03 [11:30:03.663]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 881.71 MiB)
11:30:03 [11:30:03.726]
INFO:
ivc-integration:test:native bb - time to construct proving key: 193 ms. (mem: 881.71 MiB)
11:30:04 [11:30:04.613]
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-Z5sKRu/proof -k /tmp/bb-client-ivc-integration-Z5sKRu/vk -v
11:30:04 [11:30:04.636]
INFO:
ivc-integration:test:native bb command: verify (mem: 151.55 MiB)
11:30:04 Scheme is: client_ivc, num threads: 128 (mem: 151.55 MiB)
11:30:04 --proof_path: /tmp/bb-client-ivc-integration-Z5sKRu/proof (mem: 151.55 MiB)
11:30:04 --vk_path: /tmp/bb-client-ivc-integration-Z5sKRu/vk (mem: 151.55 MiB)
11:30:04 --verbose: true (mem: 151.55 MiB)
11:30:04 --scheme: client_ivc (mem: 151.55 MiB)
11:30:04 [11:30:04.727]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 162.00 MiB)
11:30:04 [11:30:04.746]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 174.71 MiB)
11:30:04 [11:30:04.747]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 174.71 MiB)
11:30:04 [11:30:04.766]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 174.71 MiB)
11:30:04 [11:30:04.767]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 174.71 MiB)
11:30:04 sumcheck_verified: 1 (mem: 174.71 MiB)
11:30:04 libra_evals_verified: 1 (mem: 174.71 MiB)
11:30:04 pairing_check_verified: 1 (mem: 174.71 MiB)
11:30:04 Mega verified: 1 (mem: 174.71 MiB)
11:30:04 [11:30:04.873]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.84 MiB)
11:30:04 batch opening verified?: 1 (mem: 189.84 MiB)
11:30:04 eccvm consistency check verified?: 1 (mem: 189.84 MiB)
11:30:04 translation masking consistency checked?: 1 (mem: 189.84 MiB)
11:30:04 [11:30:04.894]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 189.84 MiB)
11:30:04 eccvm verified?: 1 (mem: 189.84 MiB)
11:30:04 accumulator construction_verified?: 1 (mem: 189.84 MiB)
11:30:04 translation verified?: 1 (mem: 189.84 MiB)
11:30:04 consistency verified?: 1 (mem: 189.84 MiB)
11:30:04 Goblin verified: 1 (mem: 189.84 MiB)
11:30:04 [11:30:04.897]
INFO:
ivc-integration:test:native verified: 1
11:30:04 [11:30:04.898]
INFO:
ivc-integration:test:native (mem: 189.84 MiB)
11:30:05 [11:30:05.077]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-awJHEF/ivc-inputs.msgpack
11:30:05 [11:30:05.078]
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-awJHEF --ivc_inputs_path /tmp/bb-client-ivc-integration-awJHEF/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:30:05 [11:30:05.108]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 151.93 MiB)
11:30:05 Scheme is: client_ivc, num threads: 128 (mem: 151.93 MiB)
11:30:05 --scheme: client_ivc (mem: 151.93 MiB)
11:30:05 --output_path: /tmp/bb-client-ivc-integration-awJHEF (mem: 151.93 MiB)
11:30:05 --ivc_inputs_path: /tmp/bb-client-ivc-integration-awJHEF/ivc-inputs.msgpack (mem: 151.93 MiB)
11:30:05 --verbose: true (mem: 151.93 MiB)
11:30:05 --write_vk: true (mem: 151.93 MiB)
11:30:05 [11:30:05.113]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144
11:30:05 [11:30:05.113]
INFO:
ivc-integration:test:native bb - (mem:
11:30:05 [11:30:05.114]
INFO:
ivc-integration:test:native bb - 151.93
11:30:05 [11:30:05.115]
INFO:
ivc-integration:test:native bb - MiB)
11:30:05 [11:30:05.249]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 259.00 MiB)
11:30:05 [11:30:05.339]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 307.64 MiB)
11:30:05 [11:30:05.346]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 307.64 MiB)
11:30:05 Constructing DeciderProvingKey (mem: 307.64 MiB)
11:30:05 [11:30:05.352]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 307.64 MiB)
11:30:05 goblin ecc op : 4/1024 (mem: 307.64 MiB)
11:30:05 busread : 7/6000 (mem: 307.64 MiB)
11:30:05 lookups : 2/15000 (mem: 307.64 MiB)
11:30:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 307.64 MiB)
11:30:05 arithmetic : 1760/56000 (mem: 307.64 MiB)
11:30:05 delta range : 1754/18000 (mem: 307.64 MiB)
11:30:05 elliptic : 2/6000 (mem: 307.64 MiB)
11:30:05 auxiliary : 26/26000 (mem: 307.64 MiB)
11:30:05 poseidon ext : 2/17000 (mem: 307.64 MiB)
11:30:05 poseidon int : 2/92000 (mem: 307.64 MiB)
11:30:05 overflow : 0/0 (mem: 307.64 MiB)
11:30:05 (mem: 307.64 MiB)
11:30:05 Total structured size: 242025 (mem: 307.64 MiB)
11:30:05 allocating polynomials object in proving key... (mem: 307.64 MiB)
11:30:05 [11:30:05.510]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 504.76 MiB)
11:30:05 [11:30:05.525]
INFO:
ivc-integration:test:native bb - time to construct proving key: 179 ms. (mem: 517.76 MiB)
11:30:05 [11:30:05.590]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5abfe47f1d40 (mem: 517.76 MiB)
11:30:05 [11:30:05.592]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 517.76 MiB)
11:30:05 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 517.76 MiB)
11:30:06 [11:30:06.337]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem:
11:30:06 [11:30:06.340]
INFO:
ivc-integration:test:native bb - 517.76 MiB)
11:30:06 [11:30:06.653]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 524.76 MiB)
11:30:06 [11:30:06.659]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 524.76 MiB)
11:30:06 [11:30:06.678]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 525.76 MiB)
11:30:06 Constructing DeciderProvingKey (mem: 525.76 MiB)
11:30:06 [11:30:06.683]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.76 MiB)
11:30:06 goblin ecc op : 56/1024 (mem: 525.76 MiB)
11:30:06 busread : 12/6000
11:30:06 [11:30:06.685]
INFO:
ivc-integration:test:native bb - (mem: 525.76 MiB)
11:30:06 lookups : 2/15000 (mem: 525.76 MiB)
11:30:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.76 MiB)
11:30:06 arithmetic : 4625/56000 (mem: 525.76 MiB)
11:30:06 delta range : 2054/18000 (mem: 525.76 MiB)
11:30:06 elliptic : 2/6000 (mem: 525.76 MiB)
11:30:06 auxiliary : 110/26000 (mem: 525.76 MiB)
11:30:06 poseidon ext : 1302/17000 (mem: 525.76 MiB)
11:30:06 poseidon int : 7412/92000 (mem: 525.76 MiB)
11:30:06 overflow : 0/0 (mem: 525.76 MiB)
11:30:06 (mem: 525.76 MiB)
11:30:06 Total structured size: 242025 (mem: 525.76 MiB)
11:30:06 allocating polynomials object in proving key... (mem: 525.76 MiB)
11:30:06 [11:30:06.924]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 730.76 MiB)
11:30:06 [11:30:06.945]
INFO:
ivc-integration:test:native bb - time to construct proving key: 266 ms. (mem: 744.76 MiB)
11:30:07 [11:30:07.060]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5abfe47fafc0 (mem: 744.76 MiB)
11:30:07 computing folding proof (mem: 744.76 MiB)
11:30:07 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 744.76 MiB)
11:30:07 [11:30:07.696]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 744.76 MiB)
11:30:08 [11:30:08.417]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 749.76 MiB)
11:30:08 [11:30:08.521]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 782.76 MiB)
11:30:08 [11:30:08.606]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.76 MiB)
11:30:09 [11:30:09.055]
INFO:
ivc-integration:test:native bb - folded (mem: 814.76 MiB)
11:30:09 constructed folding proof (mem: 814.76 MiB)
11:30:09 [11:30:09.060]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.76 MiB)
11:30:09 Constructing DeciderProvingKey (mem: 814.76 MiB)
11:30:09 [11:30:09.065]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.76 MiB)
11:30:09 goblin ecc op : 4/1024 (mem: 814.76 MiB)
11:30:09 busread : 7/6000 (mem: 814.76 MiB)
11:30:09 lookups : 2/15000 (mem: 814.76 MiB)
11:30:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 814.76 MiB)
11:30:09 [11:30:09.066]
INFO:
ivc-integration:test:native bb - arithmetic : 1760/56000 (mem: 814.76 MiB)
11:30:09 delta range : 1754/18000 (mem: 814.76 MiB)
11:30:09 elliptic : 2/6000 (mem: 814.76 MiB)
11:30:09 auxiliary : 26/26000 (mem: 814.76 MiB)
11:30:09 poseidon ext : 2/17000 (mem: 814.76 MiB)
11:30:09 poseidon int : 2/92000 (mem: 814.76 MiB)
11:30:09 overflow : 0/0 (mem: 814.76 MiB)
11:30:09 (mem: 814.76 MiB)
11:30:09 Total structured size: 242025 (mem: 814.76 MiB)
11:30:09 allocating polynomials object in proving key... (mem: 814.76 MiB)
11:30:09 [11:30:09.163]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.76 MiB)
11:30:09 [11:30:09.182]
INFO:
ivc-integration:test:native bb - time to construct proving key: 121 ms. (mem: 814.76 MiB)
11:30:09 [11:30:09.316]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5abfe47f2580 (mem: 814.76 MiB)
11:30:09 computing folding proof (mem: 814.76 MiB)
11:30:09 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 814.76 MiB)
11:30:09 [11:30:09.944]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 814.76 MiB)
11:30:10 [11:30:10.122]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key
11:30:10 [11:30:10.123]
INFO:
ivc-integration:test:native bb - (mem:
11:30:10 [11:30:10.124]
INFO:
ivc-integration:test:native bb - 814.76
11:30:10 [11:30:10.125]
INFO:
ivc-integration:test:native bb - MiB)
11:30:10 [11:30:10.205]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 814.76 MiB)
11:30:10 [11:30:10.258]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.01 MiB)
11:30:10 [11:30:10.523]
INFO:
ivc-integration:test:native bb - folded (mem: 815.01 MiB)
11:30:10 constructed folding proof (mem: 815.01 MiB)
11:30:10 [11:30:10.533]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 815.01 MiB)
11:30:10 [11:30:10.599]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 815.01 MiB)
11:30:10 [11:30:10.680]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 815.01 MiB)
11:30:10 Constructing DeciderProvingKey (mem: 815.01 MiB)
11:30:10 [11:30:10.686]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.01 MiB)
11:30:10 goblin ecc op : 792/1024 (mem: 815.01 MiB)
11:30:10 busread : 12/6000 (mem: 815.01 MiB)
11:30:10 [11:30:10.688]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 815.01 MiB)
11:30:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 815.01 MiB)
11:30:10 arithmetic : 12080/56000 (mem: 815.01 MiB)
11:30:10 delta range : 2942/18000 (mem: 815.01 MiB)
11:30:10 elliptic : 2/6000 (mem: 815.01 MiB)
11:30:10 auxiliary : 350/26000 (mem: 815.01 MiB)
11:30:10 poseidon ext : 4942/17000 (mem: 815.01 MiB)
11:30:10 poseidon int : 28160/92000 (mem: 815.01 MiB)
11:30:10 overflow : 0/0 (mem: 815.01 MiB)
11:30:10 (mem: 815.01 MiB)
11:30:10 Total structured size: 242025 (mem: 815.01 MiB)
11:30:10 allocating polynomials object in proving key... (mem: 815.01 MiB)
11:30:10 [11:30:10.769]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.01 MiB)
11:30:10 [11:30:10.829]
INFO:
ivc-integration:test:native bb - time to construct proving key: 148 ms. (mem: 815.01 MiB)
11:30:10 [11:30:10.948]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5abfe47ec000 (mem: 815.01 MiB)
11:30:10 computing folding proof (mem: 815.01 MiB)
11:30:10 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 815.01 MiB)
11:30:11 [11:30:11.570]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0
11:30:11 [11:30:11.571]
INFO:
ivc-integration:test:native bb - (mem: 815.01 MiB)
11:30:11 [11:30:11.965]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.01 MiB)
11:30:12 [11:30:12.104]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 815.01 MiB)
11:30:12 [11:30:12.176]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 844.01 MiB)
11:30:12 [11:30:12.472]
INFO:
ivc-integration:test:native bb - folded (mem: 844.01 MiB)
11:30:12 constructed folding proof (mem: 844.01 MiB)
11:30:12 [11:30:12.479]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 844.01 MiB)
11:30:12 [11:30:12.545]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 844.01 MiB)
11:30:12 Constructing DeciderProvingKey (mem: 844.01 MiB)
11:30:12 [11:30:12.549]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.01 MiB)
11:30:12 goblin ecc op : 392/1024 (mem: 844.01 MiB)
11:30:12 busread : 16/6000 (mem: 844.01 MiB)
11:30:12 lookups : 2/15000 (mem: 844.01 MiB)
11:30:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 844.01 MiB)
11:30:12 arithmetic : 6914/56000 (mem: 844.01 MiB)
11:30:12 delta range : 2347/18000 (mem: 844.01 MiB)
11:30:12 elliptic : 2/6000 (mem: 844.01 MiB)
11:30:12 auxiliary : 77/26000 (mem: 844.01 MiB)
11:30:12 [11:30:12.553]
INFO:
ivc-integration:test:native bb - poseidon ext : 2472/17000 (mem: 844.01 MiB)
11:30:12 poseidon int : 14081/92000 (mem: 844.01 MiB)
11:30:12 overflow : 0/0 (mem: 844.01 MiB)
11:30:12 (mem: 844.01 MiB)
11:30:12 Total structured size: 242025 (mem: 844.01 MiB)
11:30:12 allocating polynomials object in proving key... (mem: 844.01 MiB)
11:30:12 [11:30:12.705]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.01 MiB)
11:30:12 [11:30:12.741]
INFO:
ivc-integration:test:native bb - time to construct proving key: 195 ms. (mem: 844.01 MiB)
11:30:12 [11:30:12.918]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5abfe486eec0 (mem: 844.01 MiB)
11:30:12 computing folding proof (mem: 844.01 MiB)
11:30:12 [11:30:12.919]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 844.01 MiB)
11:30:13 [11:30:13.412]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 844.01 MiB)
11:30:13 [11:30:13.841]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.01 MiB)
11:30:13 [11:30:13.916]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 844.01 MiB)
11:30:13 [11:30:13.976]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 844.55 MiB)
11:30:14 [11:30:14.187]
INFO:
ivc-integration:test:native bb - folded (mem: 844.55 MiB)
11:30:14 constructed folding proof (mem: 844.55 MiB)
11:30:14 [11:30:14.194]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 844.55 MiB)
11:30:14 [11:30:14.253]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 844.55 MiB)
11:30:14 Constructing DeciderProvingKey (mem: 844.55 MiB)
11:30:14 [11:30:14.256]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.55 MiB)
11:30:14 goblin ecc op : 392/1024 (mem: 844.55 MiB)
11:30:14 [11:30:14.257]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 844.55 MiB)
11:30:14 lookups : 2/15000 (mem: 844.55 MiB)
11:30:14 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.55 MiB)
11:30:14 arithmetic : 6849/56000 (mem: 844.55 MiB)
11:30:14 delta range : 2333/18000 (mem: 844.55 MiB)
11:30:14 elliptic : 2/6000 (mem: 844.55 MiB)
11:30:14 auxiliary : 50/26000 (mem: 844.55 MiB)
11:30:14 poseidon ext : 2472/17000 (mem: 844.55 MiB)
11:30:14 poseidon int : 14081/92000 (mem: 844.55 MiB)
11:30:14 overflow : 0/0 (mem: 844.55 MiB)
11:30:14 (mem: 844.55 MiB)
11:30:14 Total structured size: 242025 (mem: 844.55 MiB)
11:30:14 allocating polynomials object in proving key... (mem: 844.55 MiB)
11:30:14 [11:30:14.330]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.55 MiB)
11:30:14 [11:30:14.394]
INFO:
ivc-integration:test:native bb - time to construct proving key: 140 ms. (mem: 844.55 MiB)
11:30:14 [11:30:14.754]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5abfe48057c0 (mem: 844.55 MiB)
11:30:14 computing folding proof (mem: 844.55 MiB)
11:30:14 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 844.55 MiB)
11:30:15 [11:30:15.222]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 844.55 MiB)
11:30:15 [11:30:15.721]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.55 MiB)
11:30:15 [11:30:15.788]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 844.55 MiB)
11:30:15 [11:30:15.838]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 844.82 MiB)
11:30:16 [11:30:16.009]
INFO:
ivc-integration:test:native bb - folded (mem: 844.82 MiB)
11:30:16 constructed folding proof (mem: 844.82 MiB)
11:30:16 [11:30:16.010]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 844.82 MiB)
11:30:16 Minimum required block sizes for structured trace: (mem: 844.82 MiB)
11:30:16 (mem: 844.82 MiB)
11:30:16 prove decider... (mem: 844.82 MiB)
11:30:16 [11:30:16.010]
INFO:
ivc-integration:test:native bb - ecc_op : 792
11:30:16 busread : 16
11:30:16 lookup : 2
11:30:16 pub_inputs : 36
11:30:16 arithmetic : 12080
11:30:16 delta_range : 2942
11:30:16 elliptic : 2
11:30:16 aux : 350
11:30:16 poseidon2_external : 4942
11:30:16 poseidon2_internal : 28160
11:30:16 overflow : 0
11:30:16 [11:30:16.093]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.82 MiB)
11:30:16 [11:30:16.191]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
11:30:16 [11:30:16.194]
INFO:
ivc-integration:test:native bb - (mem: 844.82 MiB)
11:30:16 [11:30:16.761]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 844.82 MiB)
11:30:16 [11:30:16.835]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 844.82 MiB)
11:30:16 finished decider proving. (mem: 844.82 MiB)
11:30:16 [11:30:16.860]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 844.82 MiB)
11:30:16 [11:30:16.979]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 844.82 MiB)
11:30:16 [11:30:16.985]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 844.82 MiB)
11:30:17 [11:30:17.117]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.82 MiB)
11:30:17 [11:30:17.157]
INFO:
ivc-integration:test:native bb - time to construct proving key: 178 ms. (mem: 844.82 MiB)
11:30:17 [11:30:17.681]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 844.82 MiB)
11:30:18 [11:30:18.186]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 844.82 MiB)
11:30:18 [11:30:18.584]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 844.82 MiB)
11:30:18 [11:30:18.723]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.82 MiB)
11:30:19 [11:30:19.366]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 844.82 MiB)
11:30:20 [11:30:20.160]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 844.82 MiB)
11:30:20 [11:30:20.186]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 844.82 MiB)
11:30:20 finished decider proving. (mem: 844.82 MiB)
11:30:20 [11:30:20.188]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 844.82 MiB)
11:30:20 [11:30:20.310]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 844.82 MiB)
11:30:20 [11:30:20.735]
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: 844.82 MiB)
11:30:20 [11:30:20.753]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 844.82 MiB)
11:30:23 [11:30:23.147]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.82 MiB)
11:30:24 [11:30:24.671]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 844.82 MiB)
11:30:30 [11:30:30.424]
INFO:
ivc-integration:test:native bb - finished eccvm proving.
11:30:30 [11:30:30.425]
INFO:
ivc-integration:test:native bb - (mem: 844.82 MiB)
11:30:30 prove translator... (mem: 844.82 MiB)
11:30:33 [11:30:33.881]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 870.36 MiB)
11:30:35 [11:30:35.772]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 870.36 MiB)
11:30:37 [11:30:37.526]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 870.36 MiB)
11:30:37 [11:30:37.527]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 870.36 MiB)
11:30:37 [11:30:37.538]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 870.36 MiB)
11:30:37 [11:30:37.569]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1
11:30:37 [11:30:37.570]
INFO:
ivc-integration:test:native bb - (mem:
11:30:37 [11:30:37.572]
INFO:
ivc-integration:test:native bb - 870.36 MiB)
11:30:37 libra_evals_verified: 1 (mem: 870.36 MiB)
11:30:37 pairing_check_verified: 1 (mem: 870.36 MiB)
11:30:37 Mega verified: 1 (mem: 870.36 MiB)
11:30:37 [11:30:37.638]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 870.36 MiB)
11:30:37 batch opening verified?: 1 (mem: 870.36 MiB)
11:30:37 eccvm consistency check verified?: 1 (mem: 870.36 MiB)
11:30:37 translation masking consistency checked?: 1 (mem: 870.36 MiB)
11:30:37 [11:30:37.654]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 870.36 MiB)
11:30:37 eccvm verified?: 1 (mem: 870.36 MiB)
11:30:37 accumulator construction_verified?: 1 (mem: 870.36 MiB)
11:30:37 translation verified?: 1 (mem: 870.36 MiB)
11:30:37 consistency verified?: 1 (mem: 870.36 MiB)
11:30:37 Goblin verified: 1 (mem: 870.36 MiB)
11:30:37 [11:30:37.655]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-awJHEF" (mem: 870.36 MiB)
11:30:37 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-awJHEF" (mem: 870.36 MiB)
11:30:37 BN254 commitment key size: 262144 (mem: 870.36 MiB)
11:30:37 [11:30:37.656]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 870.36 MiB)
11:30:37 [11:30:37.660]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 870.36 MiB)
11:30:37 goblin ecc op : 4/1024 (mem: 870.36 MiB)
11:30:37 busread : 3/6000 (mem: 870.36 MiB)
11:30:37 lookups : 2/15000 (mem: 870.36 MiB)
11:30:37 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 870.36 MiB)
11:30:37 arithmetic : 1773/56000 (mem: 870.36 MiB)
11:30:37 delta range : 1754/18000 (mem: 870.36 MiB)
11:30:37 elliptic : 2/6000 (mem: 870.36 MiB)
11:30:37 auxiliary : 26/26000 (mem: 870.36 MiB)
11:30:37 poseidon ext : 2/17000 (mem: 870.36 MiB)
11:30:37 poseidon int : 2/92000 (mem: 870.36 MiB)
11:30:37 overflow : 0/0 (mem: 870.36 MiB)
11:30:37 (mem: 870.36 MiB)
11:30:37 [11:30:37.661]
INFO:
ivc-integration:test:native bb - Total structured size: 242025 (mem: 870.36 MiB)
11:30:37 allocating polynomials object in proving key... (mem: 870.36 MiB)
11:30:37 [11:30:37.747]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 870.36 MiB)
11:30:37 [11:30:37.773]
INFO:
ivc-integration:test:native bb - time to construct proving key: 114 ms. (mem: 870.36 MiB)
11:30:37 [11:30:37.834]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 870.36 MiB)
11:30:38 [11:30:38.729]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 870.36 MiB)
11:30:38 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 870.36 MiB)
11:30:39 [11:30:39.399]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 870.36 MiB)
11:30:39 [11:30:39.677]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 870.36 MiB)
11:30:39 [11:30:39.685]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c
11:30:39 [11:30:39.687]
INFO:
ivc-integration:test:native bb - (mem: 870.36 MiB)
11:30:39 [11:30:39.707]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
11:30:39 [11:30:39.709]
INFO:
ivc-integration:test:native bb - (mem: 870.36 MiB)
11:30:39 [11:30:39.712]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 870.36 MiB)
11:30:39 goblin ecc op : 56/1024 (mem: 870.36 MiB)
11:30:39 busread : 3/6000 (mem: 870.36 MiB)
11:30:39 lookups : 2/15000 (mem: 870.36 MiB)
11:30:39 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 870.36 MiB)
11:30:39 arithmetic : 4481/56000 (mem: 870.36 MiB)
11:30:39 [11:30:39.714]
INFO:
ivc-integration:test:native bb - delta range : 2041/18000 (mem: 870.36 MiB)
11:30:39 elliptic : 2/6000 (mem: 870.36 MiB)
11:30:39 auxiliary : 50/26000 (mem: 870.36 MiB)
11:30:39 poseidon ext : 1312/17000 (mem: 870.36 MiB)
11:30:39 poseidon int : 7469/92000 (mem: 870.36 MiB)
11:30:39 overflow : 0/0 (mem: 870.36 MiB)
11:30:39 (mem: 870.36 MiB)
11:30:39 Total structured size: 242025 (mem: 870.36 MiB)
11:30:39 allocating polynomials object in proving key... (mem: 870.36 MiB)
11:30:39 [11:30:39.914]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 870.36 MiB)
11:30:39 [11:30:39.952]
INFO:
ivc-integration:test:native bb - time to construct proving key: 242 ms. (mem: 870.36 MiB)
11:30:40 [11:30:40.073]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 870.36 MiB)
11:30:40 [11:30:40.702]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 870.36 MiB)
11:30:40 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 870.36 MiB)
11:30:41 [11:30:41.310]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 870.36 MiB)
11:30:41 [11:30:41.887]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 870.36 MiB)
11:30:42 [11:30:42.020]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 870.36 MiB)
11:30:42 [11:30:42.063]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 902.36 MiB)
11:30:42 [11:30:42.426]
INFO:
ivc-integration:test:native bb - folded (mem: 902.36 MiB)
11:30:42 constructed folding proof (mem: 902.36 MiB)
11:30:42 Largest circuit: 15360 gates. Trace details: (mem: 902.36 MiB)
11:30:42 Minimum required block sizes for structured trace: (mem: 902.36 MiB)
11:30:42 (mem: 902.36 MiB)
11:30:42 prove decider... (mem: 902.36 MiB)
11:30:42 [11:30:42.427]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:30:42 busread : 3
11:30:42 lookup : 2
11:30:42 pub_inputs : 36
11:30:42 arithmetic : 4481
11:30:42 delta_range : 2041
11:30:42 elliptic : 2
11:30:42 aux : 50
11:30:42 poseidon2_external : 1312
11:30:42 poseidon2_internal : 7469
11:30:42 overflow : 0
11:30:42 [11:30:42.635]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 902.36 MiB)
11:30:42 [11:30:42.752]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 902.36 MiB)
11:30:43 [11:30:43.395]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 902.36 MiB)
11:30:43 [11:30:43.458]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 902.36 MiB)
11:30:43 finished decider proving. (mem: 902.36 MiB)
11:30:43 [11:30:43.475]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 902.36 MiB)
11:30:43 [11:30:43.574]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 902.36 MiB)
11:30:43 [11:30:43.580]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 902.36 MiB)
11:30:43 [11:30:43.667]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 902.36 MiB)
11:30:43 [11:30:43.705]
INFO:
ivc-integration:test:native bb - time to construct proving key: 130 ms. (mem: 902.36 MiB)
11:30:44 [11:30:44.146]
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-awJHEF/proof -k /tmp/bb-client-ivc-integration-awJHEF/vk -v
11:30:44 [11:30:44.167]
INFO:
ivc-integration:test:native bb command: verify (mem: 160.39 MiB)
11:30:44 Scheme is: client_ivc, num threads: 128 (mem: 160.39 MiB)
11:30:44 --proof_path: /tmp/bb-client-ivc-integration-awJHEF/proof (mem: 160.39 MiB)
11:30:44 --vk_path: /tmp/bb-client-ivc-integration-awJHEF/vk (mem: 160.39 MiB)
11:30:44 --verbose: true (mem: 160.39 MiB)
11:30:44 --scheme: client_ivc (mem: 160.39 MiB)
11:30:44 [11:30:44.278]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 160.39 MiB)
11:30:44 [11:30:44.302]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 160.39 MiB)
11:30:44 [11:30:44.302]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 160.39 MiB)
11:30:44 [11:30:44.320]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 160.39 MiB)
11:30:44 [11:30:44.322]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 160.39 MiB)
11:30:44 sumcheck_verified: 1 (mem: 160.39 MiB)
11:30:44 libra_evals_verified: 1 (mem: 160.39 MiB)
11:30:44 pairing_check_verified: 1 (mem: 160.39 MiB)
11:30:44 Mega verified: 1 (mem: 160.39 MiB)
11:30:44 [11:30:44.382]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 172.88 MiB)
11:30:44 [11:30:44.383]
INFO:
ivc-integration:test:native batch opening verified?: 1 (mem: 172.88 MiB)
11:30:44 eccvm consistency check verified?: 1 (mem: 172.88 MiB)
11:30:44 translation masking consistency checked?: 1 (mem: 172.88 MiB)
11:30:44 [11:30:44.400]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 172.88 MiB)
11:30:44 eccvm verified?: 1 (mem: 172.88 MiB)
11:30:44 accumulator construction_verified?: 1 (mem:
11:30:44 [11:30:44.401]
INFO:
ivc-integration:test:native 172.88 MiB)
11:30:44 translation verified?: 1 (mem: 172.88 MiB)
11:30:44 consistency verified?: 1 (mem: 172.88 MiB)
11:30:44 Goblin verified: 1 (mem: 172.88 MiB)
11:30:44 [11:30:44.407]
INFO:
ivc-integration:test:native verified: 1 (mem: 172.88 MiB)
11:30:44
PASS src/native_client_ivc_integration.test.ts (
84.273 s)
11:30:44 Client IVC Integration
11:30:44
✓ Should generate a verifiable client IVC proof from a simple mock tx (41381 ms)
11:30:44
✓ Should generate a verifiable client IVC proof from a complex mock tx (39487 ms)
11:30:44
11:30:44
Test Suites: 1 passed, 1 total
11:30:44
Tests: 2 passed, 2 total
11:30:44
Snapshots: 0 total
11:30:44
Time: 84.351 s
11:30:44
Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i
.
11:30:44
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?