Parent Log:
http://ci.aztec-labs.com/34bf0c3e7d631ad0
Command: f803628267cda2b6: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/21a568ac0c9ef351b1923375be41d4620add2b60
Env: REF_NAME=gh-readonly-queue/next/pr-15042-b80949775e5c27908a6055ad24592f7d98bdc45a CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Sun Jun 15 12:30:17 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15042_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
12:30:21 [12:30:21.981]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
12:30:21 [12:30:21.988]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-eFlE7V/ivc-inputs.msgpack
12:30:21 [12:30:21.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-eFlE7V --ivc_inputs_path /tmp/bb-client-ivc-integration-eFlE7V/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
12:30:22 [12:30:22.011]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 158.62 MiB)
12:30:22 [12:30:22.012]
INFO:
ivc-integration:test:wasm bb - Scheme is: client_ivc, num threads: 128 (mem: 158.62 MiB)
12:30:22 --scheme: client_ivc (mem: 158.62 MiB)
12:30:22 --output_path: /tmp/bb-client-ivc-integration-eFlE7V (mem: 158.62 MiB)
12:30:22 --ivc_inputs_path: /tmp/bb-client-ivc-integration-eFlE7V/ivc-inputs.msgpack (mem: 158.62 MiB)
12:30:22 --verbose: true (mem: 158.62 MiB)
12:30:22 --write_vk: true (mem: 158.62 MiB)
12:30:22 BN254 commitment key size: 262144 (mem: 158.62 MiB)
12:30:22 [12:30:22.209]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12062252 bytes
12:30:22 [12:30:22.225]
INFO:
ivc-integration:test:wasm bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 247.00 MiB)
12:30:22 Initialized BN254 CRS from memory with num points = 263169 (mem: 295.27 MiB)
12:30:22 ClientIVC: accumulating unknown_0 (mem: 295.27 MiB)
12:30:22 Constructing DeciderProvingKey (mem: 295.27 MiB)
12:30:22 Gate blocks summary: (actual gates / fixed capacity) (mem: 295.27 MiB)
12:30:22 goblin ecc op : 4/1024 (mem: 295.27 MiB)
12:30:22 busread : 7/6000 (mem: 295.27 MiB)
12:30:22 lookups : 2/15000 (mem: 295.27 MiB)
12:30:22 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 295.27 MiB)
12:30:22 arithmetic : 1760/56000 (mem: 295.27 MiB)
12:30:22 delta range : 1754/18000 (mem: 295.27 MiB)
12:30:22 elliptic : 2/6000 (mem: 295.27 MiB)
12:30:22 auxiliary : 26/26000 (mem: 295.27 MiB)
12:30:22 poseidon ext : 2/17000 (mem: 295.27 MiB)
12:30:22 poseidon int : 2/92000 (mem: 295.27 MiB)
12:30:22 overflow : 0/0 (mem: 295.27 MiB)
12:30:22 (mem: 295.27 MiB)
12:30:22 Total structured size: 242025 (mem: 295.27 MiB)
12:30:22 allocating polynomials object in proving key... (mem: 295.27 MiB)
12:30:22 [12:30:22.247]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
12:30:22 [12:30:22.290]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 501.43 MiB)
12:30:22 [12:30:22.302]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 100 ms. (mem: 511.43 MiB)
12:30:22 [12:30:22.343]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5cc26acd7240 (mem: 511.43 MiB)
12:30:22 computing oink proof... (mem: 511.43 MiB)
12:30:22 [12:30:22.344]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 511.43 MiB)
12:30:22 [12:30:22.537]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 520.43 MiB)
12:30:22 [12:30:22.544]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.43 MiB)
12:30:22 [12:30:22.554]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
12:30:22 [12:30:22.559]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 521.43 MiB)
12:30:22 Constructing DeciderProvingKey (mem: 521.43 MiB)
12:30:22 [12:30:22.561]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 521.43 MiB)
12:30:22 goblin ecc op : 56/1024 (mem: 521.43 MiB)
12:30:22 busread : 12/6000 (mem: 521.43 MiB)
12:30:22 lookups : 2/15000 (mem: 521.43 MiB)
12:30:22 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 521.43 MiB)
12:30:22 arithmetic : 4625/56000 (mem: 521.43 MiB)
12:30:22 delta range : 2054/18000
12:30:22 [12:30:22.562]
INFO:
ivc-integration:test:wasm bb - (mem: 521.43 MiB)
12:30:22 elliptic : 2/6000 (mem: 521.43 MiB)
12:30:22 auxiliary : 110/26000 (mem: 521.43 MiB)
12:30:22 poseidon ext : 1302/17000 (mem: 521.43 MiB)
12:30:22 poseidon int : 7412/92000 (mem: 521.43 MiB)
12:30:22 overflow : 0/0 (mem: 521.43 MiB)
12:30:22 (mem: 521.43 MiB)
12:30:22 Total structured size: 242025 (mem: 521.43 MiB)
12:30:22 allocating polynomials object in proving key... (mem: 521.43 MiB)
12:30:22 [12:30:22.564]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
12:30:22 [12:30:22.649]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 731.43 MiB)
12:30:22 [12:30:22.672]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 114 ms. (mem: 746.43 MiB)
12:30:22 [12:30:22.778]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5cc26ace3ec0 (mem: 746.43 MiB)
12:30:22 computing folding proof (mem: 746.43 MiB)
12:30:22 [12:30:22.779]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 746.43 MiB)
12:30:23 [12:30:23.267]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 747.43 MiB)
12:30:23 [12:30:23.359]
INFO:
ivc-integration:test:wasm bb - perturbator round
12:30:23 [12:30:23.360]
INFO:
ivc-integration:test:wasm bb - (mem: 785.43 MiB)
12:30:23 [12:30:23.411]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 818.43 MiB)
12:30:23 [12:30:23.834]
INFO:
ivc-integration:test:wasm bb - folded (mem: 818.43 MiB)
12:30:23 constructed folding proof (mem: 818.43 MiB)
12:30:23 [12:30:23.849]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 818.43 MiB)
12:30:23 [12:30:23.856]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
12:30:23 [12:30:23.857]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
12:30:24 [12:30:24.508]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 818.43 MiB)
12:30:24 Constructing DeciderProvingKey (mem: 818.43 MiB)
12:30:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 818.43 MiB)
12:30:24 goblin ecc op : 392/1024 (mem: 818.43 MiB)
12:30:24 busread : 3/6000 (mem: 818.43 MiB)
12:30:24 lookups : 2/15000 (mem: 818.43 MiB)
12:30:24 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 818.43 MiB)
12:30:24 arithmetic : 6849/56000 (mem: 818.43 MiB)
12:30:24 delta range : 2333/18000 (mem: 818.43 MiB)
12:30:24 elliptic : 2/6000 (mem: 818.43 MiB)
12:30:24 auxiliary : 50/26000 (mem: 818.43 MiB)
12:30:24 poseidon ext : 2472/17000 (mem: 818.43 MiB)
12:30:24 poseidon int : 14081/92000 (mem: 818.43 MiB)
12:30:24 overflow : 0/0 (mem: 818.43 MiB)
12:30:24 (mem: 818.43 MiB)
12:30:24 Total structured size: 242025 (mem: 818.43 MiB)
12:30:24 allocating polynomials object in proving key... (mem: 818.43 MiB)
12:30:24 populating trace... (mem: 818.43 MiB)
12:30:24 time to construct proving key: 285 ms. (mem: 818.43 MiB)
12:30:24 getting honk vk... precomputed?: 0x5cc26acd9940 (mem: 818.43 MiB)
12:30:24 computing folding proof (mem: 818.43 MiB)
12:30:24 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 818.43 MiB)
12:30:24 [12:30:24.903]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 818.43 MiB)
12:30:25 [12:30:24.998]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 818.43 MiB)
12:30:25 [12:30:25.032]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 818.43 MiB)
12:30:25 [12:30:25.355]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
12:30:25 [12:30:25.406]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
12:30:25 [12:30:25.430]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
12:30:25 [12:30:25.456]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 354.06MiB)
12:30:25 [12:30:25.467]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
12:30:25 [12:30:25.469]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
12:30:25 [12:30:25.493]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
12:30:25 [12:30:25.495]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
12:30:25 [12:30:25.495]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
12:30:25 [12:30:25.496]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
12:30:25 [12:30:25.498]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
12:30:25 [12:30:25.501]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
12:30:25 [12:30:25.502]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
12:30:25 [12:30:25.505]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
12:30:25 [12:30:25.506]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
12:30:25 [12:30:25.506]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
12:30:25 [12:30:25.507]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
12:30:25 [12:30:25.507]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
12:30:25 [12:30:25.509]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
12:30:25 [12:30:25.509]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
12:30:25 [12:30:25.510]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
12:30:25 [12:30:25.510]
INFO:
ivc-integration:test:wasm bb - folded (mem: 818.43 MiB)
12:30:25 constructed folding proof (mem: 818.43 MiB)
12:30:25 Largest circuit: 25792 gates. Trace details: (mem: 818.43 MiB)
12:30:25 Minimum required block sizes for structured trace: (mem: 818.43 MiB)
12:30:25 (mem: 818.43 MiB)
12:30:25 prove decider... (mem: 818.43 MiB)
12:30:25 [12:30:25.512]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
12:30:25 busread : 12
12:30:25 lookup : 2
12:30:25 pub_inputs : 36
12:30:25 arithmetic : 6849
12:30:25 delta_range : 2333
12:30:25 elliptic : 2
12:30:25 aux : 110
12:30:25 poseidon2_external : 2472
12:30:25 poseidon2_internal : 14081
12:30:25 overflow : 0
12:30:25 [12:30:25.651]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
12:30:25 [12:30:25.692]
INFO:
ivc-integration:prove_wasm time to construct proving key: 219 ms. (mem: 581.38MiB)
12:30:25 [12:30:25.730]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
12:30:25 [12:30:25.735]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.43 MiB)
12:30:25 [12:30:25.933]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 818.43 MiB)
12:30:27 [12:30:27.084]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 818.43 MiB)
12:30:27 [12:30:27.171]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 818.43 MiB)
12:30:27 finished decider proving. (mem: 818.43 MiB)
12:30:27 [12:30:27.193]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 818.43 MiB)
12:30:27 [12:30:27.349]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 818.43 MiB)
12:30:27 [12:30:27.359]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 818.43 MiB)
12:30:27 [12:30:27.616]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 818.43 MiB)
12:30:27 [12:30:27.704]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 350 ms. (mem: 818.43 MiB)
12:30:27 [12:30:27.790]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
12:30:27 [12:30:27.794]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
12:30:28 [12:30:28.321]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
12:30:28 [12:30:28.360]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
12:30:28 [12:30:28.412]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
12:30:28 [12:30:28.413]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
12:30:28 [12:30:28.420]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
12:30:28 [12:30:28.422]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
12:30:28 [12:30:28.425]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
12:30:28 [12:30:28.426]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
12:30:28 [12:30:28.427]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
12:30:28 [12:30:28.428]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.38MiB)
12:30:28 [12:30:28.429]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.38MiB)
12:30:28 [12:30:28.430]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
12:30:28 [12:30:28.431]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
12:30:28 [12:30:28.431]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.38MiB)
12:30:28 [12:30:28.432]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.38MiB)
12:30:28 [12:30:28.432]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
12:30:28 [12:30:28.433]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
12:30:28 [12:30:28.433]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
12:30:28 [12:30:28.434]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
12:30:28 [12:30:28.567]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.13MiB)
12:30:28 [12:30:28.623]
INFO:
ivc-integration:prove_wasm time to construct proving key: 209 ms. (mem: 820.19MiB)
12:30:28 [12:30:28.700]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.19MiB)
12:30:28 [12:30:28.892]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 818.43 MiB)
12:30:29 [12:30:29.600]
INFO:
ivc-integration:test:wasm bb - created oink proof
12:30:29 [12:30:29.601]
INFO:
ivc-integration:test:wasm bb - (mem: 818.43 MiB)
12:30:29 [12:30:29.920]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.43 MiB)
12:30:31 [12:30:31.019]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.19MiB)
12:30:31 [12:30:31.023]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.19MiB)
12:30:31 [12:30:31.865]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 818.43 MiB)
12:30:32 [12:30:32.148]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.19MiB)
12:30:32 [12:30:32.497]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
12:30:33 [12:30:33.022]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 818.43 MiB)
12:30:33 [12:30:33.066]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 818.43 MiB)
12:30:33 finished decider proving. (mem: 818.43 MiB)
12:30:33 Constructing a Goblin proof with num ultra ops = 1038 (mem: 818.43 MiB)
12:30:33 [12:30:33.282]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 818.43 MiB)
12:30:33 [12:30:33.326]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
12:30:33 [12:30:33.652]
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: 818.43 MiB)
12:30:33 [12:30:33.665]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 818.43 MiB)
12:30:34 [12:30:34.165]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
12:30:34 [12:30:34.166]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
12:30:34 [12:30:34.186]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 847.69MiB)
12:30:34 [12:30:34.341]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
12:30:34 [12:30:34.345]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
12:30:34 [12:30:34.351]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
12:30:34 [12:30:34.352]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
12:30:34 [12:30:34.352]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
12:30:34 [12:30:34.353]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
12:30:34 [12:30:34.353]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
12:30:34 [12:30:34.354]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 847.69MiB)
12:30:34 [12:30:34.354]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 847.69MiB)
12:30:34 [12:30:34.354]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
12:30:34 [12:30:34.355]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
12:30:34 [12:30:34.355]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 847.69MiB)
12:30:34 [12:30:34.355]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 847.69MiB)
12:30:34 [12:30:34.356]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
12:30:34 [12:30:34.356]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
12:30:34 [12:30:34.356]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
12:30:34 [12:30:34.357]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
12:30:34 [12:30:34.436]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
12:30:34 [12:30:34.477]
INFO:
ivc-integration:prove_wasm time to construct proving key: 132 ms. (mem: 847.69MiB)
12:30:34 [12:30:34.569]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
12:30:35 [12:30:35.716]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.43 MiB)
12:30:36 [12:30:36.759]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
12:30:36 [12:30:36.763]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.69MiB)
12:30:37 [12:30:37.992]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
12:30:38 [12:30:38.295]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
12:30:38 [12:30:38.311]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 818.43 MiB)
12:30:38 [12:30:38.563]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
12:30:39 [12:30:39.113]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
12:30:39 [12:30:39.116]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
12:30:39 [12:30:39.119]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 13707 (mem: 855.63MiB)
12:30:39 [12:30:39.121]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
12:30:39 [12:30:39.122]
INFO:
ivc-integration:prove_wasm Largest circuit: 25792 gates. Trace details: (mem: 855.63MiB)
12:30:39 [12:30:39.123]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
12:30:39 [12:30:39.123]
INFO:
ivc-integration:prove_wasm ecc_op : 392
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.124]
INFO:
ivc-integration:prove_wasm busread : 12
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.124]
INFO:
ivc-integration:prove_wasm lookup : 2
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.124]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.124]
INFO:
ivc-integration:prove_wasm arithmetic : 6849
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.129]
INFO:
ivc-integration:prove_wasm delta_range : 2333
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.129]
INFO:
ivc-integration:prove_wasm elliptic : 2
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.130]
INFO:
ivc-integration:prove_wasm aux : 110
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.130]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2472
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.130]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14081
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.131]
INFO:
ivc-integration:prove_wasm overflow : 0
12:30:39 (mem: 855.63MiB)
12:30:39 [12:30:39.131]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
12:30:39 [12:30:39.131]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
12:30:39 [12:30:39.479]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
12:30:39 [12:30:39.946]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
12:30:41 [12:30:41.719]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
12:30:42 [12:30:42.065]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
12:30:42 [12:30:42.068]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
12:30:42 [12:30:42.088]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 855.63MiB)
12:30:42 [12:30:42.327]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
12:30:42 [12:30:42.333]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
12:30:42 [12:30:42.352]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
12:30:42 [12:30:42.401]
INFO:
ivc-integration:prove_wasm time to construct proving key: 77 ms. (mem: 855.63MiB)
12:30:43 [12:30:43.727]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving.
12:30:43 [12:30:43.728]
INFO:
ivc-integration:test:wasm bb - (mem: 818.43 MiB)
12:30:43 prove translator... (mem: 818.43 MiB)
12:30:43 [12:30:43.976]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
12:30:45 [12:30:45.129]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
12:30:45 [12:30:45.163]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
12:30:45 [12:30:45.407]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
12:30:46 [12:30:46.136]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 846.28 MiB)
12:30:46 [12:30:46.140]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
12:30:46 [12:30:46.306]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
12:30:46 [12:30:46.308]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
12:30:46 [12:30:46.309]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
12:30:46 [12:30:46.463]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
12:30:49 [12:30:49.068]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 846.28 MiB)
12:30:49 [12:30:49.217]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
12:30:51 [12:30:51.630]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 846.28 MiB)
12:30:51 [12:30:51.631]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 846.28 MiB)
12:30:51 [12:30:51.642]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.28 MiB)
12:30:51 [12:30:51.664]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 846.28 MiB)
12:30:51 libra_evals_verified: 1 (mem: 846.28 MiB)
12:30:51 pairing_check_verified: 1 (mem: 846.28 MiB)
12:30:51 Mega verified: 1 (mem: 846.28 MiB)
12:30:51 [12:30:51.799]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 847.28 MiB)
12:30:51 batch opening verified?: 1 (mem: 847.28 MiB)
12:30:51 eccvm consistency check verified?: 1 (mem: 847.28 MiB)
12:30:51 translation masking consistency checked?: 1 (mem: 847.28 MiB)
12:30:51 [12:30:51.836]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 847.28 MiB)
12:30:51 eccvm verified?: 1 (mem: 847.28 MiB)
12:30:51 accumulator construction_verified?: 1 (mem: 847.28 MiB)
12:30:51 translation verified?: 1 (mem: 847.28 MiB)
12:30:51 consistency verified?: 1 (mem: 847.28 MiB)
12:30:51 Goblin verified: 1 (mem: 847.28 MiB)
12:30:51 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-eFlE7V" (mem: 847.28 MiB)
12:30:51 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-eFlE7V" (mem: 847.28 MiB)
12:30:51 BN254 commitment key size: 262144 (mem: 847.28 MiB)
12:30:51 [12:30:51.841]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey
12:30:51 [12:30:51.848]
INFO:
ivc-integration:test:wasm bb - (mem: 847.28 MiB)
12:30:51 [12:30:51.874]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.28 MiB)
12:30:51 goblin ecc op : 4/1024 (mem: 847.28 MiB)
12:30:51 busread : 3/6000 (mem: 847.28 MiB)
12:30:51 lookups : 2/15000 (mem: 847.28 MiB)
12:30:51 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 847.28 MiB)
12:30:51 arithmetic : 1773/56000 (mem: 847.28 MiB)
12:30:51 delta range : 1754/18000 (mem: 847.28 MiB)
12:30:51 elliptic : 2/6000 (mem: 847.28 MiB)
12:30:51 auxiliary : 26/26000 (mem: 847.28 MiB)
12:30:51 poseidon ext : 2/17000 (mem: 847.28 MiB)
12:30:51 poseidon int : 2/92000 (mem: 847.28 MiB)
12:30:51 overflow : 0/0 (mem: 847.28 MiB)
12:30:51 (mem: 847.28 MiB)
12:30:51 Total structured size: 242025 (mem: 847.28 MiB)
12:30:51 allocating polynomials object in proving key... (mem: 847.28 MiB)
12:30:52 [12:30:52.253]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 847.28 MiB)
12:30:52 [12:30:52.281]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 434 ms. (mem:
12:30:52 [12:30:52.282]
INFO:
ivc-integration:test:wasm bb - 847.28 MiB)
12:30:52 [12:30:52.438]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 847.28 MiB)
12:30:53 [12:30:53.165]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
12:30:53 [12:30:53.500]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 847.28 MiB)
12:30:53 [12:30:53.502]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.28 MiB)
12:30:53 [12:30:53.996]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 847.28 MiB)
12:30:54 [12:30:54.005]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.28 MiB)
12:30:54 [12:30:54.022]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 847.28 MiB)
12:30:54 [12:30:54.025]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.28 MiB)
12:30:54 goblin ecc op : 56/1024 (mem: 847.28 MiB)
12:30:54 busread : 3/6000 (mem: 847.28 MiB)
12:30:54 lookups : 2/15000 (mem: 847.28 MiB)
12:30:54 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.28 MiB)
12:30:54 arithmetic : 4481/56000 (mem: 847.28 MiB)
12:30:54 delta range : 2041/18000 (mem: 847.28 MiB)
12:30:54 elliptic : 2/6000 (mem: 847.28 MiB)
12:30:54 auxiliary : 50/26000 (mem: 847.28 MiB)
12:30:54 [12:30:54.028]
INFO:
ivc-integration:test:wasm bb - poseidon ext : 1312/17000 (mem: 847.28 MiB)
12:30:54 poseidon int : 7469/92000 (mem: 847.28 MiB)
12:30:54 overflow : 0/0 (mem: 847.28 MiB)
12:30:54 (mem: 847.28 MiB)
12:30:54 Total structured size: 242025 (mem: 847.28 MiB)
12:30:54 allocating polynomials object in proving key... (mem: 847.28 MiB)
12:30:54 [12:30:54.269]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 847.28 MiB)
12:30:54 [12:30:54.324]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 296 ms. (mem: 847.28 MiB)
12:30:54 [12:30:54.543]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 847.28 MiB)
12:30:55 [12:30:55.382]
INFO:
ivc-integration:test:wasm bb - computing folding proof
12:30:55 [12:30:55.382]
INFO:
ivc-integration:test:wasm bb - (mem: 847.28 MiB)
12:30:55 [12:30:55.383]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 847.28 MiB)
12:30:56 [12:30:56.179]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 847.28 MiB)
12:30:56 [12:30:56.308]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 850.28 MiB)
12:30:56 [12:30:56.463]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 881.28 MiB)
12:30:57 [12:30:57.054]
INFO:
ivc-integration:test:wasm bb - folded (mem: 881.28 MiB)
12:30:57 constructed folding proof (mem: 881.28 MiB)
12:30:57 Largest circuit: 15360 gates. Trace details: (mem: 881.28 MiB)
12:30:57 Minimum required block sizes for structured trace: (mem: 881.28 MiB)
12:30:57 (mem: 881.28 MiB)
12:30:57 prove decider... (mem: 881.28 MiB)
12:30:57 [12:30:57.056]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
12:30:57 busread : 3
12:30:57 lookup : 2
12:30:57 pub_inputs : 36
12:30:57 arithmetic : 4481
12:30:57 delta_range : 2041
12:30:57 elliptic : 2
12:30:57 aux : 50
12:30:57 poseidon2_external : 1312
12:30:57 poseidon2_internal : 7469
12:30:57 overflow : 0
12:30:57 [12:30:57.296]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 881.28 MiB)
12:30:57 [12:30:57.469]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 881.28 MiB)
12:30:58 [12:30:58.916]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 881.28 MiB)
12:30:59 [12:30:59.047]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 881.28 MiB)
12:30:59 finished decider proving. (mem: 881.28 MiB)
12:30:59 [12:30:59.075]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 881.28 MiB)
12:30:59 [12:30:59.183]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 881.28 MiB)
12:30:59 [12:30:59.191]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 881.28 MiB)
12:30:59 [12:30:59.352]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 881.28 MiB)
12:30:59 [12:30:59.407]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 224 ms. (mem: 881.28 MiB)
12:31:01 [12:31:01.415]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
12:31:01 [12:31:01.416]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
12:31:07 [12:31:07.770]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
12:31:12 [12:31:12.056]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
12:31:14 [12:31:14.834]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
12:31:14 [12:31:14.835]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
12:31:14 [12:31:14.835]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 49426 (mem: 855.63MiB)
12:31:14 [12:31:14.844]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 855.63MiB)
12:31:14 [12:31:14.846]
INFO:
ivc-integration:prove_wasm time to serialize vk: 5 (mem: 855.63MiB)
12:31:14 [12:31:14.864]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
12:31:14 [12:31:14.929]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
12:31:14 [12:31:14.934]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
12:31:14 [12:31:14.934]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
12:31:14 [12:31:14.935]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.216]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.226]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.227]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.227]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.316]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.317]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.317]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.317]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.318]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.318]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
12:31:15 [12:31:15.951]
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-eFlE7V/proof -k /tmp/bb-client-ivc-integration-eFlE7V/vk -v
12:31:16 [12:31:16.035]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 804.63 MiB)
12:31:16 Scheme is: client_ivc, num threads: 128 (mem: 804.63 MiB)
12:31:16 --proof_path: /tmp/bb-client-ivc-integration-eFlE7V/proof (mem: 804.63 MiB)
12:31:16 --vk_path: /tmp/bb-client-ivc-integration-eFlE7V/vk (mem: 804.63 MiB)
12:31:16 --verbose: true (mem: 804.63 MiB)
12:31:16 --scheme: client_ivc (mem: 804.63 MiB)
12:31:16 [12:31:16.120]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 804.63 MiB)
12:31:16 [12:31:16.143]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 804.63 MiB)
12:31:16 [12:31:16.145]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 804.63 MiB)
12:31:16 [12:31:16.163]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 804.63 MiB)
12:31:16 [12:31:16.164]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1025 (mem: 804.63 MiB)
12:31:16 [12:31:16.165]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 804.63 MiB)
12:31:16 libra_evals_verified: 1 (mem: 804.63 MiB)
12:31:16 pairing_check_verified: 1 (mem: 804.63 MiB)
12:31:16 Mega verified: 1 (mem: 804.63 MiB)
12:31:16 [12:31:16.335]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 804.63 MiB)
12:31:16 batch opening verified?: 1 (mem: 804.63 MiB)
12:31:16 eccvm consistency check verified?: 1 (mem: 804.63 MiB)
12:31:16 translation masking consistency checked?: 1 (mem: 804.63 MiB)
12:31:16 [12:31:16.357]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 804.63 MiB)
12:31:16 eccvm verified?: 1 (mem: 804.63 MiB)
12:31:16 accumulator construction_verified?: 1 (mem: 804.63 MiB)
12:31:16 translation verified?: 1 (mem: 804.63 MiB)
12:31:16 consistency verified?: 1 (mem: 804.63 MiB)
12:31:16 [12:31:16.357]
INFO:
ivc-integration:test:wasm Goblin verified: 1 (mem: 804.63 MiB)
12:31:16 [12:31:16.361]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 804.63 MiB)
12:31:16 [12:31:16.433]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
12:31:16 [12:31:16.662]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12062252 bytes
12:31:16 [12:31:16.715]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
12:31:17 [12:31:17.239]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
12:31:17 [12:31:17.261]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
12:31:17 [12:31:17.265]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
12:31:18 [12:31:18.216]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
12:31:18 [12:31:18.301]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
12:31:18 [12:31:18.329]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
12:31:18 [12:31:18.424]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
12:31:18 [12:31:18.465]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
12:31:18 [12:31:18.529]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
12:31:18 [12:31:18.543]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
12:31:18 [12:31:18.837]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15519,"2":25792}
12:31:18 [12:31:18.968]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
12:31:19 [12:31:19.127]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12062252 bytes
12:31:19 [12:31:19.168]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
12:31:19 [12:31:19.676]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
12:31:19 [12:31:19.690]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
12:31:20 [12:31:20.995]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
12:31:20 [12:31:20.997]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
12:31:22 [12:31:22.534]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
12:31:22 [12:31:22.686]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
12:31:22 [12:31:22.746]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
12:31:22 [12:31:22.773]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 354.06MiB)
12:31:22 [12:31:22.788]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
12:31:22 [12:31:22.789]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
12:31:22 [12:31:22.812]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
12:31:22 [12:31:22.815]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
12:31:22 [12:31:22.815]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
12:31:22 [12:31:22.816]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
12:31:22 [12:31:22.816]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
12:31:22 [12:31:22.817]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
12:31:22 [12:31:22.818]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
12:31:22 [12:31:22.819]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
12:31:22 [12:31:22.819]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
12:31:22 [12:31:22.819]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
12:31:22 [12:31:22.820]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
12:31:22 [12:31:22.820]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
12:31:22 [12:31:22.821]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
12:31:22 [12:31:22.821]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
12:31:22 [12:31:22.821]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
12:31:22 [12:31:22.927]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.56MiB)
12:31:22 [12:31:22.967]
INFO:
ivc-integration:prove_wasm time to construct proving key: 178 ms. (mem: 581.81MiB)
12:31:23 [12:31:23.007]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.81MiB)
12:31:25 [12:31:25.016]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.81MiB)
12:31:25 [12:31:25.018]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
12:31:25 [12:31:25.463]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.81MiB)
12:31:25 [12:31:25.486]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
12:31:25 [12:31:25.519]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.81MiB)
12:31:25 [12:31:25.519]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.81MiB)
12:31:25 [12:31:25.522]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.81MiB)
12:31:25 [12:31:25.523]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.81MiB)
12:31:25 [12:31:25.523]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.81MiB)
12:31:25 [12:31:25.524]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.81MiB)
12:31:25 [12:31:25.524]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.81MiB)
12:31:25 [12:31:25.524]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.81MiB)
12:31:25 [12:31:25.525]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.81MiB)
12:31:25 [12:31:25.525]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.81MiB)
12:31:25 [12:31:25.526]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.81MiB)
12:31:25 [12:31:25.526]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.81MiB)
12:31:25 [12:31:25.529]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.81MiB)
12:31:25 [12:31:25.529]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.81MiB)
12:31:25 [12:31:25.530]
INFO:
ivc-integration:prove_wasm (mem: 581.81MiB)
12:31:25 [12:31:25.530]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.81MiB)
12:31:25 [12:31:25.531]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.81MiB)
12:31:25 [12:31:25.619]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.56MiB)
12:31:25 [12:31:25.648]
INFO:
ivc-integration:prove_wasm time to construct proving key: 130 ms. (mem: 820.69MiB)
12:31:25 [12:31:25.667]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
12:31:27 [12:31:27.320]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
12:31:27 [12:31:27.323]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.69MiB)
12:31:27 [12:31:27.729]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
12:31:27 [12:31:27.986]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
12:31:28 [12:31:28.458]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
12:31:28 [12:31:28.896]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
12:31:28 [12:31:28.898]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
12:31:28 [12:31:28.898]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
12:31:28 [12:31:28.899]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
12:31:28 [12:31:28.901]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
12:31:28 [12:31:28.902]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
12:31:28 [12:31:28.902]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
12:31:28 [12:31:28.906]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
12:31:28 [12:31:28.907]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
12:31:28 [12:31:28.907]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
12:31:28 [12:31:28.907]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
12:31:28 [12:31:28.907]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
12:31:28 [12:31:28.908]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
12:31:28 [12:31:28.908]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
12:31:28 [12:31:28.908]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
12:31:28 [12:31:28.908]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
12:31:28 [12:31:28.909]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
12:31:28 [12:31:28.909]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
12:31:28 [12:31:28.909]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
12:31:28 [12:31:28.933]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
12:31:28 [12:31:28.942]
INFO:
ivc-integration:prove_wasm time to construct proving key: 44 ms. (mem: 848.19MiB)
12:31:28 [12:31:28.968]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
12:31:30 [12:31:30.513]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
12:31:30 [12:31:30.516]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
12:31:30 [12:31:30.945]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
12:31:31 [12:31:31.261]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
12:31:31 [12:31:31.524]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
12:31:31 [12:31:31.860]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
12:31:31 [12:31:31.860]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
12:31:31 [12:31:31.876]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 848.19MiB)
12:31:31 [12:31:31.999]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
12:31:32 [12:31:32.156]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
12:31:32 [12:31:32.157]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
12:31:32 [12:31:32.161]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
12:31:32 [12:31:32.162]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
12:31:32 [12:31:32.162]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
12:31:32 [12:31:32.162]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
12:31:32 [12:31:32.163]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
12:31:32 [12:31:32.163]
INFO:
ivc-integration:prove_wasm arithmetic : 12080/56000 (mem: 848.19MiB)
12:31:32 [12:31:32.164]
INFO:
ivc-integration:prove_wasm delta range : 2942/18000 (mem: 848.19MiB)
12:31:32 [12:31:32.164]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
12:31:32 [12:31:32.164]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
12:31:32 [12:31:32.165]
INFO:
ivc-integration:prove_wasm poseidon ext : 4942/17000 (mem: 848.19MiB)
12:31:32 [12:31:32.165]
INFO:
ivc-integration:prove_wasm poseidon int : 28160/92000 (mem: 848.19MiB)
12:31:32 [12:31:32.166]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
12:31:32 [12:31:32.166]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
12:31:32 [12:31:32.166]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
12:31:32 [12:31:32.166]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
12:31:32 [12:31:32.198]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
12:31:32 [12:31:32.249]
INFO:
ivc-integration:prove_wasm time to construct proving key: 96 ms. (mem: 851.25MiB)
12:31:32 [12:31:32.329]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.25MiB)
12:31:33 [12:31:33.685]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.25MiB)
12:31:33 [12:31:33.687]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 851.25MiB)
12:31:34 [12:31:34.402]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.25MiB)
12:31:34 [12:31:34.671]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
12:31:34 [12:31:34.995]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
12:31:35 [12:31:35.272]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
12:31:35 [12:31:35.273]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
12:31:35 [12:31:35.284]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 875.44MiB)
12:31:35 [12:31:35.442]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 875.44MiB)
12:31:35 [12:31:35.443]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
12:31:35 [12:31:35.448]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
12:31:35 [12:31:35.449]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
12:31:35 [12:31:35.449]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 875.44MiB)
12:31:35 [12:31:35.450]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
12:31:35 [12:31:35.451]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 875.44MiB)
12:31:35 [12:31:35.452]
INFO:
ivc-integration:prove_wasm arithmetic : 6914/56000 (mem: 875.44MiB)
12:31:35 [12:31:35.452]
INFO:
ivc-integration:prove_wasm delta range : 2347/18000 (mem: 875.44MiB)
12:31:35 [12:31:35.452]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
12:31:35 [12:31:35.453]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 875.44MiB)
12:31:35 [12:31:35.453]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 875.44MiB)
12:31:35 [12:31:35.453]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 875.44MiB)
12:31:35 [12:31:35.453]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
12:31:35 [12:31:35.454]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
12:31:35 [12:31:35.454]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
12:31:35 [12:31:35.454]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
12:31:35 [12:31:35.499]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
12:31:35 [12:31:35.533]
INFO:
ivc-integration:prove_wasm time to construct proving key: 91 ms. (mem: 875.44MiB)
12:31:35 [12:31:35.634]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
12:31:36 [12:31:36.814]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
12:31:36 [12:31:36.815]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 875.44MiB)
12:31:37 [12:31:37.394]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
12:31:37 [12:31:37.748]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
12:31:38 [12:31:38.153]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
12:31:38 [12:31:38.454]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
12:31:38 [12:31:38.455]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
12:31:38 [12:31:38.468]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 875.44MiB)
12:31:38 [12:31:38.623]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 875.44MiB)
12:31:38 [12:31:38.624]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
12:31:38 [12:31:38.628]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
12:31:38 [12:31:38.629]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
12:31:38 [12:31:38.629]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 875.44MiB)
12:31:38 [12:31:38.629]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
12:31:38 [12:31:38.630]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 875.44MiB)
12:31:38 [12:31:38.630]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 875.44MiB)
12:31:38 [12:31:38.631]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 875.44MiB)
12:31:38 [12:31:38.633]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
12:31:38 [12:31:38.634]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 875.44MiB)
12:31:38 [12:31:38.634]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 875.44MiB)
12:31:38 [12:31:38.635]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 875.44MiB)
12:31:38 [12:31:38.635]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
12:31:38 [12:31:38.636]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
12:31:38 [12:31:38.636]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
12:31:38 [12:31:38.636]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
12:31:38 [12:31:38.666]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
12:31:38 [12:31:38.699]
INFO:
ivc-integration:prove_wasm time to construct proving key: 75 ms. (mem: 875.44MiB)
12:31:38 [12:31:38.812]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
12:31:40 [12:31:40.038]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
12:31:40 [12:31:40.041]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 875.44MiB)
12:31:40 [12:31:40.495]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
12:31:40 [12:31:40.882]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
12:31:41 [12:31:41.193]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
12:31:41 [12:31:41.408]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
12:31:41 [12:31:41.409]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
12:31:41 [12:31:41.409]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 18719 (mem: 875.44MiB)
12:31:41 [12:31:41.410]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 875.44MiB)
12:31:41 [12:31:41.410]
INFO:
ivc-integration:prove_wasm Largest circuit: 48490 gates. Trace details: (mem: 875.44MiB)
12:31:41 [12:31:41.410]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 875.44MiB)
12:31:41 [12:31:41.410]
INFO:
ivc-integration:prove_wasm ecc_op : 792
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.411]
INFO:
ivc-integration:prove_wasm busread : 16
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.411]
INFO:
ivc-integration:prove_wasm lookup : 2
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.411]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.412]
INFO:
ivc-integration:prove_wasm arithmetic : 12080
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.412]
INFO:
ivc-integration:prove_wasm delta_range : 2942
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.413]
INFO:
ivc-integration:prove_wasm elliptic : 2
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.413]
INFO:
ivc-integration:prove_wasm aux : 350
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.414]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4942
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.414]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28160
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.415]
INFO:
ivc-integration:prove_wasm overflow : 0
12:31:41 (mem: 875.44MiB)
12:31:41 [12:31:41.416]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
12:31:41 [12:31:41.416]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 875.44MiB)
12:31:41 [12:31:41.588]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
12:31:41 [12:31:41.937]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
12:31:43 [12:31:43.010]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
12:31:43 [12:31:43.322]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
12:31:43 [12:31:43.323]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
12:31:43 [12:31:43.342]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 875.44MiB)
12:31:43 [12:31:43.528]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
12:31:43 [12:31:43.537]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
12:31:43 [12:31:43.564]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
12:31:43 [12:31:43.607]
INFO:
ivc-integration:prove_wasm time to construct proving key: 79 ms. (mem: 875.44MiB)
12:31:44 [12:31:44.896]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.44MiB)
12:31:46 [12:31:46.228]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 875.44MiB)
12:31:46 [12:31:46.253]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
12:31:46 [12:31:46.605]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
12:31:47 [12:31:47.501]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
12:31:47 [12:31:47.648]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
12:31:47 [12:31:47.649]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
12:31:47 [12:31:47.649]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 875.44MiB)
12:31:47 [12:31:47.778]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 875.44MiB)
12:31:50 [12:31:50.988]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
12:31:55 [12:31:55.107]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
12:31:59 [12:31:59.752]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 875.44MiB)
12:31:59 [12:31:59.753]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 875.44MiB)
12:32:04 [12:32:04.038]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
12:32:07 [12:32:07.191]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
12:32:09 [12:32:09.521]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
12:32:09 [12:32:09.522]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 875.44MiB)
12:32:09 [12:32:09.522]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 46831 (mem: 875.44MiB)
12:32:09 [12:32:09.528]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 875.44MiB)
12:32:09 [12:32:09.531]
INFO:
ivc-integration:prove_wasm time to serialize vk: 4 (mem: 875.44MiB)
12:32:09 [12:32:09.556]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.44MiB)
12:32:09 [12:32:09.603]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.603]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.603]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.604]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.873]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.874]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.875]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.875]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.970]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.971]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.971]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.972]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.972]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.972]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
12:32:09 [12:32:09.992]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.44MiB)
12:32:10 [12:32:10.042]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.043]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.043]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.043]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.217]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.218]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.219]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.219]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.263]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.264]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.270]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.271]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.272]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.272]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
12:32:10 [12:32:10.928]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
12:32:10
PASS src/wasm_client_ivc_integration.test.ts (
112.346 s)
12:32:10 Client IVC Integration
12:32:10
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (54519 ms)
12:32:10
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2415 ms)
12:32:10
✓ Should generate a verifiable client IVC proof from a complex mock tx (52087 ms)
12:32:10
12:32:10
Test Suites: 1 passed, 1 total
12:32:10
Tests: 3 passed, 3 total
12:32:10
Snapshots: 0 total
12:32:10
Time: 112.428 s
12:32:10
Ran all test suites matching /ivc-integration\/src\/wasm_client_ivc_integration.test.ts/i
.
12:32:10
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?