Parent Log:
http://ci.aztec-labs.com/ed67305435d8b25f
Command: a5511b51e55ea9c0: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/f29a038c58fc1f3ad95ad05d18aea321f0f598b2
Env: REF_NAME=gh-readonly-queue/next/pr-15151-be1fa8aacb33d330cf496352bb1446439e34c51a CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 10:09:18 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15151_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
10:09:22 [10:09:22.535]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
10:09:22 [10:09:22.545]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-iNWXCb/ivc-inputs.msgpack
10:09:22 [10:09:22.547]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
10:09:22 [10:09:22.547]
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-iNWXCb --ivc_inputs_path /tmp/bb-client-ivc-integration-iNWXCb/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
10:09:22 [10:09:22.571]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 184.94 MiB)
10:09:22 [10:09:22.573]
INFO:
ivc-integration:test:wasm bb - Scheme is: client_ivc, num threads: 128 (mem: 184.94 MiB)
10:09:22 --scheme: client_ivc (mem: 184.94 MiB)
10:09:22 --output_path: /tmp/bb-client-ivc-integration-iNWXCb (mem: 184.94 MiB)
10:09:22 --ivc_inputs_path: /tmp/bb-client-ivc-integration-iNWXCb/ivc-inputs.msgpack (mem: 184.94 MiB)
10:09:22 --verbose: true (mem: 184.94 MiB)
10:09:22 --write_vk: true (mem: 184.94 MiB)
10:09:22 [10:09:22.573]
INFO:
ivc-integration:test:wasm bb - BN254 commitment key size: 262144 (mem: 184.94 MiB)
10:09:22 [10:09:22.733]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12144037 bytes
10:09:22 [10:09:22.752]
INFO:
ivc-integration:test:wasm bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 257.00 MiB)
10:09:22 [10:09:22.772]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 305.11 MiB)
10:09:22 [10:09:22.776]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0
10:09:22 [10:09:22.777]
INFO:
ivc-integration:test:wasm bb - (mem:
10:09:22 [10:09:22.780]
INFO:
ivc-integration:test:wasm bb - 305.11 MiB)
10:09:22 Constructing DeciderProvingKey (mem: 305.11 MiB)
10:09:22 [10:09:22.784]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 305.11 MiB)
10:09:22 goblin ecc op : 4/1024 (mem: 305.11 MiB)
10:09:22 busread : 7/6000 (mem: 305.11 MiB)
10:09:22 lookups : 2/15000 (mem: 305.11 MiB)
10:09:22 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 305.11 MiB)
10:09:22 arithmetic : 1760/56000 (mem: 305.11 MiB)
10:09:22 delta range : 1754/18000 (mem: 305.11 MiB)
10:09:22 elliptic : 2/6000 (mem: 305.11 MiB)
10:09:22 auxiliary : 26/26000 (mem: 305.11 MiB)
10:09:22 poseidon ext : 2/17000 (mem: 305.11 MiB)
10:09:22 poseidon int : 2/92000 (mem: 305.11 MiB)
10:09:22 overflow : 0/0 (mem: 305.11 MiB)
10:09:22 (mem: 305.11 MiB)
10:09:22 Total structured size: 242025 (mem: 305.11 MiB)
10:09:22 allocating polynomials object in proving key... (mem: 305.11 MiB)
10:09:22 [10:09:22.787]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
10:09:22 [10:09:22.854]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 506.27 MiB)
10:09:22 [10:09:22.869]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 90 ms. (mem: 520.27 MiB)
10:09:22 [10:09:22.921]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x619acb725940 (mem: 520.27 MiB)
10:09:22 computing oink proof... (mem: 520.27 MiB)
10:09:22 [10:09:22.923]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.27 MiB)
10:09:23 [10:09:23.104]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 529.27 MiB)
10:09:23 [10:09:23.116]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 529.27 MiB)
10:09:23 [10:09:23.130]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 529.27 MiB)
10:09:23 Constructing DeciderProvingKey (mem: 529.27 MiB)
10:09:23 [10:09:23.136]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 529.27 MiB)
10:09:23 [10:09:23.137]
INFO:
ivc-integration:test:wasm bb -
10:09:23 goblin ecc op : 56/1024 (mem: 529.27 MiB)
10:09:23 busread : 12/6000 (mem: 529.27 MiB)
10:09:23 lookups : 2/15000 (mem: 529.27 MiB)
10:09:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 529.27 MiB)
10:09:23 arithmetic : 4677/56000 (mem: 529.27 MiB)
10:09:23 delta range : 2073/18000 (mem: 529.27 MiB)
10:09:23 elliptic : 2/6000 (mem: 529.27 MiB)
10:09:23 auxiliary : 110/26000 (mem: 529.27 MiB)
10:09:23 poseidon ext : 1322/17000 (mem: 529.27 MiB)
10:09:23 poseidon int : 7526/92000 (mem: 529.27 MiB)
10:09:23 overflow : 0/0 (mem: 529.27 MiB)
10:09:23 (mem: 529.27 MiB)
10:09:23 Total structured size: 242025 (mem: 529.27 MiB)
10:09:23 allocating polynomials object in proving key... (mem: 529.27 MiB)
10:09:23 [10:09:23.141]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
10:09:23 [10:09:23.153]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
10:09:23 [10:09:23.228]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 734.27 MiB)
10:09:23 [10:09:23.257]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 125 ms. (mem: 752.27 MiB)
10:09:23 [10:09:23.350]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x619acb732680 (mem: 752.27 MiB)
10:09:23 computing folding proof (mem: 752.27 MiB)
10:09:23 [10:09:23.351]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 752.27 MiB)
10:09:23 [10:09:23.866]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 752.27 MiB)
10:09:23 [10:09:23.949]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 789.27 MiB)
10:09:24 [10:09:24.019]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 821.27 MiB)
10:09:24 [10:09:24.496]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
10:09:24 [10:09:24.498]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
10:09:25 [10:09:25.102]
INFO:
ivc-integration:test:wasm bb - folded (mem: 821.27 MiB)
10:09:25 constructed folding proof (mem: 821.27 MiB)
10:09:25 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 821.27 MiB)
10:09:25 ClientIVC: accumulating unknown_2 (mem: 821.27 MiB)
10:09:25 Constructing DeciderProvingKey (mem: 821.27 MiB)
10:09:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 821.27 MiB)
10:09:25 goblin ecc op : 392/1024 (mem: 821.27 MiB)
10:09:25 busread : 3/6000 (mem: 821.27 MiB)
10:09:25 lookups : 2/15000 (mem: 821.27 MiB)
10:09:25 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 821.27 MiB)
10:09:25 arithmetic : 6913/56000 (mem: 821.27 MiB)
10:09:25 delta range : 2353/18000 (mem: 821.27 MiB)
10:09:25 elliptic : 2/6000 (mem: 821.27 MiB)
10:09:25 auxiliary : 50/26000 (mem: 821.27 MiB)
10:09:25 poseidon ext : 2492/17000 (mem: 821.27 MiB)
10:09:25 poseidon int : 14195/92000 (mem: 821.27 MiB)
10:09:25 overflow : 0/0 (mem: 821.27 MiB)
10:09:25 (mem: 821.27 MiB)
10:09:25 Total structured size: 242025 (mem: 821.27 MiB)
10:09:25 allocating polynomials object in proving key... (mem: 821.27 MiB)
10:09:25 populating trace... (mem: 821.27 MiB)
10:09:25 time to construct proving key: 236 ms. (mem: 821.27 MiB)
10:09:25 getting honk vk... precomputed?: 0x619acb727c40 (mem: 821.27 MiB)
10:09:25 computing folding proof (mem: 821.27 MiB)
10:09:25 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 821.27 MiB)
10:09:25 [10:09:25.708]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 821.27 MiB)
10:09:25 [10:09:25.841]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 821.27 MiB)
10:09:25 [10:09:25.903]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 821.27 MiB)
10:09:26 [10:09:26.071]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
10:09:26 [10:09:26.136]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
10:09:26 [10:09:26.159]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
10:09:26 [10:09:26.171]
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)
10:09:26 [10:09:26.185]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
10:09:26 [10:09:26.187]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
10:09:26 [10:09:26.214]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
10:09:26 [10:09:26.218]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
10:09:26 [10:09:26.219]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
10:09:26 [10:09:26.219]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
10:09:26 [10:09:26.219]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
10:09:26 [10:09:26.220]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
10:09:26 [10:09:26.220]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
10:09:26 [10:09:26.223]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
10:09:26 [10:09:26.224]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
10:09:26 [10:09:26.225]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
10:09:26 [10:09:26.225]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
10:09:26 [10:09:26.225]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
10:09:26 [10:09:26.226]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
10:09:26 [10:09:26.226]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
10:09:26 [10:09:26.226]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
10:09:26 [10:09:26.326]
INFO:
ivc-integration:test:wasm bb - folded (mem: 821.27 MiB)
10:09:26 constructed folding proof (mem: 821.27 MiB)
10:09:26 Largest circuit: 26010 gates. Trace details: (mem: 821.27 MiB)
10:09:26 Minimum required block sizes for structured trace: (mem: 821.27 MiB)
10:09:26 [10:09:26.327]
INFO:
ivc-integration:test:wasm bb - (mem: 821.27 MiB)
10:09:26 prove decider... (mem: 821.27 MiB)
10:09:26 [10:09:26.328]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
10:09:26 busread : 12
10:09:26 lookup : 2
10:09:26 pub_inputs : 36
10:09:26 arithmetic : 6913
10:09:26 delta_range : 2353
10:09:26 elliptic : 2
10:09:26 aux : 110
10:09:26 poseidon2_external : 2492
10:09:26 poseidon2_internal : 14195
10:09:26 overflow : 0
10:09:26 [10:09:26.361]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
10:09:26 [10:09:26.392]
INFO:
ivc-integration:prove_wasm time to construct proving key: 204 ms. (mem: 581.44MiB)
10:09:26 [10:09:26.418]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.44MiB)
10:09:26 [10:09:26.589]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 821.27 MiB)
10:09:26 [10:09:26.822]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 821.27 MiB)
10:09:27 [10:09:27.891]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 821.27 MiB)
10:09:27 [10:09:27.980]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 821.27 MiB)
10:09:27 finished decider proving. (mem: 821.27 MiB)
10:09:28 [10:09:28.001]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 821.27 MiB)
10:09:28 [10:09:28.105]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 821.27 MiB)
10:09:28 [10:09:28.117]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 821.27 MiB)
10:09:28 [10:09:28.335]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 821.27 MiB)
10:09:28 [10:09:28.395]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 289 ms. (mem: 821.27 MiB)
10:09:28 [10:09:28.544]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.44MiB)
10:09:28 [10:09:28.553]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.44MiB)
10:09:29 [10:09:29.057]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.44MiB)
10:09:29 [10:09:29.077]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.44MiB)
10:09:29 [10:09:29.121]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.44MiB)
10:09:29 [10:09:29.122]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.44MiB)
10:09:29 [10:09:29.139]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.44MiB)
10:09:29 [10:09:29.140]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.44MiB)
10:09:29 [10:09:29.140]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.44MiB)
10:09:29 [10:09:29.141]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.44MiB)
10:09:29 [10:09:29.141]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.44MiB)
10:09:29 [10:09:29.141]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 581.44MiB)
10:09:29 [10:09:29.141]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 581.44MiB)
10:09:29 [10:09:29.142]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.44MiB)
10:09:29 [10:09:29.142]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.44MiB)
10:09:29 [10:09:29.142]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 581.44MiB)
10:09:29 [10:09:29.143]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 581.44MiB)
10:09:29 [10:09:29.143]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.44MiB)
10:09:29 [10:09:29.152]
INFO:
ivc-integration:prove_wasm (mem: 581.44MiB)
10:09:29 [10:09:29.153]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.44MiB)
10:09:29 [10:09:29.154]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.44MiB)
10:09:29 [10:09:29.258]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 804.94MiB)
10:09:29 [10:09:29.309]
INFO:
ivc-integration:prove_wasm time to construct proving key: 191 ms. (mem: 820.25MiB)
10:09:29 [10:09:29.371]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.25MiB)
10:09:29 [10:09:29.604]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 821.27 MiB)
10:09:30 [10:09:30.338]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 821.27 MiB)
10:09:30 [10:09:30.673]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
10:09:30 [10:09:30.674]
INFO:
ivc-integration:test:wasm bb - (mem: 821.27 MiB)
10:09:31 [10:09:31.522]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.25MiB)
10:09:31 [10:09:31.526]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.25MiB)
10:09:32 [10:09:32.489]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.25MiB)
10:09:32 [10:09:32.494]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 821.27 MiB)
10:09:32 [10:09:32.863]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
10:09:33 [10:09:33.211]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
10:09:33 [10:09:33.611]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction
10:09:33 [10:09:33.614]
INFO:
ivc-integration:test:wasm bb - (mem: 821.27 MiB)
10:09:33 [10:09:33.664]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 821.27 MiB)
10:09:33 finished decider proving. (mem: 821.27 MiB)
10:09:33 [10:09:33.665]
INFO:
ivc-integration:test:wasm bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 821.27 MiB)
10:09:33 [10:09:33.866]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
10:09:33 [10:09:33.867]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
10:09:33 [10:09:33.896]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 847.69MiB)
10:09:33 [10:09:33.954]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 821.27 MiB)
10:09:34 [10:09:34.071]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
10:09:34 [10:09:34.072]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
10:09:34 [10:09:34.083]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
10:09:34 [10:09:34.084]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
10:09:34 [10:09:34.088]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
10:09:34 [10:09:34.089]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
10:09:34 [10:09:34.089]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
10:09:34 [10:09:34.090]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 847.69MiB)
10:09:34 [10:09:34.090]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 847.69MiB)
10:09:34 [10:09:34.091]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
10:09:34 [10:09:34.091]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
10:09:34 [10:09:34.092]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 847.69MiB)
10:09:34 [10:09:34.092]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 847.69MiB)
10:09:34 [10:09:34.093]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
10:09:34 [10:09:34.093]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
10:09:34 [10:09:34.094]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
10:09:34 [10:09:34.094]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
10:09:34 [10:09:34.128]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
10:09:34 [10:09:34.183]
INFO:
ivc-integration:prove_wasm time to construct proving key: 113 ms. (mem: 847.69MiB)
10:09:34 [10:09:34.406]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
10:09:34 [10:09:34.486]
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: 821.27 MiB)
10:09:34 [10:09:34.511]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 821.27 MiB)
10:09:36 [10:09:36.619]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
10:09:36 [10:09:36.623]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 847.69MiB)
10:09:36 [10:09:36.734]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 821.27 MiB)
10:09:38 [10:09:38.306]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
10:09:38 [10:09:38.567]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
10:09:38 [10:09:38.933]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 821.27 MiB)
10:09:38 [10:09:38.936]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
10:09:39 [10:09:39.779]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
10:09:39 [10:09:39.779]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
10:09:39 [10:09:39.782]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 13633 (mem: 855.63MiB)
10:09:39 [10:09:39.783]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
10:09:39 [10:09:39.783]
INFO:
ivc-integration:prove_wasm Largest circuit: 26010 gates. Trace details: (mem: 855.63MiB)
10:09:39 [10:09:39.784]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
10:09:39 [10:09:39.788]
INFO:
ivc-integration:prove_wasm ecc_op : 392
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.791]
INFO:
ivc-integration:prove_wasm busread : 12
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.792]
INFO:
ivc-integration:prove_wasm lookup : 2
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.793]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.794]
INFO:
ivc-integration:prove_wasm arithmetic : 6913
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.794]
INFO:
ivc-integration:prove_wasm delta_range : 2353
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.794]
INFO:
ivc-integration:prove_wasm elliptic : 2
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.795]
INFO:
ivc-integration:prove_wasm aux : 110
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.795]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.796]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.797]
INFO:
ivc-integration:prove_wasm overflow : 0
10:09:39 (mem: 855.63MiB)
10:09:39 [10:09:39.797]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
10:09:39 [10:09:39.798]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
10:09:40 [10:09:40.126]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
10:09:40 [10:09:40.565]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
10:09:42 [10:09:42.528]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
10:09:42 [10:09:42.837]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
10:09:42 [10:09:42.838]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
10:09:42 [10:09:42.876]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 855.63MiB)
10:09:43 [10:09:43.096]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
10:09:43 [10:09:43.105]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
10:09:43 [10:09:43.206]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
10:09:43 [10:09:43.272]
INFO:
ivc-integration:prove_wasm time to construct proving key: 175 ms. (mem: 855.63MiB)
10:09:44 [10:09:44.162]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 821.27 MiB)
10:09:44 prove translator... (mem: 821.27 MiB)
10:09:44 [10:09:44.709]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 855.63MiB)
10:09:45 [10:09:45.852]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
10:09:45 [10:09:45.898]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
10:09:46 [10:09:46.153]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
10:09:46 [10:09:46.551]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 843.06 MiB)
10:09:46 [10:09:46.986]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
10:09:47 [10:09:47.127]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
10:09:47 [10:09:47.128]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
10:09:47 [10:09:47.128]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
10:09:47 [10:09:47.273]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
10:09:49 [10:09:49.388]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 843.06 MiB)
10:09:50 [10:09:50.109]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
10:09:52 [10:09:52.447]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 843.06 MiB)
10:09:52 [10:09:52.448]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 843.06 MiB)
10:09:52 [10:09:52.454]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 843.06 MiB)
10:09:52 [10:09:52.472]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 843.06 MiB)
10:09:52 libra_evals_verified: 1 (mem: 843.06 MiB)
10:09:52 pairing_check_verified: 1 (mem: 843.06 MiB)
10:09:52 [10:09:52.473]
INFO:
ivc-integration:test:wasm bb - Mega verified: 1 (mem: 843.06 MiB)
10:09:52 [10:09:52.583]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 844.06 MiB)
10:09:52 batch opening verified?: 1 (mem: 844.06 MiB)
10:09:52 eccvm consistency check verified?: 1 (mem: 844.06 MiB)
10:09:52 translation masking consistency checked?: 1 (mem: 844.06 MiB)
10:09:52 [10:09:52.604]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 844.06 MiB)
10:09:52 eccvm verified?: 1 (mem: 844.06 MiB)
10:09:52 accumulator construction_verified?: 1 (mem: 844.06 MiB)
10:09:52 translation verified?: 1 (mem: 844.06 MiB)
10:09:52 consistency verified?: 1 (mem: 844.06 MiB)
10:09:52 Goblin verified: 1 (mem: 844.06 MiB)
10:09:52 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-iNWXCb" (mem: 844.06 MiB)
10:09:52 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-iNWXCb" (mem: 844.06 MiB)
10:09:52 BN254 commitment key size: 262144 (mem: 844.06 MiB)
10:09:52 [10:09:52.607]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 844.06 MiB)
10:09:52 [10:09:52.612]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.06 MiB)
10:09:52 goblin ecc op : 4/1024 (mem: 844.06 MiB)
10:09:52 busread : 3/6000 (mem: 844.06 MiB)
10:09:52 lookups : 2/15000 (mem: 844.06 MiB)
10:09:52 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 844.06 MiB)
10:09:52 arithmetic : 1773/56000 (mem: 844.06 MiB)
10:09:52 delta range : 1754/18000 (mem: 844.06 MiB)
10:09:52 elliptic : 2/6000 (mem: 844.06 MiB)
10:09:52 auxiliary : 26/26000 (mem: 844.06 MiB)
10:09:52 poseidon ext : 2/17000 (mem: 844.06 MiB)
10:09:52 poseidon int : 2/92000 (mem: 844.06 MiB)
10:09:52 overflow : 0/0 (mem: 844.06 MiB)
10:09:52 (mem: 844.06 MiB)
10:09:52 Total structured size: 242025 (mem: 844.06 MiB)
10:09:52 allocating polynomials object in proving key... (mem: 844.06 MiB)
10:09:52 [10:09:52.876]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 844.06 MiB)
10:09:52 [10:09:52.949]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 342 ms. (mem: 844.06 MiB)
10:09:53 [10:09:53.078]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 844.06 MiB)
10:09:54 [10:09:54.161]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 844.06 MiB)
10:09:54 [10:09:54.162]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 844.06 MiB)
10:09:54 [10:09:54.388]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
10:09:54 [10:09:54.735]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 844.06 MiB)
10:09:54 [10:09:54.741]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 844.06 MiB)
10:09:54 [10:09:54.758]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 844.06 MiB)
10:09:54 [10:09:54.769]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.06 MiB)
10:09:54 goblin ecc op : 56/1024 (mem: 844.06 MiB)
10:09:54 busread : 3/6000 (mem: 844.06 MiB)
10:09:54 lookups : 2/15000 (mem: 844.06 MiB)
10:09:54 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.06 MiB)
10:09:54 arithmetic : 4533/56000 (mem: 844.06 MiB)
10:09:54 delta range : 2060/18000 (mem: 844.06 MiB)
10:09:54 elliptic : 2/6000 (mem: 844.06 MiB)
10:09:54 auxiliary : 50/26000 (mem: 844.06 MiB)
10:09:54 poseidon ext : 1332/17000
10:09:54 [10:09:54.772]
INFO:
ivc-integration:test:wasm bb - (mem: 844.06 MiB)
10:09:54 poseidon int : 7583/92000 (mem: 844.06 MiB)
10:09:54 overflow : 0/0 (mem: 844.06 MiB)
10:09:54 (mem: 844.06 MiB)
10:09:54 Total structured size: 242025 (mem: 844.06 MiB)
10:09:54 allocating polynomials object in proving key... (mem: 844.06 MiB)
10:09:55 [10:09:55.073]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 844.06 MiB)
10:09:55 [10:09:55.103]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 345 ms. (mem: 844.06 MiB)
10:09:55 [10:09:55.237]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 844.06 MiB)
10:09:56 [10:09:56.386]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 844.06 MiB)
10:09:56 [10:09:56.388]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 844.06 MiB)
10:09:57 [10:09:57.299]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 844.06 MiB)
10:09:57 [10:09:57.414]
INFO:
ivc-integration:test:wasm bb - perturbator round
10:09:57 [10:09:57.417]
INFO:
ivc-integration:test:wasm bb - (mem: 847.06 MiB)
10:09:57 [10:09:57.484]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 879.06 MiB)
10:09:58 [10:09:58.065]
INFO:
ivc-integration:test:wasm bb - folded (mem: 879.06 MiB)
10:09:58 constructed folding proof (mem: 879.06 MiB)
10:09:58 Largest circuit: 15565 gates. Trace details: (mem: 879.06 MiB)
10:09:58 Minimum required block sizes for structured trace: (mem: 879.06 MiB)
10:09:58 (mem: 879.06 MiB)
10:09:58 prove decider... (mem: 879.06 MiB)
10:09:58 [10:09:58.067]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
10:09:58 busread : 3
10:09:58 lookup : 2
10:09:58 pub_inputs : 36
10:09:58 arithmetic : 4533
10:09:58 delta_range : 2060
10:09:58 elliptic : 2
10:09:58 aux : 50
10:09:58 poseidon2_external : 1332
10:09:58 poseidon2_internal : 7583
10:09:58 overflow : 0
10:09:58 [10:09:58.224]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 879.06 MiB)
10:09:58 [10:09:58.377]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 879.06 MiB)
10:09:59 [10:09:59.698]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 879.06 MiB)
10:09:59 [10:09:59.773]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 879.06 MiB)
10:09:59 finished decider proving. (mem: 879.06 MiB)
10:09:59 [10:09:59.785]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 879.06 MiB)
10:09:59 [10:09:59.886]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 879.06 MiB)
10:09:59 [10:09:59.891]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 879.06 MiB)
10:10:00 [10:10:00.055]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 879.06 MiB)
10:10:00 [10:10:00.105]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 218 ms. (mem: 879.06 MiB)
10:10:02 [10:10:02.852]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
10:10:02 [10:10:02.853]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
10:10:09 [10:10:09.102]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
10:10:12 [10:10:12.894]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
10:10:15 [10:10:15.804]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
10:10:15 [10:10:15.805]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
10:10:15 [10:10:15.806]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 49662 (mem: 855.63MiB)
10:10:15 [10:10:15.819]
INFO:
ivc-integration:prove_wasm time to serialize proof: 14 (mem: 855.63MiB)
10:10:15 [10:10:15.821]
INFO:
ivc-integration:prove_wasm time to serialize vk: 3 (mem: 855.63MiB)
10:10:15 [10:10:15.839]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 855.63MiB)
10:10:15 [10:10:15.897]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
10:10:15 [10:10:15.898]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
10:10:15 [10:10:15.899]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
10:10:15 [10:10:15.899]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.125]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.126]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.126]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.126]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.217]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.218]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.219]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.219]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.219]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.220]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
10:10:16 [10:10:16.840]
INFO:
ivc-integration:test:wasm BB concurrency: 1
10:10:16 [10:10:16.841]
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-iNWXCb/proof -k /tmp/bb-client-ivc-integration-iNWXCb/vk -v
10:10:16 [10:10:16.908]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 746.99 MiB)
10:10:16 Scheme is: client_ivc, num threads: 1 (mem: 746.99 MiB)
10:10:16 [10:10:16.909]
INFO:
ivc-integration:test:wasm
10:10:16 --proof_path: /tmp/bb-client-ivc-integration-iNWXCb/proof (mem: 746.99 MiB)
10:10:16 --vk_path: /tmp/bb-client-ivc-integration-iNWXCb/vk (mem: 746.99 MiB)
10:10:16 --verbose: true (mem: 746.99 MiB)
10:10:16 --scheme: client_ivc (mem: 746.99 MiB)
10:10:16 [10:10:16.924]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 746.99 MiB)
10:10:16 [10:10:16.942]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 746.99 MiB)
10:10:16 [10:10:16.944]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 746.99 MiB)
10:10:16 [10:10:16.959]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 746.99 MiB)
10:10:16 [10:10:16.960]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 9 (mem: 746.99 MiB)
10:10:16 sumcheck_verified: 1 (mem: 746.99 MiB)
10:10:16 libra_evals_verified: 1 (mem: 746.99 MiB)
10:10:16 pairing_check_verified: 1 (mem: 746.99 MiB)
10:10:16 Mega verified: 1 (mem: 746.99 MiB)
10:10:17 [10:10:17.344]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 746.99 MiB)
10:10:17 batch opening verified?: 1 (mem: 746.99 MiB)
10:10:17 eccvm consistency check verified?: 1 (mem: 746.99 MiB)
10:10:17 translation masking consistency checked?: 1 (mem: 746.99 MiB)
10:10:17 [10:10:17.361]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 746.99 MiB)
10:10:17 eccvm verified?: 1 (mem: 746.99 MiB)
10:10:17 accumulator construction_verified?: 1 (mem: 746.99 MiB)
10:10:17 translation verified?: 1 (mem: 746.99 MiB)
10:10:17 consistency verified?: 1 (mem: 746.99 MiB)
10:10:17 Goblin verified: 1 (mem: 746.99 MiB)
10:10:17 [10:10:17.364]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 746.99 MiB)
10:10:17 [10:10:17.379]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
10:10:17 [10:10:17.531]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12144037 bytes
10:10:17 [10:10:17.569]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
10:10:17 [10:10:17.884]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
10:10:17 [10:10:17.896]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
10:10:17 [10:10:17.899]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
10:10:18 [10:10:18.962]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
10:10:19 [10:10:19.118]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
10:10:19 [10:10:19.125]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
10:10:19 [10:10:19.219]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
10:10:19 [10:10:19.234]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
10:10:19 [10:10:19.333]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
10:10:19 [10:10:19.343]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
10:10:19 [10:10:19.681]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15724,"2":26010}
10:10:19 [10:10:19.793]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
10:10:19 [10:10:19.952]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12144037 bytes
10:10:19 [10:10:19.985]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
10:10:20 [10:10:20.469]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
10:10:20 [10:10:20.486]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
10:10:22 [10:10:22.127]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
10:10:22 [10:10:22.128]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
10:10:23 [10:10:23.500]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
10:10:23 [10:10:23.582]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
10:10:23 [10:10:23.603]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
10:10:23 [10:10:23.619]
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)
10:10:23 [10:10:23.626]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
10:10:23 [10:10:23.627]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
10:10:23 [10:10:23.645]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
10:10:23 [10:10:23.646]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
10:10:23 [10:10:23.647]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
10:10:23 [10:10:23.647]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
10:10:23 [10:10:23.647]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
10:10:23 [10:10:23.648]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
10:10:23 [10:10:23.648]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
10:10:23 [10:10:23.648]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
10:10:23 [10:10:23.648]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
10:10:23 [10:10:23.649]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
10:10:23 [10:10:23.649]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
10:10:23 [10:10:23.649]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
10:10:23 [10:10:23.650]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
10:10:23 [10:10:23.650]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
10:10:23 [10:10:23.650]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
10:10:23 [10:10:23.793]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.63MiB)
10:10:23 [10:10:23.838]
INFO:
ivc-integration:prove_wasm time to construct proving key: 210 ms. (mem: 581.88MiB)
10:10:23 [10:10:23.853]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.88MiB)
10:10:26 [10:10:26.162]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.88MiB)
10:10:26 [10:10:26.165]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.88MiB)
10:10:26 [10:10:26.807]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.88MiB)
10:10:26 [10:10:26.834]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.88MiB)
10:10:26 [10:10:26.859]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.88MiB)
10:10:26 [10:10:26.860]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.88MiB)
10:10:26 [10:10:26.863]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.88MiB)
10:10:26 [10:10:26.864]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.88MiB)
10:10:26 [10:10:26.864]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.88MiB)
10:10:26 [10:10:26.864]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.88MiB)
10:10:26 [10:10:26.864]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.88MiB)
10:10:26 [10:10:26.865]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 581.88MiB)
10:10:26 [10:10:26.865]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 581.88MiB)
10:10:26 [10:10:26.865]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.88MiB)
10:10:26 [10:10:26.865]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.88MiB)
10:10:26 [10:10:26.866]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 581.88MiB)
10:10:26 [10:10:26.866]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 581.88MiB)
10:10:26 [10:10:26.866]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.88MiB)
10:10:26 [10:10:26.867]
INFO:
ivc-integration:prove_wasm (mem: 581.88MiB)
10:10:26 [10:10:26.867]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.88MiB)
10:10:26 [10:10:26.867]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.88MiB)
10:10:26 [10:10:26.961]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.56MiB)
10:10:26 [10:10:26.994]
INFO:
ivc-integration:prove_wasm time to construct proving key: 135 ms. (mem: 820.69MiB)
10:10:27 [10:10:27.036]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
10:10:28 [10:10:28.779]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
10:10:28 [10:10:28.781]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.69MiB)
10:10:29 [10:10:29.505]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
10:10:29 [10:10:29.712]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
10:10:30 [10:10:30.476]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
10:10:31 [10:10:31.021]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
10:10:31 [10:10:31.022]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
10:10:31 [10:10:31.028]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
10:10:31 [10:10:31.028]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
10:10:31 [10:10:31.034]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
10:10:31 [10:10:31.035]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
10:10:31 [10:10:31.035]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
10:10:31 [10:10:31.036]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
10:10:31 [10:10:31.036]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
10:10:31 [10:10:31.037]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
10:10:31 [10:10:31.038]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
10:10:31 [10:10:31.038]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
10:10:31 [10:10:31.038]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
10:10:31 [10:10:31.039]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
10:10:31 [10:10:31.039]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
10:10:31 [10:10:31.041]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
10:10:31 [10:10:31.041]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
10:10:31 [10:10:31.042]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
10:10:31 [10:10:31.042]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
10:10:31 [10:10:31.055]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
10:10:31 [10:10:31.064]
INFO:
ivc-integration:prove_wasm time to construct proving key: 36 ms. (mem: 848.19MiB)
10:10:31 [10:10:31.092]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
10:10:32 [10:10:32.767]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
10:10:32 [10:10:32.768]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
10:10:33 [10:10:33.204]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
10:10:33 [10:10:33.354]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
10:10:33 [10:10:33.623]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
10:10:34 [10:10:34.004]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
10:10:34 [10:10:34.004]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
10:10:34 [10:10:34.018]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 848.19MiB)
10:10:34 [10:10:34.172]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
10:10:34 [10:10:34.305]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
10:10:34 [10:10:34.306]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
10:10:34 [10:10:34.313]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
10:10:34 [10:10:34.315]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
10:10:34 [10:10:34.316]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
10:10:34 [10:10:34.317]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
10:10:34 [10:10:34.318]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
10:10:34 [10:10:34.318]
INFO:
ivc-integration:prove_wasm arithmetic : 12208/56000 (mem: 848.19MiB)
10:10:34 [10:10:34.319]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 848.19MiB)
10:10:34 [10:10:34.320]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
10:10:34 [10:10:34.320]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
10:10:34 [10:10:34.321]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 848.19MiB)
10:10:34 [10:10:34.321]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 848.19MiB)
10:10:34 [10:10:34.321]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
10:10:34 [10:10:34.322]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
10:10:34 [10:10:34.322]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
10:10:34 [10:10:34.323]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
10:10:34 [10:10:34.343]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
10:10:34 [10:10:34.415]
INFO:
ivc-integration:prove_wasm time to construct proving key: 110 ms. (mem: 851.31MiB)
10:10:34 [10:10:34.505]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.31MiB)
10:10:35 [10:10:35.842]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.31MiB)
10:10:35 [10:10:35.844]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 851.31MiB)
10:10:36 [10:10:36.635]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.31MiB)
10:10:36 [10:10:36.905]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
10:10:37 [10:10:37.253]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
10:10:37 [10:10:37.565]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
10:10:37 [10:10:37.566]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
10:10:37 [10:10:37.578]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 907.06MiB)
10:10:37 [10:10:37.719]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 907.06MiB)
10:10:37 [10:10:37.720]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
10:10:37 [10:10:37.725]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
10:10:37 [10:10:37.725]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
10:10:37 [10:10:37.726]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 907.06MiB)
10:10:37 [10:10:37.726]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
10:10:37 [10:10:37.726]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 907.06MiB)
10:10:37 [10:10:37.726]
INFO:
ivc-integration:prove_wasm arithmetic : 6978/56000 (mem: 907.06MiB)
10:10:37 [10:10:37.727]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 907.06MiB)
10:10:37 [10:10:37.727]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
10:10:37 [10:10:37.727]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 907.06MiB)
10:10:37 [10:10:37.728]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 907.06MiB)
10:10:37 [10:10:37.728]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 907.06MiB)
10:10:37 [10:10:37.728]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
10:10:37 [10:10:37.729]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
10:10:37 [10:10:37.729]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
10:10:37 [10:10:37.729]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
10:10:37 [10:10:37.757]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
10:10:37 [10:10:37.783]
INFO:
ivc-integration:prove_wasm time to construct proving key: 64 ms. (mem: 907.06MiB)
10:10:37 [10:10:37.881]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
10:10:39 [10:10:39.105]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
10:10:39 [10:10:39.107]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 907.06MiB)
10:10:39 [10:10:39.747]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
10:10:40 [10:10:40.019]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
10:10:40 [10:10:40.369]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
10:10:40 [10:10:40.582]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
10:10:40 [10:10:40.582]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
10:10:40 [10:10:40.591]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 907.06MiB)
10:10:40 [10:10:40.703]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 907.06MiB)
10:10:40 [10:10:40.704]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
10:10:40 [10:10:40.707]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
10:10:40 [10:10:40.707]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
10:10:40 [10:10:40.708]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 907.06MiB)
10:10:40 [10:10:40.708]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
10:10:40 [10:10:40.709]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 907.06MiB)
10:10:40 [10:10:40.709]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 907.06MiB)
10:10:40 [10:10:40.709]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 907.06MiB)
10:10:40 [10:10:40.710]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
10:10:40 [10:10:40.710]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 907.06MiB)
10:10:40 [10:10:40.710]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 907.06MiB)
10:10:40 [10:10:40.710]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 907.06MiB)
10:10:40 [10:10:40.711]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
10:10:40 [10:10:40.711]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
10:10:40 [10:10:40.712]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
10:10:40 [10:10:40.712]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
10:10:40 [10:10:40.731]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
10:10:40 [10:10:40.758]
INFO:
ivc-integration:prove_wasm time to construct proving key: 55 ms. (mem: 907.06MiB)
10:10:40 [10:10:40.853]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
10:10:42 [10:10:42.014]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
10:10:42 [10:10:42.017]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 907.06MiB)
10:10:42 [10:10:42.618]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
10:10:42 [10:10:42.921]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
10:10:43 [10:10:43.246]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
10:10:43 [10:10:43.620]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
10:10:43 [10:10:43.624]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
10:10:43 [10:10:43.625]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 20033 (mem: 907.06MiB)
10:10:43 [10:10:43.625]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 907.06MiB)
10:10:43 [10:10:43.625]
INFO:
ivc-integration:prove_wasm Largest circuit: 48925 gates. Trace details: (mem: 907.06MiB)
10:10:43 [10:10:43.625]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 907.06MiB)
10:10:43 [10:10:43.626]
INFO:
ivc-integration:prove_wasm ecc_op : 792
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.626]
INFO:
ivc-integration:prove_wasm busread : 16
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.626]
INFO:
ivc-integration:prove_wasm lookup : 2
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.626]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.636]
INFO:
ivc-integration:prove_wasm arithmetic : 12208
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.637]
INFO:
ivc-integration:prove_wasm delta_range : 2981
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.637]
INFO:
ivc-integration:prove_wasm elliptic : 2
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.637]
INFO:
ivc-integration:prove_wasm aux : 350
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.637]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.638]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.638]
INFO:
ivc-integration:prove_wasm overflow : 0
10:10:43 (mem: 907.06MiB)
10:10:43 [10:10:43.638]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
10:10:43 [10:10:43.639]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 907.06MiB)
10:10:43 [10:10:43.838]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
10:10:44 [10:10:44.119]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
10:10:45 [10:10:45.370]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
10:10:45 [10:10:45.680]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
10:10:45 [10:10:45.681]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
10:10:45 [10:10:45.700]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 907.06MiB)
10:10:45 [10:10:45.901]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
10:10:45 [10:10:45.912]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
10:10:45 [10:10:45.972]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
10:10:46 [10:10:46.017]
INFO:
ivc-integration:prove_wasm time to construct proving key: 116 ms. (mem: 907.06MiB)
10:10:47 [10:10:47.164]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 907.06MiB)
10:10:48 [10:10:48.408]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 907.06MiB)
10:10:48 [10:10:48.427]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
10:10:48 [10:10:48.962]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
10:10:49 [10:10:49.752]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
10:10:49 [10:10:49.855]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
10:10:49 [10:10:49.856]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
10:10:49 [10:10:49.857]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 907.06MiB)
10:10:50 [10:10:50.132]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 907.06MiB)
10:10:53 [10:10:53.711]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
10:10:57 [10:10:57.291]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
10:11:00 [10:11:00.440]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 907.06MiB)
10:11:00 [10:11:00.441]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 907.06MiB)
10:11:04 [10:11:04.444]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
10:11:07 [10:11:07.634]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
10:11:10 [10:11:10.024]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
10:11:10 [10:11:10.034]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 907.06MiB)
10:11:10 [10:11:10.035]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 46448 (mem: 907.06MiB)
10:11:10 [10:11:10.044]
INFO:
ivc-integration:prove_wasm time to serialize proof: 9 (mem: 907.06MiB)
10:11:10 [10:11:10.047]
INFO:
ivc-integration:prove_wasm time to serialize vk: 3 (mem: 907.06MiB)
10:11:10 [10:11:10.069]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 907.06MiB)
10:11:10 [10:11:10.122]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.122]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.123]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.123]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.315]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.315]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.316]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.316]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.377]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.378]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.378]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.379]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.379]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.379]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.383]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 907.06MiB)
10:11:10 [10:11:10.421]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.421]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.421]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.422]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.636]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.637]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.637]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.637]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.690]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.691]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.692]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.692]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.693]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
10:11:10 [10:11:10.693]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
10:11:11 [10:11:11.213]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
10:11:11
PASS src/wasm_client_ivc_integration.test.ts (
112.366 s)
10:11:11 Client IVC Integration
10:11:11
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (54930 ms)
10:11:11
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2314 ms)
10:11:11
✓ Should generate a verifiable client IVC proof from a complex mock tx (51529 ms)
10:11:11
10:11:11
Test Suites: 1 passed, 1 total
10:11:11
Tests: 3 passed, 3 total
10:11:11
Snapshots: 0 total
10:11:11
Time: 112.461 s
10:11:11
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
10:11:11
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?