Parent Log:
http://ci.aztec-labs.com/b09c2f8563deb099
Command: f49566f2a253bc96: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/e1613ca4b54a0ae509638dc4114780dd3cb0bc9b
Env: REF_NAME=gh-readonly-queue/next/pr-15239-282da3bd25d49b92970e6fc85f110092e8566299 CURRENT_VERSION=0.87.6 CI_FULL=0
Date: Tue Jun 24 15:11:03 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15239_arm64_a1-fast
Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
15:11:07 [15:11:07.379]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
15:11:07 [15:11:07.489]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12115448 bytes
15:11:07 [15:11:07.500]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-hCAPVu/ivc-inputs.msgpack
15:11:07 [15:11:07.501]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
15:11:07 [15:11:07.505]
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-hCAPVu --ivc_inputs_path /tmp/bb-client-ivc-integration-hCAPVu/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:11:07 [15:11:07.535]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
15:11:07 [15:11:07.538]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 292.79 MiB)
15:11:07 Scheme is: client_ivc, num threads: 64 (mem: 292.79 MiB)
15:11:07 --scheme: client_ivc (mem: 292.79 MiB)
15:11:07 --output_path: /tmp/bb-client-ivc-integration-hCAPVu (mem: 292.79 MiB)
15:11:07 --ivc_inputs_path: /tmp/bb-client-ivc-integration-hCAPVu/ivc-inputs.msgpack (mem: 292.79 MiB)
15:11:07 --verbose: true (mem: 292.79 MiB)
15:11:07 --write_vk: true (mem: 292.79 MiB)
15:11:07 BN254 commitment key size: 262144 (mem: 292.79 MiB)
15:11:07 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 292.79 MiB)
15:11:07 [15:11:07.582]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 292.79 MiB)
15:11:07 [15:11:07.583]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 292.79 MiB)
15:11:07 Constructing DeciderProvingKey (mem: 292.79 MiB)
15:11:07 [15:11:07.587]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 292.79 MiB)
15:11:07 goblin ecc op : 4/1024 (mem: 292.79 MiB)
15:11:07 busread : 7/6000 (mem: 292.79 MiB)
15:11:07 lookups : 2/15000 (mem: 292.79 MiB)
15:11:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 292.79 MiB)
15:11:07 arithmetic : 1760/56000 (mem: 292.79 MiB)
15:11:07 delta range : 1754/18000 (mem: 292.79 MiB)
15:11:07 elliptic : 2/6000 (mem: 292.79 MiB)
15:11:07 auxiliary : 26/26000 (mem: 292.79 MiB)
15:11:07 poseidon ext : 2/17000 (mem: 292.79 MiB)
15:11:07 poseidon int : 2/92000 (mem: 292.79 MiB)
15:11:07 overflow : 0/0 (mem: 292.79 MiB)
15:11:07 (mem: 292.79 MiB)
15:11:07 Total structured size: 242025 (mem: 292.79 MiB)
15:11:07 allocating polynomials object in proving key... (mem: 292.79 MiB)
15:11:07 [15:11:07.726]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 308.65 MiB)
15:11:07 [15:11:07.755]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 172 ms. (mem: 323.15 MiB)
15:11:07 [15:11:07.841]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
15:11:07 [15:11:07.851]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
15:11:07 [15:11:07.864]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xbcb6a1bc3440 (mem: 323.15 MiB)
15:11:07 computing oink proof... (mem: 323.15 MiB)
15:11:07 [15:11:07.864]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 323.15 MiB)
15:11:08 [15:11:08.263]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 333.15 MiB)
15:11:08 [15:11:08.268]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a
15:11:08 [15:11:08.270]
INFO:
ivc-integration:test:wasm bb - (mem: 333.65 MiB)
15:11:08 [15:11:08.284]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 334.15 MiB)
15:11:08 Constructing DeciderProvingKey (mem: 334.15 MiB)
15:11:08 [15:11:08.290]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 334.15 MiB)
15:11:08 goblin ecc op : 56/1024 (mem: 334.15 MiB)
15:11:08 busread : 12/6000 (mem: 334.15 MiB)
15:11:08 lookups : 2/15000 (mem: 334.15 MiB)
15:11:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 334.15 MiB)
15:11:08 arithmetic : 4676/56000 (mem: 334.15 MiB)
15:11:08 delta range : 2073/18000 (mem: 334.15 MiB)
15:11:08 elliptic : 2/6000 (mem: 334.15 MiB)
15:11:08 auxiliary : 110/26000 (mem: 334.15 MiB)
15:11:08 poseidon ext : 1322/17000 (mem: 334.15 MiB)
15:11:08 poseidon int : 7526/92000 (mem: 334.15 MiB)
15:11:08 overflow : 0/0 (mem: 334.15 MiB)
15:11:08 (mem: 334.15 MiB)
15:11:08 Total structured size: 242025 (mem: 334.15 MiB)
15:11:08 allocating polynomials object in proving key... (mem: 334.15 MiB)
15:11:08 [15:11:08.495]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 546.15 MiB)
15:11:08 [15:11:08.533]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 249 ms. (mem: 562.15 MiB)
15:11:08 [15:11:08.846]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xbcb6a1bbed80 (mem: 562.15 MiB)
15:11:08 computing folding proof (mem: 562.15 MiB)
15:11:08 [15:11:08.847]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 562.15 MiB)
15:11:09 [15:11:09.305]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
15:11:09 [15:11:09.309]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
15:11:09 [15:11:09.678]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 564.15 MiB)
15:11:09 perturbator round (mem: 601.15 MiB)
15:11:09 combiner quotient round (mem: 633.65 MiB)
15:11:10 [15:11:10.046]
INFO:
ivc-integration:test:wasm bb - folded (mem: 633.65 MiB)
15:11:10 constructed folding proof (mem: 633.65 MiB)
15:11:10 [15:11:10.051]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 633.65 MiB)
15:11:10 [15:11:10.092]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 633.65 MiB)
15:11:10 Constructing DeciderProvingKey (mem: 633.65 MiB)
15:11:10 [15:11:10.092]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 633.65 MiB)
15:11:10 goblin ecc op : 392/1024 (mem: 633.65 MiB)
15:11:10 busread : 3/6000 (mem: 633.65 MiB)
15:11:10 lookups : 2/15000 (mem: 633.65 MiB)
15:11:10 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 633.65 MiB)
15:11:10 arithmetic : 6912/56000 (mem: 633.65 MiB)
15:11:10 delta range : 2353/18000 (mem: 633.65 MiB)
15:11:10 elliptic : 2/6000 (mem: 633.65 MiB)
15:11:10 auxiliary : 50/26000 (mem: 633.65 MiB)
15:11:10 poseidon ext : 2492/17000 (mem: 633.65 MiB)
15:11:10 poseidon int : 14195/92000 (mem: 633.65 MiB)
15:11:10 overflow : 0/0 (mem: 633.65 MiB)
15:11:10 (mem: 633.65 MiB)
15:11:10 Total structured size: 242025 (mem: 633.65 MiB)
15:11:10 allocating polynomials object in proving key... (mem: 633.65 MiB)
15:11:10 [15:11:10.150]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
15:11:10 [15:11:10.177]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 633.65 MiB)
15:11:10 [15:11:10.194]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 103 ms. (mem: 633.65 MiB)
15:11:10 [15:11:10.203]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
15:11:10 [15:11:10.230]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:11:10 [15:11:10.230]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 194.06MiB)
15:11:10 [15:11:10.238]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
15:11:10 [15:11:10.239]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
15:11:10 [15:11:10.267]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
15:11:10 [15:11:10.268]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
15:11:10 [15:11:10.269]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
15:11:10 [15:11:10.269]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
15:11:10 [15:11:10.269]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
15:11:10 [15:11:10.269]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
15:11:10 [15:11:10.270]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
15:11:10 [15:11:10.270]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
15:11:10 [15:11:10.270]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
15:11:10 [15:11:10.273]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
15:11:10 [15:11:10.275]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
15:11:10 [15:11:10.279]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
15:11:10 [15:11:10.281]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
15:11:10 [15:11:10.281]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
15:11:10 [15:11:10.281]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
15:11:10 [15:11:10.325]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
15:11:10 [15:11:10.348]
INFO:
ivc-integration:prove_wasm time to construct proving key: 108 ms. (mem: 316.56MiB)
15:11:10 [15:11:10.363]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 316.56MiB)
15:11:10 [15:11:10.456]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xbcb6a1bd03c0 (mem: 633.65 MiB)
15:11:10 computing folding proof (mem: 633.65 MiB)
15:11:10 [15:11:10.461]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 633.65 MiB)
15:11:11 [15:11:11.006]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 633.65 MiB)
15:11:11 [15:11:11.043]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 316.56MiB)
15:11:11 [15:11:11.048]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 316.56MiB)
15:11:11 [15:11:11.072]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 633.65 MiB)
15:11:11 [15:11:11.127]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 643.14 MiB)
15:11:11 [15:11:11.433]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
15:11:11 [15:11:11.456]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
15:11:11 [15:11:11.481]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
15:11:11 [15:11:11.481]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
15:11:11 [15:11:11.490]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
15:11:11 [15:11:11.490]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
15:11:11 [15:11:11.490]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
15:11:11 [15:11:11.491]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
15:11:11 [15:11:11.491]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
15:11:11 [15:11:11.491]
INFO:
ivc-integration:prove_wasm arithmetic : 4676/56000 (mem: 317.94MiB)
15:11:11 [15:11:11.491]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
15:11:11 [15:11:11.492]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
15:11:11 [15:11:11.492]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
15:11:11 [15:11:11.492]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
15:11:11 [15:11:11.492]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
15:11:11 [15:11:11.492]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
15:11:11 [15:11:11.498]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
15:11:11 [15:11:11.498]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
15:11:11 [15:11:11.498]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
15:11:11 [15:11:11.557]
INFO:
ivc-integration:test:wasm bb - folded (mem: 643.14 MiB)
15:11:11 constructed folding proof (mem: 643.14 MiB)
15:11:11 Largest circuit: 26009 gates. Trace details: (mem: 643.14 MiB)
15:11:11 Minimum required block sizes for structured trace: (mem: 643.14 MiB)
15:11:11 (mem: 643.14 MiB)
15:11:11 prove decider... (mem: 643.14 MiB)
15:11:11 [15:11:11.557]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
15:11:11 busread : 12
15:11:11 lookup : 2
15:11:11 pub_inputs : 36
15:11:11 arithmetic : 6912
15:11:11 delta_range : 2353
15:11:11 elliptic : 2
15:11:11 aux : 110
15:11:11 poseidon2_external : 2492
15:11:11 poseidon2_internal : 14195
15:11:11 overflow : 0
15:11:11 [15:11:11.587]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.31MiB)
15:11:11 [15:11:11.627]
INFO:
ivc-integration:prove_wasm time to construct proving key: 147 ms. (mem: 555.19MiB)
15:11:11 [15:11:11.688]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.19MiB)
15:11:11 [15:11:11.727]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 643.14 MiB)
15:11:11 [15:11:11.984]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 643.14 MiB)
15:11:12 [15:11:12.850]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.19MiB)
15:11:12 [15:11:12.851]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 555.19MiB)
15:11:13 [15:11:13.380]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 643.14 MiB)
15:11:13 [15:11:13.573]
INFO:
ivc-integration:test:wasm bb - computed opening proof
15:11:13 [15:11:13.578]
INFO:
ivc-integration:test:wasm bb - (mem: 643.14 MiB)
15:11:13 finished decider proving. (mem: 643.14 MiB)
15:11:13 [15:11:13.584]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb
15:11:13 [15:11:13.585]
INFO:
ivc-integration:test:wasm bb - (mem:
15:11:13 [15:11:13.586]
INFO:
ivc-integration:test:wasm bb - 643.14
15:11:13 [15:11:13.586]
INFO:
ivc-integration:test:wasm bb - MiB)
15:11:13 [15:11:13.587]
INFO:
ivc-integration:test:wasm bb -
15:11:13 [15:11:13.701]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey
15:11:13 [15:11:13.702]
INFO:
ivc-integration:test:wasm bb - (mem:
15:11:13 [15:11:13.702]
INFO:
ivc-integration:test:wasm bb - 643.14
15:11:13 [15:11:13.703]
INFO:
ivc-integration:test:wasm bb - MiB)
15:11:13 [15:11:13.703]
INFO:
ivc-integration:test:wasm bb -
15:11:13 [15:11:13.707]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key...
15:11:13 [15:11:13.708]
INFO:
ivc-integration:test:wasm bb - (mem: 643.14 MiB)
15:11:13 [15:11:13.708]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.19MiB)
15:11:13 [15:11:13.784]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 643.14 MiB)
15:11:13 [15:11:13.804]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 100 ms. (mem: 643.14 MiB)
15:11:13 [15:11:13.968]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 582.63MiB)
15:11:14 [15:11:14.229]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 582.63MiB)
15:11:15 [15:11:15.047]
INFO:
ivc-integration:prove_wasm folded (mem: 582.63MiB)
15:11:15 [15:11:15.054]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 582.63MiB)
15:11:15 [15:11:15.071]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 582.63MiB)
15:11:15 [15:11:15.113]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 643.14 MiB)
15:11:15 [15:11:15.260]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 582.63MiB)
15:11:15 [15:11:15.262]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 582.63MiB)
15:11:15 [15:11:15.274]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 582.63MiB)
15:11:15 [15:11:15.274]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 582.63MiB)
15:11:15 [15:11:15.274]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 582.63MiB)
15:11:15 [15:11:15.275]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 582.63MiB)
15:11:15 [15:11:15.276]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 582.63MiB)
15:11:15 [15:11:15.282]
INFO:
ivc-integration:prove_wasm arithmetic : 6912/56000 (mem: 582.63MiB)
15:11:15 [15:11:15.282]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 582.63MiB)
15:11:15 [15:11:15.282]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 582.63MiB)
15:11:15 [15:11:15.283]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 582.63MiB)
15:11:15 [15:11:15.283]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 582.63MiB)
15:11:15 [15:11:15.283]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 582.63MiB)
15:11:15 [15:11:15.283]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 582.63MiB)
15:11:15 [15:11:15.283]
INFO:
ivc-integration:prove_wasm (mem: 582.63MiB)
15:11:15 [15:11:15.288]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 582.63MiB)
15:11:15 [15:11:15.288]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 582.63MiB)
15:11:15 [15:11:15.290]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 582.63MiB)
15:11:15 [15:11:15.355]
INFO:
ivc-integration:prove_wasm time to construct proving key: 84 ms. (mem: 582.63MiB)
15:11:15 [15:11:15.502]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 582.63MiB)
15:11:15 [15:11:15.811]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 643.14 MiB)
15:11:15 [15:11:15.962]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
15:11:15 [15:11:15.962]
INFO:
ivc-integration:test:wasm bb - (mem:
15:11:15 [15:11:15.963]
INFO:
ivc-integration:test:wasm bb - 643.14
15:11:15 [15:11:15.964]
INFO:
ivc-integration:test:wasm bb - MiB)
15:11:15 [15:11:15.964]
INFO:
ivc-integration:test:wasm bb -
15:11:16 [15:11:16.398]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 582.63MiB)
15:11:16 [15:11:16.398]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 582.63MiB)
15:11:16 [15:11:16.612]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 643.14 MiB)
15:11:17 [15:11:17.693]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 582.63MiB)
15:11:17 [15:11:17.828]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 643.14 MiB)
15:11:17 [15:11:17.930]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 643.14 MiB)
15:11:17 finished decider proving. (mem: 643.14 MiB)
15:11:17 Constructing a Goblin proof with num ultra ops = 1038 (mem: 643.14 MiB)
15:11:17 [15:11:17.953]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 590.56MiB)
15:11:18 [15:11:18.210]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 643.14 MiB)
15:11:18 [15:11:18.214]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 590.56MiB)
15:11:18 [15:11:18.415]
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: 643.14 MiB)
15:11:18 [15:11:18.420]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 65537
15:11:18 [15:11:18.420]
INFO:
ivc-integration:test:wasm bb - (mem:
15:11:18 [15:11:18.421]
INFO:
ivc-integration:test:wasm bb - 643.14
15:11:18 [15:11:18.421]
INFO:
ivc-integration:test:wasm bb - MiB)
15:11:18 [15:11:18.421]
INFO:
ivc-integration:test:wasm bb -
15:11:18 [15:11:18.995]
INFO:
ivc-integration:prove_wasm folded (mem: 590.56MiB)
15:11:18 [15:11:18.995]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 590.56MiB)
15:11:18 [15:11:18.996]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 8789 (mem: 590.56MiB)
15:11:18 [15:11:18.996]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 590.56MiB)
15:11:18 [15:11:18.997]
INFO:
ivc-integration:prove_wasm Largest circuit: 26009 gates. Trace details: (mem: 590.56MiB)
15:11:18 [15:11:18.998]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 590.56MiB)
15:11:19 [15:11:18.999]
INFO:
ivc-integration:prove_wasm ecc_op : 392
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.003]
INFO:
ivc-integration:prove_wasm busread : 12
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.003]
INFO:
ivc-integration:prove_wasm lookup : 2
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.003]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.004]
INFO:
ivc-integration:prove_wasm arithmetic : 6912
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.004]
INFO:
ivc-integration:prove_wasm delta_range : 2353
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.004]
INFO:
ivc-integration:prove_wasm elliptic : 2
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.004]
INFO:
ivc-integration:prove_wasm aux : 110
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.005]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.005]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.005]
INFO:
ivc-integration:prove_wasm overflow : 0
15:11:19 (mem: 590.56MiB)
15:11:19 [15:11:19.005]
INFO:
ivc-integration:prove_wasm (mem: 590.56MiB)
15:11:19 [15:11:19.010]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 590.56MiB)
15:11:19 [15:11:19.166]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:11:19 [15:11:19.626]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
15:11:20 [15:11:20.544]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
15:11:20 [15:11:20.545]
INFO:
ivc-integration:test:wasm bb - (mem: 643.14 MiB)
15:11:22 [15:11:22.239]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
15:11:22 [15:11:22.484]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 643.14 MiB)
15:11:22 [15:11:22.842]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
15:11:22 [15:11:22.842]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
15:11:22 [15:11:22.881]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 590.56MiB)
15:11:23 [15:11:23.094]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 590.56MiB)
15:11:23 [15:11:23.103]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 590.56MiB)
15:11:23 [15:11:23.107]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 590.56MiB)
15:11:23 [15:11:23.162]
INFO:
ivc-integration:prove_wasm time to construct proving key: 66 ms. (mem: 590.56MiB)
15:11:24 [15:11:24.897]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 590.56MiB)
15:11:25 [15:11:25.979]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 590.56MiB)
15:11:26 [15:11:26.018]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:11:26 [15:11:26.394]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
15:11:27 [15:11:27.752]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
15:11:27 [15:11:27.832]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving.
15:11:27 [15:11:27.833]
INFO:
ivc-integration:test:wasm bb - (mem:
15:11:27 [15:11:27.833]
INFO:
ivc-integration:test:wasm bb - 643.14
15:11:27 [15:11:27.833]
INFO:
ivc-integration:test:wasm bb - MiB)
15:11:27 [15:11:27.834]
INFO:
ivc-integration:test:wasm bb -
15:11:27 [15:11:27.834]
INFO:
ivc-integration:test:wasm bb - prove translator...
15:11:27 [15:11:27.834]
INFO:
ivc-integration:test:wasm bb - (mem:
15:11:27 [15:11:27.835]
INFO:
ivc-integration:test:wasm bb - 643.14
15:11:27 [15:11:27.835]
INFO:
ivc-integration:test:wasm bb - MiB)
15:11:27 [15:11:27.985]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
15:11:27 [15:11:27.987]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
15:11:27 [15:11:27.987]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 590.56MiB)
15:11:28 [15:11:28.125]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 590.56MiB)
15:11:29 [15:11:29.975]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 663.04 MiB)
15:11:31 [15:11:31.163]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:11:31 [15:11:31.790]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 663.04 MiB)
15:11:34 [15:11:34.414]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 663.04 MiB)
15:11:34 finished translator proving. (mem: 663.04 MiB)
15:11:34 vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 663.04 MiB)
15:11:34 [15:11:34.425]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 663.04 MiB)
15:11:34 libra_evals_verified: 1 (mem: 663.04 MiB)
15:11:34 pairing_check_verified: 1 (mem: 663.04 MiB)
15:11:34 Mega verified: 1 (mem: 663.04 MiB)
15:11:34 [15:11:34.543]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 663.54 MiB)
15:11:34 batch opening verified?: 1 (mem: 663.54 MiB)
15:11:34 eccvm consistency check verified?: 1 (mem: 663.54 MiB)
15:11:34 translation masking consistency checked?: 1 (mem:
15:11:34 [15:11:34.544]
INFO:
ivc-integration:test:wasm bb - 663.54 MiB)
15:11:34 [15:11:34.584]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 663.54 MiB)
15:11:34 eccvm verified?: 1 (mem: 663.54 MiB)
15:11:34 accumulator construction_verified?: 1 (mem: 663.54 MiB)
15:11:34 translation verified?: 1 (mem: 663.54 MiB)
15:11:34 consistency verified?: 1 (mem: 663.54 MiB)
15:11:34 Goblin verified: 1 (mem: 663.54 MiB)
15:11:34 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-hCAPVu" (mem: 663.54 MiB)
15:11:34 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-hCAPVu" (mem: 663.54 MiB)
15:11:34 BN254 commitment key size: 262144 (mem: 663.54 MiB)
15:11:34 Constructing DeciderProvingKey (mem: 663.54 MiB)
15:11:34 [15:11:34.590]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 663.54 MiB)
15:11:34 goblin ecc op : 4/1024 (mem: 663.54 MiB)
15:11:34 busread : 3/6000 (mem: 663.54 MiB)
15:11:34 lookups : 2/15000 (mem: 663.54 MiB)
15:11:34 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 663.54 MiB)
15:11:34 arithmetic : 1773/56000 (mem: 663.54 MiB)
15:11:34 delta range : 1754/18000 (mem: 663.54 MiB)
15:11:34 elliptic : 2/6000 (mem: 663.54 MiB)
15:11:34 auxiliary : 26/26000 (mem: 663.54 MiB)
15:11:34 poseidon ext : 2/17000 (mem: 663.54 MiB)
15:11:34 poseidon int : 2/92000 (mem: 663.54 MiB)
15:11:34 overflow : 0/0 (mem: 663.54 MiB)
15:11:34 (mem: 663.54 MiB)
15:11:34 Total structured size: 242025 (mem: 663.54 MiB)
15:11:34 allocating polynomials object in proving key... (mem: 663.54 MiB)
15:11:34 [15:11:34.658]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 663.54 MiB)
15:11:34 [15:11:34.680]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 97 ms. (mem: 663.54 MiB)
15:11:34 [15:11:34.754]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0
15:11:34 [15:11:34.757]
INFO:
ivc-integration:test:wasm bb - (mem: 663.54 MiB)
15:11:34 [15:11:34.760]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
15:11:35 [15:11:35.118]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 663.54 MiB)
15:11:35 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 663.54 MiB)
15:11:35 [15:11:35.375]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 664.04 MiB)
15:11:35 [15:11:35.379]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 664.04 MiB)
15:11:35 [15:11:35.387]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 664.04 MiB)
15:11:35 [15:11:35.389]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 664.04 MiB)
15:11:35 goblin ecc op : 56/1024 (mem:
15:11:35 [15:11:35.389]
INFO:
ivc-integration:test:wasm bb - 664.04 MiB)
15:11:35 busread : 3/6000 (mem: 664.04 MiB)
15:11:35 lookups : 2/15000 (mem: 664.04 MiB)
15:11:35 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 664.04 MiB)
15:11:35 arithmetic : 4532/56000 (mem: 664.04 MiB)
15:11:35 delta range : 2060/18000 (mem: 664.04 MiB)
15:11:35 elliptic : 2/6000 (mem: 664.04 MiB)
15:11:35 auxiliary : 50/26000 (mem: 664.04 MiB)
15:11:35 poseidon ext : 1332/17000 (mem: 664.04 MiB)
15:11:35 poseidon int : 7583/92000 (mem: 664.04 MiB)
15:11:35 overflow : 0/0 (mem: 664.04 MiB)
15:11:35 (mem: 664.04 MiB)
15:11:35 Total structured size: 242025 (mem: 664.04 MiB)
15:11:35 allocating polynomials object in proving key... (mem: 664.04 MiB)
15:11:35 [15:11:35.466]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 664.04 MiB)
15:11:35 [15:11:35.484]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 94 ms. (mem: 664.04 MiB)
15:11:35 [15:11:35.636]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 664.04 MiB)
15:11:36 [15:11:36.222]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 665.04 MiB)
15:11:36 [15:11:36.225]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 665.04 MiB)
15:11:36 [15:11:36.638]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 665.04 MiB)
15:11:36 [15:11:36.738]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 665.04 MiB)
15:11:36 [15:11:36.806]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 697.04 MiB)
15:11:37 [15:11:37.144]
INFO:
ivc-integration:test:wasm bb - folded (mem: 697.04 MiB)
15:11:37 constructed folding proof (mem: 697.04 MiB)
15:11:37 [15:11:37.144]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 15564 gates. Trace details: (mem: 697.04 MiB)
15:11:37 Minimum required block sizes for structured trace: (mem: 697.04 MiB)
15:11:37 (mem: 697.04 MiB)
15:11:37 prove decider... (mem: 697.04 MiB)
15:11:37 [15:11:37.145]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
15:11:37 busread : 3
15:11:37 lookup : 2
15:11:37 pub_inputs : 36
15:11:37 arithmetic : 4532
15:11:37 delta_range : 2060
15:11:37 elliptic : 2
15:11:37 aux : 50
15:11:37 poseidon2_external : 1332
15:11:37 poseidon2_internal : 7583
15:11:37 overflow : 0
15:11:37 [15:11:37.341]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 697.04 MiB)
15:11:37 [15:11:37.578]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck
15:11:37 [15:11:37.579]
INFO:
ivc-integration:test:wasm bb - (mem:
15:11:37 [15:11:37.579]
INFO:
ivc-integration:test:wasm bb - 697.04
15:11:37 [15:11:37.579]
INFO:
ivc-integration:test:wasm bb - MiB)
15:11:37 [15:11:37.581]
INFO:
ivc-integration:test:wasm bb -
15:11:38 [15:11:38.751]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction
15:11:38 [15:11:38.756]
INFO:
ivc-integration:test:wasm bb - (mem: 697.04 MiB)
15:11:38 [15:11:38.908]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 697.04 MiB)
15:11:38 finished decider proving. (mem: 697.04 MiB)
15:11:38 [15:11:38.918]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 697.04 MiB)
15:11:38 [15:11:38.989]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey
15:11:38 [15:11:38.990]
INFO:
ivc-integration:test:wasm bb - (mem:
15:11:38 [15:11:38.990]
INFO:
ivc-integration:test:wasm bb - 697.04
15:11:38 [15:11:38.992]
INFO:
ivc-integration:test:wasm bb - MiB)
15:11:38 [15:11:38.994]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key...
15:11:38 [15:11:38.995]
INFO:
ivc-integration:test:wasm bb - (mem: 697.04 MiB)
15:11:39 [15:11:39.096]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 697.04 MiB)
15:11:39 [15:11:39.133]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 142 ms.
15:11:39 [15:11:39.138]
INFO:
ivc-integration:test:wasm bb - (mem: 697.04 MiB)
15:11:41 [15:11:41.519]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 590.56MiB)
15:11:41 [15:11:41.519]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 590.56MiB)
15:11:43 [15:11:43.118]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
15:11:46 [15:11:46.067]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
15:11:48 [15:11:48.510]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
15:11:48 [15:11:48.511]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 590.56MiB)
15:11:48 [15:11:48.512]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 38304 (mem: 590.56MiB)
15:11:48 [15:11:48.517]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 590.56MiB)
15:11:48 [15:11:48.521]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.531]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 590.56MiB)
15:11:48 [15:11:48.575]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.576]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.576]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.576]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.765]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.766]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.766]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.766]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.829]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.830]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.831]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.831]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.831]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 590.56MiB)
15:11:48 [15:11:48.831]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 590.56MiB)
15:11:49 [15:11:49.399]
INFO:
ivc-integration:test:wasm BB concurrency: 1
15:11:49 [15:11:49.400]
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-hCAPVu/proof -k /tmp/bb-client-ivc-integration-hCAPVu/vk -v
15:11:49 [15:11:49.449]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 924.53 MiB)
15:11:49 Scheme is: client_ivc, num threads: 1 (mem: 924.53 MiB)
15:11:49 --proof_path: /tmp/bb-client-ivc-integration-hCAPVu/proof (mem: 924.53 MiB)
15:11:49 --vk_path: /tmp/bb-client-ivc-integration-hCAPVu/vk (mem: 924.53 MiB)
15:11:49 --verbose: true (mem: 924.53 MiB)
15:11:49 --scheme: client_ivc (mem: 924.53 MiB)
15:11:49 [15:11:49.450]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 924.53 MiB)
15:11:49 [15:11:49.466]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 924.53 MiB)
15:11:49 [15:11:49.467]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 924.53 MiB)
15:11:49 [15:11:49.484]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 924.53 MiB)
15:11:49 [15:11:49.485]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1 (mem: 924.53 MiB)
15:11:49 [15:11:49.486]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 924.53 MiB)
15:11:49 libra_evals_verified: 1 (mem: 924.53 MiB)
15:11:49 pairing_check_verified: 1 (mem: 924.53 MiB)
15:11:49 Mega verified: 1 (mem: 924.53 MiB)
15:11:50 [15:11:50.024]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 924.53 MiB)
15:11:50 batch opening verified?: 1 (mem: 924.53 MiB)
15:11:50 eccvm consistency check verified?: 1 (mem: 924.53 MiB)
15:11:50 translation masking consistency checked?: 1 (mem: 924.53 MiB)
15:11:50 [15:11:50.040]
INFO:
ivc-integration:test:wasm merge verified?: 1
15:11:50 [15:11:50.041]
INFO:
ivc-integration:test:wasm (mem: 924.53 MiB)
15:11:50 eccvm verified?: 1 (mem: 924.53 MiB)
15:11:50 accumulator construction_verified?: 1 (mem: 924.53 MiB)
15:11:50 translation verified?: 1 (mem: 924.53 MiB)
15:11:50 consistency verified?: 1 (mem:
15:11:50 [15:11:50.041]
INFO:
ivc-integration:test:wasm 924.53 MiB)
15:11:50 Goblin verified: 1 (mem: 924.53 MiB)
15:11:50 verified: 1 (mem: 924.53 MiB)
15:11:50 [15:11:50.051]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
15:11:50 [15:11:50.227]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12115448 bytes
15:11:50 [15:11:50.272]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
15:11:50 [15:11:50.499]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
15:11:50 [15:11:50.504]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
15:11:50 [15:11:50.504]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
15:11:50 [15:11:50.958]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
15:11:51 [15:11:51.002]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
15:11:51 [15:11:51.008]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:11:51 [15:11:51.018]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:11:51 [15:11:51.027]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 194.06MiB)
15:11:51 [15:11:51.053]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:11:51 [15:11:51.062]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 194.06MiB)
15:11:51 [15:11:51.210]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15723,"2":26009}
15:11:51 [15:11:51.315]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
15:11:51 [15:11:51.426]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12115448 bytes
15:11:51 [15:11:51.449]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
15:11:51 [15:11:51.753]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
15:11:51 [15:11:51.764]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
15:11:52 [15:11:52.545]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
15:11:52 [15:11:52.548]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
15:11:53 [15:11:53.129]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
15:11:53 [15:11:53.159]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
15:11:53 [15:11:53.172]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
15:11:53 [15:11:53.172]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 194.06MiB)
15:11:53 [15:11:53.174]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
15:11:53 [15:11:53.175]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
15:11:53 [15:11:53.179]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
15:11:53 [15:11:53.180]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
15:11:53 [15:11:53.180]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
15:11:53 [15:11:53.180]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
15:11:53 [15:11:53.181]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
15:11:53 [15:11:53.181]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
15:11:53 [15:11:53.181]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
15:11:53 [15:11:53.181]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
15:11:53 [15:11:53.182]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
15:11:53 [15:11:53.182]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
15:11:53 [15:11:53.182]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
15:11:53 [15:11:53.182]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
15:11:53 [15:11:53.183]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
15:11:53 [15:11:53.183]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
15:11:53 [15:11:53.184]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
15:11:53 [15:11:53.214]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
15:11:53 [15:11:53.223]
INFO:
ivc-integration:prove_wasm time to construct proving key: 49 ms. (mem: 317.06MiB)
15:11:53 [15:11:53.232]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 317.06MiB)
15:11:53 [15:11:53.437]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 317.06MiB)
15:11:53 [15:11:53.438]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.06MiB)
15:11:53 [15:11:53.574]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
15:11:53 [15:11:53.584]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
15:11:53 [15:11:53.600]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
15:11:53 [15:11:53.600]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
15:11:53 [15:11:53.604]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
15:11:53 [15:11:53.605]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
15:11:53 [15:11:53.605]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
15:11:53 [15:11:53.609]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
15:11:53 [15:11:53.613]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
15:11:53 [15:11:53.614]
INFO:
ivc-integration:prove_wasm arithmetic : 4676/56000 (mem: 317.94MiB)
15:11:53 [15:11:53.617]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
15:11:53 [15:11:53.618]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
15:11:53 [15:11:53.618]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
15:11:53 [15:11:53.618]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
15:11:53 [15:11:53.618]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
15:11:53 [15:11:53.619]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
15:11:53 [15:11:53.619]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
15:11:53 [15:11:53.619]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
15:11:53 [15:11:53.620]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
15:11:53 [15:11:53.646]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.44MiB)
15:11:53 [15:11:53.661]
INFO:
ivc-integration:prove_wasm time to construct proving key: 60 ms. (mem: 555.63MiB)
15:11:53 [15:11:53.680]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.63MiB)
15:11:54 [15:11:54.096]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.63MiB)
15:11:54 [15:11:54.098]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 555.63MiB)
15:11:54 [15:11:54.434]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.63MiB)
15:11:54 [15:11:54.583]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
15:11:54 [15:11:54.715]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
15:11:54 [15:11:54.895]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
15:11:54 [15:11:54.895]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
15:11:54 [15:11:54.898]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 583.13MiB)
15:11:54 [15:11:54.898]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
15:11:54 [15:11:54.904]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
15:11:54 [15:11:54.904]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 583.13MiB)
15:11:54 [15:11:54.904]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 583.13MiB)
15:11:54 [15:11:54.905]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
15:11:54 [15:11:54.905]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 583.13MiB)
15:11:54 [15:11:54.905]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 583.13MiB)
15:11:54 [15:11:54.906]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 583.13MiB)
15:11:54 [15:11:54.906]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
15:11:54 [15:11:54.906]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 583.13MiB)
15:11:54 [15:11:54.906]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 583.13MiB)
15:11:54 [15:11:54.908]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 583.13MiB)
15:11:54 [15:11:54.908]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
15:11:54 [15:11:54.908]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
15:11:54 [15:11:54.909]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
15:11:54 [15:11:54.909]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
15:11:54 [15:11:54.911]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
15:11:54 [15:11:54.917]
INFO:
ivc-integration:prove_wasm time to construct proving key: 19 ms. (mem: 583.13MiB)
15:11:54 [15:11:54.936]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 583.13MiB)
15:11:55 [15:11:55.169]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 583.13MiB)
15:11:55 [15:11:55.170]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
15:11:55 [15:11:55.297]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 583.13MiB)
15:11:55 [15:11:55.440]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
15:11:55 [15:11:55.640]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
15:11:55 [15:11:55.816]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
15:11:55 [15:11:55.816]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
15:11:55 [15:11:55.826]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 583.13MiB)
15:11:55 [15:11:55.911]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
15:11:56 [15:11:55.996]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 583.13MiB)
15:11:56 [15:11:55.996]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
15:11:56 [15:11:56.002]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
15:11:56 [15:11:56.003]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 583.13MiB)
15:11:56 [15:11:56.004]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 583.13MiB)
15:11:56 [15:11:56.005]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
15:11:56 [15:11:56.005]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 583.13MiB)
15:11:56 [15:11:56.005]
INFO:
ivc-integration:prove_wasm arithmetic : 12206/56000 (mem: 583.13MiB)
15:11:56 [15:11:56.005]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 583.13MiB)
15:11:56 [15:11:56.006]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
15:11:56 [15:11:56.006]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 583.13MiB)
15:11:56 [15:11:56.006]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 583.13MiB)
15:11:56 [15:11:56.009]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 583.13MiB)
15:11:56 [15:11:56.010]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
15:11:56 [15:11:56.010]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
15:11:56 [15:11:56.011]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
15:11:56 [15:11:56.011]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
15:11:56 [15:11:56.021]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
15:11:56 [15:11:56.073]
INFO:
ivc-integration:prove_wasm time to construct proving key: 75 ms. (mem: 586.25MiB)
15:11:56 [15:11:56.158]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 586.25MiB)
15:11:56 [15:11:56.523]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 586.25MiB)
15:11:56 [15:11:56.525]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 586.25MiB)
15:11:57 [15:11:57.090]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 586.25MiB)
15:11:57 [15:11:57.249]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
15:11:57 [15:11:57.446]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 642.00MiB)
15:11:57 [15:11:57.624]
INFO:
ivc-integration:prove_wasm folded (mem: 642.00MiB)
15:11:57 [15:11:57.624]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 642.00MiB)
15:11:57 [15:11:57.634]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 642.00MiB)
15:11:57 [15:11:57.710]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 642.00MiB)
15:11:57 [15:11:57.711]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 642.00MiB)
15:11:57 [15:11:57.717]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 642.00MiB)
15:11:57 [15:11:57.721]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 642.00MiB)
15:11:57 [15:11:57.721]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 642.00MiB)
15:11:57 [15:11:57.722]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 642.00MiB)
15:11:57 [15:11:57.722]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 642.00MiB)
15:11:57 [15:11:57.722]
INFO:
ivc-integration:prove_wasm arithmetic : 6977/56000 (mem: 642.00MiB)
15:11:57 [15:11:57.722]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 642.00MiB)
15:11:57 [15:11:57.722]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 642.00MiB)
15:11:57 [15:11:57.723]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 642.00MiB)
15:11:57 [15:11:57.723]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 642.00MiB)
15:11:57 [15:11:57.723]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 642.00MiB)
15:11:57 [15:11:57.723]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 642.00MiB)
15:11:57 [15:11:57.723]
INFO:
ivc-integration:prove_wasm (mem: 642.00MiB)
15:11:57 [15:11:57.728]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 642.00MiB)
15:11:57 [15:11:57.730]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 642.00MiB)
15:11:57 [15:11:57.733]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 642.00MiB)
15:11:57 [15:11:57.756]
INFO:
ivc-integration:prove_wasm time to construct proving key: 44 ms. (mem: 642.00MiB)
15:11:57 [15:11:57.828]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 642.00MiB)
15:11:58 [15:11:58.137]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 642.00MiB)
15:11:58 [15:11:58.139]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 642.00MiB)
15:11:58 [15:11:58.428]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 642.00MiB)
15:11:58 [15:11:58.602]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 642.00MiB)
15:11:58 [15:11:58.805]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 642.00MiB)
15:11:58 [15:11:58.923]
INFO:
ivc-integration:prove_wasm folded (mem: 642.00MiB)
15:11:58 [15:11:58.924]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 642.00MiB)
15:11:58 [15:11:58.932]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 642.00MiB)
15:11:59 [15:11:59.012]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 642.00MiB)
15:11:59 [15:11:59.012]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 642.00MiB)
15:11:59 [15:11:59.016]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 642.00MiB)
15:11:59 [15:11:59.016]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 642.00MiB)
15:11:59 [15:11:59.017]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 642.00MiB)
15:11:59 [15:11:59.017]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 642.00MiB)
15:11:59 [15:11:59.017]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 642.00MiB)
15:11:59 [15:11:59.018]
INFO:
ivc-integration:prove_wasm arithmetic : 6912/56000 (mem: 642.00MiB)
15:11:59 [15:11:59.018]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 642.00MiB)
15:11:59 [15:11:59.018]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 642.00MiB)
15:11:59 [15:11:59.018]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 642.00MiB)
15:11:59 [15:11:59.019]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 642.00MiB)
15:11:59 [15:11:59.019]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 642.00MiB)
15:11:59 [15:11:59.019]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 642.00MiB)
15:11:59 [15:11:59.019]
INFO:
ivc-integration:prove_wasm (mem: 642.00MiB)
15:11:59 [15:11:59.020]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 642.00MiB)
15:11:59 [15:11:59.020]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 642.00MiB)
15:11:59 [15:11:59.028]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 642.00MiB)
15:11:59 [15:11:59.044]
INFO:
ivc-integration:prove_wasm time to construct proving key: 32 ms. (mem: 642.00MiB)
15:11:59 [15:11:59.098]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 642.00MiB)
15:11:59 [15:11:59.311]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 642.00MiB)
15:11:59 [15:11:59.313]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 642.00MiB)
15:11:59 [15:11:59.576]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 642.00MiB)
15:11:59 [15:11:59.748]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 642.00MiB)
15:11:59 [15:11:59.972]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 642.00MiB)
15:12:00 [15:12:00.127]
INFO:
ivc-integration:prove_wasm folded (mem: 642.00MiB)
15:12:00 [15:12:00.128]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 642.00MiB)
15:12:00 [15:12:00.128]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 6967 (mem: 642.00MiB)
15:12:00 [15:12:00.129]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 642.00MiB)
15:12:00 [15:12:00.129]
INFO:
ivc-integration:prove_wasm Largest circuit: 48923 gates. Trace details: (mem: 642.00MiB)
15:12:00 [15:12:00.129]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 642.00MiB)
15:12:00 [15:12:00.129]
INFO:
ivc-integration:prove_wasm ecc_op : 792
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.130]
INFO:
ivc-integration:prove_wasm busread : 16
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.130]
INFO:
ivc-integration:prove_wasm lookup : 2
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.130]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.130]
INFO:
ivc-integration:prove_wasm arithmetic : 12206
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.130]
INFO:
ivc-integration:prove_wasm delta_range : 2981
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.131]
INFO:
ivc-integration:prove_wasm elliptic : 2
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.131]
INFO:
ivc-integration:prove_wasm aux : 350
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.131]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.131]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.132]
INFO:
ivc-integration:prove_wasm overflow : 0
15:12:00 (mem: 642.00MiB)
15:12:00 [15:12:00.132]
INFO:
ivc-integration:prove_wasm (mem: 642.00MiB)
15:12:00 [15:12:00.132]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 642.00MiB)
15:12:00 [15:12:00.216]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
15:12:00 [15:12:00.384]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 642.00MiB)
15:12:01 [15:12:01.069]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 642.00MiB)
15:12:01 [15:12:01.272]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 642.00MiB)
15:12:01 [15:12:01.273]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 642.00MiB)
15:12:01 [15:12:01.287]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 642.00MiB)
15:12:01 [15:12:01.411]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 642.00MiB)
15:12:01 [15:12:01.417]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 642.00MiB)
15:12:01 [15:12:01.430]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 642.00MiB)
15:12:01 [15:12:01.458]
INFO:
ivc-integration:prove_wasm time to construct proving key: 47 ms. (mem: 642.00MiB)
15:12:01 [15:12:01.915]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 642.00MiB)
15:12:02 [15:12:02.247]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 642.00MiB)
15:12:02 [15:12:02.263]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
15:12:02 [15:12:02.420]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 642.00MiB)
15:12:02 [15:12:02.866]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 642.00MiB)
15:12:02 [15:12:02.950]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 642.00MiB)
15:12:02 [15:12:02.951]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 642.00MiB)
15:12:02 [15:12:02.951]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 642.00MiB)
15:12:03 [15:12:03.013]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 642.00MiB)
15:12:04 [15:12:04.423]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
15:12:06 [15:12:06.649]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 642.00MiB)
15:12:08 [15:12:08.534]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 642.00MiB)
15:12:08 [15:12:08.534]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 642.00MiB)
15:12:09 [15:12:09.376]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 642.00MiB)
15:12:12 [15:12:12.135]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 642.00MiB)
15:12:13 [15:12:13.685]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 642.00MiB)
15:12:13 [15:12:13.686]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 642.00MiB)
15:12:13 [15:12:13.686]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 20524 (mem: 642.00MiB)
15:12:13 [15:12:13.688]
INFO:
ivc-integration:prove_wasm time to serialize proof: 2 (mem: 642.00MiB)
15:12:13 [15:12:13.689]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.701]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 642.00MiB)
15:12:13 [15:12:13.732]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.733]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.733]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.734]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.849]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.849]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.849]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.850]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.887]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.888]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.888]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.888]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.889]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.889]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.895]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 642.00MiB)
15:12:13 [15:12:13.927]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.927]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.927]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 642.00MiB)
15:12:13 [15:12:13.928]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.046]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.046]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.047]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.047]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.084]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.085]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.085]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.086]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.086]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.086]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 642.00MiB)
15:12:14 [15:12:14.552]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
15:12:14
PASS src/wasm_client_ivc_integration.test.ts (
70.013 s)
15:12:14 Client IVC Integration
15:12:14
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (42994 ms)
15:12:14
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1165 ms)
15:12:14
✓ Should generate a verifiable client IVC proof from a complex mock tx (23338 ms)
15:12:14
15:12:14
Test Suites: 1 passed, 1 total
15:12:14
Tests: 3 passed, 3 total
15:12:14
Snapshots: 0 total
15:12:14
Time: 70.087 s
15:12:14
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
15:12:14
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?