Parent Log:
http://ci.aztec-labs.com/e97c23f5139375db
Command: bdef8c432fe28910: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/f43d8712af73e32f1416fa61d802ff8675836f89
Env: REF_NAME=gh-readonly-queue/next/pr-15099-a48851a8c6884f4b9615a154f8862a549722d25e CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 17 12:11:02 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15099_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
12:11:06 [12:11:06.674]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
12:11:06 [12:11:06.682]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-GhSRit/ivc-inputs.msgpack
12:11:06 [12:11:06.683]
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-GhSRit --ivc_inputs_path /tmp/bb-client-ivc-integration-GhSRit/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
12:11:06 [12:11:06.875]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12082492 bytes
12:11:06 [12:11:06.890]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 184.04 MiB)
12:11:06 Scheme is: client_ivc, num threads: 128 (mem: 184.04 MiB)
12:11:06 --scheme: client_ivc (mem: 184.04 MiB)
12:11:06 --output_path: /tmp/bb-client-ivc-integration-GhSRit (mem: 184.04 MiB)
12:11:06 --ivc_inputs_path: /tmp/bb-client-ivc-integration-GhSRit/ivc-inputs.msgpack (mem: 184.04 MiB)
12:11:06 --verbose: true (mem: 184.04 MiB)
12:11:06 --write_vk: true (mem: 184.04 MiB)
12:11:06 BN254 commitment key size: 262144 (mem: 184.04 MiB)
12:11:06 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 248.00 MiB)
12:11:06 [12:11:06.911]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
12:11:06 [12:11:06.914]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 296.12 MiB)
12:11:06 [12:11:06.919]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 296.12 MiB)
12:11:06 Constructing DeciderProvingKey (mem: 296.12 MiB)
12:11:06 [12:11:06.924]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 296.12 MiB)
12:11:06 goblin ecc op : 4/1024 (mem: 296.12 MiB)
12:11:06 busread : 7/6000 (mem: 296.12 MiB)
12:11:06 lookups : 2/15000 (mem: 296.12 MiB)
12:11:06 pub inputs : 16/5000 (populated in decider pk constructor) (mem:
12:11:06 [12:11:06.926]
INFO:
ivc-integration:test:wasm bb - 296.12 MiB)
12:11:06 arithmetic : 1760/56000 (mem: 296.12 MiB)
12:11:06 delta range : 1754/18000 (mem: 296.12 MiB)
12:11:06 elliptic : 2/6000 (mem: 296.12 MiB)
12:11:06 auxiliary : 26/26000 (mem: 296.12 MiB)
12:11:06 poseidon ext : 2/17000 (mem: 296.12 MiB)
12:11:06 poseidon int : 2/92000 (mem: 296.12 MiB)
12:11:06 overflow : 0/0 (mem: 296.12 MiB)
12:11:06 (mem: 296.12 MiB)
12:11:06 Total structured size: 242025 (mem: 296.12 MiB)
12:11:06 allocating polynomials object in proving key... (mem: 296.12 MiB)
12:11:06 [12:11:06.993]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 505.28 MiB)
12:11:07 [12:11:07.004]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 85 ms. (mem: 518.28 MiB)
12:11:07 [12:11:07.034]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x648d1031c440 (mem: 518.28 MiB)
12:11:07 computing oink proof... (mem: 518.28 MiB)
12:11:07 [12:11:07.035]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.28 MiB)
12:11:07 [12:11:07.206]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 525.28 MiB)
12:11:07 [12:11:07.220]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.28 MiB)
12:11:07 [12:11:07.246]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 525.28 MiB)
12:11:07 Constructing DeciderProvingKey (mem: 525.28 MiB)
12:11:07 [12:11:07.250]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.28 MiB)
12:11:07 goblin ecc op : 56/1024 (mem: 525.28 MiB)
12:11:07 busread : 12/6000 (mem: 525.28 MiB)
12:11:07 lookups : 2/15000 (mem: 525.28 MiB)
12:11:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.28 MiB)
12:11:07 arithmetic : 4625/56000 (mem: 525.28 MiB)
12:11:07 delta range : 2054/18000 (mem: 525.28 MiB)
12:11:07 elliptic : 2/6000 (mem: 525.28 MiB)
12:11:07 auxiliary : 110/26000 (mem: 525.28 MiB)
12:11:07 poseidon ext : 1302/17000 (mem: 525.28 MiB)
12:11:07 poseidon int : 7412/92000 (mem:
12:11:07 [12:11:07.251]
INFO:
ivc-integration:test:wasm bb - 525.28 MiB)
12:11:07 overflow : 0/0 (mem: 525.28 MiB)
12:11:07 (mem: 525.28 MiB)
12:11:07 Total structured size: 242025 (mem: 525.28 MiB)
12:11:07 allocating polynomials object in proving key... (mem: 525.28 MiB)
12:11:07 [12:11:07.255]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
12:11:07 [12:11:07.265]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
12:11:07 [12:11:07.347]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 731.28 MiB)
12:11:07 [12:11:07.371]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 124 ms. (mem: 746.28 MiB)
12:11:07 [12:11:07.434]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x648d10329100 (mem: 746.28 MiB)
12:11:07 [12:11:07.436]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 746.28 MiB)
12:11:07 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 746.28 MiB)
12:11:07 [12:11:07.877]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 746.28 MiB)
12:11:07 [12:11:07.983]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 784.28 MiB)
12:11:08 [12:11:08.032]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 816.28 MiB)
12:11:08 [12:11:08.472]
INFO:
ivc-integration:test:wasm bb - folded (mem: 816.28 MiB)
12:11:08 constructed folding proof (mem: 816.28 MiB)
12:11:08 [12:11:08.478]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 816.28 MiB)
12:11:08 [12:11:08.546]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
12:11:08 [12:11:08.550]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
12:11:09 [12:11:09.191]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 816.28 MiB)
12:11:09 Constructing DeciderProvingKey (mem: 816.28 MiB)
12:11:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 816.28 MiB)
12:11:09 goblin ecc op : 392/1024 (mem: 816.28 MiB)
12:11:09 busread : 3/6000 (mem: 816.28 MiB)
12:11:09 lookups : 2/15000 (mem: 816.28 MiB)
12:11:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 816.28 MiB)
12:11:09 arithmetic : 6849/56000 (mem: 816.28 MiB)
12:11:09 delta range : 2333/18000 (mem: 816.28 MiB)
12:11:09 elliptic : 2/6000 (mem: 816.28 MiB)
12:11:09 auxiliary : 50/26000 (mem: 816.28 MiB)
12:11:09 poseidon ext : 2472/17000 (mem: 816.28 MiB)
12:11:09 poseidon int : 14081/92000 (mem: 816.28 MiB)
12:11:09 overflow : 0/0 (mem: 816.28 MiB)
12:11:09 (mem: 816.28 MiB)
12:11:09 Total structured size: 242025 (mem: 816.28 MiB)
12:11:09 allocating polynomials object in proving key... (mem: 816.28 MiB)
12:11:09 populating trace... (mem: 816.28 MiB)
12:11:09 time to construct proving key: 223 ms. (mem: 816.28 MiB)
12:11:09 getting honk vk... precomputed?: 0x648d1031ea80 (mem: 816.28 MiB)
12:11:09 computing folding proof (mem: 816.28 MiB)
12:11:09 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 816.28 MiB)
12:11:09 [12:11:09.615]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 816.28 MiB)
12:11:09 [12:11:09.776]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 816.28 MiB)
12:11:09 [12:11:09.860]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 816.28 MiB)
12:11:10 [12:11:10.025]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
12:11:10 [12:11:10.214]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
12:11:10 [12:11:10.243]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
12:11:10 [12:11:10.269]
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:11:10 [12:11:10.278]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
12:11:10 [12:11:10.282]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
12:11:10 [12:11:10.304]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
12:11:10 [12:11:10.311]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
12:11:10 [12:11:10.312]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
12:11:10 [12:11:10.313]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
12:11:10 [12:11:10.314]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
12:11:10 [12:11:10.315]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
12:11:10 [12:11:10.315]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
12:11:10 [12:11:10.315]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
12:11:10 [12:11:10.316]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
12:11:10 [12:11:10.317]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
12:11:10 [12:11:10.318]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
12:11:10 [12:11:10.320]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
12:11:10 [12:11:10.320]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
12:11:10 [12:11:10.321]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
12:11:10 [12:11:10.322]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
12:11:10 [12:11:10.344]
INFO:
ivc-integration:test:wasm bb - folded (mem: 816.28 MiB)
12:11:10 constructed folding proof (mem: 816.28 MiB)
12:11:10 Largest circuit: 25792 gates. Trace details: (mem: 816.28 MiB)
12:11:10 Minimum required block sizes for structured trace: (mem: 816.28 MiB)
12:11:10 (mem: 816.28 MiB)
12:11:10 prove decider... (mem: 816.28 MiB)
12:11:10 [12:11:10.346]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
12:11:10 busread : 12
12:11:10 lookup : 2
12:11:10 pub_inputs : 36
12:11:10 arithmetic : 6849
12:11:10 delta_range : 2333
12:11:10 elliptic : 2
12:11:10 aux : 110
12:11:10 poseidon2_external : 2472
12:11:10 poseidon2_internal : 14081
12:11:10 overflow : 0
12:11:10 [12:11:10.412]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
12:11:10 [12:11:10.432]
INFO:
ivc-integration:prove_wasm time to construct proving key: 153 ms. (mem: 581.38MiB)
12:11:10 [12:11:10.449]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
12:11:10 [12:11:10.612]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 816.28 MiB)
12:11:10 [12:11:10.798]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 816.28 MiB)
12:11:11 [12:11:11.947]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 816.28 MiB)
12:11:12 [12:11:12.084]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 816.28 MiB)
12:11:12 finished decider proving. (mem: 816.28 MiB)
12:11:12 [12:11:12.099]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 816.28 MiB)
12:11:12 [12:11:12.253]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 816.28 MiB)
12:11:12 [12:11:12.261]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 816.28 MiB)
12:11:12 [12:11:12.391]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
12:11:12 [12:11:12.394]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
12:11:12 [12:11:12.440]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 816.28 MiB)
12:11:12 [12:11:12.528]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 275 ms. (mem: 816.28 MiB)
12:11:12 [12:11:12.839]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
12:11:12 [12:11:12.857]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
12:11:12 [12:11:12.909]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
12:11:12 [12:11:12.909]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
12:11:12 [12:11:12.913]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
12:11:12 [12:11:12.914]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
12:11:12 [12:11:12.915]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
12:11:12 [12:11:12.915]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
12:11:12 [12:11:12.916]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
12:11:12 [12:11:12.916]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.38MiB)
12:11:12 [12:11:12.917]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.38MiB)
12:11:12 [12:11:12.917]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
12:11:12 [12:11:12.917]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
12:11:12 [12:11:12.918]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.38MiB)
12:11:12 [12:11:12.918]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.38MiB)
12:11:12 [12:11:12.918]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
12:11:12 [12:11:12.919]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
12:11:12 [12:11:12.919]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
12:11:12 [12:11:12.919]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
12:11:13 [12:11:13.013]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.44MiB)
12:11:13 [12:11:13.063]
INFO:
ivc-integration:prove_wasm time to construct proving key: 160 ms. (mem: 820.19MiB)
12:11:13 [12:11:13.097]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.19MiB)
12:11:13 [12:11:13.707]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 816.28 MiB)
12:11:14 [12:11:14.475]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 816.28 MiB)
12:11:14 [12:11:14.782]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 816.28 MiB)
12:11:15 [12:11:15.004]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.19MiB)
12:11:15 [12:11:15.010]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 820.19MiB)
12:11:15 [12:11:15.852]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.19MiB)
12:11:16 [12:11:16.148]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
12:11:16 [12:11:16.381]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
12:11:16 [12:11:16.547]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 816.28 MiB)
12:11:16 [12:11:16.876]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
12:11:16 [12:11:16.878]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
12:11:16 [12:11:16.891]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 847.69MiB)
12:11:17 [12:11:17.051]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
12:11:17 [12:11:17.051]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
12:11:17 [12:11:17.060]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
12:11:17 [12:11:17.061]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
12:11:17 [12:11:17.061]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
12:11:17 [12:11:17.062]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
12:11:17 [12:11:17.062]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
12:11:17 [12:11:17.062]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 847.69MiB)
12:11:17 [12:11:17.063]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 847.69MiB)
12:11:17 [12:11:17.063]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
12:11:17 [12:11:17.065]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
12:11:17 [12:11:17.065]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 847.69MiB)
12:11:17 [12:11:17.066]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 847.69MiB)
12:11:17 [12:11:17.067]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
12:11:17 [12:11:17.068]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
12:11:17 [12:11:17.070]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
12:11:17 [12:11:17.071]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
12:11:17 [12:11:17.084]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
12:11:17 [12:11:17.115]
INFO:
ivc-integration:prove_wasm time to construct proving key: 63 ms. (mem: 847.69MiB)
12:11:17 [12:11:17.254]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
12:11:17 [12:11:17.970]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 816.28 MiB)
12:11:18 [12:11:18.021]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 816.28 MiB)
12:11:18 finished decider proving. (mem: 816.28 MiB)
12:11:18 [12:11:18.022]
INFO:
ivc-integration:test:wasm bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 816.28 MiB)
12:11:18 [12:11:18.334]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 816.28 MiB)
12:11:19 [12:11:19.117]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
12:11:19 [12:11:19.120]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 847.69MiB)
12:11:19 [12:11:19.157]
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: 816.28 MiB)
12:11:19 [12:11:19.198]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 816.28 MiB)
12:11:20 [12:11:20.037]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
12:11:20 [12:11:20.289]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
12:11:20 [12:11:20.507]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
12:11:21 [12:11:21.174]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
12:11:21 [12:11:21.176]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
12:11:21 [12:11:21.179]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 10963 (mem: 855.63MiB)
12:11:21 [12:11:21.180]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
12:11:21 [12:11:21.180]
INFO:
ivc-integration:prove_wasm Largest circuit: 25792 gates. Trace details: (mem: 855.63MiB)
12:11:21 [12:11:21.180]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
12:11:21 [12:11:21.181]
INFO:
ivc-integration:prove_wasm ecc_op : 392
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.181]
INFO:
ivc-integration:prove_wasm busread : 12
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.181]
INFO:
ivc-integration:prove_wasm lookup : 2
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.182]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.182]
INFO:
ivc-integration:prove_wasm arithmetic : 6849
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.182]
INFO:
ivc-integration:prove_wasm delta_range : 2333
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.182]
INFO:
ivc-integration:prove_wasm elliptic : 2
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.183]
INFO:
ivc-integration:prove_wasm aux : 110
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.183]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2472
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.183]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14081
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.184]
INFO:
ivc-integration:prove_wasm overflow : 0
12:11:21 (mem: 855.63MiB)
12:11:21 [12:11:21.184]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
12:11:21 [12:11:21.184]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
12:11:21 [12:11:21.407]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
12:11:21 [12:11:21.691]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 816.28 MiB)
12:11:21 [12:11:21.812]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
12:11:23 [12:11:23.609]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
12:11:24 [12:11:24.088]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
12:11:24 [12:11:24.090]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
12:11:24 [12:11:24.128]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 855.63MiB)
12:11:24 [12:11:24.303]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 816.28 MiB)
12:11:24 [12:11:24.336]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
12:11:24 [12:11:24.347]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
12:11:24 [12:11:24.375]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
12:11:24 [12:11:24.445]
INFO:
ivc-integration:prove_wasm time to construct proving key: 105 ms. (mem: 855.63MiB)
12:11:25 [12:11:25.984]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 855.63MiB)
12:11:27 [12:11:27.245]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
12:11:27 [12:11:27.273]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
12:11:27 [12:11:27.521]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
12:11:28 [12:11:28.254]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
12:11:28 [12:11:28.367]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
12:11:28 [12:11:28.367]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
12:11:28 [12:11:28.368]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
12:11:28 [12:11:28.461]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
12:11:29 [12:11:29.313]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 816.28 MiB)
12:11:29 prove translator... (mem: 816.28 MiB)
12:11:30 [12:11:30.240]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
12:11:32 [12:11:32.591]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 845.35 MiB)
12:11:34 [12:11:34.339]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
12:11:35 [12:11:35.774]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 847.35 MiB)
12:11:38 [12:11:38.829]
INFO:
ivc-integration:test:wasm bb - computed opening proof
12:11:38 [12:11:38.830]
INFO:
ivc-integration:test:wasm bb - (mem: 847.35 MiB)
12:11:38 finished translator proving. (mem: 847.35 MiB)
12:11:38 [12:11:38.848]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 847.35 MiB)
12:11:38 [12:11:38.864]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 848.35 MiB)
12:11:38 libra_evals_verified: 1 (mem: 848.35 MiB)
12:11:38 pairing_check_verified: 1 (mem: 848.35 MiB)
12:11:38 Mega verified: 1 (mem: 848.35 MiB)
12:11:38 [12:11:38.978]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 848.35 MiB)
12:11:38 batch opening verified?: 1 (mem: 848.35 MiB)
12:11:38 eccvm consistency check verified?: 1 (mem: 848.35 MiB)
12:11:38 translation masking consistency checked?: 1 (mem: 848.35 MiB)
12:11:38 [12:11:38.998]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 848.35 MiB)
12:11:38 eccvm verified?: 1 (mem: 848.35 MiB)
12:11:38 accumulator construction_verified?: 1 (mem: 848.35 MiB)
12:11:38 translation verified?: 1 (mem: 848.35 MiB)
12:11:38 consistency verified?: 1 (mem: 848.35 MiB)
12:11:38 Goblin verified: 1 (mem: 848.35 MiB)
12:11:38 [12:11:38.999]
INFO:
ivc-integration:test:wasm bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-GhSRit" (mem: 848.35 MiB)
12:11:39 [12:11:39.000]
INFO:
ivc-integration:test:wasm bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-GhSRit"
12:11:39 [12:11:39.003]
INFO:
ivc-integration:test:wasm bb - (mem: 848.35 MiB)
12:11:39 BN254 commitment key size: 262144 (mem: 848.35 MiB)
12:11:39 [12:11:39.006]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 848.35 MiB)
12:11:39 [12:11:39.011]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.35 MiB)
12:11:39 goblin ecc op : 4/1024 (mem: 848.35 MiB)
12:11:39 busread : 3/6000 (mem: 848.35 MiB)
12:11:39 lookups : 2/15000 (mem: 848.35 MiB)
12:11:39 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 848.35 MiB)
12:11:39 arithmetic : 1773/56000 (mem: 848.35 MiB)
12:11:39 delta range : 1754/18000 (mem: 848.35 MiB)
12:11:39 elliptic : 2/6000 (mem: 848.35 MiB)
12:11:39 auxiliary : 26/26000 (mem: 848.35 MiB)
12:11:39 poseidon ext : 2/17000 (mem: 848.35 MiB)
12:11:39 poseidon int : 2/92000 (mem: 848.35 MiB)
12:11:39 overflow : 0/0 (mem: 848.35 MiB)
12:11:39 (mem: 848.35 MiB)
12:11:39 Total structured size: 242025 (mem: 848.35 MiB)
12:11:39 allocating polynomials object in proving key... (mem: 848.35 MiB)
12:11:39 [12:11:39.243]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 848.35 MiB)
12:11:39 [12:11:39.326]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 318 ms. (mem: 848.35 MiB)
12:11:39 [12:11:39.556]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 848.35 MiB)
12:11:40 [12:11:40.320]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 848.35 MiB)
12:11:40 [12:11:40.321]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.35 MiB)
12:11:40 [12:11:40.917]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 848.35 MiB)
12:11:40 [12:11:40.934]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.35 MiB)
12:11:40 [12:11:40.978]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 848.35 MiB)
12:11:40 [12:11:40.982]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.35 MiB)
12:11:40 goblin ecc op : 56/1024 (mem: 848.35 MiB)
12:11:40 busread : 3/6000 (mem: 848.35 MiB)
12:11:40 lookups : 2/15000 (mem: 848.35 MiB)
12:11:40 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.35 MiB)
12:11:40 arithmetic : 4481/56000 (mem: 848.35 MiB)
12:11:40 delta range : 2041/18000 (mem: 848.35 MiB)
12:11:40 elliptic : 2/6000 (mem: 848.35 MiB)
12:11:40 auxiliary : 50/26000 (mem: 848.35 MiB)
12:11:40 poseidon ext : 1312/17000 (mem: 848.35 MiB)
12:11:40 poseidon int : 7469/92000 (mem: 848.35 MiB)
12:11:40 overflow : 0/0 (mem: 848.35 MiB)
12:11:40 (mem: 848.35 MiB)
12:11:40 Total structured size: 242025 (mem: 848.35 MiB)
12:11:40 allocating polynomials object in proving key... (mem: 848.35 MiB)
12:11:41 [12:11:41.282]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 848.35 MiB)
12:11:41 [12:11:41.346]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 367 ms. (mem: 848.35 MiB)
12:11:41 [12:11:41.480]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 848.35 MiB)
12:11:41 [12:11:41.688]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
12:11:41 [12:11:41.689]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
12:11:42 [12:11:42.267]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 848.35 MiB)
12:11:42 [12:11:42.277]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 848.35 MiB)
12:11:42 [12:11:42.964]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 848.35 MiB)
12:11:43 [12:11:43.089]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 851.35 MiB)
12:11:43 [12:11:43.147]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 884.35 MiB)
12:11:43 [12:11:43.421]
INFO:
ivc-integration:test:wasm bb - folded (mem: 884.35 MiB)
12:11:43 constructed folding proof (mem: 884.35 MiB)
12:11:43 [12:11:43.422]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 15360 gates. Trace details: (mem: 884.35 MiB)
12:11:43 Minimum required block sizes for structured trace: (mem: 884.35 MiB)
12:11:43 (mem: 884.35 MiB)
12:11:43 prove decider... (mem: 884.35 MiB)
12:11:43 [12:11:43.422]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
12:11:43 busread : 3
12:11:43 lookup : 2
12:11:43 pub_inputs : 36
12:11:43 arithmetic : 4481
12:11:43 delta_range : 2041
12:11:43 elliptic : 2
12:11:43 aux : 50
12:11:43 poseidon2_external : 1312
12:11:43 poseidon2_internal : 7469
12:11:43 overflow : 0
12:11:43 [12:11:43.587]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 884.35 MiB)
12:11:43 [12:11:43.752]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 884.35 MiB)
12:11:44 [12:11:44.808]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 884.35 MiB)
12:11:44 [12:11:44.884]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 884.35 MiB)
12:11:44 [12:11:44.885]
INFO:
ivc-integration:test:wasm bb - finished decider proving. (mem: 884.35 MiB)
12:11:44 [12:11:44.898]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 884.35 MiB)
12:11:44 [12:11:44.993]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 884.35 MiB)
12:11:44 [12:11:44.999]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 884.35 MiB)
12:11:45 [12:11:45.116]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 884.35 MiB)
12:11:45 [12:11:45.170]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 176 ms. (mem: 884.35 MiB)
12:11:47 [12:11:47.909]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
12:11:52 [12:11:52.012]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
12:11:55 [12:11:55.563]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
12:11:55 [12:11:55.566]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
12:11:55 [12:11:55.566]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 45354 (mem: 855.63MiB)
12:11:55 [12:11:55.572]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 855.63MiB)
12:11:55 [12:11:55.578]
INFO:
ivc-integration:prove_wasm time to serialize vk: 5 (mem: 855.63MiB)
12:11:55 [12:11:55.600]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 855.63MiB)
12:11:55 [12:11:55.656]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.657]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.658]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.658]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.873]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.874]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.874]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.874]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.963]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.964]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.964]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.965]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.965]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
12:11:55 [12:11:55.966]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
12:11:56 [12:11:56.575]
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-GhSRit/proof -k /tmp/bb-client-ivc-integration-GhSRit/vk -v
12:11:56 [12:11:56.654]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 921.46 MiB)
12:11:56 Scheme is: client_ivc, num threads: 128 (mem: 921.46 MiB)
12:11:56 --proof_path: /tmp/bb-client-ivc-integration-GhSRit/proof (mem: 921.46 MiB)
12:11:56 --vk_path: /tmp/bb-client-ivc-integration-GhSRit/vk (mem: 921.46 MiB)
12:11:56 --verbose: true (mem: 921.46 MiB)
12:11:56 --scheme: client_ivc (mem: 921.46 MiB)
12:11:56 [12:11:56.761]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 921.46 MiB)
12:11:56 [12:11:56.782]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 921.46 MiB)
12:11:56 [12:11:56.783]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 921.46 MiB)
12:11:56 [12:11:56.802]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 921.46 MiB)
12:11:56 [12:11:56.804]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1025 (mem: 921.46 MiB)
12:11:56 sumcheck_verified: 1 (mem: 921.46 MiB)
12:11:56 libra_evals_verified: 1 (mem: 921.46 MiB)
12:11:56 pairing_check_verified: 1 (mem: 921.46 MiB)
12:11:56 Mega verified: 1 (mem: 921.46 MiB)
12:11:56 [12:11:56.871]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 921.46 MiB)
12:11:56 batch opening verified?: 1 (mem: 921.46 MiB)
12:11:56 eccvm consistency check verified?: 1 (mem: 921.46 MiB)
12:11:56 translation masking consistency checked?: 1 (mem: 921.46 MiB)
12:11:56 [12:11:56.896]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 921.46 MiB)
12:11:56 eccvm verified?: 1 (mem: 921.46 MiB)
12:11:56 accumulator construction_verified?: 1 (mem: 921.46 MiB)
12:11:56 translation verified?: 1 (mem: 921.46 MiB)
12:11:56 consistency verified?: 1 (mem: 921.46 MiB)
12:11:56 Goblin verified: 1 (mem: 921.46 MiB)
12:11:56 [12:11:56.902]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 921.46 MiB)
12:11:56 [12:11:56.963]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
12:11:57 [12:11:57.146]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12082492 bytes
12:11:57 [12:11:57.207]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
12:11:57 [12:11:57.700]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
12:11:57 [12:11:57.734]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
12:11:57 [12:11:57.735]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
12:11:58 [12:11:58.996]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
12:11:59 [12:11:59.120]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
12:11:59 [12:11:59.125]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
12:11:59 [12:11:59.203]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
12:11:59 [12:11:59.215]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
12:11:59 [12:11:59.250]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
12:11:59 [12:11:59.262]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
12:11:59 [12:11:59.545]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15519,"2":25792}
12:11:59 [12:11:59.627]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
12:11:59 [12:11:59.751]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12082492 bytes
12:11:59 [12:11:59.797]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
12:12:00 [12:12:00.363]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
12:12:00 [12:12:00.380]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
12:12:01 [12:12:01.590]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
12:12:01 [12:12:01.591]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
12:12:02 [12:12:02.799]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
12:12:02 [12:12:02.897]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
12:12:02 [12:12:02.943]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
12:12:02 [12:12:02.964]
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:12:02 [12:12:02.978]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
12:12:02 [12:12:02.979]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
12:12:03 [12:12:03.022]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
12:12:03 [12:12:03.023]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
12:12:03 [12:12:03.023]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
12:12:03 [12:12:03.028]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
12:12:03 [12:12:03.029]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
12:12:03 [12:12:03.029]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
12:12:03 [12:12:03.030]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
12:12:03 [12:12:03.030]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
12:12:03 [12:12:03.030]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
12:12:03 [12:12:03.031]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
12:12:03 [12:12:03.034]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
12:12:03 [12:12:03.035]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
12:12:03 [12:12:03.036]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
12:12:03 [12:12:03.036]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
12:12:03 [12:12:03.037]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
12:12:03 [12:12:03.113]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.63MiB)
12:12:03 [12:12:03.159]
INFO:
ivc-integration:prove_wasm time to construct proving key: 181 ms. (mem: 581.81MiB)
12:12:03 [12:12:03.186]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.81MiB)
12:12:05 [12:12:05.397]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.81MiB)
12:12:05 [12:12:05.400]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
12:12:05 [12:12:05.842]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.81MiB)
12:12:05 [12:12:05.858]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
12:12:05 [12:12:05.913]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.81MiB)
12:12:05 [12:12:05.913]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.81MiB)
12:12:05 [12:12:05.918]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.81MiB)
12:12:05 [12:12:05.918]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.81MiB)
12:12:05 [12:12:05.918]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.81MiB)
12:12:05 [12:12:05.919]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.81MiB)
12:12:05 [12:12:05.919]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.81MiB)
12:12:05 [12:12:05.919]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.81MiB)
12:12:05 [12:12:05.925]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.81MiB)
12:12:05 [12:12:05.926]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.81MiB)
12:12:05 [12:12:05.926]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.81MiB)
12:12:05 [12:12:05.926]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.81MiB)
12:12:05 [12:12:05.926]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.81MiB)
12:12:05 [12:12:05.927]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.81MiB)
12:12:05 [12:12:05.927]
INFO:
ivc-integration:prove_wasm (mem: 581.81MiB)
12:12:05 [12:12:05.936]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.81MiB)
12:12:05 [12:12:05.937]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.81MiB)
12:12:06 [12:12:06.034]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.63MiB)
12:12:06 [12:12:06.057]
INFO:
ivc-integration:prove_wasm time to construct proving key: 153 ms. (mem: 820.69MiB)
12:12:06 [12:12:06.077]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
12:12:07 [12:12:07.568]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
12:12:07 [12:12:07.574]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 820.69MiB)
12:12:08 [12:12:08.242]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
12:12:08 [12:12:08.438]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
12:12:08 [12:12:08.990]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
12:12:09 [12:12:09.196]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
12:12:09 [12:12:09.197]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
12:12:09 [12:12:09.197]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
12:12:09 [12:12:09.198]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
12:12:09 [12:12:09.201]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
12:12:09 [12:12:09.201]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
12:12:09 [12:12:09.202]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
12:12:09 [12:12:09.202]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
12:12:09 [12:12:09.202]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
12:12:09 [12:12:09.202]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
12:12:09 [12:12:09.203]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
12:12:09 [12:12:09.203]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
12:12:09 [12:12:09.203]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
12:12:09 [12:12:09.203]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
12:12:09 [12:12:09.204]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
12:12:09 [12:12:09.204]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
12:12:09 [12:12:09.204]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
12:12:09 [12:12:09.209]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
12:12:09 [12:12:09.209]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
12:12:09 [12:12:09.246]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
12:12:09 [12:12:09.253]
INFO:
ivc-integration:prove_wasm time to construct proving key: 55 ms. (mem: 848.19MiB)
12:12:09 [12:12:09.272]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
12:12:10 [12:12:10.822]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
12:12:10 [12:12:10.824]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
12:12:10 [12:12:10.984]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
12:12:11 [12:12:11.139]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
12:12:11 [12:12:11.348]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
12:12:11 [12:12:11.548]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
12:12:11 [12:12:11.549]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
12:12:11 [12:12:11.565]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 848.19MiB)
12:12:11 [12:12:11.700]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
12:12:11 [12:12:11.833]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
12:12:11 [12:12:11.834]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
12:12:11 [12:12:11.840]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
12:12:11 [12:12:11.840]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
12:12:11 [12:12:11.841]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
12:12:11 [12:12:11.841]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
12:12:11 [12:12:11.842]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
12:12:11 [12:12:11.842]
INFO:
ivc-integration:prove_wasm arithmetic : 12080/56000 (mem: 848.19MiB)
12:12:11 [12:12:11.843]
INFO:
ivc-integration:prove_wasm delta range : 2942/18000 (mem: 848.19MiB)
12:12:11 [12:12:11.843]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
12:12:11 [12:12:11.843]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
12:12:11 [12:12:11.843]
INFO:
ivc-integration:prove_wasm poseidon ext : 4942/17000 (mem: 848.19MiB)
12:12:11 [12:12:11.844]
INFO:
ivc-integration:prove_wasm poseidon int : 28160/92000 (mem: 848.19MiB)
12:12:11 [12:12:11.844]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
12:12:11 [12:12:11.844]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
12:12:11 [12:12:11.845]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
12:12:11 [12:12:11.845]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
12:12:11 [12:12:11.858]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
12:12:11 [12:12:11.904]
INFO:
ivc-integration:prove_wasm time to construct proving key: 70 ms. (mem: 851.25MiB)
12:12:11 [12:12:11.993]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.25MiB)
12:12:13 [12:12:13.166]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.25MiB)
12:12:13 [12:12:13.168]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 851.25MiB)
12:12:13 [12:12:13.830]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.25MiB)
12:12:14 [12:12:14.102]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
12:12:14 [12:12:14.418]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
12:12:14 [12:12:14.627]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
12:12:14 [12:12:14.628]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
12:12:14 [12:12:14.638]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 907.06MiB)
12:12:14 [12:12:14.763]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 907.06MiB)
12:12:14 [12:12:14.764]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
12:12:14 [12:12:14.767]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
12:12:14 [12:12:14.768]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
12:12:14 [12:12:14.768]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 907.06MiB)
12:12:14 [12:12:14.768]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
12:12:14 [12:12:14.769]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 907.06MiB)
12:12:14 [12:12:14.769]
INFO:
ivc-integration:prove_wasm arithmetic : 6914/56000 (mem: 907.06MiB)
12:12:14 [12:12:14.769]
INFO:
ivc-integration:prove_wasm delta range : 2347/18000 (mem: 907.06MiB)
12:12:14 [12:12:14.770]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
12:12:14 [12:12:14.770]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 907.06MiB)
12:12:14 [12:12:14.770]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 907.06MiB)
12:12:14 [12:12:14.771]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 907.06MiB)
12:12:14 [12:12:14.771]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
12:12:14 [12:12:14.771]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
12:12:14 [12:12:14.771]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
12:12:14 [12:12:14.772]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
12:12:14 [12:12:14.784]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
12:12:14 [12:12:14.800]
INFO:
ivc-integration:prove_wasm time to construct proving key: 37 ms. (mem: 907.06MiB)
12:12:14 [12:12:14.892]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
12:12:15 [12:12:15.960]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
12:12:15 [12:12:15.963]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 907.06MiB)
12:12:16 [12:12:16.419]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
12:12:16 [12:12:16.677]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
12:12:16 [12:12:16.968]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
12:12:17 [12:12:17.283]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
12:12:17 [12:12:17.284]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
12:12:17 [12:12:17.294]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 907.06MiB)
12:12:17 [12:12:17.422]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 907.06MiB)
12:12:17 [12:12:17.424]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
12:12:17 [12:12:17.427]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
12:12:17 [12:12:17.428]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
12:12:17 [12:12:17.429]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 907.06MiB)
12:12:17 [12:12:17.430]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
12:12:17 [12:12:17.432]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 907.06MiB)
12:12:17 [12:12:17.433]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 907.06MiB)
12:12:17 [12:12:17.433]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 907.06MiB)
12:12:17 [12:12:17.434]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
12:12:17 [12:12:17.434]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 907.06MiB)
12:12:17 [12:12:17.435]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 907.06MiB)
12:12:17 [12:12:17.437]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 907.06MiB)
12:12:17 [12:12:17.438]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
12:12:17 [12:12:17.438]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
12:12:17 [12:12:17.438]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
12:12:17 [12:12:17.439]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
12:12:17 [12:12:17.461]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
12:12:17 [12:12:17.495]
INFO:
ivc-integration:prove_wasm time to construct proving key: 74 ms. (mem: 907.06MiB)
12:12:17 [12:12:17.604]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
12:12:18 [12:12:18.876]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
12:12:18 [12:12:18.878]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 907.06MiB)
12:12:19 [12:12:19.364]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
12:12:19 [12:12:19.564]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
12:12:19 [12:12:19.869]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
12:12:20 [12:12:20.158]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
12:12:20 [12:12:20.159]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
12:12:20 [12:12:20.159]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 17255 (mem: 907.06MiB)
12:12:20 [12:12:20.160]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 907.06MiB)
12:12:20 [12:12:20.160]
INFO:
ivc-integration:prove_wasm Largest circuit: 48490 gates. Trace details: (mem: 907.06MiB)
12:12:20 [12:12:20.160]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 907.06MiB)
12:12:20 [12:12:20.161]
INFO:
ivc-integration:prove_wasm ecc_op : 792
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.161]
INFO:
ivc-integration:prove_wasm busread : 16
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.161]
INFO:
ivc-integration:prove_wasm lookup : 2
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.162]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.162]
INFO:
ivc-integration:prove_wasm arithmetic : 12080
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.162]
INFO:
ivc-integration:prove_wasm delta_range : 2942
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.163]
INFO:
ivc-integration:prove_wasm elliptic : 2
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.163]
INFO:
ivc-integration:prove_wasm aux : 350
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.163]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4942
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.164]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28160
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.164]
INFO:
ivc-integration:prove_wasm overflow : 0
12:12:20 (mem: 907.06MiB)
12:12:20 [12:12:20.165]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
12:12:20 [12:12:20.165]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 907.06MiB)
12:12:20 [12:12:20.308]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
12:12:20 [12:12:20.629]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
12:12:21 [12:12:21.747]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
12:12:22 [12:12:22.036]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
12:12:22 [12:12:22.037]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
12:12:22 [12:12:22.057]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 907.06MiB)
12:12:22 [12:12:22.277]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
12:12:22 [12:12:22.284]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
12:12:22 [12:12:22.302]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
12:12:22 [12:12:22.344]
INFO:
ivc-integration:prove_wasm time to construct proving key: 68 ms. (mem: 907.06MiB)
12:12:23 [12:12:23.389]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 907.06MiB)
12:12:24 [12:12:24.435]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 907.06MiB)
12:12:24 [12:12:24.459]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
12:12:24 [12:12:24.690]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
12:12:25 [12:12:25.456]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
12:12:25 [12:12:25.572]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
12:12:25 [12:12:25.572]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
12:12:25 [12:12:25.573]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 907.06MiB)
12:12:25 [12:12:25.685]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 907.06MiB)
12:12:29 [12:12:29.039]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
12:12:34 [12:12:34.003]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
12:12:38 [12:12:38.377]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 907.06MiB)
12:12:38 [12:12:38.378]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 907.06MiB)
12:12:43 [12:12:43.135]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
12:12:46 [12:12:46.388]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
12:12:48 [12:12:48.594]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
12:12:48 [12:12:48.595]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 907.06MiB)
12:12:48 [12:12:48.595]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 45688 (mem: 907.06MiB)
12:12:48 [12:12:48.610]
INFO:
ivc-integration:prove_wasm time to serialize proof: 11 (mem: 907.06MiB)
12:12:48 [12:12:48.613]
INFO:
ivc-integration:prove_wasm time to serialize vk: 9 (mem: 907.06MiB)
12:12:48 [12:12:48.624]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 907.06MiB)
12:12:48 [12:12:48.673]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.673]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.673]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.674]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.889]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.890]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.890]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.890]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.968]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.969]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.969]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.969]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.970]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.970]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
12:12:48 [12:12:48.982]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 907.06MiB)
12:12:49 [12:12:49.041]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.042]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.042]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.042]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.214]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.215]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.216]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.216]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.262]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.262]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.262]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.263]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.263]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.263]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
12:12:49 [12:12:49.680]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
12:12:49
PASS src/wasm_client_ivc_integration.test.ts (
106.398 s)
12:12:49 Client IVC Integration
12:12:49
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (50362 ms)
12:12:49
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2596 ms)
12:12:49
✓ Should generate a verifiable client IVC proof from a complex mock tx (50136 ms)
12:12:49
12:12:49
Test Suites: 1 passed, 1 total
12:12:49
Tests: 3 passed, 3 total
12:12:49
Snapshots: 0 total
12:12:49
Time: 106.515 s
12:12:49
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
12:12:49
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?