Parent Log:
http://ci.aztec-labs.com/232a0193ad74c3c2
Command: 84c999e211bb73e4:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/wasm_client_ivc_integration.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/3863bc02d671057d0cffd4ced17ca317788ff190
Env: REF_NAME=gh-readonly-queue/staging/pr-15238-db396f13b7ef374a230174bdc4078d9fbb3c788a CURRENT_VERSION=1.0.0 CI_FULL=1
Date: Tue Jun 24 12:08:42 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15238_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_staging
12:08:46 [12:08:46.662]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
12:08:46 [12:08:46.671]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-7nE4ry/ivc-inputs.msgpack
12:08:46 [12:08:46.673]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
12:08:46 [12:08:46.674]
INFO:
ivc-integration:test:wasm bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-client-ivc-integration-7nE4ry --ivc_inputs_path /tmp/bb-client-ivc-integration-7nE4ry/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
12:08:46 [12:08:46.852]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12113510 bytes
12:08:46 [12:08:46.884]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 198.27 MiB)
12:08:46 Scheme is: client_ivc, num threads: 128 (mem: 198.27 MiB)
12:08:46 --scheme: client_ivc (mem: 198.27 MiB)
12:08:46 --output_path: /tmp/bb-client-ivc-integration-7nE4ry (mem: 198.27 MiB)
12:08:46 --ivc_inputs_path: /tmp/bb-client-ivc-integration-7nE4ry/ivc-inputs.msgpack (mem: 198.27 MiB)
12:08:46 --verbose: true (mem: 198.27 MiB)
12:08:46 --write_vk: true (mem: 198.27 MiB)
12:08:46 BN254 commitment key size: 262144 (mem: 198.27 MiB)
12:08:46 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 198.27 MiB)
12:08:46 Initialized BN254 CRS from memory with num points = 262145 (mem: 198.27 MiB)
12:08:46 ClientIVC: accumulating unknown_0 (mem: 198.27 MiB)
12:08:46 Constructing DeciderProvingKey (mem: 198.27 MiB)
12:08:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 198.27 MiB)
12:08:46 goblin ecc op : 4/1024 (mem: 198.27 MiB)
12:08:46 busread : 7/6000 (mem: 198.27 MiB)
12:08:46 lookups : 2/15000 (mem: 198.27 MiB)
12:08:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 198.27 MiB)
12:08:46 arithmetic : 1760/56000 (mem: 198.27 MiB)
12:08:46 delta range : 1754/18000 (mem: 198.27 MiB)
12:08:46 elliptic : 2/6000 (mem: 198.27 MiB)
12:08:46 auxiliary : 26/26000 (mem: 198.27 MiB)
12:08:46 poseidon ext : 2/17000 (mem: 198.27 MiB)
12:08:46 poseidon int : 2/92000 (mem: 198.27 MiB)
12:08:46 overflow : 0/0 (mem: 198.27 MiB)
12:08:46 (mem: 198.27 MiB)
12:08:46 Total structured size: 242025 (mem: 198.27 MiB)
12:08:46 allocating polynomials object in proving key... (mem: 198.27 MiB)
12:08:46 [12:08:46.914]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
12:08:46 [12:08:46.978]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 345.28 MiB)
12:08:46 [12:08:46.989]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 222 ms. (mem: 357.28 MiB)
12:08:47 [12:08:47.083]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x648f27a82200 (mem: 358.28 MiB)
12:08:47 computing oink proof... (mem: 358.28 MiB)
12:08:47 [12:08:47.084]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 358.28 MiB)
12:08:47 [12:08:47.264]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
12:08:47 [12:08:47.274]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
12:08:47 [12:08:47.307]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 369.28 MiB)
12:08:47 [12:08:47.314]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 369.28 MiB)
12:08:47 [12:08:47.331]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 369.28 MiB)
12:08:47 Constructing DeciderProvingKey (mem: 369.28 MiB)
12:08:47 [12:08:47.333]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 369.28 MiB)
12:08:47 goblin ecc op : 56/1024 (mem: 369.28 MiB)
12:08:47 busread : 12/6000 (mem: 369.28 MiB)
12:08:47 lookups : 2/15000 (mem: 369.28 MiB)
12:08:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 369.28 MiB)
12:08:47 arithmetic : 4677/56000 (mem: 369.28 MiB)
12:08:47 delta range : 2073/18000 (mem: 369.28 MiB)
12:08:47 elliptic : 2/6000 (mem: 369.28 MiB)
12:08:47 auxiliary : 110/26000 (mem: 369.28 MiB)
12:08:47 poseidon ext : 1322/17000 (mem: 369.28 MiB)
12:08:47 poseidon int : 7526/92000 (mem: 369.28 MiB)
12:08:47 overflow : 0/0 (mem: 369.28 MiB)
12:08:47 (mem: 369.28 MiB)
12:08:47 Total structured size: 242025 (mem: 369.28 MiB)
12:08:47 allocating polynomials object in proving key... (mem: 369.28 MiB)
12:08:47 [12:08:47.440]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 579.28 MiB)
12:08:47 [12:08:47.487]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 158 ms. (mem: 592.28 MiB)
12:08:47 [12:08:47.662]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x648f27a8ee40 (mem: 592.28 MiB)
12:08:47 [12:08:47.663]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 592.28 MiB)
12:08:47 vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 592.28 MiB)
12:08:48 [12:08:48.076]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 593.28 MiB)
12:08:48 [12:08:48.162]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 630.28 MiB)
12:08:48 [12:08:48.228]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 663.28 MiB)
12:08:48 [12:08:48.561]
INFO:
ivc-integration:test:wasm bb - folded (mem: 663.28 MiB)
12:08:48 [12:08:48.563]
INFO:
ivc-integration:test:wasm bb - constructed folding proof (mem: 663.28 MiB)
12:08:48 [12:08:48.575]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
12:08:48 [12:08:48.579]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 663.28 MiB)
12:08:48 [12:08:48.582]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
12:08:49 [12:08:49.063]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 663.28 MiB)
12:08:49 Constructing DeciderProvingKey (mem: 663.28 MiB)
12:08:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 663.28 MiB)
12:08:49 goblin ecc op : 392/1024 (mem: 663.28 MiB)
12:08:49 busread : 3/6000 (mem: 663.28 MiB)
12:08:49 lookups : 2/15000 (mem: 663.28 MiB)
12:08:49 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 663.28 MiB)
12:08:49 arithmetic : 6913/56000 (mem: 663.28 MiB)
12:08:49 delta range : 2353/18000 (mem: 663.28 MiB)
12:08:49 elliptic : 2/6000 (mem: 663.28 MiB)
12:08:49 auxiliary : 50/26000 (mem: 663.28 MiB)
12:08:49 poseidon ext : 2492/17000 (mem: 663.28 MiB)
12:08:49 poseidon int : 14195/92000 (mem: 663.28 MiB)
12:08:49 overflow : 0/0 (mem: 663.28 MiB)
12:08:49 (mem: 663.28 MiB)
12:08:49 Total structured size: 242025 (mem: 663.28 MiB)
12:08:49 allocating polynomials object in proving key... (mem: 663.28 MiB)
12:08:49 populating trace... (mem: 663.28 MiB)
12:08:49 time to construct proving key: 168 ms. (mem: 663.28 MiB)
12:08:49 [12:08:49.260]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x648f27a845c0 (mem: 663.28 MiB)
12:08:49 computing folding proof (mem: 663.28 MiB)
12:08:49 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 663.28 MiB)
12:08:49 [12:08:49.702]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
12:08:49 [12:08:49.703]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 663.28 MiB)
12:08:49 [12:08:49.751]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
12:08:49 [12:08:49.753]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 663.28 MiB)
12:08:49 [12:08:49.766]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
12:08:49 [12:08:49.767]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 194.06MiB)
12:08:49 [12:08:49.780]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
12:08:49 [12:08:49.781]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
12:08:49 [12:08:49.805]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 675.39 MiB)
12:08:49 [12:08:49.808]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
12:08:49 [12:08:49.809]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
12:08:49 [12:08:49.810]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
12:08:49 [12:08:49.810]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
12:08:49 [12:08:49.812]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
12:08:49 [12:08:49.813]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
12:08:49 [12:08:49.814]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
12:08:49 [12:08:49.815]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
12:08:49 [12:08:49.816]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
12:08:49 [12:08:49.817]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
12:08:49 [12:08:49.817]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
12:08:49 [12:08:49.818]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
12:08:49 [12:08:49.819]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
12:08:49 [12:08:49.820]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
12:08:49 [12:08:49.821]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
12:08:49 [12:08:49.902]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
12:08:49 [12:08:49.931]
INFO:
ivc-integration:prove_wasm time to construct proving key: 151 ms. (mem: 316.56MiB)
12:08:49 [12:08:49.956]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 316.56MiB)
12:08:50 [12:08:50.137]
INFO:
ivc-integration:test:wasm bb - folded (mem: 675.39 MiB)
12:08:50 constructed folding proof (mem: 675.39 MiB)
12:08:50 Largest circuit: 26010 gates. Trace details: (mem: 675.39 MiB)
12:08:50 Minimum required block sizes for structured trace: (mem: 675.39 MiB)
12:08:50 (mem: 675.39 MiB)
12:08:50 prove decider... (mem: 675.39 MiB)
12:08:50 [12:08:50.141]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
12:08:50 busread : 12
12:08:50 lookup : 2
12:08:50 pub_inputs : 36
12:08:50 arithmetic : 6913
12:08:50 delta_range : 2353
12:08:50 elliptic : 2
12:08:50 aux : 110
12:08:50 poseidon2_external : 2492
12:08:50 poseidon2_internal : 14195
12:08:50 overflow : 0
12:08:50 [12:08:50.421]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 675.39 MiB)
12:08:50 [12:08:50.494]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 316.56MiB)
12:08:50 [12:08:50.497]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 316.56MiB)
12:08:50 [12:08:50.613]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 675.39 MiB)
12:08:50 [12:08:50.860]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
12:08:50 [12:08:50.877]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
12:08:50 [12:08:50.924]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
12:08:50 [12:08:50.925]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
12:08:50 [12:08:50.936]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
12:08:50 [12:08:50.938]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
12:08:50 [12:08:50.939]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
12:08:50 [12:08:50.940]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
12:08:50 [12:08:50.940]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
12:08:50 [12:08:50.940]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 317.94MiB)
12:08:50 [12:08:50.941]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
12:08:50 [12:08:50.941]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
12:08:50 [12:08:50.942]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
12:08:50 [12:08:50.943]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
12:08:50 [12:08:50.944]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
12:08:50 [12:08:50.945]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
12:08:50 [12:08:50.945]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
12:08:50 [12:08:50.946]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
12:08:50 [12:08:50.946]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
12:08:51 [12:08:51.077]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.38MiB)
12:08:51 [12:08:51.123]
INFO:
ivc-integration:prove_wasm time to construct proving key: 201 ms. (mem: 555.19MiB)
12:08:51 [12:08:51.192]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.19MiB)
12:08:51 [12:08:51.992]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 675.39 MiB)
12:08:52 [12:08:52.057]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.19MiB)
12:08:52 [12:08:52.065]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 555.19MiB)
12:08:52 [12:08:52.153]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 675.39 MiB)
12:08:52 finished decider proving. (mem: 675.39 MiB)
12:08:52 [12:08:52.185]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 675.39 MiB)
12:08:52 [12:08:52.289]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 675.39 MiB)
12:08:52 [12:08:52.301]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 675.39 MiB)
12:08:52 [12:08:52.569]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 675.39 MiB)
12:08:52 [12:08:52.642]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 352 ms. (mem: 675.39 MiB)
12:08:52 [12:08:52.849]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.19MiB)
12:08:53 [12:08:53.109]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 582.63MiB)
12:08:53 [12:08:53.498]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 582.63MiB)
12:08:54 [12:08:54.079]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 675.39 MiB)
12:08:54 [12:08:54.255]
INFO:
ivc-integration:prove_wasm folded (mem: 582.63MiB)
12:08:54 [12:08:54.258]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 582.63MiB)
12:08:54 [12:08:54.273]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 582.63MiB)
12:08:54 [12:08:54.454]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 582.63MiB)
12:08:54 [12:08:54.455]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 582.63MiB)
12:08:54 [12:08:54.462]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 582.63MiB)
12:08:54 [12:08:54.463]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 582.63MiB)
12:08:54 [12:08:54.464]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 582.63MiB)
12:08:54 [12:08:54.464]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 582.63MiB)
12:08:54 [12:08:54.464]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 582.63MiB)
12:08:54 [12:08:54.465]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 582.63MiB)
12:08:54 [12:08:54.465]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 582.63MiB)
12:08:54 [12:08:54.465]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 582.63MiB)
12:08:54 [12:08:54.465]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 582.63MiB)
12:08:54 [12:08:54.466]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 582.63MiB)
12:08:54 [12:08:54.466]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 582.63MiB)
12:08:54 [12:08:54.466]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 582.63MiB)
12:08:54 [12:08:54.467]
INFO:
ivc-integration:prove_wasm (mem: 582.63MiB)
12:08:54 [12:08:54.467]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 582.63MiB)
12:08:54 [12:08:54.467]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 582.63MiB)
12:08:54 [12:08:54.488]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 582.63MiB)
12:08:54 [12:08:54.566]
INFO:
ivc-integration:prove_wasm time to construct proving key: 110 ms. (mem: 582.63MiB)
12:08:54 [12:08:54.775]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 582.63MiB)
12:08:54 [12:08:54.790]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 675.39 MiB)
12:08:55 [12:08:55.146]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 675.39 MiB)
12:08:55 [12:08:55.730]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 582.63MiB)
12:08:55 [12:08:55.733]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 582.63MiB)
12:08:56 [12:08:56.696]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 582.63MiB)
12:08:56 [12:08:56.835]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck
12:08:56 [12:08:56.837]
INFO:
ivc-integration:test:wasm bb - (mem: 675.39 MiB)
12:08:56 [12:08:56.922]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 590.56MiB)
12:08:57 [12:08:57.289]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 590.56MiB)
12:08:57 [12:08:57.971]
INFO:
ivc-integration:prove_wasm folded (mem: 590.56MiB)
12:08:57 [12:08:57.972]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 590.56MiB)
12:08:57 [12:08:57.973]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 8218 (mem: 590.56MiB)
12:08:57 [12:08:57.973]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 590.56MiB)
12:08:57 [12:08:57.973]
INFO:
ivc-integration:prove_wasm Largest circuit: 26010 gates. Trace details: (mem: 590.56MiB)
12:08:57 [12:08:57.973]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 590.56MiB)
12:08:57 [12:08:57.974]
INFO:
ivc-integration:prove_wasm ecc_op : 392
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.974]
INFO:
ivc-integration:prove_wasm busread : 12
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.974]
INFO:
ivc-integration:prove_wasm lookup : 2
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.974]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.975]
INFO:
ivc-integration:prove_wasm arithmetic : 6913
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.977]
INFO:
ivc-integration:prove_wasm delta_range : 2353
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.977]
INFO:
ivc-integration:prove_wasm elliptic : 2
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.977]
INFO:
ivc-integration:prove_wasm aux : 110
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.978]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.978]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.979]
INFO:
ivc-integration:prove_wasm overflow : 0
12:08:57 (mem: 590.56MiB)
12:08:57 [12:08:57.979]
INFO:
ivc-integration:prove_wasm (mem: 590.56MiB)
12:08:57 [12:08:57.980]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 590.56MiB)
12:08:58 [12:08:58.208]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
12:08:58 [12:08:58.233]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 675.39 MiB)
12:08:58 [12:08:58.355]
INFO:
ivc-integration:test:wasm bb - computed opening proof
12:08:58 [12:08:58.356]
INFO:
ivc-integration:test:wasm bb - (mem:
12:08:58 [12:08:58.357]
INFO:
ivc-integration:test:wasm bb - 675.39 MiB)
12:08:58 finished decider proving. (mem: 675.39 MiB)
12:08:58 Constructing a Goblin proof with num ultra ops = 1038 (mem: 675.39 MiB)
12:08:58 [12:08:58.719]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
12:08:58 [12:08:58.783]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 675.39 MiB)
12:08:59 [12:08:59.239]
INFO:
ivc-integration:test:wasm bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 675.39 MiB)
12:08:59 [12:08:59.251]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 675.39 MiB)
12:09:00 [12:09:00.984]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
12:09:01 [12:09:01.478]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 675.39 MiB)
12:09:01 [12:09:01.702]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
12:09:01 [12:09:01.703]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
12:09:01 [12:09:01.745]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 590.56MiB)
12:09:01 [12:09:01.983]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 590.56MiB)
12:09:01 [12:09:01.992]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 590.56MiB)
12:09:02 [12:09:02.032]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 590.56MiB)
12:09:02 [12:09:02.110]
INFO:
ivc-integration:prove_wasm time to construct proving key: 127 ms. (mem: 590.56MiB)
12:09:03 [12:09:03.516]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 675.39 MiB)
12:09:04 [12:09:04.247]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 590.56MiB)
12:09:05 [12:09:05.422]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 590.56MiB)
12:09:05 [12:09:05.459]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
12:09:05 [12:09:05.768]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
12:09:07 [12:09:07.300]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
12:09:07 [12:09:07.520]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
12:09:07 [12:09:07.522]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
12:09:07 [12:09:07.522]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 590.56MiB)
12:09:07 [12:09:07.753]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 590.56MiB)
12:09:08 [12:09:08.969]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 675.39 MiB)
12:09:08 prove translator... (mem: 675.39 MiB)
12:09:10 [12:09:10.772]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 705.82 MiB)
12:09:10 [12:09:10.960]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
12:09:14 [12:09:14.424]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 706.82 MiB)
12:09:15 [12:09:15.324]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
12:09:17 [12:09:17.731]
INFO:
ivc-integration:test:wasm bb - computed opening proof
12:09:17 [12:09:17.732]
INFO:
ivc-integration:test:wasm bb - (mem: 706.82 MiB)
12:09:17 [12:09:17.732]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 706.82 MiB)
12:09:17 [12:09:17.733]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 706.82 MiB)
12:09:17 [12:09:17.748]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 706.82 MiB)
12:09:17 libra_evals_verified: 1 (mem: 706.82 MiB)
12:09:17 pairing_check_verified: 1 (mem: 706.82 MiB)
12:09:17 Mega verified: 1 (mem: 706.82 MiB)
12:09:17 [12:09:17.866]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 706.82 MiB)
12:09:17 batch opening verified?: 1 (mem: 706.82 MiB)
12:09:17 eccvm consistency check verified?: 1 (mem: 706.82 MiB)
12:09:17 translation masking consistency checked?: 1 (mem: 706.82 MiB)
12:09:17 [12:09:17.887]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1
12:09:17 [12:09:17.890]
INFO:
ivc-integration:test:wasm bb - (mem: 706.82 MiB)
12:09:17 eccvm verified?: 1 (mem: 706.82 MiB)
12:09:17 accumulator construction_verified?: 1 (mem: 706.82 MiB)
12:09:17 translation verified?: 1 (mem: 706.82 MiB)
12:09:17 consistency verified?: 1 (mem: 706.82 MiB)
12:09:17 Goblin verified: 1 (mem: 706.82 MiB)
12:09:17 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-7nE4ry" (mem: 706.82 MiB)
12:09:17 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-7nE4ry" (mem: 706.82 MiB)
12:09:17 BN254 commitment key size: 262144 (mem: 706.82 MiB)
12:09:17 [12:09:17.905]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 706.82 MiB)
12:09:17 [12:09:17.909]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity)
12:09:17 [12:09:17.914]
INFO:
ivc-integration:test:wasm bb - (mem: 706.82 MiB)
12:09:17 goblin ecc op : 4/1024 (mem: 706.82 MiB)
12:09:17 busread : 3/6000 (mem: 706.82 MiB)
12:09:17 lookups : 2/15000 (mem: 706.82 MiB)
12:09:17 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 706.82 MiB)
12:09:17 arithmetic : 1773/56000 (mem: 706.82 MiB)
12:09:17 delta range : 1754/18000 (mem: 706.82 MiB)
12:09:17 elliptic : 2/6000 (mem: 706.82 MiB)
12:09:17 auxiliary : 26/26000 (mem: 706.82 MiB)
12:09:17 poseidon ext : 2/17000 (mem: 706.82 MiB)
12:09:17 poseidon int : 2/92000 (mem: 706.82 MiB)
12:09:17 overflow : 0/0 (mem: 706.82 MiB)
12:09:17 (mem: 706.82 MiB)
12:09:17 Total structured size: 242025 (mem: 706.82 MiB)
12:09:17 allocating polynomials object in proving key... (mem: 706.82 MiB)
12:09:18 [12:09:18.097]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 706.82 MiB)
12:09:18 [12:09:18.126]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 230 ms. (mem: 706.82 MiB)
12:09:18 [12:09:18.633]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 706.82 MiB)
12:09:19 [12:09:19.115]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 708.82 MiB)
12:09:19 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 708.82 MiB)
12:09:19 [12:09:19.775]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 708.82 MiB)
12:09:19 [12:09:19.782]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 708.82 MiB)
12:09:19 [12:09:19.798]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 708.82 MiB)
12:09:19 [12:09:19.804]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 708.82 MiB)
12:09:19 goblin ecc op : 56/1024 (mem: 708.82 MiB)
12:09:19 busread : 3/6000 (mem: 708.82 MiB)
12:09:19 lookups : 2/15000 (mem: 708.82 MiB)
12:09:19 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 708.82 MiB)
12:09:19 arithmetic : 4533/56000 (mem: 708.82 MiB)
12:09:19 delta range : 2060/18000 (mem: 708.82 MiB)
12:09:19 elliptic : 2/6000 (mem: 708.82 MiB)
12:09:19 auxiliary : 50/26000 (mem: 708.82 MiB)
12:09:19 poseidon ext : 1332/17000 (mem: 708.82 MiB)
12:09:19 poseidon int : 7583/92000 (mem: 708.82 MiB)
12:09:19 overflow : 0/0 (mem: 708.82 MiB)
12:09:19 (mem: 708.82 MiB)
12:09:19 Total structured size: 242025 (mem: 708.82 MiB)
12:09:19 allocating polynomials object in proving key... (mem: 708.82 MiB)
12:09:20 [12:09:20.042]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 708.82 MiB)
12:09:20 [12:09:20.087]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 288 ms. (mem: 708.82 MiB)
12:09:20 [12:09:20.453]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 708.82 MiB)
12:09:21 [12:09:21.155]
INFO:
ivc-integration:test:wasm bb - computing folding proof
12:09:21 [12:09:21.156]
INFO:
ivc-integration:test:wasm bb - (mem: 708.82 MiB)
12:09:21 [12:09:21.158]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 708.82 MiB)
12:09:21 [12:09:21.828]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 708.82 MiB)
12:09:21 [12:09:21.829]
INFO:
ivc-integration:test:wasm bb -
12:09:21 [12:09:21.945]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 708.82 MiB)
12:09:22 [12:09:22.012]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 740.82 MiB)
12:09:22 [12:09:22.588]
INFO:
ivc-integration:test:wasm bb - folded (mem: 740.82 MiB)
12:09:22 constructed folding proof (mem: 740.82 MiB)
12:09:22 Largest circuit: 15565 gates. Trace details: (mem: 740.82 MiB)
12:09:22 Minimum required block sizes for structured trace: (mem: 740.82 MiB)
12:09:22 (mem: 740.82 MiB)
12:09:22 prove decider... (mem: 740.82 MiB)
12:09:22 [12:09:22.589]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
12:09:22 busread : 3
12:09:22 lookup : 2
12:09:22 pub_inputs : 36
12:09:22 arithmetic : 4533
12:09:22 delta_range : 2060
12:09:22 elliptic : 2
12:09:22 aux : 50
12:09:22 poseidon2_external : 1332
12:09:22 poseidon2_internal : 7583
12:09:22 overflow : 0
12:09:22 [12:09:22.995]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 740.82 MiB)
12:09:23 [12:09:23.226]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 740.82 MiB)
12:09:24 [12:09:24.752]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction
12:09:24 [12:09:24.756]
INFO:
ivc-integration:test:wasm bb - (mem: 740.82 MiB)
12:09:24 [12:09:24.893]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 740.82 MiB)
12:09:24 finished decider proving. (mem: 740.82 MiB)
12:09:24 [12:09:24.910]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 740.82 MiB)
12:09:25 [12:09:25.013]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 740.82 MiB)
12:09:25 [12:09:25.020]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 740.82 MiB)
12:09:25 [12:09:25.218]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 740.82 MiB)
12:09:25 [12:09:25.258]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 590.56MiB)
12:09:25 [12:09:25.259]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 590.56MiB)
12:09:25 [12:09:25.262]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 248 ms. (mem: 740.82 MiB)
12:09:28 [12:09:28.323]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
12:09:32 [12:09:32.630]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
12:09:36 [12:09:36.155]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
12:09:36 [12:09:36.155]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 590.56MiB)
12:09:36 [12:09:36.156]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 46402 (mem: 590.56MiB)
12:09:36 [12:09:36.163]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 590.56MiB)
12:09:36 [12:09:36.167]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.211]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 590.56MiB)
12:09:36 [12:09:36.279]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.283]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.283]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.284]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.625]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.627]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.627]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.628]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.718]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.719]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.720]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.721]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.730]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 590.56MiB)
12:09:36 [12:09:36.730]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 590.56MiB)
12:09:37 [12:09:37.277]
INFO:
ivc-integration:test:wasm BB concurrency: 1
12:09:37 [12:09:37.278]
INFO:
ivc-integration:test:wasm Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-client-ivc-integration-7nE4ry/proof -k /tmp/bb-client-ivc-integration-7nE4ry/vk -v
12:09:37 [12:09:37.339]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 872.71 MiB)
12:09:37 Scheme is: client_ivc, num threads: 1 (mem: 872.71 MiB)
12:09:37 --proof_path: /tmp/bb-client-ivc-integration-7nE4ry/proof (mem: 872.71 MiB)
12:09:37 --vk_path: /tmp/bb-client-ivc-integration-7nE4ry/vk (mem: 872.71 MiB)
12:09:37 --verbose: true (mem: 872.71 MiB)
12:09:37 --scheme: client_ivc (mem: 872.71 MiB)
12:09:37 [12:09:37.340]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 872.71 MiB)
12:09:37 [12:09:37.356]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 872.71 MiB)
12:09:37 [12:09:37.357]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 872.71 MiB)
12:09:37 [12:09:37.381]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 872.71 MiB)
12:09:37 [12:09:37.383]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1 (mem: 872.71 MiB)
12:09:37 sumcheck_verified: 1 (mem: 872.71 MiB)
12:09:37 libra_evals_verified: 1 (mem: 872.71 MiB)
12:09:37 pairing_check_verified: 1 (mem: 872.71 MiB)
12:09:37 Mega verified: 1 (mem: 872.71 MiB)
12:09:37 [12:09:37.795]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 872.71 MiB)
12:09:37 batch opening verified?: 1 (mem: 872.71 MiB)
12:09:37 eccvm consistency check verified?: 1 (mem: 872.71 MiB)
12:09:37 translation masking consistency checked?: 1 (mem: 872.71 MiB)
12:09:37 [12:09:37.810]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 872.71 MiB)
12:09:37 eccvm verified?: 1 (mem: 872.71 MiB)
12:09:37 accumulator construction_verified?: 1 (mem: 872.71 MiB)
12:09:37 translation verified?: 1 (mem: 872.71 MiB)
12:09:37 consistency verified?: 1 (mem: 872.71 MiB)
12:09:37 Goblin verified: 1 (mem:
12:09:37 [12:09:37.811]
INFO:
ivc-integration:test:wasm 872.71 MiB)
12:09:37 verified: 1 (mem: 872.71 MiB)
12:09:37 [12:09:37.827]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
12:09:37 [12:09:37.992]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12113510 bytes
12:09:38 [12:09:38.028]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
12:09:38 [12:09:38.388]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
12:09:38 [12:09:38.402]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
12:09:38 [12:09:38.403]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
12:09:39 [12:09:39.095]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
12:09:39 [12:09:39.155]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
12:09:39 [12:09:39.159]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
12:09:39 [12:09:39.186]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
12:09:39 [12:09:39.197]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 194.06MiB)
12:09:39 [12:09:39.239]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
12:09:39 [12:09:39.249]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 194.06MiB)
12:09:39 [12:09:39.464]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15724,"2":26010}
12:09:39 [12:09:39.531]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
12:09:39 [12:09:39.646]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12113510 bytes
12:09:39 [12:09:39.694]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
12:09:40 [12:09:40.089]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
12:09:40 [12:09:40.103]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
12:09:41 [12:09:41.109]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
12:09:41 [12:09:41.109]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
12:09:42 [12:09:42.029]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
12:09:42 [12:09:42.143]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
12:09:42 [12:09:42.189]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
12:09:42 [12:09:42.190]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 194.06MiB)
12:09:42 [12:09:42.203]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
12:09:42 [12:09:42.204]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
12:09:42 [12:09:42.219]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
12:09:42 [12:09:42.220]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
12:09:42 [12:09:42.221]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
12:09:42 [12:09:42.221]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
12:09:42 [12:09:42.221]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
12:09:42 [12:09:42.222]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
12:09:42 [12:09:42.222]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
12:09:42 [12:09:42.222]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
12:09:42 [12:09:42.222]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
12:09:42 [12:09:42.223]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
12:09:42 [12:09:42.223]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
12:09:42 [12:09:42.224]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
12:09:42 [12:09:42.224]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
12:09:42 [12:09:42.224]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
12:09:42 [12:09:42.225]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
12:09:42 [12:09:42.288]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
12:09:42 [12:09:42.332]
INFO:
ivc-integration:prove_wasm time to construct proving key: 135 ms. (mem: 317.06MiB)
12:09:42 [12:09:42.359]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 317.06MiB)
12:09:42 [12:09:42.915]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 317.06MiB)
12:09:42 [12:09:42.918]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.06MiB)
12:09:43 [12:09:43.345]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
12:09:43 [12:09:43.381]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
12:09:43 [12:09:43.407]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
12:09:43 [12:09:43.407]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
12:09:43 [12:09:43.411]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
12:09:43 [12:09:43.412]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
12:09:43 [12:09:43.412]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
12:09:43 [12:09:43.412]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
12:09:43 [12:09:43.412]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
12:09:43 [12:09:43.413]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 317.94MiB)
12:09:43 [12:09:43.413]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
12:09:43 [12:09:43.413]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
12:09:43 [12:09:43.413]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
12:09:43 [12:09:43.414]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
12:09:43 [12:09:43.414]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
12:09:43 [12:09:43.414]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
12:09:43 [12:09:43.414]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
12:09:43 [12:09:43.415]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
12:09:43 [12:09:43.415]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
12:09:43 [12:09:43.530]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.88MiB)
12:09:43 [12:09:43.559]
INFO:
ivc-integration:prove_wasm time to construct proving key: 150 ms. (mem: 555.63MiB)
12:09:43 [12:09:43.617]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.63MiB)
12:09:44 [12:09:44.478]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.63MiB)
12:09:44 [12:09:44.481]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 555.63MiB)
12:09:45 [12:09:45.257]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.63MiB)
12:09:45 [12:09:45.464]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
12:09:45 [12:09:45.850]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
12:09:46 [12:09:46.743]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
12:09:46 [12:09:46.744]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
12:09:46 [12:09:46.746]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 583.13MiB)
12:09:46 [12:09:46.747]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
12:09:46 [12:09:46.749]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
12:09:46 [12:09:46.749]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 583.13MiB)
12:09:46 [12:09:46.750]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 583.13MiB)
12:09:46 [12:09:46.750]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
12:09:46 [12:09:46.750]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 583.13MiB)
12:09:46 [12:09:46.751]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 583.13MiB)
12:09:46 [12:09:46.751]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 583.13MiB)
12:09:46 [12:09:46.751]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
12:09:46 [12:09:46.751]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 583.13MiB)
12:09:46 [12:09:46.752]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 583.13MiB)
12:09:46 [12:09:46.752]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 583.13MiB)
12:09:46 [12:09:46.752]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
12:09:46 [12:09:46.752]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
12:09:46 [12:09:46.753]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
12:09:46 [12:09:46.754]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
12:09:46 [12:09:46.778]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
12:09:46 [12:09:46.787]
INFO:
ivc-integration:prove_wasm time to construct proving key: 41 ms. (mem: 583.13MiB)
12:09:46 [12:09:46.831]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 583.13MiB)
12:09:47 [12:09:47.361]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 583.13MiB)
12:09:47 [12:09:47.362]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
12:09:47 [12:09:47.715]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 583.13MiB)
12:09:47 [12:09:47.907]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
12:09:48 [12:09:48.149]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
12:09:48 [12:09:48.583]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
12:09:48 [12:09:48.584]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
12:09:48 [12:09:48.602]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 583.13MiB)
12:09:48 [12:09:48.816]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
12:09:48 [12:09:48.977]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 583.13MiB)
12:09:48 [12:09:48.978]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
12:09:48 [12:09:48.986]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
12:09:48 [12:09:48.987]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 583.13MiB)
12:09:48 [12:09:48.989]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 583.13MiB)
12:09:48 [12:09:48.989]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
12:09:48 [12:09:48.990]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 583.13MiB)
12:09:48 [12:09:48.991]
INFO:
ivc-integration:prove_wasm arithmetic : 12208/56000 (mem: 583.13MiB)
12:09:48 [12:09:48.992]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 583.13MiB)
12:09:48 [12:09:48.992]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
12:09:48 [12:09:48.993]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 583.13MiB)
12:09:48 [12:09:48.993]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 583.13MiB)
12:09:48 [12:09:48.994]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 583.13MiB)
12:09:48 [12:09:48.994]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
12:09:48 [12:09:48.994]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
12:09:48 [12:09:48.994]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
12:09:48 [12:09:48.995]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
12:09:49 [12:09:49.014]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
12:09:49 [12:09:49.068]
INFO:
ivc-integration:prove_wasm time to construct proving key: 94 ms. (mem: 586.25MiB)
12:09:49 [12:09:49.242]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 586.25MiB)
12:09:50 [12:09:50.410]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 586.25MiB)
12:09:50 [12:09:50.412]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 586.25MiB)
12:09:51 [12:09:51.784]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 586.25MiB)
12:09:52 [12:09:52.072]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
12:09:52 [12:09:52.441]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
12:09:52 [12:09:52.969]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
12:09:52 [12:09:52.970]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
12:09:52 [12:09:52.981]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 610.38MiB)
12:09:53 [12:09:53.129]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 610.38MiB)
12:09:53 [12:09:53.130]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
12:09:53 [12:09:53.133]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
12:09:53 [12:09:53.134]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
12:09:53 [12:09:53.134]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 610.38MiB)
12:09:53 [12:09:53.135]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
12:09:53 [12:09:53.135]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 610.38MiB)
12:09:53 [12:09:53.135]
INFO:
ivc-integration:prove_wasm arithmetic : 6978/56000 (mem: 610.38MiB)
12:09:53 [12:09:53.136]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 610.38MiB)
12:09:53 [12:09:53.139]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
12:09:53 [12:09:53.139]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 610.38MiB)
12:09:53 [12:09:53.139]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 610.38MiB)
12:09:53 [12:09:53.140]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 610.38MiB)
12:09:53 [12:09:53.140]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
12:09:53 [12:09:53.140]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
12:09:53 [12:09:53.140]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
12:09:53 [12:09:53.141]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
12:09:53 [12:09:53.183]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
12:09:53 [12:09:53.214]
INFO:
ivc-integration:prove_wasm time to construct proving key: 87 ms. (mem: 610.38MiB)
12:09:53 [12:09:53.336]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
12:09:54 [12:09:54.529]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
12:09:54 [12:09:54.531]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 610.38MiB)
12:09:55 [12:09:55.580]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
12:09:55 [12:09:55.767]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
12:09:56 [12:09:56.105]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
12:09:56 [12:09:56.445]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
12:09:56 [12:09:56.445]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
12:09:56 [12:09:56.456]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 610.38MiB)
12:09:56 [12:09:56.608]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 610.38MiB)
12:09:56 [12:09:56.609]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
12:09:56 [12:09:56.611]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
12:09:56 [12:09:56.611]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
12:09:56 [12:09:56.612]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 610.38MiB)
12:09:56 [12:09:56.612]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
12:09:56 [12:09:56.612]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 610.38MiB)
12:09:56 [12:09:56.612]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 610.38MiB)
12:09:56 [12:09:56.613]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 610.38MiB)
12:09:56 [12:09:56.613]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
12:09:56 [12:09:56.613]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 610.38MiB)
12:09:56 [12:09:56.614]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 610.38MiB)
12:09:56 [12:09:56.614]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 610.38MiB)
12:09:56 [12:09:56.614]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
12:09:56 [12:09:56.614]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
12:09:56 [12:09:56.616]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
12:09:56 [12:09:56.617]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
12:09:56 [12:09:56.642]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
12:09:56 [12:09:56.669]
INFO:
ivc-integration:prove_wasm time to construct proving key: 64 ms. (mem: 610.38MiB)
12:09:56 [12:09:56.877]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
12:09:57 [12:09:57.417]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
12:09:57 [12:09:57.419]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 610.38MiB)
12:09:57 [12:09:57.964]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
12:09:58 [12:09:58.176]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
12:09:58 [12:09:58.497]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
12:09:58 [12:09:58.756]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
12:09:58 [12:09:58.757]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
12:09:58 [12:09:58.762]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 16607 (mem: 610.38MiB)
12:09:58 [12:09:58.763]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 610.38MiB)
12:09:58 [12:09:58.763]
INFO:
ivc-integration:prove_wasm Largest circuit: 48925 gates. Trace details: (mem: 610.38MiB)
12:09:58 [12:09:58.764]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 610.38MiB)
12:09:58 [12:09:58.765]
INFO:
ivc-integration:prove_wasm ecc_op : 792
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.765]
INFO:
ivc-integration:prove_wasm busread : 16
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.766]
INFO:
ivc-integration:prove_wasm lookup : 2
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.766]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.766]
INFO:
ivc-integration:prove_wasm arithmetic : 12208
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.767]
INFO:
ivc-integration:prove_wasm delta_range : 2981
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.768]
INFO:
ivc-integration:prove_wasm elliptic : 2
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.769]
INFO:
ivc-integration:prove_wasm aux : 350
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.769]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.770]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.770]
INFO:
ivc-integration:prove_wasm overflow : 0
12:09:58 (mem: 610.38MiB)
12:09:58 [12:09:58.771]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
12:09:58 [12:09:58.771]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 610.38MiB)
12:09:58 [12:09:58.926]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
12:09:59 [12:09:59.212]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
12:10:00 [12:10:00.454]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
12:10:00 [12:10:00.816]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
12:10:00 [12:10:00.817]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
12:10:00 [12:10:00.835]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 610.38MiB)
12:10:01 [12:10:01.029]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
12:10:01 [12:10:01.035]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
12:10:01 [12:10:01.052]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
12:10:01 [12:10:01.097]
INFO:
ivc-integration:prove_wasm time to construct proving key: 67 ms. (mem: 610.38MiB)
12:10:02 [12:10:02.049]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 610.38MiB)
12:10:02 [12:10:02.670]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 610.38MiB)
12:10:02 [12:10:02.703]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
12:10:02 [12:10:02.920]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
12:10:03 [12:10:03.785]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
12:10:03 [12:10:03.943]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
12:10:03 [12:10:03.944]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
12:10:03 [12:10:03.944]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 610.38MiB)
12:10:04 [12:10:04.084]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 610.38MiB)
12:10:06 [12:10:06.977]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
12:10:10 [12:10:10.259]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
12:10:15 [12:10:15.675]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 610.38MiB)
12:10:15 [12:10:15.676]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 610.38MiB)
12:10:18 [12:10:18.788]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
12:10:23 [12:10:23.007]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
12:10:26 [12:10:26.430]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
12:10:26 [12:10:26.431]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 610.38MiB)
12:10:26 [12:10:26.431]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 44282 (mem: 610.38MiB)
12:10:26 [12:10:26.436]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 610.38MiB)
12:10:26 [12:10:26.437]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.452]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 610.38MiB)
12:10:26 [12:10:26.495]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.496]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.496]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.496]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.715]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.719]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.719]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.720]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.911]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.912]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.912]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.914]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.914]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.914]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.918]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 610.38MiB)
12:10:26 [12:10:26.967]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.968]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.968]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
12:10:26 [12:10:26.968]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.157]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.157]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.158]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.158]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.200]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.200]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.200]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.201]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.201]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.201]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
12:10:27 [12:10:27.574]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
12:10:27
PASS src/wasm_client_ivc_integration.test.ts (
104.609 s)
12:10:27 Client IVC Integration
12:10:27
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (51262 ms)
12:10:27
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1647 ms)
12:10:27
✓ Should generate a verifiable client IVC proof from a complex mock tx (48111 ms)
12:10:27
12:10:27
Test Suites: 1 passed, 1 total
12:10:27
Tests: 3 passed, 3 total
12:10:27
Snapshots: 0 total
12:10:27
Time: 104.69 s
12:10:27
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
12:10:27
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?