Parent Log:
http://ci.aztec-labs.com/24748e6d08b984db
Command: aeeaca4258226ee3: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/1107a5aec5cc4c3884ed30df5e1e4c4417fa4588
Env: REF_NAME=gh-readonly-queue/next/pr-15258-ab2663c779174e49814adda157cc3aba0f136063 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 26 15:42:05 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15258_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
15:42:10 [15:42:10.439]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
15:42:10 [15:42:10.447]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-rAxB8q/ivc-inputs.msgpack
15:42:10 [15:42:10.450]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
15:42:10 [15:42:10.451]
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-rAxB8q --ivc_inputs_path /tmp/bb-client-ivc-integration-rAxB8q/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:42:10 [15:42:10.618]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12115275 bytes
15:42:10 [15:42:10.632]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 240.86 MiB)
15:42:10 Scheme is: client_ivc, num threads: 128 (mem: 240.86 MiB)
15:42:10 --scheme: client_ivc (mem: 240.86 MiB)
15:42:10 --output_path: /tmp/bb-client-ivc-integration-rAxB8q (mem: 240.86 MiB)
15:42:10 --ivc_inputs_path: /tmp/bb-client-ivc-integration-rAxB8q/ivc-inputs.msgpack (mem: 240.86 MiB)
15:42:10 --verbose: true (mem: 240.86 MiB)
15:42:10 --write_vk: true (mem: 240.86 MiB)
15:42:10 BN254 commitment key size: 262144 (mem: 240.86 MiB)
15:42:10 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.86 MiB)
15:42:10 Initialized BN254 CRS from memory with num points = 262145 (mem: 240.86 MiB)
15:42:10 ClientIVC: accumulating unknown_0 (mem: 240.86 MiB)
15:42:10 Constructing DeciderProvingKey (mem: 240.86 MiB)
15:42:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 240.86 MiB)
15:42:10 goblin ecc op : 4/1024 (mem: 240.86 MiB)
15:42:10 busread : 7/6000 (mem: 240.86 MiB)
15:42:10 lookups : 2/15000 (mem: 240.86 MiB)
15:42:10 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 240.86 MiB)
15:42:10 arithmetic : 1760/56000 (mem: 240.86 MiB)
15:42:10 delta range : 1754/18000 (mem: 240.86 MiB)
15:42:10 elliptic : 2/6000 (mem: 240.86 MiB)
15:42:10 auxiliary : 26/26000 (mem: 240.86 MiB)
15:42:10 poseidon ext : 2/17000 (mem: 240.86 MiB)
15:42:10 poseidon int : 2/92000 (mem: 240.86 MiB)
15:42:10 overflow : 0/0 (mem: 240.86 MiB)
15:42:10 (mem: 240.86 MiB)
15:42:10 Total structured size: 242025 (mem: 240.86 MiB)
15:42:10 allocating polynomials object in proving key... (mem: 240.86 MiB)
15:42:10 [15:42:10.679]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
15:42:10 [15:42:10.742]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 342.03 MiB)
15:42:10 [15:42:10.755]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 208 ms. (mem: 354.03 MiB)
15:42:10 getting honk vk... precomputed?: 0x5c1e985140c0 (mem: 354.03 MiB)
15:42:10 computing oink proof... (mem: 354.03 MiB)
15:42:10 [15:42:10.758]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 354.03 MiB)
15:42:10 [15:42:10.991]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 362.03 MiB)
15:42:11 [15:42:11.042]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
15:42:11 [15:42:11.050]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
15:42:11 [15:42:11.052]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 362.03 MiB)
15:42:11 [15:42:11.071]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 362.03 MiB)
15:42:11 Constructing DeciderProvingKey (mem: 362.03 MiB)
15:42:11 [15:42:11.074]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 362.03 MiB)
15:42:11 goblin ecc op : 56/1024 (mem: 362.03 MiB)
15:42:11 busread : 12/6000 (mem: 362.03 MiB)
15:42:11 lookups : 2/15000 (mem: 362.03 MiB)
15:42:11 pub inputs : 32/5000 (populated in decider pk constructor)
15:42:11 [15:42:11.076]
INFO:
ivc-integration:test:wasm bb - (mem: 362.03 MiB)
15:42:11 arithmetic : 4611/56000 (mem: 362.03 MiB)
15:42:11 delta range : 2073/18000 (mem: 362.03 MiB)
15:42:11 elliptic : 2/6000 (mem: 362.03 MiB)
15:42:11 auxiliary : 110/26000 (mem: 362.03 MiB)
15:42:11 poseidon ext : 1272/17000 (mem: 362.03 MiB)
15:42:11 poseidon int : 7241/92000 (mem: 362.03 MiB)
15:42:11 overflow : 0/0 (mem: 362.03 MiB)
15:42:11 (mem: 362.03 MiB)
15:42:11 Total structured size: 242025 (mem: 362.03 MiB)
15:42:11 allocating polynomials object in proving key... (mem: 362.03 MiB)
15:42:11 [15:42:11.265]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 566.03 MiB)
15:42:11 [15:42:11.301]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 231 ms. (mem: 582.03 MiB)
15:42:11 getting honk vk... precomputed?: 0x5c1e9852c280 (mem: 582.03 MiB)
15:42:11 computing folding proof (mem: 582.03 MiB)
15:42:11 [15:42:11.302]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000004fe59063f23a90540933a733b5f7eb18 (mem: 582.03 MiB)
15:42:11 [15:42:11.707]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 589.03 MiB)
15:42:11 [15:42:11.797]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 622.03 MiB)
15:42:11 [15:42:11.847]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 654.03 MiB)
15:42:12 [15:42:12.165]
INFO:
ivc-integration:test:wasm bb - folded (mem: 654.03 MiB)
15:42:12 [15:42:12.166]
INFO:
ivc-integration:test:wasm bb - constructed folding proof (mem: 654.03 MiB)
15:42:12 [15:42:12.330]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
15:42:12 [15:42:12.332]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
15:42:13 [15:42:13.008]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000004fe59063f23a90540933a733b5f7eb18 (mem: 654.03 MiB)
15:42:13 ClientIVC: accumulating unknown_2 (mem: 654.03 MiB)
15:42:13 Constructing DeciderProvingKey (mem: 654.03 MiB)
15:42:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 654.03 MiB)
15:42:13 goblin ecc op : 392/1024 (mem: 654.03 MiB)
15:42:13 busread : 3/6000 (mem: 654.03 MiB)
15:42:13 lookups : 2/15000 (mem: 654.03 MiB)
15:42:13 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 654.03 MiB)
15:42:13 arithmetic : 6847/56000 (mem: 654.03 MiB)
15:42:13 delta range : 2353/18000 (mem: 654.03 MiB)
15:42:13 elliptic : 2/6000 (mem: 654.03 MiB)
15:42:13 auxiliary : 50/26000 (mem: 654.03 MiB)
15:42:13 poseidon ext : 2442/17000 (mem: 654.03 MiB)
15:42:13 poseidon int : 13910/92000 (mem: 654.03 MiB)
15:42:13 overflow : 0/0 (mem: 654.03 MiB)
15:42:13 (mem: 654.03 MiB)
15:42:13 Total structured size: 242025 (mem: 654.03 MiB)
15:42:13 allocating polynomials object in proving key... (mem: 654.03 MiB)
15:42:13 populating trace... (mem: 654.03 MiB)
15:42:13 time to construct proving key: 244 ms. (mem: 654.03 MiB)
15:42:13 getting honk vk... precomputed?: 0x5c1e98515900 (mem: 654.03 MiB)
15:42:13 computing folding proof (mem: 654.03 MiB)
15:42:13 vkey hash in Oink prover: 0x00000000000000000000000000000000c0362c4bb405696ea55962a67ac54c6d (mem: 654.03 MiB)
15:42:13 [15:42:13.216]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 654.03 MiB)
15:42:13 [15:42:13.304]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 654.03 MiB)
15:42:13 [15:42:13.357]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 663.90 MiB)
15:42:13 [15:42:13.582]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
15:42:13 [15:42:13.674]
INFO:
ivc-integration:test:wasm bb - folded (mem: 663.90 MiB)
15:42:13 [15:42:13.675]
INFO:
ivc-integration:test:wasm bb - constructed folding proof (mem: 663.90 MiB)
15:42:13 [15:42:13.686]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
15:42:13 [15:42:13.710]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:42:13 [15:42:13.711]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 194.06MiB)
15:42:13 [15:42:13.716]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
15:42:13 [15:42:13.718]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
15:42:13 [15:42:13.735]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
15:42:13 [15:42:13.737]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
15:42:13 [15:42:13.737]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
15:42:13 [15:42:13.737]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
15:42:13 [15:42:13.740]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
15:42:13 [15:42:13.741]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
15:42:13 [15:42:13.741]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
15:42:13 [15:42:13.741]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
15:42:13 [15:42:13.742]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
15:42:13 [15:42:13.742]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
15:42:13 [15:42:13.742]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
15:42:13 [15:42:13.743]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
15:42:13 [15:42:13.743]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
15:42:13 [15:42:13.754]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
15:42:13 [15:42:13.755]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
15:42:13 [15:42:13.815]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 25609 gates. Trace details: (mem: 663.90 MiB)
15:42:13 Minimum required block sizes for structured trace: (mem: 663.90 MiB)
15:42:13 [15:42:13.817]
INFO:
ivc-integration:test:wasm bb - (mem: 663.90 MiB)
15:42:13 prove decider... (mem: 663.90 MiB)
15:42:13 [15:42:13.817]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
15:42:13 busread : 12
15:42:13 lookup : 2
15:42:13 pub_inputs : 36
15:42:13 arithmetic : 6847
15:42:13 delta_range : 2353
15:42:13 elliptic : 2
15:42:13 aux : 110
15:42:13 poseidon2_external : 2442
15:42:13 poseidon2_internal : 13910
15:42:13 overflow : 0
15:42:13 [15:42:13.818]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
15:42:13 [15:42:13.854]
INFO:
ivc-integration:prove_wasm time to construct proving key: 137 ms. (mem: 316.56MiB)
15:42:13 [15:42:13.855]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 316.56MiB)
15:42:14 [15:42:14.095]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 663.90 MiB)
15:42:14 [15:42:14.293]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 663.90 MiB)
15:42:14 [15:42:14.388]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 316.56MiB)
15:42:14 [15:42:14.393]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 316.56MiB)
15:42:14 [15:42:14.792]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
15:42:14 [15:42:14.820]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
15:42:14 [15:42:14.855]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
15:42:14 [15:42:14.856]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
15:42:14 [15:42:14.858]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
15:42:14 [15:42:14.859]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
15:42:14 [15:42:14.859]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
15:42:14 [15:42:14.859]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
15:42:14 [15:42:14.860]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
15:42:14 [15:42:14.860]
INFO:
ivc-integration:prove_wasm arithmetic : 4611/56000 (mem: 317.94MiB)
15:42:14 [15:42:14.860]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
15:42:14 [15:42:14.861]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
15:42:14 [15:42:14.862]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
15:42:14 [15:42:14.862]
INFO:
ivc-integration:prove_wasm poseidon ext : 1272/17000 (mem: 317.94MiB)
15:42:14 [15:42:14.863]
INFO:
ivc-integration:prove_wasm poseidon int : 7241/92000 (mem: 317.94MiB)
15:42:14 [15:42:14.864]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
15:42:14 [15:42:14.864]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
15:42:14 [15:42:14.865]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
15:42:14 [15:42:14.865]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
15:42:14 [15:42:14.967]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 539.94MiB)
15:42:15 [15:42:15.008]
INFO:
ivc-integration:prove_wasm time to construct proving key: 154 ms. (mem: 555.13MiB)
15:42:15 [15:42:15.010]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.13MiB)
15:42:15 [15:42:15.643]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 663.90 MiB)
15:42:15 [15:42:15.820]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 663.90 MiB)
15:42:15 finished decider proving. (mem: 663.90 MiB)
15:42:15 [15:42:15.827]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c0362c4bb405696ea55962a67ac54c6d (mem: 663.90 MiB)
15:42:15 [15:42:15.886]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.13MiB)
15:42:15 [15:42:15.889]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000004fe59063f23a90540933a733b5f7eb18 (mem: 555.13MiB)
15:42:15 [15:42:15.979]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 663.90 MiB)
15:42:15 [15:42:15.986]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 663.90 MiB)
15:42:16 [15:42:16.192]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 663.90 MiB)
15:42:16 [15:42:16.295]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 313 ms. (mem: 663.90 MiB)
15:42:16 [15:42:16.527]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.13MiB)
15:42:16 [15:42:16.857]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 582.63MiB)
15:42:17 [15:42:17.271]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 582.63MiB)
15:42:17 [15:42:17.885]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 663.90 MiB)
15:42:18 [15:42:18.071]
INFO:
ivc-integration:prove_wasm folded (mem: 582.63MiB)
15:42:18 [15:42:18.071]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 582.63MiB)
15:42:18 [15:42:18.124]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000004fe59063f23a90540933a733b5f7eb18 (mem: 582.63MiB)
15:42:18 [15:42:18.305]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 582.63MiB)
15:42:18 [15:42:18.305]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 582.63MiB)
15:42:18 [15:42:18.311]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 582.63MiB)
15:42:18 [15:42:18.311]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 582.63MiB)
15:42:18 [15:42:18.312]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 582.63MiB)
15:42:18 [15:42:18.312]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 582.63MiB)
15:42:18 [15:42:18.312]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 582.63MiB)
15:42:18 [15:42:18.313]
INFO:
ivc-integration:prove_wasm arithmetic : 6847/56000 (mem: 582.63MiB)
15:42:18 [15:42:18.313]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 582.63MiB)
15:42:18 [15:42:18.313]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 582.63MiB)
15:42:18 [15:42:18.314]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 582.63MiB)
15:42:18 [15:42:18.314]
INFO:
ivc-integration:prove_wasm poseidon ext : 2442/17000 (mem: 582.63MiB)
15:42:18 [15:42:18.314]
INFO:
ivc-integration:prove_wasm poseidon int : 13910/92000 (mem: 582.63MiB)
15:42:18 [15:42:18.320]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 582.63MiB)
15:42:18 [15:42:18.320]
INFO:
ivc-integration:prove_wasm (mem: 582.63MiB)
15:42:18 [15:42:18.321]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 582.63MiB)
15:42:18 [15:42:18.321]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 582.63MiB)
15:42:18 [15:42:18.342]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 582.63MiB)
15:42:18 [15:42:18.384]
INFO:
ivc-integration:prove_wasm time to construct proving key: 81 ms. (mem: 582.63MiB)
15:42:18 [15:42:18.384]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 582.63MiB)
15:42:18 [15:42:18.604]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 663.90 MiB)
15:42:18 [15:42:18.911]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 663.90 MiB)
15:42:19 [15:42:19.274]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 582.63MiB)
15:42:19 [15:42:19.277]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000c0362c4bb405696ea55962a67ac54c6d (mem: 582.63MiB)
15:42:20 [15:42:20.293]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 582.63MiB)
15:42:20 [15:42:20.441]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 663.90 MiB)
15:42:20 [15:42:20.534]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 590.56MiB)
15:42:20 [15:42:20.929]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 590.56MiB)
15:42:21 [15:42:21.508]
INFO:
ivc-integration:prove_wasm folded (mem: 590.56MiB)
15:42:21 [15:42:21.509]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 590.56MiB)
15:42:21 [15:42:21.598]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 7904 (mem: 590.56MiB)
15:42:21 [15:42:21.601]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 590.56MiB)
15:42:21 [15:42:21.602]
INFO:
ivc-integration:prove_wasm Largest circuit: 25609 gates. Trace details: (mem: 590.56MiB)
15:42:21 [15:42:21.602]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 590.56MiB)
15:42:21 [15:42:21.603]
INFO:
ivc-integration:prove_wasm ecc_op : 392
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.603]
INFO:
ivc-integration:prove_wasm busread : 12
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.604]
INFO:
ivc-integration:prove_wasm lookup : 2
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.604]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.604]
INFO:
ivc-integration:prove_wasm arithmetic : 6847
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.606]
INFO:
ivc-integration:prove_wasm delta_range : 2353
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.606]
INFO:
ivc-integration:prove_wasm elliptic : 2
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.606]
INFO:
ivc-integration:prove_wasm aux : 110
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.607]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2442
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.607]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 13910
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.607]
INFO:
ivc-integration:prove_wasm overflow : 0
15:42:21 (mem: 590.56MiB)
15:42:21 [15:42:21.608]
INFO:
ivc-integration:prove_wasm (mem: 590.56MiB)
15:42:21 [15:42:21.609]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 590.56MiB)
15:42:21 [15:42:21.884]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:42:22 [15:42:22.017]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 663.90 MiB)
15:42:22 [15:42:22.104]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 663.90 MiB)
15:42:22 finished decider proving. (mem: 663.90 MiB)
15:42:22 Constructing a Goblin proof with num ultra ops = 1038 (mem: 663.90 MiB)
15:42:22 [15:42:22.348]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
15:42:22 [15:42:22.503]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 663.90 MiB)
15:42:22 [15:42:22.988]
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: 663.90 MiB)
15:42:22 [15:42:22.998]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 663.90 MiB)
15:42:24 [15:42:24.356]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
15:42:24 [15:42:24.803]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
15:42:24 [15:42:24.804]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
15:42:24 [15:42:24.819]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c0362c4bb405696ea55962a67ac54c6d (mem: 590.56MiB)
15:42:25 [15:42:25.061]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 590.56MiB)
15:42:25 [15:42:25.074]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 590.56MiB)
15:42:25 [15:42:25.089]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 590.56MiB)
15:42:25 [15:42:25.164]
INFO:
ivc-integration:prove_wasm time to construct proving key: 101 ms. (mem: 590.56MiB)
15:42:25 [15:42:25.600]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 663.90 MiB)
15:42:27 [15:42:27.363]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 590.56MiB)
15:42:28 [15:42:28.530]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 590.56MiB)
15:42:28 [15:42:28.564]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:42:28 [15:42:28.590]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 663.90 MiB)
15:42:29 [15:42:29.009]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
15:42:30 [15:42:30.338]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
15:42:30 [15:42:30.534]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
15:42:30 [15:42:30.538]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
15:42:30 [15:42:30.538]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 590.56MiB)
15:42:30 [15:42:30.673]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 590.56MiB)
15:42:33 [15:42:33.275]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 663.90 MiB)
15:42:33 prove translator... (mem: 663.90 MiB)
15:42:33 [15:42:33.497]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:42:35 [15:42:35.704]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 698.63 MiB)
15:42:37 [15:42:37.793]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
15:42:39 [15:42:39.481]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 699.63 MiB)
15:42:43 [15:42:43.309]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 699.63 MiB)
15:42:43 finished translator proving. (mem: 699.63 MiB)
15:42:43 vkey hash in Oink verifier: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 699.63 MiB)
15:42:43 [15:42:43.327]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 699.63 MiB)
15:42:43 libra_evals_verified: 1 (mem: 699.63 MiB)
15:42:43 pairing_check_verified: 1 (mem: 699.63 MiB)
15:42:43 Mega verified: 1 (mem: 699.63 MiB)
15:42:43 [15:42:43.515]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 699.63 MiB)
15:42:43 batch opening verified?: 1 (mem: 699.63 MiB)
15:42:43 eccvm consistency check verified?: 1 (mem: 699.63 MiB)
15:42:43 translation masking consistency checked?: 1 (mem: 699.63 MiB)
15:42:43 [15:42:43.541]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 699.63 MiB)
15:42:43 eccvm verified?: 1 (mem: 699.63 MiB)
15:42:43 accumulator construction_verified?: 1 (mem: 699.63 MiB)
15:42:43 translation verified?: 1 (mem: 699.63 MiB)
15:42:43 consistency verified?: 1 (mem: 699.63 MiB)
15:42:43 Goblin verified: 1 (mem: 699.63 MiB)
15:42:43 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-rAxB8q" (mem: 699.63 MiB)
15:42:43 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-rAxB8q" (mem: 699.63 MiB)
15:42:43 BN254 commitment key size: 262144 (mem: 699.63 MiB)
15:42:43 [15:42:43.543]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey
15:42:43 [15:42:43.543]
INFO:
ivc-integration:test:wasm bb - (mem:
15:42:43 [15:42:43.544]
INFO:
ivc-integration:test:wasm bb - 699.63
15:42:43 [15:42:43.545]
INFO:
ivc-integration:test:wasm bb - MiB)
15:42:43 [15:42:43.548]
INFO:
ivc-integration:test:wasm bb -
15:42:43 [15:42:43.557]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 699.63 MiB)
15:42:43 goblin ecc op : 4/1024 (mem: 699.63 MiB)
15:42:43 busread : 3/6000 (mem: 699.63 MiB)
15:42:43 lookups : 2/15000 (mem: 699.63 MiB)
15:42:43 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 699.63 MiB)
15:42:43 arithmetic : 1773/56000 (mem: 699.63 MiB)
15:42:43 delta range : 1754/18000 (mem: 699.63 MiB)
15:42:43 elliptic : 2/6000 (mem: 699.63 MiB)
15:42:43 auxiliary : 26/26000 (mem: 699.63 MiB)
15:42:43 poseidon ext : 2/17000 (mem: 699.63 MiB)
15:42:43 poseidon int : 2/92000 (mem: 699.63 MiB)
15:42:43 overflow : 0/0 (mem: 699.63 MiB)
15:42:43 (mem: 699.63 MiB)
15:42:43 Total structured size: 242025 (mem: 699.63 MiB)
15:42:43 allocating polynomials object in proving key... (mem: 699.63 MiB)
15:42:43 [15:42:43.749]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 699.63 MiB)
15:42:43 [15:42:43.769]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 222 ms. (mem: 699.63 MiB)
15:42:43 getting honk vk... precomputed?: 0 (mem: 699.63 MiB)
15:42:44 [15:42:44.457]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 701.63 MiB)
15:42:44 [15:42:44.457]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 701.63 MiB)
15:42:45 [15:42:45.082]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 701.63 MiB)
15:42:45 [15:42:45.467]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 701.63 MiB)
15:42:45 [15:42:45.480]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 701.63 MiB)
15:42:45 [15:42:45.485]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 701.63 MiB)
15:42:45 goblin ecc op : 56/1024 (mem: 701.63 MiB)
15:42:45 busread : 3/6000 (mem: 701.63 MiB)
15:42:45 lookups : 2/15000 (mem: 701.63 MiB)
15:42:45 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 701.63 MiB)
15:42:45 arithmetic : 4467/56000 (mem: 701.63 MiB)
15:42:45 delta range : 2060/18000 (mem: 701.63 MiB)
15:42:45 elliptic : 2/6000 (mem: 701.63 MiB)
15:42:45 auxiliary : 50/26000 (mem: 701.63 MiB)
15:42:45 poseidon ext : 1282/17000 (mem: 701.63 MiB)
15:42:45 poseidon int : 7298/92000 (mem: 701.63 MiB)
15:42:45 overflow : 0/0 (mem: 701.63 MiB)
15:42:45 (mem: 701.63 MiB)
15:42:45 Total structured size: 242025 (mem: 701.63 MiB)
15:42:45 allocating polynomials object in proving key... (mem: 701.63 MiB)
15:42:45 [15:42:45.776]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 701.63 MiB)
15:42:45 [15:42:45.837]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 356 ms. (mem: 701.63 MiB)
15:42:45 getting honk vk... precomputed?: 0 (mem: 701.63 MiB)
15:42:46 [15:42:46.489]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 701.63 MiB)
15:42:46 [15:42:46.492]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000005dfbc562c9a1db7951a05d9e527429ea (mem: 701.63 MiB)
15:42:47 [15:42:47.082]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 701.63 MiB)
15:42:47 [15:42:47.247]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 701.63 MiB)
15:42:47 [15:42:47.319]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 733.63 MiB)
15:42:47 [15:42:47.677]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 590.56MiB)
15:42:47 [15:42:47.677]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 590.56MiB)
15:42:47 [15:42:47.685]
INFO:
ivc-integration:test:wasm bb - folded (mem: 733.63 MiB)
15:42:47 constructed folding proof (mem: 733.63 MiB)
15:42:47 [15:42:47.825]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 15164 gates. Trace details: (mem: 733.63 MiB)
15:42:47 Minimum required block sizes for structured trace: (mem: 733.63 MiB)
15:42:47 (mem: 733.63 MiB)
15:42:47 prove decider... (mem: 733.63 MiB)
15:42:47 [15:42:47.826]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
15:42:47 busread : 3
15:42:47 lookup : 2
15:42:47 pub_inputs : 36
15:42:47 arithmetic : 4467
15:42:47 delta_range : 2060
15:42:47 elliptic : 2
15:42:47 aux : 50
15:42:47 poseidon2_external : 1282
15:42:47 poseidon2_internal : 7298
15:42:47 overflow : 0
15:42:48 [15:42:48.003]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 733.63 MiB)
15:42:48 [15:42:48.201]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 733.63 MiB)
15:42:49 [15:42:49.557]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 733.63 MiB)
15:42:49 [15:42:49.702]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 733.63 MiB)
15:42:49 finished decider proving. (mem: 733.63 MiB)
15:42:49 [15:42:49.709]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005dfbc562c9a1db7951a05d9e527429ea (mem: 733.63 MiB)
15:42:49 [15:42:49.807]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 733.63 MiB)
15:42:49 [15:42:49.812]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 733.63 MiB)
15:42:50 [15:42:50.135]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 733.63 MiB)
15:42:50 [15:42:50.220]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 408 ms. (mem: 733.63 MiB)
15:42:50 [15:42:50.556]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:42:54 [15:42:54.894]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
15:42:58 [15:42:58.231]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
15:42:58 [15:42:58.232]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 590.56MiB)
15:42:58 [15:42:58.232]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 44538 (mem: 590.56MiB)
15:42:58 [15:42:58.241]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 590.56MiB)
15:42:58 [15:42:58.242]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.265]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 590.56MiB)
15:42:58 [15:42:58.354]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.355]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.355]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.355]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.674]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.674]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.674]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.675]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.774]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.775]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.775]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.776]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.782]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 590.56MiB)
15:42:58 [15:42:58.783]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 590.56MiB)
15:42:59 [15:42:59.360]
INFO:
ivc-integration:test:wasm BB concurrency: 1
15:42:59 [15:42:59.360]
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-rAxB8q/proof -k /tmp/bb-client-ivc-integration-rAxB8q/vk -v
15:42:59 [15:42:59.425]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 1063.83 MiB)
15:42:59 Scheme is: client_ivc, num threads: 1 (mem: 1063.83 MiB)
15:42:59 [15:42:59.426]
INFO:
ivc-integration:test:wasm --proof_path: /tmp/bb-client-ivc-integration-rAxB8q/proof (mem: 1063.83 MiB)
15:42:59 --vk_path: /tmp/bb-client-ivc-integration-rAxB8q/vk (mem: 1063.83 MiB)
15:42:59 --verbose: true (mem: 1063.83 MiB)
15:42:59 --scheme: client_ivc (mem: 1063.83 MiB)
15:42:59 [15:42:59.426]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1063.83 MiB)
15:42:59 [15:42:59.443]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1063.83 MiB)
15:42:59 [15:42:59.444]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 1063.83 MiB)
15:42:59 [15:42:59.461]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1063.83 MiB)
15:42:59 [15:42:59.462]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1 (mem: 1063.83 MiB)
15:42:59 [15:42:59.462]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 1063.83 MiB)
15:42:59 libra_evals_verified: 1 (mem: 1063.83 MiB)
15:42:59 [15:42:59.463]
INFO:
ivc-integration:test:wasm pairing_check_verified: 1 (mem: 1063.83 MiB)
15:42:59 Mega verified: 1 (mem: 1063.83 MiB)
15:42:59 [15:42:59.924]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 1063.83 MiB)
15:42:59 batch opening verified?: 1 (mem: 1063.83 MiB)
15:42:59 eccvm consistency check verified?: 1 (mem: 1063.83 MiB)
15:42:59 translation masking consistency checked?: 1 (mem: 1063.83 MiB)
15:42:59 [15:42:59.943]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 1063.83 MiB)
15:42:59 eccvm verified?: 1 (mem: 1063.83 MiB)
15:42:59 accumulator construction_verified?: 1 (mem: 1063.83 MiB)
15:42:59 translation verified?: 1 (mem: 1063.83 MiB)
15:42:59 consistency verified?: 1 (mem: 1063.83 MiB)
15:42:59 Goblin verified: 1 (mem: 1063.83 MiB)
15:42:59 [15:42:59.944]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 1063.83 MiB)
15:42:59 [15:42:59.963]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
15:43:00 [15:43:00.140]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12115275 bytes
15:43:00 [15:43:00.190]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
15:43:00 [15:43:00.584]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
15:43:00 [15:43:00.619]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
15:43:00 [15:43:00.620]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
15:43:01 [15:43:01.405]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
15:43:01 [15:43:01.474]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
15:43:01 [15:43:01.476]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:43:01 [15:43:01.491]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:43:01 [15:43:01.504]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 194.06MiB)
15:43:01 [15:43:01.534]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:43:01 [15:43:01.546]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 194.06MiB)
15:43:01 [15:43:01.743]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15323,"2":25609}
15:43:01 [15:43:01.855]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
15:43:01 [15:43:01.971]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12115275 bytes
15:43:02 [15:43:02.011]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
15:43:02 [15:43:02.367]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
15:43:02 [15:43:02.376]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
15:43:03 [15:43:03.326]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
15:43:03 [15:43:03.327]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
15:43:04 [15:43:04.105]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
15:43:04 [15:43:04.152]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
15:43:04 [15:43:04.164]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:43:04 [15:43:04.165]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 194.06MiB)
15:43:04 [15:43:04.168]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
15:43:04 [15:43:04.168]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
15:43:04 [15:43:04.173]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
15:43:04 [15:43:04.173]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
15:43:04 [15:43:04.174]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
15:43:04 [15:43:04.174]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
15:43:04 [15:43:04.174]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
15:43:04 [15:43:04.174]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
15:43:04 [15:43:04.175]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
15:43:04 [15:43:04.175]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
15:43:04 [15:43:04.175]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
15:43:04 [15:43:04.176]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
15:43:04 [15:43:04.176]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
15:43:04 [15:43:04.176]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
15:43:04 [15:43:04.177]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
15:43:04 [15:43:04.177]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
15:43:04 [15:43:04.177]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
15:43:04 [15:43:04.205]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
15:43:04 [15:43:04.216]
INFO:
ivc-integration:prove_wasm time to construct proving key: 47 ms. (mem: 317.06MiB)
15:43:04 [15:43:04.216]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 317.06MiB)
15:43:04 [15:43:04.460]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 317.06MiB)
15:43:04 [15:43:04.464]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.06MiB)
15:43:04 [15:43:04.684]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
15:43:04 [15:43:04.703]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
15:43:04 [15:43:04.727]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
15:43:04 [15:43:04.728]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
15:43:04 [15:43:04.731]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
15:43:04 [15:43:04.732]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
15:43:04 [15:43:04.733]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
15:43:04 [15:43:04.733]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
15:43:04 [15:43:04.734]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
15:43:04 [15:43:04.734]
INFO:
ivc-integration:prove_wasm arithmetic : 4611/56000 (mem: 317.94MiB)
15:43:04 [15:43:04.735]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
15:43:04 [15:43:04.735]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
15:43:04 [15:43:04.736]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
15:43:04 [15:43:04.736]
INFO:
ivc-integration:prove_wasm poseidon ext : 1272/17000 (mem: 317.94MiB)
15:43:04 [15:43:04.736]
INFO:
ivc-integration:prove_wasm poseidon int : 7241/92000 (mem: 317.94MiB)
15:43:04 [15:43:04.737]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
15:43:04 [15:43:04.739]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
15:43:04 [15:43:04.739]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
15:43:04 [15:43:04.740]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
15:43:04 [15:43:04.813]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.56MiB)
15:43:04 [15:43:04.836]
INFO:
ivc-integration:prove_wasm time to construct proving key: 109 ms. (mem: 555.63MiB)
15:43:04 [15:43:04.837]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.63MiB)
15:43:05 [15:43:05.292]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.63MiB)
15:43:05 [15:43:05.293]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000004fe59063f23a90540933a733b5f7eb18 (mem: 555.63MiB)
15:43:05 [15:43:05.973]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.63MiB)
15:43:06 [15:43:06.189]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
15:43:06 [15:43:06.456]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
15:43:07 [15:43:07.279]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
15:43:07 [15:43:07.280]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
15:43:07 [15:43:07.328]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 583.13MiB)
15:43:07 [15:43:07.329]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
15:43:07 [15:43:07.329]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
15:43:07 [15:43:07.329]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 583.13MiB)
15:43:07 [15:43:07.329]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 583.13MiB)
15:43:07 [15:43:07.330]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
15:43:07 [15:43:07.330]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 583.13MiB)
15:43:07 [15:43:07.330]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 583.13MiB)
15:43:07 [15:43:07.331]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 583.13MiB)
15:43:07 [15:43:07.331]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
15:43:07 [15:43:07.353]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 583.13MiB)
15:43:07 [15:43:07.353]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 583.13MiB)
15:43:07 [15:43:07.354]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 583.13MiB)
15:43:07 [15:43:07.354]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
15:43:07 [15:43:07.354]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
15:43:07 [15:43:07.354]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
15:43:07 [15:43:07.355]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
15:43:07 [15:43:07.412]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
15:43:07 [15:43:07.438]
INFO:
ivc-integration:prove_wasm time to construct proving key: 99 ms. (mem: 583.13MiB)
15:43:07 [15:43:07.438]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 583.13MiB)
15:43:07 [15:43:07.967]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 583.13MiB)
15:43:07 [15:43:07.967]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
15:43:08 [15:43:08.443]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 583.13MiB)
15:43:08 [15:43:08.808]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
15:43:09 [15:43:09.140]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
15:43:09 [15:43:09.802]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
15:43:09 [15:43:09.803]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
15:43:09 [15:43:09.961]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000004fe59063f23a90540933a733b5f7eb18 (mem: 583.13MiB)
15:43:10 [15:43:10.124]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
15:43:10 [15:43:10.307]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 583.13MiB)
15:43:10 [15:43:10.308]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
15:43:10 [15:43:10.316]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
15:43:10 [15:43:10.317]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 583.13MiB)
15:43:10 [15:43:10.317]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 583.13MiB)
15:43:10 [15:43:10.318]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
15:43:10 [15:43:10.319]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 583.13MiB)
15:43:10 [15:43:10.319]
INFO:
ivc-integration:prove_wasm arithmetic : 12076/56000 (mem: 583.13MiB)
15:43:10 [15:43:10.320]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 583.13MiB)
15:43:10 [15:43:10.321]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
15:43:10 [15:43:10.321]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 583.13MiB)
15:43:10 [15:43:10.322]
INFO:
ivc-integration:prove_wasm poseidon ext : 4882/17000 (mem: 583.13MiB)
15:43:10 [15:43:10.322]
INFO:
ivc-integration:prove_wasm poseidon int : 27818/92000 (mem: 583.13MiB)
15:43:10 [15:43:10.323]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
15:43:10 [15:43:10.323]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
15:43:10 [15:43:10.324]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
15:43:10 [15:43:10.324]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
15:43:10 [15:43:10.357]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
15:43:10 [15:43:10.429]
INFO:
ivc-integration:prove_wasm time to construct proving key: 120 ms. (mem: 586.19MiB)
15:43:10 [15:43:10.432]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 586.19MiB)
15:43:11 [15:43:11.747]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 586.19MiB)
15:43:11 [15:43:11.750]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000047ec492cbbc1f2beed15ae0782b1a525 (mem: 586.19MiB)
15:43:13 [15:43:13.119]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 586.19MiB)
15:43:13 [15:43:13.392]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
15:43:13 [15:43:13.728]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
15:43:14 [15:43:14.405]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
15:43:14 [15:43:14.406]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
15:43:14 [15:43:14.500]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000047ec492cbbc1f2beed15ae0782b1a525 (mem: 610.38MiB)
15:43:14 [15:43:14.668]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 610.38MiB)
15:43:14 [15:43:14.668]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
15:43:14 [15:43:14.674]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
15:43:14 [15:43:14.676]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
15:43:14 [15:43:14.677]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 610.38MiB)
15:43:14 [15:43:14.677]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
15:43:14 [15:43:14.678]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 610.38MiB)
15:43:14 [15:43:14.678]
INFO:
ivc-integration:prove_wasm arithmetic : 6912/56000 (mem: 610.38MiB)
15:43:14 [15:43:14.678]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 610.38MiB)
15:43:14 [15:43:14.678]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
15:43:14 [15:43:14.679]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 610.38MiB)
15:43:14 [15:43:14.679]
INFO:
ivc-integration:prove_wasm poseidon ext : 2442/17000 (mem: 610.38MiB)
15:43:14 [15:43:14.679]
INFO:
ivc-integration:prove_wasm poseidon int : 13910/92000 (mem: 610.38MiB)
15:43:14 [15:43:14.680]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
15:43:14 [15:43:14.681]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
15:43:14 [15:43:14.681]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
15:43:14 [15:43:14.682]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
15:43:14 [15:43:14.712]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
15:43:14 [15:43:14.734]
INFO:
ivc-integration:prove_wasm time to construct proving key: 68 ms. (mem: 610.38MiB)
15:43:14 [15:43:14.735]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
15:43:15 [15:43:15.523]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
15:43:15 [15:43:15.525]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000e288dd01f2d14b329d9de33ed2eb2e09 (mem: 610.38MiB)
15:43:16 [15:43:16.057]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
15:43:16 [15:43:16.373]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
15:43:16 [15:43:16.815]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
15:43:17 [15:43:17.318]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
15:43:17 [15:43:17.319]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
15:43:17 [15:43:17.435]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e288dd01f2d14b329d9de33ed2eb2e09 (mem: 610.38MiB)
15:43:17 [15:43:17.586]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 610.38MiB)
15:43:17 [15:43:17.587]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
15:43:17 [15:43:17.590]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
15:43:17 [15:43:17.590]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
15:43:17 [15:43:17.591]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 610.38MiB)
15:43:17 [15:43:17.591]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
15:43:17 [15:43:17.591]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 610.38MiB)
15:43:17 [15:43:17.592]
INFO:
ivc-integration:prove_wasm arithmetic : 6847/56000 (mem: 610.38MiB)
15:43:17 [15:43:17.592]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 610.38MiB)
15:43:17 [15:43:17.592]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
15:43:17 [15:43:17.592]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 610.38MiB)
15:43:17 [15:43:17.593]
INFO:
ivc-integration:prove_wasm poseidon ext : 2442/17000 (mem: 610.38MiB)
15:43:17 [15:43:17.593]
INFO:
ivc-integration:prove_wasm poseidon int : 13910/92000 (mem: 610.38MiB)
15:43:17 [15:43:17.593]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
15:43:17 [15:43:17.594]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
15:43:17 [15:43:17.594]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
15:43:17 [15:43:17.594]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
15:43:17 [15:43:17.615]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
15:43:17 [15:43:17.641]
INFO:
ivc-integration:prove_wasm time to construct proving key: 55 ms. (mem: 610.38MiB)
15:43:17 [15:43:17.641]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
15:43:18 [15:43:18.674]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
15:43:18 [15:43:18.677]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000c0362c4bb405696ea55962a67ac54c6d (mem: 610.38MiB)
15:43:19 [15:43:19.509]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
15:43:19 [15:43:19.769]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
15:43:20 [15:43:20.106]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
15:43:20 [15:43:20.530]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
15:43:20 [15:43:20.531]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
15:43:20 [15:43:20.694]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 16539 (mem: 610.38MiB)
15:43:20 [15:43:20.694]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 610.38MiB)
15:43:20 [15:43:20.694]
INFO:
ivc-integration:prove_wasm Largest circuit: 48123 gates. Trace details: (mem: 610.38MiB)
15:43:20 [15:43:20.695]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 610.38MiB)
15:43:20 [15:43:20.695]
INFO:
ivc-integration:prove_wasm ecc_op : 792
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.695]
INFO:
ivc-integration:prove_wasm busread : 16
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.695]
INFO:
ivc-integration:prove_wasm lookup : 2
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.695]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.696]
INFO:
ivc-integration:prove_wasm arithmetic : 12076
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.696]
INFO:
ivc-integration:prove_wasm delta_range : 2981
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.696]
INFO:
ivc-integration:prove_wasm elliptic : 2
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.697]
INFO:
ivc-integration:prove_wasm aux : 350
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.697]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4882
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.697]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 27818
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.697]
INFO:
ivc-integration:prove_wasm overflow : 0
15:43:20 (mem: 610.38MiB)
15:43:20 [15:43:20.698]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
15:43:20 [15:43:20.698]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 610.38MiB)
15:43:20 [15:43:20.844]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
15:43:21 [15:43:21.141]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
15:43:22 [15:43:22.428]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
15:43:22 [15:43:22.777]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
15:43:22 [15:43:22.778]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
15:43:22 [15:43:22.788]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c0362c4bb405696ea55962a67ac54c6d (mem: 610.38MiB)
15:43:22 [15:43:22.956]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
15:43:22 [15:43:22.961]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
15:43:22 [15:43:22.975]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
15:43:23 [15:43:23.020]
INFO:
ivc-integration:prove_wasm time to construct proving key: 63 ms. (mem: 610.38MiB)
15:43:24 [15:43:24.118]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 610.38MiB)
15:43:24 [15:43:24.721]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 610.38MiB)
15:43:24 [15:43:24.755]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
15:43:24 [15:43:24.949]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
15:43:25 [15:43:25.743]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
15:43:25 [15:43:25.902]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
15:43:25 [15:43:25.902]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
15:43:25 [15:43:25.903]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 610.38MiB)
15:43:26 [15:43:26.010]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 610.38MiB)
15:43:28 [15:43:28.806]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
15:43:32 [15:43:32.071]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
15:43:37 [15:43:37.495]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 610.38MiB)
15:43:37 [15:43:37.495]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 610.38MiB)
15:43:39 [15:43:39.804]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
15:43:43 [15:43:43.648]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
15:43:46 [15:43:46.434]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
15:43:46 [15:43:46.434]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 610.38MiB)
15:43:46 [15:43:46.436]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 42279 (mem: 610.38MiB)
15:43:46 [15:43:46.441]
INFO:
ivc-integration:prove_wasm time to serialize proof: 7 (mem: 610.38MiB)
15:43:46 [15:43:46.442]
INFO:
ivc-integration:prove_wasm time to serialize vk: 0 (mem: 610.38MiB)
15:43:46 [15:43:46.463]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 610.38MiB)
15:43:46 [15:43:46.516]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.517]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.517]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.517]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.760]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.761]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.761]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.762]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.829]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.829]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.830]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.830]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.830]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.830]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.838]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x000000000000000000000000000000002e05d206c1bb25a36521e6f2a974fffd (mem: 610.38MiB)
15:43:46 [15:43:46.918]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.918]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.918]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
15:43:46 [15:43:46.919]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.238]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.238]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.239]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.239]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.301]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.302]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.303]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.303]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.303]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.303]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
15:43:47 [15:43:47.748]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
15:43:47
PASS src/wasm_client_ivc_integration.test.ts (
101.119 s)
15:43:47 Client IVC Integration
15:43:47
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (49826 ms)
15:43:47
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1792 ms)
15:43:47
✓ Should generate a verifiable client IVC proof from a complex mock tx (46003 ms)
15:43:47
15:43:47
Test Suites: 1 passed, 1 total
15:43:47
Tests: 3 passed, 3 total
15:43:47
Snapshots: 0 total
15:43:47
Time: 101.207 s
15:43:47
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
15:43:47
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?