Parent Log:
http://ci.aztec-labs.com/2a5202e13d8bd91e
Command: 13dd8684e4e32fd7: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/1c9ca312bfdace816082212846900a49694e1e50
Env: REF_NAME=gh-readonly-queue/next/pr-15182-af094bce13530e078c78de9f3264280e6693d533 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 08:51:19 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15182_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
08:51:24 [08:51:24.125]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
08:51:24 [08:51:24.131]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-rRkcZ4/ivc-inputs.msgpack
08:51:24 [08:51:24.132]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
08:51:24 [08:51:24.133]
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-rRkcZ4 --ivc_inputs_path /tmp/bb-client-ivc-integration-rRkcZ4/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
08:51:24 [08:51:24.284]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12113510 bytes
08:51:24 [08:51:24.304]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 249.23 MiB)
08:51:24 Scheme is: client_ivc, num threads: 128 (mem: 249.23 MiB)
08:51:24 --scheme: client_ivc (mem: 249.23 MiB)
08:51:24 --output_path: /tmp/bb-client-ivc-integration-rRkcZ4 (mem: 249.23 MiB)
08:51:24 --ivc_inputs_path: /tmp/bb-client-ivc-integration-rRkcZ4/ivc-inputs.msgpack (mem: 249.23 MiB)
08:51:24 --verbose: true (mem: 249.23 MiB)
08:51:24 --write_vk: true (mem: 249.23 MiB)
08:51:24 BN254 commitment key size: 262144 (mem: 249.23 MiB)
08:51:24 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.23 MiB)
08:51:24 Initialized BN254 CRS from memory with num points = 262145 (mem: 249.23 MiB)
08:51:24 ClientIVC: accumulating unknown_0 (mem: 249.23 MiB)
08:51:24 Constructing DeciderProvingKey (mem: 249.23 MiB)
08:51:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 249.23 MiB)
08:51:24 goblin ecc op : 4/1024 (mem: 249.23 MiB)
08:51:24 busread : 7/6000 (mem: 249.23 MiB)
08:51:24 lookups : 2/15000 (mem: 249.23 MiB)
08:51:24 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 249.23 MiB)
08:51:24 arithmetic : 1760/56000 (mem: 249.23 MiB)
08:51:24 delta range : 1754/18000 (mem: 249.23 MiB)
08:51:24 elliptic : 2/6000 (mem: 249.23 MiB)
08:51:24 auxiliary : 26/26000 (mem: 249.23 MiB)
08:51:24 poseidon ext : 2/17000 (mem: 249.23 MiB)
08:51:24 poseidon int : 2/92000 (mem: 249.23 MiB)
08:51:24 overflow : 0/0 (mem: 249.23 MiB)
08:51:24 (mem: 249.23 MiB)
08:51:24 Total structured size: 242025 (mem: 249.23 MiB)
08:51:24 allocating polynomials object in proving key... (mem: 249.23 MiB)
08:51:24 [08:51:24.331]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
08:51:24 [08:51:24.401]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 333.67 MiB)
08:51:24 [08:51:24.417]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 192 ms. (mem: 350.67 MiB)
08:51:24 [08:51:24.495]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5cde52e34200 (mem: 350.67 MiB)
08:51:24 computing oink proof... (mem: 350.67 MiB)
08:51:24 [08:51:24.497]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 350.67 MiB)
08:51:24 [08:51:24.696]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
08:51:24 [08:51:24.702]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
08:51:24 [08:51:24.796]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 362.67 MiB)
08:51:24 [08:51:24.808]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 362.67 MiB)
08:51:24 [08:51:24.826]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 362.67 MiB)
08:51:24 [08:51:24.827]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 362.67 MiB)
08:51:24 [08:51:24.830]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 362.67 MiB)
08:51:24 goblin ecc op : 56/1024 (mem: 362.67 MiB)
08:51:24 [08:51:24.831]
INFO:
ivc-integration:test:wasm bb - busread : 12/6000 (mem: 362.67 MiB)
08:51:24 lookups : 2/15000 (mem: 362.67 MiB)
08:51:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 362.67 MiB)
08:51:24 arithmetic : 4677/56000 (mem: 362.67 MiB)
08:51:24 delta range : 2073/18000 (mem: 362.67 MiB)
08:51:24 elliptic : 2/6000 (mem: 362.67 MiB)
08:51:24 auxiliary : 110/26000 (mem: 362.67 MiB)
08:51:24 poseidon ext : 1322/17000 (mem: 362.67 MiB)
08:51:24 poseidon int : 7526/92000 (mem: 362.67 MiB)
08:51:24 overflow : 0/0 (mem: 362.67 MiB)
08:51:24 (mem: 362.67 MiB)
08:51:24 Total structured size: 242025 (mem: 362.67 MiB)
08:51:24 allocating polynomials object in proving key... (mem: 362.67 MiB)
08:51:24 [08:51:24.942]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 566.67 MiB)
08:51:24 [08:51:24.966]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 140 ms. (mem: 583.67 MiB)
08:51:25 [08:51:25.204]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5cde52e40fc0 (mem: 583.67 MiB)
08:51:25 computing folding proof (mem: 583.67 MiB)
08:51:25 vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 583.67 MiB)
08:51:25 [08:51:25.515]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 584.67 MiB)
08:51:25 [08:51:25.608]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 621.67 MiB)
08:51:25 [08:51:25.660]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 653.67 MiB)
08:51:25 [08:51:25.883]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
08:51:25 [08:51:25.886]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
08:51:26 [08:51:26.430]
INFO:
ivc-integration:test:wasm bb - folded (mem: 653.67 MiB)
08:51:26 constructed folding proof (mem: 653.67 MiB)
08:51:26 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 653.67 MiB)
08:51:26 ClientIVC: accumulating unknown_2 (mem: 653.67 MiB)
08:51:26 Constructing DeciderProvingKey (mem: 653.67 MiB)
08:51:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 653.67 MiB)
08:51:26 goblin ecc op : 392/1024 (mem: 653.67 MiB)
08:51:26 busread : 3/6000 (mem: 653.67 MiB)
08:51:26 lookups : 2/15000 (mem: 653.67 MiB)
08:51:26 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 653.67 MiB)
08:51:26 arithmetic : 6913/56000 (mem: 653.67 MiB)
08:51:26 delta range : 2353/18000 (mem: 653.67 MiB)
08:51:26 elliptic : 2/6000 (mem: 653.67 MiB)
08:51:26 auxiliary : 50/26000 (mem: 653.67 MiB)
08:51:26 poseidon ext : 2492/17000 (mem: 653.67 MiB)
08:51:26 poseidon int : 14195/92000 (mem: 653.67 MiB)
08:51:26 overflow : 0/0 (mem: 653.67 MiB)
08:51:26 (mem: 653.67 MiB)
08:51:26 Total structured size: 242025 (mem: 653.67 MiB)
08:51:26 allocating polynomials object in proving key... (mem: 653.67 MiB)
08:51:26 populating trace... (mem: 653.67 MiB)
08:51:26 time to construct proving key: 249 ms. (mem: 653.67 MiB)
08:51:26 [08:51:26.673]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5cde52e4c380 (mem: 653.67 MiB)
08:51:26 computing folding proof (mem: 653.67 MiB)
08:51:26 [08:51:26.673]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 653.67 MiB)
08:51:27 [08:51:27.015]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
08:51:27 [08:51:27.056]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
08:51:27 [08:51:27.080]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
08:51:27 [08:51:27.081]
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)
08:51:27 [08:51:27.087]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
08:51:27 [08:51:27.088]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
08:51:27 [08:51:27.112]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
08:51:27 [08:51:27.113]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
08:51:27 [08:51:27.114]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
08:51:27 [08:51:27.114]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
08:51:27 [08:51:27.114]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
08:51:27 [08:51:27.115]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
08:51:27 [08:51:27.116]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
08:51:27 [08:51:27.117]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
08:51:27 [08:51:27.117]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
08:51:27 [08:51:27.117]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
08:51:27 [08:51:27.119]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
08:51:27 [08:51:27.119]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
08:51:27 [08:51:27.119]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
08:51:27 [08:51:27.119]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
08:51:27 [08:51:27.120]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
08:51:27 [08:51:27.175]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 653.67 MiB)
08:51:27 [08:51:27.224]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
08:51:27 [08:51:27.277]
INFO:
ivc-integration:prove_wasm time to construct proving key: 185 ms. (mem: 316.56MiB)
08:51:27 [08:51:27.280]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 653.67 MiB)
08:51:27 [08:51:27.309]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 316.56MiB)
08:51:27 [08:51:27.341]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 664.34 MiB)
08:51:27 [08:51:27.584]
INFO:
ivc-integration:test:wasm bb - folded (mem: 664.34 MiB)
08:51:27 constructed folding proof (mem:
08:51:27 [08:51:27.585]
INFO:
ivc-integration:test:wasm bb - 664.34 MiB)
08:51:27 Largest circuit: 26010 gates. Trace details: (mem: 664.34 MiB)
08:51:27 Minimum required block sizes for structured trace: (mem: 664.34 MiB)
08:51:27 (mem: 664.34 MiB)
08:51:27 prove decider... (mem: 664.34 MiB)
08:51:27 [08:51:27.589]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
08:51:27 busread : 12
08:51:27 lookup : 2
08:51:27 pub_inputs : 36
08:51:27 arithmetic : 6913
08:51:27 delta_range : 2353
08:51:27 elliptic : 2
08:51:27 aux : 110
08:51:27 poseidon2_external : 2492
08:51:27 poseidon2_internal : 14195
08:51:27 overflow : 0
08:51:27 [08:51:27.719]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 316.56MiB)
08:51:27 [08:51:27.724]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 316.56MiB)
08:51:27 [08:51:27.800]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 664.34 MiB)
08:51:28 [08:51:28.001]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 664.34 MiB)
08:51:28 [08:51:28.124]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
08:51:28 [08:51:28.145]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
08:51:28 [08:51:28.177]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
08:51:28 [08:51:28.178]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
08:51:28 [08:51:28.181]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
08:51:28 [08:51:28.182]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
08:51:28 [08:51:28.182]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
08:51:28 [08:51:28.183]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
08:51:28 [08:51:28.183]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
08:51:28 [08:51:28.199]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 317.94MiB)
08:51:28 [08:51:28.200]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
08:51:28 [08:51:28.201]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
08:51:28 [08:51:28.201]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
08:51:28 [08:51:28.201]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
08:51:28 [08:51:28.201]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
08:51:28 [08:51:28.202]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
08:51:28 [08:51:28.202]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
08:51:28 [08:51:28.202]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
08:51:28 [08:51:28.203]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
08:51:28 [08:51:28.316]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 539.94MiB)
08:51:28 [08:51:28.376]
INFO:
ivc-integration:prove_wasm time to construct proving key: 199 ms. (mem: 555.19MiB)
08:51:28 [08:51:28.448]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.19MiB)
08:51:29 [08:51:29.259]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.19MiB)
08:51:29 [08:51:29.264]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 555.19MiB)
08:51:29 [08:51:29.490]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 664.34 MiB)
08:51:29 [08:51:29.608]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 664.34 MiB)
08:51:29 finished decider proving. (mem: 664.34 MiB)
08:51:29 [08:51:29.626]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 664.34 MiB)
08:51:29 [08:51:29.735]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 664.34 MiB)
08:51:29 [08:51:29.743]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 664.34 MiB)
08:51:30 [08:51:30.085]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.19MiB)
08:51:30 [08:51:30.170]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 664.34 MiB)
08:51:30 [08:51:30.224]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 488 ms. (mem: 664.34 MiB)
08:51:30 [08:51:30.388]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 582.63MiB)
08:51:30 [08:51:30.760]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 582.63MiB)
08:51:31 [08:51:31.647]
INFO:
ivc-integration:prove_wasm folded (mem: 582.63MiB)
08:51:31 [08:51:31.648]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 582.63MiB)
08:51:31 [08:51:31.666]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 582.63MiB)
08:51:31 [08:51:31.702]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 664.34 MiB)
08:51:31 [08:51:31.882]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 582.63MiB)
08:51:31 [08:51:31.883]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 582.63MiB)
08:51:31 [08:51:31.905]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 582.63MiB)
08:51:31 [08:51:31.906]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 582.63MiB)
08:51:31 [08:51:31.908]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 582.63MiB)
08:51:31 [08:51:31.908]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 582.63MiB)
08:51:31 [08:51:31.909]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 582.63MiB)
08:51:31 [08:51:31.910]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 582.63MiB)
08:51:31 [08:51:31.910]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 582.63MiB)
08:51:31 [08:51:31.911]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 582.63MiB)
08:51:31 [08:51:31.911]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 582.63MiB)
08:51:31 [08:51:31.912]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 582.63MiB)
08:51:31 [08:51:31.916]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 582.63MiB)
08:51:31 [08:51:31.916]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 582.63MiB)
08:51:31 [08:51:31.917]
INFO:
ivc-integration:prove_wasm (mem: 582.63MiB)
08:51:31 [08:51:31.920]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 582.63MiB)
08:51:31 [08:51:31.921]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 582.63MiB)
08:51:31 [08:51:31.968]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 582.63MiB)
08:51:32 [08:51:32.009]
INFO:
ivc-integration:prove_wasm time to construct proving key: 126 ms. (mem: 582.63MiB)
08:51:32 [08:51:32.174]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 582.63MiB)
08:51:32 [08:51:32.423]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 664.34 MiB)
08:51:32 [08:51:32.812]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
08:51:32 [08:51:32.814]
INFO:
ivc-integration:test:wasm bb - (mem:
08:51:32 [08:51:32.814]
INFO:
ivc-integration:test:wasm bb - 664.34
08:51:32 [08:51:32.815]
INFO:
ivc-integration:test:wasm bb - MiB)
08:51:32 [08:51:32.815]
INFO:
ivc-integration:test:wasm bb -
08:51:33 [08:51:33.196]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 582.63MiB)
08:51:33 [08:51:33.197]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 582.63MiB)
08:51:34 [08:51:34.165]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 582.63MiB)
08:51:34 [08:51:34.405]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 590.56MiB)
08:51:34 [08:51:34.501]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck
08:51:34 [08:51:34.502]
INFO:
ivc-integration:test:wasm bb - (mem:
08:51:34 [08:51:34.505]
INFO:
ivc-integration:test:wasm bb - 664.34 MiB)
08:51:34 [08:51:34.780]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 590.56MiB)
08:51:35 [08:51:35.513]
INFO:
ivc-integration:prove_wasm folded (mem: 590.56MiB)
08:51:35 [08:51:35.513]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 590.56MiB)
08:51:35 [08:51:35.515]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 8454 (mem: 590.56MiB)
08:51:35 [08:51:35.515]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 590.56MiB)
08:51:35 [08:51:35.516]
INFO:
ivc-integration:prove_wasm Largest circuit: 26010 gates. Trace details: (mem: 590.56MiB)
08:51:35 [08:51:35.517]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 590.56MiB)
08:51:35 [08:51:35.518]
INFO:
ivc-integration:prove_wasm ecc_op : 392
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.518]
INFO:
ivc-integration:prove_wasm busread : 12
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.519]
INFO:
ivc-integration:prove_wasm lookup : 2
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.519]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.520]
INFO:
ivc-integration:prove_wasm arithmetic : 6913
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.521]
INFO:
ivc-integration:prove_wasm delta_range : 2353
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.521]
INFO:
ivc-integration:prove_wasm elliptic : 2
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.522]
INFO:
ivc-integration:prove_wasm aux : 110
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.522]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.523]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.523]
INFO:
ivc-integration:prove_wasm overflow : 0
08:51:35 (mem: 590.56MiB)
08:51:35 [08:51:35.524]
INFO:
ivc-integration:prove_wasm (mem: 590.56MiB)
08:51:35 [08:51:35.524]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 590.56MiB)
08:51:35 [08:51:35.786]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
08:51:36 [08:51:36.003]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 664.34 MiB)
08:51:36 [08:51:36.144]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 664.34 MiB)
08:51:36 finished decider proving. (mem: 664.34 MiB)
08:51:36 [08:51:36.147]
INFO:
ivc-integration:test:wasm bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 664.34 MiB)
08:51:36 [08:51:36.425]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
08:51:36 [08:51:36.575]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 664.34 MiB)
08:51:37 [08:51:37.130]
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: 664.34 MiB)
08:51:37 [08:51:37.151]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 65537
08:51:37 [08:51:37.154]
INFO:
ivc-integration:test:wasm bb - (mem: 664.34 MiB)
08:51:39 [08:51:39.126]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
08:51:39 [08:51:39.634]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
08:51:39 [08:51:39.636]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
08:51:39 [08:51:39.651]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 664.34 MiB)
08:51:39 [08:51:39.702]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 590.56MiB)
08:51:40 [08:51:40.033]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 590.56MiB)
08:51:40 [08:51:40.045]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 590.56MiB)
08:51:40 [08:51:40.111]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 590.56MiB)
08:51:40 [08:51:40.210]
INFO:
ivc-integration:prove_wasm time to construct proving key: 177 ms. (mem: 590.56MiB)
08:51:42 [08:51:42.088]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 664.34 MiB)
08:51:42 [08:51:42.727]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 590.56MiB)
08:51:43 [08:51:43.676]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 590.56MiB)
08:51:43 [08:51:43.720]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
08:51:44 [08:51:44.081]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
08:51:45 [08:51:45.298]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
08:51:45 [08:51:45.469]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
08:51:45 [08:51:45.469]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
08:51:45 [08:51:45.470]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 590.56MiB)
08:51:45 [08:51:45.684]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 590.56MiB)
08:51:47 [08:51:47.236]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 664.34 MiB)
08:51:47 prove translator... (mem: 664.34 MiB)
08:51:48 [08:51:48.602]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
08:51:49 [08:51:49.428]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 698.77 MiB)
08:51:53 [08:51:53.267]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
08:51:53 [08:51:53.486]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck
08:51:53 [08:51:53.488]
INFO:
ivc-integration:test:wasm bb - (mem: 700.77 MiB)
08:51:56 [08:51:56.410]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 700.77 MiB)
08:51:56 finished translator proving. (mem: 700.77 MiB)
08:51:56 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 700.77 MiB)
08:51:56 [08:51:56.426]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 700.77 MiB)
08:51:56 libra_evals_verified: 1 (mem: 700.77 MiB)
08:51:56 [08:51:56.427]
INFO:
ivc-integration:test:wasm bb - pairing_check_verified: 1 (mem: 700.77 MiB)
08:51:56 Mega verified: 1 (mem: 700.77 MiB)
08:51:56 [08:51:56.678]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 700.77 MiB)
08:51:56 batch opening verified?: 1 (mem: 700.77 MiB)
08:51:56 eccvm consistency check verified?: 1 (mem: 700.77 MiB)
08:51:56 translation masking consistency checked?: 1 (mem: 700.77 MiB)
08:51:56 [08:51:56.698]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1
08:51:56 [08:51:56.699]
INFO:
ivc-integration:test:wasm bb - (mem:
08:51:56 [08:51:56.700]
INFO:
ivc-integration:test:wasm bb - 701.77
08:51:56 [08:51:56.702]
INFO:
ivc-integration:test:wasm bb - MiB)
08:51:56 eccvm verified?: 1 (mem: 701.77 MiB)
08:51:56 accumulator construction_verified?: 1 (mem: 701.77 MiB)
08:51:56 translation verified?: 1 (mem: 701.77 MiB)
08:51:56 consistency verified?: 1 (mem: 701.77 MiB)
08:51:56 Goblin verified: 1 (mem: 701.77 MiB)
08:51:56 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-rRkcZ4" (mem: 701.77 MiB)
08:51:56 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-rRkcZ4" (mem: 701.77 MiB)
08:51:56 BN254 commitment key size: 262144 (mem: 701.77 MiB)
08:51:56 [08:51:56.705]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey
08:51:56 [08:51:56.706]
INFO:
ivc-integration:test:wasm bb - (mem:
08:51:56 [08:51:56.706]
INFO:
ivc-integration:test:wasm bb - 701.77
08:51:56 [08:51:56.708]
INFO:
ivc-integration:test:wasm bb - MiB)
08:51:56 [08:51:56.711]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity)
08:51:56 [08:51:56.713]
INFO:
ivc-integration:test:wasm bb - (mem: 701.77 MiB)
08:51:56 goblin ecc op : 4/1024 (mem: 701.77 MiB)
08:51:56 busread : 3/6000 (mem: 701.77 MiB)
08:51:56 lookups : 2/15000 (mem: 701.77 MiB)
08:51:56 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 701.77 MiB)
08:51:56 arithmetic : 1773/56000 (mem: 701.77 MiB)
08:51:56 delta range : 1754/18000 (mem: 701.77 MiB)
08:51:56 elliptic : 2/6000 (mem: 701.77 MiB)
08:51:56 auxiliary : 26/26000 (mem: 701.77 MiB)
08:51:56 poseidon ext : 2/17000 (mem: 701.77 MiB)
08:51:56 poseidon int : 2/92000 (mem: 701.77 MiB)
08:51:56 overflow : 0/0 (mem: 701.77 MiB)
08:51:56 (mem: 701.77 MiB)
08:51:56 Total structured size: 242025 (mem: 701.77 MiB)
08:51:56 allocating polynomials object in proving key... (mem: 701.77 MiB)
08:51:57 [08:51:57.020]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 701.77 MiB)
08:51:57 [08:51:57.043]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 335 ms. (mem: 701.77 MiB)
08:51:57 [08:51:57.289]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 701.77 MiB)
08:51:57 [08:51:57.955]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 701.77 MiB)
08:51:57 [08:51:57.957]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 701.77 MiB)
08:51:58 [08:51:58.481]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem:
08:51:58 [08:51:58.485]
INFO:
ivc-integration:test:wasm bb - 701.77 MiB)
08:51:58 [08:51:58.492]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c
08:51:58 [08:51:58.494]
INFO:
ivc-integration:test:wasm bb - (mem: 701.77 MiB)
08:51:58 [08:51:58.539]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 701.77 MiB)
08:51:58 [08:51:58.545]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 701.77 MiB)
08:51:58 goblin ecc op : 56/1024 (mem: 701.77 MiB)
08:51:58 busread : 3/6000 (mem: 701.77 MiB)
08:51:58 lookups : 2/15000 (mem: 701.77 MiB)
08:51:58 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 701.77 MiB)
08:51:58 arithmetic : 4533/56000 (mem: 701.77 MiB)
08:51:58 delta range : 2060/18000 (mem: 701.77 MiB)
08:51:58 elliptic : 2/6000 (mem: 701.77 MiB)
08:51:58 auxiliary : 50/26000 (mem: 701.77 MiB)
08:51:58 poseidon ext : 1332/17000 (mem: 701.77 MiB)
08:51:58 poseidon int : 7583/92000 (mem: 701.77 MiB)
08:51:58 overflow : 0/0 (mem: 701.77 MiB)
08:51:58 (mem: 701.77 MiB)
08:51:58 Total structured size: 242025 (mem: 701.77 MiB)
08:51:58 allocating polynomials object in proving key... (mem: 701.77 MiB)
08:51:58 [08:51:58.750]
INFO:
ivc-integration:test:wasm bb - populating trace...
08:51:58 [08:51:58.752]
INFO:
ivc-integration:test:wasm bb - (mem: 701.77 MiB)
08:51:58 [08:51:58.842]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 298 ms. (mem: 701.77 MiB)
08:51:59 [08:51:59.242]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 701.77 MiB)
08:51:59 [08:51:59.892]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 702.77 MiB)
08:51:59 [08:51:59.892]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 702.77 MiB)
08:52:00 [08:52:00.446]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 702.77 MiB)
08:52:00 [08:52:00.649]
INFO:
ivc-integration:test:wasm bb - perturbator round
08:52:00 [08:52:00.653]
INFO:
ivc-integration:test:wasm bb - (mem: 702.77 MiB)
08:52:00 [08:52:00.745]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 734.77 MiB)
08:52:01 [08:52:01.224]
INFO:
ivc-integration:test:wasm bb - folded (mem: 734.77 MiB)
08:52:01 constructed folding proof (mem: 734.77 MiB)
08:52:01 Largest circuit: 15565 gates. Trace details: (mem: 734.77 MiB)
08:52:01 Minimum required block sizes for structured trace: (mem: 734.77 MiB)
08:52:01 (mem: 734.77 MiB)
08:52:01 prove decider... (mem: 734.77 MiB)
08:52:01 [08:52:01.226]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
08:52:01 busread : 3
08:52:01 lookup : 2
08:52:01 pub_inputs : 36
08:52:01 arithmetic : 4533
08:52:01 delta_range : 2060
08:52:01 elliptic : 2
08:52:01 aux : 50
08:52:01 poseidon2_external : 1332
08:52:01 poseidon2_internal : 7583
08:52:01 overflow : 0
08:52:01 [08:52:01.454]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 734.77 MiB)
08:52:01 [08:52:01.672]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 734.77 MiB)
08:52:02 [08:52:02.891]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 734.77 MiB)
08:52:02 [08:52:02.951]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 590.56MiB)
08:52:02 [08:52:02.952]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 590.56MiB)
08:52:03 [08:52:03.008]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 734.77 MiB)
08:52:03 finished decider proving. (mem: 734.77 MiB)
08:52:03 [08:52:03.020]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 734.77 MiB)
08:52:03 [08:52:03.118]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 734.77 MiB)
08:52:03 [08:52:03.125]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 734.77 MiB)
08:52:03 [08:52:03.224]
INFO:
ivc-integration:test:wasm bb - populating trace...
08:52:03 [08:52:03.225]
INFO:
ivc-integration:test:wasm bb - (mem: 734.77 MiB)
08:52:03 [08:52:03.294]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 175 ms. (mem: 734.77 MiB)
08:52:05 [08:52:05.974]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
08:52:10 [08:52:10.558]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
08:52:14 [08:52:14.037]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
08:52:14 [08:52:14.037]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 590.56MiB)
08:52:14 [08:52:14.038]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 46976 (mem: 590.56MiB)
08:52:14 [08:52:14.041]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 590.56MiB)
08:52:14 [08:52:14.043]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.056]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 590.56MiB)
08:52:14 [08:52:14.101]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.101]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.102]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.102]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.432]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.433]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.434]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.434]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.515]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.516]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.516]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.516]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.517]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 590.56MiB)
08:52:14 [08:52:14.519]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 590.56MiB)
08:52:15 [08:52:15.143]
INFO:
ivc-integration:test:wasm BB concurrency: 1
08:52:15 [08:52:15.144]
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-rRkcZ4/proof -k /tmp/bb-client-ivc-integration-rRkcZ4/vk -v
08:52:15 [08:52:15.209]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 1075.23 MiB)
08:52:15 Scheme is: client_ivc, num threads: 1 (mem: 1075.23 MiB)
08:52:15 --proof_path: /tmp/bb-client-ivc-integration-rRkcZ4/proof (mem: 1075.23 MiB)
08:52:15 --vk_path: /tmp/bb-client-ivc-integration-rRkcZ4/vk (mem: 1075.23 MiB)
08:52:15 --verbose: true (mem: 1075.23 MiB)
08:52:15 --scheme: client_ivc (mem: 1075.23 MiB)
08:52:15 [08:52:15.210]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1075.23 MiB)
08:52:15 [08:52:15.227]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1075.23 MiB)
08:52:15 [08:52:15.229]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 1075.23 MiB)
08:52:15 [08:52:15.249]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1075.23 MiB)
08:52:15 [08:52:15.250]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1 (mem: 1075.23 MiB)
08:52:15 [08:52:15.252]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 1075.23 MiB)
08:52:15 libra_evals_verified: 1 (mem: 1075.23 MiB)
08:52:15 pairing_check_verified: 1 (mem: 1075.23 MiB)
08:52:15 Mega verified: 1 (mem: 1075.23 MiB)
08:52:15 [08:52:15.751]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 1075.23 MiB)
08:52:15 batch opening verified?: 1 (mem: 1075.23 MiB)
08:52:15 eccvm consistency check verified?: 1 (mem: 1075.23 MiB)
08:52:15 translation masking consistency checked?: 1 (mem: 1075.23 MiB)
08:52:15 [08:52:15.775]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 1075.23 MiB)
08:52:15 eccvm verified?: 1 (mem: 1075.23 MiB)
08:52:15 accumulator construction_verified?: 1 (mem: 1075.23 MiB)
08:52:15 translation verified?: 1 (mem: 1075.23 MiB)
08:52:15 consistency verified?: 1 (mem: 1075.23 MiB)
08:52:15 Goblin verified: 1 (mem: 1075.23 MiB)
08:52:15 [08:52:15.776]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 1075.23 MiB)
08:52:15 [08:52:15.794]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
08:52:15 [08:52:15.955]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12113510 bytes
08:52:16 [08:52:16.001]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
08:52:16 [08:52:16.359]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
08:52:16 [08:52:16.374]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
08:52:16 [08:52:16.375]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
08:52:17 [08:52:17.105]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
08:52:17 [08:52:17.176]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
08:52:17 [08:52:17.179]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
08:52:17 [08:52:17.192]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
08:52:17 [08:52:17.198]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 194.06MiB)
08:52:17 [08:52:17.222]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
08:52:17 [08:52:17.236]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 194.06MiB)
08:52:17 [08:52:17.444]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15724,"2":26010}
08:52:17 [08:52:17.542]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
08:52:17 [08:52:17.688]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12113510 bytes
08:52:17 [08:52:17.733]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
08:52:18 [08:52:18.077]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
08:52:18 [08:52:18.088]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
08:52:19 [08:52:19.097]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
08:52:19 [08:52:19.097]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
08:52:19 [08:52:19.800]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
08:52:19 [08:52:19.861]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
08:52:19 [08:52:19.875]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
08:52:19 [08:52:19.875]
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)
08:52:19 [08:52:19.877]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
08:52:19 [08:52:19.878]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
08:52:19 [08:52:19.883]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
08:52:19 [08:52:19.884]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
08:52:19 [08:52:19.884]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
08:52:19 [08:52:19.884]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
08:52:19 [08:52:19.885]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
08:52:19 [08:52:19.885]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
08:52:19 [08:52:19.885]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
08:52:19 [08:52:19.885]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
08:52:19 [08:52:19.886]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
08:52:19 [08:52:19.886]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
08:52:19 [08:52:19.886]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
08:52:19 [08:52:19.886]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
08:52:19 [08:52:19.887]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
08:52:19 [08:52:19.887]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
08:52:19 [08:52:19.887]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
08:52:19 [08:52:19.937]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
08:52:19 [08:52:19.947]
INFO:
ivc-integration:prove_wasm time to construct proving key: 69 ms. (mem: 317.06MiB)
08:52:19 [08:52:19.960]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 317.06MiB)
08:52:20 [08:52:20.220]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 317.06MiB)
08:52:20 [08:52:20.221]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.06MiB)
08:52:20 [08:52:20.544]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
08:52:20 [08:52:20.560]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
08:52:20 [08:52:20.592]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
08:52:20 [08:52:20.592]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
08:52:20 [08:52:20.595]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
08:52:20 [08:52:20.596]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
08:52:20 [08:52:20.597]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
08:52:20 [08:52:20.598]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
08:52:20 [08:52:20.598]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
08:52:20 [08:52:20.599]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 317.94MiB)
08:52:20 [08:52:20.599]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
08:52:20 [08:52:20.599]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
08:52:20 [08:52:20.599]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
08:52:20 [08:52:20.600]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
08:52:20 [08:52:20.600]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
08:52:20 [08:52:20.600]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
08:52:20 [08:52:20.600]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
08:52:20 [08:52:20.601]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
08:52:20 [08:52:20.601]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
08:52:20 [08:52:20.737]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.81MiB)
08:52:20 [08:52:20.785]
INFO:
ivc-integration:prove_wasm time to construct proving key: 196 ms. (mem: 555.63MiB)
08:52:20 [08:52:20.819]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.63MiB)
08:52:21 [08:52:21.509]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.63MiB)
08:52:21 [08:52:21.513]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 555.63MiB)
08:52:22 [08:52:22.302]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.63MiB)
08:52:22 [08:52:22.518]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
08:52:22 [08:52:22.771]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
08:52:23 [08:52:23.573]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
08:52:23 [08:52:23.573]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
08:52:23 [08:52:23.576]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 583.13MiB)
08:52:23 [08:52:23.576]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
08:52:23 [08:52:23.580]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
08:52:23 [08:52:23.580]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 583.13MiB)
08:52:23 [08:52:23.581]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 583.13MiB)
08:52:23 [08:52:23.581]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
08:52:23 [08:52:23.581]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 583.13MiB)
08:52:23 [08:52:23.582]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 583.13MiB)
08:52:23 [08:52:23.582]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 583.13MiB)
08:52:23 [08:52:23.582]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
08:52:23 [08:52:23.582]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 583.13MiB)
08:52:23 [08:52:23.583]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 583.13MiB)
08:52:23 [08:52:23.583]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 583.13MiB)
08:52:23 [08:52:23.583]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
08:52:23 [08:52:23.583]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
08:52:23 [08:52:23.584]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
08:52:23 [08:52:23.584]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
08:52:23 [08:52:23.620]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
08:52:23 [08:52:23.636]
INFO:
ivc-integration:prove_wasm time to construct proving key: 60 ms. (mem: 583.13MiB)
08:52:23 [08:52:23.691]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 583.13MiB)
08:52:24 [08:52:24.353]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 583.13MiB)
08:52:24 [08:52:24.356]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
08:52:24 [08:52:24.831]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 583.13MiB)
08:52:25 [08:52:25.046]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
08:52:25 [08:52:25.306]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
08:52:25 [08:52:25.966]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
08:52:25 [08:52:25.966]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
08:52:25 [08:52:25.980]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 583.13MiB)
08:52:26 [08:52:26.137]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
08:52:26 [08:52:26.315]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 583.13MiB)
08:52:26 [08:52:26.315]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
08:52:26 [08:52:26.320]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
08:52:26 [08:52:26.320]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 583.13MiB)
08:52:26 [08:52:26.321]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 583.13MiB)
08:52:26 [08:52:26.321]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
08:52:26 [08:52:26.321]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 583.13MiB)
08:52:26 [08:52:26.321]
INFO:
ivc-integration:prove_wasm arithmetic : 12208/56000 (mem: 583.13MiB)
08:52:26 [08:52:26.322]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 583.13MiB)
08:52:26 [08:52:26.322]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
08:52:26 [08:52:26.322]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 583.13MiB)
08:52:26 [08:52:26.322]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 583.13MiB)
08:52:26 [08:52:26.323]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 583.13MiB)
08:52:26 [08:52:26.323]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
08:52:26 [08:52:26.323]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
08:52:26 [08:52:26.323]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
08:52:26 [08:52:26.326]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
08:52:26 [08:52:26.357]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
08:52:26 [08:52:26.424]
INFO:
ivc-integration:prove_wasm time to construct proving key: 111 ms. (mem: 586.25MiB)
08:52:26 [08:52:26.520]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 586.25MiB)
08:52:27 [08:52:27.503]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 586.25MiB)
08:52:27 [08:52:27.504]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 586.25MiB)
08:52:28 [08:52:28.799]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 586.25MiB)
08:52:29 [08:52:29.108]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
08:52:29 [08:52:29.395]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 642.00MiB)
08:52:29 [08:52:29.741]
INFO:
ivc-integration:prove_wasm folded (mem: 642.00MiB)
08:52:29 [08:52:29.742]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 642.00MiB)
08:52:29 [08:52:29.758]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 642.00MiB)
08:52:29 [08:52:29.891]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 642.00MiB)
08:52:29 [08:52:29.892]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 642.00MiB)
08:52:29 [08:52:29.897]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 642.00MiB)
08:52:29 [08:52:29.898]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 642.00MiB)
08:52:29 [08:52:29.898]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 642.00MiB)
08:52:29 [08:52:29.898]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 642.00MiB)
08:52:29 [08:52:29.899]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 642.00MiB)
08:52:29 [08:52:29.899]
INFO:
ivc-integration:prove_wasm arithmetic : 6978/56000 (mem: 642.00MiB)
08:52:29 [08:52:29.899]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 642.00MiB)
08:52:29 [08:52:29.899]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 642.00MiB)
08:52:29 [08:52:29.900]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 642.00MiB)
08:52:29 [08:52:29.900]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 642.00MiB)
08:52:29 [08:52:29.900]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 642.00MiB)
08:52:29 [08:52:29.900]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 642.00MiB)
08:52:29 [08:52:29.901]
INFO:
ivc-integration:prove_wasm (mem: 642.00MiB)
08:52:29 [08:52:29.901]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 642.00MiB)
08:52:29 [08:52:29.901]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 642.00MiB)
08:52:29 [08:52:29.919]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 642.00MiB)
08:52:29 [08:52:29.945]
INFO:
ivc-integration:prove_wasm time to construct proving key: 53 ms. (mem: 642.00MiB)
08:52:30 [08:52:30.056]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 642.00MiB)
08:52:30 [08:52:30.514]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 642.00MiB)
08:52:30 [08:52:30.515]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 642.00MiB)
08:52:31 [08:52:31.154]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 642.00MiB)
08:52:31 [08:52:31.451]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 642.00MiB)
08:52:31 [08:52:31.722]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 642.00MiB)
08:52:32 [08:52:32.141]
INFO:
ivc-integration:prove_wasm folded (mem: 642.00MiB)
08:52:32 [08:52:32.142]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 642.00MiB)
08:52:32 [08:52:32.158]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 642.00MiB)
08:52:32 [08:52:32.356]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 642.00MiB)
08:52:32 [08:52:32.357]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 642.00MiB)
08:52:32 [08:52:32.364]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 642.00MiB)
08:52:32 [08:52:32.365]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 642.00MiB)
08:52:32 [08:52:32.366]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 642.00MiB)
08:52:32 [08:52:32.366]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 642.00MiB)
08:52:32 [08:52:32.367]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 642.00MiB)
08:52:32 [08:52:32.368]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 642.00MiB)
08:52:32 [08:52:32.368]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 642.00MiB)
08:52:32 [08:52:32.368]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 642.00MiB)
08:52:32 [08:52:32.369]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 642.00MiB)
08:52:32 [08:52:32.370]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 642.00MiB)
08:52:32 [08:52:32.370]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 642.00MiB)
08:52:32 [08:52:32.371]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 642.00MiB)
08:52:32 [08:52:32.371]
INFO:
ivc-integration:prove_wasm (mem: 642.00MiB)
08:52:32 [08:52:32.371]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 642.00MiB)
08:52:32 [08:52:32.372]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 642.00MiB)
08:52:32 [08:52:32.387]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 642.00MiB)
08:52:32 [08:52:32.425]
INFO:
ivc-integration:prove_wasm time to construct proving key: 72 ms. (mem: 642.00MiB)
08:52:32 [08:52:32.588]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 642.00MiB)
08:52:33 [08:52:33.340]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 642.00MiB)
08:52:33 [08:52:33.342]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 642.00MiB)
08:52:33 [08:52:33.952]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 642.00MiB)
08:52:34 [08:52:34.223]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 642.00MiB)
08:52:34 [08:52:34.540]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 642.00MiB)
08:52:34 [08:52:34.888]
INFO:
ivc-integration:prove_wasm folded (mem: 642.00MiB)
08:52:34 [08:52:34.889]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 642.00MiB)
08:52:34 [08:52:34.889]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 15022 (mem: 642.00MiB)
08:52:34 [08:52:34.890]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 642.00MiB)
08:52:34 [08:52:34.890]
INFO:
ivc-integration:prove_wasm Largest circuit: 48925 gates. Trace details: (mem: 642.00MiB)
08:52:34 [08:52:34.891]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 642.00MiB)
08:52:34 [08:52:34.891]
INFO:
ivc-integration:prove_wasm ecc_op : 792
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.892]
INFO:
ivc-integration:prove_wasm busread : 16
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.892]
INFO:
ivc-integration:prove_wasm lookup : 2
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.893]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.893]
INFO:
ivc-integration:prove_wasm arithmetic : 12208
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.893]
INFO:
ivc-integration:prove_wasm delta_range : 2981
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.893]
INFO:
ivc-integration:prove_wasm elliptic : 2
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.894]
INFO:
ivc-integration:prove_wasm aux : 350
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.894]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.894]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.895]
INFO:
ivc-integration:prove_wasm overflow : 0
08:52:34 (mem: 642.00MiB)
08:52:34 [08:52:34.895]
INFO:
ivc-integration:prove_wasm (mem: 642.00MiB)
08:52:34 [08:52:34.896]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 642.00MiB)
08:52:35 [08:52:35.031]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
08:52:35 [08:52:35.364]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 642.00MiB)
08:52:36 [08:52:36.840]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 642.00MiB)
08:52:37 [08:52:37.194]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 642.00MiB)
08:52:37 [08:52:37.195]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 642.00MiB)
08:52:37 [08:52:37.215]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 642.00MiB)
08:52:37 [08:52:37.397]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 642.00MiB)
08:52:37 [08:52:37.402]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 642.00MiB)
08:52:37 [08:52:37.421]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 642.00MiB)
08:52:37 [08:52:37.460]
INFO:
ivc-integration:prove_wasm time to construct proving key: 62 ms. (mem: 642.00MiB)
08:52:38 [08:52:38.445]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 642.00MiB)
08:52:39 [08:52:39.106]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 642.00MiB)
08:52:39 [08:52:39.143]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
08:52:39 [08:52:39.412]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 642.00MiB)
08:52:40 [08:52:40.280]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 642.00MiB)
08:52:40 [08:52:40.422]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 642.00MiB)
08:52:40 [08:52:40.422]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 642.00MiB)
08:52:40 [08:52:40.423]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 642.00MiB)
08:52:40 [08:52:40.538]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 642.00MiB)
08:52:43 [08:52:43.417]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
08:52:46 [08:52:46.699]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 642.00MiB)
08:52:51 [08:52:51.877]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 642.00MiB)
08:52:51 [08:52:51.878]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 642.00MiB)
08:52:54 [08:52:54.667]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
08:52:58 [08:52:58.830]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 642.00MiB)
08:53:02 [08:53:02.448]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 642.00MiB)
08:53:02 [08:53:02.449]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 642.00MiB)
08:53:02 [08:53:02.449]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 42582 (mem: 642.00MiB)
08:53:02 [08:53:02.452]
INFO:
ivc-integration:prove_wasm time to serialize proof: 4 (mem: 642.00MiB)
08:53:02 [08:53:02.452]
INFO:
ivc-integration:prove_wasm time to serialize vk: 0 (mem: 642.00MiB)
08:53:02 [08:53:02.480]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 642.00MiB)
08:53:02 [08:53:02.530]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.531]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.531]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.531]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.740]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.741]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.741]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.741]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.793]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.793]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.794]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.794]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.794]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.794]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.800]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 642.00MiB)
08:53:02 [08:53:02.862]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.863]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.863]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 642.00MiB)
08:53:02 [08:53:02.863]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.171]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.172]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.173]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.173]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.239]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.240]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.240]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.240]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.240]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.241]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 642.00MiB)
08:53:03 [08:53:03.685]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
08:53:03
PASS src/wasm_client_ivc_integration.test.ts (
103.187 s)
08:53:03 Client IVC Integration
08:53:03
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (51931 ms)
08:53:03
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1662 ms)
08:53:03
✓ Should generate a verifiable client IVC proof from a complex mock tx (46241 ms)
08:53:03
08:53:03
Test Suites: 1 passed, 1 total
08:53:03
Tests: 3 passed, 3 total
08:53:03
Snapshots: 0 total
08:53:03
Time: 103.266 s
08:53:03
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
08:53:03
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?