Parent Log:
http://ci.aztec-labs.com/0d8f7888711d05bb
Command: 6e611b2acba6dc44: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/9a37be7dc4208f0eeb44ec50194c00ca3f5c4cc6
Env: REF_NAME=gh-readonly-queue/next/pr-15072-1e338a3fb2e2077f1feaee8b86c42644ff8a5352 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 16:36:58 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15072_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
16:37:02 [16:37:02.747]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
16:37:02 [16:37:02.762]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-zLQBx5/ivc-inputs.msgpack
16:37:02 [16:37:02.764]
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-zLQBx5 --ivc_inputs_path /tmp/bb-client-ivc-integration-zLQBx5/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:37:02 [16:37:02.803]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem:
16:37:02 [16:37:02.804]
INFO:
ivc-integration:test:wasm bb - 189.21 MiB)
16:37:02 Scheme is: client_ivc, num threads: 128 (mem: 189.21 MiB)
16:37:02 --scheme: client_ivc (mem: 189.21 MiB)
16:37:02 --output_path: /tmp/bb-client-ivc-integration-zLQBx5 (mem: 189.21 MiB)
16:37:02 --ivc_inputs_path: /tmp/bb-client-ivc-integration-zLQBx5/ivc-inputs.msgpack (mem: 189.21 MiB)
16:37:02 --verbose: true (mem: 189.21 MiB)
16:37:02 --write_vk: true (mem: 189.21 MiB)
16:37:02 BN254 commitment key size: 262144 (mem: 189.21 MiB)
16:37:03 [16:37:03.002]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12062252 bytes
16:37:03 [16:37:03.014]
INFO:
ivc-integration:test:wasm bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.00 MiB)
16:37:03 Initialized BN254 CRS from memory with num points = 263169 (mem: 301.51 MiB)
16:37:03 ClientIVC: accumulating unknown_0 (mem: 301.51 MiB)
16:37:03 Constructing DeciderProvingKey (mem: 301.51 MiB)
16:37:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 301.51 MiB)
16:37:03 goblin ecc op : 4/1024 (mem: 301.51 MiB)
16:37:03 busread : 7/6000 (mem: 301.51 MiB)
16:37:03 lookups : 2/15000 (mem: 301.51 MiB)
16:37:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 301.51 MiB)
16:37:03 arithmetic : 1760/56000 (mem: 301.51 MiB)
16:37:03 delta range : 1754/18000 (mem: 301.51 MiB)
16:37:03 elliptic : 2/6000 (mem: 301.51 MiB)
16:37:03 auxiliary : 26/26000 (mem: 301.51 MiB)
16:37:03 poseidon ext : 2/17000 (mem: 301.51 MiB)
16:37:03 poseidon int : 2/92000 (mem: 301.51 MiB)
16:37:03 overflow : 0/0 (mem: 301.51 MiB)
16:37:03 (mem: 301.51 MiB)
16:37:03 Total structured size: 242025 (mem: 301.51 MiB)
16:37:03 allocating polynomials object in proving key... (mem: 301.51 MiB)
16:37:03 [16:37:03.036]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
16:37:03 [16:37:03.081]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 503.66 MiB)
16:37:03 [16:37:03.099]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 90 ms. (mem: 512.66 MiB)
16:37:03 [16:37:03.168]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5e5e3f4a1600 (mem: 512.66 MiB)
16:37:03 computing oink proof... (mem: 512.66 MiB)
16:37:03 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.66 MiB)
16:37:03 [16:37:03.355]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
16:37:03 [16:37:03.368]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
16:37:03 [16:37:03.383]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 521.66 MiB)
16:37:03 [16:37:03.395]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.66 MiB)
16:37:03 [16:37:03.422]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 521.66 MiB)
16:37:03 Constructing DeciderProvingKey (mem: 521.66 MiB)
16:37:03 [16:37:03.426]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 521.66 MiB)
16:37:03 goblin ecc op : 56/1024 (mem: 521.66 MiB)
16:37:03 busread : 12/6000 (mem: 521.66 MiB)
16:37:03 lookups : 2/15000 (mem: 521.66 MiB)
16:37:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 521.66 MiB)
16:37:03 arithmetic : 4625/56000 (mem: 521.66 MiB)
16:37:03 delta range : 2054/18000 (mem: 521.66 MiB)
16:37:03 elliptic : 2/6000 (mem: 521.66 MiB)
16:37:03 auxiliary : 110/26000 (mem: 521.66 MiB)
16:37:03 poseidon ext : 1302/17000 (mem: 521.66 MiB)
16:37:03 poseidon int : 7412/92000 (mem: 521.66 MiB)
16:37:03 overflow : 0/0 (mem: 521.66 MiB)
16:37:03 (mem: 521.66 MiB)
16:37:03 Total structured size: 242025 (mem: 521.66 MiB)
16:37:03 allocating polynomials object in proving key... (mem: 521.66 MiB)
16:37:03 [16:37:03.562]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 725.66 MiB)
16:37:03 [16:37:03.617]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 195 ms. (mem: 741.66 MiB)
16:37:03 [16:37:03.741]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5e5e3f4ae280 (mem: 741.66 MiB)
16:37:03 computing folding proof (mem: 741.66 MiB)
16:37:03 [16:37:03.741]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 741.66 MiB)
16:37:04 [16:37:04.335]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 743.66 MiB)
16:37:04 [16:37:04.482]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 780.66 MiB)
16:37:04 [16:37:04.543]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 812.66 MiB)
16:37:04 [16:37:04.787]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
16:37:04 [16:37:04.790]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
16:37:05 [16:37:05.403]
INFO:
ivc-integration:test:wasm bb - folded (mem: 812.66 MiB)
16:37:05 constructed folding proof (mem: 812.66 MiB)
16:37:05 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 812.66 MiB)
16:37:05 ClientIVC: accumulating unknown_2 (mem: 812.66 MiB)
16:37:05 Constructing DeciderProvingKey (mem: 812.66 MiB)
16:37:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 812.66 MiB)
16:37:05 goblin ecc op : 392/1024 (mem: 812.66 MiB)
16:37:05 busread : 3/6000 (mem: 812.66 MiB)
16:37:05 lookups : 2/15000 (mem: 812.66 MiB)
16:37:05 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 812.66 MiB)
16:37:05 arithmetic : 6849/56000 (mem: 812.66 MiB)
16:37:05 delta range : 2333/18000 (mem: 812.66 MiB)
16:37:05 elliptic : 2/6000 (mem: 812.66 MiB)
16:37:05 auxiliary : 50/26000 (mem: 812.66 MiB)
16:37:05 poseidon ext : 2472/17000 (mem: 812.66 MiB)
16:37:05 poseidon int : 14081/92000 (mem: 812.66 MiB)
16:37:05 overflow : 0/0 (mem: 812.66 MiB)
16:37:05 (mem: 812.66 MiB)
16:37:05 Total structured size: 242025 (mem: 812.66 MiB)
16:37:05 allocating polynomials object in proving key... (mem: 812.66 MiB)
16:37:05 populating trace... (mem: 812.66 MiB)
16:37:05 time to construct proving key: 264 ms. (mem: 812.66 MiB)
16:37:05 [16:37:05.559]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5e5e3f4a3d00 (mem: 812.66 MiB)
16:37:05 computing folding proof (mem: 812.66 MiB)
16:37:05 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 812.66 MiB)
16:37:06 [16:37:06.066]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 812.66 MiB)
16:37:06 [16:37:06.222]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
16:37:06 [16:37:06.223]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 812.66 MiB)
16:37:06 [16:37:06.294]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
16:37:06 [16:37:06.295]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 812.66 MiB)
16:37:06 [16:37:06.316]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
16:37:06 [16:37:06.345]
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)
16:37:06 [16:37:06.357]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
16:37:06 [16:37:06.358]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
16:37:06 [16:37:06.409]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
16:37:06 [16:37:06.410]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
16:37:06 [16:37:06.411]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
16:37:06 [16:37:06.412]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
16:37:06 [16:37:06.413]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
16:37:06 [16:37:06.413]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
16:37:06 [16:37:06.414]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
16:37:06 [16:37:06.414]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
16:37:06 [16:37:06.415]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
16:37:06 [16:37:06.416]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
16:37:06 [16:37:06.416]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
16:37:06 [16:37:06.417]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
16:37:06 [16:37:06.418]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
16:37:06 [16:37:06.418]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
16:37:06 [16:37:06.418]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
16:37:06 [16:37:06.539]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
16:37:06 [16:37:06.585]
INFO:
ivc-integration:prove_wasm time to construct proving key: 226 ms. (mem: 581.38MiB)
16:37:06 [16:37:06.609]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
16:37:06 [16:37:06.813]
INFO:
ivc-integration:test:wasm bb - folded (mem: 812.66 MiB)
16:37:06 constructed folding proof (mem: 812.66 MiB)
16:37:06 Largest circuit: 25792 gates. Trace details: (mem: 812.66 MiB)
16:37:06 Minimum required block sizes for structured trace: (mem: 812.66 MiB)
16:37:06 (mem: 812.66 MiB)
16:37:06 prove decider... (mem: 812.66 MiB)
16:37:06 [16:37:06.817]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
16:37:06 busread : 12
16:37:06 lookup : 2
16:37:06 pub_inputs : 36
16:37:06 arithmetic : 6849
16:37:06 delta_range : 2333
16:37:06 elliptic : 2
16:37:06 aux : 110
16:37:06 poseidon2_external : 2472
16:37:06 poseidon2_internal : 14081
16:37:06 overflow : 0
16:37:07 [16:37:07.050]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 812.66 MiB)
16:37:07 [16:37:07.316]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 812.66 MiB)
16:37:08 [16:37:08.457]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 812.66 MiB)
16:37:08 [16:37:08.576]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 812.66 MiB)
16:37:08 finished decider proving. (mem: 812.66 MiB)
16:37:08 [16:37:08.617]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 812.66 MiB)
16:37:08 [16:37:08.752]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 812.66 MiB)
16:37:08 [16:37:08.759]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 812.66 MiB)
16:37:08 [16:37:08.817]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
16:37:08 [16:37:08.820]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
16:37:08 [16:37:08.940]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 812.66 MiB)
16:37:09 [16:37:09.017]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 264 ms. (mem: 812.66 MiB)
16:37:09 [16:37:09.275]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
16:37:09 [16:37:09.297]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
16:37:09 [16:37:09.350]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
16:37:09 [16:37:09.364]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
16:37:09 [16:37:09.364]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
16:37:09 [16:37:09.365]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
16:37:09 [16:37:09.380]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
16:37:09 [16:37:09.381]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
16:37:09 [16:37:09.381]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
16:37:09 [16:37:09.382]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.38MiB)
16:37:09 [16:37:09.382]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.38MiB)
16:37:09 [16:37:09.382]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
16:37:09 [16:37:09.383]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
16:37:09 [16:37:09.386]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.38MiB)
16:37:09 [16:37:09.388]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.38MiB)
16:37:09 [16:37:09.389]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
16:37:09 [16:37:09.389]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
16:37:09 [16:37:09.390]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
16:37:09 [16:37:09.391]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
16:37:09 [16:37:09.494]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.13MiB)
16:37:09 [16:37:09.540]
INFO:
ivc-integration:prove_wasm time to construct proving key: 191 ms. (mem: 820.19MiB)
16:37:09 [16:37:09.631]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.19MiB)
16:37:10 [16:37:10.228]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 812.66 MiB)
16:37:10 [16:37:10.955]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 812.66 MiB)
16:37:11 [16:37:11.259]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 812.66 MiB)
16:37:11 [16:37:11.803]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.19MiB)
16:37:11 [16:37:11.806]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.19MiB)
16:37:12 [16:37:12.676]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.19MiB)
16:37:12 [16:37:12.939]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 812.66 MiB)
16:37:12 [16:37:12.981]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
16:37:13 [16:37:13.392]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
16:37:13 [16:37:13.955]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
16:37:13 [16:37:13.956]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
16:37:13 [16:37:13.988]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 847.69MiB)
16:37:14 [16:37:14.014]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 812.66 MiB)
16:37:14 [16:37:14.058]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 812.66 MiB)
16:37:14 finished decider proving. (mem: 812.66 MiB)
16:37:14 [16:37:14.061]
INFO:
ivc-integration:test:wasm bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 812.66 MiB)
16:37:14 [16:37:14.129]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
16:37:14 [16:37:14.129]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
16:37:14 [16:37:14.134]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
16:37:14 [16:37:14.134]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
16:37:14 [16:37:14.134]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
16:37:14 [16:37:14.135]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
16:37:14 [16:37:14.136]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
16:37:14 [16:37:14.137]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 847.69MiB)
16:37:14 [16:37:14.137]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 847.69MiB)
16:37:14 [16:37:14.138]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
16:37:14 [16:37:14.138]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
16:37:14 [16:37:14.138]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 847.69MiB)
16:37:14 [16:37:14.139]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 847.69MiB)
16:37:14 [16:37:14.139]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
16:37:14 [16:37:14.139]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
16:37:14 [16:37:14.140]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
16:37:14 [16:37:14.140]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
16:37:14 [16:37:14.166]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
16:37:14 [16:37:14.208]
INFO:
ivc-integration:prove_wasm time to construct proving key: 78 ms. (mem: 847.69MiB)
16:37:14 [16:37:14.294]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 812.66 MiB)
16:37:14 [16:37:14.295]
INFO:
ivc-integration:test:wasm bb -
16:37:14 [16:37:14.384]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
16:37:14 [16:37:14.721]
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: 812.66 MiB)
16:37:14 [16:37:14.739]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 812.66 MiB)
16:37:16 [16:37:16.281]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
16:37:16 [16:37:16.285]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.69MiB)
16:37:17 [16:37:17.123]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 812.66 MiB)
16:37:17 [16:37:17.578]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
16:37:17 [16:37:17.800]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
16:37:18 [16:37:18.097]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
16:37:18 [16:37:18.738]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
16:37:18 [16:37:18.742]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
16:37:18 [16:37:18.743]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 12440 (mem: 855.63MiB)
16:37:18 [16:37:18.743]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
16:37:18 [16:37:18.743]
INFO:
ivc-integration:prove_wasm Largest circuit: 25792 gates. Trace details: (mem: 855.63MiB)
16:37:18 [16:37:18.744]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
16:37:18 [16:37:18.744]
INFO:
ivc-integration:prove_wasm ecc_op : 392
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.744]
INFO:
ivc-integration:prove_wasm busread : 12
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.744]
INFO:
ivc-integration:prove_wasm lookup : 2
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.745]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.747]
INFO:
ivc-integration:prove_wasm arithmetic : 6849
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.747]
INFO:
ivc-integration:prove_wasm delta_range : 2333
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.748]
INFO:
ivc-integration:prove_wasm elliptic : 2
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.748]
INFO:
ivc-integration:prove_wasm aux : 110
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.749]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2472
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.749]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14081
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.750]
INFO:
ivc-integration:prove_wasm overflow : 0
16:37:18 (mem: 855.63MiB)
16:37:18 [16:37:18.750]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
16:37:18 [16:37:18.751]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
16:37:18 [16:37:18.949]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
16:37:19 [16:37:19.346]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
16:37:19 [16:37:19.847]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 812.66 MiB)
16:37:21 [16:37:21.264]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
16:37:21 [16:37:21.559]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
16:37:21 [16:37:21.560]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
16:37:21 [16:37:21.583]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 855.63MiB)
16:37:21 [16:37:21.804]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
16:37:21 [16:37:21.815]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
16:37:21 [16:37:21.858]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
16:37:21 [16:37:21.919]
INFO:
ivc-integration:prove_wasm time to construct proving key: 105 ms. (mem: 855.63MiB)
16:37:23 [16:37:23.377]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
16:37:24 [16:37:24.632]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
16:37:24 [16:37:24.673]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
16:37:24 [16:37:24.904]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
16:37:24 [16:37:24.958]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem:
16:37:24 [16:37:24.959]
INFO:
ivc-integration:test:wasm bb - 812.66 MiB)
16:37:24 prove translator... (mem: 812.66 MiB)
16:37:25 [16:37:25.795]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
16:37:25 [16:37:25.920]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
16:37:25 [16:37:25.921]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
16:37:25 [16:37:25.921]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
16:37:26 [16:37:26.028]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
16:37:27 [16:37:27.704]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 845.86 MiB)
16:37:28 [16:37:28.203]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
16:37:30 [16:37:30.941]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 845.86 MiB)
16:37:32 [16:37:32.629]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
16:37:33 [16:37:33.681]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 845.86 MiB)
16:37:33 finished translator proving. (mem: 845.86 MiB)
16:37:33 [16:37:33.683]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 845.86 MiB)
16:37:33 [16:37:33.702]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 846.86 MiB)
16:37:33 libra_evals_verified: 1 (mem: 846.86 MiB)
16:37:33 pairing_check_verified: 1 (mem: 846.86 MiB)
16:37:33 Mega verified: 1 (mem: 846.86 MiB)
16:37:33 [16:37:33.713]
INFO:
ivc-integration:test:wasm bb -
16:37:33 [16:37:33.788]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 846.86 MiB)
16:37:33 batch opening verified?: 1 (mem: 846.86 MiB)
16:37:33 eccvm consistency check verified?: 1 (mem: 846.86 MiB)
16:37:33 translation masking consistency checked?: 1 (mem: 846.86 MiB)
16:37:33 [16:37:33.814]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 846.86 MiB)
16:37:33 eccvm verified?: 1 (mem: 846.86 MiB)
16:37:33 accumulator construction_verified?: 1 (mem: 846.86 MiB)
16:37:33 translation verified?: 1 (mem: 846.86 MiB)
16:37:33 consistency verified?: 1 (mem: 846.86 MiB)
16:37:33 [16:37:33.816]
INFO:
ivc-integration:test:wasm bb - Goblin verified: 1 (mem: 846.86 MiB)
16:37:33 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-zLQBx5" (mem: 846.86 MiB)
16:37:33 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-zLQBx5" (mem: 846.86 MiB)
16:37:33 BN254 commitment key size: 262144 (mem: 846.86 MiB)
16:37:33 [16:37:33.819]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.86 MiB)
16:37:33 [16:37:33.822]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity)
16:37:33 [16:37:33.824]
INFO:
ivc-integration:test:wasm bb - (mem: 846.86 MiB)
16:37:33 goblin ecc op : 4/1024 (mem: 846.86 MiB)
16:37:33 busread : 3/6000 (mem: 846.86 MiB)
16:37:33 lookups : 2/15000 (mem: 846.86 MiB)
16:37:33 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.86 MiB)
16:37:33 arithmetic : 1773/56000 (mem: 846.86 MiB)
16:37:33 delta range : 1754/18000 (mem: 846.86 MiB)
16:37:33 elliptic : 2/6000 (mem: 846.86 MiB)
16:37:33 auxiliary : 26/26000 (mem: 846.86 MiB)
16:37:33 poseidon ext : 2/17000 (mem: 846.86 MiB)
16:37:33 poseidon int : 2/92000 (mem: 846.86 MiB)
16:37:33 overflow : 0/0 (mem: 846.86 MiB)
16:37:33 (mem: 846.86 MiB)
16:37:33 Total structured size: 242025 (mem: 846.86 MiB)
16:37:33 allocating polynomials object in proving key... (mem: 846.86 MiB)
16:37:34 [16:37:34.155]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.86 MiB)
16:37:34 [16:37:34.212]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 383 ms. (mem: 846.86 MiB)
16:37:34 [16:37:34.417]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.86 MiB)
16:37:35 [16:37:35.557]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 846.86 MiB)
16:37:35 [16:37:35.559]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.86 MiB)
16:37:36 [16:37:36.143]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 846.86 MiB)
16:37:36 [16:37:36.157]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.86 MiB)
16:37:36 [16:37:36.184]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.86 MiB)
16:37:36 [16:37:36.189]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.86 MiB)
16:37:36 goblin ecc op : 56/1024 (mem: 846.86 MiB)
16:37:36 busread : 3/6000 (mem: 846.86 MiB)
16:37:36 lookups : 2/15000 (mem: 846.86 MiB)
16:37:36 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.86 MiB)
16:37:36 arithmetic : 4481/56000 (mem: 846.86 MiB)
16:37:36 delta range : 2041/18000 (mem: 846.86 MiB)
16:37:36 elliptic : 2/6000 (mem: 846.86 MiB)
16:37:36 auxiliary : 50/26000 (mem: 846.86 MiB)
16:37:36 poseidon ext : 1312/17000 (mem: 846.86 MiB)
16:37:36 poseidon int : 7469/92000 (mem: 846.86 MiB)
16:37:36 overflow : 0/0 (mem: 846.86 MiB)
16:37:36 (mem: 846.86 MiB)
16:37:36 Total structured size: 242025 (mem: 846.86 MiB)
16:37:36 allocating polynomials object in proving key... (mem: 846.86 MiB)
16:37:36 [16:37:36.322]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.86 MiB)
16:37:36 [16:37:36.360]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 176 ms. (mem: 846.86 MiB)
16:37:36 [16:37:36.503]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.86 MiB)
16:37:37 [16:37:37.366]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 846.86 MiB)
16:37:37 vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 846.86 MiB)
16:37:38 [16:37:38.183]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 846.86 MiB)
16:37:38 [16:37:38.292]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 848.86 MiB)
16:37:38 [16:37:38.350]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 880.86 MiB)
16:37:38 [16:37:38.713]
INFO:
ivc-integration:test:wasm bb - folded (mem: 880.86 MiB)
16:37:38 constructed folding proof (mem: 880.86 MiB)
16:37:38 [16:37:38.714]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 15360 gates. Trace details: (mem: 880.86 MiB)
16:37:38 Minimum required block sizes for structured trace: (mem: 880.86 MiB)
16:37:38 [16:37:38.715]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
16:37:38 busread : 3
16:37:38 lookup : 2
16:37:38 pub_inputs : 36
16:37:38 arithmetic : 4481
16:37:38 [16:37:38.721]
INFO:
ivc-integration:test:wasm bb - delta_range : 2041
16:37:38 elliptic : 2
16:37:38 aux : 50
16:37:38 poseidon2_external : 1312
16:37:38 poseidon2_internal : 7469
16:37:38 overflow : 0
16:37:38 [16:37:38.724]
INFO:
ivc-integration:test:wasm bb - (mem: 880.86 MiB)
16:37:38 prove decider... (mem: 880.86 MiB)
16:37:38 [16:37:38.889]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 880.86 MiB)
16:37:39 [16:37:39.123]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 880.86 MiB)
16:37:40 [16:37:40.403]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 880.86 MiB)
16:37:40 [16:37:40.489]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 880.86 MiB)
16:37:40 finished decider proving. (mem: 880.86 MiB)
16:37:40 [16:37:40.501]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5
16:37:40 [16:37:40.502]
INFO:
ivc-integration:test:wasm bb - (mem: 880.86 MiB)
16:37:40 [16:37:40.619]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 880.86 MiB)
16:37:40 [16:37:40.624]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 880.86 MiB)
16:37:40 [16:37:40.758]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 880.86 MiB)
16:37:40 [16:37:40.849]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 228 ms. (mem: 880.86 MiB)
16:37:41 [16:37:41.823]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
16:37:41 [16:37:41.823]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
16:37:48 [16:37:48.416]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
16:37:53 [16:37:53.056]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
16:37:56 [16:37:56.467]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
16:37:56 [16:37:56.469]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
16:37:56 [16:37:56.470]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 50169 (mem: 855.63MiB)
16:37:56 [16:37:56.475]
INFO:
ivc-integration:prove_wasm time to serialize proof: 7 (mem: 855.63MiB)
16:37:56 [16:37:56.487]
INFO:
ivc-integration:prove_wasm time to serialize vk: 12 (mem: 855.63MiB)
16:37:56 [16:37:56.538]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
16:37:56 [16:37:56.600]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.600]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.603]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.603]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.811]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.812]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.812]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.813]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.920]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.921]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.922]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.923]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.924]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
16:37:56 [16:37:56.925]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
16:37:57 [16:37:57.704]
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-zLQBx5/proof -k /tmp/bb-client-ivc-integration-zLQBx5/vk -v
16:37:57 [16:37:57.773]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 966.19 MiB)
16:37:57 Scheme is: client_ivc, num threads: 128 (mem: 966.19 MiB)
16:37:57 --proof_path: /tmp/bb-client-ivc-integration-zLQBx5/proof (mem: 966.19 MiB)
16:37:57 [16:37:57.774]
INFO:
ivc-integration:test:wasm --vk_path: /tmp/bb-client-ivc-integration-zLQBx5/vk (mem: 966.19 MiB)
16:37:57 --verbose: true (mem: 966.19 MiB)
16:37:57 --scheme: client_ivc (mem: 966.19 MiB)
16:37:57 [16:37:57.863]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 966.19 MiB)
16:37:57 [16:37:57.881]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 966.19 MiB)
16:37:57 [16:37:57.882]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 966.19 MiB)
16:37:57 [16:37:57.902]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 966.19 MiB)
16:37:57 [16:37:57.903]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1025 (mem: 966.19 MiB)
16:37:57 [16:37:57.906]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 966.19 MiB)
16:37:57 libra_evals_verified: 1 (mem: 966.19 MiB)
16:37:57 pairing_check_verified: 1 (mem: 966.19 MiB)
16:37:57 Mega verified: 1 (mem: 966.19 MiB)
16:37:57 [16:37:57.967]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 966.19 MiB)
16:37:57 batch opening verified?: 1 (mem: 966.19 MiB)
16:37:57 eccvm consistency check verified?: 1 (mem: 966.19 MiB)
16:37:57 [16:37:57.968]
INFO:
ivc-integration:test:wasm translation masking consistency checked?: 1 (mem: 966.19 MiB)
16:37:57 [16:37:57.989]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 966.19 MiB)
16:37:57 eccvm verified?: 1 (mem: 966.19 MiB)
16:37:57 accumulator construction_verified?: 1 (mem: 966.19 MiB)
16:37:57 [16:37:57.990]
INFO:
ivc-integration:test:wasm translation verified?: 1 (mem: 966.19 MiB)
16:37:57 consistency verified?: 1 (mem: 966.19 MiB)
16:37:57 Goblin verified: 1 (mem: 966.19 MiB)
16:37:57 [16:37:57.996]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 966.19 MiB)
16:37:58 [16:37:58.069]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
16:37:58 [16:37:58.234]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12062252 bytes
16:37:58 [16:37:58.280]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
16:37:58 [16:37:58.650]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
16:37:58 [16:37:58.669]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
16:37:58 [16:37:58.669]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
16:37:59 [16:37:59.771]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
16:37:59 [16:37:59.860]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
16:37:59 [16:37:59.864]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
16:37:59 [16:37:59.927]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
16:37:59 [16:37:59.940]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
16:37:59 [16:37:59.977]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
16:37:59 [16:37:59.986]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
16:38:00 [16:38:00.224]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15519,"2":25792}
16:38:00 [16:38:00.301]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
16:38:00 [16:38:00.426]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12062252 bytes
16:38:00 [16:38:00.468]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
16:38:00 [16:38:00.942]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
16:38:00 [16:38:00.960]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
16:38:02 [16:38:02.431]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
16:38:02 [16:38:02.432]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
16:38:04 [16:38:04.093]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
16:38:04 [16:38:04.185]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
16:38:04 [16:38:04.209]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
16:38:04 [16:38:04.229]
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)
16:38:04 [16:38:04.248]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
16:38:04 [16:38:04.249]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
16:38:04 [16:38:04.277]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
16:38:04 [16:38:04.278]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
16:38:04 [16:38:04.279]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
16:38:04 [16:38:04.279]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
16:38:04 [16:38:04.280]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
16:38:04 [16:38:04.281]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
16:38:04 [16:38:04.281]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
16:38:04 [16:38:04.281]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
16:38:04 [16:38:04.282]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
16:38:04 [16:38:04.282]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
16:38:04 [16:38:04.282]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
16:38:04 [16:38:04.282]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
16:38:04 [16:38:04.283]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
16:38:04 [16:38:04.283]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
16:38:04 [16:38:04.290]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
16:38:04 [16:38:04.432]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.56MiB)
16:38:04 [16:38:04.469]
INFO:
ivc-integration:prove_wasm time to construct proving key: 225 ms. (mem: 581.81MiB)
16:38:04 [16:38:04.479]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.81MiB)
16:38:07 [16:38:07.001]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.81MiB)
16:38:07 [16:38:07.003]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
16:38:07 [16:38:07.524]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.81MiB)
16:38:07 [16:38:07.545]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
16:38:07 [16:38:07.578]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.81MiB)
16:38:07 [16:38:07.578]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.81MiB)
16:38:07 [16:38:07.583]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.81MiB)
16:38:07 [16:38:07.583]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.81MiB)
16:38:07 [16:38:07.584]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.81MiB)
16:38:07 [16:38:07.584]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.81MiB)
16:38:07 [16:38:07.585]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.81MiB)
16:38:07 [16:38:07.585]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.81MiB)
16:38:07 [16:38:07.585]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.81MiB)
16:38:07 [16:38:07.586]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.81MiB)
16:38:07 [16:38:07.586]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.81MiB)
16:38:07 [16:38:07.586]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.81MiB)
16:38:07 [16:38:07.586]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.81MiB)
16:38:07 [16:38:07.587]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.81MiB)
16:38:07 [16:38:07.587]
INFO:
ivc-integration:prove_wasm (mem: 581.81MiB)
16:38:07 [16:38:07.587]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.81MiB)
16:38:07 [16:38:07.587]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.81MiB)
16:38:07 [16:38:07.647]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.56MiB)
16:38:07 [16:38:07.670]
INFO:
ivc-integration:prove_wasm time to construct proving key: 91 ms. (mem: 820.69MiB)
16:38:07 [16:38:07.706]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
16:38:09 [16:38:09.346]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
16:38:09 [16:38:09.348]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.69MiB)
16:38:09 [16:38:09.797]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
16:38:10 [16:38:10.062]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
16:38:10 [16:38:10.528]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
16:38:10 [16:38:10.794]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
16:38:10 [16:38:10.794]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
16:38:10 [16:38:10.798]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
16:38:10 [16:38:10.798]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
16:38:10 [16:38:10.802]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
16:38:10 [16:38:10.803]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
16:38:10 [16:38:10.803]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
16:38:10 [16:38:10.803]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
16:38:10 [16:38:10.804]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
16:38:10 [16:38:10.804]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
16:38:10 [16:38:10.804]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
16:38:10 [16:38:10.805]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
16:38:10 [16:38:10.805]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
16:38:10 [16:38:10.805]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
16:38:10 [16:38:10.805]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
16:38:10 [16:38:10.806]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
16:38:10 [16:38:10.806]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
16:38:10 [16:38:10.806]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
16:38:10 [16:38:10.806]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
16:38:10 [16:38:10.825]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
16:38:10 [16:38:10.833]
INFO:
ivc-integration:prove_wasm time to construct proving key: 34 ms. (mem: 848.19MiB)
16:38:10 [16:38:10.853]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
16:38:12 [16:38:12.490]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
16:38:12 [16:38:12.493]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
16:38:12 [16:38:12.792]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
16:38:13 [16:38:13.069]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
16:38:13 [16:38:13.344]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
16:38:13 [16:38:13.644]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
16:38:13 [16:38:13.645]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
16:38:13 [16:38:13.659]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 848.19MiB)
16:38:13 [16:38:13.777]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
16:38:13 [16:38:13.913]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
16:38:13 [16:38:13.913]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
16:38:13 [16:38:13.919]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
16:38:13 [16:38:13.920]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
16:38:13 [16:38:13.920]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
16:38:13 [16:38:13.921]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
16:38:13 [16:38:13.921]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
16:38:13 [16:38:13.921]
INFO:
ivc-integration:prove_wasm arithmetic : 12080/56000 (mem: 848.19MiB)
16:38:13 [16:38:13.922]
INFO:
ivc-integration:prove_wasm delta range : 2942/18000 (mem: 848.19MiB)
16:38:13 [16:38:13.922]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
16:38:13 [16:38:13.922]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
16:38:13 [16:38:13.922]
INFO:
ivc-integration:prove_wasm poseidon ext : 4942/17000 (mem: 848.19MiB)
16:38:13 [16:38:13.923]
INFO:
ivc-integration:prove_wasm poseidon int : 28160/92000 (mem: 848.19MiB)
16:38:13 [16:38:13.923]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
16:38:13 [16:38:13.925]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
16:38:13 [16:38:13.925]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
16:38:13 [16:38:13.925]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
16:38:13 [16:38:13.947]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
16:38:13 [16:38:13.987]
INFO:
ivc-integration:prove_wasm time to construct proving key: 74 ms. (mem: 851.25MiB)
16:38:14 [16:38:14.074]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.25MiB)
16:38:15 [16:38:15.351]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.25MiB)
16:38:15 [16:38:15.352]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 851.25MiB)
16:38:16 [16:38:16.153]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.25MiB)
16:38:16 [16:38:16.414]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
16:38:16 [16:38:16.738]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
16:38:17 [16:38:17.031]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
16:38:17 [16:38:17.032]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
16:38:17 [16:38:17.045]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 907.06MiB)
16:38:17 [16:38:17.180]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 907.06MiB)
16:38:17 [16:38:17.181]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
16:38:17 [16:38:17.185]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
16:38:17 [16:38:17.186]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
16:38:17 [16:38:17.186]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 907.06MiB)
16:38:17 [16:38:17.187]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
16:38:17 [16:38:17.187]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 907.06MiB)
16:38:17 [16:38:17.188]
INFO:
ivc-integration:prove_wasm arithmetic : 6914/56000 (mem: 907.06MiB)
16:38:17 [16:38:17.188]
INFO:
ivc-integration:prove_wasm delta range : 2347/18000 (mem: 907.06MiB)
16:38:17 [16:38:17.188]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
16:38:17 [16:38:17.188]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 907.06MiB)
16:38:17 [16:38:17.189]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 907.06MiB)
16:38:17 [16:38:17.190]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 907.06MiB)
16:38:17 [16:38:17.190]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
16:38:17 [16:38:17.191]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
16:38:17 [16:38:17.191]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
16:38:17 [16:38:17.192]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
16:38:17 [16:38:17.224]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
16:38:17 [16:38:17.250]
INFO:
ivc-integration:prove_wasm time to construct proving key: 70 ms. (mem: 907.06MiB)
16:38:17 [16:38:17.341]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
16:38:18 [16:38:18.621]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
16:38:18 [16:38:18.623]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 907.06MiB)
16:38:19 [16:38:19.113]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
16:38:19 [16:38:19.372]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
16:38:19 [16:38:19.711]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
16:38:19 [16:38:19.958]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
16:38:19 [16:38:19.959]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
16:38:19 [16:38:19.971]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 907.06MiB)
16:38:20 [16:38:20.145]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 907.06MiB)
16:38:20 [16:38:20.146]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
16:38:20 [16:38:20.152]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
16:38:20 [16:38:20.153]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
16:38:20 [16:38:20.154]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 907.06MiB)
16:38:20 [16:38:20.154]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
16:38:20 [16:38:20.155]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 907.06MiB)
16:38:20 [16:38:20.155]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 907.06MiB)
16:38:20 [16:38:20.156]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 907.06MiB)
16:38:20 [16:38:20.156]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
16:38:20 [16:38:20.156]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 907.06MiB)
16:38:20 [16:38:20.157]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 907.06MiB)
16:38:20 [16:38:20.157]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 907.06MiB)
16:38:20 [16:38:20.158]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
16:38:20 [16:38:20.158]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
16:38:20 [16:38:20.158]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
16:38:20 [16:38:20.159]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
16:38:20 [16:38:20.174]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
16:38:20 [16:38:20.193]
INFO:
ivc-integration:prove_wasm time to construct proving key: 47 ms. (mem: 907.06MiB)
16:38:20 [16:38:20.295]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
16:38:21 [16:38:21.515]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
16:38:21 [16:38:21.518]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 907.06MiB)
16:38:21 [16:38:21.993]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
16:38:22 [16:38:22.248]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
16:38:22 [16:38:22.526]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
16:38:22 [16:38:22.769]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
16:38:22 [16:38:22.770]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
16:38:22 [16:38:22.770]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 18581 (mem: 907.06MiB)
16:38:22 [16:38:22.772]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 907.06MiB)
16:38:22 [16:38:22.773]
INFO:
ivc-integration:prove_wasm Largest circuit: 48490 gates. Trace details: (mem: 907.06MiB)
16:38:22 [16:38:22.773]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 907.06MiB)
16:38:22 [16:38:22.774]
INFO:
ivc-integration:prove_wasm ecc_op : 792
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.774]
INFO:
ivc-integration:prove_wasm busread : 16
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.774]
INFO:
ivc-integration:prove_wasm lookup : 2
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.775]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.775]
INFO:
ivc-integration:prove_wasm arithmetic : 12080
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.776]
INFO:
ivc-integration:prove_wasm delta_range : 2942
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.777]
INFO:
ivc-integration:prove_wasm elliptic : 2
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.777]
INFO:
ivc-integration:prove_wasm aux : 350
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.778]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4942
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.778]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28160
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.779]
INFO:
ivc-integration:prove_wasm overflow : 0
16:38:22 (mem: 907.06MiB)
16:38:22 [16:38:22.779]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
16:38:22 [16:38:22.779]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 907.06MiB)
16:38:22 [16:38:22.946]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
16:38:23 [16:38:23.227]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
16:38:24 [16:38:24.272]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
16:38:24 [16:38:24.591]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
16:38:24 [16:38:24.592]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
16:38:24 [16:38:24.608]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 907.06MiB)
16:38:24 [16:38:24.782]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
16:38:24 [16:38:24.788]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
16:38:24 [16:38:24.808]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
16:38:24 [16:38:24.862]
INFO:
ivc-integration:prove_wasm time to construct proving key: 80 ms. (mem: 907.06MiB)
16:38:25 [16:38:25.982]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
16:38:27 [16:38:27.091]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 907.06MiB)
16:38:27 [16:38:27.120]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
16:38:27 [16:38:27.405]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
16:38:28 [16:38:28.224]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
16:38:28 [16:38:28.363]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
16:38:28 [16:38:28.364]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
16:38:28 [16:38:28.364]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 907.06MiB)
16:38:28 [16:38:28.499]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 907.06MiB)
16:38:31 [16:38:31.507]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
16:38:36 [16:38:36.313]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
16:38:40 [16:38:40.769]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 907.06MiB)
16:38:40 [16:38:40.769]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 907.06MiB)
16:38:44 [16:38:44.923]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
16:38:48 [16:38:48.001]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
16:38:50 [16:38:50.216]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
16:38:50 [16:38:50.217]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 907.06MiB)
16:38:50 [16:38:50.217]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 46029 (mem: 907.06MiB)
16:38:50 [16:38:50.223]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 907.06MiB)
16:38:50 [16:38:50.226]
INFO:
ivc-integration:prove_wasm time to serialize vk: 3 (mem: 907.06MiB)
16:38:50 [16:38:50.245]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
16:38:50 [16:38:50.313]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.313]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.313]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.314]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.537]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.537]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.538]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.538]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.622]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.622]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.623]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.623]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.623]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.634]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.647]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
16:38:50 [16:38:50.702]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.702]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.702]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.703]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.904]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.905]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.905]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.905]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.954]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.955]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.955]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.956]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.956]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
16:38:50 [16:38:50.956]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
16:38:51 [16:38:51.537]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
16:38:51
PASS src/wasm_client_ivc_integration.test.ts (
112.556 s)
16:38:51 Client IVC Integration
16:38:51
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (55405 ms)
16:38:51
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2176 ms)
16:38:51
✓ Should generate a verifiable client IVC proof from a complex mock tx (51312 ms)
16:38:51
16:38:51
Test Suites: 1 passed, 1 total
16:38:51
Tests: 3 passed, 3 total
16:38:51
Snapshots: 0 total
16:38:51
Time: 112.67 s
16:38:51
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
16:38:51
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?