Parent Log:
http://ci.aztec-labs.com/8e8dd02b40b54e5e
Command: 97e7ef9a556fd7e6: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/cf4d4501e7edfb97cb6406ee7f30893939a522f9
Env: REF_NAME=gh-readonly-queue/master/pr-14912-015cb0cadef6a41094c3649f32a735392e1b9693 CURRENT_VERSION=0.87.9 CI_FULL=1
Date: Wed Jun 18 15:31:10 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14912_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_master
15:31:14 [15:31:14.210]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-ZHRwo5/ivc-inputs.msgpack
15:31:14 [15:31:14.218]
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-ZHRwo5 --ivc_inputs_path /tmp/bb-client-ivc-integration-ZHRwo5/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:31:14 [15:31:14.240]
INFO:
ivc-integration:test:native bb - bb command: prove (mem:
15:31:14 [15:31:14.241]
INFO:
ivc-integration:test:native bb - 141.45 MiB)
15:31:14 Scheme is: client_ivc, num threads: 128 (mem: 141.45 MiB)
15:31:14 --scheme: client_ivc (mem: 141.45 MiB)
15:31:14 --output_path: /tmp/bb-client-ivc-integration-ZHRwo5 (mem: 141.45 MiB)
15:31:14 --ivc_inputs_path: /tmp/bb-client-ivc-integration-ZHRwo5/ivc-inputs.msgpack (mem: 141.45 MiB)
15:31:14 --verbose: true (mem: 141.45 MiB)
15:31:14 --write_vk: true (mem: 141.45 MiB)
15:31:14 [15:31:14.242]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 141.45 MiB)
15:31:14 [15:31:14.348]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 247.00 MiB)
15:31:14 [15:31:14.433]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 294.66 MiB)
15:31:14 [15:31:14.437]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 294.66 MiB)
15:31:14 Constructing DeciderProvingKey (mem: 294.66 MiB)
15:31:14 [15:31:14.442]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 294.66 MiB)
15:31:14 goblin ecc op : 4/1024 (mem: 294.66 MiB)
15:31:14 busread : 7/6000 (mem: 294.66 MiB)
15:31:14 lookups : 2/15000 (mem: 294.66 MiB)
15:31:14 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 294.66 MiB)
15:31:14 arithmetic : 1760/56000 (mem: 294.66 MiB)
15:31:14 delta range : 1754/18000 (mem: 294.66 MiB)
15:31:14 elliptic : 2/6000 (mem: 294.66 MiB)
15:31:14 auxiliary : 26/26000 (mem: 294.66 MiB)
15:31:14 [15:31:14.444]
INFO:
ivc-integration:test:native bb - poseidon ext : 2/17000 (mem: 294.66 MiB)
15:31:14 poseidon int : 2/92000 (mem: 294.66 MiB)
15:31:14 overflow : 0/0 (mem: 294.66 MiB)
15:31:14 (mem: 294.66 MiB)
15:31:14 Total structured size: 242025 (mem: 294.66 MiB)
15:31:14 allocating polynomials object in proving key... (mem: 294.66 MiB)
15:31:14 [15:31:14.511]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 497.95 MiB)
15:31:14 [15:31:14.525]
INFO:
ivc-integration:test:native bb - time to construct proving key: 88 ms. (mem: 512.95 MiB)
15:31:14 [15:31:14.570]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5701b9f68800 (mem: 512.95 MiB)
15:31:14 computing oink proof... (mem: 512.95 MiB)
15:31:14 [15:31:14.746]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 512.95 MiB)
15:31:14 [15:31:14.765]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 513.95 MiB)
15:31:14 Constructing DeciderProvingKey (mem: 513.95 MiB)
15:31:14 [15:31:14.769]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 513.95 MiB)
15:31:14 goblin ecc op : 56/1024 (mem: 513.95 MiB)
15:31:14 busread : 12/6000 (mem: 513.95
15:31:14 [15:31:14.771]
INFO:
ivc-integration:test:native bb - MiB)
15:31:14 lookups : 2/15000 (mem: 513.95 MiB)
15:31:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 513.95 MiB)
15:31:14 arithmetic : 4225/56000 (mem: 513.95 MiB)
15:31:14 delta range : 2043/18000 (mem: 513.95 MiB)
15:31:14 elliptic : 2/6000 (mem: 513.95 MiB)
15:31:14 auxiliary : 110/26000 (mem: 513.95 MiB)
15:31:14 poseidon ext : 882/17000 (mem: 513.95 MiB)
15:31:14 poseidon int : 5018/92000 (mem: 513.95 MiB)
15:31:14 overflow : 0/0 (mem: 513.95 MiB)
15:31:14 (mem: 513.95 MiB)
15:31:14 Total structured size: 242025 (mem: 513.95 MiB)
15:31:14 allocating polynomials object in proving key... (mem: 513.95 MiB)
15:31:14 [15:31:14.936]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 725.95 MiB)
15:31:14 [15:31:14.962]
INFO:
ivc-integration:test:native bb - time to construct proving key: 197 ms. (mem: 743.95 MiB)
15:31:15 [15:31:15.051]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5701b9f67000 (mem: 743.95 MiB)
15:31:15 computing folding proof (mem: 743.95
15:31:15 [15:31:15.053]
INFO:
ivc-integration:test:native bb - MiB)
15:31:15 [15:31:15.406]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 743.95 MiB)
15:31:15 [15:31:15.500]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 779.95 MiB)
15:31:15 [15:31:15.570]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 812.95 MiB)
15:31:15 [15:31:15.936]
INFO:
ivc-integration:test:native bb - folded (mem: 812.95 MiB)
15:31:15 constructed folding proof (mem: 812.95 MiB)
15:31:16 [15:31:16.007]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 812.95 MiB)
15:31:16 Constructing DeciderProvingKey (mem: 812.95 MiB)
15:31:16 [15:31:16.012]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 812.95 MiB)
15:31:16 goblin ecc op : 392/1024 (mem: 812.95 MiB)
15:31:16 busread : 3/6000 (mem: 812.95 MiB)
15:31:16 lookups : 2/15000 (mem: 812.95 MiB)
15:31:16 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 812.95 MiB)
15:31:16 arithmetic : 6440/56000 (mem: 812.95 MiB)
15:31:16 delta range : 2323/18000 (mem: 812.95 MiB)
15:31:16 elliptic : 2/6000 (mem: 812.95 MiB)
15:31:16 auxiliary : 50/26000 (mem: 812.95 MiB)
15:31:16 poseidon ext : 2042/17000 (mem: 812.95 MiB)
15:31:16 poseidon int : 11630/92000 (mem: 812.95 MiB)
15:31:16 overflow : 0/0 (mem: 812.95 MiB)
15:31:16 (mem: 812.95 MiB)
15:31:16 Total structured size: 242025 (mem: 812.95 MiB)
15:31:16 allocating polynomials object in proving key... (mem: 812.95 MiB)
15:31:16 [15:31:16.312]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 812.95 MiB)
15:31:16 [15:31:16.379]
INFO:
ivc-integration:test:native bb - time to construct proving key: 371 ms. (mem: 812.95 MiB)
15:31:16 [15:31:16.637]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5701b9f6c940 (mem: 812.95 MiB)
15:31:16 computing folding proof (mem: 812.95 MiB)
15:31:17 [15:31:17.046]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 812.95 MiB)
15:31:17 [15:31:17.140]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 812.95 MiB)
15:31:17 [15:31:17.210]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 823.21 MiB)
15:31:17 [15:31:17.538]
INFO:
ivc-integration:test:native bb - folded (mem: 823.21 MiB)
15:31:17 [15:31:17.539]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 823.21 MiB)
15:31:17 Largest circuit: 22492 gates. Trace details: (mem: 823.21 MiB)
15:31:17 Minimum required block sizes for structured trace: (mem: 823.21 MiB)
15:31:17 (mem: 823.21 MiB)
15:31:17 prove decider... (mem: 823.21 MiB)
15:31:17 finished decider proving. (mem: 823.21 MiB)
15:31:17 [15:31:17.540]
INFO:
ivc-integration:test:native bb - ecc_op : 392
15:31:17 busread : 12
15:31:17 lookup : 2
15:31:17 pub_inputs : 36
15:31:17 arithmetic : 6440
15:31:17 delta_range : 2323
15:31:17 elliptic : 2
15:31:17 aux : 110
15:31:17 poseidon2_external : 2042
15:31:17 poseidon2_internal : 11630
15:31:17 overflow : 0
15:31:17 [15:31:17.779]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 823.21 MiB)
15:31:17 [15:31:17.956]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 823.21 MiB)
15:31:18 [15:31:18.824]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 823.21 MiB)
15:31:18 [15:31:18.921]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 823.21 MiB)
15:31:19 [15:31:19.081]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 823.21 MiB)
15:31:19 [15:31:19.082]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 823.21 MiB)
15:31:19 [15:31:19.237]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 823.21 MiB)
15:31:19 [15:31:19.331]
INFO:
ivc-integration:test:native bb - time to construct proving key: 253 ms. (mem: 823.21 MiB)
15:31:20 [15:31:20.474]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 823.21 MiB)
15:31:20 [15:31:20.980]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 823.21 MiB)
15:31:22 [15:31:22.060]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 823.21 MiB)
15:31:22 [15:31:22.908]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 823.21 MiB)
15:31:22 [15:31:22.966]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 823.21 MiB)
15:31:23 [15:31:23.153]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 823.21 MiB)
15:31:23 prove eccvm... (mem: 823.21 MiB)
15:31:23 [15:31:23.715]
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: 823.21 MiB)
15:31:23 [15:31:23.752]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 823.21 MiB)
15:31:26 [15:31:26.270]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 823.21 MiB)
15:31:27 [15:31:27.804]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 823.21 MiB)
15:31:31 [15:31:31.853]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 823.21 MiB)
15:31:31 prove translator... (mem: 823.21 MiB)
15:31:33 [15:31:33.656]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 823.21 MiB)
15:31:34 [15:31:34.838]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 823.21 MiB)
15:31:36 [15:31:36.366]
INFO:
ivc-integration:test:native bb - computed opening proof
15:31:36 [15:31:36.368]
INFO:
ivc-integration:test:native bb - (mem: 823.21 MiB)
15:31:36 finished translator proving. (mem: 823.21 MiB)
15:31:36 [15:31:36.389]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 823.21 MiB)
15:31:36 [15:31:36.484]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 823.21 MiB)
15:31:36 batch opening verified?: 1 (mem: 823.21 MiB)
15:31:36 eccvm consistency check verified?: 1 (mem: 823.21 MiB)
15:31:36 translation masking consistency checked?: 1 (mem: 823.21 MiB)
15:31:36 [15:31:36.504]
INFO:
ivc-integration:test:native bb - merge verified?: 1
15:31:36 [15:31:36.505]
INFO:
ivc-integration:test:native bb - (mem: 823.21 MiB)
15:31:36 eccvm verified?: 1 (mem: 823.21 MiB)
15:31:36 accumulator construction_verified?: 1 (mem: 823.21 MiB)
15:31:36 translation verified?: 1 (mem: 823.21 MiB)
15:31:36 consistency verified?: 1 (mem: 823.21 MiB)
15:31:36 Goblin verified: 1 (mem: 823.21 MiB)
15:31:36 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-ZHRwo5" (mem: 823.21 MiB)
15:31:36 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-ZHRwo5" (mem: 823.21 MiB)
15:31:36 [15:31:36.506]
INFO:
ivc-integration:test:native bb - num_public_inputs_in_final_circuit: 4 (mem: 823.21 MiB)
15:31:36 BN254 commitment key size: 262144 (mem: 823.21 MiB)
15:31:36 [15:31:36.511]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 823.21 MiB)
15:31:36 [15:31:36.512]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
15:31:36 [15:31:36.513]
INFO:
ivc-integration:test:native bb - (mem:
15:31:36 [15:31:36.514]
INFO:
ivc-integration:test:native bb - 823.21
15:31:36 [15:31:36.514]
INFO:
ivc-integration:test:native bb - MiB)
15:31:36 [15:31:36.515]
INFO:
ivc-integration:test:native bb -
15:31:36 goblin ecc op : 4/1024 (mem: 823.21 MiB)
15:31:36 busread : 3/6000 (mem: 823.21 MiB)
15:31:36 lookups : 2/15000 (mem: 823.21 MiB)
15:31:36 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 823.21 MiB)
15:31:36 arithmetic : 1773/56000 (mem: 823.21 MiB)
15:31:36 delta range : 1754/18000 (mem: 823.21 MiB)
15:31:36 elliptic : 2/6000 (mem: 823.21 MiB)
15:31:36 auxiliary : 26/26000 (mem: 823.21 MiB)
15:31:36 poseidon ext : 2/17000 (mem: 823.21 MiB)
15:31:36 poseidon int : 2/92000 (mem: 823.21 MiB)
15:31:36 overflow : 0/0 (mem: 823.21 MiB)
15:31:36 (mem: 823.21 MiB)
15:31:36 Total structured size: 242025 (mem: 823.21 MiB)
15:31:36 allocating polynomials object in proving key... (mem: 823.21 MiB)
15:31:36 [15:31:36.626]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 823.21 MiB)
15:31:36 [15:31:36.634]
INFO:
ivc-integration:test:native bb - time to construct proving key: 126 ms. (mem: 823.21 MiB)
15:31:36 [15:31:36.700]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 823.21 MiB)
15:31:37 [15:31:37.291]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 823.21 MiB)
15:31:37 [15:31:37.480]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 823.21 MiB)
15:31:37 [15:31:37.498]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 823.21 MiB)
15:31:37 [15:31:37.500]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 823.21 MiB)
15:31:37 goblin ecc op : 56/1024 (mem: 823.21 MiB)
15:31:37 busread : 3/6000 (mem: 823.21
15:31:37 [15:31:37.501]
INFO:
ivc-integration:test:native bb - MiB)
15:31:37 lookups : 2/15000 (mem: 823.21 MiB)
15:31:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 823.21 MiB)
15:31:37 arithmetic : 4072/56000 (mem: 823.21 MiB)
15:31:37 delta range : 2030/18000 (mem: 823.21 MiB)
15:31:37 elliptic : 2/6000 (mem: 823.21 MiB)
15:31:37 auxiliary : 50/26000 (mem: 823.21 MiB)
15:31:37 poseidon ext : 882/17000 (mem: 823.21 MiB)
15:31:37 poseidon int : 5018/92000 (mem: 823.21 MiB)
15:31:37 overflow : 0/0 (mem: 823.21 MiB)
15:31:37 (mem: 823.21 MiB)
15:31:37 Total structured size: 242025 (mem: 823.21 MiB)
15:31:37 allocating polynomials object in proving key... (mem: 823.21 MiB)
15:31:37 [15:31:37.592]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 871.04 MiB)
15:31:37 [15:31:37.638]
INFO:
ivc-integration:test:native bb - time to construct proving key: 140 ms. (mem: 871.04 MiB)
15:31:37 [15:31:37.727]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.04 MiB)
15:31:38 [15:31:38.206]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 871.04 MiB)
15:31:38 [15:31:38.542]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 880.04 MiB)
15:31:38 [15:31:38.622]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 880.04 MiB)
15:31:38 [15:31:38.678]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 912.04 MiB)
15:31:38 [15:31:38.953]
INFO:
ivc-integration:test:native bb - folded (mem: 912.04 MiB)
15:31:38 [15:31:38.954]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 912.04 MiB)
15:31:38 [15:31:38.958]
INFO:
ivc-integration:test:native bb - Largest circuit: 12059 gates. Trace details: (mem: 912.04 MiB)
15:31:38 Minimum required block sizes for structured trace: (mem: 912.04 MiB)
15:31:38 (mem: 912.04 MiB)
15:31:38 prove decider... (mem: 912.04 MiB)
15:31:38 finished decider proving. (mem: 912.04 MiB)
15:31:38 [15:31:38.959]
INFO:
ivc-integration:test:native bb - ecc_op : 56
15:31:38 busread : 3
15:31:38 lookup : 2
15:31:38 pub_inputs : 36
15:31:38 arithmetic : 4072
15:31:38 delta_range : 2030
15:31:38 elliptic : 2
15:31:38 aux : 50
15:31:38 poseidon2_external : 882
15:31:38 poseidon2_internal : 5018
15:31:38 overflow : 0
15:31:39 [15:31:39.339]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 912.04 MiB)
15:31:39 [15:31:39.528]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 912.04 MiB)
15:31:40 [15:31:40.502]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 912.04 MiB)
15:31:40 [15:31:40.574]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 912.04 MiB)
15:31:40 [15:31:40.708]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 912.04 MiB)
15:31:40 [15:31:40.715]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 912.04 MiB)
15:31:40 [15:31:40.946]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 912.04 MiB)
15:31:41 [15:31:41.004]
INFO:
ivc-integration:test:native bb - time to construct proving key: 297 ms. (mem: 912.04 MiB)
15:31:41 [15:31:41.685]
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-ZHRwo5/proof -k /tmp/bb-client-ivc-integration-ZHRwo5/vk -v
15:31:41 [15:31:41.734]
INFO:
ivc-integration:test:native bb command: verify (mem: 141.45 MiB)
15:31:41 Scheme is: client_ivc, num threads: 128 (mem: 141.45 MiB)
15:31:41 [15:31:41.741]
INFO:
ivc-integration:test:native
15:31:41 --proof_path: /tmp/bb-client-ivc-integration-ZHRwo5/proof (mem: 141.45 MiB)
15:31:41 --vk_path: /tmp/bb-client-ivc-integration-ZHRwo5/vk (mem: 141.45 MiB)
15:31:41 --verbose: true (mem: 141.45 MiB)
15:31:41 --scheme: client_ivc (mem: 141.45 MiB)
15:31:41 [15:31:41.935]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 152.00 MiB)
15:31:41 [15:31:41.958]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 163.62 MiB)
15:31:41 [15:31:41.970]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 163.62 MiB)
15:31:41 [15:31:41.972]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 163.62 MiB)
15:31:41 Mega verified: 1 (mem: 163.62 MiB)
15:31:42 [15:31:42.058]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 180.25 MiB)
15:31:42 batch opening verified?: 1 (mem: 180.25 MiB)
15:31:42 eccvm consistency check verified?: 1 (mem: 180.25 MiB)
15:31:42 translation masking consistency checked?: 1 (mem: 180.25 MiB)
15:31:42 [15:31:42.076]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 180.25 MiB)
15:31:42 eccvm verified?: 1 (mem: 180.25 MiB)
15:31:42 accumulator construction_verified?: 1 (mem: 180.25 MiB)
15:31:42 translation verified?: 1 (mem: 180.25 MiB)
15:31:42 consistency verified?: 1 (mem: 180.25 MiB)
15:31:42 Goblin verified: 1 (mem: 180.25 MiB)
15:31:42 [15:31:42.082]
INFO:
ivc-integration:test:native verified: 1 (mem: 180.25 MiB)
15:31:42 [15:31:42.176]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-EfGHXi/ivc-inputs.msgpack
15:31:42 [15:31:42.177]
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-EfGHXi --ivc_inputs_path /tmp/bb-client-ivc-integration-EfGHXi/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:31:42 [15:31:42.198]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 144.26 MiB)
15:31:42 Scheme is: client_ivc, num threads: 128 (mem: 144.26 MiB)
15:31:42 --scheme: client_ivc (mem: 144.26 MiB)
15:31:42 --output_path: /tmp/bb-client-ivc-integration-EfGHXi (mem: 144.26 MiB)
15:31:42 --ivc_inputs_path: /tmp/bb-client-ivc-integration-EfGHXi/ivc-inputs.msgpack (mem: 144.26 MiB)
15:31:42 --verbose: true (mem: 144.26 MiB)
15:31:42 --write_vk: true (mem: 144.26 MiB)
15:31:42 [15:31:42.202]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 144.26 MiB)
15:31:42 [15:31:42.340]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.00 MiB)
15:31:42 [15:31:42.435]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 297.55 MiB)
15:31:42 [15:31:42.439]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 297.55 MiB)
15:31:42 Constructing DeciderProvingKey (mem: 297.55 MiB)
15:31:42 [15:31:42.444]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.55 MiB)
15:31:42 goblin ecc op : 4/1024 (mem: 297.55 MiB)
15:31:42 busread : 7/6000 (mem: 297.55 MiB)
15:31:42 lookups : 2/15000 (mem: 297.55 MiB)
15:31:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.55 MiB)
15:31:42 arithmetic : 1760/56000 (mem: 297.55
15:31:42 [15:31:42.445]
INFO:
ivc-integration:test:native bb - MiB)
15:31:42 delta range : 1754/18000 (mem: 297.55 MiB)
15:31:42 elliptic : 2/6000 (mem: 297.55 MiB)
15:31:42 auxiliary : 26/26000 (mem: 297.55 MiB)
15:31:42 poseidon ext : 2/17000 (mem: 297.55 MiB)
15:31:42 poseidon int : 2/92000 (mem: 297.55 MiB)
15:31:42 overflow : 0/0 (mem: 297.55 MiB)
15:31:42 (mem: 297.55 MiB)
15:31:42 Total structured size: 242025 (mem: 297.55 MiB)
15:31:42 allocating polynomials object in proving key... (mem: 297.55 MiB)
15:31:42 [15:31:42.775]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 491.68 MiB)
15:31:42 [15:31:42.786]
INFO:
ivc-integration:test:native bb - time to construct proving key: 347 ms. (mem: 511.68 MiB)
15:31:42 [15:31:42.826]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x616648ccc640 (mem: 511.68 MiB)
15:31:42 computing oink proof... (mem: 511.68 MiB)
15:31:43 [15:31:43.098]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 512.68 MiB)
15:31:43 [15:31:43.115]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 513.68 MiB)
15:31:43 Constructing DeciderProvingKey (mem: 513.68 MiB)
15:31:43 [15:31:43.116]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 513.68 MiB)
15:31:43 goblin ecc op : 56/1024 (mem: 513.68 MiB)
15:31:43 busread : 12/6000 (mem: 513.68 MiB)
15:31:43 lookups : 2/15000 (mem: 513.68 MiB)
15:31:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 513.68 MiB)
15:31:43 arithmetic : 4225/56000 (mem: 513.68 MiB)
15:31:43 delta range : 2043/18000 (mem: 513.68 MiB)
15:31:43 elliptic : 2/6000 (mem: 513.68 MiB)
15:31:43 auxiliary : 110/26000 (mem: 513.68 MiB)
15:31:43 poseidon ext : 882/17000 (mem: 513.68 MiB)
15:31:43 poseidon int : 5018/92000 (mem: 513.68 MiB)
15:31:43 overflow : 0/0 (mem: 513.68 MiB)
15:31:43 (mem: 513.68 MiB)
15:31:43 Total structured size: 242025 (mem: 513.68 MiB)
15:31:43 allocating polynomials object in proving key... (mem: 513.68 MiB)
15:31:43 [15:31:43.328]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 725.68 MiB)
15:31:43 [15:31:43.378]
INFO:
ivc-integration:test:native bb - time to construct proving key: 264 ms. (mem: 741.68 MiB)
15:31:43 [15:31:43.489]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x616648cd5880 (mem: 741.68 MiB)
15:31:43 computing folding proof (mem: 741.68 MiB)
15:31:43 [15:31:43.651]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 741.68 MiB)
15:31:43 [15:31:43.780]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 779.68 MiB)
15:31:43 [15:31:43.866]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.68 MiB)
15:31:44 [15:31:44.250]
INFO:
ivc-integration:test:native bb - folded (mem: 814.68 MiB)
15:31:44 constructed folding proof (mem: 814.68 MiB)
15:31:44 [15:31:44.251]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.68 MiB)
15:31:44 Constructing DeciderProvingKey (mem: 814.68 MiB)
15:31:44 [15:31:44.255]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.68 MiB)
15:31:44 goblin ecc op : 4/1024 (mem: 814.68 MiB)
15:31:44 busread : 7/6000 (mem: 814.68 MiB)
15:31:44 lookups : 2/15000 (mem: 814.68 MiB)
15:31:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 814.68 MiB)
15:31:44 arithmetic : 1760/56000 (mem: 814.68 MiB)
15:31:44 delta range : 1754/18000 (mem: 814.68 MiB)
15:31:44 elliptic : 2/6000 (mem: 814.68 MiB)
15:31:44 auxiliary : 26/26000 (mem: 814.68 MiB)
15:31:44 poseidon ext : 2/17000 (mem: 814.68 MiB)
15:31:44 [15:31:44.256]
INFO:
ivc-integration:test:native bb - poseidon int : 2/92000 (mem: 814.68 MiB)
15:31:44 overflow : 0/0 (mem: 814.68 MiB)
15:31:44 (mem: 814.68 MiB)
15:31:44 Total structured size: 242025 (mem: 814.68 MiB)
15:31:44 allocating polynomials object in proving key... (mem: 814.68 MiB)
15:31:44 [15:31:44.333]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.68 MiB)
15:31:44 [15:31:44.351]
INFO:
ivc-integration:test:native bb - time to construct proving key: 97 ms. (mem: 814.68 MiB)
15:31:44 [15:31:44.451]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x616648ccce80 (mem: 814.68 MiB)
15:31:44 computing folding proof (mem: 814.68 MiB)
15:31:44 [15:31:44.678]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.68 MiB)
15:31:44 [15:31:44.770]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 814.68 MiB)
15:31:44 [15:31:44.841]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.63 MiB)
15:31:45 [15:31:45.025]
INFO:
ivc-integration:test:native bb - folded (mem: 815.63 MiB)
15:31:45 constructed folding proof (mem: 815.63 MiB)
15:31:45 [15:31:45.158]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 815.63 MiB)
15:31:45 Constructing DeciderProvingKey (mem: 815.63 MiB)
15:31:45 [15:31:45.165]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.63 MiB)
15:31:45 goblin ecc op : 792/1024 (mem: 815.63 MiB)
15:31:45 busread : 12/6000 (mem: 815.63 MiB)
15:31:45 lookups : 2/15000 (mem: 815.63 MiB)
15:31:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 815.63 MiB)
15:31:45 [15:31:45.166]
INFO:
ivc-integration:test:native bb - arithmetic : 11272/56000 (mem: 815.63 MiB)
15:31:45 delta range : 2922/18000 (mem: 815.63 MiB)
15:31:45 elliptic : 2/6000 (mem: 815.63 MiB)
15:31:45 auxiliary : 350/26000 (mem: 815.63 MiB)
15:31:45 poseidon ext : 4092/17000 (mem: 815.63 MiB)
15:31:45 poseidon int : 23315/92000 (mem: 815.63 MiB)
15:31:45 overflow : 0/0 (mem: 815.63 MiB)
15:31:45 (mem: 815.63 MiB)
15:31:45 Total structured size: 242025 (mem: 815.63 MiB)
15:31:45 allocating polynomials object in proving key... (mem: 815.63 MiB)
15:31:45 [15:31:45.236]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.63 MiB)
15:31:45 [15:31:45.264]
INFO:
ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 815.63 MiB)
15:31:45 [15:31:45.378]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x616648cdc2c0 (mem: 815.63 MiB)
15:31:45 computing folding proof (mem: 815.63 MiB)
15:31:45 [15:31:45.671]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.63 MiB)
15:31:45 [15:31:45.751]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 815.63 MiB)
15:31:45 [15:31:45.797]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 844.82 MiB)
15:31:46 [15:31:46.010]
INFO:
ivc-integration:test:native bb - folded (mem: 844.82 MiB)
15:31:46 constructed folding proof (mem: 844.82 MiB)
15:31:46 [15:31:46.080]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 844.82 MiB)
15:31:46 Constructing DeciderProvingKey
15:31:46 [15:31:46.080]
INFO:
ivc-integration:test:native bb - (mem: 844.82 MiB)
15:31:46 [15:31:46.084]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.82 MiB)
15:31:46 goblin ecc op : 392/1024 (mem: 844.82 MiB)
15:31:46 [15:31:46.085]
INFO:
ivc-integration:test:native bb -
15:31:46 busread : 16/6000 (mem: 844.82 MiB)
15:31:46 lookups : 2/15000 (mem: 844.82 MiB)
15:31:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 844.82 MiB)
15:31:46 arithmetic : 6505/56000 (mem: 844.82 MiB)
15:31:46 delta range : 2337/18000 (mem: 844.82 MiB)
15:31:46 elliptic : 2/6000 (mem: 844.82 MiB)
15:31:46 auxiliary : 77/26000 (mem: 844.82 MiB)
15:31:46 poseidon ext : 2042/17000 (mem: 844.82 MiB)
15:31:46 poseidon int : 11630/92000 (mem: 844.82 MiB)
15:31:46 overflow : 0/0 (mem: 844.82 MiB)
15:31:46 (mem: 844.82 MiB)
15:31:46 Total structured size: 242025 (mem: 844.82 MiB)
15:31:46 allocating polynomials object in proving key... (mem: 844.82 MiB)
15:31:46 [15:31:46.149]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.82 MiB)
15:31:46 [15:31:46.170]
INFO:
ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 844.82 MiB)
15:31:46 [15:31:46.417]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x616648d41980 (mem: 844.82 MiB)
15:31:46 computing folding proof (mem: 844.82 MiB)
15:31:46 [15:31:46.631]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.82 MiB)
15:31:46 [15:31:46.725]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 844.82 MiB)
15:31:46 [15:31:46.774]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 846.20 MiB)
15:31:46 [15:31:46.907]
INFO:
ivc-integration:test:native bb - folded (mem: 846.20 MiB)
15:31:46 constructed folding proof (mem: 846.20 MiB)
15:31:46 [15:31:46.963]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 846.20 MiB)
15:31:46 Constructing DeciderProvingKey (mem: 846.20 MiB)
15:31:46 [15:31:46.967]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.20 MiB)
15:31:46 goblin ecc op : 392/1024 (mem: 846.20 MiB)
15:31:46 busread : 3/6000 (mem: 846.20 MiB)
15:31:46 lookups : 2/15000 (mem: 846.20 MiB)
15:31:46 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.20 MiB)
15:31:46 arithmetic : 6440/56000 (mem: 846.20 MiB)
15:31:46 delta range : 2323/18000 (mem: 846.20 MiB)
15:31:46 elliptic : 2/6000 (mem: 846.20 MiB)
15:31:46 [15:31:46.967]
INFO:
ivc-integration:test:native bb -
15:31:46 auxiliary : 50/26000 (mem: 846.20 MiB)
15:31:46 poseidon ext : 2042/17000 (mem: 846.20 MiB)
15:31:46 poseidon int : 11630/92000 (mem: 846.20 MiB)
15:31:46 overflow : 0/0 (mem: 846.20 MiB)
15:31:46 (mem: 846.20 MiB)
15:31:46 Total structured size: 242025 (mem: 846.20 MiB)
15:31:46 allocating polynomials object in proving key... (mem: 846.20 MiB)
15:31:47 [15:31:47.078]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.20 MiB)
15:31:47 [15:31:47.163]
INFO:
ivc-integration:test:native bb - time to construct proving key: 199 ms.
15:31:47 [15:31:47.163]
INFO:
ivc-integration:test:native bb - (mem:
15:31:47 [15:31:47.164]
INFO:
ivc-integration:test:native bb - 846.20
15:31:47 [15:31:47.166]
INFO:
ivc-integration:test:native bb - MiB)
15:31:47 [15:31:47.382]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x616648d494c0
15:31:47 [15:31:47.386]
INFO:
ivc-integration:test:native bb - (mem: 846.20 MiB)
15:31:47 computing folding proof (mem: 846.20 MiB)
15:31:47 [15:31:47.660]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.20 MiB)
15:31:47 [15:31:47.715]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 846.20 MiB)
15:31:47 [15:31:47.758]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 846.70 MiB)
15:31:47 [15:31:47.882]
INFO:
ivc-integration:test:native bb - folded (mem: 846.70 MiB)
15:31:47 constructed folding proof (mem: 846.70 MiB)
15:31:47 [15:31:47.885]
INFO:
ivc-integration:test:native bb - Largest circuit: 41967 gates. Trace details: (mem: 846.70 MiB)
15:31:47 Minimum required block sizes for structured trace: (mem: 846.70 MiB)
15:31:47 (mem: 846.70 MiB)
15:31:47 prove decider... (mem: 846.70 MiB)
15:31:47 finished decider proving. (mem: 846.70 MiB)
15:31:47 [15:31:47.886]
INFO:
ivc-integration:test:native bb - ecc_op : 792
15:31:47 busread : 16
15:31:47 lookup : 2
15:31:47 pub_inputs : 36
15:31:47 arithmetic : 11272
15:31:47 delta_range : 2922
15:31:47 elliptic : 2
15:31:47 aux : 350
15:31:47 poseidon2_external : 4092
15:31:47 poseidon2_internal : 23315
15:31:47 overflow : 0
15:31:48 [15:31:48.040]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.70 MiB)
15:31:48 [15:31:48.215]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
15:31:48 [15:31:48.217]
INFO:
ivc-integration:test:native bb - (mem: 846.70 MiB)
15:31:48 [15:31:48.744]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 846.70 MiB)
15:31:48 [15:31:48.855]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 846.70 MiB)
15:31:48 [15:31:48.963]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.70 MiB)
15:31:48 [15:31:48.968]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 846.70 MiB)
15:31:49 [15:31:49.021]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.70 MiB)
15:31:49 [15:31:49.052]
INFO:
ivc-integration:test:native bb - time to construct proving key: 88 ms. (mem: 846.70 MiB)
15:31:49 [15:31:49.720]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 846.70 MiB)
15:31:50 [15:31:50.093]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.70 MiB)
15:31:50 [15:31:50.969]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 846.70 MiB)
15:31:51 [15:31:51.525]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 846.70 MiB)
15:31:51 [15:31:51.551]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 846.70 MiB)
15:31:51 [15:31:51.726]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 846.70 MiB)
15:31:51 prove eccvm... (mem: 846.70 MiB)
15:31:52 [15:31:52.015]
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: 846.70 MiB)
15:31:52 [15:31:52.027]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 846.70 MiB)
15:31:53 [15:31:53.981]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.70 MiB)
15:31:55 [15:31:55.063]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 846.70 MiB)
15:31:58 [15:31:58.867]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 846.70 MiB)
15:31:58 prove translator... (mem: 846.70 MiB)
15:32:03 [15:32:03.268]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.70 MiB)
15:32:04 [15:32:04.816]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 846.70 MiB)
15:32:07 [15:32:07.089]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 846.70 MiB)
15:32:07 [15:32:07.091]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 846.70 MiB)
15:32:07 [15:32:07.115]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 846.70 MiB)
15:32:07 [15:32:07.201]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 846.70 MiB)
15:32:07 batch opening verified?: 1 (mem: 846.70 MiB)
15:32:07 eccvm consistency check verified?: 1 (mem: 846.70 MiB)
15:32:07 translation masking consistency checked?: 1 (mem: 846.70 MiB)
15:32:07 [15:32:07.221]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 846.70 MiB)
15:32:07 eccvm verified?: 1 (mem: 846.70 MiB)
15:32:07 [15:32:07.222]
INFO:
ivc-integration:test:native bb - accumulator construction_verified?: 1 (mem: 846.70 MiB)
15:32:07 translation verified?: 1 (mem: 846.70 MiB)
15:32:07 consistency verified?: 1 (mem: 846.70 MiB)
15:32:07 Goblin verified: 1 (mem: 846.70 MiB)
15:32:07 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-EfGHXi" (mem: 846.70 MiB)
15:32:07 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-EfGHXi" (mem: 846.70 MiB)
15:32:07 [15:32:07.223]
INFO:
ivc-integration:test:native bb - num_public_inputs_in_final_circuit: 4 (mem: 846.70 MiB)
15:32:07 BN254 commitment key size: 262144 (mem: 846.70 MiB)
15:32:07 [15:32:07.225]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.70 MiB)
15:32:07 [15:32:07.229]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.70 MiB)
15:32:07 goblin ecc op : 4/1024 (mem: 846.70 MiB)
15:32:07 busread : 3/6000 (mem: 846.70 MiB)
15:32:07 lookups : 2/15000 (mem: 846.70 MiB)
15:32:07 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.70 MiB)
15:32:07 arithmetic : 1773/56000 (mem: 846.70 MiB)
15:32:07 delta range : 1754/18000 (mem: 846.70 MiB)
15:32:07 elliptic : 2/6000 (mem: 846.70 MiB)
15:32:07 auxiliary : 26/26000 (mem: 846.70 MiB)
15:32:07 poseidon ext : 2/17000 (mem: 846.70 MiB)
15:32:07 poseidon int : 2/92000 (mem: 846.70 MiB)
15:32:07 overflow : 0/0 (mem: 846.70 MiB)
15:32:07 (mem: 846.70 MiB)
15:32:07 Total structured size: 242025 (mem: 846.70 MiB)
15:32:07 allocating polynomials object in proving key... (mem: 846.70 MiB)
15:32:07 [15:32:07.288]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.70 MiB)
15:32:07 [15:32:07.298]
INFO:
ivc-integration:test:native bb - time to construct proving key: 72 ms. (mem: 846.70 MiB)
15:32:07 [15:32:07.339]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.70 MiB)
15:32:07 [15:32:07.911]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 846.70 MiB)
15:32:08 [15:32:08.019]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 846.70 MiB)
15:32:08 [15:32:08.035]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.70 MiB)
15:32:08 [15:32:08.038]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.70 MiB)
15:32:08 goblin ecc op : 56/1024 (mem: 846.70 MiB)
15:32:08 busread : 3/6000 (mem: 846.70 MiB)
15:32:08 lookups : 2/15000 (mem: 846.70 MiB)
15:32:08 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.70 MiB)
15:32:08 arithmetic : 4072/56000 (mem: 846.70 MiB)
15:32:08 delta range : 2030/18000 (mem: 846.70 MiB)
15:32:08 elliptic : 2/6000 (mem: 846.70 MiB)
15:32:08 auxiliary : 50/26000 (mem: 846.70 MiB)
15:32:08 poseidon ext : 882/17000 (mem: 846.70 MiB)
15:32:08 poseidon int : 5018/92000 (mem: 846.70 MiB)
15:32:08 [15:32:08.039]
INFO:
ivc-integration:test:native bb - overflow : 0/0 (mem: 846.70 MiB)
15:32:08 (mem: 846.70 MiB)
15:32:08 Total structured size: 242025 (mem: 846.70 MiB)
15:32:08 allocating polynomials object in proving key... (mem: 846.70 MiB)
15:32:08 [15:32:08.103]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 872.70 MiB)
15:32:08 [15:32:08.114]
INFO:
ivc-integration:test:native bb - time to construct proving key: 78 ms. (mem: 872.70 MiB)
15:32:08 [15:32:08.138]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.70 MiB)
15:32:08 [15:32:08.601]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 872.70 MiB)
15:32:08 [15:32:08.919]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 881.70 MiB)
15:32:09 [15:32:09.021]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 881.70 MiB)
15:32:09 [15:32:09.077]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 913.70 MiB)
15:32:09 [15:32:09.274]
INFO:
ivc-integration:test:native bb - folded (mem: 913.70 MiB)
15:32:09 constructed folding proof (mem: 913.70 MiB)
15:32:09 [15:32:09.279]
INFO:
ivc-integration:test:native bb - Largest circuit: 12059 gates. Trace details: (mem: 913.70 MiB)
15:32:09 Minimum required block sizes for structured trace: (mem:
15:32:09 [15:32:09.279]
INFO:
ivc-integration:test:native bb - 913.70 MiB)
15:32:09 (mem: 913.70 MiB)
15:32:09 prove decider... (mem: 913.70 MiB)
15:32:09 finished decider proving. (mem: 913.70 MiB)
15:32:09 [15:32:09.279]
INFO:
ivc-integration:test:native bb - ecc_op : 56
15:32:09 busread : 3
15:32:09 lookup : 2
15:32:09 pub_inputs : 36
15:32:09 arithmetic : 4072
15:32:09 delta_range : 2030
15:32:09 elliptic : 2
15:32:09 aux : 50
15:32:09 poseidon2_external : 882
15:32:09 poseidon2_internal : 5018
15:32:09 overflow : 0
15:32:09 [15:32:09.420]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 913.70 MiB)
15:32:09 [15:32:09.507]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 913.70 MiB)
15:32:10 [15:32:10.201]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 913.70 MiB)
15:32:10 [15:32:10.241]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 913.70 MiB)
15:32:10 [15:32:10.387]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 913.70 MiB)
15:32:10 [15:32:10.393]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 913.70 MiB)
15:32:10 [15:32:10.550]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 913.70 MiB)
15:32:10 [15:32:10.596]
INFO:
ivc-integration:test:native bb - time to construct proving key: 209 ms. (mem: 913.70 MiB)
15:32:11 [15:32:11.359]
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-EfGHXi/proof -k /tmp/bb-client-ivc-integration-EfGHXi/vk -v
15:32:11 [15:32:11.382]
INFO:
ivc-integration:test:native bb command: verify (mem: 146.45 MiB)
15:32:11 Scheme is: client_ivc, num threads: 128 (mem: 146.45 MiB)
15:32:11 --proof_path: /tmp/bb-client-ivc-integration-EfGHXi/proof (mem: 146.45 MiB)
15:32:11 --vk_path: /tmp/bb-client-ivc-integration-EfGHXi/vk (mem: 146.45 MiB)
15:32:11 --verbose: true (mem: 146.45 MiB)
15:32:11 --scheme: client_ivc (mem: 146.45 MiB)
15:32:11 [15:32:11.476]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 146.45 MiB)
15:32:11 [15:32:11.502]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 157.28 MiB)
15:32:11 [15:32:11.521]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 157.28 MiB)
15:32:11 [15:32:11.522]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 157.28 MiB)
15:32:11 [15:32:11.522]
INFO:
ivc-integration:test:native Mega verified: 1 (mem: 157.28 MiB)
15:32:11 [15:32:11.607]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 174.08 MiB)
15:32:11 batch opening verified?: 1 (mem: 174.08 MiB)
15:32:11 eccvm consistency check verified?: 1 (mem: 174.08 MiB)
15:32:11 translation masking consistency checked?: 1 (mem: 174.08 MiB)
15:32:11 [15:32:11.630]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 174.08 MiB)
15:32:11 eccvm verified?: 1 (mem: 174.08 MiB)
15:32:11 accumulator construction_verified?: 1 (mem: 174.08 MiB)
15:32:11 translation verified?: 1 (mem: 174.08 MiB)
15:32:11 consistency verified?: 1 (mem: 174.08 MiB)
15:32:11 Goblin verified: 1 (mem: 174.08 MiB)
15:32:11 [15:32:11.636]
INFO:
ivc-integration:test:native verified: 1 (mem: 174.08 MiB)
15:32:11
PASS src/native_client_ivc_integration.test.ts (
60.868 s)
15:32:11 Client IVC Integration
15:32:11
✓ Should generate a verifiable client IVC proof from a simple mock tx (27971 ms)
15:32:11
✓ Should generate a verifiable client IVC proof from a complex mock tx (29565 ms)
15:32:11
15:32:11
Test Suites: 1 passed, 1 total
15:32:11
Tests: 2 passed, 2 total
15:32:11
Snapshots: 0 total
15:32:11
Time: 60.944 s
15:32:11
Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i
.
15:32:11
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?