Parent Log:
http://ci.aztec-labs.com/c1f491862c605f23
Command: 6db87052395d3483: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/41cc1f518fed92110a82ce3c59385a3f5c0d8817
Env: REF_NAME=gh-readonly-queue/next/pr-15041-9cf4a24266245fa3ca003adb00e8ae759880c107 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 17:11:02 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15041_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
17:11:07 [17:11:07.322]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
17:11:07 [17:11:07.346]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-dyb3f1/ivc-inputs.msgpack
17:11:07 [17:11:07.348]
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-dyb3f1 --ivc_inputs_path /tmp/bb-client-ivc-integration-dyb3f1/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
17:11:07 [17:11:07.373]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 185.01 MiB)
17:11:07 Scheme is: client_ivc, num threads: 128 (mem: 185.01 MiB)
17:11:07 --scheme: client_ivc (mem: 185.01 MiB)
17:11:07 --output_path: /tmp/bb-client-ivc-integration-dyb3f1 (mem: 185.01 MiB)
17:11:07 --ivc_inputs_path: /tmp/bb-client-ivc-integration-dyb3f1/ivc-inputs.msgpack (mem: 185.01 MiB)
17:11:07 --verbose: true (mem: 185.01 MiB)
17:11:07 --write_vk: true (mem: 185.01 MiB)
17:11:07 [17:11:07.374]
INFO:
ivc-integration:test:wasm bb - BN254 commitment key size: 262144 (mem: 185.01 MiB)
17:11:07 [17:11:07.374]
INFO:
ivc-integration:test:wasm bb -
17:11:07 [17:11:07.561]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12071051 bytes
17:11:07 [17:11:07.577]
INFO:
ivc-integration:test:wasm bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.00 MiB)
17:11:07 Initialized BN254 CRS from memory with num points = 263169 (mem: 301.62 MiB)
17:11:07 [17:11:07.579]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 301.62 MiB)
17:11:07 Constructing DeciderProvingKey (mem: 301.62 MiB)
17:11:07 [17:11:07.588]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 301.62 MiB)
17:11:07 goblin ecc op : 4/1024 (mem: 301.62 MiB)
17:11:07 busread : 7/6000 (mem: 301.62 MiB)
17:11:07 lookups : 2/15000 (mem: 301.62 MiB)
17:11:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem:
17:11:07 [17:11:07.589]
INFO:
ivc-integration:test:wasm bb - 301.62 MiB)
17:11:07 arithmetic : 1760/56000 (mem: 301.62 MiB)
17:11:07 delta range : 1754/18000 (mem: 301.62 MiB)
17:11:07 elliptic : 2/6000 (mem: 301.62 MiB)
17:11:07 auxiliary : 26/26000 (mem: 301.62 MiB)
17:11:07 poseidon ext : 2/17000 (mem: 301.62 MiB)
17:11:07 poseidon int : 2/92000 (mem: 301.62 MiB)
17:11:07 overflow : 0/0 (mem: 301.62 MiB)
17:11:07 (mem: 301.62 MiB)
17:11:07 Total structured size: 242025 (mem: 301.62 MiB)
17:11:07 allocating polynomials object in proving key... (mem: 301.62 MiB)
17:11:07 [17:11:07.603]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
17:11:07 [17:11:07.663]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 505.77 MiB)
17:11:07 [17:11:07.677]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 99 ms. (mem: 517.77 MiB)
17:11:07 [17:11:07.715]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5f6ce1f18600 (mem: 517.77 MiB)
17:11:07 [17:11:07.716]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 517.77 MiB)
17:11:07 [17:11:07.717]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 517.77 MiB)
17:11:07 [17:11:07.869]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 522.77 MiB)
17:11:07 [17:11:07.881]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.77 MiB)
17:11:07 [17:11:07.885]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
17:11:07 [17:11:07.900]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
17:11:07 [17:11:07.901]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 523.77 MiB)
17:11:07 Constructing DeciderProvingKey (mem: 523.77 MiB)
17:11:07 [17:11:07.905]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.77 MiB)
17:11:07 goblin ecc op : 56/1024 (mem: 523.77 MiB)
17:11:07 busread : 12/6000 (mem: 523.77 MiB)
17:11:07 lookups : 2/15000 (mem: 523.77 MiB)
17:11:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.77 MiB)
17:11:07 arithmetic : 4625/56000 (mem: 523.77 MiB)
17:11:07 delta range : 2054/18000 (mem: 523.77 MiB)
17:11:07 elliptic : 2/6000 (mem: 523.77 MiB)
17:11:07 auxiliary : 110/26000 (mem: 523.77 MiB)
17:11:07 poseidon ext : 1302/17000 (mem: 523.77 MiB)
17:11:07 [17:11:07.906]
INFO:
ivc-integration:test:wasm bb - poseidon int : 7412/92000 (mem: 523.77 MiB)
17:11:07 overflow : 0/0 (mem: 523.77 MiB)
17:11:07 (mem: 523.77 MiB)
17:11:07 Total structured size: 242025 (mem: 523.77 MiB)
17:11:07 allocating polynomials object in proving key... (mem: 523.77 MiB)
17:11:08 [17:11:08.031]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 735.77 MiB)
17:11:08 [17:11:08.064]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 162 ms. (mem: 750.77 MiB)
17:11:08 [17:11:08.152]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5f6ce1f16e00 (mem: 750.77 MiB)
17:11:08 computing folding proof (mem: 750.77 MiB)
17:11:08 [17:11:08.153]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 750.77 MiB)
17:11:08 [17:11:08.632]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 750.77 MiB)
17:11:08 [17:11:08.737]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 786.77 MiB)
17:11:08 [17:11:08.789]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 818.77 MiB)
17:11:09 [17:11:09.277]
INFO:
ivc-integration:test:wasm bb - folded (mem: 818.77 MiB)
17:11:09 [17:11:09.280]
INFO:
ivc-integration:test:wasm bb - constructed folding proof (mem: 818.77 MiB)
17:11:09 [17:11:09.293]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 818.77 MiB)
17:11:09 [17:11:09.339]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
17:11:09 [17:11:09.341]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
17:11:09 [17:11:09.982]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 818.77 MiB)
17:11:09 Constructing DeciderProvingKey (mem: 818.77 MiB)
17:11:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 818.77 MiB)
17:11:09 goblin ecc op : 392/1024 (mem: 818.77 MiB)
17:11:09 busread : 3/6000 (mem: 818.77 MiB)
17:11:09 lookups : 2/15000 (mem: 818.77 MiB)
17:11:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 818.77 MiB)
17:11:09 arithmetic : 6849/56000 (mem: 818.77 MiB)
17:11:09 delta range : 2333/18000 (mem: 818.77 MiB)
17:11:09 elliptic : 2/6000 (mem: 818.77 MiB)
17:11:09 auxiliary : 50/26000 (mem: 818.77 MiB)
17:11:09 poseidon ext : 2472/17000 (mem: 818.77 MiB)
17:11:09 poseidon int : 14081/92000 (mem: 818.77 MiB)
17:11:09 overflow : 0/0 (mem: 818.77 MiB)
17:11:09 (mem: 818.77 MiB)
17:11:09 Total structured size: 242025 (mem: 818.77 MiB)
17:11:09 allocating polynomials object in proving key... (mem: 818.77 MiB)
17:11:09 populating trace... (mem: 818.77 MiB)
17:11:09 time to construct proving key: 234 ms. (mem: 818.77 MiB)
17:11:09 getting honk vk... precomputed?: 0x5f6ce1f1c740 (mem: 818.77 MiB)
17:11:09 computing folding proof (mem: 818.77 MiB)
17:11:09 vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 818.77 MiB)
17:11:10 [17:11:10.463]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 818.77 MiB)
17:11:10 [17:11:10.570]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 818.77 MiB)
17:11:10 [17:11:10.619]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 818.77 MiB)
17:11:10 [17:11:10.855]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
17:11:10 [17:11:10.953]
INFO:
ivc-integration:test:wasm bb - folded (mem: 818.77 MiB)
17:11:10 constructed folding proof (mem: 818.77 MiB)
17:11:10 [17:11:10.954]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 25792 gates. Trace details: (mem: 818.77 MiB)
17:11:10 Minimum required block sizes for structured trace: (mem: 818.77 MiB)
17:11:10 (mem: 818.77 MiB)
17:11:10 prove decider... (mem: 818.77 MiB)
17:11:10 [17:11:10.955]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
17:11:10 busread : 12
17:11:10 lookup : 2
17:11:10 pub_inputs : 36
17:11:10 arithmetic : 6849
17:11:10 delta_range : 2333
17:11:10 elliptic : 2
17:11:10 aux : 110
17:11:10 poseidon2_external : 2472
17:11:10 poseidon2_internal : 14081
17:11:10 overflow : 0
17:11:10 [17:11:10.977]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
17:11:11 [17:11:11.001]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
17:11:11 [17:11:11.017]
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)
17:11:11 [17:11:11.028]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
17:11:11 [17:11:11.029]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
17:11:11 [17:11:11.058]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
17:11:11 [17:11:11.061]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
17:11:11 [17:11:11.063]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
17:11:11 [17:11:11.065]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
17:11:11 [17:11:11.066]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
17:11:11 [17:11:11.066]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
17:11:11 [17:11:11.067]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
17:11:11 [17:11:11.067]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
17:11:11 [17:11:11.067]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
17:11:11 [17:11:11.068]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
17:11:11 [17:11:11.068]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
17:11:11 [17:11:11.069]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
17:11:11 [17:11:11.069]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
17:11:11 [17:11:11.070]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
17:11:11 [17:11:11.070]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
17:11:11 [17:11:11.156]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.77 MiB)
17:11:11 [17:11:11.190]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
17:11:11 [17:11:11.226]
INFO:
ivc-integration:prove_wasm time to construct proving key: 195 ms. (mem: 581.38MiB)
17:11:11 [17:11:11.253]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
17:11:11 [17:11:11.337]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 818.77 MiB)
17:11:12 [17:11:12.360]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 818.77 MiB)
17:11:12 [17:11:12.467]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 818.77 MiB)
17:11:12 finished decider proving. (mem: 818.77 MiB)
17:11:12 [17:11:12.507]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 818.77 MiB)
17:11:12 [17:11:12.643]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 818.77 MiB)
17:11:12 [17:11:12.649]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 818.77 MiB)
17:11:12 [17:11:12.857]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 818.77 MiB)
17:11:12 [17:11:12.907]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 264 ms.
17:11:12 [17:11:12.909]
INFO:
ivc-integration:test:wasm bb - (mem: 818.77 MiB)
17:11:13 [17:11:13.245]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
17:11:13 [17:11:13.248]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
17:11:13 [17:11:13.730]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
17:11:13 [17:11:13.752]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
17:11:13 [17:11:13.781]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
17:11:13 [17:11:13.784]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
17:11:13 [17:11:13.786]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
17:11:13 [17:11:13.788]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
17:11:13 [17:11:13.800]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
17:11:13 [17:11:13.802]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
17:11:13 [17:11:13.803]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
17:11:13 [17:11:13.804]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.38MiB)
17:11:13 [17:11:13.805]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.38MiB)
17:11:13 [17:11:13.806]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
17:11:13 [17:11:13.807]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
17:11:13 [17:11:13.807]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.38MiB)
17:11:13 [17:11:13.807]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.38MiB)
17:11:13 [17:11:13.807]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
17:11:13 [17:11:13.808]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
17:11:13 [17:11:13.808]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
17:11:13 [17:11:13.809]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
17:11:13 [17:11:13.965]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.31MiB)
17:11:13 [17:11:13.999]
INFO:
ivc-integration:prove_wasm time to construct proving key: 217 ms. (mem: 820.19MiB)
17:11:14 [17:11:14.032]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem:
17:11:14 [17:11:14.034]
INFO:
ivc-integration:test:wasm bb - 818.77 MiB)
17:11:14 [17:11:14.073]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.19MiB)
17:11:14 [17:11:14.687]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 818.77 MiB)
17:11:15 [17:11:15.114]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.77 MiB)
17:11:16 [17:11:16.301]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.19MiB)
17:11:16 [17:11:16.304]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 820.19MiB)
17:11:17 [17:11:17.172]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 818.77 MiB)
17:11:17 [17:11:17.385]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.19MiB)
17:11:17 [17:11:17.679]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
17:11:17 [17:11:17.923]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
17:11:18 [17:11:18.194]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 818.77 MiB)
17:11:18 [17:11:18.240]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 818.77 MiB)
17:11:18 finished decider proving.
17:11:18 [17:11:18.241]
INFO:
ivc-integration:test:wasm bb - (mem: 818.77 MiB)
17:11:18 Constructing a Goblin proof with num ultra ops = 1038 (mem: 818.77 MiB)
17:11:18 [17:11:18.494]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 818.77 MiB)
17:11:18 [17:11:18.669]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
17:11:18 [17:11:18.671]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
17:11:18 [17:11:18.696]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 847.69MiB)
17:11:18 [17:11:18.862]
INFO:
ivc-integration:test:wasm bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 818.77 MiB)
17:11:18 [17:11:18.867]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
17:11:18 [17:11:18.869]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
17:11:18 [17:11:18.872]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
17:11:18 [17:11:18.873]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
17:11:18 [17:11:18.873]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
17:11:18 [17:11:18.874]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
17:11:18 [17:11:18.874]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
17:11:18 [17:11:18.875]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 847.69MiB)
17:11:18 [17:11:18.876]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 847.69MiB)
17:11:18 [17:11:18.877]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
17:11:18 [17:11:18.878]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
17:11:18 [17:11:18.878]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 847.69MiB)
17:11:18 [17:11:18.879]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 847.69MiB)
17:11:18 [17:11:18.879]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
17:11:18 [17:11:18.880]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
17:11:18 [17:11:18.880]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
17:11:18 [17:11:18.880]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
17:11:18 [17:11:18.881]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 818.77 MiB)
17:11:18 [17:11:18.894]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
17:11:18 [17:11:18.936]
INFO:
ivc-integration:prove_wasm time to construct proving key: 70 ms. (mem: 847.69MiB)
17:11:19 [17:11:19.063]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
17:11:20 [17:11:20.707]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.77 MiB)
17:11:21 [17:11:21.158]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
17:11:21 [17:11:21.162]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 847.69MiB)
17:11:22 [17:11:22.477]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
17:11:22 [17:11:22.709]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
17:11:23 [17:11:23.024]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
17:11:23 [17:11:23.168]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 818.77 MiB)
17:11:23 [17:11:23.522]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
17:11:23 [17:11:23.524]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
17:11:23 [17:11:23.528]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 12533 (mem: 855.63MiB)
17:11:23 [17:11:23.529]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
17:11:23 [17:11:23.530]
INFO:
ivc-integration:prove_wasm Largest circuit: 25792 gates. Trace details: (mem: 855.63MiB)
17:11:23 [17:11:23.531]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
17:11:23 [17:11:23.531]
INFO:
ivc-integration:prove_wasm ecc_op : 392
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.532]
INFO:
ivc-integration:prove_wasm busread : 12
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.533]
INFO:
ivc-integration:prove_wasm lookup : 2
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.534]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.534]
INFO:
ivc-integration:prove_wasm arithmetic : 6849
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.535]
INFO:
ivc-integration:prove_wasm delta_range : 2333
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.535]
INFO:
ivc-integration:prove_wasm elliptic : 2
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.537]
INFO:
ivc-integration:prove_wasm aux : 110
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.538]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2472
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.538]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14081
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.539]
INFO:
ivc-integration:prove_wasm overflow : 0
17:11:23 (mem: 855.63MiB)
17:11:23 [17:11:23.540]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
17:11:23 [17:11:23.542]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
17:11:23 [17:11:23.800]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
17:11:24 [17:11:24.131]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
17:11:26 [17:11:26.329]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
17:11:26 [17:11:26.692]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
17:11:26 [17:11:26.694]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
17:11:26 [17:11:26.732]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 855.63MiB)
17:11:26 [17:11:26.964]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
17:11:26 [17:11:26.974]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
17:11:27 [17:11:27.058]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
17:11:27 [17:11:27.118]
INFO:
ivc-integration:prove_wasm time to construct proving key: 154 ms. (mem: 855.63MiB)
17:11:28 [17:11:28.634]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 818.77 MiB)
17:11:28 prove translator... (mem: 818.77 MiB)
17:11:28 [17:11:28.682]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
17:11:29 [17:11:29.954]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
17:11:30 [17:11:30.007]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
17:11:30 [17:11:30.283]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
17:11:31 [17:11:31.255]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
17:11:31 [17:11:31.270]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 845.54 MiB)
17:11:31 [17:11:31.483]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
17:11:31 [17:11:31.485]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
17:11:31 [17:11:31.485]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
17:11:31 [17:11:31.665]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
17:11:34 [17:11:34.234]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 846.54 MiB)
17:11:34 [17:11:34.694]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
17:11:37 [17:11:37.631]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 846.54 MiB)
17:11:37 [17:11:37.632]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 846.54 MiB)
17:11:37 [17:11:37.644]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.54 MiB)
17:11:37 [17:11:37.672]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 846.54 MiB)
17:11:37 libra_evals_verified: 1 (mem: 846.54 MiB)
17:11:37 pairing_check_verified: 1 (mem: 846.54 MiB)
17:11:37 Mega verified: 1 (mem: 846.54 MiB)
17:11:37 [17:11:37.776]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 846.54 MiB)
17:11:37 batch opening verified?: 1 (mem: 846.54 MiB)
17:11:37 eccvm consistency check verified?: 1 (mem: 846.54 MiB)
17:11:37 translation masking consistency checked?: 1 (mem: 846.54 MiB)
17:11:37 [17:11:37.820]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 846.54 MiB)
17:11:37 eccvm verified?: 1 (mem: 846.54 MiB)
17:11:37 accumulator construction_verified?: 1 (mem: 846.54 MiB)
17:11:37 translation verified?: 1 (mem: 846.54 MiB)
17:11:37 consistency verified?: 1 (mem: 846.54 MiB)
17:11:37 Goblin verified: 1 (mem: 846.54 MiB)
17:11:37 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-dyb3f1" (mem: 846.54 MiB)
17:11:37 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-dyb3f1" (mem: 846.54 MiB)
17:11:37 BN254 commitment key size: 262144 (mem: 846.54 MiB)
17:11:37 [17:11:37.821]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.54 MiB)
17:11:37 [17:11:37.824]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.54 MiB)
17:11:37 goblin ecc op : 4/1024 (mem: 846.54 MiB)
17:11:37 busread : 3/6000 (mem: 846.54 MiB)
17:11:37 lookups : 2/15000 (mem: 846.54 MiB)
17:11:37 [17:11:37.827]
INFO:
ivc-integration:test:wasm bb -
17:11:37 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.54 MiB)
17:11:37 arithmetic : 1773/56000 (mem: 846.54 MiB)
17:11:37 delta range : 1754/18000 (mem: 846.54 MiB)
17:11:37 elliptic : 2/6000 (mem: 846.54 MiB)
17:11:37 auxiliary : 26/26000 (mem: 846.54 MiB)
17:11:37 poseidon ext : 2/17000 (mem: 846.54 MiB)
17:11:37 poseidon int : 2/92000 (mem: 846.54 MiB)
17:11:37 overflow : 0/0 (mem: 846.54 MiB)
17:11:37 (mem: 846.54 MiB)
17:11:37 Total structured size: 242025 (mem: 846.54 MiB)
17:11:37 allocating polynomials object in proving key... (mem: 846.54 MiB)
17:11:38 [17:11:38.146]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.54 MiB)
17:11:38 [17:11:38.209]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 384 ms. (mem: 846.54 MiB)
17:11:38 [17:11:38.344]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.54 MiB)
17:11:39 [17:11:39.321]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
17:11:39 [17:11:39.342]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 846.54 MiB)
17:11:39 [17:11:39.346]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.54 MiB)
17:11:39 [17:11:39.823]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 846.54 MiB)
17:11:39 [17:11:39.842]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.54 MiB)
17:11:39 [17:11:39.869]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.54 MiB)
17:11:39 [17:11:39.872]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.54 MiB)
17:11:39 goblin ecc op : 56/1024 (mem: 846.54 MiB)
17:11:39 [17:11:39.873]
INFO:
ivc-integration:test:wasm bb - busread : 3/6000 (mem: 846.54 MiB)
17:11:39 lookups : 2/15000 (mem: 846.54 MiB)
17:11:39 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.54 MiB)
17:11:39 arithmetic : 4481/56000 (mem: 846.54 MiB)
17:11:39 delta range : 2041/18000 (mem: 846.54 MiB)
17:11:39 elliptic : 2/6000 (mem: 846.54 MiB)
17:11:39 auxiliary : 50/26000 (mem: 846.54 MiB)
17:11:39 poseidon ext : 1312/17000 (mem: 846.54 MiB)
17:11:39 poseidon int : 7469/92000 (mem: 846.54 MiB)
17:11:39 overflow : 0/0 (mem: 846.54 MiB)
17:11:39 (mem: 846.54 MiB)
17:11:39 Total structured size: 242025 (mem: 846.54 MiB)
17:11:39 allocating polynomials object in proving key... (mem: 846.54 MiB)
17:11:40 [17:11:40.048]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.54 MiB)
17:11:40 [17:11:40.089]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 219 ms. (mem: 846.54 MiB)
17:11:40 [17:11:40.410]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.54 MiB)
17:11:41 [17:11:41.384]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 846.54 MiB)
17:11:41 [17:11:41.386]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 846.54 MiB)
17:11:42 [17:11:42.441]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 846.54 MiB)
17:11:42 [17:11:42.616]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 847.54 MiB)
17:11:42 [17:11:42.664]
INFO:
ivc-integration:test:wasm bb - combiner quotient round
17:11:42 [17:11:42.665]
INFO:
ivc-integration:test:wasm bb - (mem: 879.54 MiB)
17:11:43 [17:11:43.005]
INFO:
ivc-integration:test:wasm bb - folded (mem: 879.54 MiB)
17:11:43 constructed folding proof (mem: 879.54 MiB)
17:11:43 Largest circuit: 15360 gates. Trace details: (mem: 879.54 MiB)
17:11:43 Minimum required block sizes for structured trace: (mem: 879.54 MiB)
17:11:43 (mem: 879.54 MiB)
17:11:43 prove decider... (mem: 879.54 MiB)
17:11:43 [17:11:43.007]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
17:11:43 busread : 3
17:11:43 lookup : 2
17:11:43 pub_inputs : 36
17:11:43 arithmetic : 4481
17:11:43 delta_range : 2041
17:11:43 elliptic : 2
17:11:43 aux : 50
17:11:43 poseidon2_external : 1312
17:11:43 poseidon2_internal : 7469
17:11:43 overflow : 0
17:11:43 [17:11:43.237]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 879.54 MiB)
17:11:43 [17:11:43.578]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 879.54 MiB)
17:11:44 [17:11:44.891]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 879.54 MiB)
17:11:44 [17:11:44.974]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 879.54 MiB)
17:11:44 finished decider proving. (mem: 879.54 MiB)
17:11:44 [17:11:44.989]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 879.54 MiB)
17:11:45 [17:11:45.096]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey
17:11:45 [17:11:45.097]
INFO:
ivc-integration:test:wasm bb - (mem:
17:11:45 [17:11:45.100]
INFO:
ivc-integration:test:wasm bb - 879.54 MiB)
17:11:45 [17:11:45.105]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 879.54 MiB)
17:11:45 [17:11:45.290]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 879.54 MiB)
17:11:45 [17:11:45.346]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 247 ms. (mem: 879.54 MiB)
17:11:47 [17:11:47.414]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
17:11:47 [17:11:47.415]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
17:11:53 [17:11:53.258]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
17:11:57 [17:11:57.368]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
17:12:00 [17:12:00.792]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
17:12:00 [17:12:00.794]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
17:12:00 [17:12:00.794]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 49804 (mem: 855.63MiB)
17:12:00 [17:12:00.802]
INFO:
ivc-integration:prove_wasm time to serialize proof: 7 (mem: 855.63MiB)
17:12:00 [17:12:00.808]
INFO:
ivc-integration:prove_wasm time to serialize vk: 7 (mem: 855.63MiB)
17:12:00 [17:12:00.861]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
17:12:00 [17:12:00.936]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
17:12:00 [17:12:00.938]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
17:12:00 [17:12:00.938]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
17:12:00 [17:12:00.939]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
17:12:01 [17:12:01.233]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
17:12:01 [17:12:01.234]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
17:12:01 [17:12:01.235]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
17:12:01 [17:12:01.236]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
17:12:01 [17:12:01.331]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
17:12:01 [17:12:01.333]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
17:12:01 [17:12:01.333]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
17:12:01 [17:12:01.334]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
17:12:01 [17:12:01.350]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
17:12:01 [17:12:01.351]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
17:12:02 [17:12:02.152]
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-dyb3f1/proof -k /tmp/bb-client-ivc-integration-dyb3f1/vk -v
17:12:02 [17:12:02.240]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 1025.22 MiB)
17:12:02 [17:12:02.240]
INFO:
ivc-integration:test:wasm Scheme is: client_ivc, num threads: 128 (mem: 1025.22 MiB)
17:12:02 --proof_path: /tmp/bb-client-ivc-integration-dyb3f1/proof (mem: 1025.22 MiB)
17:12:02 --vk_path: /tmp/bb-client-ivc-integration-dyb3f1/vk (mem: 1025.22 MiB)
17:12:02 --verbose: true (mem: 1025.22 MiB)
17:12:02 --scheme: client_ivc (mem: 1025.22 MiB)
17:12:02 [17:12:02.336]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1025.22 MiB)
17:12:02 [17:12:02.364]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 1025.22 MiB)
17:12:02 [17:12:02.371]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 1025.22 MiB)
17:12:02 [17:12:02.396]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1025.22 MiB)
17:12:02 Initialized BN254 CRS from memory with num points = 1025 (mem: 1025.22 MiB)
17:12:02 [17:12:02.398]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 1025.22 MiB)
17:12:02 libra_evals_verified: 1 (mem: 1025.22 MiB)
17:12:02 pairing_check_verified: 1 (mem: 1025.22 MiB)
17:12:02 Mega verified: 1 (mem: 1025.22 MiB)
17:12:02 [17:12:02.503]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 1025.22 MiB)
17:12:02 batch opening verified?: 1 (mem: 1025.22 MiB)
17:12:02 eccvm consistency check verified?: 1 (mem: 1025.22 MiB)
17:12:02 translation masking consistency checked?: 1 (mem: 1025.22 MiB)
17:12:02 [17:12:02.518]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 1025.22 MiB)
17:12:02 eccvm verified?: 1 (mem: 1025.22 MiB)
17:12:02 accumulator construction_verified?: 1 (mem: 1025.22 MiB)
17:12:02 translation verified?: 1 (mem: 1025.22 MiB)
17:12:02 consistency verified?: 1 (mem: 1025.22 MiB)
17:12:02 [17:12:02.519]
INFO:
ivc-integration:test:wasm Goblin verified: 1 (mem: 1025.22 MiB)
17:12:02 [17:12:02.524]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 1025.22 MiB)
17:12:02 [17:12:02.590]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
17:12:02 [17:12:02.756]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12071051 bytes
17:12:02 [17:12:02.814]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
17:12:03 [17:12:03.222]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
17:12:03 [17:12:03.232]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
17:12:03 [17:12:03.233]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
17:12:04 [17:12:04.350]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
17:12:04 [17:12:04.463]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
17:12:04 [17:12:04.471]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
17:12:04 [17:12:04.637]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
17:12:04 [17:12:04.667]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
17:12:04 [17:12:04.734]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
17:12:04 [17:12:04.749]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
17:12:05 [17:12:05.022]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15519,"2":25792}
17:12:05 [17:12:05.128]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
17:12:05 [17:12:05.299]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12071051 bytes
17:12:05 [17:12:05.331]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
17:12:06 [17:12:06.020]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
17:12:06 [17:12:06.029]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
17:12:07 [17:12:07.742]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
17:12:07 [17:12:07.744]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
17:12:09 [17:12:09.150]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
17:12:09 [17:12:09.236]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
17:12:09 [17:12:09.286]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
17:12:09 [17:12:09.310]
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)
17:12:09 [17:12:09.324]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
17:12:09 [17:12:09.325]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
17:12:09 [17:12:09.349]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
17:12:09 [17:12:09.350]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
17:12:09 [17:12:09.351]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
17:12:09 [17:12:09.351]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
17:12:09 [17:12:09.352]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
17:12:09 [17:12:09.352]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
17:12:09 [17:12:09.352]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
17:12:09 [17:12:09.353]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
17:12:09 [17:12:09.353]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
17:12:09 [17:12:09.354]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
17:12:09 [17:12:09.354]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
17:12:09 [17:12:09.355]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
17:12:09 [17:12:09.355]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
17:12:09 [17:12:09.355]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
17:12:09 [17:12:09.355]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
17:12:09 [17:12:09.490]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.63MiB)
17:12:09 [17:12:09.528]
INFO:
ivc-integration:prove_wasm time to construct proving key: 201 ms. (mem: 581.81MiB)
17:12:09 [17:12:09.598]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.81MiB)
17:12:11 [17:12:11.249]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.81MiB)
17:12:11 [17:12:11.252]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
17:12:11 [17:12:11.685]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.81MiB)
17:12:11 [17:12:11.738]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
17:12:11 [17:12:11.761]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.81MiB)
17:12:11 [17:12:11.763]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.81MiB)
17:12:11 [17:12:11.765]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.81MiB)
17:12:11 [17:12:11.766]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.81MiB)
17:12:11 [17:12:11.767]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.81MiB)
17:12:11 [17:12:11.767]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.81MiB)
17:12:11 [17:12:11.768]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.81MiB)
17:12:11 [17:12:11.768]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.81MiB)
17:12:11 [17:12:11.769]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.81MiB)
17:12:11 [17:12:11.769]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.81MiB)
17:12:11 [17:12:11.770]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.81MiB)
17:12:11 [17:12:11.770]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.81MiB)
17:12:11 [17:12:11.770]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.81MiB)
17:12:11 [17:12:11.771]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.81MiB)
17:12:11 [17:12:11.771]
INFO:
ivc-integration:prove_wasm (mem: 581.81MiB)
17:12:11 [17:12:11.771]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.81MiB)
17:12:11 [17:12:11.772]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.81MiB)
17:12:11 [17:12:11.866]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.69MiB)
17:12:11 [17:12:11.896]
INFO:
ivc-integration:prove_wasm time to construct proving key: 135 ms. (mem: 820.69MiB)
17:12:11 [17:12:11.916]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
17:12:13 [17:12:13.363]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
17:12:13 [17:12:13.366]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 820.69MiB)
17:12:13 [17:12:13.777]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
17:12:14 [17:12:14.048]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
17:12:14 [17:12:14.456]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
17:12:14 [17:12:14.712]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
17:12:14 [17:12:14.713]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
17:12:14 [17:12:14.717]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
17:12:14 [17:12:14.718]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
17:12:14 [17:12:14.721]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
17:12:14 [17:12:14.722]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
17:12:14 [17:12:14.723]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
17:12:14 [17:12:14.723]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
17:12:14 [17:12:14.723]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
17:12:14 [17:12:14.724]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
17:12:14 [17:12:14.724]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
17:12:14 [17:12:14.724]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
17:12:14 [17:12:14.725]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
17:12:14 [17:12:14.725]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
17:12:14 [17:12:14.725]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
17:12:14 [17:12:14.726]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
17:12:14 [17:12:14.726]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
17:12:14 [17:12:14.726]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
17:12:14 [17:12:14.727]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
17:12:14 [17:12:14.744]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
17:12:14 [17:12:14.750]
INFO:
ivc-integration:prove_wasm time to construct proving key: 33 ms. (mem: 848.19MiB)
17:12:14 [17:12:14.767]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
17:12:15 [17:12:15.817]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
17:12:15 [17:12:15.819]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
17:12:15 [17:12:15.985]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
17:12:16 [17:12:16.234]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
17:12:16 [17:12:16.447]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
17:12:16 [17:12:16.701]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
17:12:16 [17:12:16.704]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
17:12:16 [17:12:16.737]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 848.19MiB)
17:12:16 [17:12:16.901]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
17:12:17 [17:12:17.045]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
17:12:17 [17:12:17.045]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
17:12:17 [17:12:17.050]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
17:12:17 [17:12:17.051]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
17:12:17 [17:12:17.052]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
17:12:17 [17:12:17.053]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
17:12:17 [17:12:17.053]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
17:12:17 [17:12:17.053]
INFO:
ivc-integration:prove_wasm arithmetic : 12080/56000 (mem: 848.19MiB)
17:12:17 [17:12:17.054]
INFO:
ivc-integration:prove_wasm delta range : 2942/18000 (mem: 848.19MiB)
17:12:17 [17:12:17.054]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
17:12:17 [17:12:17.054]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
17:12:17 [17:12:17.054]
INFO:
ivc-integration:prove_wasm poseidon ext : 4942/17000 (mem: 848.19MiB)
17:12:17 [17:12:17.055]
INFO:
ivc-integration:prove_wasm poseidon int : 28160/92000 (mem: 848.19MiB)
17:12:17 [17:12:17.055]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
17:12:17 [17:12:17.055]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
17:12:17 [17:12:17.055]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
17:12:17 [17:12:17.056]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
17:12:17 [17:12:17.104]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
17:12:17 [17:12:17.159]
INFO:
ivc-integration:prove_wasm time to construct proving key: 114 ms. (mem: 851.25MiB)
17:12:17 [17:12:17.295]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.25MiB)
17:12:18 [17:12:18.727]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.25MiB)
17:12:18 [17:12:18.728]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 851.25MiB)
17:12:19 [17:12:19.565]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.25MiB)
17:12:19 [17:12:19.822]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
17:12:20 [17:12:20.134]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
17:12:20 [17:12:20.480]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
17:12:20 [17:12:20.481]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
17:12:20 [17:12:20.492]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 907.06MiB)
17:12:20 [17:12:20.621]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 907.06MiB)
17:12:20 [17:12:20.622]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
17:12:20 [17:12:20.625]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
17:12:20 [17:12:20.626]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
17:12:20 [17:12:20.626]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 907.06MiB)
17:12:20 [17:12:20.626]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
17:12:20 [17:12:20.627]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 907.06MiB)
17:12:20 [17:12:20.628]
INFO:
ivc-integration:prove_wasm arithmetic : 6914/56000 (mem: 907.06MiB)
17:12:20 [17:12:20.628]
INFO:
ivc-integration:prove_wasm delta range : 2347/18000 (mem: 907.06MiB)
17:12:20 [17:12:20.628]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
17:12:20 [17:12:20.629]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 907.06MiB)
17:12:20 [17:12:20.630]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 907.06MiB)
17:12:20 [17:12:20.631]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 907.06MiB)
17:12:20 [17:12:20.631]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
17:12:20 [17:12:20.632]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
17:12:20 [17:12:20.632]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
17:12:20 [17:12:20.632]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
17:12:20 [17:12:20.644]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
17:12:20 [17:12:20.670]
INFO:
ivc-integration:prove_wasm time to construct proving key: 50 ms. (mem: 907.06MiB)
17:12:20 [17:12:20.760]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
17:12:21 [17:12:21.932]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
17:12:21 [17:12:21.934]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 907.06MiB)
17:12:22 [17:12:22.459]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
17:12:22 [17:12:22.762]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
17:12:23 [17:12:23.089]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
17:12:23 [17:12:23.354]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
17:12:23 [17:12:23.355]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
17:12:23 [17:12:23.369]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 907.06MiB)
17:12:23 [17:12:23.467]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 907.06MiB)
17:12:23 [17:12:23.468]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
17:12:23 [17:12:23.473]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
17:12:23 [17:12:23.474]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
17:12:23 [17:12:23.474]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 907.06MiB)
17:12:23 [17:12:23.474]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
17:12:23 [17:12:23.474]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 907.06MiB)
17:12:23 [17:12:23.475]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 907.06MiB)
17:12:23 [17:12:23.475]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 907.06MiB)
17:12:23 [17:12:23.475]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
17:12:23 [17:12:23.475]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 907.06MiB)
17:12:23 [17:12:23.476]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 907.06MiB)
17:12:23 [17:12:23.476]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 907.06MiB)
17:12:23 [17:12:23.476]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
17:12:23 [17:12:23.476]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
17:12:23 [17:12:23.477]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
17:12:23 [17:12:23.477]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
17:12:23 [17:12:23.491]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
17:12:23 [17:12:23.518]
INFO:
ivc-integration:prove_wasm time to construct proving key: 51 ms. (mem: 907.06MiB)
17:12:23 [17:12:23.626]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
17:12:24 [17:12:24.782]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
17:12:24 [17:12:24.787]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 907.06MiB)
17:12:25 [17:12:25.280]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
17:12:25 [17:12:25.596]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
17:12:25 [17:12:25.911]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
17:12:26 [17:12:26.155]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
17:12:26 [17:12:26.156]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
17:12:26 [17:12:26.156]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 16914 (mem: 907.06MiB)
17:12:26 [17:12:26.156]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 907.06MiB)
17:12:26 [17:12:26.156]
INFO:
ivc-integration:prove_wasm Largest circuit: 48490 gates. Trace details: (mem: 907.06MiB)
17:12:26 [17:12:26.157]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 907.06MiB)
17:12:26 [17:12:26.157]
INFO:
ivc-integration:prove_wasm ecc_op : 792
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.157]
INFO:
ivc-integration:prove_wasm busread : 16
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.158]
INFO:
ivc-integration:prove_wasm lookup : 2
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.158]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.161]
INFO:
ivc-integration:prove_wasm arithmetic : 12080
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.161]
INFO:
ivc-integration:prove_wasm delta_range : 2942
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.161]
INFO:
ivc-integration:prove_wasm elliptic : 2
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.162]
INFO:
ivc-integration:prove_wasm aux : 350
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.162]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4942
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.162]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28160
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.162]
INFO:
ivc-integration:prove_wasm overflow : 0
17:12:26 (mem: 907.06MiB)
17:12:26 [17:12:26.163]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
17:12:26 [17:12:26.163]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 907.06MiB)
17:12:26 [17:12:26.315]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
17:12:26 [17:12:26.659]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
17:12:27 [17:12:27.779]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
17:12:28 [17:12:28.088]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
17:12:28 [17:12:28.090]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
17:12:28 [17:12:28.109]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 907.06MiB)
17:12:28 [17:12:28.302]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
17:12:28 [17:12:28.308]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
17:12:28 [17:12:28.327]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
17:12:28 [17:12:28.375]
INFO:
ivc-integration:prove_wasm time to construct proving key: 75 ms. (mem: 907.06MiB)
17:12:29 [17:12:29.660]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
17:12:30 [17:12:30.827]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 907.06MiB)
17:12:30 [17:12:30.861]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
17:12:31 [17:12:31.192]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
17:12:32 [17:12:32.301]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
17:12:32 [17:12:32.444]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
17:12:32 [17:12:32.445]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
17:12:32 [17:12:32.446]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 907.06MiB)
17:12:32 [17:12:32.603]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 907.06MiB)
17:12:36 [17:12:36.221]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
17:12:40 [17:12:40.328]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
17:12:44 [17:12:44.147]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 907.06MiB)
17:12:44 [17:12:44.148]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 907.06MiB)
17:12:48 [17:12:48.127]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
17:12:51 [17:12:51.186]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
17:12:53 [17:12:53.559]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
17:12:53 [17:12:53.560]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 907.06MiB)
17:12:53 [17:12:53.561]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 44319 (mem: 907.06MiB)
17:12:53 [17:12:53.566]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 907.06MiB)
17:12:53 [17:12:53.568]
INFO:
ivc-integration:prove_wasm time to serialize vk: 3 (mem: 907.06MiB)
17:12:53 [17:12:53.591]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
17:12:53 [17:12:53.656]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.657]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.658]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.658]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.915]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.916]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.916]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.917]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.981]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.982]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.982]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.983]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.983]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.983]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
17:12:53 [17:12:53.992]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
17:12:54 [17:12:54.034]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.035]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.035]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.036]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.211]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.212]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.212]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.212]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.259]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.261]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.262]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.262]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.263]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.263]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
17:12:54 [17:12:54.821]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
17:12:54
PASS src/wasm_client_ivc_integration.test.ts (
111.037 s)
17:12:54 Client IVC Integration
17:12:54
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (55359 ms)
17:12:54
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2442 ms)
17:12:54
✓ Should generate a verifiable client IVC proof from a complex mock tx (49799 ms)
17:12:54
17:12:54
Test Suites: 1 passed, 1 total
17:12:54
Tests: 3 passed, 3 total
17:12:54
Snapshots: 0 total
17:12:54
Time: 111.148 s
17:12:54
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
17:12:54
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?