Parent Log:
http://ci.aztec-labs.com/203368854ee7e10a
Command: 4bfd2d3585b9db66: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/267ac35e8ccb487bdc79bbe12d428f4c8b4d4d9f
Env: REF_NAME=gh-readonly-queue/master/pr-15002-1338cef09c870378254c56748f972ae827c4d482 CURRENT_VERSION=0.87.8 CI_FULL=1
Date: Fri Jun 13 14:51:41 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15002_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_master
14:51:45 [14:51:45.484]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-smQ81s/ivc-inputs.msgpack
14:51:45 [14:51:45.489]
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-smQ81s --ivc_inputs_path /tmp/bb-client-ivc-integration-smQ81s/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
14:51:45 [14:51:45.504]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 138.02 MiB)
14:51:45 [14:51:45.505]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 138.02 MiB)
14:51:45 --scheme: client_ivc (mem: 138.02 MiB)
14:51:45 --output_path: /tmp/bb-client-ivc-integration-smQ81s (mem: 138.02 MiB)
14:51:45 --ivc_inputs_path: /tmp/bb-client-ivc-integration-smQ81s/ivc-inputs.msgpack (mem: 138.02 MiB)
14:51:45 --verbose: true (mem: 138.02 MiB)
14:51:45 --write_vk: true (mem: 138.02 MiB)
14:51:45 BN254 commitment key size: 262144 (mem: 138.02 MiB)
14:51:45 [14:51:45.610]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.00 MiB)
14:51:45 [14:51:45.693]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 298.99 MiB)
14:51:45 [14:51:45.698]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 298.99 MiB)
14:51:45 [14:51:45.699]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 298.99 MiB)
14:51:45 [14:51:45.703]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 298.99 MiB)
14:51:45 goblin ecc op : 4/1024 (mem: 298.99 MiB)
14:51:45 busread : 7/6000 (mem: 298.99 MiB)
14:51:45 lookups : 2/15000 (mem: 298.99 MiB)
14:51:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 298.99 MiB)
14:51:45 arithmetic : 1760/56000 (mem: 298.99 MiB)
14:51:45 delta range : 1754/18000 (mem: 298.99 MiB)
14:51:45 elliptic : 2/6000 (mem: 298.99 MiB)
14:51:45 auxiliary : 26/26000 (mem: 298.99 MiB)
14:51:45 poseidon ext : 2/17000 (mem: 298.99 MiB)
14:51:45 poseidon int : 2/92000 (mem: 298.99 MiB)
14:51:45 overflow : 0/0 (mem: 298.99 MiB)
14:51:45 [14:51:45.705]
INFO:
ivc-integration:test:native bb - (mem: 298.99 MiB)
14:51:45 Total structured size: 242025 (mem: 298.99 MiB)
14:51:45 allocating polynomials object in proving key... (mem: 298.99 MiB)
14:51:45 [14:51:45.760]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 501.15 MiB)
14:51:45 [14:51:45.768]
INFO:
ivc-integration:test:native bb - time to construct proving key: 70 ms. (mem: 515.15 MiB)
14:51:45 [14:51:45.798]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56f0bd6a7800 (mem: 515.15 MiB)
14:51:45 [14:51:45.799]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 515.15 MiB)
14:51:45 [14:51:45.969]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 515.15 MiB)
14:51:45 [14:51:45.989]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 516.15 MiB)
14:51:45 Constructing DeciderProvingKey (mem: 516.15 MiB)
14:51:45 [14:51:45.993]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 516.15 MiB)
14:51:45 goblin ecc op : 56/1024 (mem: 516.15 MiB)
14:51:45 busread : 12/6000 (mem: 516.15 MiB)
14:51:45 lookups : 2/15000 (mem: 516.15 MiB)
14:51:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 516.15 MiB)
14:51:45 arithmetic : 4225/56000
14:51:45 [14:51:45.994]
INFO:
ivc-integration:test:native bb - (mem: 516.15 MiB)
14:51:45 delta range : 2043/18000 (mem: 516.15 MiB)
14:51:45 elliptic : 2/6000 (mem: 516.15 MiB)
14:51:45 auxiliary : 110/26000 (mem: 516.15 MiB)
14:51:45 poseidon ext : 882/17000 (mem: 516.15 MiB)
14:51:45 poseidon int : 5018/92000 (mem: 516.15 MiB)
14:51:45 overflow : 0/0 (mem: 516.15 MiB)
14:51:45 (mem: 516.15 MiB)
14:51:45 Total structured size: 242025 (mem: 516.15 MiB)
14:51:45 allocating polynomials object in proving key... (mem: 516.15 MiB)
14:51:46 [14:51:46.074]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 732.15 MiB)
14:51:46 [14:51:46.091]
INFO:
ivc-integration:test:native bb - time to construct proving key: 100 ms. (mem: 749.15 MiB)
14:51:46 [14:51:46.152]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56f0bd6a6000 (mem: 749.15 MiB)
14:51:46 computing folding proof (mem: 749.15 MiB)
14:51:46 [14:51:46.351]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 749.15 MiB)
14:51:46 [14:51:46.459]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 785.15 MiB)
14:51:46 [14:51:46.507]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 818.15 MiB)
14:51:46 [14:51:46.763]
INFO:
ivc-integration:test:native bb - folded (mem: 818.15 MiB)
14:51:46 constructed folding proof (mem: 818.15 MiB)
14:51:46 [14:51:46.837]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.15 MiB)
14:51:46 Constructing DeciderProvingKey (mem: 818.15 MiB)
14:51:46 [14:51:46.842]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.15 MiB)
14:51:46 goblin ecc op : 392/1024 (mem: 818.15 MiB)
14:51:46 busread : 3/6000 (mem: 818.15 MiB)
14:51:46 lookups : 2/15000 (mem: 818.15 MiB)
14:51:46 [14:51:46.843]
INFO:
ivc-integration:test:native bb -
14:51:46 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 818.15 MiB)
14:51:46 arithmetic : 6440/56000 (mem: 818.15 MiB)
14:51:46 delta range : 2323/18000 (mem: 818.15 MiB)
14:51:46 elliptic : 2/6000 (mem: 818.15 MiB)
14:51:46 auxiliary : 50/26000 (mem: 818.15 MiB)
14:51:46 poseidon ext : 2042/17000 (mem: 818.15 MiB)
14:51:46 poseidon int : 11630/92000 (mem: 818.15 MiB)
14:51:46 overflow : 0/0 (mem: 818.15 MiB)
14:51:46 (mem: 818.15 MiB)
14:51:46 Total structured size: 242025 (mem: 818.15 MiB)
14:51:46 allocating polynomials object in proving key... (mem: 818.15 MiB)
14:51:46 [14:51:46.967]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 818.15 MiB)
14:51:47 [14:51:47.000]
INFO:
ivc-integration:test:native bb - time to construct proving key: 162 ms. (mem: 818.15 MiB)
14:51:47 [14:51:47.144]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56f0bd6ab940 (mem: 818.15 MiB)
14:51:47 computing folding proof (mem: 818.15 MiB)
14:51:47 [14:51:47.618]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.15 MiB)
14:51:47 [14:51:47.751]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 818.15 MiB)
14:51:47 [14:51:47.833]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 826.72 MiB)
14:51:48 [14:51:48.347]
INFO:
ivc-integration:test:native bb - folded (mem: 826.72 MiB)
14:51:48 [14:51:48.349]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 826.72 MiB)
14:51:48 Largest circuit: 22492 gates. Trace details: (mem: 826.72 MiB)
14:51:48 Minimum required block sizes for structured trace: (mem: 826.72 MiB)
14:51:48 (mem: 826.72 MiB)
14:51:48 prove decider... (mem: 826.72 MiB)
14:51:48 finished decider proving. (mem: 826.72 MiB)
14:51:48 [14:51:48.350]
INFO:
ivc-integration:test:native bb - ecc_op : 392
14:51:48 busread : 12
14:51:48 lookup : 2
14:51:48 pub_inputs : 36
14:51:48 arithmetic : 6440
14:51:48 delta_range : 2323
14:51:48 elliptic : 2
14:51:48 aux : 110
14:51:48 poseidon2_external : 2042
14:51:48 poseidon2_internal : 11630
14:51:48 overflow : 0
14:51:48 [14:51:48.504]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 826.72 MiB)
14:51:48 [14:51:48.655]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 826.72 MiB)
14:51:49 [14:51:49.644]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 826.72 MiB)
14:51:49 [14:51:49.722]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 826.72 MiB)
14:51:49 [14:51:49.832]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 826.72 MiB)
14:51:49 [14:51:49.836]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 826.72 MiB)
14:51:50 [14:51:50.028]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 826.72 MiB)
14:51:50 [14:51:50.068]
INFO:
ivc-integration:test:native bb - time to construct proving key: 236 ms. (mem: 826.72 MiB)
14:51:51 [14:51:51.185]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 826.72 MiB)
14:51:51 [14:51:51.669]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 826.72 MiB)
14:51:52 [14:51:52.906]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 826.72 MiB)
14:51:53 [14:51:53.598]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 826.72 MiB)
14:51:53 [14:51:53.623]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 826.72 MiB)
14:51:53 [14:51:53.806]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 826.72 MiB)
14:51:53 prove eccvm... (mem: 826.72 MiB)
14:51:54 [14:51:54.205]
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: 826.72 MiB)
14:51:54 [14:51:54.209]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem:
14:51:54 [14:51:54.210]
INFO:
ivc-integration:test:native bb - 826.72 MiB)
14:51:56 [14:51:56.131]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 826.72 MiB)
14:51:57 [14:51:57.153]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 826.72 MiB)
14:52:01 [14:52:01.084]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 826.72 MiB)
14:52:01 prove translator... (mem: 826.72 MiB)
14:52:03 [14:52:03.010]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 826.72 MiB)
14:52:04 [14:52:04.327]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 826.72 MiB)
14:52:05 [14:52:05.817]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 826.72 MiB)
14:52:05 [14:52:05.818]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 826.72 MiB)
14:52:05 [14:52:05.840]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 826.72 MiB)
14:52:05 [14:52:05.918]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 826.72 MiB)
14:52:05 batch opening verified?: 1 (mem: 826.72 MiB)
14:52:05 eccvm consistency check verified?: 1 (mem: 826.72 MiB)
14:52:05 translation masking consistency checked?: 1 (mem: 826.72 MiB)
14:52:05 [14:52:05.939]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 826.72 MiB)
14:52:05 eccvm verified?: 1 (mem: 826.72 MiB)
14:52:05 accumulator construction_verified?: 1 (mem: 826.72 MiB)
14:52:05 translation verified?: 1 (mem: 826.72 MiB)
14:52:05 consistency verified?: 1 (mem: 826.72 MiB)
14:52:05 Goblin verified: 1 (mem: 826.72 MiB)
14:52:05 [14:52:05.939]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-smQ81s" (mem: 826.72 MiB)
14:52:05 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-smQ81s" (mem: 826.72 MiB)
14:52:05 [14:52:05.940]
INFO:
ivc-integration:test:native bb - num_public_inputs_in_final_circuit: 4 (mem: 826.72 MiB)
14:52:05 BN254 commitment key size: 262144 (mem: 826.72 MiB)
14:52:05 [14:52:05.946]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 826.72 MiB)
14:52:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 826.72 MiB)
14:52:05 goblin ecc op : 4/1024 (mem: 826.72 MiB)
14:52:05 busread : 3/6000 (mem: 826.72 MiB)
14:52:05 lookups : 2/15000 (mem: 826.72 MiB)
14:52:05 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 826.72 MiB)
14:52:05 arithmetic : 1773/56000 (mem: 826.72 MiB)
14:52:05 delta range : 1754/18000 (mem: 826.72 MiB)
14:52:05 elliptic : 2/6000 (mem: 826.72 MiB)
14:52:05 auxiliary : 26/26000 (mem: 826.72 MiB)
14:52:05 poseidon ext : 2/17000 (mem: 826.72 MiB)
14:52:05 poseidon int : 2/92000 (mem: 826.72 MiB)
14:52:05 overflow : 0/0 (mem: 826.72 MiB)
14:52:05 (mem: 826.72 MiB)
14:52:05 Total structured size: 242025 (mem: 826.72 MiB)
14:52:05 allocating polynomials object in proving key... (mem: 826.72 MiB)
14:52:06 [14:52:06.029]
INFO:
ivc-integration:test:native bb - populating trace...
14:52:06 [14:52:06.030]
INFO:
ivc-integration:test:native bb - (mem: 826.72
14:52:06 [14:52:06.030]
INFO:
ivc-integration:test:native bb - MiB)
14:52:06 [14:52:06.045]
INFO:
ivc-integration:test:native bb - time to construct proving key: 100 ms. (mem: 826.72 MiB)
14:52:06 [14:52:06.139]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 826.72 MiB)
14:52:06 [14:52:06.856]
INFO:
ivc-integration:test:native bb - computing oink proof...
14:52:06 [14:52:06.857]
INFO:
ivc-integration:test:native bb - (mem: 826.72 MiB)
14:52:07 [14:52:07.047]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 826.72 MiB)
14:52:07 [14:52:07.069]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 826.72 MiB)
14:52:07 [14:52:07.073]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 826.72 MiB)
14:52:07 goblin ecc op : 56/1024 (mem: 826.72 MiB)
14:52:07 busread : 3/6000 (mem: 826.72 MiB)
14:52:07 lookups : 2/15000 (mem: 826.72 MiB)
14:52:07 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 826.72 MiB)
14:52:07 arithmetic : 4072/56000 (mem: 826.72 MiB)
14:52:07 delta range : 2030/18000 (mem: 826.72 MiB)
14:52:07 [14:52:07.074]
INFO:
ivc-integration:test:native bb - elliptic : 2/6000 (mem: 826.72 MiB)
14:52:07 auxiliary : 50/26000 (mem: 826.72 MiB)
14:52:07 poseidon ext : 882/17000 (mem: 826.72 MiB)
14:52:07 poseidon int : 5018/92000 (mem: 826.72 MiB)
14:52:07 overflow : 0/0 (mem: 826.72 MiB)
14:52:07 (mem: 826.72 MiB)
14:52:07 Total structured size: 242025 (mem: 826.72 MiB)
14:52:07 allocating polynomials object in proving key... (mem: 826.72 MiB)
14:52:07 [14:52:07.136]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 905.18 MiB)
14:52:07 [14:52:07.149]
INFO:
ivc-integration:test:native bb - time to construct proving key: 80 ms. (mem: 905.18 MiB)
14:52:07 [14:52:07.220]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 905.18 MiB)
14:52:07 [14:52:07.870]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 905.18 MiB)
14:52:08 [14:52:08.233]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 914.18 MiB)
14:52:08 [14:52:08.331]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 914.18 MiB)
14:52:08 [14:52:08.398]
INFO:
ivc-integration:test:native bb - combiner quotient round
14:52:08 [14:52:08.399]
INFO:
ivc-integration:test:native bb - (mem: 946.18 MiB)
14:52:08 [14:52:08.645]
INFO:
ivc-integration:test:native bb - folded (mem: 946.18 MiB)
14:52:08 constructed folding proof (mem: 946.18 MiB)
14:52:08 [14:52:08.660]
INFO:
ivc-integration:test:native bb - Largest circuit: 12059 gates. Trace details: (mem: 946.18 MiB)
14:52:08 Minimum required block sizes for structured trace: (mem: 946.18 MiB)
14:52:08 (mem: 946.18 MiB)
14:52:08 prove decider... (mem: 946.18 MiB)
14:52:08 finished decider proving. (mem: 946.18 MiB)
14:52:08 [14:52:08.661]
INFO:
ivc-integration:test:native bb - ecc_op : 56
14:52:08 busread : 3
14:52:08 lookup : 2
14:52:08 pub_inputs : 36
14:52:08 arithmetic : 4072
14:52:08 delta_range : 2030
14:52:08 elliptic : 2
14:52:08 aux : 50
14:52:08 poseidon2_external : 882
14:52:08 poseidon2_internal : 5018
14:52:08 overflow : 0
14:52:08 [14:52:08.804]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 946.18 MiB)
14:52:08 [14:52:08.914]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 946.18 MiB)
14:52:10 [14:52:10.031]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 946.18 MiB)
14:52:10 [14:52:10.087]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 946.18 MiB)
14:52:10 [14:52:10.204]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 946.18 MiB)
14:52:10 [14:52:10.208]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 946.18 MiB)
14:52:10 [14:52:10.482]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 946.18 MiB)
14:52:10 [14:52:10.564]
INFO:
ivc-integration:test:native bb - time to construct proving key: 357 ms. (mem: 946.18 MiB)
14:52:11 [14:52:11.506]
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-smQ81s/proof -k /tmp/bb-client-ivc-integration-smQ81s/vk -v
14:52:11 [14:52:11.525]
INFO:
ivc-integration:test:native bb command: verify (mem: 138.02 MiB)
14:52:11 Scheme is: client_ivc, num threads: 128 (mem: 138.02 MiB)
14:52:11 --proof_path: /tmp/bb-client-ivc-integration-smQ81s/proof (mem: 138.02 MiB)
14:52:11 --vk_path: /tmp/bb-client-ivc-integration-smQ81s/vk (mem: 138.02 MiB)
14:52:11 --verbose: true (mem: 138.02 MiB)
14:52:11 --scheme: client_ivc (mem: 138.02 MiB)
14:52:11 [14:52:11.631]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 153.00 MiB)
14:52:11 [14:52:11.658]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 164.00 MiB)
14:52:11 [14:52:11.680]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 164.00 MiB)
14:52:11 Initialized BN254 CRS from memory with num points = 1025 (mem: 164.00 MiB)
14:52:11 [14:52:11.680]
INFO:
ivc-integration:test:native Mega verified: 1 (mem: 164.00 MiB)
14:52:11 [14:52:11.738]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 181.43 MiB)
14:52:11 batch opening verified?: 1 (mem: 181.43 MiB)
14:52:11 eccvm consistency check verified?: 1 (mem: 181.43 MiB)
14:52:11 translation masking consistency checked?: 1 (mem: 181.43 MiB)
14:52:11 [14:52:11.761]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 181.43 MiB)
14:52:11 eccvm verified?: 1 (mem: 181.43 MiB)
14:52:11 accumulator construction_verified?: 1 (mem: 181.43 MiB)
14:52:11 translation verified?: 1 (mem: 181.43 MiB)
14:52:11 consistency verified?: 1 (mem: 181.43 MiB)
14:52:11 Goblin verified: 1 (mem: 181.43 MiB)
14:52:11 [14:52:11.764]
INFO:
ivc-integration:test:native verified: 1
14:52:11 [14:52:11.764]
INFO:
ivc-integration:test:native (mem:
14:52:11 [14:52:11.765]
INFO:
ivc-integration:test:native 181.43
14:52:11 [14:52:11.765]
INFO:
ivc-integration:test:native MiB)
14:52:11 [14:52:11.767]
INFO:
ivc-integration:test:native
14:52:11 [14:52:11.945]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Q9CN2E/ivc-inputs.msgpack
14:52:11 [14:52:11.946]
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-Q9CN2E --ivc_inputs_path /tmp/bb-client-ivc-integration-Q9CN2E/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
14:52:11 [14:52:11.964]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 145.62 MiB)
14:52:11 Scheme is: client_ivc, num threads: 128 (mem: 145.62 MiB)
14:52:11 --scheme: client_ivc (mem: 145.62 MiB)
14:52:11 [14:52:11.965]
INFO:
ivc-integration:test:native bb - --output_path: /tmp/bb-client-ivc-integration-Q9CN2E (mem: 145.62 MiB)
14:52:11 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Q9CN2E/ivc-inputs.msgpack (mem: 145.62 MiB)
14:52:11 --verbose: true (mem: 145.62 MiB)
14:52:11 --write_vk: true (mem: 145.62 MiB)
14:52:11 [14:52:11.968]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 145.62 MiB)
14:52:12 [14:52:12.095]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 275.00 MiB)
14:52:12 [14:52:12.185]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 323.76 MiB)
14:52:12 [14:52:12.190]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 323.76 MiB)
14:52:12 [14:52:12.190]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 323.76 MiB)
14:52:12 [14:52:12.194]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 323.76 MiB)
14:52:12 goblin ecc op : 4/1024 (mem: 323.76 MiB)
14:52:12 [14:52:12.195]
INFO:
ivc-integration:test:native bb - busread : 7/6000 (mem: 323.76 MiB)
14:52:12 lookups : 2/15000 (mem: 323.76 MiB)
14:52:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 323.76 MiB)
14:52:12 arithmetic : 1760/56000 (mem: 323.76 MiB)
14:52:12 delta range : 1754/18000 (mem: 323.76 MiB)
14:52:12 elliptic : 2/6000 (mem: 323.76 MiB)
14:52:12 auxiliary : 26/26000 (mem: 323.76 MiB)
14:52:12 poseidon ext : 2/17000 (mem: 323.76 MiB)
14:52:12 poseidon int : 2/92000 (mem: 323.76 MiB)
14:52:12 overflow : 0/0 (mem: 323.76 MiB)
14:52:12 (mem: 323.76 MiB)
14:52:12 Total structured size: 242025 (mem: 323.76 MiB)
14:52:12 allocating polynomials object in proving key... (mem: 323.76 MiB)
14:52:12 [14:52:12.316]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 506.88 MiB)
14:52:12 [14:52:12.356]
INFO:
ivc-integration:test:native bb - time to construct proving key: 162 ms. (mem: 517.88 MiB)
14:52:12 [14:52:12.571]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e4702017640 (mem: 517.88 MiB)
14:52:12 [14:52:12.572]
INFO:
ivc-integration:test:native bb -
14:52:12 computing oink proof... (mem: 517.88 MiB)
14:52:12 [14:52:12.995]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 518.88 MiB)
14:52:13 [14:52:13.030]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 518.88 MiB)
14:52:13 Constructing DeciderProvingKey (mem: 518.88 MiB)
14:52:13 [14:52:13.033]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 518.88 MiB)
14:52:13 goblin ecc op : 56/1024 (mem: 518.88 MiB)
14:52:13 busread : 12/6000 (mem: 518.88 MiB)
14:52:13 lookups : 2/15000 (mem: 518.88 MiB)
14:52:13 [14:52:13.035]
INFO:
ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 518.88 MiB)
14:52:13 arithmetic : 4225/56000 (mem: 518.88
14:52:13 [14:52:13.035]
INFO:
ivc-integration:test:native bb - MiB)
14:52:13 delta range : 2043/18000 (mem: 518.88 MiB)
14:52:13 elliptic : 2/6000 (mem: 518.88 MiB)
14:52:13 auxiliary : 110/26000 (mem: 518.88 MiB)
14:52:13 poseidon ext : 882/17000 (mem: 518.88 MiB)
14:52:13 poseidon int : 5018/92000 (mem: 518.88 MiB)
14:52:13 overflow : 0/0 (mem: 518.88 MiB)
14:52:13 (mem: 518.88 MiB)
14:52:13 Total structured size: 242025 (mem: 518.88 MiB)
14:52:13 allocating polynomials object in proving key... (mem: 518.88 MiB)
14:52:13 [14:52:13.225]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 730.88 MiB)
14:52:13 [14:52:13.256]
INFO:
ivc-integration:test:native bb - time to construct proving key: 225 ms. (mem: 745.88 MiB)
14:52:13 [14:52:13.387]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e4702020880 (mem: 745.88 MiB)
14:52:13 computing folding proof (mem: 745.88 MiB)
14:52:13 [14:52:13.658]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.88 MiB)
14:52:13 [14:52:13.811]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 783.88 MiB)
14:52:13 [14:52:13.865]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.88 MiB)
14:52:14 [14:52:14.288]
INFO:
ivc-integration:test:native bb - folded (mem: 815.88 MiB)
14:52:14 [14:52:14.289]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 815.88 MiB)
14:52:14 [14:52:14.299]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 815.88 MiB)
14:52:14 Constructing DeciderProvingKey (mem: 815.88 MiB)
14:52:14 [14:52:14.300]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
14:52:14 [14:52:14.300]
INFO:
ivc-integration:test:native bb - (mem:
14:52:14 [14:52:14.300]
INFO:
ivc-integration:test:native bb - 815.88
14:52:14 [14:52:14.301]
INFO:
ivc-integration:test:native bb - MiB)
14:52:14 [14:52:14.301]
INFO:
ivc-integration:test:native bb -
14:52:14 [14:52:14.302]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024
14:52:14 [14:52:14.302]
INFO:
ivc-integration:test:native bb - (mem:
14:52:14 [14:52:14.303]
INFO:
ivc-integration:test:native bb - 815.88 MiB)
14:52:14 busread : 7/6000 (mem: 815.88 MiB)
14:52:14 lookups : 2/15000 (mem: 815.88 MiB)
14:52:14 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 815.88 MiB)
14:52:14 arithmetic : 1760/56000 (mem: 815.88 MiB)
14:52:14 delta range : 1754/18000 (mem: 815.88 MiB)
14:52:14 elliptic : 2/6000 (mem: 815.88 MiB)
14:52:14 auxiliary : 26/26000 (mem: 815.88 MiB)
14:52:14 poseidon ext : 2/17000 (mem: 815.88 MiB)
14:52:14 poseidon int : 2/92000 (mem: 815.88 MiB)
14:52:14 overflow : 0/0 (mem: 815.88 MiB)
14:52:14 (mem: 815.88 MiB)
14:52:14 Total structured size: 242025 (mem: 815.88 MiB)
14:52:14 allocating polynomials object in proving key... (mem: 815.88 MiB)
14:52:14 [14:52:14.455]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.88 MiB)
14:52:14 [14:52:14.518]
INFO:
ivc-integration:test:native bb - time to construct proving key: 221 ms. (mem: 815.88 MiB)
14:52:14 [14:52:14.653]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e4702017e80 (mem: 815.88 MiB)
14:52:14 [14:52:14.654]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 815.88 MiB)
14:52:14 [14:52:14.870]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.88 MiB)
14:52:14 [14:52:14.942]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 815.88 MiB)
14:52:15 [14:52:15.011]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 816.81 MiB)
14:52:15 [14:52:15.227]
INFO:
ivc-integration:test:native bb - folded (mem: 816.81 MiB)
14:52:15 constructed folding proof (mem: 816.81 MiB)
14:52:15 [14:52:15.370]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 816.81 MiB)
14:52:15 Constructing DeciderProvingKey (mem: 816.81 MiB)
14:52:15 [14:52:15.392]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
14:52:15 [14:52:15.394]
INFO:
ivc-integration:test:native bb - (mem: 816.81 MiB)
14:52:15 goblin ecc op : 792/1024 (mem: 816.81 MiB)
14:52:15 busread : 12/6000 (mem: 816.81 MiB)
14:52:15 lookups : 2/15000 (mem: 816.81 MiB)
14:52:15 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 816.81 MiB)
14:52:15 arithmetic : 11272/56000 (mem: 816.81 MiB)
14:52:15 delta range : 2922/18000 (mem: 816.81 MiB)
14:52:15 elliptic : 2/6000 (mem: 816.81 MiB)
14:52:15 auxiliary : 350/26000 (mem: 816.81 MiB)
14:52:15 poseidon ext : 4092/17000 (mem: 816.81 MiB)
14:52:15 poseidon int : 23315/92000 (mem: 816.81 MiB)
14:52:15 overflow : 0/0 (mem: 816.81 MiB)
14:52:15 (mem: 816.81 MiB)
14:52:15 Total structured size: 242025 (mem: 816.81 MiB)
14:52:15 allocating polynomials object in proving key... (mem: 816.81 MiB)
14:52:15 [14:52:15.547]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 816.81 MiB)
14:52:15 [14:52:15.624]
INFO:
ivc-integration:test:native bb - time to construct proving key: 255 ms. (mem: 816.81 MiB)
14:52:15 [14:52:15.700]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e47020272c0 (mem: 816.81 MiB)
14:52:15 computing folding proof (mem: 816.81 MiB)
14:52:16 [14:52:16.015]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.81 MiB)
14:52:16 [14:52:16.204]
INFO:
ivc-integration:test:native bb - perturbator round
14:52:16 [14:52:16.215]
INFO:
ivc-integration:test:native bb - (mem: 816.81 MiB)
14:52:16 [14:52:16.272]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 844.27 MiB)
14:52:16 [14:52:16.448]
INFO:
ivc-integration:test:native bb - folded (mem: 844.27 MiB)
14:52:16 constructed folding proof (mem: 844.27 MiB)
14:52:16 [14:52:16.509]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 844.27 MiB)
14:52:16 Constructing DeciderProvingKey (mem: 844.27 MiB)
14:52:16 [14:52:16.513]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.27 MiB)
14:52:16 goblin ecc op : 392/1024 (mem: 844.27 MiB)
14:52:16 busread : 16/6000 (mem: 844.27 MiB)
14:52:16 lookups : 2/15000 (mem: 844.27 MiB)
14:52:16 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 844.27 MiB)
14:52:16 [14:52:16.513]
INFO:
ivc-integration:test:native bb - arithmetic : 6505/56000 (mem: 844.27 MiB)
14:52:16 delta range : 2337/18000 (mem: 844.27 MiB)
14:52:16 elliptic : 2/6000 (mem: 844.27 MiB)
14:52:16 auxiliary : 77/26000 (mem: 844.27 MiB)
14:52:16 poseidon ext : 2042/17000 (mem: 844.27 MiB)
14:52:16 poseidon int : 11630/92000 (mem: 844.27 MiB)
14:52:16 overflow : 0/0 (mem: 844.27 MiB)
14:52:16 (mem: 844.27 MiB)
14:52:16 Total structured size: 242025 (mem: 844.27 MiB)
14:52:16 allocating polynomials object in proving key... (mem: 844.27 MiB)
14:52:16 [14:52:16.561]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.27 MiB)
14:52:16 [14:52:16.585]
INFO:
ivc-integration:test:native bb - time to construct proving key: 75 ms. (mem: 844.27 MiB)
14:52:16 [14:52:16.663]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e470208c980 (mem: 844.27 MiB)
14:52:16 computing folding proof (mem: 844.27 MiB)
14:52:17 [14:52:17.051]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key
14:52:17 [14:52:17.052]
INFO:
ivc-integration:test:native bb - (mem: 844.27 MiB)
14:52:17 [14:52:17.111]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 844.27 MiB)
14:52:17 [14:52:17.163]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 844.61 MiB)
14:52:17 [14:52:17.307]
INFO:
ivc-integration:test:native bb - folded (mem: 844.61 MiB)
14:52:17 constructed folding proof (mem: 844.61 MiB)
14:52:17 [14:52:17.379]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 844.61 MiB)
14:52:17 Constructing DeciderProvingKey (mem: 844.61 MiB)
14:52:17 [14:52:17.386]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.61 MiB)
14:52:17 goblin ecc op : 392/1024 (mem: 844.61 MiB)
14:52:17 busread : 3/6000 (mem: 844.61 MiB)
14:52:17 lookups : 2/15000 (mem: 844.61 MiB)
14:52:17 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.61 MiB)
14:52:17 arithmetic : 6440/56000 (mem: 844.61 MiB)
14:52:17 delta range : 2323/18000 (mem: 844.61 MiB)
14:52:17 elliptic : 2/6000 (mem: 844.61 MiB)
14:52:17 auxiliary : 50/26000 (mem: 844.61 MiB)
14:52:17 poseidon ext : 2042/17000 (mem: 844.61 MiB)
14:52:17 poseidon int : 11630/92000 (mem: 844.61 MiB)
14:52:17 overflow : 0/0 (mem: 844.61 MiB)
14:52:17 (mem: 844.61 MiB)
14:52:17 Total structured size: 242025 (mem: 844.61 MiB)
14:52:17 allocating polynomials object in proving key... (mem: 844.61 MiB)
14:52:17 [14:52:17.441]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.61 MiB)
14:52:17 [14:52:17.463]
INFO:
ivc-integration:test:native bb - time to construct proving key: 85 ms. (mem: 844.61 MiB)
14:52:17 [14:52:17.606]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e47020944c0 (mem: 844.61 MiB)
14:52:17 computing folding proof (mem: 844.61 MiB)
14:52:18 [14:52:18.163]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.61 MiB)
14:52:18 [14:52:18.265]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 844.61 MiB)
14:52:18 [14:52:18.327]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 845.28 MiB)
14:52:18 [14:52:18.545]
INFO:
ivc-integration:test:native bb - folded (mem: 845.28 MiB)
14:52:18 constructed folding proof (mem: 845.28 MiB)
14:52:18 [14:52:18.546]
INFO:
ivc-integration:test:native bb - Largest circuit: 41967 gates. Trace details: (mem: 845.28 MiB)
14:52:18 Minimum required block sizes for structured trace: (mem: 845.28 MiB)
14:52:18 (mem: 845.28 MiB)
14:52:18 prove decider... (mem: 845.28 MiB)
14:52:18 finished decider proving. (mem: 845.28 MiB)
14:52:18 [14:52:18.547]
INFO:
ivc-integration:test:native bb - ecc_op : 792
14:52:18 busread : 16
14:52:18 lookup : 2
14:52:18 pub_inputs : 36
14:52:18 arithmetic : 11272
14:52:18 delta_range : 2922
14:52:18 elliptic : 2
14:52:18 aux : 350
14:52:18 poseidon2_external : 4092
14:52:18 poseidon2_internal : 23315
14:52:18 overflow : 0
14:52:18 [14:52:18.624]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.28 MiB)
14:52:18 [14:52:18.782]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.28 MiB)
14:52:19 [14:52:19.408]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.28 MiB)
14:52:19 [14:52:19.473]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.28 MiB)
14:52:19 [14:52:19.587]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.28 MiB)
14:52:19 [14:52:19.590]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 845.28 MiB)
14:52:19 [14:52:19.680]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 845.28 MiB)
14:52:19 [14:52:19.712]
INFO:
ivc-integration:test:native bb - time to construct proving key: 124 ms. (mem: 845.28 MiB)
14:52:20 [14:52:20.605]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 845.28 MiB)
14:52:20 [14:52:20.922]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.28 MiB)
14:52:21 [14:52:21.616]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.28 MiB)
14:52:22 [14:52:22.229]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.28 MiB)
14:52:22 [14:52:22.270]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.28 MiB)
14:52:22 [14:52:22.363]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 845.28 MiB)
14:52:22 prove eccvm... (mem: 845.28 MiB)
14:52:22 [14:52:22.550]
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: 845.28 MiB)
14:52:22 [14:52:22.560]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 845.28 MiB)
14:52:24 [14:52:24.185]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.28 MiB)
14:52:25 [14:52:25.125]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.28 MiB)
14:52:28 [14:52:28.801]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 845.28 MiB)
14:52:28 prove translator... (mem: 845.28 MiB)
14:52:31 [14:52:31.141]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.28 MiB)
14:52:33 [14:52:33.729]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.28 MiB)
14:52:35 [14:52:35.762]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.28 MiB)
14:52:35 finished translator proving. (mem: 845.28 MiB)
14:52:35 [14:52:35.805]
INFO:
ivc-integration:test:native bb - Mega verified: 1
14:52:35 [14:52:35.805]
INFO:
ivc-integration:test:native bb - (mem:
14:52:35 [14:52:35.807]
INFO:
ivc-integration:test:native bb - 845.28 MiB)
14:52:35 [14:52:35.907]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 845.28 MiB)
14:52:35 batch opening verified?: 1 (mem: 845.28 MiB)
14:52:35 eccvm consistency check verified?: 1 (mem: 845.28 MiB)
14:52:35 translation masking consistency checked?: 1 (mem: 845.28 MiB)
14:52:35 [14:52:35.950]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 845.28 MiB)
14:52:35 eccvm verified?: 1 (mem: 845.28 MiB)
14:52:35 accumulator construction_verified?: 1 (mem: 845.28 MiB)
14:52:35 translation verified?: 1 (mem: 845.28 MiB)
14:52:35 consistency verified?: 1 (mem: 845.28 MiB)
14:52:35 Goblin verified: 1 (mem: 845.28 MiB)
14:52:35 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Q9CN2E" (mem: 845.28 MiB)
14:52:35 [14:52:35.950]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Q9CN2E" (mem: 845.28 MiB)
14:52:35 num_public_inputs_in_final_circuit: 4 (mem: 845.28 MiB)
14:52:35 BN254 commitment key size: 262144 (mem: 845.28 MiB)
14:52:35 [14:52:35.957]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.28 MiB)
14:52:35 [14:52:35.964]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.28 MiB)
14:52:35 [14:52:35.965]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 845.28 MiB)
14:52:35 busread : 3/6000 (mem: 845.28 MiB)
14:52:35 lookups : 2/15000 (mem: 845.28 MiB)
14:52:35 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 845.28 MiB)
14:52:35 arithmetic : 1773/56000 (mem: 845.28 MiB)
14:52:35 delta range : 1754/18000 (mem: 845.28 MiB)
14:52:35 elliptic : 2/6000 (mem: 845.28 MiB)
14:52:35 auxiliary : 26/26000 (mem: 845.28 MiB)
14:52:35 poseidon ext : 2/17000 (mem: 845.28 MiB)
14:52:35 poseidon int : 2/92000 (mem: 845.28 MiB)
14:52:35 overflow : 0/0 (mem: 845.28 MiB)
14:52:35 (mem: 845.28 MiB)
14:52:35 Total structured size: 242025 (mem: 845.28 MiB)
14:52:35 allocating polynomials object in proving key... (mem: 845.28 MiB)
14:52:36 [14:52:36.094]
INFO:
ivc-integration:test:native bb - populating trace...
14:52:36 [14:52:36.098]
INFO:
ivc-integration:test:native bb - (mem: 845.28 MiB)
14:52:36 [14:52:36.117]
INFO:
ivc-integration:test:native bb - time to construct proving key: 164 ms. (mem: 845.28 MiB)
14:52:36 [14:52:36.206]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 845.28 MiB)
14:52:37 [14:52:37.111]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 845.28 MiB)
14:52:37 [14:52:37.297]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 845.28 MiB)
14:52:37 [14:52:37.326]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.28 MiB)
14:52:37 [14:52:37.332]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.28 MiB)
14:52:37 goblin ecc op : 56/1024 (mem: 845.28 MiB)
14:52:37 busread : 3/6000 (mem: 845.28 MiB)
14:52:37 lookups : 2/15000 (mem: 845.28 MiB)
14:52:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 845.28 MiB)
14:52:37 arithmetic : 4072/56000 (mem: 845.28 MiB)
14:52:37 delta range : 2030/18000 (mem: 845.28 MiB)
14:52:37 elliptic : 2/6000 (mem: 845.28 MiB)
14:52:37 auxiliary : 50/26000 (mem: 845.28 MiB)
14:52:37 poseidon ext : 882/17000 (mem: 845.28 MiB)
14:52:37 poseidon int : 5018/92000 (mem: 845.28 MiB)
14:52:37 overflow : 0/0 (mem: 845.28 MiB)
14:52:37 (mem: 845.28 MiB)
14:52:37 Total structured size: 242025 (mem: 845.28 MiB)
14:52:37 allocating polynomials object in proving key... (mem: 845.28 MiB)
14:52:37 [14:52:37.428]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 875.39 MiB)
14:52:37 [14:52:37.444]
INFO:
ivc-integration:test:native bb - time to construct proving key: 118 ms. (mem: 875.39 MiB)
14:52:37 [14:52:37.546]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 875.39 MiB)
14:52:38 [14:52:38.129]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 875.39 MiB)
14:52:38 [14:52:38.494]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 884.39 MiB)
14:52:38 [14:52:38.587]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 884.39 MiB)
14:52:38 [14:52:38.645]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 916.39 MiB)
14:52:38 [14:52:38.883]
INFO:
ivc-integration:test:native bb - folded (mem: 916.39 MiB)
14:52:38 constructed folding proof (mem: 916.39 MiB)
14:52:38 [14:52:38.889]
INFO:
ivc-integration:test:native bb - Largest circuit: 12059 gates. Trace details: (mem: 916.39 MiB)
14:52:38 Minimum required block sizes for structured trace: (mem: 916.39 MiB)
14:52:38 (mem: 916.39 MiB)
14:52:38 prove decider... (mem: 916.39 MiB)
14:52:38 finished decider proving. (mem: 916.39 MiB)
14:52:38 [14:52:38.891]
INFO:
ivc-integration:test:native bb - ecc_op : 56
14:52:38 busread : 3
14:52:38 lookup : 2
14:52:38 pub_inputs : 36
14:52:38 arithmetic : 4072
14:52:38 delta_range : 2030
14:52:38 elliptic : 2
14:52:38 aux : 50
14:52:38 poseidon2_external : 882
14:52:38 poseidon2_internal : 5018
14:52:38 overflow : 0
14:52:39 [14:52:39.007]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 916.39 MiB)
14:52:39 [14:52:39.116]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 916.39 MiB)
14:52:39 [14:52:39.891]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
14:52:39 [14:52:39.898]
INFO:
ivc-integration:test:native bb - (mem: 916.39 MiB)
14:52:39 [14:52:39.980]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 916.39 MiB)
14:52:40 [14:52:40.092]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 916.39 MiB)
14:52:40 [14:52:40.096]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 916.39 MiB)
14:52:40 [14:52:40.200]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 916.39 MiB)
14:52:40 [14:52:40.233]
INFO:
ivc-integration:test:native bb - time to construct proving key: 140 ms. (mem: 916.39 MiB)
14:52:40 [14:52:40.777]
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-Q9CN2E/proof -k /tmp/bb-client-ivc-integration-Q9CN2E/vk -v
14:52:40 [14:52:40.801]
INFO:
ivc-integration:test:native bb command: verify (mem: 146.66 MiB)
14:52:40 Scheme is: client_ivc, num threads: 128 (mem: 146.66 MiB)
14:52:40 --proof_path: /tmp/bb-client-ivc-integration-Q9CN2E/proof (mem: 146.66 MiB)
14:52:40 --vk_path: /tmp/bb-client-ivc-integration-Q9CN2E/vk (mem: 146.66 MiB)
14:52:40 --verbose: true (mem: 146.66 MiB)
14:52:40 --scheme: client_ivc (mem: 146.66 MiB)
14:52:40 [14:52:40.899]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 148.00 MiB)
14:52:40 [14:52:40.928]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 160.01 MiB)
14:52:40 [14:52:40.948]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 160.01 MiB)
14:52:40 [14:52:40.948]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 160.01 MiB)
14:52:40 [14:52:40.949]
INFO:
ivc-integration:test:native Mega verified: 1 (mem: 160.01 MiB)
14:52:41 [14:52:41.017]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 176.13 MiB)
14:52:41 batch opening verified?: 1 (mem: 176.13
14:52:41 [14:52:41.018]
INFO:
ivc-integration:test:native MiB)
14:52:41 eccvm consistency check verified?: 1 (mem: 176.13 MiB)
14:52:41 translation masking consistency checked?: 1 (mem: 176.13 MiB)
14:52:41 [14:52:41.037]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 176.13 MiB)
14:52:41 eccvm verified?: 1 (mem: 176.13 MiB)
14:52:41 accumulator construction_verified?: 1 (mem: 176.13 MiB)
14:52:41 translation verified?: 1 (mem: 176.13 MiB)
14:52:41 consistency verified?: 1 (mem: 176.13 MiB)
14:52:41 Goblin verified: 1 (mem: 176.13 MiB)
14:52:41 [14:52:41.044]
INFO:
ivc-integration:test:native verified: 1 (mem: 176.13 MiB)
14:52:41
PASS src/native_client_ivc_integration.test.ts (
58.557 s)
14:52:41 Client IVC Integration
14:52:41
✓ Should generate a verifiable client IVC proof from a simple mock tx (26387 ms)
14:52:41
✓ Should generate a verifiable client IVC proof from a complex mock tx (29277 ms)
14:52:41
14:52:41
Test Suites: 1 passed, 1 total
14:52:41
Tests: 2 passed, 2 total
14:52:41
Snapshots: 0 total
14:52:41
Time: 58.633 s
14:52:41
Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i
.
14:52:41
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?