Parent Log:
http://ci.aztec-labs.com/7ea8a95c2d722890
Command: e49a94ea893520f8: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/e9a2301883801edbe36ea8bba05dcca7e714f30a
Env: REF_NAME=gh-readonly-queue/master/pr-15131-464e1a9d9b40b5188586643b44bc52bffccbc3e6 CURRENT_VERSION=0.87.8 CI_FULL=0
Date: Wed Jun 18 12:51:22 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15131_arm64_a1-fast
Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_master
12:51:25 [12:51:25.261]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
12:51:25 [12:51:25.266]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-0Ee5UW/ivc-inputs.msgpack
12:51:25 [12:51:25.268]
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-0Ee5UW --ivc_inputs_path /tmp/bb-client-ivc-integration-0Ee5UW/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
12:51:25 [12:51:25.403]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 11969535 bytes
12:51:25 [12:51:25.412]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 146.19 MiB)
12:51:25 Scheme is: client_ivc, num threads: 64 (mem: 146.19 MiB)
12:51:25 --scheme: client_ivc (mem: 146.19 MiB)
12:51:25 --output_path: /tmp/bb-client-ivc-integration-0Ee5UW (mem: 146.19 MiB)
12:51:25 --ivc_inputs_path: /tmp/bb-client-ivc-integration-0Ee5UW/ivc-inputs.msgpack (mem: 146.19 MiB)
12:51:25 --verbose: true (mem: 146.19 MiB)
12:51:25 --write_vk: true (mem: 146.19 MiB)
12:51:25 BN254 commitment key size: 262144 (mem: 146.19 MiB)
12:51:25 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 196.50 MiB)
12:51:25 Initialized BN254 CRS from memory with num points = 262657 (mem: 244.55 MiB)
12:51:25 ClientIVC: accumulating unknown_0 (mem: 244.55 MiB)
12:51:25 Constructing DeciderProvingKey (mem: 244.55 MiB)
12:51:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 244.55 MiB)
12:51:25 goblin ecc op : 4/1024 (mem: 244.55 MiB)
12:51:25 busread : 7/6000 (mem: 244.55 MiB)
12:51:25 lookups : 2/15000 (mem: 244.55 MiB)
12:51:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 244.55 MiB)
12:51:25 arithmetic : 1760/56000 (mem: 244.55 MiB)
12:51:25 delta range : 1754/18000 (mem: 244.55 MiB)
12:51:25 elliptic : 2/6000 (mem: 244.55 MiB)
12:51:25 auxiliary : 26/26000 (mem: 244.55 MiB)
12:51:25 poseidon ext : 2/17000 (mem: 244.55 MiB)
12:51:25 poseidon int : 2/92000 (mem: 244.55 MiB)
12:51:25 overflow : 0/0 (mem: 244.55 MiB)
12:51:25 (mem: 244.55 MiB)
12:51:25 Total structured size: 242025 (mem: 244.55 MiB)
12:51:25 allocating polynomials object in proving key... (mem: 244.55 MiB)
12:51:25 [12:51:25.428]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
12:51:25 [12:51:25.435]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 455.15 MiB)
12:51:25 [12:51:25.439]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 65 ms. (mem: 469.65 MiB)
12:51:25 [12:51:25.453]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xbdb11a0127c0 (mem: 469.65 MiB)
12:51:25 [12:51:25.454]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 469.65 MiB)
12:51:25 [12:51:25.575]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 470.65 MiB)
12:51:25 [12:51:25.585]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 471.65 MiB)
12:51:25 Constructing DeciderProvingKey (mem: 471.65 MiB)
12:51:25 [12:51:25.587]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 471.65 MiB)
12:51:25 goblin ecc op : 56/1024 (mem: 471.65 MiB)
12:51:25 busread : 12/6000 (mem: 471.65 MiB)
12:51:25 lookups : 2/15000 (mem: 471.65 MiB)
12:51:25 [12:51:25.587]
INFO:
ivc-integration:test:wasm bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 471.65 MiB)
12:51:25 arithmetic : 4225/56000 (mem: 471.65 MiB)
12:51:25 delta range : 2043/18000 (mem: 471.65 MiB)
12:51:25 elliptic : 2/6000 (mem: 471.65 MiB)
12:51:25 auxiliary : 110/26000 (mem: 471.65 MiB)
12:51:25 poseidon ext : 882/17000 (mem: 471.65 MiB)
12:51:25 poseidon int : 5018/92000 (mem: 471.65 MiB)
12:51:25 overflow : 0/0 (mem: 471.65 MiB)
12:51:25 (mem: 471.65 MiB)
12:51:25 Total structured size: 242025 (mem: 471.65 MiB)
12:51:25 allocating polynomials object in proving key... (mem: 471.65 MiB)
12:51:25 [12:51:25.638]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 690.15 MiB)
12:51:25 [12:51:25.650]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
12:51:25 [12:51:25.652]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 67 ms. (mem: 705.65 MiB)
12:51:25 [12:51:25.665]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
12:51:25 [12:51:25.693]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xbdb11a02a980 (mem: 705.65 MiB)
12:51:25 computing folding proof (mem: 705.65 MiB)
12:51:25 [12:51:25.929]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 706.15 MiB)
12:51:25 [12:51:25.989]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 744.15 MiB)
12:51:26 [12:51:26.046]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 776.15 MiB)
12:51:26 [12:51:26.237]
INFO:
ivc-integration:test:wasm bb - folded (mem: 776.15 MiB)
12:51:26 constructed folding proof (mem: 776.15 MiB)
12:51:26 [12:51:26.285]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 776.15 MiB)
12:51:26 Constructing DeciderProvingKey (mem: 776.15 MiB)
12:51:26 [12:51:26.287]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 776.15 MiB)
12:51:26 goblin ecc op : 392/1024 (mem: 776.15 MiB)
12:51:26 busread : 3/6000 (mem: 776.15 MiB)
12:51:26 lookups : 2/15000 (mem: 776.15 MiB)
12:51:26 [12:51:26.288]
INFO:
ivc-integration:test:wasm bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 776.15 MiB)
12:51:26 arithmetic : 6440/56000 (mem: 776.15 MiB)
12:51:26 delta range : 2323/18000 (mem: 776.15 MiB)
12:51:26 elliptic : 2/6000 (mem: 776.15 MiB)
12:51:26 auxiliary : 50/26000 (mem: 776.15 MiB)
12:51:26 poseidon ext : 2042/17000 (mem: 776.15 MiB)
12:51:26 poseidon int : 11630/92000 (mem: 776.15 MiB)
12:51:26 overflow : 0/0 (mem: 776.15 MiB)
12:51:26 (mem: 776.15 MiB)
12:51:26 Total structured size: 242025 (mem: 776.15 MiB)
12:51:26 allocating polynomials object in proving key... (mem: 776.15 MiB)
12:51:26 [12:51:26.334]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 776.15 MiB)
12:51:26 [12:51:26.370]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 73 ms. (mem: 776.15 MiB)
12:51:26 [12:51:26.450]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xbdb11a02cf00 (mem: 776.15 MiB)
12:51:26 computing folding proof (mem: 776.15 MiB)
12:51:26 [12:51:26.457]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
12:51:26 [12:51:26.458]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
12:51:26 [12:51:26.897]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 776.15 MiB)
12:51:26 [12:51:26.953]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 776.15 MiB)
12:51:26 [12:51:26.991]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 784.16 MiB)
12:51:27 [12:51:27.182]
INFO:
ivc-integration:test:wasm bb - folded (mem: 784.16 MiB)
12:51:27 constructed folding proof (mem: 784.16 MiB)
12:51:27 [12:51:27.186]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 22492 gates. Trace details: (mem: 784.16 MiB)
12:51:27 Minimum required block sizes for structured trace: (mem: 784.16 MiB)
12:51:27 (mem: 784.16 MiB)
12:51:27 prove decider... (mem: 784.16 MiB)
12:51:27 finished decider proving. (mem: 784.16 MiB)
12:51:27 [12:51:27.187]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
12:51:27 busread : 12
12:51:27 lookup : 2
12:51:27 pub_inputs : 36
12:51:27 arithmetic : 6440
12:51:27 delta_range : 2323
12:51:27 elliptic : 2
12:51:27 aux : 110
12:51:27 poseidon2_external : 2042
12:51:27 poseidon2_internal : 11630
12:51:27 overflow : 0
12:51:27 [12:51:27.255]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
12:51:27 [12:51:27.288]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 784.16 MiB)
12:51:27 [12:51:27.318]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
12:51:27 [12:51:27.336]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
12:51:27 [12:51:27.347]
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.13MiB)
12:51:27 [12:51:27.354]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.13MiB)
12:51:27 [12:51:27.354]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.13MiB)
12:51:27 [12:51:27.373]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.13MiB)
12:51:27 [12:51:27.374]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.13MiB)
12:51:27 [12:51:27.375]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.13MiB)
12:51:27 [12:51:27.375]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.13MiB)
12:51:27 [12:51:27.375]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.13MiB)
12:51:27 [12:51:27.376]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.13MiB)
12:51:27 [12:51:27.377]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.13MiB)
12:51:27 [12:51:27.377]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.13MiB)
12:51:27 [12:51:27.377]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.13MiB)
12:51:27 [12:51:27.378]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.13MiB)
12:51:27 [12:51:27.378]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.13MiB)
12:51:27 [12:51:27.378]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.13MiB)
12:51:27 [12:51:27.379]
INFO:
ivc-integration:prove_wasm (mem: 354.13MiB)
12:51:27 [12:51:27.380]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.13MiB)
12:51:27 [12:51:27.380]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.13MiB)
12:51:27 [12:51:27.380]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 784.16 MiB)
12:51:27 [12:51:27.427]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.19MiB)
12:51:27 [12:51:27.442]
INFO:
ivc-integration:prove_wasm time to construct proving key: 87 ms. (mem: 581.44MiB)
12:51:27 [12:51:27.461]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.44MiB)
12:51:27 [12:51:27.951]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 784.16 MiB)
12:51:28 [12:51:28.021]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 784.16 MiB)
12:51:28 [12:51:28.097]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 784.16 MiB)
12:51:28 [12:51:28.101]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 784.16 MiB)
12:51:28 [12:51:28.196]
INFO:
ivc-integration:test:wasm bb - populating trace...
12:51:28 [12:51:28.198]
INFO:
ivc-integration:test:wasm bb - (mem: 784.16 MiB)
12:51:28 [12:51:28.214]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 119 ms. (mem: 784.16 MiB)
12:51:28 [12:51:28.583]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.44MiB)
12:51:28 [12:51:28.836]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.44MiB)
12:51:28 [12:51:28.877]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.44MiB)
12:51:28 [12:51:28.877]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.44MiB)
12:51:28 [12:51:28.882]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.44MiB)
12:51:28 [12:51:28.882]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.44MiB)
12:51:28 [12:51:28.882]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.44MiB)
12:51:28 [12:51:28.883]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.44MiB)
12:51:28 [12:51:28.883]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.44MiB)
12:51:28 [12:51:28.883]
INFO:
ivc-integration:prove_wasm arithmetic : 4225/56000 (mem: 581.44MiB)
12:51:28 [12:51:28.883]
INFO:
ivc-integration:prove_wasm delta range : 2043/18000 (mem: 581.44MiB)
12:51:28 [12:51:28.884]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.44MiB)
12:51:28 [12:51:28.884]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.44MiB)
12:51:28 [12:51:28.884]
INFO:
ivc-integration:prove_wasm poseidon ext : 882/17000 (mem: 581.44MiB)
12:51:28 [12:51:28.884]
INFO:
ivc-integration:prove_wasm poseidon int : 5018/92000 (mem: 581.44MiB)
12:51:28 [12:51:28.884]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.44MiB)
12:51:28 [12:51:28.885]
INFO:
ivc-integration:prove_wasm (mem: 581.44MiB)
12:51:28 [12:51:28.885]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.44MiB)
12:51:28 [12:51:28.885]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.44MiB)
12:51:28 [12:51:28.945]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 803.75MiB)
12:51:28 [12:51:28.973]
INFO:
ivc-integration:prove_wasm time to construct proving key: 94 ms. (mem: 818.56MiB)
12:51:28 [12:51:28.999]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 818.56MiB)
12:51:29 [12:51:29.039]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 784.16 MiB)
12:51:29 [12:51:29.237]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 784.16 MiB)
12:51:29 [12:51:29.588]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck
12:51:29 [12:51:29.588]
INFO:
ivc-integration:test:wasm bb - (mem:
12:51:29 [12:51:29.589]
INFO:
ivc-integration:test:wasm bb - 784.16
12:51:29 [12:51:29.589]
INFO:
ivc-integration:test:wasm bb - MiB)
12:51:29 [12:51:29.873]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 818.56MiB)
12:51:29 [12:51:29.950]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 784.16 MiB)
12:51:29 [12:51:29.975]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 784.16 MiB)
12:51:30 [12:51:30.069]
INFO:
ivc-integration:test:wasm bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 784.16 MiB)
12:51:30 prove eccvm... (mem: 784.16 MiB)
12:51:30 [12:51:30.116]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 818.56MiB)
12:51:30 [12:51:30.205]
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: 784.16 MiB)
12:51:30 [12:51:30.217]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 784.16 MiB)
12:51:30 [12:51:30.272]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 846.38MiB)
12:51:30 [12:51:30.498]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 846.38MiB)
12:51:30 [12:51:30.700]
INFO:
ivc-integration:prove_wasm folded (mem: 846.38MiB)
12:51:30 [12:51:30.700]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 846.38MiB)
12:51:30 [12:51:30.788]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 846.38MiB)
12:51:30 [12:51:30.789]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 846.38MiB)
12:51:30 [12:51:30.794]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 846.38MiB)
12:51:30 [12:51:30.795]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 846.38MiB)
12:51:30 [12:51:30.795]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 846.38MiB)
12:51:30 [12:51:30.795]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 846.38MiB)
12:51:30 [12:51:30.796]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.38MiB)
12:51:30 [12:51:30.796]
INFO:
ivc-integration:prove_wasm arithmetic : 6440/56000 (mem: 846.38MiB)
12:51:30 [12:51:30.796]
INFO:
ivc-integration:prove_wasm delta range : 2323/18000 (mem: 846.38MiB)
12:51:30 [12:51:30.796]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 846.38MiB)
12:51:30 [12:51:30.796]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 846.38MiB)
12:51:30 [12:51:30.797]
INFO:
ivc-integration:prove_wasm poseidon ext : 2042/17000 (mem: 846.38MiB)
12:51:30 [12:51:30.797]
INFO:
ivc-integration:prove_wasm poseidon int : 11630/92000 (mem: 846.38MiB)
12:51:30 [12:51:30.797]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 846.38MiB)
12:51:30 [12:51:30.797]
INFO:
ivc-integration:prove_wasm (mem: 846.38MiB)
12:51:30 [12:51:30.798]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 846.38MiB)
12:51:30 [12:51:30.798]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 846.38MiB)
12:51:30 [12:51:30.804]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 846.38MiB)
12:51:30 [12:51:30.827]
INFO:
ivc-integration:prove_wasm time to construct proving key: 39 ms. (mem: 846.38MiB)
12:51:30 [12:51:30.888]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 846.38MiB)
12:51:31 [12:51:31.430]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 784.16 MiB)
12:51:32 [12:51:32.290]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 846.38MiB)
12:51:32 [12:51:32.440]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 784.16 MiB)
12:51:32 [12:51:32.676]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 846.38MiB)
12:51:32 [12:51:32.815]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 854.75MiB)
12:51:32 [12:51:32.964]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 854.75MiB)
12:51:33 [12:51:33.194]
INFO:
ivc-integration:prove_wasm folded (mem: 854.75MiB)
12:51:33 [12:51:33.195]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 854.75MiB)
12:51:33 [12:51:33.195]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 5875 (mem: 854.75MiB)
12:51:33 [12:51:33.195]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 854.75MiB)
12:51:33 [12:51:33.195]
INFO:
ivc-integration:prove_wasm Largest circuit: 22492 gates. Trace details: (mem: 854.75MiB)
12:51:33 [12:51:33.196]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 854.75MiB)
12:51:33 [12:51:33.196]
INFO:
ivc-integration:prove_wasm ecc_op : 392
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.196]
INFO:
ivc-integration:prove_wasm busread : 12
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.196]
INFO:
ivc-integration:prove_wasm lookup : 2
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.196]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.197]
INFO:
ivc-integration:prove_wasm arithmetic : 6440
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.197]
INFO:
ivc-integration:prove_wasm delta_range : 2323
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.197]
INFO:
ivc-integration:prove_wasm elliptic : 2
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.197]
INFO:
ivc-integration:prove_wasm aux : 110
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.197]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2042
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.204]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 11630
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.204]
INFO:
ivc-integration:prove_wasm overflow : 0
12:51:33 (mem: 854.75MiB)
12:51:33 [12:51:33.205]
INFO:
ivc-integration:prove_wasm (mem: 854.75MiB)
12:51:33 [12:51:33.205]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 854.75MiB)
12:51:33 [12:51:33.206]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 854.75MiB)
12:51:33 [12:51:33.312]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
12:51:33 [12:51:33.507]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 854.75MiB)
12:51:34 [12:51:34.104]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 854.75MiB)
12:51:34 [12:51:34.161]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 784.16 MiB)
12:51:34 prove translator... (mem: 784.16 MiB)
12:51:34 [12:51:34.249]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 854.75MiB)
12:51:34 [12:51:34.393]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 854.75MiB)
12:51:34 [12:51:34.395]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 854.75MiB)
12:51:34 [12:51:34.407]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 854.75MiB)
12:51:34 [12:51:34.453]
INFO:
ivc-integration:prove_wasm time to construct proving key: 59 ms. (mem: 854.75MiB)
12:51:35 [12:51:35.011]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 784.16 MiB)
12:51:35 [12:51:35.500]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 784.16 MiB)
12:51:35 [12:51:35.592]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 854.75MiB)
12:51:35 [12:51:35.661]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
12:51:35 [12:51:35.801]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 854.75MiB)
12:51:36 [12:51:36.340]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 801.65 MiB)
12:51:36 [12:51:36.341]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 801.65 MiB)
12:51:36 [12:51:36.355]
INFO:
ivc-integration:test:wasm bb - Mega verified: 1 (mem: 801.65 MiB)
12:51:36 [12:51:36.443]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 854.75MiB)
12:51:36 [12:51:36.453]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 801.65 MiB)
12:51:36 batch opening verified?: 1 (mem: 801.65 MiB)
12:51:36 eccvm consistency check verified?: 1 (mem: 801.65 MiB)
12:51:36 translation masking consistency checked?: 1 (mem: 801.65 MiB)
12:51:36 [12:51:36.474]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 801.65 MiB)
12:51:36 eccvm verified?: 1 (mem: 801.65 MiB)
12:51:36 accumulator construction_verified?: 1 (mem: 801.65 MiB)
12:51:36 translation verified?: 1 (mem: 801.65 MiB)
12:51:36 consistency verified?: 1 (mem: 801.65 MiB)
12:51:36 Goblin verified: 1 (mem: 801.65 MiB)
12:51:36 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-0Ee5UW" (mem: 801.65 MiB)
12:51:36 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-0Ee5UW" (mem: 801.65 MiB)
12:51:36 num_public_inputs_in_final_circuit: 4 (mem: 801.65 MiB)
12:51:36 BN254 commitment key size: 262144 (mem: 801.65 MiB)
12:51:36 [12:51:36.475]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey
12:51:36 [12:51:36.475]
INFO:
ivc-integration:test:wasm bb - (mem: 801.65 MiB)
12:51:36 [12:51:36.477]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 801.65 MiB)
12:51:36 goblin ecc op : 4/1024 (mem: 801.65 MiB)
12:51:36 [12:51:36.477]
INFO:
ivc-integration:test:wasm bb - busread : 3/6000 (mem: 801.65 MiB)
12:51:36 lookups : 2/15000 (mem: 801.65 MiB)
12:51:36 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 801.65 MiB)
12:51:36 arithmetic : 1773/56000 (mem: 801.65 MiB)
12:51:36 delta range : 1754/18000 (mem: 801.65 MiB)
12:51:36 elliptic : 2/6000 (mem: 801.65 MiB)
12:51:36 auxiliary : 26/26000 (mem: 801.65 MiB)
12:51:36 poseidon ext : 2/17000 (mem: 801.65 MiB)
12:51:36 poseidon int : 2/92000 (mem: 801.65 MiB)
12:51:36 overflow : 0/0 (mem: 801.65 MiB)
12:51:36 (mem: 801.65 MiB)
12:51:36 Total structured size: 242025 (mem: 801.65 MiB)
12:51:36 allocating polynomials object in proving key... (mem: 801.65 MiB)
12:51:36 [12:51:36.506]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 854.75MiB)
12:51:36 [12:51:36.549]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 801.65 MiB)
12:51:36 [12:51:36.555]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 79 ms. (mem: 801.65 MiB)
12:51:36 [12:51:36.563]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 801.65 MiB)
12:51:36 [12:51:36.570]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 854.75MiB)
12:51:36 [12:51:36.571]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 854.75MiB)
12:51:37 [12:51:37.004]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 801.65 MiB)
12:51:37 [12:51:37.094]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 801.65 MiB)
12:51:37 [12:51:37.103]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 801.65 MiB)
12:51:37 [12:51:37.105]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 801.65 MiB)
12:51:37 goblin ecc op : 56/1024 (mem: 801.65 MiB)
12:51:37 [12:51:37.106]
INFO:
ivc-integration:test:wasm bb -
12:51:37 busread : 3/6000 (mem: 801.65 MiB)
12:51:37 lookups : 2/15000 (mem: 801.65 MiB)
12:51:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 801.65 MiB)
12:51:37 arithmetic : 4072/56000 (mem: 801.65 MiB)
12:51:37 delta range : 2030/18000 (mem: 801.65 MiB)
12:51:37 elliptic : 2/6000 (mem: 801.65 MiB)
12:51:37 auxiliary : 50/26000 (mem: 801.65 MiB)
12:51:37 poseidon ext : 882/17000 (mem: 801.65 MiB)
12:51:37 poseidon int : 5018/92000 (mem: 801.65 MiB)
12:51:37 overflow : 0/0 (mem: 801.65 MiB)
12:51:37 (mem: 801.65 MiB)
12:51:37 Total structured size: 242025 (mem: 801.65 MiB)
12:51:37 allocating polynomials object in proving key... (mem: 801.65 MiB)
12:51:37 [12:51:37.132]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 886.38 MiB)
12:51:37 [12:51:37.138]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 34 ms. (mem: 886.38 MiB)
12:51:37 [12:51:37.153]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 886.38 MiB)
12:51:37 [12:51:37.589]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem:
12:51:37 [12:51:37.590]
INFO:
ivc-integration:test:wasm bb - 886.38 MiB)
12:51:37 [12:51:37.854]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 894.88 MiB)
12:51:37 [12:51:37.908]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 894.88 MiB)
12:51:37 [12:51:37.949]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 926.88 MiB)
12:51:38 [12:51:38.082]
INFO:
ivc-integration:test:wasm bb - folded (mem: 926.88 MiB)
12:51:38 constructed folding proof (mem: 926.88 MiB)
12:51:38 [12:51:38.091]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 12059 gates. Trace details: (mem: 926.88 MiB)
12:51:38 Minimum required block sizes for structured trace: (mem: 926.88 MiB)
12:51:38 (mem: 926.88 MiB)
12:51:38 prove decider... (mem: 926.88 MiB)
12:51:38 finished decider proving. (mem: 926.88 MiB)
12:51:38 [12:51:38.092]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
12:51:38 busread : 3
12:51:38 lookup : 2
12:51:38 pub_inputs : 36
12:51:38 arithmetic : 4072
12:51:38 delta_range : 2030
12:51:38 elliptic : 2
12:51:38 aux : 50
12:51:38 poseidon2_external : 882
12:51:38 poseidon2_internal : 5018
12:51:38 overflow : 0
12:51:38 [12:51:38.145]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 926.88 MiB)
12:51:38 [12:51:38.219]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 926.88 MiB)
12:51:38 [12:51:38.585]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
12:51:38 [12:51:38.614]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 926.88 MiB)
12:51:38 [12:51:38.682]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 926.88 MiB)
12:51:38 [12:51:38.749]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 926.88 MiB)
12:51:38 [12:51:38.751]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 926.88 MiB)
12:51:38 [12:51:38.784]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 926.88 MiB)
12:51:38 [12:51:38.804]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 54 ms. (mem: 926.88 MiB)
12:51:39 [12:51:39.862]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 854.75MiB)
12:51:41 [12:51:41.679]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 854.75MiB)
12:51:41 [12:51:41.679]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 854.75MiB)
12:51:43 [12:51:43.886]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
12:51:45 [12:51:45.286]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 854.75MiB)
12:51:47 [12:51:47.326]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 946.75MiB)
12:51:47 [12:51:47.326]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 946.75MiB)
12:51:47 [12:51:47.327]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 20005 (mem: 946.75MiB)
12:51:47 [12:51:47.353]
INFO:
ivc-integration:prove_wasm time to serialize proof: 26 (mem: 946.75MiB)
12:51:47 [12:51:47.354]
INFO:
ivc-integration:prove_wasm time to serialize vk: 4 (mem: 946.75MiB)
12:51:47 [12:51:47.408]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 946.75MiB)
12:51:47 [12:51:47.556]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 946.75MiB)
12:51:47 [12:51:47.557]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 946.75MiB)
12:51:47 [12:51:47.557]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 946.75MiB)
12:51:47 [12:51:47.557]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 946.75MiB)
12:51:47 [12:51:47.611]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 946.75MiB)
12:51:47 [12:51:47.614]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 946.75MiB)
12:51:47 [12:51:47.614]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 946.75MiB)
12:51:47 [12:51:47.615]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 946.75MiB)
12:51:47 [12:51:47.615]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 946.75MiB)
12:51:47 [12:51:47.615]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 946.75MiB)
12:51:48 [12:51:48.600]
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-0Ee5UW/proof -k /tmp/bb-client-ivc-integration-0Ee5UW/vk -v
12:51:48 [12:51:48.628]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 818.61 MiB)
12:51:48 Scheme is: client_ivc, num threads: 64 (mem: 818.61 MiB)
12:51:48 --proof_path: /tmp/bb-client-ivc-integration-0Ee5UW/proof (mem: 818.61 MiB)
12:51:48 --vk_path: /tmp/bb-client-ivc-integration-0Ee5UW/vk (mem: 818.61 MiB)
12:51:48 --verbose: true (mem: 818.61 MiB)
12:51:48 --scheme: client_ivc (mem: 818.61 MiB)
12:51:48 [12:51:48.654]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 818.61 MiB)
12:51:48 [12:51:48.669]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 818.61 MiB)
12:51:48 [12:51:48.686]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 818.61 MiB)
12:51:48 [12:51:48.687]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 513 (mem: 818.61 MiB)
12:51:48 [12:51:48.687]
INFO:
ivc-integration:test:wasm Mega verified: 1 (mem: 818.61 MiB)
12:51:48 [12:51:48.736]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 818.61 MiB)
12:51:48 batch opening verified?: 1 (mem: 818.61 MiB)
12:51:48 eccvm consistency check verified?: 1 (mem: 818.61 MiB)
12:51:48 translation masking consistency checked?: 1 (mem: 818.61 MiB)
12:51:48 [12:51:48.754]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 818.61 MiB)
12:51:48 eccvm verified?: 1 (mem: 818.61 MiB)
12:51:48 accumulator construction_verified?: 1 (mem: 818.61 MiB)
12:51:48 translation verified?: 1 (mem: 818.61 MiB)
12:51:48 consistency verified?: 1 (mem: 818.61 MiB)
12:51:48 [12:51:48.755]
INFO:
ivc-integration:test:wasm Goblin verified: 1 (mem: 818.61 MiB)
12:51:48 [12:51:48.757]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 818.61 MiB)
12:51:48 [12:51:48.778]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
12:51:48 [12:51:48.909]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 11969535 bytes
12:51:48 [12:51:48.964]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
12:51:49 [12:51:49.185]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
12:51:49 [12:51:49.205]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
12:51:49 [12:51:49.205]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
12:51:49 [12:51:49.839]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
12:51:49 [12:51:49.889]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
12:51:49 [12:51:49.893]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
12:51:49 [12:51:49.947]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
12:51:49 [12:51:49.982]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
12:51:50 [12:51:50.070]
INFO:
ivc-integration:test:wasm WARNING: goblin_element::assert_equal value check failed! (mem: 354.06MiB)
12:51:50 [12:51:50.070]
INFO:
ivc-integration:test:wasm WARNING: goblin_element::assert_equal value check failed! (mem: 354.06MiB)
12:51:50 [12:51:50.194]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":12294,"2":22492}
12:51:50 [12:51:50.252]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
12:51:50 [12:51:50.352]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 11969535 bytes
12:51:50 [12:51:50.376]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
12:51:50 [12:51:50.773]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
12:51:50 [12:51:50.781]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
12:51:51 [12:51:51.506]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
12:51:51 [12:51:51.506]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
12:51:52 [12:51:52.094]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
12:51:52 [12:51:52.131]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
12:51:52 [12:51:52.150]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
12:51:52 [12:51:52.155]
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.13MiB)
12:51:52 [12:51:52.162]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.13MiB)
12:51:52 [12:51:52.162]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.13MiB)
12:51:52 [12:51:52.179]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.13MiB)
12:51:52 [12:51:52.179]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.13MiB)
12:51:52 [12:51:52.179]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.13MiB)
12:51:52 [12:51:52.180]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.13MiB)
12:51:52 [12:51:52.180]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.13MiB)
12:51:52 [12:51:52.180]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.13MiB)
12:51:52 [12:51:52.180]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.13MiB)
12:51:52 [12:51:52.181]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.13MiB)
12:51:52 [12:51:52.181]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.13MiB)
12:51:52 [12:51:52.181]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.13MiB)
12:51:52 [12:51:52.181]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.13MiB)
12:51:52 [12:51:52.181]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.13MiB)
12:51:52 [12:51:52.182]
INFO:
ivc-integration:prove_wasm (mem: 354.13MiB)
12:51:52 [12:51:52.182]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.13MiB)
12:51:52 [12:51:52.182]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.13MiB)
12:51:52 [12:51:52.210]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.88MiB)
12:51:52 [12:51:52.223]
INFO:
ivc-integration:prove_wasm time to construct proving key: 60 ms. (mem: 581.88MiB)
12:51:52 [12:51:52.239]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.88MiB)
12:51:53 [12:51:53.181]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.88MiB)
12:51:53 [12:51:53.521]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.88MiB)
12:51:53 [12:51:53.557]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.88MiB)
12:51:53 [12:51:53.558]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.88MiB)
12:51:53 [12:51:53.564]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.88MiB)
12:51:53 [12:51:53.565]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.88MiB)
12:51:53 [12:51:53.568]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.88MiB)
12:51:53 [12:51:53.568]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.88MiB)
12:51:53 [12:51:53.569]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.88MiB)
12:51:53 [12:51:53.569]
INFO:
ivc-integration:prove_wasm arithmetic : 4225/56000 (mem: 581.88MiB)
12:51:53 [12:51:53.570]
INFO:
ivc-integration:prove_wasm delta range : 2043/18000 (mem: 581.88MiB)
12:51:53 [12:51:53.570]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.88MiB)
12:51:53 [12:51:53.571]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.88MiB)
12:51:53 [12:51:53.571]
INFO:
ivc-integration:prove_wasm poseidon ext : 882/17000 (mem: 581.88MiB)
12:51:53 [12:51:53.575]
INFO:
ivc-integration:prove_wasm poseidon int : 5018/92000 (mem: 581.88MiB)
12:51:53 [12:51:53.575]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.88MiB)
12:51:53 [12:51:53.575]
INFO:
ivc-integration:prove_wasm (mem: 581.88MiB)
12:51:53 [12:51:53.575]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.88MiB)
12:51:53 [12:51:53.576]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.88MiB)
12:51:53 [12:51:53.648]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 804.25MiB)
12:51:53 [12:51:53.665]
INFO:
ivc-integration:prove_wasm time to construct proving key: 106 ms. (mem: 819.06MiB)
12:51:53 [12:51:53.682]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 819.06MiB)
12:51:54 [12:51:54.291]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 819.06MiB)
12:51:54 [12:51:54.490]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 819.06MiB)
12:51:54 [12:51:54.669]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 846.88MiB)
12:51:54 [12:51:54.819]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 846.88MiB)
12:51:54 [12:51:54.996]
INFO:
ivc-integration:prove_wasm folded (mem: 846.88MiB)
12:51:54 [12:51:54.997]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 846.88MiB)
12:51:54 [12:51:54.999]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 846.88MiB)
12:51:54 [12:51:55.000]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 846.88MiB)
12:51:55 [12:51:55.003]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 846.88MiB)
12:51:55 [12:51:55.003]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 846.88MiB)
12:51:55 [12:51:55.003]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 846.88MiB)
12:51:55 [12:51:55.004]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 846.88MiB)
12:51:55 [12:51:55.004]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 846.88MiB)
12:51:55 [12:51:55.004]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 846.88MiB)
12:51:55 [12:51:55.004]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 846.88MiB)
12:51:55 [12:51:55.005]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 846.88MiB)
12:51:55 [12:51:55.005]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 846.88MiB)
12:51:55 [12:51:55.005]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 846.88MiB)
12:51:55 [12:51:55.005]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 846.88MiB)
12:51:55 [12:51:55.006]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 846.88MiB)
12:51:55 [12:51:55.006]
INFO:
ivc-integration:prove_wasm (mem: 846.88MiB)
12:51:55 [12:51:55.006]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 846.88MiB)
12:51:55 [12:51:55.006]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 846.88MiB)
12:51:55 [12:51:55.015]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 846.88MiB)
12:51:55 [12:51:55.020]
INFO:
ivc-integration:prove_wasm time to construct proving key: 21 ms. (mem: 846.88MiB)
12:51:55 [12:51:55.031]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 846.88MiB)
12:51:55 [12:51:55.827]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 846.88MiB)
12:51:55 [12:51:55.949]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 846.88MiB)
12:51:56 [12:51:56.051]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 846.88MiB)
12:51:56 [12:51:56.188]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 846.88MiB)
12:51:56 [12:51:56.375]
INFO:
ivc-integration:prove_wasm folded (mem: 846.88MiB)
12:51:56 [12:51:56.375]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 846.88MiB)
12:51:56 [12:51:56.553]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 846.88MiB)
12:51:56 [12:51:56.553]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 846.88MiB)
12:51:56 [12:51:56.560]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 846.88MiB)
12:51:56 [12:51:56.560]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 846.88MiB)
12:51:56 [12:51:56.560]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 846.88MiB)
12:51:56 [12:51:56.561]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 846.88MiB)
12:51:56 [12:51:56.561]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 846.88MiB)
12:51:56 [12:51:56.561]
INFO:
ivc-integration:prove_wasm arithmetic : 11272/56000 (mem: 846.88MiB)
12:51:56 [12:51:56.561]
INFO:
ivc-integration:prove_wasm delta range : 2922/18000 (mem: 846.88MiB)
12:51:56 [12:51:56.562]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 846.88MiB)
12:51:56 [12:51:56.562]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 846.88MiB)
12:51:56 [12:51:56.562]
INFO:
ivc-integration:prove_wasm poseidon ext : 4092/17000 (mem: 846.88MiB)
12:51:56 [12:51:56.562]
INFO:
ivc-integration:prove_wasm poseidon int : 23315/92000 (mem: 846.88MiB)
12:51:56 [12:51:56.563]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 846.88MiB)
12:51:56 [12:51:56.563]
INFO:
ivc-integration:prove_wasm (mem: 846.88MiB)
12:51:56 [12:51:56.563]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 846.88MiB)
12:51:56 [12:51:56.563]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 846.88MiB)
12:51:56 [12:51:56.572]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 846.88MiB)
12:51:56 [12:51:56.599]
INFO:
ivc-integration:prove_wasm time to construct proving key: 46 ms. (mem: 848.88MiB)
12:51:56 [12:51:56.682]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.88MiB)
12:51:57 [12:51:57.560]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.88MiB)
12:51:57 [12:51:57.966]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.88MiB)
12:51:58 [12:51:58.119]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 873.69MiB)
12:51:58 [12:51:58.265]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 905.25MiB)
12:51:58 [12:51:58.357]
INFO:
ivc-integration:prove_wasm folded (mem: 905.25MiB)
12:51:58 [12:51:58.357]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 905.25MiB)
12:51:58 [12:51:58.440]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 905.25MiB)
12:51:58 [12:51:58.440]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 905.25MiB)
12:51:58 [12:51:58.444]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 905.25MiB)
12:51:58 [12:51:58.445]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 905.25MiB)
12:51:58 [12:51:58.445]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 905.25MiB)
12:51:58 [12:51:58.445]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 905.25MiB)
12:51:58 [12:51:58.446]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 905.25MiB)
12:51:58 [12:51:58.446]
INFO:
ivc-integration:prove_wasm arithmetic : 6505/56000 (mem: 905.25MiB)
12:51:58 [12:51:58.446]
INFO:
ivc-integration:prove_wasm delta range : 2337/18000 (mem: 905.25MiB)
12:51:58 [12:51:58.446]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 905.25MiB)
12:51:58 [12:51:58.447]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 905.25MiB)
12:51:58 [12:51:58.447]
INFO:
ivc-integration:prove_wasm poseidon ext : 2042/17000 (mem: 905.25MiB)
12:51:58 [12:51:58.447]
INFO:
ivc-integration:prove_wasm poseidon int : 11630/92000 (mem: 905.25MiB)
12:51:58 [12:51:58.447]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 905.25MiB)
12:51:58 [12:51:58.447]
INFO:
ivc-integration:prove_wasm (mem: 905.25MiB)
12:51:58 [12:51:58.448]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 905.25MiB)
12:51:58 [12:51:58.448]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 905.25MiB)
12:51:58 [12:51:58.455]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 905.25MiB)
12:51:58 [12:51:58.470]
INFO:
ivc-integration:prove_wasm time to construct proving key: 30 ms. (mem: 905.25MiB)
12:51:58 [12:51:58.511]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 905.25MiB)
12:51:59 [12:51:59.073]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 905.25MiB)
12:51:59 [12:51:59.270]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 905.25MiB)
12:51:59 [12:51:59.401]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 905.25MiB)
12:51:59 [12:51:59.579]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 905.25MiB)
12:51:59 [12:51:59.672]
INFO:
ivc-integration:prove_wasm folded (mem: 905.25MiB)
12:51:59 [12:51:59.673]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 905.25MiB)
12:51:59 [12:51:59.755]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 905.25MiB)
12:51:59 [12:51:59.756]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 905.25MiB)
12:51:59 [12:51:59.759]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 905.25MiB)
12:51:59 [12:51:59.760]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 905.25MiB)
12:51:59 [12:51:59.760]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 905.25MiB)
12:51:59 [12:51:59.760]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 905.25MiB)
12:51:59 [12:51:59.761]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 905.25MiB)
12:51:59 [12:51:59.761]
INFO:
ivc-integration:prove_wasm arithmetic : 6440/56000 (mem: 905.25MiB)
12:51:59 [12:51:59.761]
INFO:
ivc-integration:prove_wasm delta range : 2323/18000 (mem: 905.25MiB)
12:51:59 [12:51:59.761]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 905.25MiB)
12:51:59 [12:51:59.762]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 905.25MiB)
12:51:59 [12:51:59.762]
INFO:
ivc-integration:prove_wasm poseidon ext : 2042/17000 (mem: 905.25MiB)
12:51:59 [12:51:59.762]
INFO:
ivc-integration:prove_wasm poseidon int : 11630/92000 (mem: 905.25MiB)
12:51:59 [12:51:59.762]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 905.25MiB)
12:51:59 [12:51:59.762]
INFO:
ivc-integration:prove_wasm (mem: 905.25MiB)
12:51:59 [12:51:59.763]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 905.25MiB)
12:51:59 [12:51:59.763]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 905.25MiB)
12:51:59 [12:51:59.772]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 905.25MiB)
12:51:59 [12:51:59.787]
INFO:
ivc-integration:prove_wasm time to construct proving key: 31 ms. (mem: 905.25MiB)
12:51:59 [12:51:59.830]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 905.25MiB)
12:52:00 [12:52:00.382]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 905.25MiB)
12:52:00 [12:52:00.573]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 905.25MiB)
12:52:00 [12:52:00.765]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 905.25MiB)
12:52:00 [12:52:00.896]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 905.25MiB)
12:52:00 [12:52:00.986]
INFO:
ivc-integration:prove_wasm folded (mem: 905.25MiB)
12:52:00 [12:52:00.987]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 905.25MiB)
12:52:00 [12:52:00.987]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 8853 (mem: 905.25MiB)
12:52:00 [12:52:00.987]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 905.25MiB)
12:52:00 [12:52:00.988]
INFO:
ivc-integration:prove_wasm Largest circuit: 41967 gates. Trace details: (mem: 905.25MiB)
12:52:00 [12:52:00.988]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 905.25MiB)
12:52:00 [12:52:00.988]
INFO:
ivc-integration:prove_wasm ecc_op : 792
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.988]
INFO:
ivc-integration:prove_wasm busread : 16
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.988]
INFO:
ivc-integration:prove_wasm lookup : 2
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.989]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.989]
INFO:
ivc-integration:prove_wasm arithmetic : 11272
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.989]
INFO:
ivc-integration:prove_wasm delta_range : 2922
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.989]
INFO:
ivc-integration:prove_wasm elliptic : 2
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.990]
INFO:
ivc-integration:prove_wasm aux : 350
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.990]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4092
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.990]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 23315
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.990]
INFO:
ivc-integration:prove_wasm overflow : 0
12:52:00 (mem: 905.25MiB)
12:52:00 [12:52:00.991]
INFO:
ivc-integration:prove_wasm (mem: 905.25MiB)
12:52:00 [12:52:00.991]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 905.25MiB)
12:52:00 [12:52:00.991]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 905.25MiB)
12:52:01 [12:52:01.075]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
12:52:01 [12:52:01.239]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 905.25MiB)
12:52:01 [12:52:01.720]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 905.25MiB)
12:52:01 [12:52:01.872]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 905.25MiB)
12:52:02 [12:52:02.011]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 905.25MiB)
12:52:02 [12:52:02.016]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 905.25MiB)
12:52:02 [12:52:02.028]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 905.25MiB)
12:52:02 [12:52:02.059]
INFO:
ivc-integration:prove_wasm time to construct proving key: 47 ms. (mem: 905.25MiB)
12:52:02 [12:52:02.750]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 905.25MiB)
12:52:02 [12:52:02.813]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
12:52:02 [12:52:02.925]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 905.25MiB)
12:52:03 [12:52:03.336]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 905.25MiB)
12:52:03 [12:52:03.399]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 905.25MiB)
12:52:03 [12:52:03.455]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 905.25MiB)
12:52:03 [12:52:03.456]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 905.25MiB)
12:52:05 [12:52:05.921]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
12:52:08 [12:52:08.761]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 905.25MiB)
12:52:12 [12:52:12.842]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 905.25MiB)
12:52:12 [12:52:12.843]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 905.25MiB)
12:52:15 [12:52:15.304]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
12:52:16 [12:52:16.667]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 905.25MiB)
12:52:18 [12:52:18.165]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 956.75MiB)
12:52:18 [12:52:18.166]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 956.75MiB)
12:52:18 [12:52:18.166]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 26032 (mem: 956.75MiB)
12:52:18 [12:52:18.188]
INFO:
ivc-integration:prove_wasm time to serialize proof: 19 (mem: 956.75MiB)
12:52:18 [12:52:18.189]
INFO:
ivc-integration:prove_wasm time to serialize vk: 2 (mem: 956.75MiB)
12:52:18 [12:52:18.254]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.447]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.447]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.448]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.448]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.513]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.514]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.514]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.515]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.515]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.515]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.553]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.691]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.691]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.691]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.692]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.732]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.732]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.733]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.733]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.733]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 956.75MiB)
12:52:18 [12:52:18.733]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 956.75MiB)
12:52:19 [12:52:19.375]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
12:52:19
PASS src/wasm_client_ivc_integration.test.ts (
56.184 s)
12:52:19 Client IVC Integration
12:52:19
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (23574 ms)
12:52:19
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1422 ms)
12:52:19
✓ Should generate a verifiable client IVC proof from a complex mock tx (29182 ms)
12:52:19
12:52:19
Test Suites: 1 passed, 1 total
12:52:19
Tests: 3 passed, 3 total
12:52:19
Snapshots: 0 total
12:52:19
Time: 56.248 s
12:52:19
Ran all test suites matching /ivc-integration\/src\/wasm_client_ivc_integration.test.ts/i
.
12:52:19
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?