Parent Log:
http://ci.aztec-labs.com/1105e0e4ebda3b8d
Command: d57d38082bbaf86d: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/2d661b35c089f032f50de084b07dded86f0873b8
Env: REF_NAME=gh-readonly-queue/next/pr-15187-301dce04331dcfb583b7508b91491de618d4acf4 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 10:46:26 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15187_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
10:46:31 [10:46:31.024]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
10:46:31 [10:46:31.034]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-YVxSvY/ivc-inputs.msgpack
10:46:31 [10:46:31.036]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
10:46:31 [10:46:31.037]
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-YVxSvY --ivc_inputs_path /tmp/bb-client-ivc-integration-YVxSvY/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
10:46:31 [10:46:31.236]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12113510 bytes
10:46:31 [10:46:31.258]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 185.09 MiB)
10:46:31 Scheme is: client_ivc, num threads: 128 (mem: 185.09 MiB)
10:46:31 --scheme: client_ivc (mem: 185.09 MiB)
10:46:31 --output_path: /tmp/bb-client-ivc-integration-YVxSvY (mem: 185.09 MiB)
10:46:31 --ivc_inputs_path: /tmp/bb-client-ivc-integration-YVxSvY/ivc-inputs.msgpack (mem: 185.09 MiB)
10:46:31 --verbose: true (mem: 185.09 MiB)
10:46:31 --write_vk: true (mem: 185.09 MiB)
10:46:31 BN254 commitment key size: 262144 (mem: 185.09 MiB)
10:46:31 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 185.09 MiB)
10:46:31 Initialized BN254 CRS from memory with num points = 262145 (mem: 185.09 MiB)
10:46:31 ClientIVC: accumulating unknown_0 (mem: 185.09 MiB)
10:46:31 Constructing DeciderProvingKey (mem: 185.09 MiB)
10:46:31 Gate blocks summary: (actual gates / fixed capacity) (mem: 185.09 MiB)
10:46:31 goblin ecc op : 4/1024 (mem: 185.09 MiB)
10:46:31 busread : 7/6000 (mem: 185.09 MiB)
10:46:31 lookups : 2/15000 (mem: 185.09 MiB)
10:46:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 185.09 MiB)
10:46:31 arithmetic : 1760/56000 (mem: 185.09 MiB)
10:46:31 delta range : 1754/18000 (mem: 185.09 MiB)
10:46:31 elliptic : 2/6000 (mem: 185.09 MiB)
10:46:31 auxiliary : 26/26000 (mem: 185.09 MiB)
10:46:31 poseidon ext : 2/17000 (mem: 185.09 MiB)
10:46:31 poseidon int : 2/92000 (mem: 185.09 MiB)
10:46:31 overflow : 0/0 (mem: 185.09 MiB)
10:46:31 (mem: 185.09 MiB)
10:46:31 Total structured size: 242025 (mem: 185.09 MiB)
10:46:31 allocating polynomials object in proving key... (mem: 185.09 MiB)
10:46:31 [10:46:31.277]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
10:46:31 [10:46:31.406]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 348.88 MiB)
10:46:31 [10:46:31.415]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 276 ms. (mem: 360.88 MiB)
10:46:31 [10:46:31.535]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5b230e42a200 (mem: 360.88 MiB)
10:46:31 [10:46:31.536]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 360.88 MiB)
10:46:31 [10:46:31.537]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 360.88 MiB)
10:46:31 [10:46:31.583]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
10:46:31 [10:46:31.593]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
10:46:31 [10:46:31.803]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 371.88 MiB)
10:46:31 [10:46:31.812]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 371.88 MiB)
10:46:31 [10:46:31.834]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 371.88 MiB)
10:46:31 Constructing DeciderProvingKey (mem: 371.88 MiB)
10:46:31 [10:46:31.841]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 371.88 MiB)
10:46:31 goblin ecc op : 56/1024 (mem: 371.88 MiB)
10:46:31 busread : 12/6000 (mem: 371.88 MiB)
10:46:31 lookups : 2/15000 (mem: 371.88 MiB)
10:46:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 371.88 MiB)
10:46:31 arithmetic : 4677/56000 (mem: 371.88 MiB)
10:46:31 delta range : 2073/18000 (mem: 371.88 MiB)
10:46:31 elliptic : 2/6000 (mem: 371.88 MiB)
10:46:31 auxiliary : 110/26000 (mem: 371.88 MiB)
10:46:31 poseidon ext : 1322/17000 (mem: 371.88 MiB)
10:46:31 poseidon int : 7526/92000 (mem: 371.88 MiB)
10:46:31 overflow : 0/0 (mem: 371.88 MiB)
10:46:31 (mem: 371.88 MiB)
10:46:31 Total structured size: 242025 (mem: 371.88 MiB)
10:46:31 allocating polynomials object in proving key... (mem: 371.88 MiB)
10:46:32 [10:46:32.022]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 575.88 MiB)
10:46:32 [10:46:32.054]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 218 ms. (mem: 585.88 MiB)
10:46:32 [10:46:32.251]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5b230e436e40 (mem: 585.88 MiB)
10:46:32 computing folding proof (mem: 585.88 MiB)
10:46:32 [10:46:32.255]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 585.88 MiB)
10:46:32 [10:46:32.488]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 589.88 MiB)
10:46:32 [10:46:32.621]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 626.88 MiB)
10:46:32 [10:46:32.667]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 658.88 MiB)
10:46:32 [10:46:32.754]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
10:46:32 [10:46:32.755]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
10:46:33 [10:46:33.281]
INFO:
ivc-integration:test:wasm bb - folded (mem: 658.88 MiB)
10:46:33 constructed folding proof (mem: 658.88 MiB)
10:46:33 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 658.88 MiB)
10:46:33 [10:46:33.302]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 658.88 MiB)
10:46:33 Constructing DeciderProvingKey (mem: 658.88 MiB)
10:46:33 [10:46:33.306]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 658.88 MiB)
10:46:33 goblin ecc op : 392/1024 (mem: 658.88 MiB)
10:46:33 busread : 3/6000 (mem: 658.88 MiB)
10:46:33 lookups : 2/15000 (mem: 658.88 MiB)
10:46:33 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 658.88 MiB)
10:46:33 arithmetic : 6913/56000 (mem: 658.88 MiB)
10:46:33 delta range : 2353/18000 (mem: 658.88 MiB)
10:46:33 elliptic : 2/6000 (mem: 658.88 MiB)
10:46:33 [10:46:33.308]
INFO:
ivc-integration:test:wasm bb - auxiliary : 50/26000 (mem: 658.88 MiB)
10:46:33 poseidon ext : 2492/17000 (mem: 658.88 MiB)
10:46:33 poseidon int : 14195/92000 (mem: 658.88 MiB)
10:46:33 overflow : 0/0 (mem: 658.88 MiB)
10:46:33 (mem: 658.88 MiB)
10:46:33 Total structured size: 242025 (mem: 658.88 MiB)
10:46:33 allocating polynomials object in proving key... (mem: 658.88 MiB)
10:46:33 [10:46:33.501]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 658.88 MiB)
10:46:33 [10:46:33.547]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 245 ms. (mem: 658.88 MiB)
10:46:33 [10:46:33.882]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
10:46:33 [10:46:33.920]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
10:46:33 [10:46:33.945]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
10:46:33 [10:46:33.946]
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)
10:46:33 [10:46:33.954]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
10:46:33 [10:46:33.955]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
10:46:33 [10:46:33.963]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5b230e42c5c0 (mem: 658.88 MiB)
10:46:33 computing folding proof (mem: 658.88 MiB)
10:46:33 [10:46:33.964]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 658.88 MiB)
10:46:33 [10:46:33.990]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
10:46:33 [10:46:33.994]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
10:46:33 [10:46:33.995]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
10:46:33 [10:46:33.995]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
10:46:33 [10:46:33.996]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
10:46:33 [10:46:33.997]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
10:46:33 [10:46:33.997]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
10:46:33 [10:46:33.997]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
10:46:33 [10:46:33.998]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
10:46:33 [10:46:33.999]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
10:46:33 [10:46:34.000]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
10:46:33 [10:46:34.000]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
10:46:34 [10:46:34.001]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
10:46:34 [10:46:34.001]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
10:46:34 [10:46:34.002]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
10:46:34 [10:46:34.087]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
10:46:34 [10:46:34.120]
INFO:
ivc-integration:prove_wasm time to construct proving key: 162 ms. (mem: 316.56MiB)
10:46:34 [10:46:34.160]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 316.56MiB)
10:46:34 [10:46:34.403]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key
10:46:34 [10:46:34.404]
INFO:
ivc-integration:test:wasm bb - (mem:
10:46:34 [10:46:34.406]
INFO:
ivc-integration:test:wasm bb - 658.88 MiB)
10:46:34 [10:46:34.517]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 658.88 MiB)
10:46:34 [10:46:34.587]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 668.35 MiB)
10:46:34 [10:46:34.613]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 316.56MiB)
10:46:34 [10:46:34.616]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 316.56MiB)
10:46:35 [10:46:35.054]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
10:46:35 [10:46:35.071]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
10:46:35 [10:46:35.080]
INFO:
ivc-integration:test:wasm bb - folded (mem: 668.35
10:46:35 [10:46:35.081]
INFO:
ivc-integration:test:wasm bb - MiB)
10:46:35 constructed folding proof (mem: 668.35 MiB)
10:46:35 Largest circuit: 26010 gates. Trace details: (mem: 668.35 MiB)
10:46:35 Minimum required block sizes for structured trace: (mem: 668.35 MiB)
10:46:35 (mem: 668.35 MiB)
10:46:35 prove decider... (mem: 668.35 MiB)
10:46:35 [10:46:35.082]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
10:46:35 busread : 12
10:46:35 lookup : 2
10:46:35 pub_inputs : 36
10:46:35 arithmetic : 6913
10:46:35 delta_range : 2353
10:46:35 elliptic : 2
10:46:35 aux : 110
10:46:35 poseidon2_external : 2492
10:46:35 poseidon2_internal : 14195
10:46:35 overflow : 0
10:46:35 [10:46:35.118]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
10:46:35 [10:46:35.119]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
10:46:35 [10:46:35.122]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
10:46:35 [10:46:35.122]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
10:46:35 [10:46:35.124]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
10:46:35 [10:46:35.124]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
10:46:35 [10:46:35.125]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
10:46:35 [10:46:35.125]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 317.94MiB)
10:46:35 [10:46:35.125]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
10:46:35 [10:46:35.126]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
10:46:35 [10:46:35.126]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
10:46:35 [10:46:35.126]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
10:46:35 [10:46:35.129]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
10:46:35 [10:46:35.129]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
10:46:35 [10:46:35.129]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
10:46:35 [10:46:35.130]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
10:46:35 [10:46:35.130]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
10:46:35 [10:46:35.197]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.13MiB)
10:46:35 [10:46:35.233]
INFO:
ivc-integration:prove_wasm time to construct proving key: 117 ms. (mem: 555.19MiB)
10:46:35 [10:46:35.236]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 668.35 MiB)
10:46:35 [10:46:35.291]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.19MiB)
10:46:35 [10:46:35.379]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 668.35 MiB)
10:46:36 [10:46:36.127]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.19MiB)
10:46:36 [10:46:36.130]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 555.19MiB)
10:46:36 [10:46:36.895]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.19MiB)
10:46:37 [10:46:37.134]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 668.35 MiB)
10:46:37 [10:46:37.171]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 582.63MiB)
10:46:37 [10:46:37.273]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 668.35 MiB)
10:46:37 finished decider proving. (mem: 668.35 MiB)
10:46:37 [10:46:37.337]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 668.35 MiB)
10:46:37 [10:46:37.425]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 668.35 MiB)
10:46:37 [10:46:37.430]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 668.35 MiB)
10:46:37 [10:46:37.555]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 582.63MiB)
10:46:37 [10:46:37.710]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 668.35 MiB)
10:46:37 [10:46:37.789]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 364 ms. (mem: 668.35 MiB)
10:46:38 [10:46:38.283]
INFO:
ivc-integration:prove_wasm folded (mem: 582.63MiB)
10:46:38 [10:46:38.284]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 582.63MiB)
10:46:38 [10:46:38.293]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 582.63MiB)
10:46:38 [10:46:38.499]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 582.63MiB)
10:46:38 [10:46:38.502]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 582.63MiB)
10:46:38 [10:46:38.509]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 582.63MiB)
10:46:38 [10:46:38.510]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 582.63MiB)
10:46:38 [10:46:38.514]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 582.63MiB)
10:46:38 [10:46:38.514]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 582.63MiB)
10:46:38 [10:46:38.515]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 582.63MiB)
10:46:38 [10:46:38.515]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 582.63MiB)
10:46:38 [10:46:38.515]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 582.63MiB)
10:46:38 [10:46:38.515]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 582.63MiB)
10:46:38 [10:46:38.516]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 582.63MiB)
10:46:38 [10:46:38.516]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 582.63MiB)
10:46:38 [10:46:38.516]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 582.63MiB)
10:46:38 [10:46:38.516]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 582.63MiB)
10:46:38 [10:46:38.517]
INFO:
ivc-integration:prove_wasm (mem: 582.63MiB)
10:46:38 [10:46:38.517]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 582.63MiB)
10:46:38 [10:46:38.518]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 582.63MiB)
10:46:38 [10:46:38.544]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 582.63MiB)
10:46:38 [10:46:38.583]
INFO:
ivc-integration:prove_wasm time to construct proving key: 82 ms. (mem: 582.63MiB)
10:46:38 [10:46:38.800]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 582.63MiB)
10:46:39 [10:46:39.309]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 668.35 MiB)
10:46:39 [10:46:39.871]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 582.63MiB)
10:46:39 [10:46:39.871]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 582.63MiB)
10:46:40 [10:46:40.029]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 668.35 MiB)
10:46:40 [10:46:40.260]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
10:46:40 [10:46:40.262]
INFO:
ivc-integration:test:wasm bb - (mem: 668.35 MiB)
10:46:40 [10:46:40.699]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 582.63MiB)
10:46:41 [10:46:41.001]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 590.56MiB)
10:46:41 [10:46:41.218]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 590.56MiB)
10:46:41 [10:46:41.747]
INFO:
ivc-integration:prove_wasm folded (mem: 590.56MiB)
10:46:41 [10:46:41.748]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 590.56MiB)
10:46:41 [10:46:41.751]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 7822 (mem: 590.56MiB)
10:46:41 [10:46:41.752]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 590.56MiB)
10:46:41 [10:46:41.752]
INFO:
ivc-integration:prove_wasm Largest circuit: 26010 gates. Trace details: (mem: 590.56MiB)
10:46:41 [10:46:41.752]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 590.56MiB)
10:46:41 [10:46:41.752]
INFO:
ivc-integration:prove_wasm ecc_op : 392
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.753]
INFO:
ivc-integration:prove_wasm busread : 12
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.755]
INFO:
ivc-integration:prove_wasm lookup : 2
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.761]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.761]
INFO:
ivc-integration:prove_wasm arithmetic : 6913
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.761]
INFO:
ivc-integration:prove_wasm delta_range : 2353
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.762]
INFO:
ivc-integration:prove_wasm elliptic : 2
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.762]
INFO:
ivc-integration:prove_wasm aux : 110
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.762]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.762]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.763]
INFO:
ivc-integration:prove_wasm overflow : 0
10:46:41 (mem: 590.56MiB)
10:46:41 [10:46:41.763]
INFO:
ivc-integration:prove_wasm (mem: 590.56MiB)
10:46:41 [10:46:41.763]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 590.56MiB)
10:46:41 [10:46:41.866]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 668.35 MiB)
10:46:42 [10:46:42.123]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
10:46:42 [10:46:42.498]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
10:46:43 [10:46:43.424]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 668.35 MiB)
10:46:43 [10:46:43.512]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 668.35 MiB)
10:46:43 finished decider proving. (mem: 668.35 MiB)
10:46:43 Constructing a Goblin proof with num ultra ops = 1038 (mem: 668.35 MiB)
10:46:43 [10:46:43.886]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 668.35 MiB)
10:46:44 [10:46:44.255]
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: 668.35 MiB)
10:46:44 [10:46:44.275]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 668.35 MiB)
10:46:44 [10:46:44.389]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
10:46:44 [10:46:44.759]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
10:46:44 [10:46:44.760]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
10:46:44 [10:46:44.783]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 590.56MiB)
10:46:45 [10:46:45.013]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 590.56MiB)
10:46:45 [10:46:45.036]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 590.56MiB)
10:46:45 [10:46:45.080]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 590.56MiB)
10:46:45 [10:46:45.177]
INFO:
ivc-integration:prove_wasm time to construct proving key: 164 ms. (mem: 590.56MiB)
10:46:46 [10:46:46.523]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 668.35 MiB)
10:46:46 [10:46:46.961]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 590.56MiB)
10:46:48 [10:46:48.222]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 590.56MiB)
10:46:48 [10:46:48.333]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
10:46:48 [10:46:48.758]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 668.35 MiB)
10:46:48 [10:46:48.768]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
10:46:50 [10:46:50.253]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
10:46:50 [10:46:50.468]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
10:46:50 [10:46:50.469]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
10:46:50 [10:46:50.469]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 590.56MiB)
10:46:50 [10:46:50.614]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 590.56MiB)
10:46:53 [10:46:53.587]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
10:46:54 [10:46:54.046]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 668.35 MiB)
10:46:54 prove translator... (mem: 668.35 MiB)
10:46:56 [10:46:56.580]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 701.35 MiB)
10:46:57 [10:46:57.481]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
10:47:00 [10:47:00.441]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 702.35 MiB)
10:47:03 [10:47:03.866]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 702.35 MiB)
10:47:03 finished translator proving. (mem: 702.35 MiB)
10:47:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 702.35 MiB)
10:47:03 [10:47:03.913]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 702.35 MiB)
10:47:03 libra_evals_verified: 1 (mem: 702.35 MiB)
10:47:03 pairing_check_verified: 1 (mem: 702.35 MiB)
10:47:03 Mega verified: 1 (mem: 702.35 MiB)
10:47:04 [10:47:04.156]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 703.35 MiB)
10:47:04 batch opening verified?: 1 (mem: 703.35 MiB)
10:47:04 [10:47:04.157]
INFO:
ivc-integration:test:wasm bb - eccvm consistency check verified?: 1 (mem: 703.35 MiB)
10:47:04 translation masking consistency checked?: 1 (mem: 703.35 MiB)
10:47:04 [10:47:04.203]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 703.35 MiB)
10:47:04 eccvm verified?: 1 (mem: 703.35 MiB)
10:47:04 accumulator construction_verified?: 1 (mem: 703.35 MiB)
10:47:04 translation verified?: 1 (mem: 703.35 MiB)
10:47:04 consistency verified?: 1 (mem: 703.35 MiB)
10:47:04 Goblin verified: 1 (mem: 703.35 MiB)
10:47:04 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-YVxSvY" (mem: 703.35 MiB)
10:47:04 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-YVxSvY" (mem: 703.35 MiB)
10:47:04 BN254 commitment key size: 262144 (mem: 703.35 MiB)
10:47:04 [10:47:04.211]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 703.35 MiB)
10:47:04 [10:47:04.221]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 703.35 MiB)
10:47:04 goblin ecc op : 4/1024 (mem: 703.35 MiB)
10:47:04 busread : 3/6000 (mem: 703.35 MiB)
10:47:04 lookups : 2/15000 (mem: 703.35 MiB)
10:47:04 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 703.35 MiB)
10:47:04 arithmetic : 1773/56000 (mem: 703.35 MiB)
10:47:04 delta range : 1754/18000 (mem: 703.35 MiB)
10:47:04 elliptic : 2/6000 (mem: 703.35 MiB)
10:47:04 auxiliary : 26/26000 (mem: 703.35 MiB)
10:47:04 poseidon ext : 2/17000 (mem: 703.35 MiB)
10:47:04 poseidon int : 2/92000 (mem: 703.35 MiB)
10:47:04 overflow : 0/0 (mem: 703.35 MiB)
10:47:04 (mem: 703.35 MiB)
10:47:04 Total structured size: 242025 (mem: 703.35 MiB)
10:47:04 allocating polynomials object in proving key... (mem: 703.35 MiB)
10:47:04 [10:47:04.558]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 703.35 MiB)
10:47:04 [10:47:04.572]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 368 ms.
10:47:04 [10:47:04.573]
INFO:
ivc-integration:test:wasm bb - (mem: 703.35 MiB)
10:47:04 [10:47:04.891]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 703.35 MiB)
10:47:05 [10:47:05.256]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 703.35 MiB)
10:47:05 [10:47:05.257]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 703.35 MiB)
10:47:05 [10:47:05.583]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 703.35 MiB)
10:47:05 [10:47:05.592]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 703.35 MiB)
10:47:05 [10:47:05.606]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 703.35 MiB)
10:47:05 [10:47:05.614]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 703.35 MiB)
10:47:05 [10:47:05.618]
INFO:
ivc-integration:test:wasm bb - goblin ecc op : 56/1024 (mem: 703.35 MiB)
10:47:05 busread : 3/6000 (mem: 703.35 MiB)
10:47:05 lookups : 2/15000 (mem: 703.35 MiB)
10:47:05 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 703.35 MiB)
10:47:05 arithmetic : 4533/56000 (mem: 703.35 MiB)
10:47:05 delta range : 2060/18000 (mem: 703.35 MiB)
10:47:05 elliptic : 2/6000 (mem: 703.35 MiB)
10:47:05 auxiliary : 50/26000 (mem: 703.35 MiB)
10:47:05 poseidon ext : 1332/17000 (mem: 703.35 MiB)
10:47:05 poseidon int : 7583/92000 (mem: 703.35 MiB)
10:47:05 overflow : 0/0 (mem: 703.35 MiB)
10:47:05 (mem: 703.35 MiB)
10:47:05 Total structured size: 242025 (mem: 703.35 MiB)
10:47:05 allocating polynomials object in proving key... (mem: 703.35 MiB)
10:47:06 [10:47:05.990]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 703.35 MiB)
10:47:06 [10:47:06.060]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 454 ms.
10:47:06 [10:47:06.062]
INFO:
ivc-integration:test:wasm bb - (mem:
10:47:06 [10:47:06.073]
INFO:
ivc-integration:test:wasm bb - 703.35 MiB)
10:47:06 [10:47:06.261]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 703.35 MiB)
10:47:06 [10:47:06.492]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 590.56MiB)
10:47:06 [10:47:06.493]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 590.56MiB)
10:47:07 [10:47:07.063]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 704.35 MiB)
10:47:07 [10:47:07.065]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 704.35 MiB)
10:47:07 [10:47:07.739]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 705.35 MiB)
10:47:07 [10:47:07.914]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 705.35 MiB)
10:47:08 [10:47:08.014]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 736.35 MiB)
10:47:08 [10:47:08.512]
INFO:
ivc-integration:test:wasm bb - folded (mem: 736.35 MiB)
10:47:08 constructed folding proof (mem: 736.35 MiB)
10:47:08 Largest circuit: 15565 gates. Trace details: (mem: 736.35 MiB)
10:47:08 Minimum required block sizes for structured trace: (mem: 736.35 MiB)
10:47:08 (mem: 736.35 MiB)
10:47:08 prove decider... (mem: 736.35 MiB)
10:47:08 [10:47:08.514]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
10:47:08 busread : 3
10:47:08 lookup : 2
10:47:08 pub_inputs : 36
10:47:08 arithmetic : 4533
10:47:08 delta_range : 2060
10:47:08 elliptic : 2
10:47:08 aux : 50
10:47:08 poseidon2_external : 1332
10:47:08 poseidon2_internal : 7583
10:47:08 overflow : 0
10:47:08 [10:47:08.859]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 736.35 MiB)
10:47:09 [10:47:09.115]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
10:47:09 [10:47:09.236]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck
10:47:09 [10:47:09.240]
INFO:
ivc-integration:test:wasm bb - (mem:
10:47:09 [10:47:09.245]
INFO:
ivc-integration:test:wasm bb - 736.35 MiB)
10:47:10 [10:47:10.926]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 736.35 MiB)
10:47:11 [10:47:11.103]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 736.35 MiB)
10:47:11 finished decider proving. (mem: 736.35 MiB)
10:47:11 [10:47:11.122]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 736.35 MiB)
10:47:11 [10:47:11.236]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 736.35 MiB)
10:47:11 [10:47:11.240]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 736.35 MiB)
10:47:11 [10:47:11.353]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 736.35 MiB)
10:47:11 [10:47:11.453]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 213 ms. (mem: 736.35 MiB)
10:47:14 [10:47:14.257]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
10:47:18 [10:47:18.021]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
10:47:18 [10:47:18.022]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 590.56MiB)
10:47:18 [10:47:18.022]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 44094 (mem: 590.56MiB)
10:47:18 [10:47:18.026]
INFO:
ivc-integration:prove_wasm time to serialize proof: 4 (mem: 590.56MiB)
10:47:18 [10:47:18.026]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.060]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 590.56MiB)
10:47:18 [10:47:18.114]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.115]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.115]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.116]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.375]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.376]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.376]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.376]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.441]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.442]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.442]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.443]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.443]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.450]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 590.56MiB)
10:47:18 [10:47:18.974]
INFO:
ivc-integration:test:wasm BB concurrency: 1
10:47:18 [10:47:18.975]
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-YVxSvY/proof -k /tmp/bb-client-ivc-integration-YVxSvY/vk -v
10:47:19 [10:47:19.034]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 760.96 MiB)
10:47:19 Scheme is: client_ivc, num threads: 1 (mem: 760.96 MiB)
10:47:19 --proof_path: /tmp/bb-client-ivc-integration-YVxSvY/proof (mem: 760.96 MiB)
10:47:19 --vk_path: /tmp/bb-client-ivc-integration-YVxSvY/vk (mem: 760.96 MiB)
10:47:19 --verbose: true (mem: 760.96 MiB)
10:47:19 --scheme: client_ivc (mem: 760.96 MiB)
10:47:19 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 760.96 MiB)
10:47:19 [10:47:19.056]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 760.96 MiB)
10:47:19 [10:47:19.059]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 760.96 MiB)
10:47:19 [10:47:19.075]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 760.96 MiB)
10:47:19 [10:47:19.076]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1 (mem: 760.96 MiB)
10:47:19 [10:47:19.082]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 760.96 MiB)
10:47:19 libra_evals_verified: 1 (mem: 760.96 MiB)
10:47:19 pairing_check_verified: 1 (mem: 760.96 MiB)
10:47:19 Mega verified: 1 (mem: 760.96 MiB)
10:47:19 [10:47:19.547]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 760.96 MiB)
10:47:19 batch opening verified?: 1 (mem: 760.96 MiB)
10:47:19 eccvm consistency check verified?: 1 (mem: 760.96 MiB)
10:47:19 translation masking consistency checked?: 1 (mem: 760.96 MiB)
10:47:19 [10:47:19.568]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 760.96 MiB)
10:47:19 eccvm verified?: 1 (mem: 760.96 MiB)
10:47:19 accumulator construction_verified?: 1 (mem: 760.96 MiB)
10:47:19 translation verified?: 1 (mem: 760.96 MiB)
10:47:19 consistency verified?: 1 (mem: 760.96 MiB)
10:47:19 Goblin verified: 1 (mem: 760.96 MiB)
10:47:19 verified: 1 (mem: 760.96 MiB)
10:47:19 [10:47:19.582]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
10:47:19 [10:47:19.780]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12113510 bytes
10:47:19 [10:47:19.817]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
10:47:20 [10:47:20.196]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
10:47:20 [10:47:20.206]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
10:47:20 [10:47:20.207]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
10:47:20 [10:47:20.946]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
10:47:21 [10:47:21.008]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
10:47:21 [10:47:21.017]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
10:47:21 [10:47:21.059]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
10:47:21 [10:47:21.073]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 194.06MiB)
10:47:21 [10:47:21.109]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
10:47:21 [10:47:21.122]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 194.06MiB)
10:47:21 [10:47:21.307]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15724,"2":26010}
10:47:21 [10:47:21.371]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
10:47:21 [10:47:21.482]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12113510 bytes
10:47:21 [10:47:21.543]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
10:47:21 [10:47:21.991]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
10:47:22 [10:47:22.016]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
10:47:23 [10:47:23.113]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
10:47:23 [10:47:23.115]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
10:47:24 [10:47:24.066]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
10:47:24 [10:47:24.140]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
10:47:24 [10:47:24.162]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
10:47:24 [10:47:24.163]
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)
10:47:24 [10:47:24.170]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
10:47:24 [10:47:24.171]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
10:47:24 [10:47:24.184]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
10:47:24 [10:47:24.185]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
10:47:24 [10:47:24.185]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
10:47:24 [10:47:24.186]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
10:47:24 [10:47:24.186]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
10:47:24 [10:47:24.186]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
10:47:24 [10:47:24.186]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
10:47:24 [10:47:24.187]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
10:47:24 [10:47:24.187]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
10:47:24 [10:47:24.187]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
10:47:24 [10:47:24.187]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
10:47:24 [10:47:24.188]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
10:47:24 [10:47:24.188]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
10:47:24 [10:47:24.189]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
10:47:24 [10:47:24.190]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
10:47:24 [10:47:24.249]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
10:47:24 [10:47:24.284]
INFO:
ivc-integration:prove_wasm time to construct proving key: 114 ms. (mem: 317.06MiB)
10:47:24 [10:47:24.302]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 317.06MiB)
10:47:24 [10:47:24.519]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 317.06MiB)
10:47:24 [10:47:24.521]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.06MiB)
10:47:24 [10:47:24.867]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
10:47:24 [10:47:24.897]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
10:47:24 [10:47:24.935]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
10:47:24 [10:47:24.937]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
10:47:24 [10:47:24.941]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
10:47:24 [10:47:24.942]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
10:47:24 [10:47:24.944]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
10:47:24 [10:47:24.944]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
10:47:24 [10:47:24.944]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
10:47:24 [10:47:24.945]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 317.94MiB)
10:47:24 [10:47:24.945]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
10:47:24 [10:47:24.945]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
10:47:24 [10:47:24.946]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
10:47:24 [10:47:24.946]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
10:47:24 [10:47:24.946]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
10:47:24 [10:47:24.947]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
10:47:24 [10:47:24.947]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
10:47:24 [10:47:24.947]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
10:47:24 [10:47:24.948]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
10:47:25 [10:47:25.004]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.56MiB)
10:47:25 [10:47:25.033]
INFO:
ivc-integration:prove_wasm time to construct proving key: 97 ms. (mem: 555.63MiB)
10:47:25 [10:47:25.112]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.63MiB)
10:47:25 [10:47:25.590]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.63MiB)
10:47:25 [10:47:25.592]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 555.63MiB)
10:47:26 [10:47:26.011]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.63MiB)
10:47:26 [10:47:26.281]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
10:47:27 [10:47:27.235]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
10:47:27 [10:47:27.542]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
10:47:27 [10:47:27.543]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
10:47:27 [10:47:27.548]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 583.13MiB)
10:47:27 [10:47:27.548]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
10:47:27 [10:47:27.553]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
10:47:27 [10:47:27.554]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 583.13MiB)
10:47:27 [10:47:27.554]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 583.13MiB)
10:47:27 [10:47:27.555]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
10:47:27 [10:47:27.555]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 583.13MiB)
10:47:27 [10:47:27.555]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 583.13MiB)
10:47:27 [10:47:27.556]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 583.13MiB)
10:47:27 [10:47:27.556]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
10:47:27 [10:47:27.556]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 583.13MiB)
10:47:27 [10:47:27.557]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 583.13MiB)
10:47:27 [10:47:27.557]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 583.13MiB)
10:47:27 [10:47:27.558]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
10:47:27 [10:47:27.558]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
10:47:27 [10:47:27.558]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
10:47:27 [10:47:27.559]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
10:47:27 [10:47:27.586]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
10:47:27 [10:47:27.594]
INFO:
ivc-integration:prove_wasm time to construct proving key: 46 ms. (mem: 583.13MiB)
10:47:27 [10:47:27.654]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 583.13MiB)
10:47:28 [10:47:28.062]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 583.13MiB)
10:47:28 [10:47:28.066]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
10:47:28 [10:47:28.424]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 583.13MiB)
10:47:28 [10:47:28.700]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
10:47:29 [10:47:29.043]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
10:47:29 [10:47:29.764]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
10:47:29 [10:47:29.765]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
10:47:29 [10:47:29.781]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 583.13MiB)
10:47:29 [10:47:29.960]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
10:47:30 [10:47:30.114]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 583.13MiB)
10:47:30 [10:47:30.115]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
10:47:30 [10:47:30.125]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
10:47:30 [10:47:30.126]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 583.13MiB)
10:47:30 [10:47:30.126]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 583.13MiB)
10:47:30 [10:47:30.127]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
10:47:30 [10:47:30.127]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 583.13MiB)
10:47:30 [10:47:30.127]
INFO:
ivc-integration:prove_wasm arithmetic : 12208/56000 (mem: 583.13MiB)
10:47:30 [10:47:30.128]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 583.13MiB)
10:47:30 [10:47:30.129]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
10:47:30 [10:47:30.130]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 583.13MiB)
10:47:30 [10:47:30.130]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 583.13MiB)
10:47:30 [10:47:30.130]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 583.13MiB)
10:47:30 [10:47:30.131]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
10:47:30 [10:47:30.131]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
10:47:30 [10:47:30.131]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
10:47:30 [10:47:30.132]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
10:47:30 [10:47:30.174]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
10:47:30 [10:47:30.242]
INFO:
ivc-integration:prove_wasm time to construct proving key: 127 ms. (mem: 586.25MiB)
10:47:30 [10:47:30.386]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 586.25MiB)
10:47:31 [10:47:31.501]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 586.25MiB)
10:47:31 [10:47:31.504]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 586.25MiB)
10:47:32 [10:47:32.848]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 586.25MiB)
10:47:33 [10:47:33.137]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
10:47:33 [10:47:33.617]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
10:47:34 [10:47:34.213]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
10:47:34 [10:47:34.214]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
10:47:34 [10:47:34.235]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 610.38MiB)
10:47:34 [10:47:34.411]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 610.38MiB)
10:47:34 [10:47:34.412]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
10:47:34 [10:47:34.414]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
10:47:34 [10:47:34.415]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
10:47:34 [10:47:34.416]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 610.38MiB)
10:47:34 [10:47:34.416]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
10:47:34 [10:47:34.417]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 610.38MiB)
10:47:34 [10:47:34.417]
INFO:
ivc-integration:prove_wasm arithmetic : 6978/56000 (mem: 610.38MiB)
10:47:34 [10:47:34.418]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 610.38MiB)
10:47:34 [10:47:34.419]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
10:47:34 [10:47:34.419]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 610.38MiB)
10:47:34 [10:47:34.420]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 610.38MiB)
10:47:34 [10:47:34.420]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 610.38MiB)
10:47:34 [10:47:34.420]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
10:47:34 [10:47:34.421]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
10:47:34 [10:47:34.421]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
10:47:34 [10:47:34.421]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
10:47:34 [10:47:34.456]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
10:47:34 [10:47:34.487]
INFO:
ivc-integration:prove_wasm time to construct proving key: 77 ms. (mem: 610.38MiB)
10:47:34 [10:47:34.753]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
10:47:35 [10:47:35.723]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
10:47:35 [10:47:35.726]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 610.38MiB)
10:47:36 [10:47:36.283]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
10:47:36 [10:47:36.565]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
10:47:36 [10:47:36.907]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
10:47:37 [10:47:37.354]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
10:47:37 [10:47:37.355]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
10:47:37 [10:47:37.368]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 610.38MiB)
10:47:37 [10:47:37.537]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 610.38MiB)
10:47:37 [10:47:37.538]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
10:47:37 [10:47:37.542]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
10:47:37 [10:47:37.542]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
10:47:37 [10:47:37.548]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 610.38MiB)
10:47:37 [10:47:37.548]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
10:47:37 [10:47:37.549]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 610.38MiB)
10:47:37 [10:47:37.552]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 610.38MiB)
10:47:37 [10:47:37.552]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 610.38MiB)
10:47:37 [10:47:37.553]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
10:47:37 [10:47:37.553]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 610.38MiB)
10:47:37 [10:47:37.554]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 610.38MiB)
10:47:37 [10:47:37.554]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 610.38MiB)
10:47:37 [10:47:37.554]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
10:47:37 [10:47:37.555]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
10:47:37 [10:47:37.555]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
10:47:37 [10:47:37.555]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
10:47:37 [10:47:37.578]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
10:47:37 [10:47:37.621]
INFO:
ivc-integration:prove_wasm time to construct proving key: 86 ms. (mem: 610.38MiB)
10:47:37 [10:47:37.939]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
10:47:38 [10:47:38.508]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
10:47:38 [10:47:38.510]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 610.38MiB)
10:47:39 [10:47:39.255]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
10:47:39 [10:47:39.517]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
10:47:39 [10:47:39.862]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
10:47:40 [10:47:40.317]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
10:47:40 [10:47:40.319]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
10:47:40 [10:47:40.320]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 16171 (mem: 610.38MiB)
10:47:40 [10:47:40.320]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 610.38MiB)
10:47:40 [10:47:40.320]
INFO:
ivc-integration:prove_wasm Largest circuit: 48925 gates. Trace details: (mem: 610.38MiB)
10:47:40 [10:47:40.321]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 610.38MiB)
10:47:40 [10:47:40.321]
INFO:
ivc-integration:prove_wasm ecc_op : 792
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.322]
INFO:
ivc-integration:prove_wasm busread : 16
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.322]
INFO:
ivc-integration:prove_wasm lookup : 2
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.322]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.323]
INFO:
ivc-integration:prove_wasm arithmetic : 12208
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.323]
INFO:
ivc-integration:prove_wasm delta_range : 2981
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.323]
INFO:
ivc-integration:prove_wasm elliptic : 2
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.323]
INFO:
ivc-integration:prove_wasm aux : 350
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.324]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.325]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.325]
INFO:
ivc-integration:prove_wasm overflow : 0
10:47:40 (mem: 610.38MiB)
10:47:40 [10:47:40.325]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
10:47:40 [10:47:40.326]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 610.38MiB)
10:47:40 [10:47:40.489]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
10:47:40 [10:47:40.936]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
10:47:42 [10:47:42.805]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
10:47:43 [10:47:43.224]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
10:47:43 [10:47:43.225]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
10:47:43 [10:47:43.251]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 610.38MiB)
10:47:43 [10:47:43.485]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
10:47:43 [10:47:43.491]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
10:47:43 [10:47:43.517]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
10:47:43 [10:47:43.555]
INFO:
ivc-integration:prove_wasm time to construct proving key: 70 ms. (mem: 610.38MiB)
10:47:44 [10:47:44.492]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 610.38MiB)
10:47:45 [10:47:45.178]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 610.38MiB)
10:47:45 [10:47:45.207]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
10:47:45 [10:47:45.458]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
10:47:46 [10:47:46.317]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
10:47:46 [10:47:46.459]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
10:47:46 [10:47:46.459]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
10:47:46 [10:47:46.460]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 610.38MiB)
10:47:46 [10:47:46.575]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 610.38MiB)
10:47:49 [10:47:49.504]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
10:47:52 [10:47:52.735]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
10:47:57 [10:47:57.283]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 610.38MiB)
10:47:57 [10:47:57.284]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 610.38MiB)
10:47:59 [10:47:59.999]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
10:48:05 [10:48:05.190]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
10:48:08 [10:48:08.649]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
10:48:08 [10:48:08.650]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 610.38MiB)
10:48:08 [10:48:08.650]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 44507 (mem: 610.38MiB)
10:48:08 [10:48:08.655]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 610.38MiB)
10:48:08 [10:48:08.656]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 610.38MiB)
10:48:08 [10:48:08.673]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 610.38MiB)
10:48:08 [10:48:08.737]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
10:48:08 [10:48:08.738]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
10:48:08 [10:48:08.738]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
10:48:08 [10:48:08.739]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.040]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.041]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.042]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.042]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.134]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.135]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.135]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.135]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.136]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.136]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.141]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 610.38MiB)
10:48:09 [10:48:09.236]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.237]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.238]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.238]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.490]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.491]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.491]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.492]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.562]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.563]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.563]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.563]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.564]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.564]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
10:48:09 [10:48:09.969]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
10:48:09
PASS src/wasm_client_ivc_integration.test.ts (
102.637 s)
10:48:09 Client IVC Integration
10:48:09
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (48651 ms)
10:48:09
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1734 ms)
10:48:09
✓ Should generate a verifiable client IVC proof from a complex mock tx (48661 ms)
10:48:09
10:48:09
Test Suites: 1 passed, 1 total
10:48:09
Tests: 3 passed, 3 total
10:48:09
Snapshots: 0 total
10:48:09
Time: 102.734 s
10:48:09
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
10:48:09
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?