Parent Log:
http://ci.aztec-labs.com/51fad2508877a18c
Command: 2f76ae4bba915073: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/87c4b689268afecc86ab007c3587e45110daa43d
Env: REF_NAME=gh-readonly-queue/next/pr-15220-282da3bd25d49b92970e6fc85f110092e8566299 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 16:30:22 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15220_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
16:30:27 [16:30:27.754]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
16:30:27 [16:30:27.763]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-DxVfGA/ivc-inputs.msgpack
16:30:27 [16:30:27.765]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
16:30:27 [16:30:27.765]
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-DxVfGA --ivc_inputs_path /tmp/bb-client-ivc-integration-DxVfGA/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:30:27 [16:30:27.931]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12115448 bytes
16:30:27 [16:30:27.942]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 237.10 MiB)
16:30:27 Scheme is: client_ivc, num threads: 128 (mem: 237.10 MiB)
16:30:27 --scheme: client_ivc (mem: 237.10 MiB)
16:30:27 --output_path: /tmp/bb-client-ivc-integration-DxVfGA (mem: 237.10 MiB)
16:30:27 --ivc_inputs_path: /tmp/bb-client-ivc-integration-DxVfGA/ivc-inputs.msgpack (mem: 237.10 MiB)
16:30:27 --verbose: true (mem: 237.10 MiB)
16:30:27 --write_vk: true (mem: 237.10 MiB)
16:30:27 BN254 commitment key size: 262144 (mem: 237.10 MiB)
16:30:27 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 237.10 MiB)
16:30:27 Initialized BN254 CRS from memory with num points = 262145 (mem: 237.10 MiB)
16:30:27 ClientIVC: accumulating unknown_0 (mem: 237.10 MiB)
16:30:27 Constructing DeciderProvingKey (mem: 237.10 MiB)
16:30:27 Gate blocks summary: (actual gates / fixed capacity) (mem: 237.10 MiB)
16:30:27 goblin ecc op : 4/1024 (mem: 237.10 MiB)
16:30:27 busread : 7/6000 (mem: 237.10 MiB)
16:30:27 lookups : 2/15000 (mem: 237.10 MiB)
16:30:27 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 237.10 MiB)
16:30:27 arithmetic : 1760/56000 (mem: 237.10 MiB)
16:30:27 delta range : 1754/18000 (mem: 237.10 MiB)
16:30:27 elliptic : 2/6000 (mem: 237.10 MiB)
16:30:27 auxiliary : 26/26000 (mem: 237.10 MiB)
16:30:27 poseidon ext : 2/17000 (mem: 237.10 MiB)
16:30:27 poseidon int : 2/92000 (mem: 237.10 MiB)
16:30:27 overflow : 0/0 (mem: 237.10 MiB)
16:30:27 (mem: 237.10 MiB)
16:30:27 Total structured size: 242025 (mem: 237.10 MiB)
16:30:27 allocating polynomials object in proving key... (mem: 237.10 MiB)
16:30:27 [16:30:27.974]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
16:30:28 [16:30:28.146]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 347.42 MiB)
16:30:28 [16:30:28.161]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 290 ms. (mem: 358.42 MiB)
16:30:28 [16:30:28.246]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x59e45de8ce00 (mem: 358.42 MiB)
16:30:28 computing oink proof... (mem: 358.42 MiB)
16:30:28 [16:30:28.247]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 358.42 MiB)
16:30:28 [16:30:28.354]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
16:30:28 [16:30:28.358]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
16:30:28 [16:30:28.475]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 370.42 MiB)
16:30:28 [16:30:28.482]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 371.42 MiB)
16:30:28 [16:30:28.498]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 371.42 MiB)
16:30:28 Constructing DeciderProvingKey (mem: 371.42 MiB)
16:30:28 [16:30:28.501]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 371.42 MiB)
16:30:28 goblin ecc op : 56/1024 (mem: 371.42 MiB)
16:30:28 busread : 12/6000 (mem: 371.42 MiB)
16:30:28 lookups : 2/15000 (mem: 371.42 MiB)
16:30:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 371.42 MiB)
16:30:28 arithmetic : 4676/56000 (mem: 371.42 MiB)
16:30:28 delta range : 2073/18000 (mem: 371.42 MiB)
16:30:28 elliptic : 2/6000 (mem: 371.42 MiB)
16:30:28 auxiliary : 110/26000 (mem: 371.42 MiB)
16:30:28 poseidon ext : 1322/17000 (mem: 371.42 MiB)
16:30:28 [16:30:28.502]
INFO:
ivc-integration:test:wasm bb - poseidon int : 7526/92000 (mem: 371.42 MiB)
16:30:28 overflow : 0/0 (mem: 371.42 MiB)
16:30:28 (mem: 371.42 MiB)
16:30:28 Total structured size: 242025 (mem: 371.42 MiB)
16:30:28 allocating polynomials object in proving key... (mem: 371.42 MiB)
16:30:28 [16:30:28.577]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 572.42 MiB)
16:30:28 [16:30:28.601]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 102 ms. (mem: 588.42 MiB)
16:30:28 [16:30:28.816]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x59e45de99b00 (mem: 588.42 MiB)
16:30:28 computing folding proof (mem: 588.42 MiB)
16:30:28 [16:30:28.816]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 588.42 MiB)
16:30:29 [16:30:29.147]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key
16:30:29 [16:30:29.148]
INFO:
ivc-integration:test:wasm bb - (mem: 590.42 MiB)
16:30:29 [16:30:29.233]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 628.42 MiB)
16:30:29 [16:30:29.311]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 660.42 MiB)
16:30:29 [16:30:29.646]
INFO:
ivc-integration:test:wasm bb - folded (mem: 660.42 MiB)
16:30:29 [16:30:29.646]
INFO:
ivc-integration:test:wasm bb - constructed folding proof (mem: 660.42 MiB)
16:30:29 [16:30:29.659]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 660.42 MiB)
16:30:29 [16:30:29.705]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
16:30:29 [16:30:29.708]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
16:30:30 [16:30:30.316]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 660.42 MiB)
16:30:30 Constructing DeciderProvingKey (mem: 660.42 MiB)
16:30:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 660.42 MiB)
16:30:30 goblin ecc op : 392/1024 (mem: 660.42 MiB)
16:30:30 busread : 3/6000 (mem: 660.42 MiB)
16:30:30 lookups : 2/15000 (mem: 660.42 MiB)
16:30:30 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 660.42 MiB)
16:30:30 arithmetic : 6912/56000 (mem: 660.42 MiB)
16:30:30 delta range : 2353/18000 (mem: 660.42 MiB)
16:30:30 elliptic : 2/6000 (mem: 660.42 MiB)
16:30:30 auxiliary : 50/26000 (mem: 660.42 MiB)
16:30:30 poseidon ext : 2492/17000 (mem: 660.42 MiB)
16:30:30 poseidon int : 14195/92000 (mem: 660.42 MiB)
16:30:30 overflow : 0/0 (mem: 660.42 MiB)
16:30:30 (mem: 660.42 MiB)
16:30:30 Total structured size: 242025 (mem: 660.42 MiB)
16:30:30 allocating polynomials object in proving key... (mem: 660.42 MiB)
16:30:30 populating trace... (mem: 660.42 MiB)
16:30:30 time to construct proving key: 139 ms. (mem: 660.42 MiB)
16:30:30 getting honk vk... precomputed?: 0x59e45dea4fc0 (mem: 660.42 MiB)
16:30:30 computing folding proof (mem: 660.42 MiB)
16:30:30 vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 660.42 MiB)
16:30:30 [16:30:30.642]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 660.42 MiB)
16:30:30 [16:30:30.717]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 660.42 MiB)
16:30:30 [16:30:30.765]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 669.44 MiB)
16:30:31 [16:30:31.033]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
16:30:31 [16:30:31.034]
INFO:
ivc-integration:test:wasm bb - folded (mem: 669.44 MiB)
16:30:31 constructed folding proof (mem: 669.44 MiB)
16:30:31 Largest circuit: 26009 gates. Trace details: (mem: 669.44 MiB)
16:30:31 Minimum required block sizes for structured trace: (mem: 669.44 MiB)
16:30:31 (mem: 669.44 MiB)
16:30:31 prove decider... (mem: 669.44 MiB)
16:30:31 [16:30:31.035]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
16:30:31 busread : 12
16:30:31 lookup : 2
16:30:31 pub_inputs : 36
16:30:31 arithmetic : 6912
16:30:31 delta_range : 2353
16:30:31 elliptic : 2
16:30:31 aux : 110
16:30:31 poseidon2_external : 2492
16:30:31 poseidon2_internal : 14195
16:30:31 overflow : 0
16:30:31 [16:30:31.093]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
16:30:31 [16:30:31.119]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
16:30:31 [16:30:31.120]
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)
16:30:31 [16:30:31.127]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
16:30:31 [16:30:31.128]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
16:30:31 [16:30:31.165]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 669.44 MiB)
16:30:31 [16:30:31.172]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
16:30:31 [16:30:31.174]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
16:30:31 [16:30:31.174]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
16:30:31 [16:30:31.175]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
16:30:31 [16:30:31.175]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
16:30:31 [16:30:31.177]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
16:30:31 [16:30:31.177]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
16:30:31 [16:30:31.178]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
16:30:31 [16:30:31.179]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
16:30:31 [16:30:31.179]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
16:30:31 [16:30:31.179]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
16:30:31 [16:30:31.180]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
16:30:31 [16:30:31.180]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
16:30:31 [16:30:31.180]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
16:30:31 [16:30:31.181]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
16:30:31 [16:30:31.268]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
16:30:31 [16:30:31.298]
INFO:
ivc-integration:prove_wasm time to construct proving key: 169 ms. (mem: 316.56MiB)
16:30:31 [16:30:31.322]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 316.56MiB)
16:30:31 [16:30:31.344]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 669.44 MiB)
16:30:31 [16:30:31.870]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 316.56MiB)
16:30:31 [16:30:31.874]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 316.56MiB)
16:30:32 [16:30:32.223]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
16:30:32 [16:30:32.243]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
16:30:32 [16:30:32.283]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
16:30:32 [16:30:32.285]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
16:30:32 [16:30:32.290]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
16:30:32 [16:30:32.290]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
16:30:32 [16:30:32.291]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
16:30:32 [16:30:32.291]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
16:30:32 [16:30:32.291]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
16:30:32 [16:30:32.292]
INFO:
ivc-integration:prove_wasm arithmetic : 4676/56000 (mem: 317.94MiB)
16:30:32 [16:30:32.292]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
16:30:32 [16:30:32.292]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
16:30:32 [16:30:32.293]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
16:30:32 [16:30:32.294]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
16:30:32 [16:30:32.294]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
16:30:32 [16:30:32.295]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
16:30:32 [16:30:32.295]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
16:30:32 [16:30:32.295]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
16:30:32 [16:30:32.296]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
16:30:32 [16:30:32.399]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.25MiB)
16:30:32 [16:30:32.429]
INFO:
ivc-integration:prove_wasm time to construct proving key: 146 ms. (mem: 555.19MiB)
16:30:32 [16:30:32.503]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.19MiB)
16:30:32 [16:30:32.665]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 669.44 MiB)
16:30:32 [16:30:32.778]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 669.44 MiB)
16:30:32 finished decider proving. (mem: 669.44 MiB)
16:30:32 [16:30:32.800]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 669.44 MiB)
16:30:32 [16:30:32.916]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 669.44 MiB)
16:30:32 [16:30:32.921]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 669.44 MiB)
16:30:33 [16:30:33.182]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 669.44 MiB)
16:30:33 [16:30:33.252]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 336 ms. (mem: 669.44 MiB)
16:30:33 [16:30:33.293]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.19MiB)
16:30:33 [16:30:33.294]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 555.19MiB)
16:30:33 [16:30:33.991]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.19MiB)
16:30:34 [16:30:34.311]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 582.63MiB)
16:30:34 [16:30:34.660]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 582.63MiB)
16:30:34 [16:30:34.872]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186
16:30:34 [16:30:34.873]
INFO:
ivc-integration:test:wasm bb - (mem: 669.44 MiB)
16:30:35 [16:30:35.308]
INFO:
ivc-integration:prove_wasm folded (mem: 582.63MiB)
16:30:35 [16:30:35.309]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 582.63MiB)
16:30:35 [16:30:35.323]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 582.63MiB)
16:30:35 [16:30:35.487]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 582.63MiB)
16:30:35 [16:30:35.489]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 582.63MiB)
16:30:35 [16:30:35.495]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 582.63MiB)
16:30:35 [16:30:35.496]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 582.63MiB)
16:30:35 [16:30:35.496]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 582.63MiB)
16:30:35 [16:30:35.497]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 582.63MiB)
16:30:35 [16:30:35.497]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 582.63MiB)
16:30:35 [16:30:35.497]
INFO:
ivc-integration:prove_wasm arithmetic : 6912/56000 (mem: 582.63MiB)
16:30:35 [16:30:35.498]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 582.63MiB)
16:30:35 [16:30:35.499]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 582.63MiB)
16:30:35 [16:30:35.499]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 582.63MiB)
16:30:35 [16:30:35.500]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 582.63MiB)
16:30:35 [16:30:35.501]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 582.63MiB)
16:30:35 [16:30:35.501]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 582.63MiB)
16:30:35 [16:30:35.502]
INFO:
ivc-integration:prove_wasm (mem: 582.63MiB)
16:30:35 [16:30:35.503]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 582.63MiB)
16:30:35 [16:30:35.503]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 582.63MiB)
16:30:35 [16:30:35.519]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 582.63MiB)
16:30:35 [16:30:35.555]
INFO:
ivc-integration:prove_wasm time to construct proving key: 66 ms. (mem: 582.63MiB)
16:30:35 [16:30:35.627]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 669.44 MiB)
16:30:35 [16:30:35.768]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 582.63MiB)
16:30:36 [16:30:36.053]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 669.44 MiB)
16:30:36 [16:30:36.637]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 582.63MiB)
16:30:36 [16:30:36.643]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 582.63MiB)
16:30:37 [16:30:37.509]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 582.63MiB)
16:30:37 [16:30:37.745]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 590.56MiB)
16:30:37 [16:30:37.776]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 669.44 MiB)
16:30:38 [16:30:38.055]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 590.56MiB)
16:30:38 [16:30:38.761]
INFO:
ivc-integration:prove_wasm folded (mem: 590.56MiB)
16:30:38 [16:30:38.763]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 590.56MiB)
16:30:38 [16:30:38.763]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 7663 (mem: 590.56MiB)
16:30:38 [16:30:38.764]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 590.56MiB)
16:30:38 [16:30:38.765]
INFO:
ivc-integration:prove_wasm Largest circuit: 26009 gates. Trace details: (mem: 590.56MiB)
16:30:38 [16:30:38.765]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 590.56MiB)
16:30:38 [16:30:38.766]
INFO:
ivc-integration:prove_wasm ecc_op : 392
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.767]
INFO:
ivc-integration:prove_wasm busread : 12
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.767]
INFO:
ivc-integration:prove_wasm lookup : 2
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.767]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.768]
INFO:
ivc-integration:prove_wasm arithmetic : 6912
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.768]
INFO:
ivc-integration:prove_wasm delta_range : 2353
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.769]
INFO:
ivc-integration:prove_wasm elliptic : 2
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.769]
INFO:
ivc-integration:prove_wasm aux : 110
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.769]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.770]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.770]
INFO:
ivc-integration:prove_wasm overflow : 0
16:30:38 (mem: 590.56MiB)
16:30:38 [16:30:38.770]
INFO:
ivc-integration:prove_wasm (mem: 590.56MiB)
16:30:38 [16:30:38.771]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 590.56MiB)
16:30:38 [16:30:38.950]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
16:30:39 [16:30:39.192]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 669.44 MiB)
16:30:39 [16:30:39.308]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 669.44 MiB)
16:30:39 finished decider proving. (mem:
16:30:39 [16:30:39.309]
INFO:
ivc-integration:test:wasm bb - 669.44 MiB)
16:30:39 Constructing a Goblin proof with num ultra ops = 1038 (mem: 669.44 MiB)
16:30:39 [16:30:39.334]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
16:30:39 [16:30:39.720]
INFO:
ivc-integration:test:wasm bb - prove eccvm...
16:30:39 [16:30:39.721]
INFO:
ivc-integration:test:wasm bb - (mem: 669.44 MiB)
16:30:40 [16:30:40.222]
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: 669.44 MiB)
16:30:40 [16:30:40.230]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 65537
16:30:40 [16:30:40.231]
INFO:
ivc-integration:test:wasm bb - (mem:
16:30:40 [16:30:40.232]
INFO:
ivc-integration:test:wasm bb - 669.44
16:30:40 [16:30:40.233]
INFO:
ivc-integration:test:wasm bb - MiB)
16:30:41 [16:30:41.471]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
16:30:41 [16:30:41.936]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
16:30:41 [16:30:41.937]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
16:30:41 [16:30:41.970]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 590.56MiB)
16:30:42 [16:30:42.217]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 590.56MiB)
16:30:42 [16:30:42.229]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 590.56MiB)
16:30:42 [16:30:42.291]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 590.56MiB)
16:30:42 [16:30:42.354]
INFO:
ivc-integration:prove_wasm time to construct proving key: 136 ms. (mem: 590.56MiB)
16:30:42 [16:30:42.823]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
16:30:42 [16:30:42.823]
INFO:
ivc-integration:test:wasm bb - (mem:
16:30:42 [16:30:42.824]
INFO:
ivc-integration:test:wasm bb - 669.44 MiB)
16:30:44 [16:30:44.107]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 590.56MiB)
16:30:45 [16:30:45.260]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 669.44 MiB)
16:30:45 [16:30:45.322]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 590.56MiB)
16:30:45 [16:30:45.368]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
16:30:45 [16:30:45.840]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
16:30:47 [16:30:47.290]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
16:30:47 [16:30:47.504]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
16:30:47 [16:30:47.506]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
16:30:47 [16:30:47.507]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 590.56MiB)
16:30:47 [16:30:47.619]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 590.56MiB)
16:30:49 [16:30:49.946]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 669.44 MiB)
16:30:49 prove translator... (mem: 669.44 MiB)
16:30:50 [16:30:50.492]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
16:30:51 [16:30:51.955]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 702.06 MiB)
16:30:54 [16:30:54.186]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
16:30:55 [16:30:55.200]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 702.06 MiB)
16:30:58 [16:30:58.442]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 702.06 MiB)
16:30:58 finished translator proving. (mem: 702.06 MiB)
16:30:58 [16:30:58.446]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 702.06 MiB)
16:30:58 [16:30:58.458]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 702.06 MiB)
16:30:58 libra_evals_verified: 1 (mem: 702.06 MiB)
16:30:58 pairing_check_verified: 1 (mem: 702.06 MiB)
16:30:58 Mega verified: 1 (mem: 702.06 MiB)
16:30:58 [16:30:58.646]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 703.06 MiB)
16:30:58 batch opening verified?: 1 (mem: 703.06 MiB)
16:30:58 eccvm consistency check verified?: 1 (mem: 703.06
16:30:58 [16:30:58.653]
INFO:
ivc-integration:test:wasm bb - MiB)
16:30:58 translation masking consistency checked?: 1 (mem: 703.06 MiB)
16:30:58 [16:30:58.673]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 704.06 MiB)
16:30:58 eccvm verified?: 1 (mem: 704.06 MiB)
16:30:58 accumulator construction_verified?: 1 (mem: 704.06 MiB)
16:30:58 translation verified?: 1 (mem: 704.06 MiB)
16:30:58 consistency verified?: 1 (mem: 704.06 MiB)
16:30:58 Goblin verified: 1 (mem: 704.06 MiB)
16:30:58 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-DxVfGA" (mem: 704.06 MiB)
16:30:58 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-DxVfGA" (mem: 704.06 MiB)
16:30:58 BN254 commitment key size: 262144 (mem: 704.06 MiB)
16:30:58 [16:30:58.684]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 704.06 MiB)
16:30:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 704.06 MiB)
16:30:58 goblin ecc op : 4/1024 (mem: 704.06 MiB)
16:30:58 busread : 3/6000 (mem: 704.06 MiB)
16:30:58 lookups : 2/15000 (mem: 704.06 MiB)
16:30:58 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 704.06 MiB)
16:30:58 arithmetic : 1773/56000 (mem: 704.06 MiB)
16:30:58 delta range : 1754/18000 (mem: 704.06 MiB)
16:30:58 elliptic : 2/6000 (mem: 704.06 MiB)
16:30:58 auxiliary : 26/26000 (mem: 704.06 MiB)
16:30:58 poseidon ext : 2/17000 (mem: 704.06 MiB)
16:30:58 poseidon int : 2/92000 (mem: 704.06 MiB)
16:30:58 overflow : 0/0 (mem: 704.06 MiB)
16:30:58 (mem: 704.06 MiB)
16:30:58 Total structured size: 242025 (mem: 704.06 MiB)
16:30:58 allocating polynomials object in proving key... (mem: 704.06 MiB)
16:30:58 [16:30:58.889]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 704.06 MiB)
16:30:58 [16:30:58.950]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 274 ms. (mem: 704.06 MiB)
16:30:59 [16:30:59.205]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 704.06 MiB)
16:30:59 [16:30:59.856]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 707.06 MiB)
16:30:59 [16:30:59.858]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 707.06 MiB)
16:31:00 [16:31:00.343]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 707.06 MiB)
16:31:00 [16:31:00.354]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 707.06 MiB)
16:31:00 [16:31:00.368]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 707.06 MiB)
16:31:00 [16:31:00.371]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.06 MiB)
16:31:00 [16:31:00.372]
INFO:
ivc-integration:test:wasm bb - goblin ecc op : 56/1024 (mem: 707.06 MiB)
16:31:00 busread : 3/6000 (mem: 707.06 MiB)
16:31:00 lookups : 2/15000 (mem: 707.06 MiB)
16:31:00 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 707.06 MiB)
16:31:00 arithmetic : 4532/56000 (mem: 707.06 MiB)
16:31:00 delta range : 2060/18000 (mem: 707.06 MiB)
16:31:00 elliptic : 2/6000 (mem: 707.06 MiB)
16:31:00 auxiliary : 50/26000 (mem: 707.06 MiB)
16:31:00 poseidon ext : 1332/17000 (mem: 707.06 MiB)
16:31:00 poseidon int : 7583/92000 (mem: 707.06 MiB)
16:31:00 overflow : 0/0 (mem: 707.06 MiB)
16:31:00 (mem: 707.06 MiB)
16:31:00 Total structured size: 242025 (mem: 707.06 MiB)
16:31:00 allocating polynomials object in proving key... (mem: 707.06 MiB)
16:31:00 [16:31:00.577]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 707.06 MiB)
16:31:00 [16:31:00.679]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 311 ms. (mem: 707.06 MiB)
16:31:00 [16:31:00.999]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 707.06 MiB)
16:31:01 [16:31:01.701]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 709.06 MiB)
16:31:01 [16:31:01.702]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 709.06 MiB)
16:31:02 [16:31:02.278]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 709.06 MiB)
16:31:02 [16:31:02.441]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 709.06 MiB)
16:31:02 [16:31:02.516]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 741.06 MiB)
16:31:02 [16:31:02.762]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 590.56MiB)
16:31:02 [16:31:02.763]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 590.56MiB)
16:31:02 [16:31:02.825]
INFO:
ivc-integration:test:wasm bb - folded (mem: 741.06 MiB)
16:31:02 constructed folding proof (mem: 741.06 MiB)
16:31:02 Largest circuit: 15564 gates. Trace details: (mem: 741.06 MiB)
16:31:02 Minimum required block sizes for structured trace: (mem: 741.06 MiB)
16:31:02 (mem: 741.06 MiB)
16:31:02 prove decider... (mem: 741.06 MiB)
16:31:02 [16:31:02.826]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
16:31:02 busread : 3
16:31:02 lookup : 2
16:31:02 pub_inputs : 36
16:31:02 arithmetic : 4532
16:31:02 delta_range : 2060
16:31:02 elliptic : 2
16:31:02 aux : 50
16:31:02 poseidon2_external : 1332
16:31:02 poseidon2_internal : 7583
16:31:02 overflow : 0
16:31:03 [16:31:03.046]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 741.06 MiB)
16:31:03 [16:31:03.277]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 741.06 MiB)
16:31:04 [16:31:05.000]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction
16:31:05 [16:31:05.001]
INFO:
ivc-integration:test:wasm bb - (mem: 741.06 MiB)
16:31:05 [16:31:05.193]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 741.06 MiB)
16:31:05 finished decider proving. (mem: 741.06 MiB)
16:31:05 [16:31:05.204]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 741.06 MiB)
16:31:05 [16:31:05.288]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 741.06 MiB)
16:31:05 [16:31:05.293]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 741.06 MiB)
16:31:05 [16:31:05.356]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
16:31:05 [16:31:05.426]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 741.06 MiB)
16:31:05 [16:31:05.460]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 171 ms. (mem: 741.06 MiB)
16:31:09 [16:31:09.955]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
16:31:13 [16:31:13.528]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
16:31:13 [16:31:13.529]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 590.56MiB)
16:31:13 [16:31:13.530]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 42432 (mem: 590.56MiB)
16:31:13 [16:31:13.549]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 590.56MiB)
16:31:13 [16:31:13.550]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 590.56MiB)
16:31:13 [16:31:13.575]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 590.56MiB)
16:31:13 [16:31:13.649]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 590.56MiB)
16:31:13 [16:31:13.649]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 590.56MiB)
16:31:13 [16:31:13.650]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 590.56MiB)
16:31:13 [16:31:13.650]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 590.56MiB)
16:31:13 [16:31:13.945]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 590.56MiB)
16:31:13 [16:31:13.946]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 590.56MiB)
16:31:13 [16:31:13.946]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 590.56MiB)
16:31:13 [16:31:13.947]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 590.56MiB)
16:31:14 [16:31:14.030]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 590.56MiB)
16:31:14 [16:31:14.031]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 590.56MiB)
16:31:14 [16:31:14.032]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 590.56MiB)
16:31:14 [16:31:14.032]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 590.56MiB)
16:31:14 [16:31:14.033]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 590.56MiB)
16:31:14 [16:31:14.033]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 590.56MiB)
16:31:14 [16:31:14.655]
INFO:
ivc-integration:test:wasm BB concurrency: 1
16:31:14 [16:31:14.655]
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-DxVfGA/proof -k /tmp/bb-client-ivc-integration-DxVfGA/vk -v
16:31:14 [16:31:14.731]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 1014.64 MiB)
16:31:14 Scheme is: client_ivc, num threads: 1 (mem: 1014.64 MiB)
16:31:14 --proof_path: /tmp/bb-client-ivc-integration-DxVfGA/proof (mem: 1014.64 MiB)
16:31:14 --vk_path: /tmp/bb-client-ivc-integration-DxVfGA/vk (mem: 1014.64 MiB)
16:31:14 --verbose: true (mem: 1014.64 MiB)
16:31:14 --scheme: client_ivc (mem: 1014.64 MiB)
16:31:14 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1014.64 MiB)
16:31:14 [16:31:14.753]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1014.64 MiB)
16:31:14 [16:31:14.755]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 1014.64 MiB)
16:31:14 [16:31:14.771]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1014.64 MiB)
16:31:14 [16:31:14.772]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1 (mem: 1014.64 MiB)
16:31:14 sumcheck_verified: 1 (mem: 1014.64 MiB)
16:31:14 libra_evals_verified: 1 (mem: 1014.64 MiB)
16:31:14 pairing_check_verified: 1 (mem: 1014.64 MiB)
16:31:14 Mega verified: 1 (mem: 1014.64 MiB)
16:31:15 [16:31:15.246]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 1014.64 MiB)
16:31:15 batch opening verified?: 1 (mem: 1014.64 MiB)
16:31:15 eccvm consistency check verified?: 1 (mem: 1014.64 MiB)
16:31:15 translation masking consistency checked?: 1 (mem: 1014.64 MiB)
16:31:15 [16:31:15.263]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 1014.64 MiB)
16:31:15 eccvm verified?: 1 (mem: 1014.64 MiB)
16:31:15 accumulator construction_verified?: 1 (mem: 1014.64 MiB)
16:31:15 translation verified?: 1 (mem: 1014.64 MiB)
16:31:15 consistency verified?: 1 (mem: 1014.64 MiB)
16:31:15 [16:31:15.264]
INFO:
ivc-integration:test:wasm Goblin verified: 1 (mem: 1014.64 MiB)
16:31:15 verified: 1 (mem: 1014.64 MiB)
16:31:15 [16:31:15.282]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
16:31:15 [16:31:15.466]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12115448 bytes
16:31:15 [16:31:15.506]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
16:31:15 [16:31:15.877]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
16:31:15 [16:31:15.903]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
16:31:15 [16:31:15.904]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
16:31:16 [16:31:16.632]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
16:31:16 [16:31:16.702]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
16:31:16 [16:31:16.705]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
16:31:16 [16:31:16.728]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
16:31:16 [16:31:16.735]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 194.06MiB)
16:31:16 [16:31:16.770]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
16:31:16 [16:31:16.780]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 194.06MiB)
16:31:16 [16:31:16.980]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15723,"2":26009}
16:31:17 [16:31:17.097]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
16:31:17 [16:31:17.230]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12115448 bytes
16:31:17 [16:31:17.272]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
16:31:17 [16:31:17.601]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
16:31:17 [16:31:17.624]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
16:31:18 [16:31:18.621]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
16:31:18 [16:31:18.622]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
16:31:19 [16:31:19.456]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
16:31:19 [16:31:19.515]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
16:31:19 [16:31:19.542]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
16:31:19 [16:31:19.542]
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)
16:31:19 [16:31:19.550]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
16:31:19 [16:31:19.551]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
16:31:19 [16:31:19.555]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
16:31:19 [16:31:19.560]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
16:31:19 [16:31:19.561]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
16:31:19 [16:31:19.561]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
16:31:19 [16:31:19.561]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
16:31:19 [16:31:19.561]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
16:31:19 [16:31:19.562]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
16:31:19 [16:31:19.562]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
16:31:19 [16:31:19.562]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
16:31:19 [16:31:19.563]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
16:31:19 [16:31:19.563]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
16:31:19 [16:31:19.563]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
16:31:19 [16:31:19.563]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
16:31:19 [16:31:19.564]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
16:31:19 [16:31:19.564]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
16:31:19 [16:31:19.614]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
16:31:19 [16:31:19.635]
INFO:
ivc-integration:prove_wasm time to construct proving key: 86 ms. (mem: 317.06MiB)
16:31:19 [16:31:19.654]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 317.06MiB)
16:31:19 [16:31:19.924]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 317.06MiB)
16:31:19 [16:31:19.926]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.06MiB)
16:31:20 [16:31:20.220]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
16:31:20 [16:31:20.235]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
16:31:20 [16:31:20.263]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
16:31:20 [16:31:20.264]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
16:31:20 [16:31:20.268]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
16:31:20 [16:31:20.272]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
16:31:20 [16:31:20.272]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
16:31:20 [16:31:20.272]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
16:31:20 [16:31:20.273]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
16:31:20 [16:31:20.273]
INFO:
ivc-integration:prove_wasm arithmetic : 4676/56000 (mem: 317.94MiB)
16:31:20 [16:31:20.273]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
16:31:20 [16:31:20.274]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
16:31:20 [16:31:20.274]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
16:31:20 [16:31:20.274]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
16:31:20 [16:31:20.274]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
16:31:20 [16:31:20.275]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
16:31:20 [16:31:20.275]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
16:31:20 [16:31:20.275]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
16:31:20 [16:31:20.276]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
16:31:20 [16:31:20.332]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.56MiB)
16:31:20 [16:31:20.362]
INFO:
ivc-integration:prove_wasm time to construct proving key: 101 ms. (mem: 555.63MiB)
16:31:20 [16:31:20.398]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.63MiB)
16:31:20 [16:31:20.907]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.63MiB)
16:31:20 [16:31:20.911]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 555.63MiB)
16:31:21 [16:31:21.349]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.63MiB)
16:31:21 [16:31:21.537]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
16:31:21 [16:31:21.822]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
16:31:22 [16:31:22.087]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
16:31:22 [16:31:22.087]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
16:31:22 [16:31:22.091]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 583.13MiB)
16:31:22 [16:31:22.091]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
16:31:22 [16:31:22.095]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
16:31:22 [16:31:22.096]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 583.13MiB)
16:31:22 [16:31:22.096]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 583.13MiB)
16:31:22 [16:31:22.096]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
16:31:22 [16:31:22.097]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 583.13MiB)
16:31:22 [16:31:22.097]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 583.13MiB)
16:31:22 [16:31:22.097]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 583.13MiB)
16:31:22 [16:31:22.097]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
16:31:22 [16:31:22.098]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 583.13MiB)
16:31:22 [16:31:22.098]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 583.13MiB)
16:31:22 [16:31:22.098]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 583.13MiB)
16:31:22 [16:31:22.099]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
16:31:22 [16:31:22.099]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
16:31:22 [16:31:22.099]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
16:31:22 [16:31:22.099]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
16:31:22 [16:31:22.115]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
16:31:22 [16:31:22.123]
INFO:
ivc-integration:prove_wasm time to construct proving key: 31 ms. (mem: 583.13MiB)
16:31:22 [16:31:22.172]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 583.13MiB)
16:31:22 [16:31:22.380]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 583.13MiB)
16:31:22 [16:31:22.382]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
16:31:22 [16:31:22.545]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 583.13MiB)
16:31:22 [16:31:22.684]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
16:31:22 [16:31:22.940]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
16:31:23 [16:31:23.160]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
16:31:23 [16:31:23.161]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
16:31:23 [16:31:23.173]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 583.13MiB)
16:31:23 [16:31:23.301]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
16:31:23 [16:31:23.414]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 583.13MiB)
16:31:23 [16:31:23.415]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
16:31:23 [16:31:23.419]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
16:31:23 [16:31:23.420]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 583.13MiB)
16:31:23 [16:31:23.420]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 583.13MiB)
16:31:23 [16:31:23.420]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
16:31:23 [16:31:23.421]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 583.13MiB)
16:31:23 [16:31:23.421]
INFO:
ivc-integration:prove_wasm arithmetic : 12206/56000 (mem: 583.13MiB)
16:31:23 [16:31:23.421]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 583.13MiB)
16:31:23 [16:31:23.421]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
16:31:23 [16:31:23.422]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 583.13MiB)
16:31:23 [16:31:23.422]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 583.13MiB)
16:31:23 [16:31:23.422]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 583.13MiB)
16:31:23 [16:31:23.423]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
16:31:23 [16:31:23.423]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
16:31:23 [16:31:23.423]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
16:31:23 [16:31:23.423]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
16:31:23 [16:31:23.464]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
16:31:23 [16:31:23.506]
INFO:
ivc-integration:prove_wasm time to construct proving key: 91 ms. (mem: 586.25MiB)
16:31:23 [16:31:23.633]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 586.25MiB)
16:31:24 [16:31:24.915]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 586.25MiB)
16:31:24 [16:31:24.918]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 586.25MiB)
16:31:26 [16:31:26.539]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 586.25MiB)
16:31:26 [16:31:26.956]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
16:31:27 [16:31:27.334]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
16:31:28 [16:31:28.030]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
16:31:28 [16:31:28.031]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
16:31:28 [16:31:28.051]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 610.38MiB)
16:31:28 [16:31:28.268]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 610.38MiB)
16:31:28 [16:31:28.269]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
16:31:28 [16:31:28.288]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
16:31:28 [16:31:28.289]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
16:31:28 [16:31:28.289]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 610.38MiB)
16:31:28 [16:31:28.290]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
16:31:28 [16:31:28.290]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 610.38MiB)
16:31:28 [16:31:28.290]
INFO:
ivc-integration:prove_wasm arithmetic : 6977/56000 (mem: 610.38MiB)
16:31:28 [16:31:28.290]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 610.38MiB)
16:31:28 [16:31:28.291]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
16:31:28 [16:31:28.291]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 610.38MiB)
16:31:28 [16:31:28.291]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 610.38MiB)
16:31:28 [16:31:28.291]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 610.38MiB)
16:31:28 [16:31:28.292]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
16:31:28 [16:31:28.292]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
16:31:28 [16:31:28.292]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
16:31:28 [16:31:28.294]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
16:31:28 [16:31:28.353]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
16:31:28 [16:31:28.409]
INFO:
ivc-integration:prove_wasm time to construct proving key: 138 ms. (mem: 610.38MiB)
16:31:28 [16:31:28.896]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
16:31:29 [16:31:29.741]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
16:31:29 [16:31:29.743]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 610.38MiB)
16:31:30 [16:31:30.680]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
16:31:31 [16:31:31.018]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
16:31:31 [16:31:31.451]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
16:31:32 [16:31:32.180]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
16:31:32 [16:31:32.181]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
16:31:32 [16:31:32.195]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 610.38MiB)
16:31:32 [16:31:32.371]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 610.38MiB)
16:31:32 [16:31:32.371]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
16:31:32 [16:31:32.376]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
16:31:32 [16:31:32.376]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
16:31:32 [16:31:32.377]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 610.38MiB)
16:31:32 [16:31:32.377]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
16:31:32 [16:31:32.377]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 610.38MiB)
16:31:32 [16:31:32.378]
INFO:
ivc-integration:prove_wasm arithmetic : 6912/56000 (mem: 610.38MiB)
16:31:32 [16:31:32.378]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 610.38MiB)
16:31:32 [16:31:32.378]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
16:31:32 [16:31:32.385]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 610.38MiB)
16:31:32 [16:31:32.386]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 610.38MiB)
16:31:32 [16:31:32.386]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 610.38MiB)
16:31:32 [16:31:32.386]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
16:31:32 [16:31:32.387]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
16:31:32 [16:31:32.389]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
16:31:32 [16:31:32.390]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
16:31:32 [16:31:32.402]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
16:31:32 [16:31:32.431]
INFO:
ivc-integration:prove_wasm time to construct proving key: 61 ms. (mem: 610.38MiB)
16:31:32 [16:31:32.578]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
16:31:33 [16:31:33.053]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
16:31:33 [16:31:33.055]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 610.38MiB)
16:31:33 [16:31:33.527]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
16:31:33 [16:31:33.848]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
16:31:34 [16:31:34.161]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
16:31:35 [16:31:35.105]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
16:31:35 [16:31:35.106]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
16:31:35 [16:31:35.107]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 15587 (mem: 610.38MiB)
16:31:35 [16:31:35.107]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 610.38MiB)
16:31:35 [16:31:35.108]
INFO:
ivc-integration:prove_wasm Largest circuit: 48923 gates. Trace details: (mem: 610.38MiB)
16:31:35 [16:31:35.108]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 610.38MiB)
16:31:35 [16:31:35.108]
INFO:
ivc-integration:prove_wasm ecc_op : 792
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.109]
INFO:
ivc-integration:prove_wasm busread : 16
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.109]
INFO:
ivc-integration:prove_wasm lookup : 2
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.110]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.112]
INFO:
ivc-integration:prove_wasm arithmetic : 12206
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.113]
INFO:
ivc-integration:prove_wasm delta_range : 2981
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.113]
INFO:
ivc-integration:prove_wasm elliptic : 2
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.114]
INFO:
ivc-integration:prove_wasm aux : 350
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.116]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.119]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.120]
INFO:
ivc-integration:prove_wasm overflow : 0
16:31:35 (mem: 610.38MiB)
16:31:35 [16:31:35.120]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
16:31:35 [16:31:35.120]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 610.38MiB)
16:31:35 [16:31:35.280]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
16:31:35 [16:31:35.533]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
16:31:37 [16:31:37.634]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
16:31:38 [16:31:38.017]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
16:31:38 [16:31:38.018]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
16:31:38 [16:31:38.039]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 610.38MiB)
16:31:38 [16:31:38.249]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
16:31:38 [16:31:38.254]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
16:31:38 [16:31:38.268]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
16:31:38 [16:31:38.326]
INFO:
ivc-integration:prove_wasm time to construct proving key: 75 ms. (mem: 610.38MiB)
16:31:39 [16:31:39.435]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 610.38MiB)
16:31:40 [16:31:40.121]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 610.38MiB)
16:31:40 [16:31:40.149]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
16:31:40 [16:31:40.378]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
16:31:41 [16:31:41.366]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
16:31:41 [16:31:41.547]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
16:31:41 [16:31:41.549]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
16:31:41 [16:31:41.550]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 610.38MiB)
16:31:41 [16:31:41.701]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 610.38MiB)
16:31:44 [16:31:44.715]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
16:31:47 [16:31:47.919]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
16:31:52 [16:31:52.040]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 610.38MiB)
16:31:52 [16:31:52.041]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 610.38MiB)
16:31:53 [16:31:53.808]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
16:31:58 [16:31:58.342]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
16:32:01 [16:32:01.974]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
16:32:01 [16:32:01.975]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 610.38MiB)
16:32:01 [16:32:01.975]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 42457 (mem: 610.38MiB)
16:32:01 [16:32:01.982]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 610.38MiB)
16:32:01 [16:32:01.982]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.003]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 610.38MiB)
16:32:02 [16:32:02.040]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.041]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.041]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.041]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.261]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.261]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.262]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.262]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.311]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.311]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.311]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.312]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.312]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.312]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.318]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 610.38MiB)
16:32:02 [16:32:02.357]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.358]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.358]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.358]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.550]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.551]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.551]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.551]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.596]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.596]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.597]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.597]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.597]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
16:32:02 [16:32:02.597]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
16:32:03 [16:32:03.166]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
16:32:03
PASS src/wasm_client_ivc_integration.test.ts (
99.391 s)
16:32:03 Client IVC Integration
16:32:03
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (47841 ms)
16:32:03
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1709 ms)
16:32:03
✓ Should generate a verifiable client IVC proof from a complex mock tx (46188 ms)
16:32:03
16:32:03
Test Suites: 1 passed, 1 total
16:32:03
Tests: 3 passed, 3 total
16:32:03
Snapshots: 0 total
16:32:03
Time: 99.479 s
16:32:03
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
16:32:03
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?