Parent Log:
http://ci.aztec-labs.com/9835e3d1ddb4ce05
Command: 4ef547fa5e299294: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/d4893155ff105399557b55c16450c39921c70d11
Env: REF_NAME=gh-readonly-queue/next/pr-15218-7edf16da6c056f9499e2dfd9c71fb9b7580f9bfc CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 10:22:54 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15218_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
10:22:59 [10:22:59.159]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
10:22:59 [10:22:59.166]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-WtawIn/ivc-inputs.msgpack
10:22:59 [10:22:59.167]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
10:22:59 [10:22:59.168]
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-WtawIn --ivc_inputs_path /tmp/bb-client-ivc-integration-WtawIn/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
10:22:59 [10:22:59.318]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12113510 bytes
10:22:59 [10:22:59.334]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 238.32 MiB)
10:22:59 Scheme is: client_ivc, num threads: 128 (mem: 238.32 MiB)
10:22:59 --scheme: client_ivc (mem: 238.32 MiB)
10:22:59 --output_path: /tmp/bb-client-ivc-integration-WtawIn (mem: 238.32 MiB)
10:22:59 --ivc_inputs_path: /tmp/bb-client-ivc-integration-WtawIn/ivc-inputs.msgpack (mem: 238.32 MiB)
10:22:59 --verbose: true (mem: 238.32 MiB)
10:22:59 --write_vk: true (mem: 238.32 MiB)
10:22:59 BN254 commitment key size: 262144 (mem: 238.32 MiB)
10:22:59 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 238.32 MiB)
10:22:59 Initialized BN254 CRS from memory with num points = 262145 (mem: 238.32 MiB)
10:22:59 ClientIVC: accumulating unknown_0 (mem: 238.32 MiB)
10:22:59 Constructing DeciderProvingKey (mem: 238.32 MiB)
10:22:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 238.32 MiB)
10:22:59 goblin ecc op : 4/1024 (mem: 238.32 MiB)
10:22:59 busread : 7/6000 (mem: 238.32 MiB)
10:22:59 lookups : 2/15000 (mem: 238.32 MiB)
10:22:59 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 238.32 MiB)
10:22:59 arithmetic : 1760/56000 (mem: 238.32 MiB)
10:22:59 delta range : 1754/18000 (mem: 238.32 MiB)
10:22:59 elliptic : 2/6000 (mem: 238.32 MiB)
10:22:59 auxiliary : 26/26000 (mem: 238.32 MiB)
10:22:59 poseidon ext : 2/17000 (mem: 238.32 MiB)
10:22:59 poseidon int : 2/92000 (mem: 238.32 MiB)
10:22:59 overflow : 0/0 (mem: 238.32 MiB)
10:22:59 (mem: 238.32 MiB)
10:22:59 Total structured size: 242025 (mem: 238.32 MiB)
10:22:59 allocating polynomials object in proving key... (mem: 238.32 MiB)
10:22:59 [10:22:59.355]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
10:22:59 [10:22:59.433]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 343.33 MiB)
10:22:59 [10:22:59.446]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 191 ms. (mem: 355.33 MiB)
10:22:59 [10:22:59.534]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5b10e19c95c0 (mem: 355.33 MiB)
10:22:59 [10:22:59.536]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 355.33 MiB)
10:22:59 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 355.33 MiB)
10:22:59 [10:22:59.764]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 368.33 MiB)
10:22:59 [10:22:59.770]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 368.33 MiB)
10:22:59 [10:22:59.773]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
10:22:59 [10:22:59.778]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
10:22:59 [10:22:59.782]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 368.33 MiB)
10:22:59 [10:22:59.783]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 368.33 MiB)
10:22:59 [10:22:59.785]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 368.33 MiB)
10:22:59 goblin ecc op : 56/1024 (mem: 368.33 MiB)
10:22:59 busread : 12/6000 (mem: 368.33 MiB)
10:22:59 lookups : 2/15000 (mem: 368.33 MiB)
10:22:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 368.33 MiB)
10:22:59 arithmetic : 4677/56000 (mem: 368.33 MiB)
10:22:59 delta range : 2073/18000 (mem: 368.33 MiB)
10:22:59 elliptic : 2/6000 (mem: 368.33 MiB)
10:22:59 auxiliary : 110/26000 (mem: 368.33 MiB)
10:22:59 poseidon ext : 1322/17000 (mem: 368.33 MiB)
10:22:59 poseidon int : 7526/92000 (mem: 368.33 MiB)
10:22:59 overflow : 0/0 (mem: 368.33 MiB)
10:22:59 (mem: 368.33 MiB)
10:22:59 Total structured size: 242025 (mem: 368.33 MiB)
10:22:59 allocating polynomials object in proving key... (mem: 368.33 MiB)
10:22:59 [10:22:59.928]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 573.33 MiB)
10:22:59 [10:22:59.958]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 174 ms. (mem: 588.33 MiB)
10:23:00 [10:23:00.184]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5b10e19d62c0 (mem: 588.33 MiB)
10:23:00 computing folding proof (mem: 588.33 MiB)
10:23:00 [10:23:00.186]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 588.33 MiB)
10:23:00 [10:23:00.517]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 590.33 MiB)
10:23:00 [10:23:00.607]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 626.33 MiB)
10:23:00 [10:23:00.663]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 661.33 MiB)
10:23:00 [10:23:00.969]
INFO:
ivc-integration:test:wasm bb - folded (mem: 661.33 MiB)
10:23:00 constructed folding proof (mem: 661.33 MiB)
10:23:00 [10:23:00.970]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
10:23:00 [10:23:00.975]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
10:23:01 [10:23:01.614]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 661.33 MiB)
10:23:01 ClientIVC: accumulating unknown_2 (mem: 661.33 MiB)
10:23:01 Constructing DeciderProvingKey (mem: 661.33 MiB)
10:23:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 661.33 MiB)
10:23:01 goblin ecc op : 392/1024 (mem: 661.33 MiB)
10:23:01 busread : 3/6000 (mem: 661.33 MiB)
10:23:01 lookups : 2/15000 (mem: 661.33 MiB)
10:23:01 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 661.33 MiB)
10:23:01 arithmetic : 6913/56000 (mem: 661.33 MiB)
10:23:01 delta range : 2353/18000 (mem: 661.33 MiB)
10:23:01 elliptic : 2/6000 (mem: 661.33 MiB)
10:23:01 auxiliary : 50/26000 (mem: 661.33 MiB)
10:23:01 poseidon ext : 2492/17000 (mem: 661.33 MiB)
10:23:01 poseidon int : 14195/92000 (mem: 661.33 MiB)
10:23:01 overflow : 0/0 (mem: 661.33 MiB)
10:23:01 (mem: 661.33 MiB)
10:23:01 Total structured size: 242025 (mem: 661.33 MiB)
10:23:01 allocating polynomials object in proving key... (mem: 661.33 MiB)
10:23:01 populating trace... (mem: 661.33 MiB)
10:23:01 time to construct proving key: 193 ms. (mem: 661.33 MiB)
10:23:01 [10:23:01.625]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5b10e19e1780 (mem: 661.33 MiB)
10:23:01 computing folding proof (mem: 661.33 MiB)
10:23:01 [10:23:01.626]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 661.33 MiB)
10:23:02 [10:23:02.034]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 661.33 MiB)
10:23:02 [10:23:02.124]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 661.33 MiB)
10:23:02 [10:23:02.203]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
10:23:02 [10:23:02.227]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 669.95 MiB)
10:23:02 [10:23:02.254]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
10:23:02 [10:23:02.282]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
10:23:02 [10:23:02.282]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 194.06MiB)
10:23:02 [10:23:02.290]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
10:23:02 [10:23:02.293]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
10:23:02 [10:23:02.323]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
10:23:02 [10:23:02.327]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
10:23:02 [10:23:02.331]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
10:23:02 [10:23:02.332]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
10:23:02 [10:23:02.332]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
10:23:02 [10:23:02.332]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
10:23:02 [10:23:02.333]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
10:23:02 [10:23:02.333]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
10:23:02 [10:23:02.336]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
10:23:02 [10:23:02.336]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
10:23:02 [10:23:02.336]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
10:23:02 [10:23:02.337]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
10:23:02 [10:23:02.337]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
10:23:02 [10:23:02.338]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
10:23:02 [10:23:02.338]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
10:23:02 [10:23:02.403]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
10:23:02 [10:23:02.429]
INFO:
ivc-integration:prove_wasm time to construct proving key: 135 ms. (mem: 316.56MiB)
10:23:02 [10:23:02.450]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 316.56MiB)
10:23:02 [10:23:02.658]
INFO:
ivc-integration:test:wasm bb - folded (mem: 669.95 MiB)
10:23:02 constructed folding proof (mem: 669.95 MiB)
10:23:02 Largest circuit: 26010 gates. Trace details: (mem: 669.95 MiB)
10:23:02 Minimum required block sizes for structured trace: (mem: 669.95 MiB)
10:23:02 (mem: 669.95 MiB)
10:23:02 prove decider... (mem: 669.95 MiB)
10:23:02 [10:23:02.666]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
10:23:02 busread : 12
10:23:02 lookup : 2
10:23:02 pub_inputs : 36
10:23:02 arithmetic : 6913
10:23:02 delta_range : 2353
10:23:02 elliptic : 2
10:23:02 aux : 110
10:23:02 poseidon2_external : 2492
10:23:02 poseidon2_internal : 14195
10:23:02 overflow : 0
10:23:02 [10:23:02.805]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 669.95 MiB)
10:23:02 [10:23:02.908]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 316.56MiB)
10:23:02 [10:23:02.912]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 316.56MiB)
10:23:03 [10:23:03.006]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 669.95 MiB)
10:23:03 [10:23:03.263]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
10:23:03 [10:23:03.295]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
10:23:03 [10:23:03.325]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
10:23:03 [10:23:03.327]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
10:23:03 [10:23:03.333]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
10:23:03 [10:23:03.334]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
10:23:03 [10:23:03.335]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
10:23:03 [10:23:03.335]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
10:23:03 [10:23:03.336]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
10:23:03 [10:23:03.337]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 317.94MiB)
10:23:03 [10:23:03.337]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
10:23:03 [10:23:03.338]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
10:23:03 [10:23:03.338]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
10:23:03 [10:23:03.338]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
10:23:03 [10:23:03.339]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
10:23:03 [10:23:03.339]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
10:23:03 [10:23:03.340]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
10:23:03 [10:23:03.340]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
10:23:03 [10:23:03.341]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
10:23:03 [10:23:03.497]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.06MiB)
10:23:03 [10:23:03.548]
INFO:
ivc-integration:prove_wasm time to construct proving key: 222 ms. (mem: 555.19MiB)
10:23:03 [10:23:03.668]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.19MiB)
10:23:04 [10:23:04.219]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 669.95 MiB)
10:23:04 [10:23:04.373]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 669.95 MiB)
10:23:04 finished decider proving. (mem: 669.95 MiB)
10:23:04 [10:23:04.388]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 669.95 MiB)
10:23:04 [10:23:04.486]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 669.95 MiB)
10:23:04 [10:23:04.492]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 669.95 MiB)
10:23:04 [10:23:04.547]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.19MiB)
10:23:04 [10:23:04.552]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 555.19MiB)
10:23:04 [10:23:04.716]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 669.95 MiB)
10:23:04 [10:23:04.789]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 302 ms. (mem: 669.95 MiB)
10:23:05 [10:23:05.372]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.19MiB)
10:23:05 [10:23:05.604]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 582.63MiB)
10:23:06 [10:23:06.044]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 582.63MiB)
10:23:06 [10:23:06.392]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 669.95 MiB)
10:23:06 [10:23:06.725]
INFO:
ivc-integration:prove_wasm folded (mem: 582.63MiB)
10:23:06 [10:23:06.726]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 582.63MiB)
10:23:06 [10:23:06.738]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 582.63MiB)
10:23:06 [10:23:06.914]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 582.63MiB)
10:23:06 [10:23:06.915]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 582.63MiB)
10:23:06 [10:23:06.919]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 582.63MiB)
10:23:06 [10:23:06.919]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 582.63MiB)
10:23:06 [10:23:06.920]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 582.63MiB)
10:23:06 [10:23:06.920]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 582.63MiB)
10:23:06 [10:23:06.921]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 582.63MiB)
10:23:06 [10:23:06.921]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 582.63MiB)
10:23:06 [10:23:06.921]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 582.63MiB)
10:23:06 [10:23:06.921]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 582.63MiB)
10:23:06 [10:23:06.922]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 582.63MiB)
10:23:06 [10:23:06.922]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 582.63MiB)
10:23:06 [10:23:06.926]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 582.63MiB)
10:23:06 [10:23:06.927]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 582.63MiB)
10:23:06 [10:23:06.933]
INFO:
ivc-integration:prove_wasm (mem: 582.63MiB)
10:23:06 [10:23:06.933]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 582.63MiB)
10:23:06 [10:23:06.934]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 582.63MiB)
10:23:06 [10:23:06.947]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 582.63MiB)
10:23:06 [10:23:06.978]
INFO:
ivc-integration:prove_wasm time to construct proving key: 67 ms. (mem: 582.63MiB)
10:23:07 [10:23:07.204]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 669.95 MiB)
10:23:07 [10:23:07.244]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 582.63MiB)
10:23:07 [10:23:07.476]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 669.95 MiB)
10:23:08 [10:23:08.266]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 582.63MiB)
10:23:08 [10:23:08.268]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 582.63MiB)
10:23:09 [10:23:09.076]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 669.95 MiB)
10:23:09 [10:23:09.171]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 582.63MiB)
10:23:09 [10:23:09.407]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 590.56MiB)
10:23:09 [10:23:09.655]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 590.56MiB)
10:23:10 [10:23:10.225]
INFO:
ivc-integration:prove_wasm folded (mem: 590.56MiB)
10:23:10 [10:23:10.226]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 590.56MiB)
10:23:10 [10:23:10.226]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 7972 (mem: 590.56MiB)
10:23:10 [10:23:10.227]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 590.56MiB)
10:23:10 [10:23:10.227]
INFO:
ivc-integration:prove_wasm Largest circuit: 26010 gates. Trace details: (mem: 590.56MiB)
10:23:10 [10:23:10.227]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 590.56MiB)
10:23:10 [10:23:10.228]
INFO:
ivc-integration:prove_wasm ecc_op : 392
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.228]
INFO:
ivc-integration:prove_wasm busread : 12
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.228]
INFO:
ivc-integration:prove_wasm lookup : 2
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.278]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.278]
INFO:
ivc-integration:prove_wasm arithmetic : 6913
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.279]
INFO:
ivc-integration:prove_wasm delta_range : 2353
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.279]
INFO:
ivc-integration:prove_wasm elliptic : 2
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.279]
INFO:
ivc-integration:prove_wasm aux : 110
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.280]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.280]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.280]
INFO:
ivc-integration:prove_wasm overflow : 0
10:23:10 (mem: 590.56MiB)
10:23:10 [10:23:10.291]
INFO:
ivc-integration:prove_wasm (mem: 590.56MiB)
10:23:10 [10:23:10.292]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 590.56MiB)
10:23:10 [10:23:10.559]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 669.95 MiB)
10:23:10 [10:23:10.582]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
10:23:10 [10:23:10.638]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 669.95 MiB)
10:23:10 [10:23:10.639]
INFO:
ivc-integration:test:wasm bb - finished decider proving. (mem: 669.95 MiB)
10:23:10 Constructing a Goblin proof with num ultra ops = 1038 (mem: 669.95 MiB)
10:23:10 [10:23:10.988]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
10:23:11 [10:23:11.079]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 669.95 MiB)
10:23:11 [10:23:11.913]
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: 669.95 MiB)
10:23:11 [10:23:11.924]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 669.95 MiB)
10:23:13 [10:23:13.055]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
10:23:13 [10:23:13.478]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
10:23:13 [10:23:13.482]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
10:23:13 [10:23:13.507]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 590.56MiB)
10:23:13 [10:23:13.750]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 590.56MiB)
10:23:13 [10:23:13.758]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 590.56MiB)
10:23:13 [10:23:13.815]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 590.56MiB)
10:23:13 [10:23:13.875]
INFO:
ivc-integration:prove_wasm time to construct proving key: 127 ms. (mem: 590.56MiB)
10:23:14 [10:23:14.502]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 669.95 MiB)
10:23:15 [10:23:15.958]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 590.56MiB)
10:23:17 [10:23:17.491]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 590.56MiB)
10:23:17 [10:23:17.541]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
10:23:17 [10:23:17.602]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 669.95 MiB)
10:23:17 [10:23:17.893]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
10:23:19 [10:23:19.037]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
10:23:19 [10:23:19.282]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
10:23:19 [10:23:19.283]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
10:23:19 [10:23:19.284]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 590.56MiB)
10:23:19 [10:23:19.431]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 590.56MiB)
10:23:22 [10:23:22.339]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
10:23:22 [10:23:22.356]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 669.95 MiB)
10:23:22 prove translator... (mem: 669.95 MiB)
10:23:25 [10:23:25.904]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 705.40 MiB)
10:23:26 [10:23:26.289]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
10:23:29 [10:23:29.620]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 705.40 MiB)
10:23:33 [10:23:33.710]
INFO:
ivc-integration:test:wasm bb - computed opening proof
10:23:33 [10:23:33.711]
INFO:
ivc-integration:test:wasm bb - (mem: 705.40 MiB)
10:23:33 [10:23:33.712]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 705.40 MiB)
10:23:33 [10:23:33.714]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 705.40 MiB)
10:23:33 [10:23:33.731]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 705.40 MiB)
10:23:33 libra_evals_verified: 1 (mem: 705.40 MiB)
10:23:33 pairing_check_verified: 1 (mem: 705.40 MiB)
10:23:33 [10:23:33.733]
INFO:
ivc-integration:test:wasm bb - Mega verified: 1 (mem: 705.40 MiB)
10:23:33 [10:23:33.886]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 705.40 MiB)
10:23:33 batch opening verified?: 1 (mem: 705.40 MiB)
10:23:33 [10:23:33.887]
INFO:
ivc-integration:test:wasm bb - eccvm consistency check verified?: 1 (mem: 705.40 MiB)
10:23:33 translation masking consistency checked?: 1 (mem: 705.40 MiB)
10:23:33 [10:23:33.914]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 705.40 MiB)
10:23:33 eccvm verified?: 1 (mem: 705.40 MiB)
10:23:33 accumulator construction_verified?: 1 (mem: 705.40 MiB)
10:23:33 translation verified?: 1 (mem: 705.40 MiB)
10:23:33 consistency verified?: 1 (mem: 705.40 MiB)
10:23:33 Goblin verified: 1 (mem: 705.40 MiB)
10:23:33 [10:23:33.915]
INFO:
ivc-integration:test:wasm bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-WtawIn" (mem: 705.40 MiB)
10:23:33 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-WtawIn" (mem: 705.40 MiB)
10:23:33 BN254 commitment key size: 262144 (mem: 705.40 MiB)
10:23:33 [10:23:33.919]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 705.40 MiB)
10:23:33 [10:23:33.922]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 705.40 MiB)
10:23:33 goblin ecc op : 4/1024 (mem: 705.40 MiB)
10:23:33 [10:23:33.925]
INFO:
ivc-integration:test:wasm bb - busread : 3/6000 (mem: 705.40 MiB)
10:23:33 lookups : 2/15000 (mem: 705.40 MiB)
10:23:33 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 705.40 MiB)
10:23:33 arithmetic : 1773/56000 (mem: 705.40 MiB)
10:23:33 delta range : 1754/18000 (mem: 705.40 MiB)
10:23:33 elliptic : 2/6000 (mem: 705.40 MiB)
10:23:33 auxiliary : 26/26000 (mem: 705.40 MiB)
10:23:33 poseidon ext : 2/17000 (mem: 705.40 MiB)
10:23:33 poseidon int : 2/92000 (mem: 705.40 MiB)
10:23:33 overflow : 0/0 (mem: 705.40 MiB)
10:23:33 (mem: 705.40 MiB)
10:23:33 Total structured size: 242025 (mem: 705.40 MiB)
10:23:33 allocating polynomials object in proving key... (mem: 705.40 MiB)
10:23:34 [10:23:34.136]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 705.40 MiB)
10:23:34 [10:23:34.178]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 259 ms. (mem: 705.40 MiB)
10:23:34 [10:23:34.372]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 705.40 MiB)
10:23:35 [10:23:35.198]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 706.40 MiB)
10:23:35 [10:23:35.199]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 706.40 MiB)
10:23:35 [10:23:35.289]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 590.56MiB)
10:23:35 [10:23:35.289]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 590.56MiB)
10:23:35 [10:23:35.650]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 706.40 MiB)
10:23:35 [10:23:35.657]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 706.40 MiB)
10:23:35 [10:23:35.676]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 706.40 MiB)
10:23:35 [10:23:35.678]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity)
10:23:35 [10:23:35.681]
INFO:
ivc-integration:test:wasm bb - (mem: 706.40 MiB)
10:23:35 goblin ecc op : 56/1024 (mem: 706.40 MiB)
10:23:35 busread : 3/6000 (mem: 706.40 MiB)
10:23:35 lookups : 2/15000 (mem: 706.40 MiB)
10:23:35 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 706.40 MiB)
10:23:35 arithmetic : 4533/56000 (mem: 706.40 MiB)
10:23:35 delta range : 2060/18000 (mem: 706.40 MiB)
10:23:35 elliptic : 2/6000 (mem: 706.40 MiB)
10:23:35 auxiliary : 50/26000 (mem: 706.40 MiB)
10:23:35 poseidon ext : 1332/17000 (mem: 706.40 MiB)
10:23:35 poseidon int : 7583/92000 (mem: 706.40 MiB)
10:23:35 overflow : 0/0 (mem: 706.40 MiB)
10:23:35 (mem: 706.40 MiB)
10:23:35 Total structured size: 242025 (mem: 706.40 MiB)
10:23:35 allocating polynomials object in proving key... (mem: 706.40 MiB)
10:23:35 [10:23:35.940]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 706.40 MiB)
10:23:36 [10:23:36.005]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 332 ms.
10:23:36 [10:23:36.007]
INFO:
ivc-integration:test:wasm bb - (mem: 706.40 MiB)
10:23:36 [10:23:36.226]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 706.40 MiB)
10:23:36 [10:23:36.859]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 706.40 MiB)
10:23:36 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 706.40 MiB)
10:23:37 [10:23:37.520]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 706.40 MiB)
10:23:37 [10:23:37.557]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
10:23:37 [10:23:37.717]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 706.40 MiB)
10:23:37 [10:23:37.786]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 738.40 MiB)
10:23:38 [10:23:38.512]
INFO:
ivc-integration:test:wasm bb - folded (mem: 738.40 MiB)
10:23:38 constructed folding proof (mem: 738.40 MiB)
10:23:38 [10:23:38.514]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 15565 gates. Trace details: (mem: 738.40 MiB)
10:23:38 Minimum required block sizes for structured trace: (mem: 738.40 MiB)
10:23:38 (mem: 738.40 MiB)
10:23:38 prove decider... (mem: 738.40 MiB)
10:23:38 [10:23:38.515]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
10:23:38 busread : 3
10:23:38 lookup : 2
10:23:38 pub_inputs : 36
10:23:38 arithmetic : 4533
10:23:38 delta_range : 2060
10:23:38 elliptic : 2
10:23:38 aux : 50
10:23:38 poseidon2_external : 1332
10:23:38 poseidon2_internal : 7583
10:23:38 overflow : 0
10:23:38 [10:23:38.737]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 738.40 MiB)
10:23:38 [10:23:38.934]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 738.40 MiB)
10:23:40 [10:23:40.657]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 738.40 MiB)
10:23:40 [10:23:40.813]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 738.40 MiB)
10:23:40 finished decider proving. (mem: 738.40 MiB)
10:23:40 [10:23:40.822]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 738.40 MiB)
10:23:40 [10:23:40.932]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 738.40 MiB)
10:23:40 [10:23:40.936]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key...
10:23:40 [10:23:40.937]
INFO:
ivc-integration:test:wasm bb - (mem:
10:23:40 [10:23:40.938]
INFO:
ivc-integration:test:wasm bb - 738.40 MiB)
10:23:41 [10:23:41.139]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 738.40 MiB)
10:23:41 [10:23:41.201]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 271 ms. (mem: 738.40 MiB)
10:23:42 [10:23:42.616]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
10:23:46 [10:23:46.559]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
10:23:46 [10:23:46.562]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 590.56MiB)
10:23:46 [10:23:46.563]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 44310 (mem: 590.56MiB)
10:23:46 [10:23:46.571]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 590.56MiB)
10:23:46 [10:23:46.580]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 590.56MiB)
10:23:46 [10:23:46.607]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 590.56MiB)
10:23:46 [10:23:46.653]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 590.56MiB)
10:23:46 [10:23:46.654]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 590.56MiB)
10:23:46 [10:23:46.655]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 590.56MiB)
10:23:46 [10:23:46.656]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 590.56MiB)
10:23:46 [10:23:46.942]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 590.56MiB)
10:23:46 [10:23:46.943]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 590.56MiB)
10:23:46 [10:23:46.944]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 590.56MiB)
10:23:46 [10:23:46.944]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 590.56MiB)
10:23:47 [10:23:47.034]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 590.56MiB)
10:23:47 [10:23:47.035]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 590.56MiB)
10:23:47 [10:23:47.035]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 590.56MiB)
10:23:47 [10:23:47.036]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 590.56MiB)
10:23:47 [10:23:47.036]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 590.56MiB)
10:23:47 [10:23:47.036]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 590.56MiB)
10:23:47 [10:23:47.557]
INFO:
ivc-integration:test:wasm BB concurrency: 1
10:23:47 [10:23:47.558]
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-WtawIn/proof -k /tmp/bb-client-ivc-integration-WtawIn/vk -v
10:23:47 [10:23:47.624]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 1112.91 MiB)
10:23:47 Scheme is: client_ivc, num threads: 1 (mem: 1112.91 MiB)
10:23:47 --proof_path: /tmp/bb-client-ivc-integration-WtawIn/proof (mem: 1112.91 MiB)
10:23:47 --vk_path: /tmp/bb-client-ivc-integration-WtawIn/vk (mem: 1112.91 MiB)
10:23:47 --verbose: true (mem: 1112.91 MiB)
10:23:47 --scheme: client_ivc (mem: 1112.91 MiB)
10:23:47 [10:23:47.625]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1112.91 MiB)
10:23:47 [10:23:47.638]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1112.91 MiB)
10:23:47 [10:23:47.639]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 1112.91 MiB)
10:23:47 [10:23:47.661]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1112.91 MiB)
10:23:47 Initialized BN254 CRS from memory with num points = 1 (mem: 1112.91 MiB)
10:23:47 sumcheck_verified: 1 (mem: 1112.91 MiB)
10:23:47 libra_evals_verified: 1 (mem: 1112.91 MiB)
10:23:47 pairing_check_verified: 1 (mem: 1112.91 MiB)
10:23:47 Mega verified: 1 (mem: 1112.91 MiB)
10:23:48 [10:23:48.193]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 1112.91 MiB)
10:23:48 batch opening verified?: 1 (mem: 1112.91 MiB)
10:23:48 eccvm consistency check verified?: 1 (mem: 1112.91 MiB)
10:23:48 translation masking consistency checked?: 1 (mem: 1112.91 MiB)
10:23:48 [10:23:48.214]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 1112.91 MiB)
10:23:48 eccvm verified?: 1 (mem: 1112.91 MiB)
10:23:48 accumulator construction_verified?: 1 (mem: 1112.91 MiB)
10:23:48 translation verified?: 1 (mem: 1112.91 MiB)
10:23:48 consistency verified?: 1 (mem: 1112.91 MiB)
10:23:48 Goblin verified: 1 (mem: 1112.91 MiB)
10:23:48 verified: 1 (mem:
10:23:48 [10:23:48.215]
INFO:
ivc-integration:test:wasm 1112.91 MiB)
10:23:48 [10:23:48.230]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
10:23:48 [10:23:48.405]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12113510 bytes
10:23:48 [10:23:48.439]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
10:23:48 [10:23:48.819]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
10:23:48 [10:23:48.830]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
10:23:48 [10:23:48.831]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
10:23:49 [10:23:49.549]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
10:23:49 [10:23:49.646]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
10:23:49 [10:23:49.650]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
10:23:49 [10:23:49.663]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
10:23:49 [10:23:49.676]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 194.06MiB)
10:23:49 [10:23:49.712]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
10:23:49 [10:23:49.723]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 194.06MiB)
10:23:49 [10:23:49.954]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15724,"2":26010}
10:23:50 [10:23:50.059]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
10:23:50 [10:23:50.186]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12113510 bytes
10:23:50 [10:23:50.222]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
10:23:50 [10:23:50.593]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
10:23:50 [10:23:50.622]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
10:23:51 [10:23:51.654]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
10:23:51 [10:23:51.655]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
10:23:52 [10:23:52.446]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
10:23:52 [10:23:52.510]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
10:23:52 [10:23:52.533]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
10:23:52 [10:23:52.533]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 194.06MiB)
10:23:52 [10:23:52.535]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
10:23:52 [10:23:52.535]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
10:23:52 [10:23:52.539]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
10:23:52 [10:23:52.540]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
10:23:52 [10:23:52.540]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
10:23:52 [10:23:52.541]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
10:23:52 [10:23:52.541]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
10:23:52 [10:23:52.541]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
10:23:52 [10:23:52.541]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
10:23:52 [10:23:52.542]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
10:23:52 [10:23:52.542]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
10:23:52 [10:23:52.542]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
10:23:52 [10:23:52.542]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
10:23:52 [10:23:52.543]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
10:23:52 [10:23:52.543]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
10:23:52 [10:23:52.543]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
10:23:52 [10:23:52.544]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
10:23:52 [10:23:52.589]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
10:23:52 [10:23:52.601]
INFO:
ivc-integration:prove_wasm time to construct proving key: 66 ms. (mem: 317.06MiB)
10:23:52 [10:23:52.607]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 317.06MiB)
10:23:52 [10:23:52.858]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 317.06MiB)
10:23:52 [10:23:52.861]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.06MiB)
10:23:53 [10:23:53.130]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
10:23:53 [10:23:53.140]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
10:23:53 [10:23:53.170]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
10:23:53 [10:23:53.171]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
10:23:53 [10:23:53.176]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
10:23:53 [10:23:53.177]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
10:23:53 [10:23:53.177]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
10:23:53 [10:23:53.178]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
10:23:53 [10:23:53.178]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
10:23:53 [10:23:53.179]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 317.94MiB)
10:23:53 [10:23:53.179]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
10:23:53 [10:23:53.179]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
10:23:53 [10:23:53.180]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
10:23:53 [10:23:53.181]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
10:23:53 [10:23:53.181]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
10:23:53 [10:23:53.182]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
10:23:53 [10:23:53.183]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
10:23:53 [10:23:53.184]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
10:23:53 [10:23:53.184]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
10:23:53 [10:23:53.249]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.75MiB)
10:23:53 [10:23:53.279]
INFO:
ivc-integration:prove_wasm time to construct proving key: 108 ms. (mem: 555.63MiB)
10:23:53 [10:23:53.323]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.63MiB)
10:23:53 [10:23:53.722]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.63MiB)
10:23:53 [10:23:53.723]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 555.63MiB)
10:23:54 [10:23:54.265]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.63MiB)
10:23:54 [10:23:54.467]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
10:23:54 [10:23:54.797]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
10:23:55 [10:23:55.150]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
10:23:55 [10:23:55.150]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
10:23:55 [10:23:55.153]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 583.13MiB)
10:23:55 [10:23:55.153]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
10:23:55 [10:23:55.164]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
10:23:55 [10:23:55.165]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 583.13MiB)
10:23:55 [10:23:55.165]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 583.13MiB)
10:23:55 [10:23:55.166]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
10:23:55 [10:23:55.166]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 583.13MiB)
10:23:55 [10:23:55.166]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 583.13MiB)
10:23:55 [10:23:55.166]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 583.13MiB)
10:23:55 [10:23:55.167]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
10:23:55 [10:23:55.168]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 583.13MiB)
10:23:55 [10:23:55.168]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 583.13MiB)
10:23:55 [10:23:55.169]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 583.13MiB)
10:23:55 [10:23:55.169]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
10:23:55 [10:23:55.169]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
10:23:55 [10:23:55.169]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
10:23:55 [10:23:55.170]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
10:23:55 [10:23:55.201]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
10:23:55 [10:23:55.209]
INFO:
ivc-integration:prove_wasm time to construct proving key: 56 ms. (mem: 583.13MiB)
10:23:55 [10:23:55.233]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 583.13MiB)
10:23:55 [10:23:55.498]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 583.13MiB)
10:23:55 [10:23:55.501]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
10:23:55 [10:23:55.671]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 583.13MiB)
10:23:55 [10:23:55.944]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
10:23:56 [10:23:56.222]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
10:23:56 [10:23:56.476]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
10:23:56 [10:23:56.477]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
10:23:56 [10:23:56.486]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 583.13MiB)
10:23:56 [10:23:56.613]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
10:23:56 [10:23:56.759]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 583.13MiB)
10:23:56 [10:23:56.759]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
10:23:56 [10:23:56.764]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
10:23:56 [10:23:56.765]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 583.13MiB)
10:23:56 [10:23:56.765]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 583.13MiB)
10:23:56 [10:23:56.766]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
10:23:56 [10:23:56.770]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 583.13MiB)
10:23:56 [10:23:56.770]
INFO:
ivc-integration:prove_wasm arithmetic : 12208/56000 (mem: 583.13MiB)
10:23:56 [10:23:56.770]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 583.13MiB)
10:23:56 [10:23:56.771]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
10:23:56 [10:23:56.771]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 583.13MiB)
10:23:56 [10:23:56.771]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 583.13MiB)
10:23:56 [10:23:56.771]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 583.13MiB)
10:23:56 [10:23:56.772]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
10:23:56 [10:23:56.772]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
10:23:56 [10:23:56.772]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
10:23:56 [10:23:56.773]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
10:23:56 [10:23:56.813]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
10:23:56 [10:23:56.878]
INFO:
ivc-integration:prove_wasm time to construct proving key: 122 ms. (mem: 586.25MiB)
10:23:56 [10:23:56.998]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 586.25MiB)
10:23:57 [10:23:57.937]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 586.25MiB)
10:23:57 [10:23:57.953]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 586.25MiB)
10:23:59 [10:23:59.295]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 586.25MiB)
10:23:59 [10:23:59.587]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
10:24:00 [10:24:00.019]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 642.00MiB)
10:24:00 [10:24:00.955]
INFO:
ivc-integration:prove_wasm folded (mem: 642.00MiB)
10:24:00 [10:24:00.956]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 642.00MiB)
10:24:01 [10:24:01.008]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 642.00MiB)
10:24:01 [10:24:01.166]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 642.00MiB)
10:24:01 [10:24:01.167]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 642.00MiB)
10:24:01 [10:24:01.170]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 642.00MiB)
10:24:01 [10:24:01.171]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 642.00MiB)
10:24:01 [10:24:01.172]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 642.00MiB)
10:24:01 [10:24:01.172]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 642.00MiB)
10:24:01 [10:24:01.173]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 642.00MiB)
10:24:01 [10:24:01.173]
INFO:
ivc-integration:prove_wasm arithmetic : 6978/56000 (mem: 642.00MiB)
10:24:01 [10:24:01.173]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 642.00MiB)
10:24:01 [10:24:01.174]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 642.00MiB)
10:24:01 [10:24:01.174]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 642.00MiB)
10:24:01 [10:24:01.174]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 642.00MiB)
10:24:01 [10:24:01.174]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 642.00MiB)
10:24:01 [10:24:01.175]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 642.00MiB)
10:24:01 [10:24:01.175]
INFO:
ivc-integration:prove_wasm (mem: 642.00MiB)
10:24:01 [10:24:01.175]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 642.00MiB)
10:24:01 [10:24:01.176]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 642.00MiB)
10:24:01 [10:24:01.224]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 642.00MiB)
10:24:01 [10:24:01.251]
INFO:
ivc-integration:prove_wasm time to construct proving key: 84 ms. (mem: 642.00MiB)
10:24:01 [10:24:01.388]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 642.00MiB)
10:24:02 [10:24:02.302]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 642.00MiB)
10:24:02 [10:24:02.306]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 642.00MiB)
10:24:03 [10:24:03.142]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 642.00MiB)
10:24:03 [10:24:03.609]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 642.00MiB)
10:24:04 [10:24:04.140]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 642.00MiB)
10:24:04 [10:24:04.859]
INFO:
ivc-integration:prove_wasm folded (mem: 642.00MiB)
10:24:04 [10:24:04.860]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 642.00MiB)
10:24:04 [10:24:04.872]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 642.00MiB)
10:24:05 [10:24:05.006]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 642.00MiB)
10:24:05 [10:24:05.007]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 642.00MiB)
10:24:05 [10:24:05.008]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 642.00MiB)
10:24:05 [10:24:05.009]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 642.00MiB)
10:24:05 [10:24:05.009]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 642.00MiB)
10:24:05 [10:24:05.009]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 642.00MiB)
10:24:05 [10:24:05.009]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 642.00MiB)
10:24:05 [10:24:05.010]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 642.00MiB)
10:24:05 [10:24:05.010]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 642.00MiB)
10:24:05 [10:24:05.010]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 642.00MiB)
10:24:05 [10:24:05.011]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 642.00MiB)
10:24:05 [10:24:05.011]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 642.00MiB)
10:24:05 [10:24:05.011]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 642.00MiB)
10:24:05 [10:24:05.012]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 642.00MiB)
10:24:05 [10:24:05.012]
INFO:
ivc-integration:prove_wasm (mem: 642.00MiB)
10:24:05 [10:24:05.012]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 642.00MiB)
10:24:05 [10:24:05.013]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 642.00MiB)
10:24:05 [10:24:05.033]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 642.00MiB)
10:24:05 [10:24:05.069]
INFO:
ivc-integration:prove_wasm time to construct proving key: 64 ms. (mem: 642.00MiB)
10:24:05 [10:24:05.340]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 642.00MiB)
10:24:06 [10:24:06.263]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 642.00MiB)
10:24:06 [10:24:06.267]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 642.00MiB)
10:24:06 [10:24:06.997]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 642.00MiB)
10:24:07 [10:24:07.345]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 642.00MiB)
10:24:07 [10:24:07.825]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 642.00MiB)
10:24:08 [10:24:08.292]
INFO:
ivc-integration:prove_wasm folded (mem: 642.00MiB)
10:24:08 [10:24:08.292]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 642.00MiB)
10:24:08 [10:24:08.293]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 15777 (mem: 642.00MiB)
10:24:08 [10:24:08.293]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 642.00MiB)
10:24:08 [10:24:08.293]
INFO:
ivc-integration:prove_wasm Largest circuit: 48925 gates. Trace details: (mem: 642.00MiB)
10:24:08 [10:24:08.294]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 642.00MiB)
10:24:08 [10:24:08.294]
INFO:
ivc-integration:prove_wasm ecc_op : 792
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.294]
INFO:
ivc-integration:prove_wasm busread : 16
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.294]
INFO:
ivc-integration:prove_wasm lookup : 2
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.295]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.295]
INFO:
ivc-integration:prove_wasm arithmetic : 12208
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.295]
INFO:
ivc-integration:prove_wasm delta_range : 2981
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.295]
INFO:
ivc-integration:prove_wasm elliptic : 2
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.298]
INFO:
ivc-integration:prove_wasm aux : 350
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.298]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.298]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.299]
INFO:
ivc-integration:prove_wasm overflow : 0
10:24:08 (mem: 642.00MiB)
10:24:08 [10:24:08.299]
INFO:
ivc-integration:prove_wasm (mem: 642.00MiB)
10:24:08 [10:24:08.300]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 642.00MiB)
10:24:08 [10:24:08.576]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
10:24:08 [10:24:08.940]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 642.00MiB)
10:24:10 [10:24:10.658]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 642.00MiB)
10:24:11 [10:24:11.078]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 642.00MiB)
10:24:11 [10:24:11.079]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 642.00MiB)
10:24:11 [10:24:11.106]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 642.00MiB)
10:24:11 [10:24:11.284]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 642.00MiB)
10:24:11 [10:24:11.290]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 642.00MiB)
10:24:11 [10:24:11.310]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 642.00MiB)
10:24:11 [10:24:11.344]
INFO:
ivc-integration:prove_wasm time to construct proving key: 60 ms. (mem: 642.00MiB)
10:24:12 [10:24:12.273]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 642.00MiB)
10:24:12 [10:24:12.917]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 642.00MiB)
10:24:12 [10:24:12.938]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
10:24:13 [10:24:13.138]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 642.00MiB)
10:24:13 [10:24:13.968]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 642.00MiB)
10:24:14 [10:24:14.119]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 642.00MiB)
10:24:14 [10:24:14.120]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 642.00MiB)
10:24:14 [10:24:14.120]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 642.00MiB)
10:24:14 [10:24:14.259]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 642.00MiB)
10:24:17 [10:24:17.127]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
10:24:20 [10:24:20.543]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 642.00MiB)
10:24:24 [10:24:24.768]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 642.00MiB)
10:24:24 [10:24:24.769]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 642.00MiB)
10:24:26 [10:24:26.415]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
10:24:30 [10:24:30.714]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 642.00MiB)
10:24:34 [10:24:34.023]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 642.00MiB)
10:24:34 [10:24:34.023]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 642.00MiB)
10:24:34 [10:24:34.024]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 41505 (mem: 642.00MiB)
10:24:34 [10:24:34.034]
INFO:
ivc-integration:prove_wasm time to serialize proof: 16 (mem: 642.00MiB)
10:24:34 [10:24:34.035]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.071]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 642.00MiB)
10:24:34 [10:24:34.125]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.125]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.126]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.129]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.391]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.392]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.392]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.393]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.445]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.446]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.446]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.446]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.446]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.447]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.452]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 642.00MiB)
10:24:34 [10:24:34.503]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.504]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.504]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.504]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.705]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.705]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.706]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.706]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.777]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.778]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.779]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.779]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.779]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 642.00MiB)
10:24:34 [10:24:34.780]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 642.00MiB)
10:24:35 [10:24:35.251]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
10:24:35
PASS src/wasm_client_ivc_integration.test.ts (
99.839 s)
10:24:35 Client IVC Integration
10:24:35
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (49341 ms)
10:24:35
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1734 ms)
10:24:35
✓ Should generate a verifiable client IVC proof from a complex mock tx (45296 ms)
10:24:35
10:24:35
Test Suites: 1 passed, 1 total
10:24:35
Tests: 3 passed, 3 total
10:24:35
Snapshots: 0 total
10:24:35
Time: 99.92 s
10:24:35
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
10:24:35
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?