Parent Log:
http://ci.aztec-labs.com/211a9fb93ab8be76
Command: 26102936e69ab88b: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/b1b65bcdbd44a49fbebe5d2265256dc9466e92be
Env: REF_NAME=gh-readonly-queue/master/pr-15044-267ac35e8ccb487bdc79bbe12d428f4c8b4d4d9f CURRENT_VERSION=0.87.8 CI_FULL=1
Date: Fri Jun 13 16:19:45 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15044_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_master
16:19:48 [16:19:48.981]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
16:19:48 [16:19:48.988]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-3O6qty/ivc-inputs.msgpack
16:19:48 [16:19:48.990]
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-3O6qty --ivc_inputs_path /tmp/bb-client-ivc-integration-3O6qty/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:19:49 [16:19:49.007]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem:
16:19:49 [16:19:49.007]
INFO:
ivc-integration:test:wasm bb - 140.90 MiB)
16:19:49 Scheme is: client_ivc, num threads: 128 (mem: 140.90 MiB)
16:19:49 --scheme: client_ivc (mem: 140.90 MiB)
16:19:49 --output_path: /tmp/bb-client-ivc-integration-3O6qty (mem: 140.90 MiB)
16:19:49 --ivc_inputs_path: /tmp/bb-client-ivc-integration-3O6qty/ivc-inputs.msgpack (mem: 140.90 MiB)
16:19:49 --verbose: true (mem: 140.90 MiB)
16:19:49 --write_vk: true (mem: 140.90 MiB)
16:19:49 [16:19:49.008]
INFO:
ivc-integration:test:wasm bb - BN254 commitment key size: 262144 (mem: 140.90 MiB)
16:19:49 [16:19:49.148]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 11969535 bytes
16:19:49 [16:19:49.164]
INFO:
ivc-integration:test:wasm bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.00 MiB)
16:19:49 [16:19:49.171]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 297.35 MiB)
16:19:49 [16:19:49.175]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 297.35 MiB)
16:19:49 [16:19:49.176]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 297.35 MiB)
16:19:49 [16:19:49.182]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.35 MiB)
16:19:49 goblin ecc op : 4/1024 (mem: 297.35 MiB)
16:19:49 busread : 7/6000 (mem: 297.35 MiB)
16:19:49 lookups : 2/15000 (mem: 297.35 MiB)
16:19:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.35 MiB)
16:19:49 arithmetic : 1760/56000 (mem: 297.35 MiB)
16:19:49 delta range : 1754/18000 (mem: 297.35 MiB)
16:19:49 elliptic : 2/6000 (mem: 297.35 MiB)
16:19:49 auxiliary : 26/26000 (mem: 297.35 MiB)
16:19:49 poseidon ext : 2/17000 (mem: 297.35 MiB)
16:19:49 poseidon int : 2/92000 (mem: 297.35 MiB)
16:19:49 overflow : 0/0 (mem: 297.35 MiB)
16:19:49 (mem: 297.35 MiB)
16:19:49 Total structured size: 242025 (mem: 297.35 MiB)
16:19:49 allocating polynomials object in proving key... (mem: 297.35 MiB)
16:19:49 [16:19:49.186]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
16:19:49 [16:19:49.270]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 503.50 MiB)
16:19:49 [16:19:49.283]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 106 ms. (mem: 511.50 MiB)
16:19:49 [16:19:49.321]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x57185852c800 (mem: 511.50 MiB)
16:19:49 computing oink proof... (mem: 511.50 MiB)
16:19:49 [16:19:49.468]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 511.50 MiB)
16:19:49 [16:19:49.501]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 512.50 MiB)
16:19:49 Constructing DeciderProvingKey (mem: 512.50 MiB)
16:19:49 [16:19:49.503]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 512.50 MiB)
16:19:49 goblin ecc op : 56/1024 (mem:
16:19:49 [16:19:49.503]
INFO:
ivc-integration:test:wasm bb - 512.50 MiB)
16:19:49 busread : 12/6000 (mem: 512.50 MiB)
16:19:49 lookups : 2/15000 (mem: 512.50 MiB)
16:19:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 512.50 MiB)
16:19:49 arithmetic : 4225/56000 (mem: 512.50 MiB)
16:19:49 delta range : 2043/18000 (mem: 512.50 MiB)
16:19:49 elliptic : 2/6000 (mem: 512.50 MiB)
16:19:49 auxiliary : 110/26000 (mem: 512.50 MiB)
16:19:49 poseidon ext : 882/17000 (mem: 512.50 MiB)
16:19:49 poseidon int : 5018/92000 (mem: 512.50 MiB)
16:19:49 overflow : 0/0 (mem: 512.50 MiB)
16:19:49 (mem: 512.50 MiB)
16:19:49 Total structured size: 242025 (mem: 512.50 MiB)
16:19:49 allocating polynomials object in proving key... (mem: 512.50 MiB)
16:19:49 [16:19:49.544]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
16:19:49 [16:19:49.560]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
16:19:49 [16:19:49.596]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 732.50 MiB)
16:19:49 [16:19:49.617]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 117 ms. (mem: 747.50 MiB)
16:19:49 [16:19:49.724]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x57185852b000 (mem: 747.50 MiB)
16:19:49 computing folding proof (mem: 747.50 MiB)
16:19:50 [16:19:50.065]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 747.50 MiB)
16:19:50 [16:19:50.148]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 785.50 MiB)
16:19:50 [16:19:50.199]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 816.50 MiB)
16:19:50 [16:19:50.594]
INFO:
ivc-integration:test:wasm bb - folded (mem: 816.50 MiB)
16:19:50 [16:19:50.595]
INFO:
ivc-integration:test:wasm bb - constructed folding proof (mem: 816.50 MiB)
16:19:50 [16:19:50.667]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 816.50 MiB)
16:19:50 Constructing DeciderProvingKey (mem: 816.50
16:19:50 [16:19:50.668]
INFO:
ivc-integration:test:wasm bb - MiB)
16:19:50 [16:19:50.672]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.50 MiB)
16:19:50 goblin ecc op : 392/1024 (mem: 816.50 MiB)
16:19:50 busread : 3/6000 (mem:
16:19:50 [16:19:50.673]
INFO:
ivc-integration:test:wasm bb - 816.50 MiB)
16:19:50 lookups : 2/15000 (mem: 816.50 MiB)
16:19:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 816.50 MiB)
16:19:50 arithmetic : 6440/56000 (mem: 816.50 MiB)
16:19:50 delta range : 2323/18000 (mem: 816.50 MiB)
16:19:50 elliptic : 2/6000 (mem: 816.50 MiB)
16:19:50 auxiliary : 50/26000 (mem: 816.50 MiB)
16:19:50 poseidon ext : 2042/17000 (mem: 816.50 MiB)
16:19:50 poseidon int : 11630/92000 (mem: 816.50 MiB)
16:19:50 overflow : 0/0 (mem: 816.50 MiB)
16:19:50 (mem: 816.50 MiB)
16:19:50 Total structured size: 242025 (mem: 816.50 MiB)
16:19:50 allocating polynomials object in proving key... (mem: 816.50 MiB)
16:19:50 [16:19:50.701]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
16:19:50 [16:19:50.705]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
16:19:51 [16:19:51.216]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 816.50 MiB)
16:19:51 time to construct proving key: 232 ms. (mem: 816.50 MiB)
16:19:51 getting honk vk... precomputed?: 0x571858530940 (mem: 816.50 MiB)
16:19:51 computing folding proof (mem: 816.50 MiB)
16:19:51 [16:19:51.650]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 816.50 MiB)
16:19:51 [16:19:51.767]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 816.50 MiB)
16:19:51 [16:19:51.814]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 825.62 MiB)
16:19:52 [16:19:52.030]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
16:19:52 [16:19:52.095]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
16:19:52 [16:19:52.113]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
16:19:52 [16:19:52.134]
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)
16:19:52 [16:19:52.150]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.13MiB)
16:19:52 [16:19:52.151]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.13MiB)
16:19:52 [16:19:52.174]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.13MiB)
16:19:52 [16:19:52.176]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.13MiB)
16:19:52 [16:19:52.177]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.13MiB)
16:19:52 [16:19:52.177]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.13MiB)
16:19:52 [16:19:52.178]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.13MiB)
16:19:52 [16:19:52.179]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.13MiB)
16:19:52 [16:19:52.180]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.13MiB)
16:19:52 [16:19:52.180]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.13MiB)
16:19:52 [16:19:52.181]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.13MiB)
16:19:52 [16:19:52.181]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.13MiB)
16:19:52 [16:19:52.181]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.13MiB)
16:19:52 [16:19:52.182]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.13MiB)
16:19:52 [16:19:52.183]
INFO:
ivc-integration:prove_wasm (mem: 354.13MiB)
16:19:52 [16:19:52.183]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.13MiB)
16:19:52 [16:19:52.185]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.13MiB)
16:19:52 [16:19:52.186]
INFO:
ivc-integration:test:wasm bb - folded (mem: 825.62 MiB)
16:19:52 constructed folding proof (mem: 825.62 MiB)
16:19:52 Largest circuit: 22492 gates. Trace details: (mem: 825.62 MiB)
16:19:52 Minimum required block sizes for structured trace: (mem: 825.62 MiB)
16:19:52 (mem: 825.62 MiB)
16:19:52 prove decider... (mem: 825.62 MiB)
16:19:52 finished decider proving. (mem: 825.62 MiB)
16:19:52 [16:19:52.192]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
16:19:52 busread : 12
16:19:52 lookup : 2
16:19:52 pub_inputs : 36
16:19:52 arithmetic : 6440
16:19:52 delta_range : 2323
16:19:52 elliptic : 2
16:19:52 aux : 110
16:19:52 poseidon2_external : 2042
16:19:52 poseidon2_internal : 11630
16:19:52 overflow : 0
16:19:52 [16:19:52.297]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.19MiB)
16:19:52 [16:19:52.332]
INFO:
ivc-integration:prove_wasm time to construct proving key: 184 ms. (mem: 581.44MiB)
16:19:52 [16:19:52.351]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.44MiB)
16:19:52 [16:19:52.390]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 825.62 MiB)
16:19:52 [16:19:52.568]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 825.62 MiB)
16:19:53 [16:19:53.472]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 825.62 MiB)
16:19:53 [16:19:53.543]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 825.62 MiB)
16:19:53 [16:19:53.705]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 825.62 MiB)
16:19:53 [16:19:53.714]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 825.62 MiB)
16:19:53 [16:19:53.862]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 825.62 MiB)
16:19:53 [16:19:53.914]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 208 ms. (mem: 825.62 MiB)
16:19:54 [16:19:54.196]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.44MiB)
16:19:54 [16:19:54.635]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.44MiB)
16:19:54 [16:19:54.684]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.44MiB)
16:19:54 [16:19:54.687]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.44MiB)
16:19:54 [16:19:54.691]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.44MiB)
16:19:54 [16:19:54.693]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.44MiB)
16:19:54 [16:19:54.694]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.44MiB)
16:19:54 [16:19:54.695]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.44MiB)
16:19:54 [16:19:54.695]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.44MiB)
16:19:54 [16:19:54.696]
INFO:
ivc-integration:prove_wasm arithmetic : 4225/56000 (mem: 581.44MiB)
16:19:54 [16:19:54.696]
INFO:
ivc-integration:prove_wasm delta range : 2043/18000 (mem: 581.44MiB)
16:19:54 [16:19:54.697]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.44MiB)
16:19:54 [16:19:54.697]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.44MiB)
16:19:54 [16:19:54.697]
INFO:
ivc-integration:prove_wasm poseidon ext : 882/17000 (mem: 581.44MiB)
16:19:54 [16:19:54.698]
INFO:
ivc-integration:prove_wasm poseidon int : 5018/92000 (mem: 581.44MiB)
16:19:54 [16:19:54.698]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.44MiB)
16:19:54 [16:19:54.698]
INFO:
ivc-integration:prove_wasm (mem: 581.44MiB)
16:19:54 [16:19:54.699]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.44MiB)
16:19:54 [16:19:54.699]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.44MiB)
16:19:54 [16:19:54.802]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 803.63MiB)
16:19:54 [16:19:54.846]
INFO:
ivc-integration:prove_wasm time to construct proving key: 161 ms. (mem: 818.56MiB)
16:19:54 [16:19:54.899]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 818.56MiB)
16:19:55 [16:19:55.019]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 825.62 MiB)
16:19:55 [16:19:55.460]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 825.62 MiB)
16:19:56 [16:19:56.571]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 825.62 MiB)
16:19:56 [16:19:56.730]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 818.56MiB)
16:19:57 [16:19:57.208]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 818.56MiB)
16:19:57 [16:19:57.377]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 825.62 MiB)
16:19:57 [16:19:57.423]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 825.62 MiB)
16:19:57 [16:19:57.493]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 846.38MiB)
16:19:57 [16:19:57.608]
INFO:
ivc-integration:test:wasm bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 825.62 MiB)
16:19:57 prove eccvm... (mem: 825.62 MiB)
16:19:57 [16:19:57.928]
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: 825.62 MiB)
16:19:57 [16:19:57.944]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 825.62 MiB)
16:19:58 [16:19:58.510]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 846.38MiB)
16:19:58 [16:19:58.984]
INFO:
ivc-integration:prove_wasm folded (mem: 846.38MiB)
16:19:58 [16:19:58.986]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 846.38MiB)
16:19:59 [16:19:59.124]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 846.38MiB)
16:19:59 [16:19:59.129]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 846.38MiB)
16:19:59 [16:19:59.130]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 846.38MiB)
16:19:59 [16:19:59.130]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 846.38MiB)
16:19:59 [16:19:59.132]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 846.38MiB)
16:19:59 [16:19:59.133]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 846.38MiB)
16:19:59 [16:19:59.134]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.38MiB)
16:19:59 [16:19:59.135]
INFO:
ivc-integration:prove_wasm arithmetic : 6440/56000 (mem: 846.38MiB)
16:19:59 [16:19:59.135]
INFO:
ivc-integration:prove_wasm delta range : 2323/18000 (mem: 846.38MiB)
16:19:59 [16:19:59.136]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 846.38MiB)
16:19:59 [16:19:59.136]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 846.38MiB)
16:19:59 [16:19:59.137]
INFO:
ivc-integration:prove_wasm poseidon ext : 2042/17000 (mem: 846.38MiB)
16:19:59 [16:19:59.137]
INFO:
ivc-integration:prove_wasm poseidon int : 11630/92000 (mem: 846.38MiB)
16:19:59 [16:19:59.138]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 846.38MiB)
16:19:59 [16:19:59.138]
INFO:
ivc-integration:prove_wasm (mem: 846.38MiB)
16:19:59 [16:19:59.139]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 846.38MiB)
16:19:59 [16:19:59.139]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 846.38MiB)
16:19:59 [16:19:59.164]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 846.38MiB)
16:19:59 [16:19:59.206]
INFO:
ivc-integration:prove_wasm time to construct proving key: 70 ms. (mem: 846.38MiB)
16:19:59 [16:19:59.298]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 846.38MiB)
16:19:59 [16:19:59.898]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 825.62 MiB)
16:20:00 [16:20:00.955]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 825.62 MiB)
16:20:01 [16:20:01.065]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 846.38MiB)
16:20:01 [16:20:01.937]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 846.38MiB)
16:20:02 [16:20:02.156]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 854.75MiB)
16:20:02 [16:20:02.476]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 854.75MiB)
16:20:02 [16:20:02.859]
INFO:
ivc-integration:prove_wasm folded (mem: 854.75MiB)
16:20:02 [16:20:02.859]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 854.75MiB)
16:20:02 [16:20:02.860]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 10762 (mem: 854.75MiB)
16:20:02 [16:20:02.860]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 854.75MiB)
16:20:02 [16:20:02.861]
INFO:
ivc-integration:prove_wasm Largest circuit: 22492 gates. Trace details: (mem: 854.75MiB)
16:20:02 [16:20:02.861]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 854.75MiB)
16:20:02 [16:20:02.862]
INFO:
ivc-integration:prove_wasm ecc_op : 392
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.862]
INFO:
ivc-integration:prove_wasm busread : 12
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.863]
INFO:
ivc-integration:prove_wasm lookup : 2
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.863]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.864]
INFO:
ivc-integration:prove_wasm arithmetic : 6440
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.864]
INFO:
ivc-integration:prove_wasm delta_range : 2323
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.864]
INFO:
ivc-integration:prove_wasm elliptic : 2
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.865]
INFO:
ivc-integration:prove_wasm aux : 110
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.865]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2042
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.865]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 11630
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.865]
INFO:
ivc-integration:prove_wasm overflow : 0
16:20:02 (mem: 854.75MiB)
16:20:02 [16:20:02.866]
INFO:
ivc-integration:prove_wasm (mem: 854.75MiB)
16:20:02 [16:20:02.866]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 854.75MiB)
16:20:02 [16:20:02.866]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 854.75MiB)
16:20:03 [16:20:03.041]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
16:20:03 [16:20:03.592]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 854.75MiB)
16:20:04 [16:20:04.983]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving.
16:20:04 [16:20:04.985]
INFO:
ivc-integration:test:wasm bb - (mem: 825.62 MiB)
16:20:04 prove translator... (mem: 825.62 MiB)
16:20:05 [16:20:05.071]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 854.75MiB)
16:20:05 [16:20:05.420]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 854.75MiB)
16:20:05 [16:20:05.705]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 854.75MiB)
16:20:05 [16:20:05.714]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 854.75MiB)
16:20:05 [16:20:05.815]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 854.75MiB)
16:20:05 [16:20:05.883]
INFO:
ivc-integration:prove_wasm time to construct proving key: 178 ms. (mem: 854.75MiB)
16:20:06 [16:20:06.612]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
16:20:06 [16:20:06.617]
INFO:
ivc-integration:test:wasm bb - (mem: 825.62 MiB)
16:20:07 [16:20:07.588]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 825.62 MiB)
16:20:07 [16:20:07.946]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 854.75MiB)
16:20:08 [16:20:08.077]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
16:20:08 [16:20:08.278]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 854.75MiB)
16:20:09 [16:20:09.028]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 825.62 MiB)
16:20:09 [16:20:09.030]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 825.62 MiB)
16:20:09 [16:20:09.053]
INFO:
ivc-integration:test:wasm bb - Mega verified: 1
16:20:09 [16:20:09.054]
INFO:
ivc-integration:test:wasm bb - (mem: 825.62 MiB)
16:20:09 [16:20:09.143]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 825.62 MiB)
16:20:09 batch opening verified?: 1 (mem: 825.62 MiB)
16:20:09 eccvm consistency check verified?: 1 (mem: 825.62 MiB)
16:20:09 translation masking consistency checked?: 1 (mem: 825.62 MiB)
16:20:09 [16:20:09.162]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 825.62 MiB)
16:20:09 eccvm verified?: 1 (mem: 825.62 MiB)
16:20:09 accumulator construction_verified?: 1 (mem: 825.62 MiB)
16:20:09 translation verified?: 1 (mem: 825.62 MiB)
16:20:09 consistency verified?: 1 (mem: 825.62
16:20:09 [16:20:09.162]
INFO:
ivc-integration:test:wasm bb - MiB)
16:20:09 Goblin verified: 1 (mem: 825.62 MiB)
16:20:09 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-3O6qty" (mem: 825.62 MiB)
16:20:09 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-3O6qty" (mem: 825.62 MiB)
16:20:09 [16:20:09.163]
INFO:
ivc-integration:test:wasm bb - num_public_inputs_in_final_circuit: 4 (mem: 825.62 MiB)
16:20:09 BN254 commitment key size: 262144 (mem: 825.62 MiB)
16:20:09 [16:20:09.165]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 825.62 MiB)
16:20:09 [16:20:09.169]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 825.62 MiB)
16:20:09 goblin ecc op : 4/1024 (mem: 825.62 MiB)
16:20:09 busread : 3/6000 (mem: 825.62 MiB)
16:20:09 lookups : 2/15000 (mem: 825.62 MiB)
16:20:09 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 825.62 MiB)
16:20:09 arithmetic : 1773/56000 (mem: 825.62 MiB)
16:20:09 delta range : 1754/18000 (mem: 825.62 MiB)
16:20:09 [16:20:09.170]
INFO:
ivc-integration:test:wasm bb - elliptic : 2/6000 (mem: 825.62 MiB)
16:20:09 auxiliary : 26/26000 (mem: 825.62 MiB)
16:20:09 poseidon ext : 2/17000 (mem: 825.62 MiB)
16:20:09 poseidon int : 2/92000 (mem: 825.62 MiB)
16:20:09 overflow : 0/0 (mem: 825.62 MiB)
16:20:09 (mem: 825.62 MiB)
16:20:09 Total structured size: 242025 (mem: 825.62 MiB)
16:20:09 allocating polynomials object in proving key... (mem: 825.62 MiB)
16:20:09 [16:20:09.190]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 854.75MiB)
16:20:09 [16:20:09.318]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 854.75MiB)
16:20:09 [16:20:09.343]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 825.62 MiB)
16:20:09 [16:20:09.362]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 196 ms. (mem: 825.62 MiB)
16:20:09 [16:20:09.439]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 854.75MiB)
16:20:09 [16:20:09.440]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 854.75MiB)
16:20:09 [16:20:09.452]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 825.62 MiB)
16:20:10 [16:20:10.175]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 825.62 MiB)
16:20:10 [16:20:10.391]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 825.62 MiB)
16:20:10 [16:20:10.415]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 825.62 MiB)
16:20:10 [16:20:10.420]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 825.62 MiB)
16:20:10 goblin ecc op : 56/1024 (mem: 825.62 MiB)
16:20:10 busread : 3/6000 (mem: 825.62 MiB)
16:20:10 lookups : 2/15000 (mem: 825.62 MiB)
16:20:10 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 825.62 MiB)
16:20:10 arithmetic : 4072/56000 (mem: 825.62 MiB)
16:20:10 delta range : 2030/18000 (mem: 825.62 MiB)
16:20:10 elliptic : 2/6000 (mem: 825.62 MiB)
16:20:10 auxiliary : 50/26000 (mem: 825.62 MiB)
16:20:10 poseidon ext : 882/17000 (mem: 825.62 MiB)
16:20:10 poseidon int : 5018/92000 (mem: 825.62 MiB)
16:20:10 overflow : 0/0 (mem: 825.62 MiB)
16:20:10 (mem: 825.62 MiB)
16:20:10 Total structured size: 242025 (mem: 825.62 MiB)
16:20:10 allocating polynomials object in proving key... (mem: 825.62 MiB)
16:20:10 [16:20:10.636]
INFO:
ivc-integration:test:wasm bb - populating trace...
16:20:10 [16:20:10.637]
INFO:
ivc-integration:test:wasm bb - (mem: 891.00 MiB)
16:20:10 [16:20:10.659]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 243 ms. (mem: 891.00 MiB)
16:20:10 [16:20:10.756]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 891.00 MiB)
16:20:11 [16:20:11.247]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 891.00 MiB)
16:20:11 [16:20:11.569]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 900.00 MiB)
16:20:11 [16:20:11.705]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 900.00 MiB)
16:20:11 [16:20:11.755]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 932.00 MiB)
16:20:12 [16:20:12.002]
INFO:
ivc-integration:test:wasm bb - folded (mem: 932.00 MiB)
16:20:12 constructed folding proof (mem: 932.00 MiB)
16:20:12 [16:20:12.012]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 12059 gates. Trace details: (mem: 932.00 MiB)
16:20:12 Minimum required block sizes for structured trace: (mem: 932.00 MiB)
16:20:12 (mem: 932.00 MiB)
16:20:12 prove decider... (mem: 932.00 MiB)
16:20:12 finished decider proving. (mem: 932.00 MiB)
16:20:12 [16:20:12.013]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
16:20:12 busread : 3
16:20:12 lookup : 2
16:20:12 pub_inputs : 36
16:20:12 arithmetic : 4072
16:20:12 delta_range : 2030
16:20:12 elliptic : 2
16:20:12 aux : 50
16:20:12 poseidon2_external : 882
16:20:12 poseidon2_internal : 5018
16:20:12 overflow : 0
16:20:12 [16:20:12.191]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 932.00 MiB)
16:20:12 [16:20:12.342]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 932.00 MiB)
16:20:13 [16:20:13.360]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction
16:20:13 [16:20:13.362]
INFO:
ivc-integration:test:wasm bb - (mem: 932.00 MiB)
16:20:13 [16:20:13.435]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 932.00 MiB)
16:20:13 [16:20:13.592]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey
16:20:13 [16:20:13.593]
INFO:
ivc-integration:test:wasm bb - (mem: 932.00 MiB)
16:20:13 [16:20:13.598]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 932.00 MiB)
16:20:13 [16:20:13.711]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 932.00 MiB)
16:20:13 [16:20:13.768]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 175 ms. (mem: 932.00 MiB)
16:20:13 [16:20:13.846]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
16:20:16 [16:20:16.359]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 854.75MiB)
16:20:22 [16:20:22.459]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 854.75MiB)
16:20:22 [16:20:22.460]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 854.75MiB)
16:20:26 [16:20:26.822]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
16:20:28 [16:20:28.757]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 854.75MiB)
16:20:31 [16:20:31.754]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 973.88MiB)
16:20:31 [16:20:31.755]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 973.88MiB)
16:20:31 [16:20:31.756]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 39659 (mem: 973.88MiB)
16:20:31 [16:20:31.763]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 973.88MiB)
16:20:31 [16:20:31.765]
INFO:
ivc-integration:prove_wasm time to serialize vk: 4 (mem: 973.88MiB)
16:20:31 [16:20:31.838]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 973.88MiB)
16:20:32 [16:20:32.143]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 973.88MiB)
16:20:32 [16:20:32.144]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 973.88MiB)
16:20:32 [16:20:32.144]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 973.88MiB)
16:20:32 [16:20:32.145]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 973.88MiB)
16:20:32 [16:20:32.241]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 973.88MiB)
16:20:32 [16:20:32.242]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 973.88MiB)
16:20:32 [16:20:32.242]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 973.88MiB)
16:20:32 [16:20:32.242]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 973.88MiB)
16:20:32 [16:20:32.242]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 973.88MiB)
16:20:32 [16:20:32.248]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 973.88MiB)
16:20:33 [16:20:33.027]
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-3O6qty/proof -k /tmp/bb-client-ivc-integration-3O6qty/vk -v
16:20:33 [16:20:33.092]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 936.18 MiB)
16:20:33 Scheme is: client_ivc, num threads: 128 (mem: 936.18 MiB)
16:20:33 --proof_path: /tmp/bb-client-ivc-integration-3O6qty/proof (mem: 936.18 MiB)
16:20:33 --vk_path: /tmp/bb-client-ivc-integration-3O6qty/vk (mem: 936.18 MiB)
16:20:33 --verbose: true (mem: 936.18 MiB)
16:20:33 --scheme: client_ivc (mem: 936.18 MiB)
16:20:33 [16:20:33.186]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 936.18 MiB)
16:20:33 [16:20:33.208]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 936.18 MiB)
16:20:33 [16:20:33.228]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 936.18 MiB)
16:20:33 Initialized BN254 CRS from memory with num points = 1025 (mem: 936.18 MiB)
16:20:33 Mega verified: 1 (mem: 936.18 MiB)
16:20:33 [16:20:33.387]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 936.18 MiB)
16:20:33 batch opening verified?: 1 (mem: 936.18 MiB)
16:20:33 eccvm consistency check verified?: 1 (mem: 936.18 MiB)
16:20:33 translation masking consistency checked?: 1 (mem: 936.18 MiB)
16:20:33 [16:20:33.407]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 936.18 MiB)
16:20:33 eccvm verified?: 1 (mem: 936.18 MiB)
16:20:33 accumulator construction_verified?: 1 (mem: 936.18 MiB)
16:20:33 translation verified?: 1 (mem: 936.18 MiB)
16:20:33 consistency verified?: 1 (mem: 936.18 MiB)
16:20:33 Goblin verified: 1 (mem: 936.18 MiB)
16:20:33 [16:20:33.417]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 936.18 MiB)
16:20:33 [16:20:33.464]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
16:20:33 [16:20:33.618]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 11969535 bytes
16:20:33 [16:20:33.654]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
16:20:34 [16:20:34.017]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
16:20:34 [16:20:34.052]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
16:20:34 [16:20:34.053]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
16:20:35 [16:20:35.254]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
16:20:35 [16:20:35.375]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
16:20:35 [16:20:35.386]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
16:20:35 [16:20:35.484]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
16:20:35 [16:20:35.536]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
16:20:35 [16:20:35.724]
INFO:
ivc-integration:test:wasm WARNING: goblin_element::assert_equal value check failed! (mem: 354.06MiB)
16:20:35 [16:20:35.725]
INFO:
ivc-integration:test:wasm WARNING: goblin_element::assert_equal value check failed! (mem: 354.06MiB)
16:20:35 [16:20:35.800]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":12294,"2":22492}
16:20:35 [16:20:35.896]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
16:20:36 [16:20:36.034]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 11969535 bytes
16:20:36 [16:20:36.067]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
16:20:36 [16:20:36.686]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
16:20:36 [16:20:36.706]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
16:20:37 [16:20:37.994]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
16:20:37 [16:20:37.997]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
16:20:39 [16:20:39.260]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
16:20:39 [16:20:39.330]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
16:20:39 [16:20:39.354]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
16:20:39 [16:20:39.368]
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)
16:20:39 [16:20:39.376]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.13MiB)
16:20:39 [16:20:39.376]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.13MiB)
16:20:39 [16:20:39.395]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.13MiB)
16:20:39 [16:20:39.395]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.13MiB)
16:20:39 [16:20:39.395]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.13MiB)
16:20:39 [16:20:39.396]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.13MiB)
16:20:39 [16:20:39.396]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.13MiB)
16:20:39 [16:20:39.396]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.13MiB)
16:20:39 [16:20:39.396]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.13MiB)
16:20:39 [16:20:39.397]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.13MiB)
16:20:39 [16:20:39.397]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.13MiB)
16:20:39 [16:20:39.397]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.13MiB)
16:20:39 [16:20:39.397]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.13MiB)
16:20:39 [16:20:39.398]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.13MiB)
16:20:39 [16:20:39.399]
INFO:
ivc-integration:prove_wasm (mem: 354.13MiB)
16:20:39 [16:20:39.399]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.13MiB)
16:20:39 [16:20:39.400]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.13MiB)
16:20:39 [16:20:39.457]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.88MiB)
16:20:39 [16:20:39.486]
INFO:
ivc-integration:prove_wasm time to construct proving key: 109 ms. (mem: 581.88MiB)
16:20:39 [16:20:39.513]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.88MiB)
16:20:40 [16:20:40.824]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.88MiB)
16:20:41 [16:20:41.074]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.88MiB)
16:20:41 [16:20:41.123]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.88MiB)
16:20:41 [16:20:41.124]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.88MiB)
16:20:41 [16:20:41.128]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.88MiB)
16:20:41 [16:20:41.129]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.88MiB)
16:20:41 [16:20:41.129]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.88MiB)
16:20:41 [16:20:41.129]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.88MiB)
16:20:41 [16:20:41.130]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.88MiB)
16:20:41 [16:20:41.130]
INFO:
ivc-integration:prove_wasm arithmetic : 4225/56000 (mem: 581.88MiB)
16:20:41 [16:20:41.130]
INFO:
ivc-integration:prove_wasm delta range : 2043/18000 (mem: 581.88MiB)
16:20:41 [16:20:41.130]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.88MiB)
16:20:41 [16:20:41.131]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.88MiB)
16:20:41 [16:20:41.131]
INFO:
ivc-integration:prove_wasm poseidon ext : 882/17000 (mem: 581.88MiB)
16:20:41 [16:20:41.133]
INFO:
ivc-integration:prove_wasm poseidon int : 5018/92000 (mem: 581.88MiB)
16:20:41 [16:20:41.133]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.88MiB)
16:20:41 [16:20:41.133]
INFO:
ivc-integration:prove_wasm (mem: 581.88MiB)
16:20:41 [16:20:41.134]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.88MiB)
16:20:41 [16:20:41.134]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.88MiB)
16:20:41 [16:20:41.266]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 804.25MiB)
16:20:41 [16:20:41.320]
INFO:
ivc-integration:prove_wasm time to construct proving key: 193 ms. (mem: 819.06MiB)
16:20:41 [16:20:41.374]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 819.06MiB)
16:20:42 [16:20:42.725]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 819.06MiB)
16:20:43 [16:20:43.041]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 819.06MiB)
16:20:43 [16:20:43.255]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 846.88MiB)
16:20:43 [16:20:43.898]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 846.88MiB)
16:20:44 [16:20:44.315]
INFO:
ivc-integration:prove_wasm folded (mem: 846.88MiB)
16:20:44 [16:20:44.316]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 846.88MiB)
16:20:44 [16:20:44.321]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 846.88MiB)
16:20:44 [16:20:44.322]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 846.88MiB)
16:20:44 [16:20:44.327]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 846.88MiB)
16:20:44 [16:20:44.328]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 846.88MiB)
16:20:44 [16:20:44.329]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 846.88MiB)
16:20:44 [16:20:44.329]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 846.88MiB)
16:20:44 [16:20:44.329]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 846.88MiB)
16:20:44 [16:20:44.330]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 846.88MiB)
16:20:44 [16:20:44.330]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 846.88MiB)
16:20:44 [16:20:44.330]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 846.88MiB)
16:20:44 [16:20:44.331]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 846.88MiB)
16:20:44 [16:20:44.331]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 846.88MiB)
16:20:44 [16:20:44.332]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 846.88MiB)
16:20:44 [16:20:44.333]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 846.88MiB)
16:20:44 [16:20:44.333]
INFO:
ivc-integration:prove_wasm (mem: 846.88MiB)
16:20:44 [16:20:44.334]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 846.88MiB)
16:20:44 [16:20:44.335]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 846.88MiB)
16:20:44 [16:20:44.369]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 846.88MiB)
16:20:44 [16:20:44.377]
INFO:
ivc-integration:prove_wasm time to construct proving key: 56 ms. (mem: 846.88MiB)
16:20:44 [16:20:44.399]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 846.88MiB)
16:20:45 [16:20:45.630]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 846.88MiB)
16:20:45 [16:20:45.843]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 846.88MiB)
16:20:46 [16:20:46.069]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 846.88MiB)
16:20:46 [16:20:46.366]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 846.88MiB)
16:20:46 [16:20:46.639]
INFO:
ivc-integration:prove_wasm folded (mem: 846.88MiB)
16:20:46 [16:20:46.639]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 846.88MiB)
16:20:46 [16:20:46.861]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 846.88MiB)
16:20:46 [16:20:46.862]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 846.88MiB)
16:20:46 [16:20:46.869]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 846.88MiB)
16:20:46 [16:20:46.869]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 846.88MiB)
16:20:46 [16:20:46.870]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 846.88MiB)
16:20:46 [16:20:46.870]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 846.88MiB)
16:20:46 [16:20:46.870]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 846.88MiB)
16:20:46 [16:20:46.871]
INFO:
ivc-integration:prove_wasm arithmetic : 11272/56000 (mem: 846.88MiB)
16:20:46 [16:20:46.871]
INFO:
ivc-integration:prove_wasm delta range : 2922/18000 (mem: 846.88MiB)
16:20:46 [16:20:46.871]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 846.88MiB)
16:20:46 [16:20:46.872]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 846.88MiB)
16:20:46 [16:20:46.872]
INFO:
ivc-integration:prove_wasm poseidon ext : 4092/17000 (mem: 846.88MiB)
16:20:46 [16:20:46.872]
INFO:
ivc-integration:prove_wasm poseidon int : 23315/92000 (mem: 846.88MiB)
16:20:46 [16:20:46.873]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 846.88MiB)
16:20:46 [16:20:46.873]
INFO:
ivc-integration:prove_wasm (mem: 846.88MiB)
16:20:46 [16:20:46.873]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 846.88MiB)
16:20:46 [16:20:46.873]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 846.88MiB)
16:20:46 [16:20:46.902]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 846.88MiB)
16:20:46 [16:20:46.937]
INFO:
ivc-integration:prove_wasm time to construct proving key: 76 ms. (mem: 848.88MiB)
16:20:47 [16:20:47.025]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.88MiB)
16:20:48 [16:20:48.120]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.88MiB)
16:20:48 [16:20:48.781]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.88MiB)
16:20:49 [16:20:49.035]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 873.69MiB)
16:20:49 [16:20:49.295]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 905.25MiB)
16:20:49 [16:20:49.472]
INFO:
ivc-integration:prove_wasm folded (mem: 905.25MiB)
16:20:49 [16:20:49.473]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 905.25MiB)
16:20:49 [16:20:49.572]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 905.25MiB)
16:20:49 [16:20:49.573]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 905.25MiB)
16:20:49 [16:20:49.576]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 905.25MiB)
16:20:49 [16:20:49.576]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 905.25MiB)
16:20:49 [16:20:49.577]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 905.25MiB)
16:20:49 [16:20:49.577]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 905.25MiB)
16:20:49 [16:20:49.577]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 905.25MiB)
16:20:49 [16:20:49.577]
INFO:
ivc-integration:prove_wasm arithmetic : 6505/56000 (mem: 905.25MiB)
16:20:49 [16:20:49.578]
INFO:
ivc-integration:prove_wasm delta range : 2337/18000 (mem: 905.25MiB)
16:20:49 [16:20:49.578]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 905.25MiB)
16:20:49 [16:20:49.578]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 905.25MiB)
16:20:49 [16:20:49.578]
INFO:
ivc-integration:prove_wasm poseidon ext : 2042/17000 (mem: 905.25MiB)
16:20:49 [16:20:49.578]
INFO:
ivc-integration:prove_wasm poseidon int : 11630/92000 (mem: 905.25MiB)
16:20:49 [16:20:49.579]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 905.25MiB)
16:20:49 [16:20:49.579]
INFO:
ivc-integration:prove_wasm (mem: 905.25MiB)
16:20:49 [16:20:49.579]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 905.25MiB)
16:20:49 [16:20:49.579]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 905.25MiB)
16:20:49 [16:20:49.595]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 905.25MiB)
16:20:49 [16:20:49.614]
INFO:
ivc-integration:prove_wasm time to construct proving key: 42 ms. (mem: 905.25MiB)
16:20:49 [16:20:49.696]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 905.25MiB)
16:20:50 [16:20:50.774]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 905.25MiB)
16:20:51 [16:20:51.283]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 905.25MiB)
16:20:51 [16:20:51.501]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 905.25MiB)
16:20:51 [16:20:51.771]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 905.25MiB)
16:20:51 [16:20:51.989]
INFO:
ivc-integration:prove_wasm folded (mem: 905.25MiB)
16:20:51 [16:20:51.989]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 905.25MiB)
16:20:52 [16:20:52.108]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 905.25MiB)
16:20:52 [16:20:52.108]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 905.25MiB)
16:20:52 [16:20:52.113]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 905.25MiB)
16:20:52 [16:20:52.114]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 905.25MiB)
16:20:52 [16:20:52.115]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 905.25MiB)
16:20:52 [16:20:52.115]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 905.25MiB)
16:20:52 [16:20:52.115]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 905.25MiB)
16:20:52 [16:20:52.115]
INFO:
ivc-integration:prove_wasm arithmetic : 6440/56000 (mem: 905.25MiB)
16:20:52 [16:20:52.116]
INFO:
ivc-integration:prove_wasm delta range : 2323/18000 (mem: 905.25MiB)
16:20:52 [16:20:52.116]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 905.25MiB)
16:20:52 [16:20:52.116]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 905.25MiB)
16:20:52 [16:20:52.117]
INFO:
ivc-integration:prove_wasm poseidon ext : 2042/17000 (mem: 905.25MiB)
16:20:52 [16:20:52.117]
INFO:
ivc-integration:prove_wasm poseidon int : 11630/92000 (mem: 905.25MiB)
16:20:52 [16:20:52.117]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 905.25MiB)
16:20:52 [16:20:52.117]
INFO:
ivc-integration:prove_wasm (mem: 905.25MiB)
16:20:52 [16:20:52.118]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 905.25MiB)
16:20:52 [16:20:52.118]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 905.25MiB)
16:20:52 [16:20:52.136]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 905.25MiB)
16:20:52 [16:20:52.155]
INFO:
ivc-integration:prove_wasm time to construct proving key: 48 ms. (mem: 905.25MiB)
16:20:52 [16:20:52.261]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 905.25MiB)
16:20:53 [16:20:53.436]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 905.25MiB)
16:20:53 [16:20:53.968]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 905.25MiB)
16:20:54 [16:20:54.134]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 905.25MiB)
16:20:54 [16:20:54.428]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 905.25MiB)
16:20:54 [16:20:54.774]
INFO:
ivc-integration:prove_wasm folded (mem: 905.25MiB)
16:20:54 [16:20:54.774]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 905.25MiB)
16:20:54 [16:20:54.775]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 15440 (mem: 905.25MiB)
16:20:54 [16:20:54.775]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 905.25MiB)
16:20:54 [16:20:54.775]
INFO:
ivc-integration:prove_wasm Largest circuit: 41967 gates. Trace details: (mem: 905.25MiB)
16:20:54 [16:20:54.775]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 905.25MiB)
16:20:54 [16:20:54.779]
INFO:
ivc-integration:prove_wasm ecc_op : 792
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.779]
INFO:
ivc-integration:prove_wasm busread : 16
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.780]
INFO:
ivc-integration:prove_wasm lookup : 2
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.780]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.781]
INFO:
ivc-integration:prove_wasm arithmetic : 11272
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.781]
INFO:
ivc-integration:prove_wasm delta_range : 2922
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.782]
INFO:
ivc-integration:prove_wasm elliptic : 2
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.782]
INFO:
ivc-integration:prove_wasm aux : 350
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.782]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4092
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.782]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 23315
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.784]
INFO:
ivc-integration:prove_wasm overflow : 0
16:20:54 (mem: 905.25MiB)
16:20:54 [16:20:54.784]
INFO:
ivc-integration:prove_wasm (mem: 905.25MiB)
16:20:54 [16:20:54.785]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 905.25MiB)
16:20:54 [16:20:54.785]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 905.25MiB)
16:20:54 [16:20:54.927]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
16:20:55 [16:20:55.254]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 905.25MiB)
16:20:56 [16:20:56.402]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 905.25MiB)
16:20:56 [16:20:56.689]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 905.25MiB)
16:20:56 [16:20:56.918]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 905.25MiB)
16:20:56 [16:20:56.924]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 905.25MiB)
16:20:56 [16:20:56.936]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 905.25MiB)
16:20:56 [16:20:56.979]
INFO:
ivc-integration:prove_wasm time to construct proving key: 61 ms. (mem: 905.25MiB)
16:20:58 [16:20:58.698]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 905.25MiB)
16:20:58 [16:20:58.811]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
16:20:59 [16:20:59.060]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 905.25MiB)
16:20:59 [16:20:59.929]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 905.25MiB)
16:21:00 [16:21:00.236]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 905.25MiB)
16:21:00 [16:21:00.511]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 905.25MiB)
16:21:00 [16:21:00.512]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 905.25MiB)
16:21:05 [16:21:05.252]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
16:21:07 [16:21:07.642]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 905.25MiB)
16:21:11 [16:21:11.133]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 905.25MiB)
16:21:11 [16:21:11.133]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 905.25MiB)
16:21:14 [16:21:14.427]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
16:21:16 [16:21:16.025]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 905.25MiB)
16:21:18 [16:21:18.317]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 951.56MiB)
16:21:18 [16:21:18.317]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 951.56MiB)
16:21:18 [16:21:18.318]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 38984 (mem: 951.56MiB)
16:21:18 [16:21:18.321]
INFO:
ivc-integration:prove_wasm time to serialize proof: 4 (mem: 951.56MiB)
16:21:18 [16:21:18.323]
INFO:
ivc-integration:prove_wasm time to serialize vk: 2 (mem: 951.56MiB)
16:21:18 [16:21:18.382]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.597]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.598]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.598]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.598]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.683]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.684]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.684]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.684]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.685]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.685]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.731]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.918]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.918]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.918]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.918]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.974]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.975]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.975]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.976]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.976]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 951.56MiB)
16:21:18 [16:21:18.976]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 951.56MiB)
16:21:19 [16:21:19.446]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
16:21:19
PASS src/wasm_client_ivc_integration.test.ts (
93.52 s)
16:21:19 Client IVC Integration
16:21:19
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (44535 ms)
16:21:19
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2347 ms)
16:21:19
✓ Should generate a verifiable client IVC proof from a complex mock tx (43645 ms)
16:21:19
16:21:19
Test Suites: 1 passed, 1 total
16:21:19
Tests: 3 passed, 3 total
16:21:19
Snapshots: 0 total
16:21:19
Time: 93.586 s
16:21:19
Ran all test suites matching /ivc-integration\/src\/wasm_client_ivc_integration.test.ts/i
.
16:21:19
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?