Parent Log:
http://ci.aztec-labs.com/b136f0c1bb7af195
Command: 26102936e69ab88b: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/b1b65bcdbd44a49fbebe5d2265256dc9466e92be
Env: REF_NAME=gh-readonly-queue/master/pr-15044-267ac35e8ccb487bdc79bbe12d428f4c8b4d4d9f CURRENT_VERSION=0.87.8 CI_FULL=1
Date: Fri Jun 13 16:20:24 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15044_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_master
16:20:27 [16:20:27.345]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-oyq59f/ivc-inputs.msgpack
16:20:27 [16:20:27.350]
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-oyq59f --ivc_inputs_path /tmp/bb-client-ivc-integration-oyq59f/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:20:27 [16:20:27.367]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 138.79 MiB)
16:20:27 [16:20:27.368]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 138.79 MiB)
16:20:27 --scheme: client_ivc (mem: 138.79 MiB)
16:20:27 --output_path: /tmp/bb-client-ivc-integration-oyq59f (mem: 138.79 MiB)
16:20:27 --ivc_inputs_path: /tmp/bb-client-ivc-integration-oyq59f/ivc-inputs.msgpack (mem: 138.79 MiB)
16:20:27 --verbose: true (mem: 138.79 MiB)
16:20:27 --write_vk: true (mem: 138.79 MiB)
16:20:27 [16:20:27.368]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 138.79 MiB)
16:20:27 [16:20:27.457]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 229.00 MiB)
16:20:27 [16:20:27.524]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 277.71 MiB)
16:20:27 [16:20:27.527]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 277.71 MiB)
16:20:27 Constructing DeciderProvingKey (mem: 277.71 MiB)
16:20:27 [16:20:27.528]
INFO:
ivc-integration:test:native bb -
16:20:27 [16:20:27.531]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 277.71 MiB)
16:20:27 goblin ecc op : 4/1024 (mem: 277.71 MiB)
16:20:27 busread : 7/6000 (mem: 277.71 MiB)
16:20:27 lookups : 2/15000 (mem: 277.71 MiB)
16:20:27 pub inputs : 16/5000 (populated in decider pk constructor) (mem:
16:20:27 [16:20:27.532]
INFO:
ivc-integration:test:native bb - 277.71 MiB)
16:20:27 arithmetic : 1760/56000 (mem: 277.71 MiB)
16:20:27 delta range : 1754/18000 (mem: 277.71 MiB)
16:20:27 elliptic : 2/6000 (mem: 277.71 MiB)
16:20:27 auxiliary : 26/26000 (mem: 277.71 MiB)
16:20:27 poseidon ext : 2/17000 (mem: 277.71 MiB)
16:20:27 poseidon int : 2/92000 (mem: 277.71 MiB)
16:20:27 overflow : 0/0 (mem: 277.71 MiB)
16:20:27 (mem: 277.71 MiB)
16:20:27 Total structured size: 242025 (mem: 277.71 MiB)
16:20:27 allocating polynomials object in proving key... (mem: 277.71 MiB)
16:20:27 [16:20:27.580]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 496.87 MiB)
16:20:27 [16:20:27.588]
INFO:
ivc-integration:test:native bb - time to construct proving key: 60 ms. (mem: 512.87 MiB)
16:20:27 [16:20:27.611]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60a91a1b5800 (mem: 512.87 MiB)
16:20:27 computing oink proof... (mem: 512.87 MiB)
16:20:27 [16:20:27.714]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 513.87 MiB)
16:20:27 [16:20:27.733]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 514.87 MiB)
16:20:27 Constructing DeciderProvingKey (mem: 514.87 MiB)
16:20:27 [16:20:27.736]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 514.87 MiB)
16:20:27 goblin ecc op : 56/1024 (mem: 514.87 MiB)
16:20:27 busread : 12/6000 (mem: 514.87 MiB)
16:20:27 lookups : 2/15000 (mem: 514.87 MiB)
16:20:27 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 514.87 MiB)
16:20:27 arithmetic : 4225/56000 (mem: 514.87 MiB)
16:20:27 delta range : 2043/18000 (mem: 514.87 MiB)
16:20:27 elliptic : 2/6000 (mem: 514.87 MiB)
16:20:27 auxiliary : 110/26000 (mem: 514.87 MiB)
16:20:27 [16:20:27.737]
INFO:
ivc-integration:test:native bb - poseidon ext : 882/17000 (mem: 514.87 MiB)
16:20:27 poseidon int : 5018/92000 (mem: 514.87 MiB)
16:20:27 overflow : 0/0 (mem: 514.87 MiB)
16:20:27 (mem: 514.87 MiB)
16:20:27 Total structured size: 242025 (mem: 514.87 MiB)
16:20:27 allocating polynomials object in proving key... (mem: 514.87 MiB)
16:20:27 [16:20:27.787]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 729.87 MiB)
16:20:27 [16:20:27.803]
INFO:
ivc-integration:test:native bb - time to construct proving key: 67 ms. (mem: 747.87 MiB)
16:20:27 [16:20:27.846]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60a91a1b4000 (mem: 747.87 MiB)
16:20:27 computing folding proof (mem: 747.87 MiB)
16:20:27 [16:20:27.964]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.87 MiB)
16:20:28 [16:20:28.038]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 785.87 MiB)
16:20:28 [16:20:28.075]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.87 MiB)
16:20:28 [16:20:28.162]
INFO:
ivc-integration:test:native bb - folded (mem: 817.87 MiB)
16:20:28 constructed folding proof (mem: 817.87 MiB)
16:20:28 [16:20:28.206]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.87 MiB)
16:20:28 Constructing DeciderProvingKey (mem: 817.87 MiB)
16:20:28 [16:20:28.209]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.87 MiB)
16:20:28 goblin ecc op : 392/1024 (mem: 817.87 MiB)
16:20:28 busread : 3/6000 (mem: 817.87 MiB)
16:20:28 lookups : 2/15000 (mem: 817.87 MiB)
16:20:28 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.87 MiB)
16:20:28 arithmetic : 6440/56000 (mem: 817.87 MiB)
16:20:28 delta range : 2323/18000 (mem: 817.87 MiB)
16:20:28 elliptic : 2/6000 (mem: 817.87 MiB)
16:20:28 [16:20:28.210]
INFO:
ivc-integration:test:native bb - auxiliary : 50/26000 (mem: 817.87 MiB)
16:20:28 poseidon ext : 2042/17000 (mem: 817.87 MiB)
16:20:28 poseidon int : 11630/92000 (mem: 817.87 MiB)
16:20:28 overflow : 0/0 (mem: 817.87 MiB)
16:20:28 (mem: 817.87 MiB)
16:20:28 Total structured size: 242025 (mem: 817.87 MiB)
16:20:28 allocating polynomials object in proving key... (mem: 817.87 MiB)
16:20:28 [16:20:28.253]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.87 MiB)
16:20:28 [16:20:28.272]
INFO:
ivc-integration:test:native bb - time to construct proving key: 64 ms. (mem: 817.87 MiB)
16:20:28 [16:20:28.313]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60a91a1b9940 (mem: 817.87 MiB)
16:20:28 computing folding proof (mem: 817.87 MiB)
16:20:28 [16:20:28.521]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.87 MiB)
16:20:28 [16:20:28.581]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 817.87 MiB)
16:20:28 [16:20:28.623]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 829.59 MiB)
16:20:28 [16:20:28.854]
INFO:
ivc-integration:test:native bb - folded (mem: 829.59 MiB)
16:20:28 constructed folding proof (mem: 829.59 MiB)
16:20:28 [16:20:28.855]
INFO:
ivc-integration:test:native bb - Largest circuit: 22492 gates. Trace details: (mem: 829.59 MiB)
16:20:28 Minimum required block sizes for structured trace: (mem: 829.59 MiB)
16:20:28 (mem: 829.59 MiB)
16:20:28 prove decider... (mem: 829.59 MiB)
16:20:28 finished decider proving. (mem: 829.59 MiB)
16:20:28 [16:20:28.855]
INFO:
ivc-integration:test:native bb - ecc_op : 392
16:20:28 busread : 12
16:20:28 lookup : 2
16:20:28 pub_inputs : 36
16:20:28 arithmetic : 6440
16:20:28 delta_range : 2323
16:20:28 elliptic : 2
16:20:28 aux : 110
16:20:28 poseidon2_external : 2042
16:20:28 poseidon2_internal : 11630
16:20:28 overflow : 0
16:20:28 [16:20:28.936]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 829.59 MiB)
16:20:29 [16:20:29.008]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 829.59 MiB)
16:20:29 [16:20:29.472]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 829.59 MiB)
16:20:29 [16:20:29.525]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 829.59 MiB)
16:20:29 [16:20:29.655]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 829.59 MiB)
16:20:29 [16:20:29.658]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 829.59 MiB)
16:20:29 [16:20:29.749]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 829.59 MiB)
16:20:29 [16:20:29.786]
INFO:
ivc-integration:test:native bb - time to construct proving key: 129 ms. (mem: 829.59 MiB)
16:20:30 [16:20:30.370]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 829.59 MiB)
16:20:30 [16:20:30.617]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 829.59 MiB)
16:20:31 [16:20:31.378]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 829.59 MiB)
16:20:32 [16:20:32.048]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 829.59 MiB)
16:20:32 [16:20:32.081]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 829.59 MiB)
16:20:32 [16:20:32.346]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 829.59 MiB)
16:20:32 prove eccvm... (mem: 829.59 MiB)
16:20:32 [16:20:32.759]
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: 829.59 MiB)
16:20:32 [16:20:32.773]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561
16:20:32 [16:20:32.774]
INFO:
ivc-integration:test:native bb - (mem: 829.59 MiB)
16:20:34 [16:20:34.937]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 829.59 MiB)
16:20:36 [16:20:36.409]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 829.59 MiB)
16:20:41 [16:20:41.654]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 829.59 MiB)
16:20:41 prove translator... (mem: 829.59 MiB)
16:20:43 [16:20:43.607]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 829.59 MiB)
16:20:44 [16:20:44.868]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 829.59 MiB)
16:20:46 [16:20:46.339]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 829.59 MiB)
16:20:46 [16:20:46.340]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 829.59 MiB)
16:20:46 [16:20:46.356]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 829.59 MiB)
16:20:46 [16:20:46.407]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 829.59 MiB)
16:20:46 batch opening verified?: 1 (mem: 829.59 MiB)
16:20:46 eccvm consistency check verified?: 1 (mem: 829.59 MiB)
16:20:46 translation masking consistency checked?: 1 (mem: 829.59 MiB)
16:20:46 [16:20:46.426]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 829.59 MiB)
16:20:46 eccvm verified?: 1 (mem: 829.59 MiB)
16:20:46 accumulator construction_verified?: 1 (mem: 829.59 MiB)
16:20:46 translation verified?: 1 (mem: 829.59 MiB)
16:20:46 consistency verified?: 1 (mem: 829.59 MiB)
16:20:46 Goblin verified: 1 (mem:
16:20:46 [16:20:46.428]
INFO:
ivc-integration:test:native bb - 829.59 MiB)
16:20:46 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-oyq59f" (mem: 829.59 MiB)
16:20:46 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-oyq59f" (mem: 829.59 MiB)
16:20:46 num_public_inputs_in_final_circuit: 4 (mem: 829.59 MiB)
16:20:46 BN254 commitment key size: 262144 (mem: 829.59 MiB)
16:20:46 [16:20:46.430]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 829.59 MiB)
16:20:46 [16:20:46.433]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 829.59 MiB)
16:20:46 goblin ecc op : 4/1024 (mem: 829.59 MiB)
16:20:46 busread : 3/6000 (mem: 829.59 MiB)
16:20:46 lookups : 2/15000 (mem: 829.59 MiB)
16:20:46 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 829.59 MiB)
16:20:46 arithmetic : 1773/56000 (mem: 829.59 MiB)
16:20:46 delta range : 1754/18000 (mem: 829.59 MiB)
16:20:46 elliptic : 2/6000 (mem: 829.59 MiB)
16:20:46 auxiliary : 26/26000 (mem: 829.59 MiB)
16:20:46 poseidon ext : 2/17000 (mem: 829.59 MiB)
16:20:46 poseidon int : 2/92000 (mem: 829.59 MiB)
16:20:46 overflow : 0/0 (mem: 829.59 MiB)
16:20:46 (mem: 829.59 MiB)
16:20:46 Total structured size: 242025 (mem: 829.59 MiB)
16:20:46 allocating polynomials object in proving key... (mem: 829.59 MiB)
16:20:46 [16:20:46.486]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 829.59 MiB)
16:20:46 [16:20:46.512]
INFO:
ivc-integration:test:native bb - time to construct proving key: 80 ms. (mem: 829.59 MiB)
16:20:46 [16:20:46.567]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 829.59 MiB)
16:20:47 [16:20:47.177]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 829.59 MiB)
16:20:47 [16:20:47.377]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 829.59 MiB)
16:20:47 [16:20:47.401]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 829.59 MiB)
16:20:47 [16:20:47.405]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 829.59 MiB)
16:20:47 goblin ecc op : 56/1024 (mem: 829.59 MiB)
16:20:47 busread : 3/6000 (mem: 829.59 MiB)
16:20:47 lookups : 2/15000 (mem: 829.59 MiB)
16:20:47 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 829.59 MiB)
16:20:47 arithmetic : 4072/56000 (mem: 829.59 MiB)
16:20:47 delta range : 2030/18000 (mem: 829.59 MiB)
16:20:47 elliptic : 2/6000 (mem: 829.59 MiB)
16:20:47 auxiliary : 50/26000 (mem: 829.59 MiB)
16:20:47 poseidon ext : 882/17000 (mem: 829.59 MiB)
16:20:47 poseidon int : 5018/92000 (mem: 829.59 MiB)
16:20:47 overflow : 0/0 (mem: 829.59 MiB)
16:20:47 (mem: 829.59 MiB)
16:20:47 Total structured size: 242025 (mem: 829.59 MiB)
16:20:47 allocating polynomials object in proving key... (mem: 829.59 MiB)
16:20:47 [16:20:47.481]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 907.04 MiB)
16:20:47 [16:20:47.499]
INFO:
ivc-integration:test:native bb - time to construct proving key: 98 ms. (mem: 907.04 MiB)
16:20:47 [16:20:47.630]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 907.04 MiB)
16:20:48 [16:20:48.241]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 907.04 MiB)
16:20:48 [16:20:48.452]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 916.04 MiB)
16:20:48 [16:20:48.514]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 916.04 MiB)
16:20:48 [16:20:48.568]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 946.04 MiB)
16:20:48 [16:20:48.738]
INFO:
ivc-integration:test:native bb - folded (mem:
16:20:48 [16:20:48.739]
INFO:
ivc-integration:test:native bb - 946.04 MiB)
16:20:48 constructed folding proof (mem: 946.04 MiB)
16:20:48 [16:20:48.749]
INFO:
ivc-integration:test:native bb - Largest circuit: 12059 gates. Trace details: (mem: 946.04 MiB)
16:20:48 Minimum required block sizes for structured trace: (mem: 946.04 MiB)
16:20:48 (mem:
16:20:48 [16:20:48.750]
INFO:
ivc-integration:test:native bb - 946.04 MiB)
16:20:48 prove decider... (mem: 946.04 MiB)
16:20:48 finished decider proving. (mem: 946.04 MiB)
16:20:48 [16:20:48.751]
INFO:
ivc-integration:test:native bb - ecc_op : 56
16:20:48 busread : 3
16:20:48 lookup : 2
16:20:48 pub_inputs : 36
16:20:48 arithmetic : 4072
16:20:48 delta_range : 2030
16:20:48 elliptic : 2
16:20:48 aux : 50
16:20:48 poseidon2_external : 882
16:20:48 poseidon2_internal : 5018
16:20:48 overflow : 0
16:20:48 [16:20:48.908]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 946.04 MiB)
16:20:49 [16:20:49.007]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 946.04 MiB)
16:20:49 [16:20:49.441]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 946.04 MiB)
16:20:49 [16:20:49.503]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 946.04 MiB)
16:20:49 [16:20:49.620]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
16:20:49 [16:20:49.621]
INFO:
ivc-integration:test:native bb - (mem: 946.04 MiB)
16:20:49 [16:20:49.625]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 946.04 MiB)
16:20:49 [16:20:49.673]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 946.04 MiB)
16:20:49 [16:20:49.714]
INFO:
ivc-integration:test:native bb - time to construct proving key: 92 ms. (mem: 946.04 MiB)
16:20:50 [16:20:50.091]
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-oyq59f/proof -k /tmp/bb-client-ivc-integration-oyq59f/vk -v
16:20:50 [16:20:50.110]
INFO:
ivc-integration:test:native bb command: verify (mem: 138.79 MiB)
16:20:50 [16:20:50.111]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 138.79 MiB)
16:20:50 --proof_path: /tmp/bb-client-ivc-integration-oyq59f/proof (mem: 138.79 MiB)
16:20:50 --vk_path: /tmp/bb-client-ivc-integration-oyq59f/vk (mem: 138.79 MiB)
16:20:50 --verbose: true (mem: 138.79 MiB)
16:20:50 --scheme: client_ivc (mem: 138.79 MiB)
16:20:50 [16:20:50.202]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 142.00 MiB)
16:20:50 [16:20:50.231]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 153.00 MiB)
16:20:50 [16:20:50.284]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 153.00 MiB)
16:20:50 [16:20:50.287]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 153.00 MiB)
16:20:50 [16:20:50.289]
INFO:
ivc-integration:test:native Mega verified: 1 (mem: 153.00 MiB)
16:20:50 [16:20:50.383]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 169.43 MiB)
16:20:50 batch opening verified?: 1 (mem: 169.43 MiB)
16:20:50 eccvm consistency check verified?: 1 (mem: 169.43 MiB)
16:20:50 translation masking consistency checked?: 1 (mem: 169.43 MiB)
16:20:50 [16:20:50.403]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 169.43 MiB)
16:20:50 eccvm verified?: 1 (mem: 169.43 MiB)
16:20:50 accumulator construction_verified?: 1 (mem: 169.43 MiB)
16:20:50 translation verified?: 1 (mem: 169.43 MiB)
16:20:50 consistency verified?: 1 (mem: 169.43 MiB)
16:20:50 [16:20:50.404]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 169.43 MiB)
16:20:50 [16:20:50.408]
INFO:
ivc-integration:test:native verified: 1 (mem: 169.43 MiB)
16:20:50 [16:20:50.514]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-mu6ey9/ivc-inputs.msgpack
16:20:50 [16:20:50.515]
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-mu6ey9 --ivc_inputs_path /tmp/bb-client-ivc-integration-mu6ey9/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:20:50 [16:20:50.539]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 143.02 MiB)
16:20:50 [16:20:50.540]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 143.02 MiB)
16:20:50 --scheme: client_ivc (mem: 143.02 MiB)
16:20:50 --output_path: /tmp/bb-client-ivc-integration-mu6ey9 (mem: 143.02 MiB)
16:20:50 --ivc_inputs_path: /tmp/bb-client-ivc-integration-mu6ey9/ivc-inputs.msgpack (mem: 143.02 MiB)
16:20:50 --verbose: true (mem: 143.02 MiB)
16:20:50 --write_vk: true (mem: 143.02 MiB)
16:20:50 [16:20:50.544]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 143.02 MiB)
16:20:50 [16:20:50.660]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 262.00 MiB)
16:20:50 [16:20:50.742]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 310.00 MiB)
16:20:50 [16:20:50.743]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 310.00 MiB)
16:20:50 Constructing DeciderProvingKey (mem: 310.00 MiB)
16:20:50 [16:20:50.749]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 310.00 MiB)
16:20:50 goblin ecc op : 4/1024 (mem: 310.00 MiB)
16:20:50 busread : 7/6000 (mem: 310.00 MiB)
16:20:50 lookups : 2/15000 (mem: 310.00 MiB)
16:20:50 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 310.00 MiB)
16:20:50 arithmetic : 1760/56000 (mem: 310.00 MiB)
16:20:50 delta range : 1754/18000 (mem: 310.00 MiB)
16:20:50 elliptic : 2/6000 (mem: 310.00 MiB)
16:20:50 auxiliary : 26/26000 (mem: 310.00 MiB)
16:20:50 poseidon ext : 2/17000 (mem: 310.00 MiB)
16:20:50 poseidon int : 2/92000 (mem: 310.00 MiB)
16:20:50 overflow : 0/0 (mem: 310.00 MiB)
16:20:50 (mem: 310.00 MiB)
16:20:50 Total structured size: 242025 (mem: 310.00 MiB)
16:20:50 allocating polynomials object in proving key... (mem: 310.00 MiB)
16:20:50 [16:20:50.820]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 498.13 MiB)
16:20:50 [16:20:50.868]
INFO:
ivc-integration:test:native bb - time to construct proving key: 121 ms. (mem: 509.13 MiB)
16:20:51 [16:20:51.026]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56ecb8b61640 (mem: 509.13 MiB)
16:20:51 computing oink proof... (mem: 509.13 MiB)
16:20:51 [16:20:51.277]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 510.13 MiB)
16:20:51 [16:20:51.313]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 511.13 MiB)
16:20:51 Constructing DeciderProvingKey (mem: 511.13 MiB)
16:20:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 511.13 MiB)
16:20:51 goblin ecc op : 56/1024 (mem: 511.13 MiB)
16:20:51 busread : 12/6000 (mem: 511.13 MiB)
16:20:51 lookups : 2/15000 (mem: 511.13 MiB)
16:20:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 511.13 MiB)
16:20:51 arithmetic : 4225/56000 (mem: 511.13 MiB)
16:20:51 delta range : 2043/18000 (mem: 511.13 MiB)
16:20:51 elliptic : 2/6000 (mem: 511.13 MiB)
16:20:51 auxiliary : 110/26000 (mem: 511.13 MiB)
16:20:51 poseidon ext : 882/17000 (mem: 511.13 MiB)
16:20:51 poseidon int : 5018/92000 (mem: 511.13 MiB)
16:20:51 overflow : 0/0 (mem: 511.13 MiB)
16:20:51 (mem: 511.13 MiB)
16:20:51 Total structured size: 242025 (mem: 511.13 MiB)
16:20:51 allocating polynomials object in proving key... (mem: 511.13 MiB)
16:20:51 [16:20:51.385]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 727.13 MiB)
16:20:51 [16:20:51.419]
INFO:
ivc-integration:test:native bb - time to construct proving key: 115 ms. (mem: 742.13 MiB)
16:20:51 [16:20:51.630]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56ecb8b6a880 (mem: 742.13 MiB)
16:20:51 computing folding proof (mem: 742.13 MiB)
16:20:51 [16:20:51.793]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 742.13 MiB)
16:20:51 [16:20:51.883]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 777.13 MiB)
16:20:51 [16:20:51.930]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 810.13 MiB)
16:20:52 [16:20:52.445]
INFO:
ivc-integration:test:native bb - folded
16:20:52 [16:20:52.445]
INFO:
ivc-integration:test:native bb - (mem: 810.13 MiB)
16:20:52 constructed folding proof (mem: 810.13 MiB)
16:20:52 [16:20:52.450]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 810.13 MiB)
16:20:52 Constructing DeciderProvingKey (mem:
16:20:52 [16:20:52.452]
INFO:
ivc-integration:test:native bb - 810.13 MiB)
16:20:52 [16:20:52.454]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 810.13 MiB)
16:20:52 goblin ecc op : 4/1024 (mem: 810.13 MiB)
16:20:52 busread : 7/6000 (mem: 810.13 MiB)
16:20:52 lookups : 2/15000 (mem: 810.13 MiB)
16:20:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 810.13 MiB)
16:20:52 arithmetic : 1760/56000 (mem: 810.13 MiB)
16:20:52 delta range : 1754/18000 (mem: 810.13 MiB)
16:20:52 elliptic : 2/6000 (mem: 810.13 MiB)
16:20:52 [16:20:52.455]
INFO:
ivc-integration:test:native bb - auxiliary : 26/26000 (mem: 810.13 MiB)
16:20:52 poseidon ext : 2/17000 (mem: 810.13 MiB)
16:20:52 poseidon int : 2/92000 (mem: 810.13 MiB)
16:20:52 overflow : 0/0 (mem: 810.13 MiB)
16:20:52 (mem: 810.13 MiB)
16:20:52 Total structured size: 242025 (mem: 810.13 MiB)
16:20:52 allocating polynomials object in proving key... (mem: 810.13 MiB)
16:20:52 [16:20:52.517]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 810.13 MiB)
16:20:52 [16:20:52.527]
INFO:
ivc-integration:test:native bb - time to construct proving key: 77 ms. (mem: 810.13 MiB)
16:20:52 [16:20:52.575]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56ecb8b61e80 (mem: 810.13 MiB)
16:20:52 computing folding proof (mem: 810.13 MiB)
16:20:52 [16:20:52.699]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 810.13 MiB)
16:20:52 [16:20:52.761]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 810.13 MiB)
16:20:52 [16:20:52.808]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 811.95 MiB)
16:20:53 [16:20:53.101]
INFO:
ivc-integration:test:native bb - folded (mem: 811.95 MiB)
16:20:53 constructed folding proof (mem: 811.95 MiB)
16:20:53 [16:20:53.272]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 811.95 MiB)
16:20:53 Constructing DeciderProvingKey (mem: 811.95 MiB)
16:20:53 [16:20:53.313]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 811.95 MiB)
16:20:53 goblin ecc op : 792/1024 (mem: 811.95 MiB)
16:20:53 busread : 12/6000 (mem: 811.95 MiB)
16:20:53 lookups : 2/15000 (mem: 811.95 MiB)
16:20:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 811.95 MiB)
16:20:53 arithmetic : 11272/56000 (mem: 811.95 MiB)
16:20:53 delta range : 2922/18000 (mem: 811.95 MiB)
16:20:53 elliptic : 2/6000 (mem: 811.95 MiB)
16:20:53 auxiliary : 350/26000 (mem: 811.95 MiB)
16:20:53 poseidon ext : 4092/17000 (mem: 811.95 MiB)
16:20:53 poseidon int : 23315/92000 (mem: 811.95 MiB)
16:20:53 overflow : 0/0 (mem: 811.95 MiB)
16:20:53 (mem: 811.95 MiB)
16:20:53 Total structured size: 242025 (mem: 811.95 MiB)
16:20:53 allocating polynomials object in proving key... (mem: 811.95 MiB)
16:20:53 [16:20:53.496]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 811.95 MiB)
16:20:53 [16:20:53.533]
INFO:
ivc-integration:test:native bb - time to construct proving key: 263 ms. (mem: 811.95 MiB)
16:20:53 [16:20:53.630]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56ecb8b712c0 (mem: 811.95 MiB)
16:20:53 computing folding proof (mem: 811.95 MiB)
16:20:53 [16:20:53.858]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 811.95 MiB)
16:20:53 [16:20:53.922]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 811.95 MiB)
16:20:53 [16:20:53.973]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 839.96 MiB)
16:20:54 [16:20:54.091]
INFO:
ivc-integration:test:native bb - folded (mem: 839.96 MiB)
16:20:54 constructed folding proof (mem: 839.96 MiB)
16:20:54 [16:20:54.153]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 839.96 MiB)
16:20:54 Constructing DeciderProvingKey (mem: 839.96 MiB)
16:20:54 [16:20:54.157]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 839.96 MiB)
16:20:54 goblin ecc op : 392/1024 (mem: 839.96 MiB)
16:20:54 busread : 16/6000 (mem: 839.96 MiB)
16:20:54 lookups : 2/15000 (mem: 839.96 MiB)
16:20:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 839.96 MiB)
16:20:54 arithmetic : 6505/56000 (mem: 839.96 MiB)
16:20:54 delta range : 2337/18000 (mem: 839.96 MiB)
16:20:54 elliptic : 2/6000 (mem:
16:20:54 [16:20:54.157]
INFO:
ivc-integration:test:native bb - 839.96 MiB)
16:20:54 auxiliary : 77/26000 (mem: 839.96 MiB)
16:20:54 poseidon ext : 2042/17000 (mem: 839.96 MiB)
16:20:54 poseidon int : 11630/92000 (mem: 839.96 MiB)
16:20:54 overflow : 0/0 (mem: 839.96 MiB)
16:20:54 (mem: 839.96 MiB)
16:20:54 Total structured size: 242025 (mem: 839.96 MiB)
16:20:54 allocating polynomials object in proving key... (mem: 839.96 MiB)
16:20:54 [16:20:54.212]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 839.96 MiB)
16:20:54 [16:20:54.231]
INFO:
ivc-integration:test:native bb - time to construct proving key: 77 ms. (mem: 839.96 MiB)
16:20:54 [16:20:54.287]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56ecb8bd6980 (mem: 839.96 MiB)
16:20:54 computing folding proof (mem: 839.96 MiB)
16:20:54 [16:20:54.482]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 839.96 MiB)
16:20:54 [16:20:54.553]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 839.96 MiB)
16:20:54 [16:20:54.601]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 840.71 MiB)
16:20:54 [16:20:54.854]
INFO:
ivc-integration:test:native bb - folded (mem: 840.71 MiB)
16:20:54 constructed folding proof (mem: 840.71 MiB)
16:20:54 [16:20:54.922]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 840.71 MiB)
16:20:54 Constructing DeciderProvingKey (mem: 840.71 MiB)
16:20:54 [16:20:54.926]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 840.71 MiB)
16:20:54 goblin ecc op : 392/1024 (mem: 840.71 MiB)
16:20:54 busread : 3/6000 (mem: 840.71 MiB)
16:20:54 [16:20:54.927]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 840.71 MiB)
16:20:54 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 840.71 MiB)
16:20:54 arithmetic : 6440/56000 (mem: 840.71 MiB)
16:20:54 delta range : 2323/18000 (mem: 840.71 MiB)
16:20:54 elliptic : 2/6000 (mem: 840.71 MiB)
16:20:54 auxiliary : 50/26000 (mem: 840.71 MiB)
16:20:54 poseidon ext : 2042/17000 (mem: 840.71 MiB)
16:20:54 poseidon int : 11630/92000 (mem: 840.71 MiB)
16:20:54 overflow : 0/0 (mem: 840.71 MiB)
16:20:54 (mem: 840.71 MiB)
16:20:54 Total structured size: 242025 (mem: 840.71 MiB)
16:20:54 allocating polynomials object in proving key... (mem: 840.71 MiB)
16:20:55 [16:20:55.015]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 840.71 MiB)
16:20:55 [16:20:55.033]
INFO:
ivc-integration:test:native bb - time to construct proving key: 110 ms. (mem: 840.71 MiB)
16:20:55 [16:20:55.112]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56ecb8bde4c0 (mem: 840.71 MiB)
16:20:55 computing folding proof (mem: 840.71 MiB)
16:20:55 [16:20:55.313]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 840.71 MiB)
16:20:55 [16:20:55.377]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 840.71 MiB)
16:20:55 [16:20:55.416]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 841.47 MiB)
16:20:55 [16:20:55.486]
INFO:
ivc-integration:test:native bb - folded (mem: 841.47 MiB)
16:20:55 constructed folding proof (mem: 841.47
16:20:55 [16:20:55.487]
INFO:
ivc-integration:test:native bb - MiB)
16:20:55 Largest circuit: 41967 gates. Trace details: (mem: 841.47 MiB)
16:20:55 Minimum required block sizes for structured trace: (mem: 841.47 MiB)
16:20:55 (mem: 841.47 MiB)
16:20:55 prove decider... (mem: 841.47 MiB)
16:20:55 finished decider proving. (mem: 841.47 MiB)
16:20:55 [16:20:55.487]
INFO:
ivc-integration:test:native bb - ecc_op : 792
16:20:55 busread : 16
16:20:55 lookup : 2
16:20:55 pub_inputs : 36
16:20:55 arithmetic : 11272
16:20:55 delta_range : 2922
16:20:55 elliptic : 2
16:20:55 aux : 350
16:20:55 poseidon2_external : 4092
16:20:55 poseidon2_internal : 23315
16:20:55 overflow : 0
16:20:55 [16:20:55.541]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 841.47 MiB)
16:20:55 [16:20:55.602]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 841.47 MiB)
16:20:55 [16:20:55.926]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 841.47 MiB)
16:20:55 [16:20:55.972]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 841.47 MiB)
16:20:56 [16:20:56.065]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 841.47 MiB)
16:20:56 [16:20:56.068]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 841.47 MiB)
16:20:56 [16:20:56.110]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 841.47 MiB)
16:20:56 [16:20:56.133]
INFO:
ivc-integration:test:native bb - time to construct proving key: 67 ms. (mem: 841.47 MiB)
16:20:56 [16:20:56.744]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 841.47 MiB)
16:20:57 [16:20:57.172]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 841.47 MiB)
16:20:57 [16:20:57.607]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 841.47 MiB)
16:20:58 [16:20:58.138]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 841.47 MiB)
16:20:58 [16:20:58.164]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 841.47 MiB)
16:20:58 [16:20:58.314]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 841.47 MiB)
16:20:58 prove eccvm... (mem: 841.47 MiB)
16:20:58 [16:20:58.596]
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: 841.47 MiB)
16:20:58 [16:20:58.609]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561
16:20:58 [16:20:58.610]
INFO:
ivc-integration:test:native bb - (mem:
16:20:58 [16:20:58.610]
INFO:
ivc-integration:test:native bb - 841.47
16:20:58 [16:20:58.612]
INFO:
ivc-integration:test:native bb - MiB)
16:21:00 [16:21:00.179]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 841.47 MiB)
16:21:01 [16:21:01.100]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 841.47 MiB)
16:21:03 [16:21:03.329]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 841.47 MiB)
16:21:03 prove translator... (mem: 841.47 MiB)
16:21:04 [16:21:04.765]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 841.47 MiB)
16:21:06 [16:21:06.012]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 841.47 MiB)
16:21:07 [16:21:07.724]
INFO:
ivc-integration:test:native bb - computed opening proof
16:21:07 [16:21:07.726]
INFO:
ivc-integration:test:native bb - (mem: 841.47 MiB)
16:21:07 finished translator proving. (mem: 841.47 MiB)
16:21:07 [16:21:07.741]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 841.47 MiB)
16:21:07 [16:21:07.794]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 841.47 MiB)
16:21:07 batch opening verified?: 1 (mem: 841.47 MiB)
16:21:07 eccvm consistency check verified?: 1 (mem: 841.47 MiB)
16:21:07 translation masking consistency checked?: 1 (mem: 841.47 MiB)
16:21:07 [16:21:07.812]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 841.47 MiB)
16:21:07 eccvm verified?: 1 (mem: 841.47 MiB)
16:21:07 accumulator construction_verified?: 1 (mem: 841.47 MiB)
16:21:07 translation verified?: 1 (mem: 841.47 MiB)
16:21:07 consistency verified?: 1 (mem: 841.47 MiB)
16:21:07 Goblin verified: 1 (mem: 841.47 MiB)
16:21:07 [16:21:07.813]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-mu6ey9" (mem: 841.47 MiB)
16:21:07 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-mu6ey9" (mem: 841.47 MiB)
16:21:07 [16:21:07.813]
INFO:
ivc-integration:test:native bb - num_public_inputs_in_final_circuit: 4 (mem: 841.47 MiB)
16:21:07 BN254 commitment key size: 262144 (mem: 841.47 MiB)
16:21:07 [16:21:07.815]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 841.47 MiB)
16:21:07 [16:21:07.818]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 841.47 MiB)
16:21:07 goblin ecc op : 4/1024 (mem: 841.47 MiB)
16:21:07 busread : 3/6000 (mem: 841.47 MiB)
16:21:07 lookups : 2/15000 (mem: 841.47 MiB)
16:21:07 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 841.47 MiB)
16:21:07 arithmetic : 1773/56000 (mem: 841.47 MiB)
16:21:07 delta range : 1754/18000 (mem: 841.47 MiB)
16:21:07 elliptic : 2/6000 (mem: 841.47 MiB)
16:21:07 [16:21:07.818]
INFO:
ivc-integration:test:native bb - auxiliary : 26/26000 (mem: 841.47 MiB)
16:21:07 poseidon ext : 2/17000 (mem: 841.47 MiB)
16:21:07 poseidon int : 2/92000 (mem: 841.47 MiB)
16:21:07 overflow : 0/0 (mem: 841.47 MiB)
16:21:07 (mem: 841.47 MiB)
16:21:07 Total structured size: 242025 (mem: 841.47 MiB)
16:21:07 allocating polynomials object in proving key... (mem: 841.47 MiB)
16:21:07 [16:21:07.857]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 841.47 MiB)
16:21:08 [16:21:08.004]
INFO:
ivc-integration:test:native bb - time to construct proving key: 188 ms. (mem: 841.47 MiB)
16:21:08 [16:21:08.185]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 841.47 MiB)
16:21:08 [16:21:08.816]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 841.47 MiB)
16:21:09 [16:21:09.088]
INFO:
ivc-integration:test:native bb - oink proof constructed
16:21:09 [16:21:09.089]
INFO:
ivc-integration:test:native bb - (mem: 841.47 MiB)
16:21:09 [16:21:09.119]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 841.47 MiB)
16:21:09 [16:21:09.131]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 841.47 MiB)
16:21:09 goblin ecc op : 56/1024 (mem: 841.47 MiB)
16:21:09 busread : 3/6000 (mem: 841.47 MiB)
16:21:09 lookups : 2/15000 (mem: 841.47 MiB)
16:21:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 841.47 MiB)
16:21:09 arithmetic : 4072/56000 (mem: 841.47 MiB)
16:21:09 delta range : 2030/18000 (mem: 841.47 MiB)
16:21:09 elliptic : 2/6000 (mem: 841.47 MiB)
16:21:09 auxiliary : 50/26000 (mem: 841.47 MiB)
16:21:09 poseidon ext : 882/17000 (mem: 841.47 MiB)
16:21:09 poseidon int : 5018/92000 (mem: 841.47 MiB)
16:21:09 overflow : 0/0 (mem: 841.47 MiB)
16:21:09 (mem: 841.47 MiB)
16:21:09 Total structured size: 242025 (mem: 841.47 MiB)
16:21:09 allocating polynomials object in proving key... (mem: 841.47 MiB)
16:21:09 [16:21:09.220]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 849.15 MiB)
16:21:09 [16:21:09.244]
INFO:
ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 849.15 MiB)
16:21:09 [16:21:09.327]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.15 MiB)
16:21:10 [16:21:10.245]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 849.15 MiB)
16:21:11 [16:21:11.070]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 858.15 MiB)
16:21:11 [16:21:11.153]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 858.15 MiB)
16:21:11 [16:21:11.228]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 890.15 MiB)
16:21:11 [16:21:11.534]
INFO:
ivc-integration:test:native bb - folded (mem: 890.15 MiB)
16:21:11 constructed folding proof (mem: 890.15 MiB)
16:21:11 [16:21:11.535]
INFO:
ivc-integration:test:native bb - Largest circuit: 12059 gates. Trace details: (mem: 890.15 MiB)
16:21:11 Minimum required block sizes for structured trace: (mem: 890.15 MiB)
16:21:11 (mem: 890.15 MiB)
16:21:11 prove decider... (mem: 890.15 MiB)
16:21:11 finished decider proving. (mem: 890.15 MiB)
16:21:11 [16:21:11.535]
INFO:
ivc-integration:test:native bb - ecc_op : 56
16:21:11 busread : 3
16:21:11 lookup : 2
16:21:11 pub_inputs : 36
16:21:11 arithmetic : 4072
16:21:11 delta_range : 2030
16:21:11 elliptic : 2
16:21:11 aux : 50
16:21:11 poseidon2_external : 882
16:21:11 poseidon2_internal : 5018
16:21:11 overflow : 0
16:21:11 [16:21:11.656]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 890.15 MiB)
16:21:11 [16:21:11.783]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 890.15 MiB)
16:21:12 [16:21:12.913]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 890.15 MiB)
16:21:13 [16:21:13.074]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 890.15 MiB)
16:21:13 [16:21:13.216]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 890.15 MiB)
16:21:13 [16:21:13.221]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 890.15 MiB)
16:21:13 [16:21:13.377]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 890.15 MiB)
16:21:13 [16:21:13.440]
INFO:
ivc-integration:test:native bb - time to construct proving key: 217 ms. (mem: 890.15 MiB)
16:21:14 [16:21:14.064]
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-mu6ey9/proof -k /tmp/bb-client-ivc-integration-mu6ey9/vk -v
16:21:14 [16:21:14.092]
INFO:
ivc-integration:test:native bb command: verify (mem: 147.34 MiB)
16:21:14 Scheme is: client_ivc, num threads: 128 (mem: 147.34 MiB)
16:21:14 --proof_path: /tmp/bb-client-ivc-integration-mu6ey9/proof (mem: 147.34 MiB)
16:21:14 --vk_path: /tmp/bb-client-ivc-integration-mu6ey9/vk (mem: 147.34 MiB)
16:21:14 --verbose: true (mem: 147.34 MiB)
16:21:14 --scheme: client_ivc (mem: 147.34 MiB)
16:21:14 [16:21:14.193]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 147.34 MiB)
16:21:14 [16:21:14.212]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 155.49 MiB)
16:21:14 [16:21:14.235]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 155.49 MiB)
16:21:14 Initialized BN254 CRS from memory with num points = 1025 (mem: 155.49 MiB)
16:21:14 [16:21:14.236]
INFO:
ivc-integration:test:native Mega verified: 1 (mem: 155.49 MiB)
16:21:14 [16:21:14.307]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 172.61 MiB)
16:21:14 batch opening verified?: 1 (mem: 172.61 MiB)
16:21:14 [16:21:14.308]
INFO:
ivc-integration:test:native eccvm consistency check verified?: 1 (mem: 172.61 MiB)
16:21:14 translation masking consistency checked?: 1 (mem: 172.61 MiB)
16:21:14 [16:21:14.331]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 172.61 MiB)
16:21:14 eccvm verified?: 1 (mem: 172.61 MiB)
16:21:14 accumulator construction_verified?: 1 (mem: 172.61 MiB)
16:21:14 translation verified?: 1 (mem: 172.61 MiB)
16:21:14 consistency verified?: 1 (mem: 172.61 MiB)
16:21:14 [16:21:14.332]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 172.61 MiB)
16:21:14 [16:21:14.338]
INFO:
ivc-integration:test:native verified: 1 (mem: 172.61 MiB)
16:21:14
PASS src/native_client_ivc_integration.test.ts (
49.556 s)
16:21:14 Client IVC Integration
16:21:14
✓ Should generate a verifiable client IVC proof from a simple mock tx (23133 ms)
16:21:14
✓ Should generate a verifiable client IVC proof from a complex mock tx (23935 ms)
16:21:14
16:21:14
Test Suites: 1 passed, 1 total
16:21:14
Tests: 2 passed, 2 total
16:21:14
Snapshots: 0 total
16:21:14
Time: 49.626 s
16:21:14
Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i
.
16:21:14
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?