Parent Log:
http://ci.aztec-labs.com/0223e03e7392550b
Command: 7036b634d1ccdbba: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/b6c045c8e9bbe748f5441bd1e65a9beeb9c62e73
Env: REF_NAME=gh-readonly-queue/next/pr-15067-24972303091baff6f83c6389d7d1406c932357e9 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 17 14:13:44 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15067_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
14:13:48 [14:13:48.682]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
14:13:48 [14:13:48.690]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-6NEpvz/ivc-inputs.msgpack
14:13:48 [14:13:48.692]
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-6NEpvz --ivc_inputs_path /tmp/bb-client-ivc-integration-6NEpvz/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
14:13:48 [14:13:48.753]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 185.40 MiB)
14:13:48 Scheme is: client_ivc, num threads: 128 (mem: 185.40 MiB)
14:13:48 --scheme: client_ivc (mem: 185.40 MiB)
14:13:48 --output_path: /tmp/bb-client-ivc-integration-6NEpvz (mem: 185.40 MiB)
14:13:48 --ivc_inputs_path: /tmp/bb-client-ivc-integration-6NEpvz/ivc-inputs.msgpack (mem: 185.40 MiB)
14:13:48 --verbose: true (mem: 185.40 MiB)
14:13:48 --write_vk: true (mem: 185.40 MiB)
14:13:48 BN254 commitment key size: 262144 (mem: 185.40 MiB)
14:13:48 [14:13:48.927]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12081300 bytes
14:13:48 [14:13:48.941]
INFO:
ivc-integration:test:wasm bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 239.00 MiB)
14:13:48 Initialized BN254 CRS from memory with num points = 263169 (mem: 287.39 MiB)
14:13:48 ClientIVC: accumulating unknown_0 (mem: 287.39 MiB)
14:13:48 Constructing DeciderProvingKey (mem: 287.39 MiB)
14:13:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 287.39 MiB)
14:13:48 goblin ecc op : 4/1024 (mem: 287.39 MiB)
14:13:48 busread : 7/6000 (mem: 287.39 MiB)
14:13:48 lookups : 2/15000 (mem: 287.39 MiB)
14:13:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 287.39 MiB)
14:13:48 arithmetic : 1760/56000 (mem: 287.39 MiB)
14:13:48 delta range : 1754/18000 (mem: 287.39 MiB)
14:13:48 elliptic : 2/6000 (mem: 287.39 MiB)
14:13:48 auxiliary : 26/26000 (mem: 287.39 MiB)
14:13:48 poseidon ext : 2/17000 (mem: 287.39 MiB)
14:13:48 poseidon int : 2/92000 (mem: 287.39 MiB)
14:13:48 overflow : 0/0 (mem: 287.39 MiB)
14:13:48 (mem: 287.39 MiB)
14:13:48 Total structured size: 242025 (mem: 287.39 MiB)
14:13:48 allocating polynomials object in proving key... (mem: 287.39 MiB)
14:13:48 [14:13:48.973]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
14:13:49 [14:13:49.000]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 494.55 MiB)
14:13:49 [14:13:49.012]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 80 ms. (mem: 511.55 MiB)
14:13:49 [14:13:49.056]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x6126fd041440 (mem: 511.55 MiB)
14:13:49 [14:13:49.058]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 511.55 MiB)
14:13:49 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 511.55 MiB)
14:13:49 [14:13:49.193]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 518.55 MiB)
14:13:49 [14:13:49.204]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.55 MiB)
14:13:49 [14:13:49.225]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 518.55 MiB)
14:13:49 Constructing DeciderProvingKey (mem: 518.55 MiB)
14:13:49 [14:13:49.229]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 518.55 MiB)
14:13:49 goblin ecc op : 56/1024 (mem: 518.55 MiB)
14:13:49 busread : 12/6000 (mem: 518.55 MiB)
14:13:49 lookups : 2/15000 (mem: 518.55 MiB)
14:13:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 518.55 MiB)
14:13:49 arithmetic : 4625/56000 (mem: 518.55 MiB)
14:13:49 delta range : 2054/18000 (mem: 518.55 MiB)
14:13:49 elliptic : 2/6000 (mem: 518.55 MiB)
14:13:49 auxiliary : 110/26000 (mem: 518.55 MiB)
14:13:49 poseidon ext : 1302/17000 (mem: 518.55 MiB)
14:13:49 poseidon int : 7412/92000 (mem: 518.55 MiB)
14:13:49 overflow : 0/0 (mem: 518.55 MiB)
14:13:49 (mem: 518.55 MiB)
14:13:49 Total structured size: 242025 (mem: 518.55 MiB)
14:13:49 allocating polynomials object in proving key... (mem: 518.55 MiB)
14:13:49 [14:13:49.258]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
14:13:49 [14:13:49.268]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
14:13:49 [14:13:49.344]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 730.55 MiB)
14:13:49 [14:13:49.378]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 152 ms. (mem: 748.55 MiB)
14:13:49 [14:13:49.489]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x6126fd04e100 (mem: 748.55 MiB)
14:13:49 computing folding proof (mem: 748.55 MiB)
14:13:49 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 748.55 MiB)
14:13:50 [14:13:50.013]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 749.55 MiB)
14:13:50 [14:13:50.114]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 785.55 MiB)
14:13:50 [14:13:50.166]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 817.55 MiB)
14:13:50 [14:13:50.527]
INFO:
ivc-integration:test:wasm bb - folded (mem: 817.55 MiB)
14:13:50 constructed folding proof (mem: 817.55 MiB)
14:13:50 [14:13:50.538]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 817.55 MiB)
14:13:50 [14:13:50.602]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 817.55 MiB)
14:13:50 Constructing DeciderProvingKey (mem: 817.55 MiB)
14:13:50 [14:13:50.603]
INFO:
ivc-integration:test:wasm bb -
14:13:50 [14:13:50.607]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.55 MiB)
14:13:50 goblin ecc op : 392/1024 (mem: 817.55 MiB)
14:13:50 busread : 3/6000 (mem: 817.55 MiB)
14:13:50 lookups : 2/15000 (mem: 817.55 MiB)
14:13:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.55 MiB)
14:13:50 arithmetic : 6849/56000 (mem: 817.55 MiB)
14:13:50 delta range : 2333/18000 (mem: 817.55 MiB)
14:13:50 elliptic : 2/6000 (mem: 817.55 MiB)
14:13:50 auxiliary : 50/26000 (mem: 817.55 MiB)
14:13:50 poseidon ext : 2472/17000
14:13:50 [14:13:50.609]
INFO:
ivc-integration:test:wasm bb - (mem: 817.55 MiB)
14:13:50 poseidon int : 14081/92000 (mem: 817.55 MiB)
14:13:50 overflow : 0/0 (mem: 817.55 MiB)
14:13:50 (mem: 817.55 MiB)
14:13:50 Total structured size: 242025 (mem: 817.55 MiB)
14:13:50 allocating polynomials object in proving key... (mem: 817.55 MiB)
14:13:50 [14:13:50.619]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
14:13:50 [14:13:50.625]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
14:13:51 [14:13:51.267]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 817.55 MiB)
14:13:51 time to construct proving key: 236 ms. (mem: 817.55 MiB)
14:13:51 getting honk vk... precomputed?: 0x6126fd043a80 (mem: 817.55 MiB)
14:13:51 computing folding proof (mem: 817.55 MiB)
14:13:51 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 817.55 MiB)
14:13:51 [14:13:51.739]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 817.55 MiB)
14:13:51 [14:13:51.836]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 817.55 MiB)
14:13:51 [14:13:51.869]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 817.55 MiB)
14:13:52 [14:13:52.143]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
14:13:52 [14:13:52.213]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
14:13:52 [14:13:52.239]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
14:13:52 [14:13:52.241]
INFO:
ivc-integration:test:wasm bb - folded (mem: 817.55 MiB)
14:13:52 constructed folding proof (mem: 817.55 MiB)
14:13:52 Largest circuit: 25792 gates. Trace details: (mem: 817.55 MiB)
14:13:52 Minimum required block sizes for structured trace: (mem: 817.55 MiB)
14:13:52 (mem: 817.55 MiB)
14:13:52 prove decider... (mem: 817.55 MiB)
14:13:52 [14:13:52.242]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
14:13:52 busread : 12
14:13:52 lookup : 2
14:13:52 pub_inputs : 36
14:13:52 arithmetic : 6849
14:13:52 delta_range : 2333
14:13:52 elliptic : 2
14:13:52 aux : 110
14:13:52 poseidon2_external : 2472
14:13:52 poseidon2_internal : 14081
14:13:52 overflow : 0
14:13:52 [14:13:52.266]
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)
14:13:52 [14:13:52.274]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
14:13:52 [14:13:52.275]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
14:13:52 [14:13:52.298]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
14:13:52 [14:13:52.299]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
14:13:52 [14:13:52.300]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
14:13:52 [14:13:52.300]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
14:13:52 [14:13:52.301]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
14:13:52 [14:13:52.304]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
14:13:52 [14:13:52.304]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
14:13:52 [14:13:52.305]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
14:13:52 [14:13:52.305]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
14:13:52 [14:13:52.305]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
14:13:52 [14:13:52.306]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
14:13:52 [14:13:52.306]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
14:13:52 [14:13:52.308]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
14:13:52 [14:13:52.309]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
14:13:52 [14:13:52.316]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
14:13:52 [14:13:52.497]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
14:13:52 [14:13:52.542]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 817.55 MiB)
14:13:52 [14:13:52.545]
INFO:
ivc-integration:prove_wasm time to construct proving key: 270 ms. (mem: 581.38MiB)
14:13:52 [14:13:52.577]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
14:13:52 [14:13:52.744]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 817.55 MiB)
14:13:53 [14:13:53.852]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 817.55 MiB)
14:13:53 [14:13:53.945]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 817.55 MiB)
14:13:53 finished decider proving. (mem: 817.55 MiB)
14:13:53 [14:13:53.974]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 817.55 MiB)
14:13:54 [14:13:54.109]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 817.55 MiB)
14:13:54 [14:13:54.123]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 817.55 MiB)
14:13:54 [14:13:54.321]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 817.55 MiB)
14:13:54 [14:13:54.362]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
14:13:54 [14:13:54.364]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
14:13:54 [14:13:54.366]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 255 ms. (mem: 817.55 MiB)
14:13:54 [14:13:54.877]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
14:13:54 [14:13:54.898]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
14:13:54 [14:13:54.934]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
14:13:54 [14:13:54.935]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
14:13:54 [14:13:54.939]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
14:13:54 [14:13:54.941]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
14:13:54 [14:13:54.942]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
14:13:54 [14:13:54.942]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
14:13:54 [14:13:54.943]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
14:13:54 [14:13:54.943]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.38MiB)
14:13:54 [14:13:54.944]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.38MiB)
14:13:54 [14:13:54.945]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
14:13:54 [14:13:54.945]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
14:13:54 [14:13:54.945]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.38MiB)
14:13:54 [14:13:54.946]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.38MiB)
14:13:54 [14:13:54.947]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
14:13:54 [14:13:54.947]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
14:13:54 [14:13:54.948]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
14:13:54 [14:13:54.948]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
14:13:55 [14:13:55.053]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.38MiB)
14:13:55 [14:13:55.093]
INFO:
ivc-integration:prove_wasm time to construct proving key: 158 ms. (mem: 820.19MiB)
14:13:55 [14:13:55.135]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.19MiB)
14:13:55 [14:13:55.557]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 817.55 MiB)
14:13:56 [14:13:56.264]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 817.55 MiB)
14:13:56 [14:13:56.619]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 817.55 MiB)
14:13:57 [14:13:57.085]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.19MiB)
14:13:57 [14:13:57.092]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 820.19MiB)
14:13:57 [14:13:57.930]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.19MiB)
14:13:58 [14:13:58.251]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
14:13:58 [14:13:58.723]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 817.55 MiB)
14:13:58 [14:13:58.736]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
14:13:59 [14:13:59.204]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
14:13:59 [14:13:59.207]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
14:13:59 [14:13:59.217]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 847.69MiB)
14:13:59 [14:13:59.383]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
14:13:59 [14:13:59.384]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
14:13:59 [14:13:59.394]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
14:13:59 [14:13:59.395]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
14:13:59 [14:13:59.396]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
14:13:59 [14:13:59.396]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
14:13:59 [14:13:59.397]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
14:13:59 [14:13:59.397]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 847.69MiB)
14:13:59 [14:13:59.397]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 847.69MiB)
14:13:59 [14:13:59.398]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
14:13:59 [14:13:59.398]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
14:13:59 [14:13:59.398]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 847.69MiB)
14:13:59 [14:13:59.399]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 847.69MiB)
14:13:59 [14:13:59.399]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
14:13:59 [14:13:59.399]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
14:13:59 [14:13:59.399]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
14:13:59 [14:13:59.400]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
14:13:59 [14:13:59.432]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
14:13:59 [14:13:59.475]
INFO:
ivc-integration:prove_wasm time to construct proving key: 91 ms. (mem: 847.69MiB)
14:13:59 [14:13:59.637]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
14:14:00 [14:14:00.033]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 817.55 MiB)
14:14:00 [14:14:00.083]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 817.55 MiB)
14:14:00 finished decider proving. (mem: 817.55 MiB)
14:14:00 Constructing a Goblin proof with num ultra ops = 1038 (mem: 817.55 MiB)
14:14:00 [14:14:00.370]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 817.55 MiB)
14:14:01 [14:14:01.245]
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: 817.55 MiB)
14:14:01 [14:14:01.286]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 817.55 MiB)
14:14:01 [14:14:01.841]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
14:14:01 [14:14:01.845]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 847.69MiB)
14:14:02 [14:14:02.825]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
14:14:03 [14:14:03.096]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
14:14:03 [14:14:03.461]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
14:14:03 [14:14:03.676]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 817.55 MiB)
14:14:04 [14:14:04.275]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
14:14:04 [14:14:04.276]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
14:14:04 [14:14:04.276]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 12060 (mem: 855.63MiB)
14:14:04 [14:14:04.276]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
14:14:04 [14:14:04.277]
INFO:
ivc-integration:prove_wasm Largest circuit: 25792 gates. Trace details: (mem: 855.63MiB)
14:14:04 [14:14:04.277]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
14:14:04 [14:14:04.278]
INFO:
ivc-integration:prove_wasm ecc_op : 392
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.279]
INFO:
ivc-integration:prove_wasm busread : 12
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.279]
INFO:
ivc-integration:prove_wasm lookup : 2
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.280]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.280]
INFO:
ivc-integration:prove_wasm arithmetic : 6849
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.280]
INFO:
ivc-integration:prove_wasm delta_range : 2333
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.283]
INFO:
ivc-integration:prove_wasm elliptic : 2
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.283]
INFO:
ivc-integration:prove_wasm aux : 110
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.284]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2472
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.285]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14081
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.285]
INFO:
ivc-integration:prove_wasm overflow : 0
14:14:04 (mem: 855.63MiB)
14:14:04 [14:14:04.286]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
14:14:04 [14:14:04.286]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
14:14:04 [14:14:04.468]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
14:14:04 [14:14:04.904]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
14:14:06 [14:14:06.411]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 817.55 MiB)
14:14:06 [14:14:06.988]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
14:14:07 [14:14:07.422]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
14:14:07 [14:14:07.427]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
14:14:07 [14:14:07.460]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 855.63MiB)
14:14:07 [14:14:07.708]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
14:14:07 [14:14:07.721]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
14:14:07 [14:14:07.791]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
14:14:07 [14:14:07.854]
INFO:
ivc-integration:prove_wasm time to construct proving key: 145 ms. (mem: 855.63MiB)
14:14:09 [14:14:09.461]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 855.63MiB)
14:14:10 [14:14:10.530]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 817.55 MiB)
14:14:10 prove translator... (mem: 817.55 MiB)
14:14:10 [14:14:10.794]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
14:14:10 [14:14:10.830]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
14:14:11 [14:14:11.108]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
14:14:11 [14:14:11.820]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
14:14:11 [14:14:11.925]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
14:14:11 [14:14:11.926]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
14:14:11 [14:14:11.927]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
14:14:12 [14:14:12.015]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
14:14:13 [14:14:13.023]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 845.50 MiB)
14:14:14 [14:14:14.613]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
14:14:15 [14:14:15.956]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 846.50 MiB)
14:14:18 [14:14:18.926]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 846.50 MiB)
14:14:18 finished translator proving. (mem: 846.50 MiB)
14:14:18 [14:14:18.934]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 846.50 MiB)
14:14:18 [14:14:18.951]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 846.50 MiB)
14:14:18 libra_evals_verified: 1 (mem: 846.50 MiB)
14:14:18 pairing_check_verified: 1 (mem: 846.50 MiB)
14:14:18 Mega verified: 1 (mem: 846.50 MiB)
14:14:19 [14:14:19.081]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 846.50 MiB)
14:14:19 batch opening verified?: 1 (mem: 846.50 MiB)
14:14:19 eccvm consistency check verified?: 1 (mem: 846.50 MiB)
14:14:19 translation masking consistency checked?: 1 (mem: 846.50 MiB)
14:14:19 [14:14:19.087]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
14:14:19 [14:14:19.126]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 846.50 MiB)
14:14:19 eccvm verified?: 1 (mem: 846.50 MiB)
14:14:19 accumulator construction_verified?: 1 (mem: 846.50 MiB)
14:14:19 translation verified?: 1 (mem: 846.50 MiB)
14:14:19 consistency verified?: 1 (mem: 846.50 MiB)
14:14:19 Goblin verified: 1 (mem: 846.50 MiB)
14:14:19 [14:14:19.127]
INFO:
ivc-integration:test:wasm bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-6NEpvz" (mem: 846.50 MiB)
14:14:19 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-6NEpvz" (mem: 846.50 MiB)
14:14:19 BN254 commitment key size: 262144 (mem: 846.50 MiB)
14:14:19 [14:14:19.132]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.50 MiB)
14:14:19 [14:14:19.138]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.50 MiB)
14:14:19 goblin ecc op : 4/1024 (mem: 846.50 MiB)
14:14:19 busread : 3/6000 (mem: 846.50 MiB)
14:14:19 lookups : 2/15000 (mem: 846.50 MiB)
14:14:19 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.50 MiB)
14:14:19 arithmetic : 1773/56000 (mem: 846.50 MiB)
14:14:19 delta range : 1754/18000 (mem: 846.50 MiB)
14:14:19 elliptic : 2/6000 (mem: 846.50 MiB)
14:14:19 auxiliary : 26/26000 (mem: 846.50 MiB)
14:14:19 poseidon ext : 2/17000 (mem: 846.50 MiB)
14:14:19 poseidon int : 2/92000 (mem: 846.50 MiB)
14:14:19 overflow : 0/0 (mem: 846.50 MiB)
14:14:19 (mem: 846.50 MiB)
14:14:19 Total structured size: 242025 (mem: 846.50 MiB)
14:14:19 allocating polynomials object in proving key... (mem: 846.50 MiB)
14:14:19 [14:14:19.391]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.50 MiB)
14:14:19 [14:14:19.417]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 286 ms. (mem: 846.50 MiB)
14:14:19 [14:14:19.657]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.50 MiB)
14:14:20 [14:14:20.665]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 846.50 MiB)
14:14:20 [14:14:20.666]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.50 MiB)
14:14:21 [14:14:21.119]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 846.50 MiB)
14:14:21 [14:14:21.128]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.50 MiB)
14:14:21 [14:14:21.145]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.50 MiB)
14:14:21 [14:14:21.148]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.50 MiB)
14:14:21 goblin ecc op : 56/1024 (mem: 846.50 MiB)
14:14:21 busread : 3/6000 (mem: 846.50 MiB)
14:14:21 lookups : 2/15000 (mem: 846.50 MiB)
14:14:21 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.50 MiB)
14:14:21 arithmetic : 4481/56000 (mem:
14:14:21 [14:14:21.149]
INFO:
ivc-integration:test:wasm bb - 846.50 MiB)
14:14:21 delta range : 2041/18000 (mem: 846.50 MiB)
14:14:21 elliptic : 2/6000 (mem: 846.50 MiB)
14:14:21 auxiliary : 50/26000 (mem: 846.50 MiB)
14:14:21 poseidon ext : 1312/17000 (mem: 846.50 MiB)
14:14:21 poseidon int : 7469/92000 (mem: 846.50 MiB)
14:14:21 overflow : 0/0 (mem: 846.50 MiB)
14:14:21 (mem: 846.50 MiB)
14:14:21 Total structured size: 242025 (mem: 846.50 MiB)
14:14:21 allocating polynomials object in proving key... (mem: 846.50 MiB)
14:14:21 [14:14:21.352]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.50 MiB)
14:14:21 [14:14:21.390]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 244 ms. (mem: 846.50 MiB)
14:14:21 [14:14:21.560]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.50 MiB)
14:14:22 [14:14:22.504]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 846.50 MiB)
14:14:22 [14:14:22.505]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 846.50 MiB)
14:14:23 [14:14:23.450]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key
14:14:23 [14:14:23.451]
INFO:
ivc-integration:test:wasm bb - (mem: 846.50 MiB)
14:14:23 [14:14:23.643]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 847.50 MiB)
14:14:23 [14:14:23.709]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 879.50 MiB)
14:14:24 [14:14:24.295]
INFO:
ivc-integration:test:wasm bb - folded (mem: 879.50 MiB)
14:14:24 constructed folding proof (mem: 879.50 MiB)
14:14:24 [14:14:24.296]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 15360 gates. Trace details: (mem: 879.50 MiB)
14:14:24 Minimum required block sizes for structured trace: (mem: 879.50 MiB)
14:14:24 (mem: 879.50 MiB)
14:14:24 prove decider... (mem: 879.50 MiB)
14:14:24 [14:14:24.297]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
14:14:24 busread : 3
14:14:24 lookup : 2
14:14:24 pub_inputs : 36
14:14:24 arithmetic : 4481
14:14:24 delta_range : 2041
14:14:24 elliptic : 2
14:14:24 aux : 50
14:14:24 poseidon2_external : 1312
14:14:24 poseidon2_internal : 7469
14:14:24 overflow : 0
14:14:24 [14:14:24.588]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 879.50 MiB)
14:14:24 [14:14:24.738]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck
14:14:24 [14:14:24.739]
INFO:
ivc-integration:test:wasm bb - (mem: 879.50 MiB)
14:14:25 [14:14:25.936]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 879.50 MiB)
14:14:26 [14:14:26.002]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 879.50 MiB)
14:14:26 finished decider proving. (mem: 879.50 MiB)
14:14:26 [14:14:26.015]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 879.50 MiB)
14:14:26 [14:14:26.113]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 879.50 MiB)
14:14:26 [14:14:26.118]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 879.50 MiB)
14:14:26 [14:14:26.275]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 879.50 MiB)
14:14:26 [14:14:26.313]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 199 ms. (mem: 879.50 MiB)
14:14:26 [14:14:26.523]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
14:14:26 [14:14:26.524]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
14:14:32 [14:14:32.315]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
14:14:36 [14:14:36.468]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
14:14:39 [14:14:39.767]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
14:14:39 [14:14:39.768]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
14:14:39 [14:14:39.768]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 47553 (mem: 855.63MiB)
14:14:39 [14:14:39.774]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 855.63MiB)
14:14:39 [14:14:39.776]
INFO:
ivc-integration:prove_wasm time to serialize vk: 3 (mem: 855.63MiB)
14:14:39 [14:14:39.796]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 855.63MiB)
14:14:39 [14:14:39.863]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
14:14:39 [14:14:39.866]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
14:14:39 [14:14:39.867]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
14:14:39 [14:14:39.867]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.127]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.128]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.128]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.129]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.222]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.223]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.223]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.224]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.224]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.224]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
14:14:40 [14:14:40.852]
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-6NEpvz/proof -k /tmp/bb-client-ivc-integration-6NEpvz/vk -v
14:14:40 [14:14:40.904]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 875.84 MiB)
14:14:40 Scheme is: client_ivc, num threads: 128 (mem: 875.84 MiB)
14:14:40 --proof_path: /tmp/bb-client-ivc-integration-6NEpvz/proof (mem: 875.84 MiB)
14:14:40 --vk_path: /tmp/bb-client-ivc-integration-6NEpvz/vk (mem: 875.84 MiB)
14:14:40 --verbose: true (mem: 875.84 MiB)
14:14:40 --scheme: client_ivc (mem: 875.84 MiB)
14:14:40 [14:14:40.999]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 875.84 MiB)
14:14:41 [14:14:41.025]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 875.84 MiB)
14:14:41 vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 875.84 MiB)
14:14:41 [14:14:41.044]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 875.84 MiB)
14:14:41 [14:14:41.045]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1025 (mem: 875.84 MiB)
14:14:41 [14:14:41.045]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 875.84 MiB)
14:14:41 libra_evals_verified: 1 (mem: 875.84 MiB)
14:14:41 pairing_check_verified: 1 (mem:
14:14:41 [14:14:41.046]
INFO:
ivc-integration:test:wasm 875.84 MiB)
14:14:41 Mega verified: 1 (mem: 875.84 MiB)
14:14:41 [14:14:41.116]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 875.84 MiB)
14:14:41 batch opening verified?: 1 (mem: 875.84 MiB)
14:14:41 eccvm consistency check verified?: 1 (mem: 875.84 MiB)
14:14:41 translation masking consistency checked?: 1 (mem: 875.84 MiB)
14:14:41 [14:14:41.134]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 875.84 MiB)
14:14:41 eccvm verified?: 1 (mem: 875.84 MiB)
14:14:41 accumulator construction_verified?: 1 (mem: 875.84 MiB)
14:14:41 translation verified?: 1 (mem: 875.84 MiB)
14:14:41 consistency verified?: 1 (mem: 875.84 MiB)
14:14:41 Goblin verified: 1 (mem: 875.84 MiB)
14:14:41 [14:14:41.139]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 875.84 MiB)
14:14:41 [14:14:41.210]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
14:14:41 [14:14:41.385]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12081300 bytes
14:14:41 [14:14:41.423]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
14:14:41 [14:14:41.855]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
14:14:41 [14:14:41.867]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
14:14:41 [14:14:41.868]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
14:14:43 [14:14:43.172]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
14:14:43 [14:14:43.254]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
14:14:43 [14:14:43.274]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
14:14:43 [14:14:43.359]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
14:14:43 [14:14:43.398]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
14:14:43 [14:14:43.444]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
14:14:43 [14:14:43.461]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
14:14:43 [14:14:43.701]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15519,"2":25792}
14:14:43 [14:14:43.786]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
14:14:43 [14:14:43.922]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12081300 bytes
14:14:43 [14:14:43.952]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
14:14:44 [14:14:44.650]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
14:14:44 [14:14:44.665]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
14:14:46 [14:14:46.026]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
14:14:46 [14:14:46.027]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
14:14:47 [14:14:47.458]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
14:14:47 [14:14:47.558]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
14:14:47 [14:14:47.586]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
14:14:47 [14:14:47.602]
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)
14:14:47 [14:14:47.610]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
14:14:47 [14:14:47.611]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
14:14:47 [14:14:47.627]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
14:14:47 [14:14:47.628]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
14:14:47 [14:14:47.628]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
14:14:47 [14:14:47.629]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
14:14:47 [14:14:47.629]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
14:14:47 [14:14:47.630]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
14:14:47 [14:14:47.630]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
14:14:47 [14:14:47.631]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
14:14:47 [14:14:47.631]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
14:14:47 [14:14:47.632]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
14:14:47 [14:14:47.632]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
14:14:47 [14:14:47.633]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
14:14:47 [14:14:47.633]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
14:14:47 [14:14:47.634]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
14:14:47 [14:14:47.634]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
14:14:47 [14:14:47.883]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.56MiB)
14:14:47 [14:14:47.927]
INFO:
ivc-integration:prove_wasm time to construct proving key: 318 ms. (mem: 581.81MiB)
14:14:47 [14:14:47.949]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.81MiB)
14:14:49 [14:14:49.982]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.81MiB)
14:14:49 [14:14:49.985]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
14:14:50 [14:14:50.550]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.81MiB)
14:14:50 [14:14:50.578]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
14:14:50 [14:14:50.616]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.81MiB)
14:14:50 [14:14:50.617]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.81MiB)
14:14:50 [14:14:50.620]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.81MiB)
14:14:50 [14:14:50.621]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.81MiB)
14:14:50 [14:14:50.622]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.81MiB)
14:14:50 [14:14:50.623]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.81MiB)
14:14:50 [14:14:50.623]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.81MiB)
14:14:50 [14:14:50.629]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.81MiB)
14:14:50 [14:14:50.630]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.81MiB)
14:14:50 [14:14:50.631]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.81MiB)
14:14:50 [14:14:50.631]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.81MiB)
14:14:50 [14:14:50.632]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.81MiB)
14:14:50 [14:14:50.633]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.81MiB)
14:14:50 [14:14:50.633]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.81MiB)
14:14:50 [14:14:50.634]
INFO:
ivc-integration:prove_wasm (mem: 581.81MiB)
14:14:50 [14:14:50.634]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.81MiB)
14:14:50 [14:14:50.635]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.81MiB)
14:14:50 [14:14:50.767]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.63MiB)
14:14:50 [14:14:50.813]
INFO:
ivc-integration:prove_wasm time to construct proving key: 195 ms. (mem: 820.69MiB)
14:14:50 [14:14:50.934]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
14:14:52 [14:14:52.531]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
14:14:52 [14:14:52.533]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 820.69MiB)
14:14:53 [14:14:53.017]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
14:14:53 [14:14:53.229]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
14:14:53 [14:14:53.990]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
14:14:54 [14:14:54.476]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
14:14:54 [14:14:54.476]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
14:14:54 [14:14:54.479]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
14:14:54 [14:14:54.479]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
14:14:54 [14:14:54.482]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
14:14:54 [14:14:54.483]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
14:14:54 [14:14:54.483]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
14:14:54 [14:14:54.483]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
14:14:54 [14:14:54.484]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
14:14:54 [14:14:54.484]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
14:14:54 [14:14:54.484]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
14:14:54 [14:14:54.485]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
14:14:54 [14:14:54.485]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
14:14:54 [14:14:54.485]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
14:14:54 [14:14:54.485]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
14:14:54 [14:14:54.486]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
14:14:54 [14:14:54.486]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
14:14:54 [14:14:54.486]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
14:14:54 [14:14:54.486]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
14:14:54 [14:14:54.502]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
14:14:54 [14:14:54.510]
INFO:
ivc-integration:prove_wasm time to construct proving key: 31 ms. (mem: 848.19MiB)
14:14:54 [14:14:54.528]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
14:14:56 [14:14:56.156]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
14:14:56 [14:14:56.158]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
14:14:56 [14:14:56.366]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
14:14:56 [14:14:56.587]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
14:14:56 [14:14:56.793]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
14:14:56 [14:14:56.956]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
14:14:56 [14:14:56.956]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
14:14:56 [14:14:56.966]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 848.19MiB)
14:14:57 [14:14:57.074]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
14:14:57 [14:14:57.179]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
14:14:57 [14:14:57.179]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
14:14:57 [14:14:57.184]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
14:14:57 [14:14:57.185]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
14:14:57 [14:14:57.185]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
14:14:57 [14:14:57.186]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
14:14:57 [14:14:57.187]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
14:14:57 [14:14:57.187]
INFO:
ivc-integration:prove_wasm arithmetic : 12080/56000 (mem: 848.19MiB)
14:14:57 [14:14:57.188]
INFO:
ivc-integration:prove_wasm delta range : 2942/18000 (mem: 848.19MiB)
14:14:57 [14:14:57.188]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
14:14:57 [14:14:57.188]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
14:14:57 [14:14:57.189]
INFO:
ivc-integration:prove_wasm poseidon ext : 4942/17000 (mem: 848.19MiB)
14:14:57 [14:14:57.190]
INFO:
ivc-integration:prove_wasm poseidon int : 28160/92000 (mem: 848.19MiB)
14:14:57 [14:14:57.191]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
14:14:57 [14:14:57.191]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
14:14:57 [14:14:57.192]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
14:14:57 [14:14:57.192]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
14:14:57 [14:14:57.204]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
14:14:57 [14:14:57.253]
INFO:
ivc-integration:prove_wasm time to construct proving key: 75 ms. (mem: 851.25MiB)
14:14:57 [14:14:57.315]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.25MiB)
14:14:58 [14:14:58.355]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.25MiB)
14:14:58 [14:14:58.357]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 851.25MiB)
14:14:59 [14:14:59.004]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.25MiB)
14:14:59 [14:14:59.250]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
14:14:59 [14:14:59.611]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
14:14:59 [14:14:59.859]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
14:14:59 [14:14:59.860]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
14:14:59 [14:14:59.875]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 875.44MiB)
14:15:00 [14:15:00.024]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 875.44MiB)
14:15:00 [14:15:00.024]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
14:15:00 [14:15:00.031]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
14:15:00 [14:15:00.032]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
14:15:00 [14:15:00.032]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 875.44MiB)
14:15:00 [14:15:00.033]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
14:15:00 [14:15:00.033]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 875.44MiB)
14:15:00 [14:15:00.033]
INFO:
ivc-integration:prove_wasm arithmetic : 6914/56000 (mem: 875.44MiB)
14:15:00 [14:15:00.033]
INFO:
ivc-integration:prove_wasm delta range : 2347/18000 (mem: 875.44MiB)
14:15:00 [14:15:00.034]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
14:15:00 [14:15:00.034]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 875.44MiB)
14:15:00 [14:15:00.034]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 875.44MiB)
14:15:00 [14:15:00.034]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 875.44MiB)
14:15:00 [14:15:00.035]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
14:15:00 [14:15:00.035]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
14:15:00 [14:15:00.035]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
14:15:00 [14:15:00.035]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
14:15:00 [14:15:00.060]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
14:15:00 [14:15:00.086]
INFO:
ivc-integration:prove_wasm time to construct proving key: 63 ms. (mem: 875.44MiB)
14:15:00 [14:15:00.180]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
14:15:01 [14:15:01.373]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
14:15:01 [14:15:01.375]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 875.44MiB)
14:15:01 [14:15:01.990]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
14:15:02 [14:15:02.231]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
14:15:02 [14:15:02.565]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
14:15:02 [14:15:02.923]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
14:15:02 [14:15:02.924]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
14:15:02 [14:15:02.933]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 875.44MiB)
14:15:03 [14:15:03.050]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 875.44MiB)
14:15:03 [14:15:03.051]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
14:15:03 [14:15:03.055]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
14:15:03 [14:15:03.056]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
14:15:03 [14:15:03.057]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 875.44MiB)
14:15:03 [14:15:03.057]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
14:15:03 [14:15:03.057]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 875.44MiB)
14:15:03 [14:15:03.058]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 875.44MiB)
14:15:03 [14:15:03.058]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 875.44MiB)
14:15:03 [14:15:03.058]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
14:15:03 [14:15:03.059]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 875.44MiB)
14:15:03 [14:15:03.059]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 875.44MiB)
14:15:03 [14:15:03.059]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 875.44MiB)
14:15:03 [14:15:03.059]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
14:15:03 [14:15:03.060]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
14:15:03 [14:15:03.060]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
14:15:03 [14:15:03.060]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
14:15:03 [14:15:03.083]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
14:15:03 [14:15:03.104]
INFO:
ivc-integration:prove_wasm time to construct proving key: 53 ms. (mem: 875.44MiB)
14:15:03 [14:15:03.212]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
14:15:04 [14:15:04.505]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
14:15:04 [14:15:04.506]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 875.44MiB)
14:15:05 [14:15:05.000]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
14:15:05 [14:15:05.291]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
14:15:05 [14:15:05.661]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
14:15:05 [14:15:05.930]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
14:15:05 [14:15:05.931]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
14:15:05 [14:15:05.931]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 18363 (mem: 875.44MiB)
14:15:05 [14:15:05.931]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 875.44MiB)
14:15:05 [14:15:05.932]
INFO:
ivc-integration:prove_wasm Largest circuit: 48490 gates. Trace details: (mem: 875.44MiB)
14:15:05 [14:15:05.932]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 875.44MiB)
14:15:05 [14:15:05.932]
INFO:
ivc-integration:prove_wasm ecc_op : 792
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.932]
INFO:
ivc-integration:prove_wasm busread : 16
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.933]
INFO:
ivc-integration:prove_wasm lookup : 2
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.933]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.933]
INFO:
ivc-integration:prove_wasm arithmetic : 12080
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.933]
INFO:
ivc-integration:prove_wasm delta_range : 2942
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.934]
INFO:
ivc-integration:prove_wasm elliptic : 2
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.934]
INFO:
ivc-integration:prove_wasm aux : 350
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.934]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4942
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.934]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28160
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.935]
INFO:
ivc-integration:prove_wasm overflow : 0
14:15:05 (mem: 875.44MiB)
14:15:05 [14:15:05.935]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
14:15:05 [14:15:05.935]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 875.44MiB)
14:15:06 [14:15:06.078]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
14:15:06 [14:15:06.379]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
14:15:07 [14:15:07.424]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
14:15:07 [14:15:07.720]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
14:15:07 [14:15:07.721]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
14:15:07 [14:15:07.738]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 875.44MiB)
14:15:07 [14:15:07.954]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
14:15:07 [14:15:07.960]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
14:15:07 [14:15:07.980]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
14:15:08 [14:15:08.020]
INFO:
ivc-integration:prove_wasm time to construct proving key: 67 ms. (mem: 875.44MiB)
14:15:09 [14:15:09.131]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 875.44MiB)
14:15:10 [14:15:10.246]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 875.44MiB)
14:15:10 [14:15:10.273]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
14:15:10 [14:15:10.570]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
14:15:11 [14:15:11.386]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
14:15:11 [14:15:11.536]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
14:15:11 [14:15:11.537]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
14:15:11 [14:15:11.538]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 875.44MiB)
14:15:11 [14:15:11.678]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 875.44MiB)
14:15:16 [14:15:16.536]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
14:15:20 [14:15:20.084]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
14:15:24 [14:15:24.073]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 875.44MiB)
14:15:24 [14:15:24.074]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 875.44MiB)
14:15:28 [14:15:28.374]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
14:15:31 [14:15:31.380]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
14:15:33 [14:15:33.625]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
14:15:33 [14:15:33.626]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 875.44MiB)
14:15:33 [14:15:33.626]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 46059 (mem: 875.44MiB)
14:15:33 [14:15:33.633]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 875.44MiB)
14:15:33 [14:15:33.635]
INFO:
ivc-integration:prove_wasm time to serialize vk: 3 (mem: 875.44MiB)
14:15:33 [14:15:33.655]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 875.44MiB)
14:15:33 [14:15:33.716]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
14:15:33 [14:15:33.717]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
14:15:33 [14:15:33.718]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
14:15:33 [14:15:33.718]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
14:15:33 [14:15:33.930]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
14:15:33 [14:15:33.931]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
14:15:33 [14:15:33.932]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
14:15:33 [14:15:33.932]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.016]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.016]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.017]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.017]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.017]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.017]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.030]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 875.44MiB)
14:15:34 [14:15:34.081]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.081]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.082]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.082]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.296]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.298]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.298]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.298]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.352]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.353]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.353]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.353]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.354]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.354]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
14:15:34 [14:15:34.840]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
14:15:34
PASS src/wasm_client_ivc_integration.test.ts (
109.867 s)
14:15:34 Client IVC Integration
14:15:34
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (52605 ms)
14:15:34
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2517 ms)
14:15:34
✓ Should generate a verifiable client IVC proof from a complex mock tx (51143 ms)
14:15:34
14:15:34
Test Suites: 1 passed, 1 total
14:15:34
Tests: 3 passed, 3 total
14:15:34
Snapshots: 0 total
14:15:34
Time: 109.978 s
14:15:34
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
14:15:34
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?