Parent Log:
http://ci.aztec-labs.com/6988ab1501c7f3e7
Command: 5b134306478d06bb: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/e1613ca4b54a0ae509638dc4114780dd3cb0bc9b
Env: REF_NAME=gh-readonly-queue/next/pr-15239-282da3bd25d49b92970e6fc85f110092e8566299 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 15:13:48 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15239_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
15:13:53 [15:13:53.138]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
15:13:53 [15:13:53.146]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-3Zo1pj/ivc-inputs.msgpack
15:13:53 [15:13:53.148]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
15:13:53 [15:13:53.149]
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-3Zo1pj --ivc_inputs_path /tmp/bb-client-ivc-integration-3Zo1pj/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:13:53 [15:13:53.176]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 238.23 MiB)
15:13:53 [15:13:53.177]
INFO:
ivc-integration:test:wasm bb - Scheme is: client_ivc, num threads: 128 (mem: 238.23 MiB)
15:13:53 --scheme: client_ivc (mem: 238.23 MiB)
15:13:53 --output_path: /tmp/bb-client-ivc-integration-3Zo1pj (mem: 238.23 MiB)
15:13:53 --ivc_inputs_path: /tmp/bb-client-ivc-integration-3Zo1pj/ivc-inputs.msgpack (mem: 238.23 MiB)
15:13:53 --verbose: true (mem: 238.23 MiB)
15:13:53 --write_vk: true (mem: 238.23 MiB)
15:13:53 BN254 commitment key size: 262144 (mem: 238.23 MiB)
15:13:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 238.23 MiB)
15:13:53 [15:13:53.301]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12115448 bytes
15:13:53 [15:13:53.316]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 238.23 MiB)
15:13:53 ClientIVC: accumulating unknown_0 (mem: 238.23 MiB)
15:13:53 Constructing DeciderProvingKey (mem: 238.23 MiB)
15:13:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 238.23 MiB)
15:13:53 goblin ecc op : 4/1024 (mem: 238.23 MiB)
15:13:53 busread : 7/6000 (mem: 238.23 MiB)
15:13:53 lookups : 2/15000 (mem: 238.23 MiB)
15:13:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 238.23 MiB)
15:13:53 arithmetic : 1760/56000 (mem: 238.23 MiB)
15:13:53 delta range : 1754/18000 (mem: 238.23 MiB)
15:13:53 elliptic : 2/6000 (mem: 238.23 MiB)
15:13:53 auxiliary : 26/26000 (mem: 238.23 MiB)
15:13:53 poseidon ext : 2/17000 (mem: 238.23 MiB)
15:13:53 poseidon int : 2/92000 (mem: 238.23 MiB)
15:13:53 overflow : 0/0 (mem: 238.23 MiB)
15:13:53 (mem: 238.23 MiB)
15:13:53 Total structured size: 242025 (mem: 238.23 MiB)
15:13:53 allocating polynomials object in proving key... (mem: 238.23 MiB)
15:13:53 [15:13:53.342]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
15:13:53 [15:13:53.457]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 345.07 MiB)
15:13:53 [15:13:53.468]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 223 ms. (mem: 359.07 MiB)
15:13:53 [15:13:53.576]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x64e9dd3c95c0 (mem: 359.07 MiB)
15:13:53 computing oink proof... (mem: 359.07 MiB)
15:13:53 [15:13:53.578]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 359.07 MiB)
15:13:53 [15:13:53.747]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
15:13:53 [15:13:53.750]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
15:13:53 [15:13:53.784]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 372.07 MiB)
15:13:53 [15:13:53.793]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 372.07 MiB)
15:13:53 [15:13:53.808]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 372.07 MiB)
15:13:53 Constructing DeciderProvingKey (mem: 372.07 MiB)
15:13:53 [15:13:53.812]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 372.07 MiB)
15:13:53 goblin ecc op : 56/1024 (mem: 372.07 MiB)
15:13:53 busread : 12/6000 (mem: 372.07 MiB)
15:13:53 lookups : 2/15000 (mem: 372.07 MiB)
15:13:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 372.07 MiB)
15:13:53 arithmetic : 4676/56000 (mem: 372.07 MiB)
15:13:53 delta range : 2073/18000 (mem: 372.07 MiB)
15:13:53 elliptic : 2/6000 (mem: 372.07 MiB)
15:13:53 auxiliary : 110/26000 (mem: 372.07 MiB)
15:13:53 poseidon ext : 1322/17000 (mem: 372.07 MiB)
15:13:53 poseidon int : 7526/92000 (mem: 372.07 MiB)
15:13:53 overflow : 0/0 (mem: 372.07 MiB)
15:13:53 (mem: 372.07 MiB)
15:13:53 Total structured size: 242025 (mem: 372.07 MiB)
15:13:53 allocating polynomials object in proving key... (mem: 372.07 MiB)
15:13:53 [15:13:53.966]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 570.07 MiB)
15:13:53 [15:13:53.993]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 185 ms. (mem: 584.07 MiB)
15:13:54 [15:13:54.185]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x64e9dd3d62c0 (mem: 584.07 MiB)
15:13:54 computing folding proof (mem: 584.07 MiB)
15:13:54 [15:13:54.189]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 584.07 MiB)
15:13:54 [15:13:54.529]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 588.07 MiB)
15:13:54 [15:13:54.637]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 625.07 MiB)
15:13:54 [15:13:54.685]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 657.07 MiB)
15:13:55 [15:13:55.062]
INFO:
ivc-integration:test:wasm bb - folded (mem: 657.07 MiB)
15:13:55 [15:13:55.063]
INFO:
ivc-integration:test:wasm bb - constructed folding proof (mem: 657.07 MiB)
15:13:55 [15:13:55.071]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
15:13:55 [15:13:55.072]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
15:13:55 [15:13:55.536]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 657.07 MiB)
15:13:55 ClientIVC: accumulating unknown_2 (mem: 657.07 MiB)
15:13:55 Constructing DeciderProvingKey (mem: 657.07 MiB)
15:13:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 657.07 MiB)
15:13:55 goblin ecc op : 392/1024 (mem: 657.07 MiB)
15:13:55 busread : 3/6000 (mem: 657.07 MiB)
15:13:55 lookups : 2/15000 (mem: 657.07 MiB)
15:13:55 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 657.07 MiB)
15:13:55 arithmetic : 6912/56000 (mem: 657.07 MiB)
15:13:55 delta range : 2353/18000 (mem: 657.07 MiB)
15:13:55 elliptic : 2/6000 (mem: 657.07 MiB)
15:13:55 auxiliary : 50/26000 (mem: 657.07 MiB)
15:13:55 poseidon ext : 2492/17000 (mem: 657.07 MiB)
15:13:55 poseidon int : 14195/92000 (mem: 657.07 MiB)
15:13:55 overflow : 0/0 (mem: 657.07 MiB)
15:13:55 (mem: 657.07 MiB)
15:13:55 Total structured size: 242025 (mem: 657.07 MiB)
15:13:55 allocating polynomials object in proving key... (mem: 657.07 MiB)
15:13:55 populating trace... (mem: 657.07 MiB)
15:13:55 time to construct proving key: 206 ms. (mem: 657.07 MiB)
15:13:55 [15:13:55.674]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x64e9dd3e1780 (mem: 657.07 MiB)
15:13:55 [15:13:55.675]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 657.07 MiB)
15:13:55 [15:13:55.675]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 657.07 MiB)
15:13:56 [15:13:56.070]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 657.07 MiB)
15:13:56 [15:13:56.127]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
15:13:56 [15:13:56.168]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 657.07 MiB)
15:13:56 [15:13:56.170]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
15:13:56 [15:13:56.200]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:13:56 [15:13:56.203]
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)
15:13:56 [15:13:56.208]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
15:13:56 [15:13:56.209]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
15:13:56 [15:13:56.213]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 666.95 MiB)
15:13:56 [15:13:56.232]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
15:13:56 [15:13:56.233]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
15:13:56 [15:13:56.234]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
15:13:56 [15:13:56.235]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
15:13:56 [15:13:56.239]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
15:13:56 [15:13:56.241]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
15:13:56 [15:13:56.242]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
15:13:56 [15:13:56.243]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
15:13:56 [15:13:56.243]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
15:13:56 [15:13:56.246]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
15:13:56 [15:13:56.246]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
15:13:56 [15:13:56.247]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
15:13:56 [15:13:56.248]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
15:13:56 [15:13:56.249]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
15:13:56 [15:13:56.249]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
15:13:56 [15:13:56.323]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
15:13:56 [15:13:56.354]
INFO:
ivc-integration:prove_wasm time to construct proving key: 145 ms. (mem: 316.56MiB)
15:13:56 [15:13:56.378]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 316.56MiB)
15:13:56 [15:13:56.573]
INFO:
ivc-integration:test:wasm bb - folded (mem: 666.95 MiB)
15:13:56 constructed folding proof (mem: 666.95 MiB)
15:13:56 [15:13:56.575]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 26009 gates. Trace details: (mem: 666.95 MiB)
15:13:56 Minimum required block sizes for structured trace: (mem: 666.95 MiB)
15:13:56 (mem: 666.95 MiB)
15:13:56 prove decider... (mem: 666.95 MiB)
15:13:56 [15:13:56.576]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
15:13:56 busread : 12
15:13:56 lookup : 2
15:13:56 pub_inputs : 36
15:13:56 arithmetic : 6912
15:13:56 delta_range : 2353
15:13:56 elliptic : 2
15:13:56 aux : 110
15:13:56 poseidon2_external : 2492
15:13:56 poseidon2_internal : 14195
15:13:56 overflow : 0
15:13:56 [15:13:56.794]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 666.95 MiB)
15:13:56 [15:13:56.835]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 316.56MiB)
15:13:56 [15:13:56.836]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 316.56MiB)
15:13:56 [15:13:56.962]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 666.95 MiB)
15:13:57 [15:13:57.246]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
15:13:57 [15:13:57.265]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
15:13:57 [15:13:57.300]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
15:13:57 [15:13:57.301]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
15:13:57 [15:13:57.309]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
15:13:57 [15:13:57.310]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
15:13:57 [15:13:57.310]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
15:13:57 [15:13:57.311]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
15:13:57 [15:13:57.311]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
15:13:57 [15:13:57.311]
INFO:
ivc-integration:prove_wasm arithmetic : 4676/56000 (mem: 317.94MiB)
15:13:57 [15:13:57.312]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
15:13:57 [15:13:57.312]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
15:13:57 [15:13:57.313]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
15:13:57 [15:13:57.313]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
15:13:57 [15:13:57.313]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
15:13:57 [15:13:57.314]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
15:13:57 [15:13:57.314]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
15:13:57 [15:13:57.314]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
15:13:57 [15:13:57.315]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
15:13:57 [15:13:57.436]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.19MiB)
15:13:57 [15:13:57.479]
INFO:
ivc-integration:prove_wasm time to construct proving key: 179 ms. (mem: 555.19MiB)
15:13:57 [15:13:57.553]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.19MiB)
15:13:58 [15:13:58.324]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.19MiB)
15:13:58 [15:13:58.328]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 555.19MiB)
15:13:58 [15:13:58.332]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 666.95 MiB)
15:13:58 [15:13:58.461]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 666.95 MiB)
15:13:58 finished decider proving. (mem: 666.95 MiB)
15:13:58 [15:13:58.486]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 666.95 MiB)
15:13:58 [15:13:58.606]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 666.95 MiB)
15:13:58 [15:13:58.610]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 666.95 MiB)
15:13:58 [15:13:58.871]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 666.95 MiB)
15:13:58 [15:13:58.931]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 326 ms. (mem: 666.95 MiB)
15:13:59 [15:13:59.094]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.19MiB)
15:13:59 [15:13:59.378]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 582.63MiB)
15:13:59 [15:13:59.830]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 582.63MiB)
15:14:00 [15:14:00.441]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 666.95 MiB)
15:14:00 [15:14:00.576]
INFO:
ivc-integration:prove_wasm folded (mem: 582.63MiB)
15:14:00 [15:14:00.578]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 582.63MiB)
15:14:00 [15:14:00.594]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 582.63MiB)
15:14:00 [15:14:00.762]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 582.63MiB)
15:14:00 [15:14:00.763]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 582.63MiB)
15:14:00 [15:14:00.770]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 582.63MiB)
15:14:00 [15:14:00.771]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 582.63MiB)
15:14:00 [15:14:00.772]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 582.63MiB)
15:14:00 [15:14:00.773]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 582.63MiB)
15:14:00 [15:14:00.773]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 582.63MiB)
15:14:00 [15:14:00.774]
INFO:
ivc-integration:prove_wasm arithmetic : 6912/56000 (mem: 582.63MiB)
15:14:00 [15:14:00.775]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 582.63MiB)
15:14:00 [15:14:00.776]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 582.63MiB)
15:14:00 [15:14:00.776]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 582.63MiB)
15:14:00 [15:14:00.777]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 582.63MiB)
15:14:00 [15:14:00.777]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 582.63MiB)
15:14:00 [15:14:00.778]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 582.63MiB)
15:14:00 [15:14:00.779]
INFO:
ivc-integration:prove_wasm (mem: 582.63MiB)
15:14:00 [15:14:00.780]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 582.63MiB)
15:14:00 [15:14:00.780]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 582.63MiB)
15:14:00 [15:14:00.798]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 582.63MiB)
15:14:00 [15:14:00.859]
INFO:
ivc-integration:prove_wasm time to construct proving key: 98 ms. (mem: 582.63MiB)
15:14:01 [15:14:01.104]
INFO:
ivc-integration:test:wasm bb - created oink proof
15:14:01 [15:14:01.105]
INFO:
ivc-integration:test:wasm bb - (mem:
15:14:01 [15:14:01.106]
INFO:
ivc-integration:test:wasm bb - 666.95 MiB)
15:14:01 [15:14:01.106]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 582.63MiB)
15:14:01 [15:14:01.466]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 666.95 MiB)
15:14:02 [15:14:02.029]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 582.63MiB)
15:14:02 [15:14:02.033]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 582.63MiB)
15:14:02 [15:14:02.967]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 666.95 MiB)
15:14:03 [15:14:03.017]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 582.63MiB)
15:14:03 [15:14:03.307]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 590.56MiB)
15:14:03 [15:14:03.578]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 590.56MiB)
15:14:04 [15:14:04.157]
INFO:
ivc-integration:prove_wasm folded (mem: 590.56MiB)
15:14:04 [15:14:04.158]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 590.56MiB)
15:14:04 [15:14:04.158]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 7980 (mem: 590.56MiB)
15:14:04 [15:14:04.158]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 590.56MiB)
15:14:04 [15:14:04.159]
INFO:
ivc-integration:prove_wasm Largest circuit: 26009 gates. Trace details: (mem: 590.56MiB)
15:14:04 [15:14:04.159]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 590.56MiB)
15:14:04 [15:14:04.159]
INFO:
ivc-integration:prove_wasm ecc_op : 392
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.160]
INFO:
ivc-integration:prove_wasm busread : 12
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.160]
INFO:
ivc-integration:prove_wasm lookup : 2
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.160]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.160]
INFO:
ivc-integration:prove_wasm arithmetic : 6912
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.161]
INFO:
ivc-integration:prove_wasm delta_range : 2353
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.161]
INFO:
ivc-integration:prove_wasm elliptic : 2
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.161]
INFO:
ivc-integration:prove_wasm aux : 110
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.162]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.162]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.162]
INFO:
ivc-integration:prove_wasm overflow : 0
15:14:04 (mem: 590.56MiB)
15:14:04 [15:14:04.163]
INFO:
ivc-integration:prove_wasm (mem: 590.56MiB)
15:14:04 [15:14:04.163]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 590.56MiB)
15:14:04 [15:14:04.253]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 666.95 MiB)
15:14:04 [15:14:04.343]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 666.95 MiB)
15:14:04 finished decider proving. (mem: 666.95 MiB)
15:14:04 Constructing a Goblin proof with num ultra ops = 1038 (mem: 666.95 MiB)
15:14:04 [15:14:04.362]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:14:04 [15:14:04.812]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 666.95 MiB)
15:14:04 [15:14:04.820]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
15:14:05 [15:14:05.346]
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: 666.95 MiB)
15:14:05 [15:14:05.355]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 666.95 MiB)
15:14:06 [15:14:06.882]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
15:14:07 [15:14:07.366]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
15:14:07 [15:14:07.366]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
15:14:07 [15:14:07.392]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 590.56MiB)
15:14:07 [15:14:07.651]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 666.95 MiB)
15:14:07 [15:14:07.800]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 590.56MiB)
15:14:07 [15:14:07.822]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 590.56MiB)
15:14:07 [15:14:07.840]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 590.56MiB)
15:14:07 [15:14:07.899]
INFO:
ivc-integration:prove_wasm time to construct proving key: 105 ms. (mem: 590.56MiB)
15:14:09 [15:14:09.873]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 590.56MiB)
15:14:10 [15:14:10.265]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 668.86 MiB)
15:14:11 [15:14:11.215]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 590.56MiB)
15:14:11 [15:14:11.252]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:14:11 [15:14:11.686]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
15:14:12 [15:14:12.904]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
15:14:13 [15:14:13.081]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
15:14:13 [15:14:13.082]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
15:14:13 [15:14:13.083]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 590.56MiB)
15:14:13 [15:14:13.252]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 590.56MiB)
15:14:15 [15:14:15.783]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 668.86 MiB)
15:14:15 prove translator... (mem: 668.86 MiB)
15:14:16 [15:14:16.550]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:14:18 [15:14:18.131]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem:
15:14:18 [15:14:18.135]
INFO:
ivc-integration:test:wasm bb - 703.86 MiB)
15:14:20 [15:14:20.961]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
15:14:21 [15:14:21.667]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 703.86 MiB)
15:14:25 [15:14:25.084]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 703.86 MiB)
15:14:25 finished translator proving. (mem: 703.86 MiB)
15:14:25 [15:14:25.085]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 703.86 MiB)
15:14:25 [15:14:25.112]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 703.86 MiB)
15:14:25 libra_evals_verified: 1 (mem: 703.86 MiB)
15:14:25 pairing_check_verified: 1 (mem: 703.86 MiB)
15:14:25 Mega verified: 1 (mem: 703.86 MiB)
15:14:25 [15:14:25.411]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 703.86 MiB)
15:14:25 batch opening verified?: 1 (mem: 703.86 MiB)
15:14:25 eccvm consistency check verified?: 1 (mem: 703.86 MiB)
15:14:25 translation masking consistency checked?: 1 (mem: 703.86 MiB)
15:14:25 [15:14:25.460]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 704.86 MiB)
15:14:25 eccvm verified?: 1 (mem: 704.86 MiB)
15:14:25 accumulator construction_verified?: 1 (mem: 704.86 MiB)
15:14:25 translation verified?: 1 (mem: 704.86 MiB)
15:14:25 consistency verified?: 1 (mem: 704.86 MiB)
15:14:25 [15:14:25.463]
INFO:
ivc-integration:test:wasm bb - Goblin verified: 1 (mem: 704.86 MiB)
15:14:25 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-3Zo1pj" (mem: 704.86 MiB)
15:14:25 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-3Zo1pj" (mem: 704.86 MiB)
15:14:25 BN254 commitment key size: 262144 (mem: 704.86 MiB)
15:14:25 [15:14:25.471]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 704.86 MiB)
15:14:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 704.86 MiB)
15:14:25 goblin ecc op : 4/1024 (mem: 704.86 MiB)
15:14:25 busread : 3/6000 (mem: 704.86 MiB)
15:14:25 lookups : 2/15000 (mem: 704.86 MiB)
15:14:25 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 704.86 MiB)
15:14:25 arithmetic : 1773/56000 (mem: 704.86 MiB)
15:14:25 delta range : 1754/18000 (mem: 704.86 MiB)
15:14:25 elliptic : 2/6000 (mem: 704.86 MiB)
15:14:25 auxiliary : 26/26000 (mem: 704.86 MiB)
15:14:25 poseidon ext : 2/17000 (mem: 704.86 MiB)
15:14:25 poseidon int : 2/92000 (mem: 704.86 MiB)
15:14:25 overflow : 0/0 (mem: 704.86 MiB)
15:14:25 (mem: 704.86 MiB)
15:14:25 Total structured size: 242025 (mem: 704.86 MiB)
15:14:25 allocating polynomials object in proving key... (mem: 704.86 MiB)
15:14:25 [15:14:25.773]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 704.86 MiB)
15:14:25 [15:14:25.792]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 324 ms. (mem: 704.86 MiB)
15:14:25 [15:14:25.874]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 704.86 MiB)
15:14:26 [15:14:26.332]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 705.86 MiB)
15:14:26 [15:14:26.333]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.86 MiB)
15:14:26 [15:14:26.973]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 705.86 MiB)
15:14:26 [15:14:26.979]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.86 MiB)
15:14:26 [15:14:26.994]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 705.86 MiB)
15:14:26 [15:14:26.999]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 705.86 MiB)
15:14:26 goblin ecc op : 56/1024 (mem: 705.86 MiB)
15:14:26 busread : 3/6000 (mem: 705.86 MiB)
15:14:26 lookups : 2/15000 (mem: 705.86 MiB)
15:14:27 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 705.86 MiB)
15:14:27 arithmetic : 4532/56000 (mem: 705.86 MiB)
15:14:27 delta range : 2060/18000 (mem: 705.86 MiB)
15:14:27 elliptic : 2/6000 (mem: 705.86 MiB)
15:14:27 auxiliary : 50/26000 (mem: 705.86 MiB)
15:14:27 poseidon ext : 1332/17000 (mem: 705.86 MiB)
15:14:27 poseidon int : 7583/92000 (mem: 705.86 MiB)
15:14:27 overflow : 0/0 (mem: 705.86 MiB)
15:14:27 (mem: 705.86 MiB)
15:14:27 Total structured size: 242025 (mem: 705.86 MiB)
15:14:27 allocating polynomials object in proving key... (mem: 705.86 MiB)
15:14:27 [15:14:27.262]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 705.86 MiB)
15:14:27 [15:14:27.356]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 362 ms.
15:14:27 [15:14:27.357]
INFO:
ivc-integration:test:wasm bb - (mem:
15:14:27 [15:14:27.361]
INFO:
ivc-integration:test:wasm bb - 705.86 MiB)
15:14:27 [15:14:27.690]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 705.86 MiB)
15:14:28 [15:14:28.140]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 705.86 MiB)
15:14:28 [15:14:28.145]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 705.86 MiB)
15:14:28 [15:14:28.757]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 705.86 MiB)
15:14:29 [15:14:29.057]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 705.86 MiB)
15:14:29 [15:14:29.149]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 737.86 MiB)
15:14:29 [15:14:29.582]
INFO:
ivc-integration:test:wasm bb - folded (mem: 737.86 MiB)
15:14:29 constructed folding proof (mem: 737.86 MiB)
15:14:29 Largest circuit: 15564 gates. Trace details: (mem: 737.86 MiB)
15:14:29 Minimum required block sizes for structured trace: (mem: 737.86 MiB)
15:14:29 (mem: 737.86 MiB)
15:14:29 prove decider... (mem: 737.86 MiB)
15:14:29 [15:14:29.584]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
15:14:29 busread : 3
15:14:29 lookup : 2
15:14:29 pub_inputs : 36
15:14:29 arithmetic : 4532
15:14:29 delta_range : 2060
15:14:29 elliptic : 2
15:14:29 aux : 50
15:14:29 poseidon2_external : 1332
15:14:29 poseidon2_internal : 7583
15:14:29 overflow : 0
15:14:29 [15:14:29.777]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 737.86 MiB)
15:14:29 [15:14:29.997]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 737.86 MiB)
15:14:31 [15:14:31.561]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction
15:14:31 [15:14:31.564]
INFO:
ivc-integration:test:wasm bb - (mem: 737.86 MiB)
15:14:31 [15:14:31.691]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 590.56MiB)
15:14:31 [15:14:31.692]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 590.56MiB)
15:14:31 [15:14:31.719]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 737.86 MiB)
15:14:31 finished decider proving. (mem: 737.86 MiB)
15:14:31 [15:14:31.728]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 737.86 MiB)
15:14:31 [15:14:31.869]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 737.86 MiB)
15:14:31 [15:14:31.875]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 737.86 MiB)
15:14:32 [15:14:32.047]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 737.86 MiB)
15:14:32 [15:14:32.153]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 284 ms. (mem: 737.86 MiB)
15:14:34 [15:14:34.786]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:14:39 [15:14:39.179]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
15:14:42 [15:14:42.665]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
15:14:42 [15:14:42.666]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 590.56MiB)
15:14:42 [15:14:42.666]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 46488 (mem: 590.56MiB)
15:14:42 [15:14:42.670]
INFO:
ivc-integration:prove_wasm time to serialize proof: 4 (mem: 590.56MiB)
15:14:42 [15:14:42.670]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 590.56MiB)
15:14:42 [15:14:42.682]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 590.56MiB)
15:14:42 [15:14:42.733]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 590.56MiB)
15:14:42 [15:14:42.733]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 590.56MiB)
15:14:42 [15:14:42.734]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 590.56MiB)
15:14:42 [15:14:42.734]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 590.56MiB)
15:14:42 [15:14:42.993]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 590.56MiB)
15:14:42 [15:14:42.995]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 590.56MiB)
15:14:42 [15:14:42.995]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 590.56MiB)
15:14:42 [15:14:42.995]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 590.56MiB)
15:14:43 [15:14:43.092]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 590.56MiB)
15:14:43 [15:14:43.093]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 590.56MiB)
15:14:43 [15:14:43.093]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 590.56MiB)
15:14:43 [15:14:43.094]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 590.56MiB)
15:14:43 [15:14:43.094]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 590.56MiB)
15:14:43 [15:14:43.094]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 590.56MiB)
15:14:43 [15:14:43.576]
INFO:
ivc-integration:test:wasm BB concurrency: 1
15:14:43 [15:14:43.576]
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-3Zo1pj/proof -k /tmp/bb-client-ivc-integration-3Zo1pj/vk -v
15:14:43 [15:14:43.665]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 1217.11 MiB)
15:14:43 Scheme is: client_ivc, num threads: 1 (mem: 1217.11 MiB)
15:14:43 --proof_path: /tmp/bb-client-ivc-integration-3Zo1pj/proof (mem: 1217.11 MiB)
15:14:43 --vk_path: /tmp/bb-client-ivc-integration-3Zo1pj/vk (mem: 1217.11 MiB)
15:14:43 --verbose: true (mem: 1217.11 MiB)
15:14:43 --scheme: client_ivc (mem: 1217.11 MiB)
15:14:43 [15:14:43.666]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1217.11 MiB)
15:14:43 [15:14:43.691]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1217.11 MiB)
15:14:43 vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 1217.11 MiB)
15:14:43 [15:14:43.712]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1217.11 MiB)
15:14:43 [15:14:43.712]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1 (mem: 1217.11 MiB)
15:14:43 [15:14:43.713]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 1217.11 MiB)
15:14:43 libra_evals_verified: 1 (mem: 1217.11 MiB)
15:14:43 pairing_check_verified: 1 (mem: 1217.11 MiB)
15:14:43 Mega verified: 1 (mem: 1217.11 MiB)
15:14:44 [15:14:44.156]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 1217.11 MiB)
15:14:44 batch opening verified?: 1 (mem: 1217.11 MiB)
15:14:44 eccvm consistency check verified?: 1 (mem: 1217.11 MiB)
15:14:44 translation masking consistency checked?: 1 (mem: 1217.11 MiB)
15:14:44 [15:14:44.173]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 1217.11 MiB)
15:14:44 eccvm verified?: 1 (mem: 1217.11 MiB)
15:14:44 accumulator construction_verified?: 1 (mem: 1217.11 MiB)
15:14:44 translation verified?: 1 (mem: 1217.11 MiB)
15:14:44 consistency verified?: 1 (mem: 1217.11 MiB)
15:14:44 Goblin verified: 1 (mem: 1217.11 MiB)
15:14:44 [15:14:44.174]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 1217.11 MiB)
15:14:44 [15:14:44.199]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
15:14:44 [15:14:44.356]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12115448 bytes
15:14:44 [15:14:44.417]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
15:14:44 [15:14:44.759]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
15:14:44 [15:14:44.768]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
15:14:44 [15:14:44.769]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
15:14:45 [15:14:45.541]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
15:14:45 [15:14:45.601]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
15:14:45 [15:14:45.604]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:14:45 [15:14:45.614]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:14:45 [15:14:45.620]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 194.06MiB)
15:14:45 [15:14:45.643]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:14:45 [15:14:45.652]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 194.06MiB)
15:14:45 [15:14:45.830]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15723,"2":26009}
15:14:45 [15:14:45.924]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
15:14:46 [15:14:46.020]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12115448 bytes
15:14:46 [15:14:46.047]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
15:14:46 [15:14:46.444]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
15:14:46 [15:14:46.455]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
15:14:47 [15:14:47.381]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
15:14:47 [15:14:47.382]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
15:14:48 [15:14:48.293]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
15:14:48 [15:14:48.341]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
15:14:48 [15:14:48.355]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:14:48 [15:14:48.356]
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)
15:14:48 [15:14:48.358]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
15:14:48 [15:14:48.359]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
15:14:48 [15:14:48.367]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
15:14:48 [15:14:48.368]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
15:14:48 [15:14:48.368]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
15:14:48 [15:14:48.368]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
15:14:48 [15:14:48.369]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
15:14:48 [15:14:48.369]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
15:14:48 [15:14:48.369]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
15:14:48 [15:14:48.370]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
15:14:48 [15:14:48.370]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
15:14:48 [15:14:48.370]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
15:14:48 [15:14:48.370]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
15:14:48 [15:14:48.371]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
15:14:48 [15:14:48.371]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
15:14:48 [15:14:48.371]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
15:14:48 [15:14:48.372]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
15:14:48 [15:14:48.430]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
15:14:48 [15:14:48.445]
INFO:
ivc-integration:prove_wasm time to construct proving key: 86 ms. (mem: 317.06MiB)
15:14:48 [15:14:48.459]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 317.06MiB)
15:14:48 [15:14:48.822]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 317.06MiB)
15:14:48 [15:14:48.824]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.06MiB)
15:14:49 [15:14:49.029]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
15:14:49 [15:14:49.040]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
15:14:49 [15:14:49.076]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
15:14:49 [15:14:49.083]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
15:14:49 [15:14:49.083]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
15:14:49 [15:14:49.083]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
15:14:49 [15:14:49.084]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
15:14:49 [15:14:49.084]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
15:14:49 [15:14:49.084]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
15:14:49 [15:14:49.084]
INFO:
ivc-integration:prove_wasm arithmetic : 4676/56000 (mem: 317.94MiB)
15:14:49 [15:14:49.085]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
15:14:49 [15:14:49.085]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
15:14:49 [15:14:49.094]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
15:14:49 [15:14:49.095]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
15:14:49 [15:14:49.101]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
15:14:49 [15:14:49.101]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
15:14:49 [15:14:49.106]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
15:14:49 [15:14:49.107]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
15:14:49 [15:14:49.107]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
15:14:49 [15:14:49.196]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.63MiB)
15:14:49 [15:14:49.230]
INFO:
ivc-integration:prove_wasm time to construct proving key: 155 ms. (mem: 555.63MiB)
15:14:49 [15:14:49.272]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.63MiB)
15:14:50 [15:14:50.005]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.63MiB)
15:14:50 [15:14:50.010]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 555.63MiB)
15:14:50 [15:14:50.925]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.63MiB)
15:14:51 [15:14:51.236]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
15:14:51 [15:14:51.566]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
15:14:52 [15:14:52.247]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
15:14:52 [15:14:52.248]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
15:14:52 [15:14:52.254]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 583.13MiB)
15:14:52 [15:14:52.254]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
15:14:52 [15:14:52.260]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
15:14:52 [15:14:52.261]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 583.13MiB)
15:14:52 [15:14:52.261]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 583.13MiB)
15:14:52 [15:14:52.261]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
15:14:52 [15:14:52.261]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 583.13MiB)
15:14:52 [15:14:52.262]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 583.13MiB)
15:14:52 [15:14:52.262]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 583.13MiB)
15:14:52 [15:14:52.262]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
15:14:52 [15:14:52.262]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 583.13MiB)
15:14:52 [15:14:52.263]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 583.13MiB)
15:14:52 [15:14:52.263]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 583.13MiB)
15:14:52 [15:14:52.263]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
15:14:52 [15:14:52.263]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
15:14:52 [15:14:52.264]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
15:14:52 [15:14:52.264]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
15:14:52 [15:14:52.328]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
15:14:52 [15:14:52.347]
INFO:
ivc-integration:prove_wasm time to construct proving key: 89 ms. (mem: 583.13MiB)
15:14:52 [15:14:52.458]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 583.13MiB)
15:14:52 [15:14:52.893]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 583.13MiB)
15:14:52 [15:14:52.896]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
15:14:53 [15:14:53.214]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 583.13MiB)
15:14:53 [15:14:53.447]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
15:14:53 [15:14:53.723]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
15:14:54 [15:14:54.325]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
15:14:54 [15:14:54.326]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
15:14:54 [15:14:54.338]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 583.13MiB)
15:14:54 [15:14:54.481]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
15:14:54 [15:14:54.628]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 583.13MiB)
15:14:54 [15:14:54.630]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
15:14:54 [15:14:54.639]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
15:14:54 [15:14:54.640]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 583.13MiB)
15:14:54 [15:14:54.640]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 583.13MiB)
15:14:54 [15:14:54.640]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
15:14:54 [15:14:54.641]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 583.13MiB)
15:14:54 [15:14:54.641]
INFO:
ivc-integration:prove_wasm arithmetic : 12206/56000 (mem: 583.13MiB)
15:14:54 [15:14:54.641]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 583.13MiB)
15:14:54 [15:14:54.641]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
15:14:54 [15:14:54.642]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 583.13MiB)
15:14:54 [15:14:54.642]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 583.13MiB)
15:14:54 [15:14:54.642]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 583.13MiB)
15:14:54 [15:14:54.642]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
15:14:54 [15:14:54.649]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
15:14:54 [15:14:54.650]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
15:14:54 [15:14:54.652]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
15:14:54 [15:14:54.724]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
15:14:54 [15:14:54.783]
INFO:
ivc-integration:prove_wasm time to construct proving key: 153 ms. (mem: 586.25MiB)
15:14:54 [15:14:54.949]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 586.25MiB)
15:14:55 [15:14:55.843]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 586.25MiB)
15:14:55 [15:14:55.846]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 586.25MiB)
15:14:56 [15:14:56.831]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 586.25MiB)
15:14:57 [15:14:57.083]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
15:14:57 [15:14:57.350]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
15:14:57 [15:14:57.932]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
15:14:57 [15:14:57.935]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
15:14:57 [15:14:57.944]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 610.38MiB)
15:14:58 [15:14:58.103]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 610.38MiB)
15:14:58 [15:14:58.107]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
15:14:58 [15:14:58.110]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
15:14:58 [15:14:58.111]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
15:14:58 [15:14:58.112]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 610.38MiB)
15:14:58 [15:14:58.113]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
15:14:58 [15:14:58.113]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 610.38MiB)
15:14:58 [15:14:58.113]
INFO:
ivc-integration:prove_wasm arithmetic : 6977/56000 (mem: 610.38MiB)
15:14:58 [15:14:58.115]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 610.38MiB)
15:14:58 [15:14:58.115]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
15:14:58 [15:14:58.115]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 610.38MiB)
15:14:58 [15:14:58.115]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 610.38MiB)
15:14:58 [15:14:58.116]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 610.38MiB)
15:14:58 [15:14:58.116]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
15:14:58 [15:14:58.116]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
15:14:58 [15:14:58.116]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
15:14:58 [15:14:58.117]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
15:14:58 [15:14:58.157]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
15:14:58 [15:14:58.198]
INFO:
ivc-integration:prove_wasm time to construct proving key: 95 ms. (mem: 610.38MiB)
15:14:58 [15:14:58.409]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
15:14:59 [15:14:59.313]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
15:14:59 [15:14:59.316]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 610.38MiB)
15:14:59 [15:14:59.897]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
15:15:00 [15:15:00.173]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
15:15:00 [15:15:00.521]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
15:15:00 [15:15:00.792]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
15:15:00 [15:15:00.794]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
15:15:00 [15:15:00.805]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 610.38MiB)
15:15:00 [15:15:00.938]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 610.38MiB)
15:15:00 [15:15:00.939]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
15:15:00 [15:15:00.944]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
15:15:00 [15:15:00.944]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
15:15:00 [15:15:00.945]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 610.38MiB)
15:15:00 [15:15:00.945]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
15:15:00 [15:15:00.946]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 610.38MiB)
15:15:00 [15:15:00.946]
INFO:
ivc-integration:prove_wasm arithmetic : 6912/56000 (mem: 610.38MiB)
15:15:00 [15:15:00.946]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 610.38MiB)
15:15:00 [15:15:00.947]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
15:15:00 [15:15:00.947]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 610.38MiB)
15:15:00 [15:15:00.947]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 610.38MiB)
15:15:00 [15:15:00.948]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 610.38MiB)
15:15:00 [15:15:00.948]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
15:15:00 [15:15:00.948]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
15:15:00 [15:15:00.949]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
15:15:00 [15:15:00.949]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
15:15:00 [15:15:00.976]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
15:15:01 [15:15:01.011]
INFO:
ivc-integration:prove_wasm time to construct proving key: 72 ms. (mem: 610.38MiB)
15:15:01 [15:15:01.164]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
15:15:01 [15:15:01.963]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
15:15:01 [15:15:01.964]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 610.38MiB)
15:15:02 [15:15:02.724]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
15:15:02 [15:15:03.000]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
15:15:03 [15:15:03.329]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
15:15:03 [15:15:03.774]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
15:15:03 [15:15:03.778]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
15:15:03 [15:15:03.779]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 15429 (mem: 610.38MiB)
15:15:03 [15:15:03.780]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 610.38MiB)
15:15:03 [15:15:03.780]
INFO:
ivc-integration:prove_wasm Largest circuit: 48923 gates. Trace details: (mem: 610.38MiB)
15:15:03 [15:15:03.781]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 610.38MiB)
15:15:03 [15:15:03.781]
INFO:
ivc-integration:prove_wasm ecc_op : 792
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.781]
INFO:
ivc-integration:prove_wasm busread : 16
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.782]
INFO:
ivc-integration:prove_wasm lookup : 2
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.783]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.783]
INFO:
ivc-integration:prove_wasm arithmetic : 12206
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.784]
INFO:
ivc-integration:prove_wasm delta_range : 2981
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.784]
INFO:
ivc-integration:prove_wasm elliptic : 2
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.785]
INFO:
ivc-integration:prove_wasm aux : 350
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.787]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.788]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.788]
INFO:
ivc-integration:prove_wasm overflow : 0
15:15:03 (mem: 610.38MiB)
15:15:03 [15:15:03.788]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
15:15:03 [15:15:03.790]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 610.38MiB)
15:15:03 [15:15:03.935]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
15:15:04 [15:15:04.241]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
15:15:05 [15:15:05.766]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
15:15:06 [15:15:06.130]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
15:15:06 [15:15:06.131]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
15:15:06 [15:15:06.148]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 610.38MiB)
15:15:06 [15:15:06.345]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
15:15:06 [15:15:06.354]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
15:15:06 [15:15:06.366]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
15:15:06 [15:15:06.407]
INFO:
ivc-integration:prove_wasm time to construct proving key: 61 ms. (mem: 610.38MiB)
15:15:07 [15:15:07.421]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 610.38MiB)
15:15:08 [15:15:08.047]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 610.38MiB)
15:15:08 [15:15:08.074]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
15:15:08 [15:15:08.292]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
15:15:09 [15:15:09.155]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
15:15:09 [15:15:09.307]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
15:15:09 [15:15:09.307]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
15:15:09 [15:15:09.308]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 610.38MiB)
15:15:09 [15:15:09.433]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 610.38MiB)
15:15:12 [15:15:12.405]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
15:15:15 [15:15:15.639]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
15:15:21 [15:15:21.710]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 610.38MiB)
15:15:21 [15:15:21.711]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 610.38MiB)
15:15:23 [15:15:23.856]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
15:15:28 [15:15:28.142]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
15:15:31 [15:15:31.408]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
15:15:31 [15:15:31.409]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 610.38MiB)
15:15:31 [15:15:31.409]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 43063 (mem: 610.38MiB)
15:15:31 [15:15:31.412]
INFO:
ivc-integration:prove_wasm time to serialize proof: 4 (mem: 610.38MiB)
15:15:31 [15:15:31.413]
INFO:
ivc-integration:prove_wasm time to serialize vk: 0 (mem: 610.38MiB)
15:15:31 [15:15:31.434]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 610.38MiB)
15:15:31 [15:15:31.473]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.474]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.474]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.475]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.721]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.721]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.722]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.722]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.779]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.781]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.781]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.782]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.782]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.782]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.789]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 610.38MiB)
15:15:31 [15:15:31.828]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.829]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.829]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
15:15:31 [15:15:31.830]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.018]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.019]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.019]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.019]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.093]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.094]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.094]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.094]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.094]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.095]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
15:15:32 [15:15:32.446]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
15:15:32
PASS src/wasm_client_ivc_integration.test.ts (
103.195 s)
15:15:32 Client IVC Integration
15:15:32
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (51355 ms)
15:15:32
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1650 ms)
15:15:32
✓ Should generate a verifiable client IVC proof from a complex mock tx (46615 ms)
15:15:32
15:15:32
Test Suites: 1 passed, 1 total
15:15:32
Tests: 3 passed, 3 total
15:15:32
Snapshots: 0 total
15:15:32
Time: 103.277 s
15:15:32
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
15:15:32
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?