Parent Log:
http://ci.aztec-labs.com/3ca30566e9ce997a
Command: 24e90b7895ff1ed6: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/8cc8a56892d36191eefb49254ebbe49ea99ef4b8
Env: REF_NAME=gh-readonly-queue/next/pr-14921-78d87cb88633aee537d022d6fd8e57ceb74a3a95 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 11:29:31 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14921_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:29:36 [11:29:36.390]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Lct92k/ivc-inputs.msgpack
11:29:36 [11:29:36.397]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
11:29:36 [11:29:36.398]
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-Lct92k --ivc_inputs_path /tmp/bb-client-ivc-integration-Lct92k/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:29:36 [11:29:36.424]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 181.16 MiB)
11:29:36 [11:29:36.425]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 181.16 MiB)
11:29:36 --scheme: client_ivc (mem: 181.16 MiB)
11:29:36 --output_path: /tmp/bb-client-ivc-integration-Lct92k (mem: 181.16 MiB)
11:29:36 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Lct92k/ivc-inputs.msgpack (mem: 181.16 MiB)
11:29:36 --verbose: true (mem: 181.16 MiB)
11:29:36 --write_vk: true (mem: 181.16 MiB)
11:29:36 [11:29:36.426]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 181.16 MiB)
11:29:36 [11:29:36.534]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 242.00 MiB)
11:29:36 [11:29:36.602]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 290.01 MiB)
11:29:36 [11:29:36.605]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 290.01 MiB)
11:29:36 Constructing DeciderProvingKey (mem: 290.01 MiB)
11:29:36 [11:29:36.615]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 290.01 MiB)
11:29:36 goblin ecc op : 4/1024 (mem: 290.01 MiB)
11:29:36 busread : 7/6000 (mem: 290.01 MiB)
11:29:36 lookups : 2/15000 (mem: 290.01 MiB)
11:29:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 290.01 MiB)
11:29:36 arithmetic : 1760/56000 (mem: 290.01 MiB)
11:29:36 delta range : 1754/18000 (mem: 290.01 MiB)
11:29:36 elliptic : 2/6000 (mem: 290.01 MiB)
11:29:36 auxiliary : 26/26000 (mem: 290.01 MiB)
11:29:36 poseidon ext : 2/17000 (mem: 290.01 MiB)
11:29:36 poseidon int : 2/92000 (mem: 290.01 MiB)
11:29:36 overflow : 0/0 (mem: 290.01 MiB)
11:29:36 (mem: 290.01 MiB)
11:29:36 Total structured size: 242025 (mem: 290.01 MiB)
11:29:36 allocating polynomials object in proving key... (mem: 290.01 MiB)
11:29:36 [11:29:36.701]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 505.17 MiB)
11:29:36 [11:29:36.712]
INFO:
ivc-integration:test:native bb - time to construct proving key: 107 ms. (mem: 513.17 MiB)
11:29:36 [11:29:36.749]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x579bcb5a3700 (mem: 513.17 MiB)
11:29:36 computing oink proof... (mem: 513.17 MiB)
11:29:36 [11:29:36.750]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.17 MiB)
11:29:36 [11:29:36.930]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 522.17 MiB)
11:29:36 [11:29:36.939]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.17 MiB)
11:29:36 [11:29:36.958]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.17 MiB)
11:29:36 Constructing DeciderProvingKey (mem: 523.17 MiB)
11:29:36 [11:29:36.963]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.17 MiB)
11:29:36 goblin ecc op : 56/1024 (mem: 523.17 MiB)
11:29:36 busread : 12/6000 (mem: 523.17 MiB)
11:29:36 lookups : 2/15000 (mem: 523.17 MiB)
11:29:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.17 MiB)
11:29:36 arithmetic : 4625/56000 (mem: 523.17 MiB)
11:29:36 delta range : 2054/18000 (mem: 523.17 MiB)
11:29:36 elliptic : 2/6000 (mem: 523.17 MiB)
11:29:36 auxiliary : 110/26000 (mem: 523.17 MiB)
11:29:36 poseidon ext : 1302/17000 (mem: 523.17 MiB)
11:29:36 poseidon int : 7412/92000 (mem: 523.17 MiB)
11:29:36 overflow : 0/0 (mem: 523.17 MiB)
11:29:36 (mem: 523.17 MiB)
11:29:36 Total structured size: 242025 (mem: 523.17 MiB)
11:29:36 allocating polynomials object in proving key... (mem: 523.17 MiB)
11:29:37 [11:29:37.027]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 729.17 MiB)
11:29:37 [11:29:37.048]
INFO:
ivc-integration:test:native bb - time to construct proving key: 91 ms. (mem: 743.17 MiB)
11:29:37 [11:29:37.102]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x579bcb5b0380 (mem: 743.17 MiB)
11:29:37 computing folding proof (mem: 743.17 MiB)
11:29:37 [11:29:37.104]
INFO:
ivc-integration:test:native bb -
11:29:37 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 743.17 MiB)
11:29:37 [11:29:37.470]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 743.17 MiB)
11:29:37 [11:29:37.560]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 781.17 MiB)
11:29:37 [11:29:37.627]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.17 MiB)
11:29:37 [11:29:37.955]
INFO:
ivc-integration:test:native bb - folded (mem: 814.17 MiB)
11:29:37 constructed folding proof (mem: 814.17 MiB)
11:29:37 [11:29:37.963]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 814.17 MiB)
11:29:38 [11:29:38.042]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.17 MiB)
11:29:38 Constructing DeciderProvingKey (mem: 814.17 MiB)
11:29:38 [11:29:38.053]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.17 MiB)
11:29:38 goblin ecc op : 392/1024 (mem: 814.17 MiB)
11:29:38 busread : 3/6000 (mem: 814.17 MiB)
11:29:38 lookups : 2/15000 (mem: 814.17 MiB)
11:29:38 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 814.17 MiB)
11:29:38 arithmetic : 6849/56000 (mem: 814.17 MiB)
11:29:38 delta range : 2333/18000 (mem: 814.17 MiB)
11:29:38 elliptic : 2/6000 (mem: 814.17 MiB)
11:29:38 auxiliary : 50/26000 (mem: 814.17 MiB)
11:29:38 poseidon ext : 2472/17000 (mem: 814.17 MiB)
11:29:38 poseidon int : 14081/92000 (mem: 814.17 MiB)
11:29:38 overflow : 0/0 (mem: 814.17 MiB)
11:29:38 (mem: 814.17 MiB)
11:29:38 Total structured size: 242025 (mem: 814.17 MiB)
11:29:38 allocating polynomials object in proving key... (mem: 814.17 MiB)
11:29:38 [11:29:38.240]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.17 MiB)
11:29:38 [11:29:38.285]
INFO:
ivc-integration:test:native bb - time to construct proving key: 243 ms. (mem: 814.17 MiB)
11:29:38 [11:29:38.461]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x579bcb5a5d40 (mem: 814.17 MiB)
11:29:38 computing folding proof (mem: 814.17 MiB)
11:29:38 [11:29:38.462]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 814.17 MiB)
11:29:39 [11:29:39.029]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.17 MiB)
11:29:39 [11:29:39.141]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 814.17 MiB)
11:29:39 [11:29:39.192]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.17 MiB)
11:29:39 [11:29:39.702]
INFO:
ivc-integration:test:native bb - folded (mem: 814.17 MiB)
11:29:39 [11:29:39.704]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 814.17 MiB)
11:29:39 Largest circuit: 25792 gates. Trace details: (mem: 814.17 MiB)
11:29:39 Minimum required block sizes for structured trace: (mem: 814.17 MiB)
11:29:39 [11:29:39.705]
INFO:
ivc-integration:test:native bb - (mem: 814.17 MiB)
11:29:39 prove decider... (mem: 814.17 MiB)
11:29:39 [11:29:39.707]
INFO:
ivc-integration:test:native bb - ecc_op : 392
11:29:39 busread : 12
11:29:39 lookup : 2
11:29:39 pub_inputs : 36
11:29:39 arithmetic : 6849
11:29:39 delta_range : 2333
11:29:39 elliptic : 2
11:29:39 aux : 110
11:29:39 poseidon2_external : 2472
11:29:39 poseidon2_internal : 14081
11:29:39 overflow : 0
11:29:39 [11:29:39.882]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.17 MiB)
11:29:40 [11:29:40.039]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 814.17 MiB)
11:29:41 [11:29:41.240]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 814.17 MiB)
11:29:41 [11:29:41.361]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 814.17 MiB)
11:29:41 finished decider proving. (mem: 814.17 MiB)
11:29:41 [11:29:41.382]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 814.17 MiB)
11:29:41 [11:29:41.501]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 814.17 MiB)
11:29:41 [11:29:41.506]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 814.17 MiB)
11:29:41 [11:29:41.685]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.17 MiB)
11:29:41 [11:29:41.732]
INFO:
ivc-integration:test:native bb - time to construct proving key: 232 ms. (mem: 814.17 MiB)
11:29:42 [11:29:42.679]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 814.17 MiB)
11:29:43 [11:29:43.279]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 814.17 MiB)
11:29:43 [11:29:43.535]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.17 MiB)
11:29:45 [11:29:45.612]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 814.17 MiB)
11:29:46 [11:29:46.858]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 814.17 MiB)
11:29:46 [11:29:46.904]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 814.17 MiB)
11:29:46 [11:29:46.905]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 814.17 MiB)
11:29:46 Constructing a Goblin proof with num ultra ops = 1038 (mem: 814.17 MiB)
11:29:47 [11:29:47.123]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 814.17 MiB)
11:29:47 [11:29:47.785]
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: 814.17 MiB)
11:29:47 [11:29:47.818]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 814.17 MiB)
11:29:50 [11:29:50.085]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
11:29:50 [11:29:50.087]
INFO:
ivc-integration:test:native bb - (mem:
11:29:50 [11:29:50.087]
INFO:
ivc-integration:test:native bb - 814.17
11:29:50 [11:29:50.090]
INFO:
ivc-integration:test:native bb - MiB)
11:29:52 [11:29:52.350]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 814.17 MiB)
11:29:57 [11:29:57.373]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 814.17 MiB)
11:29:57 prove translator... (mem: 814.17 MiB)
11:30:00 [11:30:00.066]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.38 MiB)
11:30:02 [11:30:02.356]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
11:30:02 [11:30:02.357]
INFO:
ivc-integration:test:native bb - (mem: 847.38 MiB)
11:30:05 [11:30:05.488]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 847.38 MiB)
11:30:05 [11:30:05.490]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 847.38 MiB)
11:30:05 [11:30:05.493]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 847.38 MiB)
11:30:05 [11:30:05.515]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 847.38 MiB)
11:30:05 libra_evals_verified: 1 (mem: 847.38 MiB)
11:30:05 pairing_check_verified: 1 (mem: 847.38 MiB)
11:30:05 [11:30:05.516]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 847.38 MiB)
11:30:05 [11:30:05.616]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 848.38 MiB)
11:30:05 batch opening verified?: 1 (mem: 848.38 MiB)
11:30:05 eccvm consistency check verified?: 1 (mem: 848.38 MiB)
11:30:05 translation masking consistency checked?: 1 (mem: 848.38 MiB)
11:30:05 [11:30:05.651]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 848.38 MiB)
11:30:05 eccvm verified?: 1 (mem: 848.38 MiB)
11:30:05 accumulator construction_verified?: 1 (mem: 848.38 MiB)
11:30:05 translation verified?: 1 (mem: 848.38 MiB)
11:30:05 consistency verified?: 1 (mem: 848.38 MiB)
11:30:05 Goblin verified: 1 (mem: 848.38 MiB)
11:30:05 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Lct92k" (mem: 848.38 MiB)
11:30:05 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Lct92k" (mem: 848.38 MiB)
11:30:05 BN254 commitment key size: 262144 (mem: 848.38 MiB)
11:30:05 [11:30:05.653]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.38 MiB)
11:30:05 [11:30:05.657]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.38 MiB)
11:30:05 goblin ecc op : 4/1024 (mem: 848.38 MiB)
11:30:05 [11:30:05.658]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 848.38 MiB)
11:30:05 lookups : 2/15000 (mem: 848.38 MiB)
11:30:05 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 848.38 MiB)
11:30:05 arithmetic : 1773/56000 (mem: 848.38 MiB)
11:30:05 delta range : 1754/18000 (mem: 848.38 MiB)
11:30:05 elliptic : 2/6000 (mem: 848.38 MiB)
11:30:05 auxiliary : 26/26000 (mem: 848.38 MiB)
11:30:05 poseidon ext : 2/17000 (mem: 848.38 MiB)
11:30:05 poseidon int : 2/92000 (mem: 848.38 MiB)
11:30:05 overflow : 0/0 (mem: 848.38 MiB)
11:30:05 (mem: 848.38 MiB)
11:30:05 Total structured size: 242025 (mem: 848.38 MiB)
11:30:05 allocating polynomials object in proving key... (mem: 848.38 MiB)
11:30:05 [11:30:05.823]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.38 MiB)
11:30:05 [11:30:05.903]
INFO:
ivc-integration:test:native bb - time to construct proving key: 249 ms. (mem: 848.38 MiB)
11:30:06 [11:30:06.059]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.38 MiB)
11:30:06 [11:30:06.944]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 848.38 MiB)
11:30:06 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.38 MiB)
11:30:07 [11:30:07.530]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 848.38 MiB)
11:30:07 [11:30:07.552]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.38 MiB)
11:30:07 [11:30:07.574]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
11:30:07 [11:30:07.575]
INFO:
ivc-integration:test:native bb - (mem: 848.38 MiB)
11:30:07 [11:30:07.579]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.38 MiB)
11:30:07 goblin ecc op : 56/1024 (mem: 848.38 MiB)
11:30:07 busread : 3/6000 (mem: 848.38 MiB)
11:30:07 lookups : 2/15000 (mem: 848.38 MiB)
11:30:07 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.38 MiB)
11:30:07 arithmetic : 4481/56000 (mem: 848.38 MiB)
11:30:07 delta range : 2041/18000 (mem: 848.38 MiB)
11:30:07 elliptic : 2/6000 (mem: 848.38 MiB)
11:30:07 auxiliary : 50/26000 (mem: 848.38 MiB)
11:30:07 poseidon ext : 1312/17000 (mem: 848.38 MiB)
11:30:07 poseidon int : 7469/92000 (mem: 848.38 MiB)
11:30:07 overflow : 0/0 (mem: 848.38 MiB)
11:30:07 (mem: 848.38 MiB)
11:30:07 Total structured size: 242025 (mem: 848.38 MiB)
11:30:07 allocating polynomials object in proving key... (mem: 848.38 MiB)
11:30:07 [11:30:07.704]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.38 MiB)
11:30:07 [11:30:07.740]
INFO:
ivc-integration:test:native bb - time to construct proving key: 164 ms. (mem: 848.38 MiB)
11:30:07 [11:30:07.897]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.38 MiB)
11:30:08 [11:30:08.791]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 848.38 MiB)
11:30:08 [11:30:08.797]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 848.38 MiB)
11:30:09 [11:30:09.612]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 848.38 MiB)
11:30:09 [11:30:09.793]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 850.38 MiB)
11:30:09 [11:30:09.866]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 882.38 MiB)
11:30:10 [11:30:10.341]
INFO:
ivc-integration:test:native bb - folded (mem:
11:30:10 [11:30:10.342]
INFO:
ivc-integration:test:native bb - 882.38 MiB)
11:30:10 constructed folding proof (mem: 882.38 MiB)
11:30:10 Largest circuit: 15360 gates. Trace details: (mem: 882.38 MiB)
11:30:10 Minimum required block sizes for structured trace: (mem: 882.38 MiB)
11:30:10 (mem: 882.38 MiB)
11:30:10 prove decider... (mem: 882.38 MiB)
11:30:10 [11:30:10.343]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:30:10 busread : 3
11:30:10 lookup : 2
11:30:10 pub_inputs : 36
11:30:10 arithmetic : 4481
11:30:10 delta_range : 2041
11:30:10 elliptic : 2
11:30:10 aux : 50
11:30:10 poseidon2_external : 1312
11:30:10 poseidon2_internal : 7469
11:30:10 overflow : 0
11:30:10 [11:30:10.790]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
11:30:10 [11:30:10.791]
INFO:
ivc-integration:test:native bb - (mem:
11:30:10 [11:30:10.792]
INFO:
ivc-integration:test:native bb - 882.38 MiB)
11:30:11 [11:30:11.010]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 882.38 MiB)
11:30:12 [11:30:12.386]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 882.38 MiB)
11:30:12 [11:30:12.504]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 882.38 MiB)
11:30:12 finished decider proving. (mem: 882.38 MiB)
11:30:12 [11:30:12.512]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 882.38 MiB)
11:30:12 [11:30:12.599]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 882.38 MiB)
11:30:12 [11:30:12.604]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 882.38 MiB)
11:30:12 [11:30:12.713]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 882.38 MiB)
11:30:12 [11:30:12.747]
INFO:
ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 882.38 MiB)
11:30:13 [11:30:13.394]
INFO:
ivc-integration:test:native BB concurrency: 1
11:30:13 [11:30:13.394]
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-Lct92k/proof -k /tmp/bb-client-ivc-integration-Lct92k/vk -v
11:30:13 [11:30:13.422]
INFO:
ivc-integration:test:native bb command: verify (mem: 181.70 MiB)
11:30:13 Scheme is: client_ivc, num threads: 1 (mem: 181.70 MiB)
11:30:13 --proof_path: /tmp/bb-client-ivc-integration-Lct92k/proof (mem: 181.70 MiB)
11:30:13 --vk_path: /tmp/bb-client-ivc-integration-Lct92k/vk (mem: 181.70 MiB)
11:30:13 --verbose: true (mem: 181.70 MiB)
11:30:13 --scheme: client_ivc (mem: 181.70 MiB)
11:30:13 [11:30:13.438]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 181.70 MiB)
11:30:13 [11:30:13.463]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 181.70 MiB)
11:30:13 vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 181.70 MiB)
11:30:13 [11:30:13.482]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
11:30:13 [11:30:13.483]
INFO:
ivc-integration:test:native (mem:
11:30:13 [11:30:13.484]
INFO:
ivc-integration:test:native 181.70
11:30:13 [11:30:13.484]
INFO:
ivc-integration:test:native MiB)
11:30:13 [11:30:13.487]
INFO:
ivc-integration:test:native
11:30:13 Initialized BN254 CRS from memory with num points = 9 (mem: 181.70 MiB)
11:30:13 sumcheck_verified: 1 (mem: 181.70 MiB)
11:30:13 libra_evals_verified: 1 (mem: 181.70 MiB)
11:30:13 pairing_check_verified: 1 (mem: 181.70 MiB)
11:30:13 Mega verified: 1 (mem: 181.70 MiB)
11:30:13 [11:30:13.977]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 181.70 MiB)
11:30:13 batch opening verified?: 1 (mem: 181.70 MiB)
11:30:13 eccvm consistency check verified?: 1 (mem: 181.70 MiB)
11:30:13 translation masking consistency checked?: 1 (mem: 181.70 MiB)
11:30:14 [11:30:14.017]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 181.70 MiB)
11:30:14 eccvm verified?: 1 (mem: 181.70 MiB)
11:30:14 accumulator construction_verified?: 1 (mem: 181.70 MiB)
11:30:14 translation verified?: 1 (mem: 181.70 MiB)
11:30:14 consistency verified?: 1 (mem: 181.70 MiB)
11:30:14 Goblin verified: 1 (mem: 181.70 MiB)
11:30:14 verified: 1 (mem: 181.70 MiB)
11:30:14 [11:30:14.108]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-OS2bjc/ivc-inputs.msgpack
11:30:14 [11:30:14.110]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
11:30:14 [11:30:14.110]
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-OS2bjc --ivc_inputs_path /tmp/bb-client-ivc-integration-OS2bjc/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:30:14 [11:30:14.146]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 186.93 MiB)
11:30:14 Scheme is: client_ivc, num threads: 128 (mem: 186.93 MiB)
11:30:14 --scheme: client_ivc (mem: 186.93 MiB)
11:30:14 --output_path: /tmp/bb-client-ivc-integration-OS2bjc (mem: 186.93 MiB)
11:30:14 --ivc_inputs_path: /tmp/bb-client-ivc-integration-OS2bjc/ivc-inputs.msgpack (mem: 186.93 MiB)
11:30:14 --verbose: true (mem: 186.93 MiB)
11:30:14 --write_vk: true (mem: 186.93 MiB)
11:30:14 [11:30:14.156]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 186.93 MiB)
11:30:14 [11:30:14.273]
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:14 [11:30:14.360]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 307.24 MiB)
11:30:14 [11:30:14.365]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 307.24 MiB)
11:30:14 Constructing DeciderProvingKey (mem: 307.24 MiB)
11:30:14 [11:30:14.372]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 307.24 MiB)
11:30:14 goblin ecc op : 4/1024 (mem: 307.24 MiB)
11:30:14 busread : 7/6000 (mem: 307.24 MiB)
11:30:14 lookups : 2/15000 (mem: 307.24 MiB)
11:30:14 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 307.24 MiB)
11:30:14 arithmetic : 1760/56000 (mem: 307.24 MiB)
11:30:14 delta range : 1754/18000 (mem: 307.24 MiB)
11:30:14 elliptic : 2/6000 (mem: 307.24 MiB)
11:30:14 auxiliary : 26/26000 (mem: 307.24 MiB)
11:30:14 poseidon ext : 2/17000 (mem: 307.24 MiB)
11:30:14 poseidon int : 2/92000 (mem: 307.24 MiB)
11:30:14 overflow : 0/0 (mem: 307.24 MiB)
11:30:14 (mem: 307.24 MiB)
11:30:14 Total structured size: 242025 (mem: 307.24 MiB)
11:30:14 allocating polynomials object in proving key... (mem: 307.24 MiB)
11:30:14 [11:30:14.569]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 502.37 MiB)
11:30:14 [11:30:14.617]
INFO:
ivc-integration:test:native bb - time to construct proving key: 252 ms. (mem: 514.37 MiB)
11:30:14 [11:30:14.823]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64c1dd7d8540 (mem: 514.37 MiB)
11:30:14 [11:30:14.825]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 514.37 MiB)
11:30:14 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 514.37 MiB)
11:30:15 [11:30:15.149]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 523.37 MiB)
11:30:15 [11:30:15.158]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 524.37 MiB)
11:30:15 [11:30:15.177]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 524.37 MiB)
11:30:15 Constructing DeciderProvingKey (mem: 524.37 MiB)
11:30:15 [11:30:15.182]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 524.37 MiB)
11:30:15 goblin ecc op : 56/1024 (mem: 524.37 MiB)
11:30:15 busread : 12/6000 (mem: 524.37 MiB)
11:30:15 lookups : 2/15000 (mem: 524.37 MiB)
11:30:15 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 524.37 MiB)
11:30:15 arithmetic : 4625/56000 (mem: 524.37 MiB)
11:30:15 delta range : 2054/18000 (mem: 524.37 MiB)
11:30:15 [11:30:15.184]
INFO:
ivc-integration:test:native bb -
11:30:15 elliptic : 2/6000 (mem: 524.37 MiB)
11:30:15 auxiliary : 110/26000 (mem: 524.37 MiB)
11:30:15 poseidon ext : 1302/17000 (mem: 524.37 MiB)
11:30:15 poseidon int : 7412/92000 (mem: 524.37 MiB)
11:30:15 overflow : 0/0 (mem: 524.37 MiB)
11:30:15 (mem: 524.37 MiB)
11:30:15 Total structured size: 242025 (mem: 524.37 MiB)
11:30:15 allocating polynomials object in proving key... (mem: 524.37 MiB)
11:30:15 [11:30:15.363]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 736.37 MiB)
11:30:15 [11:30:15.394]
INFO:
ivc-integration:test:native bb - time to construct proving key: 215 ms. (mem: 752.37 MiB)
11:30:15 [11:30:15.508]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64c1dd7e17c0 (mem: 752.37 MiB)
11:30:15 computing folding proof (mem: 752.37 MiB)
11:30:15 [11:30:15.510]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 752.37 MiB)
11:30:16 [11:30:16.236]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 752.37 MiB)
11:30:16 [11:30:16.330]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 789.37 MiB)
11:30:16 [11:30:16.383]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 821.37 MiB)
11:30:16 [11:30:16.665]
INFO:
ivc-integration:test:native bb - folded (mem: 821.37 MiB)
11:30:16 constructed folding proof (mem: 821.37 MiB)
11:30:16 [11:30:16.670]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.37 MiB)
11:30:16 Constructing DeciderProvingKey (mem: 821.37 MiB)
11:30:16 [11:30:16.673]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.37 MiB)
11:30:16 [11:30:16.674]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 821.37 MiB)
11:30:16 busread : 7/6000 (mem: 821.37 MiB)
11:30:16 lookups : 2/15000 (mem: 821.37 MiB)
11:30:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.37 MiB)
11:30:16 arithmetic : 1760/56000 (mem: 821.37 MiB)
11:30:16 delta range : 1754/18000 (mem: 821.37 MiB)
11:30:16 elliptic : 2/6000 (mem: 821.37 MiB)
11:30:16 auxiliary : 26/26000 (mem: 821.37 MiB)
11:30:16 poseidon ext : 2/17000 (mem: 821.37 MiB)
11:30:16 poseidon int : 2/92000 (mem: 821.37 MiB)
11:30:16 overflow : 0/0 (mem: 821.37 MiB)
11:30:16 (mem: 821.37 MiB)
11:30:16 Total structured size: 242025 (mem: 821.37 MiB)
11:30:16 allocating polynomials object in proving key... (mem: 821.37 MiB)
11:30:17 [11:30:17.009]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 821.37 MiB)
11:30:17 [11:30:17.048]
INFO:
ivc-integration:test:native bb - time to construct proving key: 377 ms. (mem: 821.37 MiB)
11:30:17 [11:30:17.103]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64c1dd7d8d80 (mem: 821.37 MiB)
11:30:17 computing folding proof (mem: 821.37 MiB)
11:30:17 [11:30:17.104]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.37 MiB)
11:30:17 [11:30:17.358]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.37 MiB)
11:30:17 [11:30:17.483]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 821.37 MiB)
11:30:17 [11:30:17.535]
INFO:
ivc-integration:test:native bb - combiner quotient round
11:30:17 [11:30:17.539]
INFO:
ivc-integration:test:native bb - (mem: 821.37 MiB)
11:30:17 [11:30:17.844]
INFO:
ivc-integration:test:native bb - folded (mem: 821.37 MiB)
11:30:17 constructed folding proof (mem: 821.37 MiB)
11:30:17 [11:30:17.866]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 821.37 MiB)
11:30:17 [11:30:17.937]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.37 MiB)
11:30:18 [11:30:18.024]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 821.37 MiB)
11:30:18 Constructing DeciderProvingKey (mem: 821.37 MiB)
11:30:18 [11:30:18.029]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.37 MiB)
11:30:18 goblin ecc op : 792/1024 (mem: 821.37 MiB)
11:30:18 busread : 12/6000 (mem: 821.37 MiB)
11:30:18 lookups : 2/15000 (mem: 821.37 MiB)
11:30:18 [11:30:18.031]
INFO:
ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.37 MiB)
11:30:18 arithmetic : 12080/56000 (mem: 821.37 MiB)
11:30:18 delta range : 2942/18000 (mem: 821.37 MiB)
11:30:18 elliptic : 2/6000 (mem: 821.37 MiB)
11:30:18 auxiliary : 350/26000 (mem: 821.37 MiB)
11:30:18 poseidon ext : 4942/17000 (mem: 821.37 MiB)
11:30:18 poseidon int : 28160/92000 (mem: 821.37 MiB)
11:30:18 overflow : 0/0 (mem: 821.37 MiB)
11:30:18 (mem: 821.37 MiB)
11:30:18 Total structured size: 242025 (mem: 821.37 MiB)
11:30:18 allocating polynomials object in proving key... (mem: 821.37 MiB)
11:30:18 [11:30:18.149]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 821.37 MiB)
11:30:18 [11:30:18.210]
INFO:
ivc-integration:test:native bb - time to construct proving key: 185 ms. (mem: 821.37 MiB)
11:30:18 [11:30:18.380]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64c1dd856600 (mem: 821.37 MiB)
11:30:18 [11:30:18.381]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 821.37 MiB)
11:30:18 [11:30:18.391]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 821.37 MiB)
11:30:18 [11:30:18.705]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.37 MiB)
11:30:18 [11:30:18.803]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 821.37 MiB)
11:30:18 [11:30:18.882]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 851.49 MiB)
11:30:19 [11:30:19.279]
INFO:
ivc-integration:test:native bb - folded
11:30:19 [11:30:19.280]
INFO:
ivc-integration:test:native bb - (mem: 851.49 MiB)
11:30:19 constructed folding proof (mem: 851.49 MiB)
11:30:19 [11:30:19.288]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9
11:30:19 [11:30:19.289]
INFO:
ivc-integration:test:native bb - (mem: 851.49 MiB)
11:30:19 [11:30:19.369]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 851.49 MiB)
11:30:19 Constructing DeciderProvingKey (mem: 851.49 MiB)
11:30:19 [11:30:19.373]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.49 MiB)
11:30:19 goblin ecc op : 392/1024 (mem: 851.49 MiB)
11:30:19 busread : 16/6000 (mem: 851.49 MiB)
11:30:19 lookups : 2/15000 (mem: 851.49 MiB)
11:30:19 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 851.49 MiB)
11:30:19 arithmetic : 6914/56000 (mem: 851.49 MiB)
11:30:19 delta range : 2347/18000 (mem: 851.49 MiB)
11:30:19 elliptic : 2/6000 (mem: 851.49 MiB)
11:30:19 auxiliary : 77/26000 (mem: 851.49 MiB)
11:30:19 poseidon ext : 2472/17000 (mem: 851.49 MiB)
11:30:19 poseidon int : 14081/92000 (mem: 851.49 MiB)
11:30:19 overflow : 0/0 (mem: 851.49 MiB)
11:30:19 (mem: 851.49 MiB)
11:30:19 Total structured size: 242025 (mem: 851.49 MiB)
11:30:19 allocating polynomials object in proving key... (mem: 851.49 MiB)
11:30:19 [11:30:19.470]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 851.49 MiB)
11:30:19 [11:30:19.502]
INFO:
ivc-integration:test:native bb - time to construct proving key: 133 ms. (mem: 851.49 MiB)
11:30:19 [11:30:19.613]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64c1dd855700 (mem: 851.49 MiB)
11:30:19 computing folding proof (mem: 851.49 MiB)
11:30:19 [11:30:19.615]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 851.49 MiB)
11:30:19 [11:30:19.937]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.49 MiB)
11:30:20 [11:30:20.041]
INFO:
ivc-integration:test:native bb - perturbator round
11:30:20 [11:30:20.042]
INFO:
ivc-integration:test:native bb - (mem: 851.49 MiB)
11:30:20 [11:30:20.096]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 852.16 MiB)
11:30:20 [11:30:20.272]
INFO:
ivc-integration:test:native bb - folded (mem: 852.16 MiB)
11:30:20 constructed folding proof (mem: 852.16 MiB)
11:30:20 [11:30:20.282]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 852.16 MiB)
11:30:20 [11:30:20.354]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 852.16 MiB)
11:30:20 Constructing DeciderProvingKey (mem: 852.16 MiB)
11:30:20 [11:30:20.360]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 852.16 MiB)
11:30:20 goblin ecc op : 392/1024 (mem: 852.16 MiB)
11:30:20 busread : 3/6000 (mem: 852.16 MiB)
11:30:20 lookups : 2/15000 (mem: 852.16 MiB)
11:30:20 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 852.16 MiB)
11:30:20 arithmetic : 6849/56000 (mem: 852.16 MiB)
11:30:20 delta range : 2333/18000 (mem: 852.16 MiB)
11:30:20 elliptic : 2/6000 (mem: 852.16 MiB)
11:30:20 auxiliary : 50/26000 (mem: 852.16 MiB)
11:30:20 poseidon ext : 2472/17000 (mem: 852.16 MiB)
11:30:20 poseidon int : 14081/92000 (mem: 852.16 MiB)
11:30:20 overflow : 0/0 (mem: 852.16 MiB)
11:30:20 (mem: 852.16 MiB)
11:30:20 Total structured size: 242025 (mem: 852.16 MiB)
11:30:20 allocating polynomials object in proving key... (mem: 852.16 MiB)
11:30:20 [11:30:20.415]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 852.16 MiB)
11:30:20 [11:30:20.448]
INFO:
ivc-integration:test:native bb - time to construct proving key: 93 ms. (mem: 852.16 MiB)
11:30:20 [11:30:20.592]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64c1dd7d2a40 (mem: 852.16 MiB)
11:30:20 computing folding proof (mem: 852.16 MiB)
11:30:20 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 852.16 MiB)
11:30:20 [11:30:20.993]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 852.16 MiB)
11:30:21 [11:30:21.075]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 852.16 MiB)
11:30:21 [11:30:21.163]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 853.07 MiB)
11:30:21 [11:30:21.341]
INFO:
ivc-integration:test:native bb - folded (mem: 853.07 MiB)
11:30:21 constructed folding proof (mem: 853.07 MiB)
11:30:21 Largest circuit: 48490 gates. Trace details: (mem: 853.07 MiB)
11:30:21 Minimum required block sizes for structured trace: (mem: 853.07 MiB)
11:30:21 (mem: 853.07 MiB)
11:30:21 prove decider... (mem: 853.07 MiB)
11:30:21 [11:30:21.343]
INFO:
ivc-integration:test:native bb - ecc_op : 792
11:30:21 busread : 16
11:30:21 lookup : 2
11:30:21 pub_inputs : 36
11:30:21 arithmetic : 12080
11:30:21 delta_range : 2942
11:30:21 elliptic : 2
11:30:21 aux : 350
11:30:21 poseidon2_external : 4942
11:30:21 poseidon2_internal : 28160
11:30:21 overflow : 0
11:30:21 [11:30:21.430]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 853.07 MiB)
11:30:21 [11:30:21.535]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 853.07 MiB)
11:30:21 [11:30:21.947]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 853.07 MiB)
11:30:22 [11:30:22.009]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 853.07 MiB)
11:30:22 finished decider proving. (mem: 853.07 MiB)
11:30:22 [11:30:22.025]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 853.07 MiB)
11:30:22 [11:30:22.126]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 853.07 MiB)
11:30:22 [11:30:22.132]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 853.07 MiB)
11:30:22 [11:30:22.191]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 853.07 MiB)
11:30:22 [11:30:22.216]
INFO:
ivc-integration:test:native bb - time to construct proving key: 89 ms. (mem: 853.07 MiB)
11:30:22 [11:30:22.655]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 853.07 MiB)
11:30:23 [11:30:23.003]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 853.07 MiB)
11:30:23 [11:30:23.113]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 853.07 MiB)
11:30:23 [11:30:23.899]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 853.07 MiB)
11:30:24 [11:30:24.496]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 853.07 MiB)
11:30:24 [11:30:24.537]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 853.07 MiB)
11:30:24 finished decider proving. (mem: 853.07 MiB)
11:30:24 Constructing a Goblin proof with num ultra ops = 2226 (mem: 853.07 MiB)
11:30:24 [11:30:24.647]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 853.07 MiB)
11:30:24 [11:30:24.867]
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: 853.07 MiB)
11:30:24 [11:30:24.880]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 853.07 MiB)
11:30:26 [11:30:26.194]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 853.07 MiB)
11:30:27 [11:30:27.161]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 853.07 MiB)
11:30:29 [11:30:29.221]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 853.07 MiB)
11:30:29 prove translator... (mem: 853.07 MiB)
11:30:31 [11:30:31.892]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 873.96 MiB)
11:30:33 [11:30:33.129]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 874.96 MiB)
11:30:34 [11:30:34.426]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 874.96 MiB)
11:30:34 finished translator proving. (mem: 874.96 MiB)
11:30:34 [11:30:34.439]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 874.96 MiB)
11:30:34 [11:30:34.469]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 874.96 MiB)
11:30:34 libra_evals_verified: 1 (mem: 874.96 MiB)
11:30:34 pairing_check_verified: 1 (mem: 874.96 MiB)
11:30:34 Mega verified: 1 (mem: 874.96 MiB)
11:30:34 [11:30:34.526]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 874.96 MiB)
11:30:34 batch opening verified?: 1 (mem: 874.96 MiB)
11:30:34 eccvm consistency check verified?: 1 (mem: 874.96 MiB)
11:30:34 translation masking consistency checked?: 1 (mem: 874.96 MiB)
11:30:34 [11:30:34.546]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 874.96 MiB)
11:30:34 eccvm verified?: 1 (mem: 874.96 MiB)
11:30:34 accumulator construction_verified?: 1 (mem: 874.96 MiB)
11:30:34 translation verified?: 1 (mem: 874.96 MiB)
11:30:34 consistency verified?: 1 (mem: 874.96 MiB)
11:30:34 Goblin verified: 1 (mem: 874.96 MiB)
11:30:34 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-OS2bjc" (mem: 874.96 MiB)
11:30:34 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-OS2bjc" (mem: 874.96 MiB)
11:30:34 BN254 commitment key size: 262144 (mem: 874.96 MiB)
11:30:34 [11:30:34.547]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
11:30:34 [11:30:34.548]
INFO:
ivc-integration:test:native bb - (mem:
11:30:34 [11:30:34.548]
INFO:
ivc-integration:test:native bb - 874.96
11:30:34 [11:30:34.548]
INFO:
ivc-integration:test:native bb - MiB)
11:30:34 [11:30:34.549]
INFO:
ivc-integration:test:native bb -
11:30:34 [11:30:34.553]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 874.96 MiB)
11:30:34 goblin ecc op : 4/1024 (mem: 874.96 MiB)
11:30:34 [11:30:34.554]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 874.96 MiB)
11:30:34 lookups : 2/15000 (mem: 874.96 MiB)
11:30:34 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 874.96 MiB)
11:30:34 arithmetic : 1773/56000 (mem: 874.96 MiB)
11:30:34 delta range : 1754/18000 (mem: 874.96 MiB)
11:30:34 elliptic : 2/6000 (mem: 874.96 MiB)
11:30:34 auxiliary : 26/26000 (mem: 874.96 MiB)
11:30:34 poseidon ext : 2/17000 (mem: 874.96 MiB)
11:30:34 poseidon int : 2/92000 (mem: 874.96 MiB)
11:30:34 overflow : 0/0 (mem: 874.96 MiB)
11:30:34 (mem: 874.96 MiB)
11:30:34 Total structured size: 242025 (mem: 874.96 MiB)
11:30:34 allocating polynomials object in proving key... (mem: 874.96 MiB)
11:30:34 [11:30:34.607]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 874.96 MiB)
11:30:34 [11:30:34.615]
INFO:
ivc-integration:test:native bb - time to construct proving key: 65 ms. (mem: 874.96 MiB)
11:30:34 [11:30:34.664]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 874.96 MiB)
11:30:35 [11:30:35.513]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 874.96 MiB)
11:30:35 [11:30:35.514]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 874.96 MiB)
11:30:35 [11:30:35.644]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 874.96 MiB)
11:30:35 [11:30:35.657]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 874.96 MiB)
11:30:35 [11:30:35.678]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 874.96 MiB)
11:30:35 [11:30:35.679]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 874.96 MiB)
11:30:35 goblin ecc op : 56/1024 (mem: 874.96 MiB)
11:30:35 busread : 3/6000 (mem: 874.96 MiB)
11:30:35 lookups : 2/15000 (mem: 874.96 MiB)
11:30:35 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 874.96 MiB)
11:30:35 arithmetic : 4481/56000
11:30:35 [11:30:35.681]
INFO:
ivc-integration:test:native bb - (mem: 874.96 MiB)
11:30:35 delta range : 2041/18000 (mem: 874.96 MiB)
11:30:35 elliptic : 2/6000 (mem: 874.96 MiB)
11:30:35 auxiliary : 50/26000 (mem: 874.96 MiB)
11:30:35 poseidon ext : 1312/17000 (mem: 874.96 MiB)
11:30:35 poseidon int : 7469/92000 (mem: 874.96 MiB)
11:30:35 overflow : 0/0 (mem: 874.96 MiB)
11:30:35 (mem: 874.96 MiB)
11:30:35 Total structured size: 242025 (mem: 874.96 MiB)
11:30:35 allocating polynomials object in proving key... (mem: 874.96 MiB)
11:30:35 [11:30:35.975]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 874.96 MiB)
11:30:36 [11:30:36.003]
INFO:
ivc-integration:test:native bb - time to construct proving key: 327 ms. (mem: 874.96 MiB)
11:30:36 [11:30:36.084]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 874.96 MiB)
11:30:36 [11:30:36.733]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 874.96 MiB)
11:30:36 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 874.96 MiB)
11:30:37 [11:30:37.550]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 874.96 MiB)
11:30:37 [11:30:37.640]
INFO:
ivc-integration:test:native bb - perturbator round
11:30:37 [11:30:37.641]
INFO:
ivc-integration:test:native bb - (mem:
11:30:37 [11:30:37.645]
INFO:
ivc-integration:test:native bb - 874.96 MiB)
11:30:37 [11:30:37.717]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 906.96 MiB)
11:30:37 [11:30:37.952]
INFO:
ivc-integration:test:native bb - folded (mem: 906.96 MiB)
11:30:37 [11:30:37.953]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 906.96 MiB)
11:30:37 Largest circuit: 15360 gates. Trace details: (mem: 906.96 MiB)
11:30:37 Minimum required block sizes for structured trace: (mem: 906.96 MiB)
11:30:37 (mem: 906.96 MiB)
11:30:37 prove decider... (mem: 906.96 MiB)
11:30:37 [11:30:37.954]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:30:37 busread : 3
11:30:37 lookup : 2
11:30:37 pub_inputs : 36
11:30:37 arithmetic : 4481
11:30:37 delta_range : 2041
11:30:37 elliptic : 2
11:30:37 aux : 50
11:30:37 poseidon2_external : 1312
11:30:37 poseidon2_internal : 7469
11:30:37 overflow : 0
11:30:38 [11:30:38.055]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 906.96 MiB)
11:30:38 [11:30:38.136]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 906.96 MiB)
11:30:39 [11:30:39.235]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 906.96 MiB)
11:30:39 [11:30:39.326]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 906.96 MiB)
11:30:39 finished decider proving. (mem: 906.96 MiB)
11:30:39 [11:30:39.326]
INFO:
ivc-integration:test:native bb -
11:30:39 [11:30:39.343]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 906.96 MiB)
11:30:39 [11:30:39.458]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 906.96 MiB)
11:30:39 [11:30:39.466]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
11:30:39 [11:30:39.468]
INFO:
ivc-integration:test:native bb - (mem: 906.96 MiB)
11:30:39 [11:30:39.614]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 906.96 MiB)
11:30:39 [11:30:39.643]
INFO:
ivc-integration:test:native bb - time to construct proving key: 186 ms. (mem: 906.96 MiB)
11:30:40 [11:30:40.040]
INFO:
ivc-integration:test:native BB concurrency: 1
11:30:40 [11:30:40.041]
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-OS2bjc/proof -k /tmp/bb-client-ivc-integration-OS2bjc/vk -v
11:30:40 [11:30:40.067]
INFO:
ivc-integration:test:native bb command: verify (mem: 188.45 MiB)
11:30:40 Scheme is: client_ivc, num threads: 1 (mem: 188.45 MiB)
11:30:40 [11:30:40.068]
INFO:
ivc-integration:test:native --proof_path: /tmp/bb-client-ivc-integration-OS2bjc/proof (mem: 188.45 MiB)
11:30:40 --vk_path: /tmp/bb-client-ivc-integration-OS2bjc/vk (mem: 188.45 MiB)
11:30:40 --verbose: true (mem: 188.45 MiB)
11:30:40 --scheme: client_ivc (mem: 188.45 MiB)
11:30:40 [11:30:40.087]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.45 MiB)
11:30:40 [11:30:40.108]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 188.45 MiB)
11:30:40 [11:30:40.109]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 188.45 MiB)
11:30:40 [11:30:40.128]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.45 MiB)
11:30:40 [11:30:40.129]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 188.45 MiB)
11:30:40 [11:30:40.130]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 188.45 MiB)
11:30:40 libra_evals_verified: 1 (mem: 188.45 MiB)
11:30:40 [11:30:40.130]
INFO:
ivc-integration:test:native
11:30:40 pairing_check_verified: 1 (mem: 188.45 MiB)
11:30:40 Mega verified: 1 (mem: 188.45 MiB)
11:30:40 [11:30:40.580]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.45 MiB)
11:30:40 batch opening verified?: 1 (mem: 188.45 MiB)
11:30:40 eccvm consistency check verified?: 1 (mem: 188.45 MiB)
11:30:40 translation masking consistency checked?: 1 (mem: 188.45 MiB)
11:30:40 [11:30:40.605]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 188.45 MiB)
11:30:40 eccvm verified?: 1 (mem: 188.45 MiB)
11:30:40 accumulator construction_verified?: 1 (mem: 188.45 MiB)
11:30:40 translation verified?: 1 (mem: 188.45 MiB)
11:30:40 consistency verified?: 1 (mem: 188.45 MiB)
11:30:40 Goblin verified: 1 (mem: 188.45 MiB)
11:30:40 [11:30:40.613]
INFO:
ivc-integration:test:native verified: 1 (mem: 188.45 MiB)
11:30:40
PASS src/native_client_ivc_integration.test.ts (
67.874 s)
11:30:40 Client IVC Integration
11:30:40
✓ Should generate a verifiable client IVC proof from a simple mock tx (37714 ms)
11:30:40
✓ Should generate a verifiable client IVC proof from a complex mock tx (26593 ms)
11:30:40
11:30:40
Test Suites: 1 passed, 1 total
11:30:40
Tests: 2 passed, 2 total
11:30:40
Snapshots: 0 total
11:30:40
Time: 67.976 s
11:30:40
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
11:30:40
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?