Parent Log:
http://ci.aztec-labs.com/3f5c58d0c8cd50db
Command: ca4daf70a894f3c3: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/f0619dd82429a5973f3e1da8d7eb0877264908e3
Env: REF_NAME=gh-readonly-queue/next/pr-15188-ef6780e77e5f82f98ddfe92fd387cfd5fa7682e8 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 16:06:39 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15188_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
16:06:43 [16:06:43.985]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
16:06:43 [16:06:43.994]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-dc1ozD/ivc-inputs.msgpack
16:06:43 [16:06:43.996]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
16:06:43 [16:06:43.997]
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-dc1ozD --ivc_inputs_path /tmp/bb-client-ivc-integration-dc1ozD/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:06:44 [16:06:44.019]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 184.52 MiB)
16:06:44 [16:06:44.021]
INFO:
ivc-integration:test:wasm bb - Scheme is: client_ivc, num threads: 128 (mem: 184.52 MiB)
16:06:44 --scheme: client_ivc (mem: 184.52 MiB)
16:06:44 --output_path: /tmp/bb-client-ivc-integration-dc1ozD (mem: 184.52 MiB)
16:06:44 --ivc_inputs_path: /tmp/bb-client-ivc-integration-dc1ozD/ivc-inputs.msgpack (mem: 184.52 MiB)
16:06:44 --verbose: true (mem: 184.52 MiB)
16:06:44 --write_vk: true (mem: 184.52 MiB)
16:06:44 BN254 commitment key size: 262144 (mem: 184.52 MiB)
16:06:44 [16:06:44.175]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12147813 bytes
16:06:44 [16:06:44.188]
INFO:
ivc-integration:test:wasm bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.00 MiB)
16:06:44 [16:06:44.196]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 303.85 MiB)
16:06:44 [16:06:44.200]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 303.85 MiB)
16:06:44 Constructing DeciderProvingKey (mem: 303.85 MiB)
16:06:44 [16:06:44.205]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 303.85 MiB)
16:06:44 goblin ecc op : 4/1024 (mem: 303.85 MiB)
16:06:44 busread : 7/6000 (mem: 303.85 MiB)
16:06:44 lookups : 2/15000 (mem: 303.85 MiB)
16:06:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 303.85 MiB)
16:06:44 arithmetic : 1760/56000 (mem: 303.85 MiB)
16:06:44 delta range : 1754/18000 (mem: 303.85 MiB)
16:06:44 elliptic : 2/6000 (mem: 303.85 MiB)
16:06:44 auxiliary : 26/26000 (mem: 303.85 MiB)
16:06:44 poseidon ext : 2/17000 (mem: 303.85 MiB)
16:06:44 poseidon int : 2/92000 (mem: 303.85 MiB)
16:06:44 overflow : 0/0 (mem: 303.85 MiB)
16:06:44 (mem: 303.85 MiB)
16:06:44 Total structured size: 242025 (mem: 303.85 MiB)
16:06:44 allocating polynomials object in proving key... (mem: 303.85 MiB)
16:06:44 [16:06:44.213]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
16:06:44 [16:06:44.299]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 505.01 MiB)
16:06:44 [16:06:44.316]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 114 ms. (mem: 518.01 MiB)
16:06:44 [16:06:44.362]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x58926ab30200 (mem: 518.01 MiB)
16:06:44 [16:06:44.365]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 518.01 MiB)
16:06:44 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.01 MiB)
16:06:44 [16:06:44.526]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 528.01 MiB)
16:06:44 [16:06:44.532]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 528.01 MiB)
16:06:44 [16:06:44.546]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 528.01 MiB)
16:06:44 Constructing DeciderProvingKey (mem: 528.01
16:06:44 [16:06:44.548]
INFO:
ivc-integration:test:wasm bb - MiB)
16:06:44 [16:06:44.550]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 528.01 MiB)
16:06:44 [16:06:44.550]
INFO:
ivc-integration:test:wasm bb - goblin ecc op : 56/1024 (mem: 528.01 MiB)
16:06:44 busread : 12/6000 (mem: 528.01 MiB)
16:06:44 lookups : 2/15000 (mem: 528.01 MiB)
16:06:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 528.01 MiB)
16:06:44 arithmetic : 4677/56000 (mem: 528.01 MiB)
16:06:44 delta range : 2073/18000 (mem: 528.01 MiB)
16:06:44 elliptic : 2/6000 (mem: 528.01 MiB)
16:06:44 auxiliary : 110/26000 (mem: 528.01 MiB)
16:06:44 poseidon ext : 1322/17000 (mem: 528.01 MiB)
16:06:44 poseidon int : 7526/92000 (mem: 528.01 MiB)
16:06:44 overflow : 0/0 (mem: 528.01 MiB)
16:06:44 (mem: 528.01 MiB)
16:06:44 Total structured size: 242025 (mem: 528.01 MiB)
16:06:44 allocating polynomials object in proving key... (mem: 528.01 MiB)
16:06:44 [16:06:44.618]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
16:06:44 [16:06:44.634]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
16:06:44 [16:06:44.664]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 738.01 MiB)
16:06:44 [16:06:44.687]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 140 ms. (mem: 754.01 MiB)
16:06:44 [16:06:44.756]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x58926ab3ce40 (mem: 754.01 MiB)
16:06:44 computing folding proof (mem: 754.01 MiB)
16:06:44 [16:06:44.758]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 754.01 MiB)
16:06:45 [16:06:45.345]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 754.01 MiB)
16:06:45 [16:06:45.476]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 791.01 MiB)
16:06:45 [16:06:45.549]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 824.01 MiB)
16:06:45 [16:06:45.977]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
16:06:45 [16:06:45.979]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
16:06:46 [16:06:46.725]
INFO:
ivc-integration:test:wasm bb - folded (mem: 824.01 MiB)
16:06:46 constructed folding proof (mem: 824.01 MiB)
16:06:46 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 824.01 MiB)
16:06:46 ClientIVC: accumulating unknown_2 (mem: 824.01 MiB)
16:06:46 Constructing DeciderProvingKey (mem: 824.01 MiB)
16:06:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 824.01 MiB)
16:06:46 goblin ecc op : 392/1024 (mem: 824.01 MiB)
16:06:46 busread : 3/6000 (mem: 824.01 MiB)
16:06:46 lookups : 2/15000 (mem: 824.01 MiB)
16:06:46 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 824.01 MiB)
16:06:46 arithmetic : 6913/56000 (mem: 824.01 MiB)
16:06:46 delta range : 2353/18000 (mem: 824.01 MiB)
16:06:46 elliptic : 2/6000 (mem: 824.01 MiB)
16:06:46 auxiliary : 50/26000 (mem: 824.01 MiB)
16:06:46 poseidon ext : 2492/17000 (mem: 824.01 MiB)
16:06:46 poseidon int : 14195/92000 (mem: 824.01 MiB)
16:06:46 overflow : 0/0 (mem: 824.01 MiB)
16:06:46 (mem: 824.01 MiB)
16:06:46 Total structured size: 242025 (mem: 824.01 MiB)
16:06:46 allocating polynomials object in proving key... (mem: 824.01 MiB)
16:06:46 populating trace... (mem: 824.01 MiB)
16:06:46 time to construct proving key: 327 ms. (mem: 824.01 MiB)
16:06:46 getting honk vk... precomputed?: 0x58926ab325c0 (mem: 824.01 MiB)
16:06:46 computing folding proof (mem: 824.01 MiB)
16:06:46 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 824.01 MiB)
16:06:47 [16:06:47.305]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 824.01 MiB)
16:06:47 [16:06:47.453]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 824.01 MiB)
16:06:47 [16:06:47.522]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 824.01 MiB)
16:06:47 [16:06:47.671]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
16:06:47 [16:06:47.760]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
16:06:47 [16:06:47.791]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
16:06:47 [16:06:47.808]
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: 354.06MiB)
16:06:47 [16:06:47.824]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
16:06:47 [16:06:47.826]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
16:06:47 [16:06:47.828]
INFO:
ivc-integration:test:wasm bb - folded (mem: 824.01 MiB)
16:06:47 constructed folding proof (mem: 824.01 MiB)
16:06:47 Largest circuit: 26010 gates. Trace details: (mem: 824.01 MiB)
16:06:47 Minimum required block sizes for structured trace: (mem: 824.01 MiB)
16:06:47 (mem: 824.01 MiB)
16:06:47 prove decider... (mem: 824.01 MiB)
16:06:47 [16:06:47.830]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
16:06:47 busread : 12
16:06:47 lookup : 2
16:06:47 pub_inputs : 36
16:06:47 arithmetic : 6913
16:06:47 delta_range : 2353
16:06:47 elliptic : 2
16:06:47 aux : 110
16:06:47 poseidon2_external : 2492
16:06:47 poseidon2_internal : 14195
16:06:47 overflow : 0
16:06:47 [16:06:47.858]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
16:06:47 [16:06:47.862]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
16:06:47 [16:06:47.864]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
16:06:47 [16:06:47.864]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
16:06:47 [16:06:47.865]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
16:06:47 [16:06:47.866]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
16:06:47 [16:06:47.873]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
16:06:47 [16:06:47.875]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
16:06:47 [16:06:47.876]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
16:06:47 [16:06:47.877]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
16:06:47 [16:06:47.878]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
16:06:47 [16:06:47.879]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
16:06:47 [16:06:47.880]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
16:06:47 [16:06:47.880]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
16:06:47 [16:06:47.881]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
16:06:48 [16:06:48.040]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
16:06:48 [16:06:48.073]
INFO:
ivc-integration:prove_wasm time to construct proving key: 250 ms. (mem: 581.38MiB)
16:06:48 [16:06:48.087]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 824.01 MiB)
16:06:48 [16:06:48.090]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
16:06:48 [16:06:48.266]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 824.01 MiB)
16:06:49 [16:06:49.557]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 824.01 MiB)
16:06:49 [16:06:49.636]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 824.01 MiB)
16:06:49 finished decider proving. (mem: 824.01 MiB)
16:06:49 [16:06:49.653]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 824.01 MiB)
16:06:49 [16:06:49.758]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 824.01 MiB)
16:06:49 [16:06:49.760]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 824.01 MiB)
16:06:49 [16:06:49.921]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 824.01 MiB)
16:06:49 [16:06:49.972]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 219 ms. (mem: 824.01 MiB)
16:06:50 [16:06:50.411]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
16:06:50 [16:06:50.421]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
16:06:51 [16:06:51.050]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
16:06:51 [16:06:51.068]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
16:06:51 [16:06:51.106]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
16:06:51 [16:06:51.107]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
16:06:51 [16:06:51.111]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
16:06:51 [16:06:51.112]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
16:06:51 [16:06:51.113]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
16:06:51 [16:06:51.113]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
16:06:51 [16:06:51.114]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
16:06:51 [16:06:51.114]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 581.38MiB)
16:06:51 [16:06:51.117]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 581.38MiB)
16:06:51 [16:06:51.117]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
16:06:51 [16:06:51.118]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
16:06:51 [16:06:51.122]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 581.38MiB)
16:06:51 [16:06:51.123]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 581.38MiB)
16:06:51 [16:06:51.123]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
16:06:51 [16:06:51.126]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
16:06:51 [16:06:51.126]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
16:06:51 [16:06:51.127]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
16:06:51 [16:06:51.127]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 824.01 MiB)
16:06:51 [16:06:51.270]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.44MiB)
16:06:51 [16:06:51.316]
INFO:
ivc-integration:prove_wasm time to construct proving key: 209 ms. (mem: 820.25MiB)
16:06:51 [16:06:51.427]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.25MiB)
16:06:51 [16:06:51.755]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 824.01 MiB)
16:06:52 [16:06:52.194]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 824.01 MiB)
16:06:53 [16:06:53.655]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck
16:06:53 [16:06:53.656]
INFO:
ivc-integration:test:wasm bb - (mem: 824.01 MiB)
16:06:54 [16:06:54.113]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.25MiB)
16:06:54 [16:06:54.114]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.25MiB)
16:06:54 [16:06:54.473]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction
16:06:54 [16:06:54.474]
INFO:
ivc-integration:test:wasm bb - (mem: 824.01 MiB)
16:06:54 [16:06:54.523]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 824.01 MiB)
16:06:54 finished decider proving. (mem: 824.01 MiB)
16:06:54 [16:06:54.526]
INFO:
ivc-integration:test:wasm bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 824.01 MiB)
16:06:54 [16:06:54.705]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 824.01 MiB)
16:06:55 [16:06:55.043]
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: 824.01 MiB)
16:06:55 [16:06:55.060]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 824.01 MiB)
16:06:55 [16:06:55.469]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.25MiB)
16:06:55 [16:06:55.836]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
16:06:56 [16:06:56.219]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
16:06:57 [16:06:57.134]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
16:06:57 [16:06:57.140]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
16:06:57 [16:06:57.146]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 824.01 MiB)
16:06:57 [16:06:57.176]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 847.69MiB)
16:06:57 [16:06:57.349]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
16:06:57 [16:06:57.350]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
16:06:57 [16:06:57.353]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
16:06:57 [16:06:57.354]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
16:06:57 [16:06:57.354]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
16:06:57 [16:06:57.355]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
16:06:57 [16:06:57.355]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
16:06:57 [16:06:57.356]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 847.69MiB)
16:06:57 [16:06:57.359]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 847.69MiB)
16:06:57 [16:06:57.360]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
16:06:57 [16:06:57.361]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
16:06:57 [16:06:57.362]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 847.69MiB)
16:06:57 [16:06:57.362]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 847.69MiB)
16:06:57 [16:06:57.363]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
16:06:57 [16:06:57.363]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
16:06:57 [16:06:57.364]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
16:06:57 [16:06:57.367]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
16:06:57 [16:06:57.374]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
16:06:57 [16:06:57.410]
INFO:
ivc-integration:prove_wasm time to construct proving key: 61 ms. (mem: 847.69MiB)
16:06:57 [16:06:57.652]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
16:06:59 [16:06:59.037]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 824.01 MiB)
16:07:00 [16:07:00.589]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
16:07:00 [16:07:00.592]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 847.69MiB)
16:07:02 [16:07:02.195]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
16:07:02 [16:07:02.700]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
16:07:03 [16:07:03.142]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
16:07:03 [16:07:03.823]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
16:07:03 [16:07:03.825]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
16:07:03 [16:07:03.825]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 16046 (mem: 855.63MiB)
16:07:03 [16:07:03.826]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
16:07:03 [16:07:03.826]
INFO:
ivc-integration:prove_wasm Largest circuit: 26010 gates. Trace details: (mem: 855.63MiB)
16:07:03 [16:07:03.827]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
16:07:03 [16:07:03.828]
INFO:
ivc-integration:prove_wasm ecc_op : 392
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.828]
INFO:
ivc-integration:prove_wasm busread : 12
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.829]
INFO:
ivc-integration:prove_wasm lookup : 2
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.829]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.830]
INFO:
ivc-integration:prove_wasm arithmetic : 6913
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.830]
INFO:
ivc-integration:prove_wasm delta_range : 2353
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.831]
INFO:
ivc-integration:prove_wasm elliptic : 2
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.831]
INFO:
ivc-integration:prove_wasm aux : 110
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.832]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.832]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.833]
INFO:
ivc-integration:prove_wasm overflow : 0
16:07:03 (mem: 855.63MiB)
16:07:03 [16:07:03.833]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
16:07:03 [16:07:03.834]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
16:07:04 [16:07:04.187]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 824.01 MiB)
16:07:04 prove translator... (mem: 824.01 MiB)
16:07:04 [16:07:04.260]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
16:07:04 [16:07:04.756]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
16:07:06 [16:07:06.327]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
16:07:06 [16:07:06.754]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
16:07:06 [16:07:06.757]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
16:07:06 [16:07:06.769]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 848.64 MiB)
16:07:06 [16:07:06.789]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 855.63MiB)
16:07:07 [16:07:07.027]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
16:07:07 [16:07:07.035]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
16:07:07 [16:07:07.051]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
16:07:07 [16:07:07.102]
INFO:
ivc-integration:prove_wasm time to construct proving key: 71 ms. (mem: 855.63MiB)
16:07:08 [16:07:08.657]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 848.64 MiB)
16:07:08 [16:07:08.990]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 855.63MiB)
16:07:10 [16:07:10.558]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 848.64 MiB)
16:07:10 finished translator proving. (mem: 848.64 MiB)
16:07:10 [16:07:10.562]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 848.64 MiB)
16:07:10 [16:07:10.582]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 848.64 MiB)
16:07:10 libra_evals_verified: 1 (mem: 848.64 MiB)
16:07:10 pairing_check_verified: 1 (mem: 848.64 MiB)
16:07:10 Mega verified: 1 (mem: 848.64 MiB)
16:07:10 [16:07:10.650]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 848.64 MiB)
16:07:10 batch opening verified?: 1 (mem: 848.64 MiB)
16:07:10 eccvm consistency check verified?: 1 (mem: 848.64 MiB)
16:07:10 translation masking consistency checked?: 1 (mem: 848.64 MiB)
16:07:10 [16:07:10.679]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 848.64 MiB)
16:07:10 eccvm verified?: 1 (mem: 848.64 MiB)
16:07:10 accumulator construction_verified?: 1 (mem: 848.64 MiB)
16:07:10 translation verified?: 1 (mem: 848.64 MiB)
16:07:10 consistency verified?: 1 (mem: 848.64 MiB)
16:07:10 Goblin verified: 1 (mem: 848.64 MiB)
16:07:10 [16:07:10.681]
INFO:
ivc-integration:test:wasm bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-dc1ozD" (mem: 848.64 MiB)
16:07:10 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-dc1ozD" (mem: 848.64 MiB)
16:07:10 BN254 commitment key size: 262144 (mem: 848.64 MiB)
16:07:10 [16:07:10.686]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 848.64 MiB)
16:07:10 [16:07:10.688]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
16:07:10 [16:07:10.689]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.64 MiB)
16:07:10 goblin ecc op : 4/1024 (mem: 848.64 MiB)
16:07:10 busread : 3/6000 (mem: 848.64 MiB)
16:07:10 lookups : 2/15000 (mem: 848.64 MiB)
16:07:10 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 848.64 MiB)
16:07:10 arithmetic : 1773/56000 (mem: 848.64 MiB)
16:07:10 delta range : 1754/18000 (mem: 848.64 MiB)
16:07:10 elliptic : 2/6000 (mem: 848.64 MiB)
16:07:10 auxiliary : 26/26000 (mem: 848.64 MiB)
16:07:10 poseidon ext : 2/17000 (mem: 848.64 MiB)
16:07:10 poseidon int : 2/92000 (mem: 848.64 MiB)
16:07:10 overflow : 0/0 (mem: 848.64 MiB)
16:07:10 (mem: 848.64 MiB)
16:07:10 Total structured size: 242025 (mem: 848.64 MiB)
16:07:10 allocating polynomials object in proving key... (mem: 848.64 MiB)
16:07:10 [16:07:10.711]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
16:07:10 [16:07:10.813]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 848.64 MiB)
16:07:10 [16:07:10.862]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 176 ms. (mem: 848.64 MiB)
16:07:11 [16:07:11.026]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 848.64 MiB)
16:07:11 [16:07:11.179]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
16:07:12 [16:07:12.222]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 848.64 MiB)
16:07:12 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.64 MiB)
16:07:12 [16:07:12.616]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 848.64 MiB)
16:07:12 [16:07:12.622]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.64 MiB)
16:07:12 [16:07:12.646]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 848.64 MiB)
16:07:12 [16:07:12.654]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.64 MiB)
16:07:12 goblin ecc op : 56/1024 (mem: 848.64 MiB)
16:07:12 busread : 3/6000 (mem: 848.64 MiB)
16:07:12 lookups : 2/15000 (mem: 848.64 MiB)
16:07:12 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.64 MiB)
16:07:12 arithmetic : 4533/56000 (mem: 848.64 MiB)
16:07:12 delta range : 2060/18000 (mem: 848.64 MiB)
16:07:12 elliptic : 2/6000 (mem: 848.64 MiB)
16:07:12 auxiliary : 50/26000 (mem: 848.64 MiB)
16:07:12 poseidon ext : 1332/17000 (mem: 848.64 MiB)
16:07:12 poseidon int : 7583/92000 (mem: 848.64 MiB)
16:07:12 overflow : 0/0 (mem: 848.64 MiB)
16:07:12 (mem: 848.64 MiB)
16:07:12 Total structured size: 242025 (mem: 848.64 MiB)
16:07:12 allocating polynomials object in proving key... (mem: 848.64 MiB)
16:07:12 [16:07:12.830]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 848.64 MiB)
16:07:12 [16:07:12.871]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 224 ms. (mem: 848.64 MiB)
16:07:12 [16:07:12.995]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
16:07:13 [16:07:13.004]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 848.64 MiB)
16:07:13 [16:07:13.246]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
16:07:13 [16:07:13.247]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
16:07:13 [16:07:13.248]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
16:07:13 [16:07:13.530]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
16:07:13 [16:07:13.818]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 848.64 MiB)
16:07:13 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 848.64 MiB)
16:07:14 [16:07:14.648]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 848.64 MiB)
16:07:14 [16:07:14.797]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 851.64 MiB)
16:07:14 [16:07:14.872]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 883.64 MiB)
16:07:15 [16:07:15.433]
INFO:
ivc-integration:test:wasm bb - folded (mem: 883.64 MiB)
16:07:15 [16:07:15.434]
INFO:
ivc-integration:test:wasm bb - constructed folding proof (mem: 883.64 MiB)
16:07:15 Largest circuit: 15565 gates. Trace details: (mem: 883.64 MiB)
16:07:15 Minimum required block sizes for structured trace: (mem: 883.64 MiB)
16:07:15 (mem: 883.64 MiB)
16:07:15 prove decider... (mem: 883.64 MiB)
16:07:15 [16:07:15.436]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
16:07:15 busread : 3
16:07:15 lookup : 2
16:07:15 pub_inputs : 36
16:07:15 arithmetic : 4533
16:07:15 delta_range : 2060
16:07:15 elliptic : 2
16:07:15 aux : 50
16:07:15 poseidon2_external : 1332
16:07:15 poseidon2_internal : 7583
16:07:15 overflow : 0
16:07:15 [16:07:15.762]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 883.64 MiB)
16:07:15 [16:07:15.981]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 883.64 MiB)
16:07:16 [16:07:16.996]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 883.64 MiB)
16:07:17 [16:07:17.112]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 883.64 MiB)
16:07:17 finished decider proving. (mem: 883.64 MiB)
16:07:17 [16:07:17.128]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 883.64 MiB)
16:07:17 [16:07:17.249]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 883.64 MiB)
16:07:17 [16:07:17.250]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 883.64 MiB)
16:07:17 [16:07:17.315]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
16:07:17 [16:07:17.620]
INFO:
ivc-integration:test:wasm bb - populating trace...
16:07:17 [16:07:17.623]
INFO:
ivc-integration:test:wasm bb - (mem: 883.64 MiB)
16:07:17 [16:07:17.693]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 453 ms. (mem: 883.64 MiB)
16:07:21 [16:07:21.946]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
16:07:28 [16:07:28.919]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
16:07:28 [16:07:28.922]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
16:07:34 [16:07:34.842]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
16:07:39 [16:07:39.429]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
16:07:43 [16:07:43.116]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
16:07:43 [16:07:43.117]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
16:07:43 [16:07:43.117]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 55339 (mem: 855.63MiB)
16:07:43 [16:07:43.139]
INFO:
ivc-integration:prove_wasm time to serialize proof: 16 (mem: 855.63MiB)
16:07:43 [16:07:43.156]
INFO:
ivc-integration:prove_wasm time to serialize vk: 20 (mem: 855.63MiB)
16:07:43 [16:07:43.208]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 855.63MiB)
16:07:43 [16:07:43.277]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.279]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.282]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.282]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.646]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.647]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.648]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.648]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.778]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.779]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.779]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.780]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.780]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
16:07:43 [16:07:43.817]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
16:07:44 [16:07:44.410]
INFO:
ivc-integration:test:wasm BB concurrency: 1
16:07:44 [16:07:44.411]
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-dc1ozD/proof -k /tmp/bb-client-ivc-integration-dc1ozD/vk -v
16:07:44 [16:07:44.467]
INFO:
ivc-integration:test:wasm bb command: verify
16:07:44 [16:07:44.468]
INFO:
ivc-integration:test:wasm (mem: 892.07 MiB)
16:07:44 Scheme is: client_ivc, num threads: 1 (mem: 892.07 MiB)
16:07:44 --proof_path: /tmp/bb-client-ivc-integration-dc1ozD/proof (mem: 892.07 MiB)
16:07:44 --vk_path: /tmp/bb-client-ivc-integration-dc1ozD/vk (mem: 892.07 MiB)
16:07:44 --verbose: true (mem: 892.07 MiB)
16:07:44 --scheme: client_ivc (mem: 892.07 MiB)
16:07:44 [16:07:44.488]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 892.07 MiB)
16:07:44 [16:07:44.511]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 892.07 MiB)
16:07:44 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 892.07 MiB)
16:07:44 [16:07:44.552]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
16:07:44 [16:07:44.554]
INFO:
ivc-integration:test:wasm (mem: 892.07 MiB)
16:07:44 Initialized BN254 CRS from memory with num points = 9 (mem: 892.07 MiB)
16:07:44 [16:07:44.555]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 892.07 MiB)
16:07:44 libra_evals_verified: 1 (mem: 892.07 MiB)
16:07:44 pairing_check_verified: 1 (mem: 892.07 MiB)
16:07:44 Mega verified: 1 (mem: 892.07 MiB)
16:07:44 [16:07:44.984]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 892.07 MiB)
16:07:44 batch opening verified?: 1 (mem: 892.07 MiB)
16:07:44 eccvm consistency check verified?: 1 (mem: 892.07 MiB)
16:07:44 translation masking consistency checked?: 1 (mem: 892.07 MiB)
16:07:45 [16:07:45.019]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 892.07 MiB)
16:07:45 eccvm verified?: 1 (mem: 892.07 MiB)
16:07:45 accumulator construction_verified?: 1 (mem: 892.07 MiB)
16:07:45 translation verified?: 1 (mem: 892.07 MiB)
16:07:45 consistency verified?: 1 (mem: 892.07 MiB)
16:07:45 Goblin verified: 1 (mem: 892.07 MiB)
16:07:45 [16:07:45.022]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 892.07 MiB)
16:07:45 [16:07:45.043]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
16:07:45 [16:07:45.209]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12147813 bytes
16:07:45 [16:07:45.263]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
16:07:45 [16:07:45.755]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
16:07:45 [16:07:45.768]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
16:07:45 [16:07:45.769]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
16:07:46 [16:07:46.728]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
16:07:46 [16:07:46.814]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
16:07:46 [16:07:46.818]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
16:07:46 [16:07:46.896]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
16:07:46 [16:07:46.911]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
16:07:46 [16:07:46.952]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
16:07:46 [16:07:46.967]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
16:07:47 [16:07:47.195]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15724,"2":26010}
16:07:47 [16:07:47.267]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
16:07:47 [16:07:47.381]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12147813 bytes
16:07:47 [16:07:47.413]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
16:07:47 [16:07:47.746]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
16:07:47 [16:07:47.759]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
16:07:48 [16:07:48.988]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
16:07:48 [16:07:48.990]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
16:07:50 [16:07:50.414]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
16:07:50 [16:07:50.514]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
16:07:50 [16:07:50.543]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
16:07:50 [16:07:50.562]
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: 354.06MiB)
16:07:50 [16:07:50.570]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
16:07:50 [16:07:50.571]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
16:07:50 [16:07:50.590]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
16:07:50 [16:07:50.591]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
16:07:50 [16:07:50.591]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
16:07:50 [16:07:50.591]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
16:07:50 [16:07:50.592]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
16:07:50 [16:07:50.592]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
16:07:50 [16:07:50.593]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
16:07:50 [16:07:50.593]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
16:07:50 [16:07:50.593]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
16:07:50 [16:07:50.593]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
16:07:50 [16:07:50.594]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
16:07:50 [16:07:50.594]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
16:07:50 [16:07:50.594]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
16:07:50 [16:07:50.595]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
16:07:50 [16:07:50.598]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
16:07:50 [16:07:50.664]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.56MiB)
16:07:50 [16:07:50.689]
INFO:
ivc-integration:prove_wasm time to construct proving key: 118 ms. (mem: 581.88MiB)
16:07:50 [16:07:50.704]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.88MiB)
16:07:52 [16:07:52.087]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.88MiB)
16:07:52 [16:07:52.089]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.88MiB)
16:07:52 [16:07:52.380]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.88MiB)
16:07:52 [16:07:52.399]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.88MiB)
16:07:52 [16:07:52.438]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.88MiB)
16:07:52 [16:07:52.439]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.88MiB)
16:07:52 [16:07:52.445]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.88MiB)
16:07:52 [16:07:52.446]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.88MiB)
16:07:52 [16:07:52.446]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.88MiB)
16:07:52 [16:07:52.447]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.88MiB)
16:07:52 [16:07:52.447]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.88MiB)
16:07:52 [16:07:52.447]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 581.88MiB)
16:07:52 [16:07:52.448]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 581.88MiB)
16:07:52 [16:07:52.448]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.88MiB)
16:07:52 [16:07:52.448]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.88MiB)
16:07:52 [16:07:52.449]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 581.88MiB)
16:07:52 [16:07:52.449]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 581.88MiB)
16:07:52 [16:07:52.449]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.88MiB)
16:07:52 [16:07:52.449]
INFO:
ivc-integration:prove_wasm (mem: 581.88MiB)
16:07:52 [16:07:52.450]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.88MiB)
16:07:52 [16:07:52.450]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.88MiB)
16:07:52 [16:07:52.519]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.88MiB)
16:07:52 [16:07:52.540]
INFO:
ivc-integration:prove_wasm time to construct proving key: 102 ms. (mem: 820.69MiB)
16:07:52 [16:07:52.568]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
16:07:53 [16:07:53.870]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
16:07:53 [16:07:53.874]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.69MiB)
16:07:54 [16:07:54.466]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
16:07:54 [16:07:54.745]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
16:07:55 [16:07:55.194]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
16:07:55 [16:07:55.481]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
16:07:55 [16:07:55.482]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
16:07:55 [16:07:55.486]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
16:07:55 [16:07:55.487]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
16:07:55 [16:07:55.492]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
16:07:55 [16:07:55.493]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
16:07:55 [16:07:55.494]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
16:07:55 [16:07:55.494]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
16:07:55 [16:07:55.495]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
16:07:55 [16:07:55.495]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
16:07:55 [16:07:55.495]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
16:07:55 [16:07:55.496]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
16:07:55 [16:07:55.496]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
16:07:55 [16:07:55.496]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
16:07:55 [16:07:55.497]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
16:07:55 [16:07:55.497]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
16:07:55 [16:07:55.497]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
16:07:55 [16:07:55.497]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
16:07:55 [16:07:55.498]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
16:07:55 [16:07:55.546]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
16:07:55 [16:07:55.555]
INFO:
ivc-integration:prove_wasm time to construct proving key: 68 ms. (mem: 848.19MiB)
16:07:55 [16:07:55.586]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
16:07:56 [16:07:56.727]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
16:07:56 [16:07:56.730]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
16:07:56 [16:07:56.898]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
16:07:57 [16:07:57.126]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
16:07:57 [16:07:57.394]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
16:07:57 [16:07:57.614]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
16:07:57 [16:07:57.615]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
16:07:57 [16:07:57.629]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 848.19MiB)
16:07:57 [16:07:57.772]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
16:07:57 [16:07:57.909]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
16:07:57 [16:07:57.910]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
16:07:57 [16:07:57.915]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
16:07:57 [16:07:57.916]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
16:07:57 [16:07:57.916]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
16:07:57 [16:07:57.916]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
16:07:57 [16:07:57.917]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
16:07:57 [16:07:57.917]
INFO:
ivc-integration:prove_wasm arithmetic : 12208/56000 (mem: 848.19MiB)
16:07:57 [16:07:57.917]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 848.19MiB)
16:07:57 [16:07:57.917]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
16:07:57 [16:07:57.918]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
16:07:57 [16:07:57.918]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 848.19MiB)
16:07:57 [16:07:57.918]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 848.19MiB)
16:07:57 [16:07:57.919]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
16:07:57 [16:07:57.919]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
16:07:57 [16:07:57.919]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
16:07:57 [16:07:57.919]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
16:07:57 [16:07:57.935]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
16:07:57 [16:07:57.998]
INFO:
ivc-integration:prove_wasm time to construct proving key: 89 ms. (mem: 851.31MiB)
16:07:58 [16:07:58.079]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.31MiB)
16:07:59 [16:07:59.215]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.31MiB)
16:07:59 [16:07:59.216]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 851.31MiB)
16:08:00 [16:08:00.000]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.31MiB)
16:08:00 [16:08:00.318]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
16:08:00 [16:08:00.628]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
16:08:00 [16:08:00.898]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
16:08:00 [16:08:00.899]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
16:08:00 [16:08:00.913]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 907.06MiB)
16:08:01 [16:08:01.023]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 907.06MiB)
16:08:01 [16:08:01.023]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
16:08:01 [16:08:01.029]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
16:08:01 [16:08:01.030]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
16:08:01 [16:08:01.030]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 907.06MiB)
16:08:01 [16:08:01.031]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
16:08:01 [16:08:01.031]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 907.06MiB)
16:08:01 [16:08:01.032]
INFO:
ivc-integration:prove_wasm arithmetic : 6978/56000 (mem: 907.06MiB)
16:08:01 [16:08:01.032]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 907.06MiB)
16:08:01 [16:08:01.033]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
16:08:01 [16:08:01.033]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 907.06MiB)
16:08:01 [16:08:01.033]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 907.06MiB)
16:08:01 [16:08:01.034]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 907.06MiB)
16:08:01 [16:08:01.034]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
16:08:01 [16:08:01.035]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
16:08:01 [16:08:01.035]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
16:08:01 [16:08:01.036]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
16:08:01 [16:08:01.068]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
16:08:01 [16:08:01.093]
INFO:
ivc-integration:prove_wasm time to construct proving key: 70 ms. (mem: 907.06MiB)
16:08:01 [16:08:01.187]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
16:08:02 [16:08:02.286]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
16:08:02 [16:08:02.287]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 907.06MiB)
16:08:02 [16:08:02.996]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
16:08:03 [16:08:03.338]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
16:08:03 [16:08:03.653]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
16:08:03 [16:08:03.913]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
16:08:03 [16:08:03.914]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
16:08:03 [16:08:03.924]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 907.06MiB)
16:08:04 [16:08:04.085]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 907.06MiB)
16:08:04 [16:08:04.086]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
16:08:04 [16:08:04.090]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
16:08:04 [16:08:04.091]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
16:08:04 [16:08:04.092]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 907.06MiB)
16:08:04 [16:08:04.096]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
16:08:04 [16:08:04.097]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 907.06MiB)
16:08:04 [16:08:04.097]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 907.06MiB)
16:08:04 [16:08:04.097]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 907.06MiB)
16:08:04 [16:08:04.098]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
16:08:04 [16:08:04.099]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 907.06MiB)
16:08:04 [16:08:04.099]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 907.06MiB)
16:08:04 [16:08:04.100]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 907.06MiB)
16:08:04 [16:08:04.101]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
16:08:04 [16:08:04.101]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
16:08:04 [16:08:04.101]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
16:08:04 [16:08:04.102]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
16:08:04 [16:08:04.133]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
16:08:04 [16:08:04.174]
INFO:
ivc-integration:prove_wasm time to construct proving key: 92 ms. (mem: 907.06MiB)
16:08:04 [16:08:04.358]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
16:08:05 [16:08:05.870]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
16:08:05 [16:08:05.872]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 907.06MiB)
16:08:06 [16:08:06.691]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
16:08:06 [16:08:06.952]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
16:08:07 [16:08:07.215]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
16:08:07 [16:08:07.512]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
16:08:07 [16:08:07.513]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
16:08:07 [16:08:07.513]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 16993 (mem: 907.06MiB)
16:08:07 [16:08:07.513]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 907.06MiB)
16:08:07 [16:08:07.513]
INFO:
ivc-integration:prove_wasm Largest circuit: 48925 gates. Trace details: (mem: 907.06MiB)
16:08:07 [16:08:07.514]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 907.06MiB)
16:08:07 [16:08:07.514]
INFO:
ivc-integration:prove_wasm ecc_op : 792
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.514]
INFO:
ivc-integration:prove_wasm busread : 16
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.514]
INFO:
ivc-integration:prove_wasm lookup : 2
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.515]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.515]
INFO:
ivc-integration:prove_wasm arithmetic : 12208
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.516]
INFO:
ivc-integration:prove_wasm delta_range : 2981
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.516]
INFO:
ivc-integration:prove_wasm elliptic : 2
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.516]
INFO:
ivc-integration:prove_wasm aux : 350
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.517]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.517]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.517]
INFO:
ivc-integration:prove_wasm overflow : 0
16:08:07 (mem: 907.06MiB)
16:08:07 [16:08:07.517]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
16:08:07 [16:08:07.518]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 907.06MiB)
16:08:07 [16:08:07.663]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
16:08:08 [16:08:08.928]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
16:08:10 [16:08:10.795]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
16:08:12 [16:08:12.058]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
16:08:12 [16:08:12.059]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
16:08:12 [16:08:12.098]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 907.06MiB)
16:08:12 [16:08:12.326]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
16:08:12 [16:08:12.334]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
16:08:12 [16:08:12.346]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
16:08:12 [16:08:12.403]
INFO:
ivc-integration:prove_wasm time to construct proving key: 78 ms. (mem: 907.06MiB)
16:08:13 [16:08:13.303]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 907.06MiB)
16:08:14 [16:08:14.102]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 907.06MiB)
16:08:14 [16:08:14.176]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
16:08:14 [16:08:14.949]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
16:08:16 [16:08:16.089]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
16:08:16 [16:08:16.227]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
16:08:16 [16:08:16.228]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
16:08:16 [16:08:16.228]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 907.06MiB)
16:08:16 [16:08:16.342]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 907.06MiB)
16:08:18 [16:08:18.119]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
16:08:21 [16:08:21.259]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
16:08:23 [16:08:23.813]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 907.06MiB)
16:08:23 [16:08:23.814]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 907.06MiB)
16:08:28 [16:08:28.115]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
16:08:31 [16:08:31.627]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
16:08:34 [16:08:34.226]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
16:08:34 [16:08:34.227]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 907.06MiB)
16:08:34 [16:08:34.227]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 43706 (mem: 907.06MiB)
16:08:34 [16:08:34.255]
INFO:
ivc-integration:prove_wasm time to serialize proof: 21 (mem: 907.06MiB)
16:08:34 [16:08:34.262]
INFO:
ivc-integration:prove_wasm time to serialize vk: 15 (mem: 907.06MiB)
16:08:34 [16:08:34.296]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 907.06MiB)
16:08:34 [16:08:34.354]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.355]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.356]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.356]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.568]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.569]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.569]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.569]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.639]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.641]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.641]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.642]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.642]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.643]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.667]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 907.06MiB)
16:08:34 [16:08:34.711]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.712]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.712]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.713]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.944]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.945]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.946]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.947]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.989]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.989]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.990]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.990]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.990]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
16:08:34 [16:08:34.990]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
16:08:35 [16:08:35.597]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
16:08:35
PASS src/wasm_client_ivc_integration.test.ts (
115.334 s)
16:08:35 Client IVC Integration
16:08:35
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (61127 ms)
16:08:35
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2165 ms)
16:08:35
✓ Should generate a verifiable client IVC proof from a complex mock tx (48403 ms)
16:08:35
16:08:35
Test Suites: 1 passed, 1 total
16:08:35
Tests: 3 passed, 3 total
16:08:35
Snapshots: 0 total
16:08:35
Time: 115.424 s
16:08:35
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
16:08:35
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?