Parent Log:
http://ci.aztec-labs.com/523a3b1793b6a592
Command: c118fea9c063e772: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/12d931e5ea9343eec403068931d3121e1d10e37e
Env: REF_NAME=gh-readonly-queue/next/pr-15042-254faae7d330e160b14c6eaaa099dc92d4a9cac7 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 12:30:08 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15042_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
12:30:12 [12:30:12.564]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-P3t5Zd/ivc-inputs.msgpack
12:30:12 [12:30:12.573]
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-P3t5Zd --ivc_inputs_path /tmp/bb-client-ivc-integration-P3t5Zd/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
12:30:12 [12:30:12.595]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 157.96 MiB)
12:30:12 [12:30:12.596]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 157.96 MiB)
12:30:12 --scheme: client_ivc (mem: 157.96 MiB)
12:30:12 --output_path: /tmp/bb-client-ivc-integration-P3t5Zd (mem: 157.96 MiB)
12:30:12 --ivc_inputs_path: /tmp/bb-client-ivc-integration-P3t5Zd/ivc-inputs.msgpack (mem: 157.96 MiB)
12:30:12 --verbose: true (mem: 157.96 MiB)
12:30:12 --write_vk: true (mem: 157.96 MiB)
12:30:12 BN254 commitment key size: 262144 (mem: 157.96 MiB)
12:30:12 [12:30:12.704]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.00 MiB)
12:30:12 [12:30:12.789]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 303.73 MiB)
12:30:12 [12:30:12.793]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 303.73 MiB)
12:30:12 [12:30:12.797]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 303.73 MiB)
12:30:12 [12:30:12.799]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 303.73 MiB)
12:30:12 [12:30:12.801]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 303.73 MiB)
12:30:12 busread : 7/6000 (mem: 303.73 MiB)
12:30:12 lookups : 2/15000 (mem: 303.73 MiB)
12:30:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 303.73 MiB)
12:30:12 arithmetic : 1760/56000 (mem: 303.73 MiB)
12:30:12 delta range : 1754/18000 (mem: 303.73 MiB)
12:30:12 elliptic : 2/6000 (mem: 303.73 MiB)
12:30:12 auxiliary : 26/26000 (mem: 303.73 MiB)
12:30:12 poseidon ext : 2/17000 (mem: 303.73 MiB)
12:30:12 poseidon int : 2/92000 (mem: 303.73 MiB)
12:30:12 overflow : 0/0 (mem: 303.73 MiB)
12:30:12 (mem: 303.73 MiB)
12:30:12 Total structured size: 242025 (mem: 303.73 MiB)
12:30:12 allocating polynomials object in proving key... (mem: 303.73 MiB)
12:30:12 [12:30:12.880]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 500.88 MiB)
12:30:12 [12:30:12.899]
INFO:
ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 512.88 MiB)
12:30:12 [12:30:12.942]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63e59dbaca40 (mem: 512.88 MiB)
12:30:12 computing oink proof... (mem: 512.88 MiB)
12:30:12 [12:30:12.944]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.88 MiB)
12:30:13 [12:30:13.138]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 519.88 MiB)
12:30:13 [12:30:13.149]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 519.88 MiB)
12:30:13 [12:30:13.170]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 519.88 MiB)
12:30:13 Constructing DeciderProvingKey (mem: 519.88 MiB)
12:30:13 [12:30:13.173]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 519.88 MiB)
12:30:13 goblin ecc op : 56/1024 (mem: 519.88 MiB)
12:30:13 busread : 12/6000 (mem: 519.88 MiB)
12:30:13 lookups : 2/15000 (mem: 519.88 MiB)
12:30:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 519.88 MiB)
12:30:13 arithmetic : 4625/56000 (mem: 519.88 MiB)
12:30:13 [12:30:13.174]
INFO:
ivc-integration:test:native bb - delta range : 2054/18000 (mem: 519.88 MiB)
12:30:13 elliptic : 2/6000 (mem: 519.88 MiB)
12:30:13 auxiliary : 110/26000 (mem: 519.88 MiB)
12:30:13 poseidon ext : 1302/17000 (mem: 519.88 MiB)
12:30:13 poseidon int : 7412/92000 (mem: 519.88 MiB)
12:30:13 overflow : 0/0 (mem: 519.88 MiB)
12:30:13 (mem: 519.88 MiB)
12:30:13 Total structured size: 242025 (mem: 519.88 MiB)
12:30:13 allocating polynomials object in proving key... (mem: 519.88 MiB)
12:30:13 [12:30:13.310]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 731.88 MiB)
12:30:13 [12:30:13.337]
INFO:
ivc-integration:test:native bb - time to construct proving key: 167 ms. (mem: 749.88 MiB)
12:30:13 [12:30:13.449]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63e59dbb96c0 (mem: 749.88 MiB)
12:30:13 computing folding proof (mem: 749.88 MiB)
12:30:13 [12:30:13.450]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 749.88 MiB)
12:30:13 [12:30:13.963]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 749.88 MiB)
12:30:14 [12:30:14.066]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 784.88 MiB)
12:30:14 [12:30:14.126]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.88 MiB)
12:30:14 [12:30:14.588]
INFO:
ivc-integration:test:native bb - folded (mem: 817.88 MiB)
12:30:14 constructed folding proof (mem: 817.88 MiB)
12:30:14 [12:30:14.600]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 817.88 MiB)
12:30:14 [12:30:14.662]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.88 MiB)
12:30:14 Constructing DeciderProvingKey (mem: 817.88 MiB)
12:30:14 [12:30:14.666]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.88 MiB)
12:30:14 goblin ecc op : 392/1024 (mem: 817.88 MiB)
12:30:14 busread : 3/6000 (mem: 817.88 MiB)
12:30:14 lookups : 2/15000 (mem: 817.88 MiB)
12:30:14 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.88 MiB)
12:30:14 arithmetic : 6849/56000 (mem: 817.88 MiB)
12:30:14 delta range : 2333/18000 (mem:
12:30:14 [12:30:14.670]
INFO:
ivc-integration:test:native bb - 817.88 MiB)
12:30:14 elliptic : 2/6000 (mem: 817.88 MiB)
12:30:14 auxiliary : 50/26000 (mem: 817.88 MiB)
12:30:14 poseidon ext : 2472/17000 (mem: 817.88 MiB)
12:30:14 poseidon int : 14081/92000 (mem: 817.88 MiB)
12:30:14 overflow : 0/0 (mem: 817.88 MiB)
12:30:14 (mem: 817.88 MiB)
12:30:14 Total structured size: 242025 (mem: 817.88 MiB)
12:30:14 allocating polynomials object in proving key... (mem: 817.88 MiB)
12:30:14 [12:30:14.848]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.88 MiB)
12:30:14 [12:30:14.909]
INFO:
ivc-integration:test:native bb - time to construct proving key: 242 ms. (mem: 817.88 MiB)
12:30:15 [12:30:15.158]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63e59dbaf080 (mem: 817.88 MiB)
12:30:15 computing folding proof (mem: 817.88 MiB)
12:30:15 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.88 MiB)
12:30:15 [12:30:15.663]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.88 MiB)
12:30:15 [12:30:15.801]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 817.88 MiB)
12:30:15 [12:30:15.858]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.88 MiB)
12:30:16 [12:30:16.304]
INFO:
ivc-integration:test:native bb - folded (mem: 817.88 MiB)
12:30:16 constructed folding proof (mem: 817.88 MiB)
12:30:16 [12:30:16.305]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 817.88 MiB)
12:30:16 Minimum required block sizes for structured trace: (mem: 817.88 MiB)
12:30:16 (mem: 817.88 MiB)
12:30:16 prove decider... (mem: 817.88 MiB)
12:30:16 [12:30:16.306]
INFO:
ivc-integration:test:native bb - ecc_op : 392
12:30:16 busread : 12
12:30:16 lookup : 2
12:30:16 pub_inputs : 36
12:30:16 arithmetic : 6849
12:30:16 delta_range : 2333
12:30:16 elliptic : 2
12:30:16 aux : 110
12:30:16 poseidon2_external : 2472
12:30:16 poseidon2_internal : 14081
12:30:16 overflow : 0
12:30:16 [12:30:16.605]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.88 MiB)
12:30:16 [12:30:16.773]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 817.88 MiB)
12:30:17 [12:30:17.970]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.88 MiB)
12:30:18 [12:30:18.068]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 817.88 MiB)
12:30:18 finished decider proving. (mem: 817.88 MiB)
12:30:18 [12:30:18.092]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.88 MiB)
12:30:18 [12:30:18.203]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.88 MiB)
12:30:18 [12:30:18.209]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 817.88 MiB)
12:30:18 [12:30:18.351]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.88 MiB)
12:30:18 [12:30:18.405]
INFO:
ivc-integration:test:native bb - time to construct proving key: 201 ms. (mem: 817.88 MiB)
12:30:19 [12:30:19.664]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 817.88 MiB)
12:30:20 [12:30:20.375]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 817.88 MiB)
12:30:20 [12:30:20.699]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
12:30:20 [12:30:20.702]
INFO:
ivc-integration:test:native bb - (mem: 817.88 MiB)
12:30:22 [12:30:22.513]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.88 MiB)
12:30:23 [12:30:23.698]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.88 MiB)
12:30:23 [12:30:23.736]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 817.88 MiB)
12:30:23 finished decider proving. (mem: 817.88 MiB)
12:30:23 [12:30:23.738]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 817.88 MiB)
12:30:23 [12:30:23.945]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 817.88 MiB)
12:30:24 [12:30:24.429]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat"
12:30:24 [12:30:24.433]
INFO:
ivc-integration:test:native bb - (mem: 817.88 MiB)
12:30:24 [12:30:24.474]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 817.88 MiB)
12:30:26 [12:30:26.536]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.88 MiB)
12:30:28 [12:30:28.791]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.88 MiB)
12:30:34 [12:30:34.229]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 817.88 MiB)
12:30:34 prove translator... (mem: 817.88 MiB)
12:30:36 [12:30:36.875]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.85 MiB)
12:30:39 [12:30:39.674]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.85 MiB)
12:30:42 [12:30:42.811]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.85 MiB)
12:30:42 [12:30:42.812]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 845.85 MiB)
12:30:42 [12:30:42.815]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 845.85 MiB)
12:30:42 [12:30:42.866]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 845.85 MiB)
12:30:42 libra_evals_verified: 1 (mem: 845.85 MiB)
12:30:42 pairing_check_verified: 1 (mem: 845.85 MiB)
12:30:42 Mega verified: 1 (mem: 845.85 MiB)
12:30:42 [12:30:42.988]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 845.85 MiB)
12:30:42 batch opening verified?: 1 (mem: 845.85 MiB)
12:30:42 eccvm consistency check verified?: 1 (mem: 845.85 MiB)
12:30:42 translation masking consistency checked?: 1 (mem: 845.85 MiB)
12:30:43 [12:30:43.005]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 846.85 MiB)
12:30:43 eccvm verified?: 1 (mem: 846.85 MiB)
12:30:43 accumulator construction_verified?: 1 (mem: 846.85 MiB)
12:30:43 translation verified?: 1 (mem: 846.85 MiB)
12:30:43 consistency verified?: 1 (mem: 846.85 MiB)
12:30:43 Goblin verified: 1 (mem: 846.85 MiB)
12:30:43 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-P3t5Zd" (mem: 846.85 MiB)
12:30:43 [12:30:43.011]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-P3t5Zd" (mem: 846.85 MiB)
12:30:43 BN254 commitment key size: 262144 (mem: 846.85 MiB)
12:30:43 [12:30:43.013]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.85 MiB)
12:30:43 [12:30:43.018]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.85 MiB)
12:30:43 goblin ecc op : 4/1024 (mem: 846.85 MiB)
12:30:43 busread : 3/6000 (mem: 846.85 MiB)
12:30:43 lookups : 2/15000 (mem: 846.85 MiB)
12:30:43 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.85 MiB)
12:30:43 arithmetic : 1773/56000 (mem: 846.85 MiB)
12:30:43 delta range : 1754/18000 (mem: 846.85 MiB)
12:30:43 elliptic : 2/6000 (mem: 846.85 MiB)
12:30:43 auxiliary : 26/26000 (mem: 846.85 MiB)
12:30:43 poseidon ext : 2/17000 (mem: 846.85 MiB)
12:30:43 poseidon int : 2/92000 (mem: 846.85 MiB)
12:30:43 overflow : 0/0 (mem: 846.85 MiB)
12:30:43 (mem: 846.85 MiB)
12:30:43 Total structured size: 242025 (mem: 846.85 MiB)
12:30:43 allocating polynomials object in proving key... (mem: 846.85 MiB)
12:30:43 [12:30:43.249]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.85 MiB)
12:30:43 [12:30:43.273]
INFO:
ivc-integration:test:native bb - time to construct proving key: 260 ms. (mem: 846.85 MiB)
12:30:43 [12:30:43.365]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.85 MiB)
12:30:44 [12:30:44.302]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 846.85 MiB)
12:30:44 [12:30:44.303]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.85 MiB)
12:30:44 [12:30:44.883]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 846.85 MiB)
12:30:44 [12:30:44.914]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.85 MiB)
12:30:44 [12:30:44.977]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.85 MiB)
12:30:44 [12:30:44.981]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
12:30:44 [12:30:44.982]
INFO:
ivc-integration:test:native bb - (mem:
12:30:44 [12:30:44.982]
INFO:
ivc-integration:test:native bb - 846.85
12:30:44 [12:30:44.985]
INFO:
ivc-integration:test:native bb - MiB)
12:30:44 goblin ecc op : 56/1024 (mem: 846.85 MiB)
12:30:44 busread : 3/6000 (mem: 846.85 MiB)
12:30:44 lookups : 2/15000 (mem: 846.85 MiB)
12:30:44 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.85 MiB)
12:30:44 arithmetic : 4481/56000 (mem: 846.85 MiB)
12:30:44 delta range : 2041/18000 (mem: 846.85 MiB)
12:30:44 elliptic : 2/6000 (mem: 846.85 MiB)
12:30:44 auxiliary : 50/26000 (mem: 846.85 MiB)
12:30:44 poseidon ext : 1312/17000 (mem: 846.85 MiB)
12:30:44 poseidon int : 7469/92000 (mem: 846.85 MiB)
12:30:44 overflow : 0/0 (mem: 846.85 MiB)
12:30:44 (mem: 846.85 MiB)
12:30:44 Total structured size: 242025 (mem: 846.85 MiB)
12:30:44 allocating polynomials object in proving key... (mem: 846.85 MiB)
12:30:45 [12:30:45.336]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.85 MiB)
12:30:45 [12:30:45.414]
INFO:
ivc-integration:test:native bb - time to construct proving key: 436 ms. (mem: 846.85 MiB)
12:30:45 [12:30:45.525]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.85 MiB)
12:30:46 [12:30:46.609]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 846.85 MiB)
12:30:46 vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 846.85 MiB)
12:30:47 [12:30:47.215]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.85 MiB)
12:30:47 [12:30:47.438]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 848.85 MiB)
12:30:47 [12:30:47.550]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 879.85 MiB)
12:30:47 [12:30:47.953]
INFO:
ivc-integration:test:native bb - folded (mem: 879.85 MiB)
12:30:47 constructed folding proof (mem: 879.85 MiB)
12:30:47 [12:30:47.954]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 879.85 MiB)
12:30:47 Minimum required block sizes for structured trace: (mem: 879.85 MiB)
12:30:47 (mem: 879.85 MiB)
12:30:47 prove decider... (mem: 879.85 MiB)
12:30:47 [12:30:47.954]
INFO:
ivc-integration:test:native bb - ecc_op : 56
12:30:47 busread : 3
12:30:47 lookup : 2
12:30:47 pub_inputs : 36
12:30:47 arithmetic : 4481
12:30:47 delta_range : 2041
12:30:47 elliptic : 2
12:30:47 aux : 50
12:30:47 poseidon2_external : 1312
12:30:47 poseidon2_internal : 7469
12:30:47 overflow : 0
12:30:48 [12:30:48.174]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 879.85 MiB)
12:30:48 [12:30:48.390]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 879.85 MiB)
12:30:49 [12:30:49.602]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 879.85 MiB)
12:30:49 [12:30:49.678]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 879.85 MiB)
12:30:49 finished decider proving. (mem: 879.85 MiB)
12:30:49 [12:30:49.710]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 879.85 MiB)
12:30:49 [12:30:49.805]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 879.85 MiB)
12:30:49 [12:30:49.811]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 879.85 MiB)
12:30:49 [12:30:49.919]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 879.85 MiB)
12:30:49 [12:30:49.953]
INFO:
ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 879.85 MiB)
12:30:50 [12:30:50.537]
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-P3t5Zd/proof -k /tmp/bb-client-ivc-integration-P3t5Zd/vk -v
12:30:50 [12:30:50.567]
INFO:
ivc-integration:test:native bb command: verify (mem: 157.96 MiB)
12:30:50 Scheme is: client_ivc, num threads: 128 (mem: 157.96 MiB)
12:30:50 --proof_path: /tmp/bb-client-ivc-integration-P3t5Zd/proof (mem: 157.96 MiB)
12:30:50 --vk_path: /tmp/bb-client-ivc-integration-P3t5Zd/vk (mem: 157.96 MiB)
12:30:50 --verbose: true (mem: 157.96 MiB)
12:30:50 --scheme: client_ivc (mem: 157.96 MiB)
12:30:50 [12:30:50.679]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 157.96 MiB)
12:30:50 [12:30:50.706]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 164.80 MiB)
12:30:50 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 164.80 MiB)
12:30:50 [12:30:50.728]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 164.80 MiB)
12:30:50 Initialized BN254 CRS from memory with num points = 1025 (mem: 164.80 MiB)
12:30:50 sumcheck_verified: 1 (mem: 164.80 MiB)
12:30:50 libra_evals_verified: 1 (mem: 164.80 MiB)
12:30:50 pairing_check_verified: 1 (mem: 164.80 MiB)
12:30:50 Mega verified: 1 (mem: 164.80 MiB)
12:30:50 [12:30:50.794]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 180.93 MiB)
12:30:50 batch opening verified?: 1 (mem: 180.93 MiB)
12:30:50 eccvm consistency check verified?: 1 (mem:
12:30:50 [12:30:50.795]
INFO:
ivc-integration:test:native 180.93 MiB)
12:30:50 translation masking consistency checked?: 1 (mem: 180.93 MiB)
12:30:50 [12:30:50.812]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 180.93 MiB)
12:30:50 eccvm verified?: 1 (mem: 180.93 MiB)
12:30:50 accumulator construction_verified?: 1 (mem: 180.93 MiB)
12:30:50 translation verified?: 1 (mem: 180.93 MiB)
12:30:50 consistency verified?: 1 (mem: 180.93 MiB)
12:30:50 Goblin verified: 1 (mem: 180.93 MiB)
12:30:50 [12:30:50.819]
INFO:
ivc-integration:test:native verified: 1 (mem: 180.93 MiB)
12:30:50 [12:30:50.928]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-uNe1hj/ivc-inputs.msgpack
12:30:50 [12:30:50.929]
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-uNe1hj --ivc_inputs_path /tmp/bb-client-ivc-integration-uNe1hj/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
12:30:50 [12:30:50.954]
INFO:
ivc-integration:test:native bb - bb command: prove
12:30:50 [12:30:50.957]
INFO:
ivc-integration:test:native bb - (mem: 158.95 MiB)
12:30:50 Scheme is: client_ivc, num threads: 128 (mem: 158.95 MiB)
12:30:50 --scheme: client_ivc (mem: 158.95 MiB)
12:30:50 --output_path: /tmp/bb-client-ivc-integration-uNe1hj (mem: 158.95 MiB)
12:30:50 --ivc_inputs_path: /tmp/bb-client-ivc-integration-uNe1hj/ivc-inputs.msgpack (mem: 158.95 MiB)
12:30:50 --verbose: true (mem: 158.95 MiB)
12:30:50 --write_vk: true (mem: 158.95 MiB)
12:30:50 [12:30:50.967]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 158.95 MiB)
12:30:51 [12:30:51.076]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 264.00 MiB)
12:30:51 [12:30:51.165]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169
12:30:51 [12:30:51.168]
INFO:
ivc-integration:test:native bb - (mem: 313.00 MiB)
12:30:51 [12:30:51.171]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0
12:30:51 [12:30:51.172]
INFO:
ivc-integration:test:native bb - (mem:
12:30:51 [12:30:51.173]
INFO:
ivc-integration:test:native bb - 313.00 MiB)
12:30:51 Constructing DeciderProvingKey (mem: 313.00 MiB)
12:30:51 [12:30:51.174]
INFO:
ivc-integration:test:native bb -
12:30:51 [12:30:51.178]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 313.00 MiB)
12:30:51 [12:30:51.178]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 313.00 MiB)
12:30:51 busread : 7/6000 (mem: 313.00 MiB)
12:30:51 lookups : 2/15000 (mem: 313.00 MiB)
12:30:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 313.00 MiB)
12:30:51 arithmetic : 1760/56000 (mem: 313.00 MiB)
12:30:51 delta range : 1754/18000 (mem: 313.00 MiB)
12:30:51 elliptic : 2/6000 (mem: 313.00 MiB)
12:30:51 auxiliary : 26/26000 (mem: 313.00 MiB)
12:30:51 poseidon ext : 2/17000 (mem: 313.00 MiB)
12:30:51 poseidon int : 2/92000 (mem: 313.00 MiB)
12:30:51 overflow : 0/0 (mem: 313.00 MiB)
12:30:51 (mem: 313.00 MiB)
12:30:51 Total structured size: 242025 (mem: 313.00 MiB)
12:30:51 allocating polynomials object in proving key... (mem: 313.00 MiB)
12:30:51 [12:30:51.403]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 505.00 MiB)
12:30:51 [12:30:51.471]
INFO:
ivc-integration:test:native bb - time to construct proving key: 298 ms. (mem: 520.00 MiB)
12:30:51 [12:30:51.696]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329e65880 (mem: 520.00 MiB)
12:30:51 [12:30:51.697]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 520.00 MiB)
12:30:51 [12:30:51.697]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.00 MiB)
12:30:51 [12:30:51.972]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 529.00 MiB)
12:30:51 [12:30:51.979]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 529.00 MiB)
12:30:51 [12:30:51.996]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 529.00 MiB)
12:30:51 Constructing DeciderProvingKey (mem: 529.00 MiB)
12:30:51 [12:30:51.997]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 529.00 MiB)
12:30:51 goblin ecc op : 56/1024 (mem: 529.00 MiB)
12:30:51 busread : 12/6000 (mem: 529.00 MiB)
12:30:51 lookups : 2/15000 (mem: 529.00 MiB)
12:30:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 529.00 MiB)
12:30:51 arithmetic : 4625/56000 (mem: 529.00 MiB)
12:30:51 delta range : 2054/18000 (mem: 529.00 MiB)
12:30:51 elliptic : 2/6000 (mem: 529.00 MiB)
12:30:51 auxiliary : 110/26000 (mem: 529.00 MiB)
12:30:51 poseidon ext : 1302/17000 (mem: 529.00 MiB)
12:30:51 poseidon int : 7412/92000 (mem: 529.00 MiB)
12:30:51 overflow : 0/0 (mem: 529.00 MiB)
12:30:51 (mem: 529.00 MiB)
12:30:51 Total structured size: 242025 (mem: 529.00 MiB)
12:30:51 allocating polynomials object in proving key... (mem: 529.00 MiB)
12:30:52 [12:30:52.202]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 732.00 MiB)
12:30:52 [12:30:52.240]
INFO:
ivc-integration:test:native bb - time to construct proving key: 245 ms. (mem: 747.00 MiB)
12:30:52 [12:30:52.483]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329e6eb00 (mem: 747.00 MiB)
12:30:52 computing folding proof (mem: 747.00 MiB)
12:30:52 vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 747.00 MiB)
12:30:53 [12:30:53.122]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.00 MiB)
12:30:53 [12:30:53.232]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 784.00 MiB)
12:30:53 [12:30:53.323]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 816.00 MiB)
12:30:53 [12:30:53.533]
INFO:
ivc-integration:test:native bb - folded (mem: 816.00 MiB)
12:30:53 constructed folding proof (mem: 816.00 MiB)
12:30:53 [12:30:53.535]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.00 MiB)
12:30:53 Constructing DeciderProvingKey (mem: 816.00 MiB)
12:30:53 [12:30:53.538]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.00 MiB)
12:30:53 goblin ecc op : 4/1024 (mem: 816.00 MiB)
12:30:53 busread : 7/6000 (mem: 816.00 MiB)
12:30:53 [12:30:53.539]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 816.00 MiB)
12:30:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 816.00 MiB)
12:30:53 arithmetic : 1760/56000 (mem: 816.00 MiB)
12:30:53 delta range : 1754/18000 (mem: 816.00 MiB)
12:30:53 elliptic : 2/6000 (mem: 816.00 MiB)
12:30:53 auxiliary : 26/26000 (mem: 816.00 MiB)
12:30:53 poseidon ext : 2/17000 (mem: 816.00 MiB)
12:30:53 poseidon int : 2/92000 (mem: 816.00 MiB)
12:30:53 overflow : 0/0 (mem: 816.00 MiB)
12:30:53 (mem: 816.00 MiB)
12:30:53 Total structured size: 242025 (mem: 816.00 MiB)
12:30:53 allocating polynomials object in proving key... (mem: 816.00 MiB)
12:30:53 [12:30:53.601]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 816.00 MiB)
12:30:53 [12:30:53.626]
INFO:
ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 816.00 MiB)
12:30:53 [12:30:53.705]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329e660c0 (mem: 816.00 MiB)
12:30:53 computing folding proof (mem: 816.00 MiB)
12:30:53 [12:30:53.706]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.00 MiB)
12:30:54 [12:30:54.001]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.00 MiB)
12:30:54 [12:30:54.077]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 816.00 MiB)
12:30:54 [12:30:54.134]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 816.83 MiB)
12:30:54 [12:30:54.351]
INFO:
ivc-integration:test:native bb - folded (mem: 816.83 MiB)
12:30:54 constructed folding proof (mem: 816.83 MiB)
12:30:54 [12:30:54.363]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 816.83 MiB)
12:30:54 [12:30:54.416]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.83 MiB)
12:30:54 [12:30:54.475]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 816.83 MiB)
12:30:54 Constructing DeciderProvingKey (mem: 816.83 MiB)
12:30:54 [12:30:54.481]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.83 MiB)
12:30:54 goblin ecc op : 792/1024 (mem: 816.83 MiB)
12:30:54 busread : 12/6000 (mem: 816.83 MiB)
12:30:54 lookups : 2/15000 (mem: 816.83 MiB)
12:30:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 816.83 MiB)
12:30:54 arithmetic : 12080/56000 (mem: 816.83 MiB)
12:30:54 delta range : 2942/18000
12:30:54 [12:30:54.482]
INFO:
ivc-integration:test:native bb - (mem: 816.83 MiB)
12:30:54 elliptic : 2/6000 (mem: 816.83 MiB)
12:30:54 auxiliary : 350/26000 (mem: 816.83 MiB)
12:30:54 poseidon ext : 4942/17000 (mem: 816.83 MiB)
12:30:54 poseidon int : 28160/92000 (mem: 816.83 MiB)
12:30:54 overflow : 0/0 (mem: 816.83 MiB)
12:30:54 (mem: 816.83 MiB)
12:30:54 Total structured size: 242025 (mem: 816.83 MiB)
12:30:54 allocating polynomials object in proving key... (mem: 816.83 MiB)
12:30:54 [12:30:54.555]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 816.83 MiB)
12:30:54 [12:30:54.589]
INFO:
ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 816.83 MiB)
12:30:54 [12:30:54.685]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329e5fb40 (mem: 816.83 MiB)
12:30:54 computing folding proof (mem: 816.83 MiB)
12:30:54 [12:30:54.686]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 816.83 MiB)
12:30:55 [12:30:55.083]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.83 MiB)
12:30:55 [12:30:55.171]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 816.83 MiB)
12:30:55 [12:30:55.232]
INFO:
ivc-integration:test:native bb - combiner quotient round
12:30:55 [12:30:55.236]
INFO:
ivc-integration:test:native bb - (mem: 847.48 MiB)
12:30:55 [12:30:55.428]
INFO:
ivc-integration:test:native bb - folded (mem: 847.48 MiB)
12:30:55 constructed folding proof (mem: 847.48 MiB)
12:30:55 [12:30:55.436]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 847.48 MiB)
12:30:55 [12:30:55.515]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 847.48 MiB)
12:30:55 Constructing DeciderProvingKey (mem: 847.48 MiB)
12:30:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 847.48 MiB)
12:30:55 goblin ecc op : 392/1024 (mem: 847.48 MiB)
12:30:55 busread : 16/6000 (mem: 847.48 MiB)
12:30:55 lookups : 2/15000 (mem: 847.48 MiB)
12:30:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 847.48 MiB)
12:30:55 arithmetic : 6914/56000 (mem: 847.48 MiB)
12:30:55 delta range : 2347/18000 (mem: 847.48 MiB)
12:30:55 elliptic : 2/6000 (mem: 847.48 MiB)
12:30:55 auxiliary : 77/26000 (mem: 847.48 MiB)
12:30:55 poseidon ext : 2472/17000 (mem: 847.48 MiB)
12:30:55 poseidon int : 14081/92000 (mem: 847.48 MiB)
12:30:55 overflow : 0/0 (mem: 847.48 MiB)
12:30:55 (mem: 847.48 MiB)
12:30:55 Total structured size: 242025 (mem: 847.48 MiB)
12:30:55 allocating polynomials object in proving key... (mem: 847.48 MiB)
12:30:55 [12:30:55.566]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.48 MiB)
12:30:55 [12:30:55.631]
INFO:
ivc-integration:test:native bb - time to construct proving key: 120 ms. (mem: 847.48 MiB)
12:30:55 [12:30:55.753]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329ee2a00 (mem: 847.48 MiB)
12:30:55 computing folding proof (mem: 847.48 MiB)
12:30:55 [12:30:55.754]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 847.48 MiB)
12:30:56 [12:30:56.379]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.48 MiB)
12:30:56 [12:30:56.551]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 847.48 MiB)
12:30:56 [12:30:56.615]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 847.58 MiB)
12:30:56 [12:30:56.823]
INFO:
ivc-integration:test:native bb - folded (mem: 847.58 MiB)
12:30:56 constructed folding proof (mem: 847.58 MiB)
12:30:56 [12:30:56.831]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 847.58 MiB)
12:30:56 [12:30:56.905]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 847.58 MiB)
12:30:56 Constructing DeciderProvingKey (mem: 847.58 MiB)
12:30:56 [12:30:56.914]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.58 MiB)
12:30:56 goblin ecc op : 392/1024 (mem: 847.58 MiB)
12:30:56 busread : 3/6000 (mem: 847.58 MiB)
12:30:56 lookups : 2/15000 (mem: 847.58 MiB)
12:30:56 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.58 MiB)
12:30:56 arithmetic : 6849/56000 (mem: 847.58 MiB)
12:30:56 delta range : 2333/18000 (mem: 847.58 MiB)
12:30:56 elliptic : 2/6000 (mem: 847.58 MiB)
12:30:56 auxiliary : 50/26000 (mem: 847.58 MiB)
12:30:56 poseidon ext : 2472/17000 (mem: 847.58 MiB)
12:30:56 poseidon int : 14081/92000 (mem: 847.58 MiB)
12:30:56 overflow : 0/0 (mem: 847.58 MiB)
12:30:56 (mem: 847.58 MiB)
12:30:56 Total structured size: 242025 (mem: 847.58 MiB)
12:30:56 allocating polynomials object in proving key... (mem: 847.58 MiB)
12:30:57 [12:30:57.056]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.58 MiB)
12:30:57 [12:30:57.112]
INFO:
ivc-integration:test:native bb - time to construct proving key: 200 ms. (mem: 847.58 MiB)
12:30:57 [12:30:57.305]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x626329e79300 (mem: 847.58 MiB)
12:30:57 computing folding proof (mem: 847.58 MiB)
12:30:57 [12:30:57.307]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.58 MiB)
12:30:57 [12:30:57.732]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.58 MiB)
12:30:57 [12:30:57.847]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 847.58 MiB)
12:30:57 [12:30:57.907]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 847.91 MiB)
12:30:58 [12:30:58.162]
INFO:
ivc-integration:test:native bb - folded (mem: 847.91 MiB)
12:30:58 constructed folding proof (mem:
12:30:58 [12:30:58.164]
INFO:
ivc-integration:test:native bb - 847.91 MiB)
12:30:58 Largest circuit: 48490 gates. Trace details: (mem: 847.91 MiB)
12:30:58 Minimum required block sizes for structured trace: (mem: 847.91 MiB)
12:30:58 (mem: 847.91 MiB)
12:30:58 prove decider... (mem: 847.91 MiB)
12:30:58 [12:30:58.167]
INFO:
ivc-integration:test:native bb - ecc_op : 792
12:30:58 busread : 16
12:30:58 lookup : 2
12:30:58 pub_inputs : 36
12:30:58 arithmetic : 12080
12:30:58 delta_range : 2942
12:30:58 elliptic : 2
12:30:58 aux : 350
12:30:58 poseidon2_external : 4942
12:30:58 poseidon2_internal : 28160
12:30:58 overflow : 0
12:30:58 [12:30:58.308]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.91 MiB)
12:30:58 [12:30:58.400]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.91 MiB)
12:30:58 [12:30:58.900]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.91 MiB)
12:30:58 [12:30:58.966]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 847.91 MiB)
12:30:58 finished decider proving. (mem: 847.91 MiB)
12:30:58 [12:30:58.988]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.91 MiB)
12:30:59 [12:30:59.117]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.91 MiB)
12:30:59 [12:30:59.119]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 847.91 MiB)
12:30:59 [12:30:59.217]
INFO:
ivc-integration:test:native bb - populating trace...
12:30:59 [12:30:59.218]
INFO:
ivc-integration:test:native bb - (mem: 847.91 MiB)
12:30:59 [12:30:59.218]
INFO:
ivc-integration:test:native bb -
12:30:59 [12:30:59.259]
INFO:
ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 847.91 MiB)
12:30:59 [12:30:59.808]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93
12:30:59 [12:30:59.809]
INFO:
ivc-integration:test:native bb - (mem: 847.91 MiB)
12:31:00 [12:31:00.202]
INFO:
ivc-integration:test:native bb - created oink proof
12:31:00 [12:31:00.204]
INFO:
ivc-integration:test:native bb - (mem: 847.91 MiB)
12:31:00 [12:31:00.360]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.91 MiB)
12:31:01 [12:31:01.064]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.91 MiB)
12:31:01 [12:31:01.580]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.91 MiB)
12:31:01 [12:31:01.601]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 847.91 MiB)
12:31:01 finished decider proving. (mem: 847.91 MiB)
12:31:01 [12:31:01.603]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 847.91 MiB)
12:31:01 [12:31:01.676]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 847.91 MiB)
12:31:01 [12:31:01.984]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 847.91 MiB)
12:31:02 [12:31:01.999]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 847.91 MiB)
12:31:03 [12:31:03.062]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.91 MiB)
12:31:04 [12:31:04.567]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.91 MiB)
12:31:07 [12:31:07.497]
INFO:
ivc-integration:test:native bb - finished eccvm proving.
12:31:07 [12:31:07.498]
INFO:
ivc-integration:test:native bb - (mem: 847.91 MiB)
12:31:07 prove translator... (mem: 847.91 MiB)
12:31:10 [12:31:10.830]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem:
12:31:10 [12:31:10.831]
INFO:
ivc-integration:test:native bb - 871.32 MiB)
12:31:13 [12:31:13.369]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 871.32 MiB)
12:31:16 [12:31:16.728]
INFO:
ivc-integration:test:native bb - computed opening proof
12:31:16 [12:31:16.730]
INFO:
ivc-integration:test:native bb - (mem:
12:31:16 [12:31:16.731]
INFO:
ivc-integration:test:native bb - 871.32
12:31:16 [12:31:16.731]
INFO:
ivc-integration:test:native bb - MiB)
12:31:16 [12:31:16.732]
INFO:
ivc-integration:test:native bb -
12:31:16 [12:31:16.733]
INFO:
ivc-integration:test:native bb - finished translator proving.
12:31:16 [12:31:16.734]
INFO:
ivc-integration:test:native bb - (mem:
12:31:16 [12:31:16.734]
INFO:
ivc-integration:test:native bb - 871.32
12:31:16 [12:31:16.736]
INFO:
ivc-integration:test:native bb - MiB)
12:31:16 [12:31:16.746]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 871.32 MiB)
12:31:16 [12:31:16.763]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 871.32 MiB)
12:31:16 libra_evals_verified: 1 (mem: 871.32 MiB)
12:31:16 pairing_check_verified: 1 (mem: 871.32 MiB)
12:31:16 Mega verified: 1 (mem: 871.32 MiB)
12:31:16 [12:31:16.895]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 872.32 MiB)
12:31:16 batch opening verified?: 1 (mem: 872.32 MiB)
12:31:16 eccvm consistency check verified?: 1 (mem: 872.32 MiB)
12:31:16 translation masking consistency checked?: 1 (mem: 872.32 MiB)
12:31:16 [12:31:16.929]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 872.32 MiB)
12:31:16 eccvm verified?: 1 (mem: 872.32 MiB)
12:31:16 accumulator construction_verified?: 1 (mem: 872.32 MiB)
12:31:16 [12:31:16.931]
INFO:
ivc-integration:test:native bb - translation verified?: 1 (mem: 872.32 MiB)
12:31:16 consistency verified?: 1 (mem: 872.32 MiB)
12:31:16 Goblin verified: 1 (mem: 872.32 MiB)
12:31:16 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-uNe1hj" (mem: 872.32 MiB)
12:31:16 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-uNe1hj" (mem: 872.32 MiB)
12:31:16 BN254 commitment key size: 262144 (mem: 872.32 MiB)
12:31:16 [12:31:16.939]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.32 MiB)
12:31:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 872.32 MiB)
12:31:16 goblin ecc op : 4/1024 (mem: 872.32 MiB)
12:31:16 busread : 3/6000 (mem: 872.32 MiB)
12:31:16 lookups : 2/15000 (mem: 872.32 MiB)
12:31:16 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 872.32 MiB)
12:31:16 arithmetic : 1773/56000 (mem: 872.32 MiB)
12:31:16 delta range : 1754/18000 (mem: 872.32 MiB)
12:31:16 elliptic : 2/6000 (mem: 872.32 MiB)
12:31:16 auxiliary : 26/26000 (mem: 872.32 MiB)
12:31:16 poseidon ext : 2/17000 (mem: 872.32 MiB)
12:31:16 poseidon int : 2/92000 (mem: 872.32 MiB)
12:31:16 overflow : 0/0 (mem: 872.32 MiB)
12:31:16 (mem: 872.32 MiB)
12:31:16 Total structured size: 242025 (mem: 872.32 MiB)
12:31:16 allocating polynomials object in proving key... (mem: 872.32 MiB)
12:31:17 [12:31:17.164]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 872.32 MiB)
12:31:17 [12:31:17.199]
INFO:
ivc-integration:test:native bb - time to construct proving key: 264 ms. (mem: 872.32 MiB)
12:31:17 [12:31:17.330]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.32 MiB)
12:31:18 [12:31:18.069]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 872.32 MiB)
12:31:18 [12:31:18.070]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.32 MiB)
12:31:18 [12:31:18.577]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 872.32 MiB)
12:31:18 [12:31:18.595]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.32 MiB)
12:31:18 [12:31:18.605]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
12:31:18 [12:31:18.608]
INFO:
ivc-integration:test:native bb - (mem: 872.32 MiB)
12:31:18 [12:31:18.612]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.32 MiB)
12:31:18 goblin ecc op : 56/1024 (mem: 872.32 MiB)
12:31:18 busread : 3/6000 (mem: 872.32 MiB)
12:31:18 lookups : 2/15000 (mem: 872.32 MiB)
12:31:18 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 872.32 MiB)
12:31:18 arithmetic : 4481/56000 (mem: 872.32 MiB)
12:31:18 delta range : 2041/18000 (mem: 872.32 MiB)
12:31:18 elliptic : 2/6000 (mem: 872.32 MiB)
12:31:18 auxiliary : 50/26000 (mem: 872.32 MiB)
12:31:18 poseidon ext : 1312/17000 (mem: 872.32 MiB)
12:31:18 poseidon int : 7469/92000 (mem: 872.32 MiB)
12:31:18 overflow : 0/0 (mem: 872.32 MiB)
12:31:18 [12:31:18.613]
INFO:
ivc-integration:test:native bb - (mem: 872.32 MiB)
12:31:18 Total structured size: 242025 (mem: 872.32 MiB)
12:31:18 allocating polynomials object in proving key... (mem: 872.32 MiB)
12:31:18 [12:31:18.752]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 872.32 MiB)
12:31:18 [12:31:18.775]
INFO:
ivc-integration:test:native bb - time to construct proving key: 167 ms. (mem: 872.32 MiB)
12:31:18 [12:31:18.907]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.32 MiB)
12:31:19 [12:31:19.436]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 872.32 MiB)
12:31:19 [12:31:19.437]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 872.32 MiB)
12:31:19 [12:31:19.638]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 872.32 MiB)
12:31:19 [12:31:19.710]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 872.32 MiB)
12:31:19 [12:31:19.750]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 904.32 MiB)
12:31:19 [12:31:19.862]
INFO:
ivc-integration:test:native bb - folded (mem: 904.32 MiB)
12:31:19 constructed folding proof (mem: 904.32 MiB)
12:31:19 [12:31:19.863]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 904.32 MiB)
12:31:19 Minimum required block sizes for structured trace: (mem: 904.32 MiB)
12:31:19 (mem: 904.32 MiB)
12:31:19 prove decider... (mem: 904.32 MiB)
12:31:19 [12:31:19.864]
INFO:
ivc-integration:test:native bb - ecc_op : 56
12:31:19 busread : 3
12:31:19 lookup : 2
12:31:19 pub_inputs : 36
12:31:19 arithmetic : 4481
12:31:19 delta_range : 2041
12:31:19 elliptic : 2
12:31:19 aux : 50
12:31:19 poseidon2_external : 1312
12:31:19 poseidon2_internal : 7469
12:31:19 overflow : 0
12:31:19 [12:31:19.944]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 904.32 MiB)
12:31:20 [12:31:20.017]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 904.32 MiB)
12:31:20 [12:31:20.427]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 904.32 MiB)
12:31:20 [12:31:20.475]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 904.32 MiB)
12:31:20 finished decider proving. (mem: 904.32 MiB)
12:31:20 [12:31:20.489]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 904.32 MiB)
12:31:20 [12:31:20.584]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 904.32 MiB)
12:31:20 [12:31:20.589]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 904.32 MiB)
12:31:20 [12:31:20.685]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 904.32 MiB)
12:31:20 [12:31:20.721]
INFO:
ivc-integration:test:native bb - time to construct proving key: 135 ms. (mem: 904.32 MiB)
12:31:21 [12:31:21.268]
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-uNe1hj/proof -k /tmp/bb-client-ivc-integration-uNe1hj/vk -v
12:31:21 [12:31:21.289]
INFO:
ivc-integration:test:native bb command: verify (mem: 163.23 MiB)
12:31:21 [12:31:21.289]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 163.23 MiB)
12:31:21 --proof_path: /tmp/bb-client-ivc-integration-uNe1hj/proof (mem: 163.23 MiB)
12:31:21 --vk_path: /tmp/bb-client-ivc-integration-uNe1hj/vk (mem: 163.23 MiB)
12:31:21 --verbose: true (mem: 163.23 MiB)
12:31:21 --scheme: client_ivc (mem: 163.23 MiB)
12:31:21 [12:31:21.379]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 163.23 MiB)
12:31:21 [12:31:21.400]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 165.57 MiB)
12:31:21 [12:31:21.401]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 165.57 MiB)
12:31:21 [12:31:21.419]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 165.57 MiB)
12:31:21 [12:31:21.420]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 165.57 MiB)
12:31:21 [12:31:21.421]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 165.57 MiB)
12:31:21 libra_evals_verified: 1 (mem: 165.57 MiB)
12:31:21 pairing_check_verified: 1 (mem: 165.57 MiB)
12:31:21 Mega verified: 1 (mem: 165.57 MiB)
12:31:21 [12:31:21.469]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 182.69 MiB)
12:31:21 batch opening verified?: 1 (mem: 182.69 MiB)
12:31:21 eccvm consistency check verified?: 1 (mem: 182.69 MiB)
12:31:21 translation masking consistency checked?: 1 (mem: 182.69 MiB)
12:31:21 [12:31:21.488]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 182.69 MiB)
12:31:21 eccvm verified?: 1 (mem: 182.69 MiB)
12:31:21 accumulator construction_verified?: 1 (mem: 182.69 MiB)
12:31:21 translation verified?: 1 (mem: 182.69 MiB)
12:31:21 consistency verified?: 1 (mem: 182.69 MiB)
12:31:21 [12:31:21.488]
INFO:
ivc-integration:test:native
12:31:21 Goblin verified: 1 (mem: 182.69 MiB)
12:31:21 [12:31:21.493]
INFO:
ivc-integration:test:native verified: 1 (mem: 182.69 MiB)
12:31:21
PASS src/native_client_ivc_integration.test.ts (
72.495 s)
12:31:21 Client IVC Integration
12:31:21
✓ Should generate a verifiable client IVC proof from a simple mock tx (38351 ms)
12:31:21
✓ Should generate a verifiable client IVC proof from a complex mock tx (30665 ms)
12:31:21
12:31:21
Test Suites: 1 passed, 1 total
12:31:21
Tests: 2 passed, 2 total
12:31:21
Snapshots: 0 total
12:31:21
Time: 72.571 s
12:31:21
Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i
.
12:31:21
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?