Parent Log:
http://ci.aztec-labs.com/f27583dcca804169
Command: 582720422b3f4dff: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/505a3c071181dbc5242dc8b655a9b2d69988c8db
Env: REF_NAME=gh-readonly-queue/staging/pr-15211-e8f6c3b7e3e0e72a33e118ddf8e67d11e51464a8 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 12:36:53 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15211_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_staging
12:36:57 [12:36:57.558]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
12:36:57 [12:36:57.565]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-7X1vy1/ivc-inputs.msgpack
12:36:57 [12:36:57.566]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
12:36:57 [12:36:57.566]
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-7X1vy1 --ivc_inputs_path /tmp/bb-client-ivc-integration-7X1vy1/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
12:36:57 [12:36:57.735]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12113510 bytes
12:36:57 [12:36:57.750]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 183.61 MiB)
12:36:57 Scheme is: client_ivc, num threads: 128 (mem: 183.61 MiB)
12:36:57 --scheme: client_ivc (mem: 183.61 MiB)
12:36:57 --output_path: /tmp/bb-client-ivc-integration-7X1vy1 (mem: 183.61 MiB)
12:36:57 --ivc_inputs_path: /tmp/bb-client-ivc-integration-7X1vy1/ivc-inputs.msgpack (mem: 183.61 MiB)
12:36:57 --verbose: true (mem: 183.61 MiB)
12:36:57 --write_vk: true (mem: 183.61 MiB)
12:36:57 BN254 commitment key size: 262144 (mem: 183.61 MiB)
12:36:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.61 MiB)
12:36:57 Initialized BN254 CRS from memory with num points = 262145 (mem: 183.61 MiB)
12:36:57 ClientIVC: accumulating unknown_0 (mem: 183.61 MiB)
12:36:57 Constructing DeciderProvingKey (mem: 183.61 MiB)
12:36:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 183.61 MiB)
12:36:57 goblin ecc op : 4/1024 (mem: 183.61 MiB)
12:36:57 busread : 7/6000 (mem: 183.61 MiB)
12:36:57 lookups : 2/15000 (mem: 183.61 MiB)
12:36:57 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 183.61 MiB)
12:36:57 arithmetic : 1760/56000 (mem: 183.61 MiB)
12:36:57 delta range : 1754/18000 (mem: 183.61 MiB)
12:36:57 elliptic : 2/6000 (mem: 183.61 MiB)
12:36:57 auxiliary : 26/26000 (mem: 183.61 MiB)
12:36:57 poseidon ext : 2/17000 (mem: 183.61 MiB)
12:36:57 poseidon int : 2/92000 (mem: 183.61 MiB)
12:36:57 overflow : 0/0 (mem: 183.61 MiB)
12:36:57 (mem: 183.61 MiB)
12:36:57 Total structured size: 242025 (mem: 183.61 MiB)
12:36:57 allocating polynomials object in proving key... (mem: 183.61 MiB)
12:36:57 [12:36:57.769]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
12:36:57 [12:36:57.826]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 350.13 MiB)
12:36:57 [12:36:57.843]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 185 ms. (mem: 359.13 MiB)
12:36:57 [12:36:57.923]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5f03c02bf200 (mem: 359.13 MiB)
12:36:57 computing oink proof... (mem: 359.13 MiB)
12:36:57 [12:36:57.924]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 359.13 MiB)
12:36:58 [12:36:58.067]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 372.13 MiB)
12:36:58 [12:36:58.080]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 373.13 MiB)
12:36:58 [12:36:58.091]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 373.13 MiB)
12:36:58 Constructing DeciderProvingKey (mem: 373.13 MiB)
12:36:58 [12:36:58.094]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 373.13 MiB)
12:36:58 goblin ecc op : 56/1024 (mem: 373.13 MiB)
12:36:58 busread : 12/6000 (mem: 373.13 MiB)
12:36:58 lookups : 2/15000 (mem: 373.13 MiB)
12:36:58 [12:36:58.095]
INFO:
ivc-integration:test:wasm bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 373.13 MiB)
12:36:58 arithmetic : 4677/56000 (mem: 373.13 MiB)
12:36:58 delta range : 2073/18000 (mem: 373.13 MiB)
12:36:58 elliptic : 2/6000 (mem: 373.13 MiB)
12:36:58 auxiliary : 110/26000 (mem: 373.13 MiB)
12:36:58 poseidon ext : 1322/17000 (mem: 373.13 MiB)
12:36:58 poseidon int : 7526/92000 (mem: 373.13 MiB)
12:36:58 overflow : 0/0 (mem: 373.13 MiB)
12:36:58 (mem: 373.13 MiB)
12:36:58 Total structured size: 242025 (mem: 373.13 MiB)
12:36:58 allocating polynomials object in proving key... (mem: 373.13 MiB)
12:36:58 [12:36:58.112]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
12:36:58 [12:36:58.120]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
12:36:58 [12:36:58.253]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 571.13 MiB)
12:36:58 [12:36:58.277]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 185 ms. (mem: 584.13 MiB)
12:36:58 [12:36:58.389]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5f03c02cbe40 (mem: 584.13 MiB)
12:36:58 computing folding proof (mem: 584.13 MiB)
12:36:58 [12:36:58.390]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 584.13 MiB)
12:36:58 [12:36:58.736]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 588.13 MiB)
12:36:58 [12:36:58.847]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 624.13 MiB)
12:36:58 [12:36:58.889]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 656.13 MiB)
12:36:59 [12:36:59.151]
INFO:
ivc-integration:test:wasm bb - folded (mem: 656.13 MiB)
12:36:59 [12:36:59.152]
INFO:
ivc-integration:test:wasm bb - constructed folding proof (mem: 656.13 MiB)
12:36:59 [12:36:59.167]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 656.13 MiB)
12:36:59 [12:36:59.232]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
12:36:59 [12:36:59.233]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
12:36:59 [12:36:59.829]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 656.13 MiB)
12:36:59 Constructing DeciderProvingKey (mem: 656.13 MiB)
12:36:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 656.13 MiB)
12:36:59 goblin ecc op : 392/1024 (mem: 656.13 MiB)
12:36:59 busread : 3/6000 (mem: 656.13 MiB)
12:36:59 lookups : 2/15000 (mem: 656.13 MiB)
12:36:59 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 656.13 MiB)
12:36:59 arithmetic : 6913/56000 (mem: 656.13 MiB)
12:36:59 delta range : 2353/18000 (mem: 656.13 MiB)
12:36:59 elliptic : 2/6000 (mem: 656.13 MiB)
12:36:59 auxiliary : 50/26000 (mem: 656.13 MiB)
12:36:59 poseidon ext : 2492/17000 (mem: 656.13 MiB)
12:36:59 poseidon int : 14195/92000 (mem: 656.13 MiB)
12:36:59 overflow : 0/0 (mem: 656.13 MiB)
12:36:59 (mem: 656.13 MiB)
12:36:59 Total structured size: 242025 (mem: 656.13 MiB)
12:36:59 allocating polynomials object in proving key... (mem: 656.13 MiB)
12:36:59 populating trace... (mem: 656.13 MiB)
12:36:59 time to construct proving key: 218 ms. (mem: 656.13 MiB)
12:36:59 getting honk vk... precomputed?: 0x5f03c02c15c0 (mem: 656.13 MiB)
12:36:59 computing folding proof (mem: 656.13 MiB)
12:36:59 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 656.13 MiB)
12:37:00 [12:37:00.357]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 656.13 MiB)
12:37:00 [12:37:00.460]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
12:37:00 [12:37:00.487]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 656.13 MiB)
12:37:00 [12:37:00.516]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
12:37:00 [12:37:00.538]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
12:37:00 [12:37:00.538]
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)
12:37:00 [12:37:00.539]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 668.19 MiB)
12:37:00 [12:37:00.547]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
12:37:00 [12:37:00.548]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
12:37:00 [12:37:00.573]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
12:37:00 [12:37:00.574]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
12:37:00 [12:37:00.575]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
12:37:00 [12:37:00.576]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
12:37:00 [12:37:00.577]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
12:37:00 [12:37:00.578]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
12:37:00 [12:37:00.578]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
12:37:00 [12:37:00.582]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
12:37:00 [12:37:00.582]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
12:37:00 [12:37:00.583]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
12:37:00 [12:37:00.584]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
12:37:00 [12:37:00.585]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
12:37:00 [12:37:00.585]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
12:37:00 [12:37:00.586]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
12:37:00 [12:37:00.586]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
12:37:00 [12:37:00.652]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
12:37:00 [12:37:00.680]
INFO:
ivc-integration:prove_wasm time to construct proving key: 131 ms. (mem: 316.56MiB)
12:37:00 [12:37:00.703]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 316.56MiB)
12:37:00 [12:37:00.872]
INFO:
ivc-integration:test:wasm bb - folded (mem: 668.19 MiB)
12:37:00 constructed folding proof (mem: 668.19 MiB)
12:37:00 [12:37:00.873]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 26010 gates. Trace details: (mem: 668.19 MiB)
12:37:00 Minimum required block sizes for structured trace: (mem: 668.19 MiB)
12:37:00 (mem: 668.19 MiB)
12:37:00 prove decider... (mem: 668.19 MiB)
12:37:00 [12:37:00.874]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
12:37:00 busread : 12
12:37:00 lookup : 2
12:37:00 pub_inputs : 36
12:37:00 arithmetic : 6913
12:37:00 delta_range : 2353
12:37:00 elliptic : 2
12:37:00 aux : 110
12:37:00 poseidon2_external : 2492
12:37:00 poseidon2_internal : 14195
12:37:00 overflow : 0
12:37:01 [12:37:01.080]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 668.19 MiB)
12:37:01 [12:37:01.193]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 316.56MiB)
12:37:01 [12:37:01.196]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 316.56MiB)
12:37:01 [12:37:01.249]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 668.19 MiB)
12:37:01 [12:37:01.594]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
12:37:01 [12:37:01.617]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
12:37:01 [12:37:01.650]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
12:37:01 [12:37:01.651]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
12:37:01 [12:37:01.654]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
12:37:01 [12:37:01.654]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
12:37:01 [12:37:01.654]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
12:37:01 [12:37:01.655]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
12:37:01 [12:37:01.655]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
12:37:01 [12:37:01.655]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 317.94MiB)
12:37:01 [12:37:01.656]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
12:37:01 [12:37:01.656]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
12:37:01 [12:37:01.656]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
12:37:01 [12:37:01.657]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
12:37:01 [12:37:01.657]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
12:37:01 [12:37:01.658]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
12:37:01 [12:37:01.658]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
12:37:01 [12:37:01.658]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
12:37:01 [12:37:01.658]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
12:37:01 [12:37:01.789]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.38MiB)
12:37:01 [12:37:01.844]
INFO:
ivc-integration:prove_wasm time to construct proving key: 193 ms. (mem: 555.19MiB)
12:37:01 [12:37:01.921]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.19MiB)
12:37:02 [12:37:02.567]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 668.19 MiB)
12:37:02 [12:37:02.677]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.19MiB)
12:37:02 [12:37:02.678]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 555.19MiB)
12:37:02 [12:37:02.687]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 668.19 MiB)
12:37:02 finished decider proving. (mem: 668.19 MiB)
12:37:02 [12:37:02.715]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 668.19 MiB)
12:37:02 [12:37:02.809]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 668.19 MiB)
12:37:02 [12:37:02.815]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 668.19 MiB)
12:37:03 [12:37:03.085]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 668.19 MiB)
12:37:03 [12:37:03.155]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 345 ms. (mem: 668.19 MiB)
12:37:03 [12:37:03.347]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.19MiB)
12:37:03 [12:37:03.609]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 582.63MiB)
12:37:04 [12:37:04.150]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 582.63MiB)
12:37:04 [12:37:04.638]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 668.19 MiB)
12:37:04 [12:37:04.679]
INFO:
ivc-integration:prove_wasm folded (mem: 582.63MiB)
12:37:04 [12:37:04.679]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 582.63MiB)
12:37:04 [12:37:04.702]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 582.63MiB)
12:37:04 [12:37:04.922]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 582.63MiB)
12:37:04 [12:37:04.922]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 582.63MiB)
12:37:04 [12:37:04.925]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 582.63MiB)
12:37:04 [12:37:04.926]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 582.63MiB)
12:37:04 [12:37:04.926]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 582.63MiB)
12:37:04 [12:37:04.926]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 582.63MiB)
12:37:04 [12:37:04.927]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 582.63MiB)
12:37:04 [12:37:04.927]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 582.63MiB)
12:37:04 [12:37:04.927]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 582.63MiB)
12:37:04 [12:37:04.927]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 582.63MiB)
12:37:04 [12:37:04.928]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 582.63MiB)
12:37:04 [12:37:04.928]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 582.63MiB)
12:37:04 [12:37:04.928]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 582.63MiB)
12:37:04 [12:37:04.930]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 582.63MiB)
12:37:04 [12:37:04.931]
INFO:
ivc-integration:prove_wasm (mem: 582.63MiB)
12:37:04 [12:37:04.931]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 582.63MiB)
12:37:04 [12:37:04.932]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 582.63MiB)
12:37:04 [12:37:04.954]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 582.63MiB)
12:37:05 [12:37:05.004]
INFO:
ivc-integration:prove_wasm time to construct proving key: 85 ms. (mem: 582.63MiB)
12:37:05 [12:37:05.219]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 582.63MiB)
12:37:05 [12:37:05.450]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 668.19 MiB)
12:37:05 [12:37:05.792]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 668.19 MiB)
12:37:06 [12:37:06.115]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 582.63MiB)
12:37:06 [12:37:06.117]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 582.63MiB)
12:37:07 [12:37:07.057]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 582.63MiB)
12:37:07 [12:37:07.294]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 590.56MiB)
12:37:07 [12:37:07.520]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 590.56MiB)
12:37:07 [12:37:07.652]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 668.19 MiB)
12:37:08 [12:37:08.047]
INFO:
ivc-integration:prove_wasm folded (mem: 590.56MiB)
12:37:08 [12:37:08.049]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 590.56MiB)
12:37:08 [12:37:08.049]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 7529 (mem: 590.56MiB)
12:37:08 [12:37:08.050]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 590.56MiB)
12:37:08 [12:37:08.051]
INFO:
ivc-integration:prove_wasm Largest circuit: 26010 gates. Trace details: (mem: 590.56MiB)
12:37:08 [12:37:08.051]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 590.56MiB)
12:37:08 [12:37:08.052]
INFO:
ivc-integration:prove_wasm ecc_op : 392
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.052]
INFO:
ivc-integration:prove_wasm busread : 12
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.053]
INFO:
ivc-integration:prove_wasm lookup : 2
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.054]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.054]
INFO:
ivc-integration:prove_wasm arithmetic : 6913
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.055]
INFO:
ivc-integration:prove_wasm delta_range : 2353
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.056]
INFO:
ivc-integration:prove_wasm elliptic : 2
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.056]
INFO:
ivc-integration:prove_wasm aux : 110
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.057]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.058]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.062]
INFO:
ivc-integration:prove_wasm overflow : 0
12:37:08 (mem: 590.56MiB)
12:37:08 [12:37:08.062]
INFO:
ivc-integration:prove_wasm (mem: 590.56MiB)
12:37:08 [12:37:08.062]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 590.56MiB)
12:37:08 [12:37:08.254]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
12:37:08 [12:37:08.779]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
12:37:09 [12:37:09.380]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 668.19 MiB)
12:37:09 [12:37:09.464]
INFO:
ivc-integration:test:wasm bb - computed opening proof
12:37:09 [12:37:09.465]
INFO:
ivc-integration:test:wasm bb - (mem: 668.19 MiB)
12:37:09 finished decider proving. (mem: 668.19 MiB)
12:37:09 Constructing a Goblin proof with num ultra ops = 1038 (mem: 668.19 MiB)
12:37:09 [12:37:09.809]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 668.19 MiB)
12:37:10 [12:37:10.218]
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: 668.19 MiB)
12:37:10 [12:37:10.239]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 668.19 MiB)
12:37:10 [12:37:10.785]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
12:37:11 [12:37:11.283]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
12:37:11 [12:37:11.283]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
12:37:11 [12:37:11.310]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 590.56MiB)
12:37:11 [12:37:11.537]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 590.56MiB)
12:37:11 [12:37:11.549]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 590.56MiB)
12:37:11 [12:37:11.611]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 590.56MiB)
12:37:11 [12:37:11.676]
INFO:
ivc-integration:prove_wasm time to construct proving key: 139 ms. (mem: 590.56MiB)
12:37:12 [12:37:12.687]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 668.19 MiB)
12:37:13 [12:37:13.510]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 590.56MiB)
12:37:14 [12:37:14.863]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 590.56MiB)
12:37:14 [12:37:14.922]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
12:37:15 [12:37:15.266]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
12:37:15 [12:37:15.443]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 669.61 MiB)
12:37:16 [12:37:16.761]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 590.56MiB)
12:37:16 [12:37:16.979]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
12:37:16 [12:37:16.979]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 590.56MiB)
12:37:16 [12:37:16.980]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 590.56MiB)
12:37:17 [12:37:17.128]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 590.56MiB)
12:37:20 [12:37:20.061]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
12:37:20 [12:37:20.097]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 669.61 MiB)
12:37:20 prove translator... (mem: 669.61 MiB)
12:37:23 [12:37:23.153]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 703.61 MiB)
12:37:24 [12:37:24.328]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 590.56MiB)
12:37:26 [12:37:26.899]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 704.61 MiB)
12:37:30 [12:37:30.993]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 704.61 MiB)
12:37:30 finished translator proving. (mem: 704.61 MiB)
12:37:30 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 704.61 MiB)
12:37:31 [12:37:31.026]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 704.61 MiB)
12:37:31 libra_evals_verified: 1 (mem: 704.61 MiB)
12:37:31 pairing_check_verified: 1 (mem: 704.61 MiB)
12:37:31 Mega verified: 1 (mem: 704.61 MiB)
12:37:31 [12:37:31.132]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 704.61 MiB)
12:37:31 batch opening verified?: 1 (mem: 704.61 MiB)
12:37:31 eccvm consistency check verified?: 1 (mem: 704.61 MiB)
12:37:31 translation masking consistency checked?: 1 (mem: 704.61 MiB)
12:37:31 [12:37:31.157]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 704.61 MiB)
12:37:31 eccvm verified?: 1 (mem: 704.61 MiB)
12:37:31 [12:37:31.164]
INFO:
ivc-integration:test:wasm bb - accumulator construction_verified?: 1 (mem: 704.61 MiB)
12:37:31 translation verified?: 1 (mem: 704.61 MiB)
12:37:31 consistency verified?: 1 (mem: 704.61 MiB)
12:37:31 Goblin verified: 1 (mem: 704.61 MiB)
12:37:31 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-7X1vy1" (mem: 704.61 MiB)
12:37:31 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-7X1vy1" (mem: 704.61 MiB)
12:37:31 BN254 commitment key size: 262144 (mem: 704.61 MiB)
12:37:31 Constructing DeciderProvingKey (mem: 704.61 MiB)
12:37:31 [12:37:31.166]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 704.61 MiB)
12:37:31 goblin ecc op : 4/1024 (mem: 704.61 MiB)
12:37:31 busread : 3/6000 (mem: 704.61 MiB)
12:37:31 lookups : 2/15000 (mem: 704.61 MiB)
12:37:31 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 704.61 MiB)
12:37:31 arithmetic : 1773/56000 (mem: 704.61 MiB)
12:37:31 delta range : 1754/18000 (mem: 704.61 MiB)
12:37:31 elliptic : 2/6000 (mem: 704.61 MiB)
12:37:31 auxiliary : 26/26000 (mem: 704.61 MiB)
12:37:31 poseidon ext : 2/17000 (mem: 704.61 MiB)
12:37:31 poseidon int : 2/92000 (mem: 704.61 MiB)
12:37:31 overflow : 0/0 (mem: 704.61 MiB)
12:37:31 (mem: 704.61 MiB)
12:37:31 Total structured size: 242025 (mem: 704.61 MiB)
12:37:31 allocating polynomials object in proving key... (mem: 704.61 MiB)
12:37:31 [12:37:31.412]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 704.61 MiB)
12:37:31 [12:37:31.456]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 292 ms. (mem: 704.61 MiB)
12:37:31 [12:37:31.674]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 704.61 MiB)
12:37:32 [12:37:32.216]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 705.61 MiB)
12:37:32 [12:37:32.217]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.61 MiB)
12:37:32 [12:37:32.549]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 705.61 MiB)
12:37:32 [12:37:32.557]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.61 MiB)
12:37:32 [12:37:32.574]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 705.61 MiB)
12:37:32 [12:37:32.580]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 705.61 MiB)
12:37:32 goblin ecc op : 56/1024 (mem: 705.61 MiB)
12:37:32 busread : 3/6000 (mem: 705.61 MiB)
12:37:32 lookups : 2/15000 (mem: 705.61 MiB)
12:37:32 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 705.61 MiB)
12:37:32 arithmetic : 4533/56000 (mem: 705.61 MiB)
12:37:32 delta range : 2060/18000 (mem: 705.61 MiB)
12:37:32 elliptic : 2/6000 (mem: 705.61 MiB)
12:37:32 [12:37:32.584]
INFO:
ivc-integration:test:wasm bb - auxiliary : 50/26000 (mem: 705.61 MiB)
12:37:32 poseidon ext : 1332/17000 (mem: 705.61 MiB)
12:37:32 poseidon int : 7583/92000 (mem: 705.61 MiB)
12:37:32 overflow : 0/0 (mem: 705.61 MiB)
12:37:32 (mem: 705.61 MiB)
12:37:32 Total structured size: 242025 (mem: 705.61 MiB)
12:37:32 allocating polynomials object in proving key... (mem: 705.61 MiB)
12:37:32 [12:37:32.947]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 705.61 MiB)
12:37:33 [12:37:33.028]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 454 ms. (mem: 705.61 MiB)
12:37:33 [12:37:33.401]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 705.61 MiB)
12:37:33 [12:37:33.996]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 705.61 MiB)
12:37:33 [12:37:33.997]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 705.61 MiB)
12:37:34 [12:37:34.610]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 705.61 MiB)
12:37:34 [12:37:34.751]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 705.61 MiB)
12:37:34 [12:37:34.817]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 736.61 MiB)
12:37:34 [12:37:34.904]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 590.56MiB)
12:37:34 [12:37:34.905]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 590.56MiB)
12:37:35 [12:37:35.258]
INFO:
ivc-integration:test:wasm bb - folded (mem: 736.61 MiB)
12:37:35 constructed folding proof (mem: 736.61 MiB)
12:37:35 Largest circuit: 15565 gates. Trace details: (mem: 736.61 MiB)
12:37:35 Minimum required block sizes for structured trace: (mem: 736.61 MiB)
12:37:35 (mem: 736.61 MiB)
12:37:35 prove decider... (mem: 736.61 MiB)
12:37:35 [12:37:35.259]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
12:37:35 busread : 3
12:37:35 lookup : 2
12:37:35 pub_inputs : 36
12:37:35 arithmetic : 4533
12:37:35 delta_range : 2060
12:37:35 elliptic : 2
12:37:35 aux : 50
12:37:35 poseidon2_external : 1332
12:37:35 poseidon2_internal : 7583
12:37:35 overflow : 0
12:37:35 [12:37:35.438]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 736.61 MiB)
12:37:35 [12:37:35.594]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck
12:37:35 [12:37:35.596]
INFO:
ivc-integration:test:wasm bb - (mem: 736.61 MiB)
12:37:37 [12:37:37.442]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 736.61 MiB)
12:37:37 [12:37:37.568]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 736.61 MiB)
12:37:37 finished decider proving. (mem: 736.61 MiB)
12:37:37 [12:37:37.591]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 736.61 MiB)
12:37:37 [12:37:37.731]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 736.61 MiB)
12:37:37 [12:37:37.739]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 736.61 MiB)
12:37:37 [12:37:37.915]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 590.56MiB)
12:37:37 [12:37:37.969]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 736.61 MiB)
12:37:37 [12:37:37.999]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 267 ms. (mem: 736.61 MiB)
12:37:42 [12:37:42.287]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 590.56MiB)
12:37:45 [12:37:45.866]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 590.56MiB)
12:37:45 [12:37:45.867]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 590.56MiB)
12:37:45 [12:37:45.867]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 45349 (mem: 590.56MiB)
12:37:45 [12:37:45.873]
INFO:
ivc-integration:prove_wasm time to serialize proof: 7 (mem: 590.56MiB)
12:37:45 [12:37:45.874]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 590.56MiB)
12:37:45 [12:37:45.906]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 590.56MiB)
12:37:45 [12:37:45.968]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 590.56MiB)
12:37:45 [12:37:45.969]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 590.56MiB)
12:37:45 [12:37:45.970]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 590.56MiB)
12:37:45 [12:37:45.975]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.247]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.248]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.248]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.248]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.327]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.329]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.329]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.330]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.330]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.331]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 590.56MiB)
12:37:46 [12:37:46.854]
INFO:
ivc-integration:test:wasm BB concurrency: 1
12:37:46 [12:37:46.854]
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-7X1vy1/proof -k /tmp/bb-client-ivc-integration-7X1vy1/vk -v
12:37:46 [12:37:46.937]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 860.21 MiB)
12:37:46 Scheme is: client_ivc, num threads: 1 (mem: 860.21 MiB)
12:37:46 --proof_path: /tmp/bb-client-ivc-integration-7X1vy1/proof (mem: 860.21 MiB)
12:37:46 --vk_path: /tmp/bb-client-ivc-integration-7X1vy1/vk (mem: 860.21 MiB)
12:37:46 --verbose: true (mem: 860.21 MiB)
12:37:46 --scheme: client_ivc (mem: 860.21 MiB)
12:37:46 [12:37:46.938]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 860.21 MiB)
12:37:46 [12:37:46.952]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 860.21 MiB)
12:37:46 [12:37:46.954]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 860.21 MiB)
12:37:46 [12:37:46.970]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 860.21 MiB)
12:37:46 [12:37:46.971]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1 (mem: 860.21 MiB)
12:37:46 [12:37:46.972]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 860.21 MiB)
12:37:46 libra_evals_verified: 1 (mem: 860.21 MiB)
12:37:46 pairing_check_verified: 1 (mem: 860.21 MiB)
12:37:46 Mega verified: 1 (mem: 860.21 MiB)
12:37:47 [12:37:47.480]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 860.21 MiB)
12:37:47 batch opening verified?: 1 (mem: 860.21 MiB)
12:37:47 eccvm consistency check verified?: 1 (mem: 860.21 MiB)
12:37:47 translation masking consistency checked?: 1 (mem: 860.21 MiB)
12:37:47 [12:37:47.496]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 860.21 MiB)
12:37:47 eccvm verified?: 1 (mem: 860.21 MiB)
12:37:47 accumulator construction_verified?: 1 (mem: 860.21 MiB)
12:37:47 translation verified?: 1 (mem: 860.21 MiB)
12:37:47 consistency verified?: 1 (mem:
12:37:47 [12:37:47.497]
INFO:
ivc-integration:test:wasm 860.21 MiB)
12:37:47 Goblin verified: 1 (mem: 860.21 MiB)
12:37:47 verified: 1 (mem: 860.21 MiB)
12:37:47 [12:37:47.519]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
12:37:47 [12:37:47.678]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12113510 bytes
12:37:47 [12:37:47.711]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
12:37:48 [12:37:48.036]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
12:37:48 [12:37:48.051]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
12:37:48 [12:37:48.052]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
12:37:48 [12:37:48.769]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
12:37:48 [12:37:48.834]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
12:37:48 [12:37:48.838]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
12:37:48 [12:37:48.876]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
12:37:48 [12:37:48.894]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 194.06MiB)
12:37:48 [12:37:48.924]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
12:37:48 [12:37:48.936]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 194.06MiB)
12:37:49 [12:37:49.108]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15724,"2":26010}
12:37:49 [12:37:49.170]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
12:37:49 [12:37:49.288]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12113510 bytes
12:37:49 [12:37:49.321]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
12:37:49 [12:37:49.714]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
12:37:49 [12:37:49.727]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
12:37:51 [12:37:51.074]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
12:37:51 [12:37:51.080]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
12:37:52 [12:37:52.258]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048577 (mem: 194.06MiB)
12:37:52 [12:37:52.313]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 194.06MiB)
12:37:52 [12:37:52.336]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 194.06MiB)
12:37:52 [12:37:52.337]
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)
12:37:52 [12:37:52.347]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 194.06MiB)
12:37:52 [12:37:52.348]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 194.06MiB)
12:37:52 [12:37:52.365]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 194.06MiB)
12:37:52 [12:37:52.366]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 194.06MiB)
12:37:52 [12:37:52.366]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 194.06MiB)
12:37:52 [12:37:52.366]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 194.06MiB)
12:37:52 [12:37:52.367]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 194.06MiB)
12:37:52 [12:37:52.367]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 194.06MiB)
12:37:52 [12:37:52.367]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 194.06MiB)
12:37:52 [12:37:52.368]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 194.06MiB)
12:37:52 [12:37:52.368]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 194.06MiB)
12:37:52 [12:37:52.368]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 194.06MiB)
12:37:52 [12:37:52.368]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 194.06MiB)
12:37:52 [12:37:52.369]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 194.06MiB)
12:37:52 [12:37:52.369]
INFO:
ivc-integration:prove_wasm (mem: 194.06MiB)
12:37:52 [12:37:52.369]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 194.06MiB)
12:37:52 [12:37:52.370]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 194.06MiB)
12:37:52 [12:37:52.415]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 304.56MiB)
12:37:52 [12:37:52.440]
INFO:
ivc-integration:prove_wasm time to construct proving key: 93 ms. (mem: 317.06MiB)
12:37:52 [12:37:52.461]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 317.06MiB)
12:37:53 [12:37:53.037]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 317.06MiB)
12:37:53 [12:37:53.041]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.06MiB)
12:37:53 [12:37:53.425]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 317.94MiB)
12:37:53 [12:37:53.446]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 317.94MiB)
12:37:53 [12:37:53.481]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 317.94MiB)
12:37:53 [12:37:53.482]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 317.94MiB)
12:37:53 [12:37:53.486]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 317.94MiB)
12:37:53 [12:37:53.486]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 317.94MiB)
12:37:53 [12:37:53.487]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 317.94MiB)
12:37:53 [12:37:53.489]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 317.94MiB)
12:37:53 [12:37:53.490]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 317.94MiB)
12:37:53 [12:37:53.493]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 317.94MiB)
12:37:53 [12:37:53.493]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 317.94MiB)
12:37:53 [12:37:53.494]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 317.94MiB)
12:37:53 [12:37:53.494]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 317.94MiB)
12:37:53 [12:37:53.494]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 317.94MiB)
12:37:53 [12:37:53.494]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 317.94MiB)
12:37:53 [12:37:53.495]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 317.94MiB)
12:37:53 [12:37:53.495]
INFO:
ivc-integration:prove_wasm (mem: 317.94MiB)
12:37:53 [12:37:53.495]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 317.94MiB)
12:37:53 [12:37:53.496]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 317.94MiB)
12:37:53 [12:37:53.542]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 540.69MiB)
12:37:53 [12:37:53.575]
INFO:
ivc-integration:prove_wasm time to construct proving key: 93 ms. (mem: 555.63MiB)
12:37:53 [12:37:53.614]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 555.63MiB)
12:37:54 [12:37:54.543]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 555.63MiB)
12:37:54 [12:37:54.543]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 555.63MiB)
12:37:55 [12:37:55.273]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 555.63MiB)
12:37:55 [12:37:55.662]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
12:37:56 [12:37:56.055]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
12:37:56 [12:37:56.790]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
12:37:56 [12:37:56.790]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
12:37:56 [12:37:56.791]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 583.13MiB)
12:37:56 [12:37:56.791]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
12:37:56 [12:37:56.801]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
12:37:56 [12:37:56.802]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 583.13MiB)
12:37:56 [12:37:56.802]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 583.13MiB)
12:37:56 [12:37:56.802]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
12:37:56 [12:37:56.803]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 583.13MiB)
12:37:56 [12:37:56.803]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 583.13MiB)
12:37:56 [12:37:56.803]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 583.13MiB)
12:37:56 [12:37:56.804]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
12:37:56 [12:37:56.804]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 583.13MiB)
12:37:56 [12:37:56.804]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 583.13MiB)
12:37:56 [12:37:56.815]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 583.13MiB)
12:37:56 [12:37:56.825]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
12:37:56 [12:37:56.831]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
12:37:56 [12:37:56.832]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
12:37:56 [12:37:56.832]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
12:37:56 [12:37:56.839]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
12:37:56 [12:37:56.847]
INFO:
ivc-integration:prove_wasm time to construct proving key: 58 ms. (mem: 583.13MiB)
12:37:56 [12:37:56.905]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 583.13MiB)
12:37:57 [12:37:57.280]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 583.13MiB)
12:37:57 [12:37:57.282]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
12:37:57 [12:37:57.472]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 583.13MiB)
12:37:57 [12:37:57.788]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 583.13MiB)
12:37:58 [12:37:58.090]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 583.13MiB)
12:37:58 [12:37:58.510]
INFO:
ivc-integration:prove_wasm folded (mem: 583.13MiB)
12:37:58 [12:37:58.510]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 583.13MiB)
12:37:58 [12:37:58.522]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 583.13MiB)
12:37:58 [12:37:58.667]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 583.13MiB)
12:37:58 [12:37:58.838]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 583.13MiB)
12:37:58 [12:37:58.839]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 583.13MiB)
12:37:58 [12:37:58.853]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 583.13MiB)
12:37:58 [12:37:58.855]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 583.13MiB)
12:37:58 [12:37:58.857]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 583.13MiB)
12:37:58 [12:37:58.858]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 583.13MiB)
12:37:58 [12:37:58.858]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 583.13MiB)
12:37:58 [12:37:58.859]
INFO:
ivc-integration:prove_wasm arithmetic : 12208/56000 (mem: 583.13MiB)
12:37:58 [12:37:58.860]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 583.13MiB)
12:37:58 [12:37:58.861]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 583.13MiB)
12:37:58 [12:37:58.862]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 583.13MiB)
12:37:58 [12:37:58.863]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 583.13MiB)
12:37:58 [12:37:58.863]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 583.13MiB)
12:37:58 [12:37:58.864]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 583.13MiB)
12:37:58 [12:37:58.864]
INFO:
ivc-integration:prove_wasm (mem: 583.13MiB)
12:37:58 [12:37:58.865]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 583.13MiB)
12:37:58 [12:37:58.865]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 583.13MiB)
12:37:58 [12:37:58.888]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 583.13MiB)
12:37:58 [12:37:58.942]
INFO:
ivc-integration:prove_wasm time to construct proving key: 105 ms. (mem: 586.25MiB)
12:37:59 [12:37:59.041]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 586.25MiB)
12:38:00 [12:38:00.019]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 586.25MiB)
12:38:00 [12:38:00.020]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 586.25MiB)
12:38:01 [12:38:01.573]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 586.25MiB)
12:38:01 [12:38:01.888]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
12:38:02 [12:38:02.325]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
12:38:02 [12:38:02.738]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
12:38:02 [12:38:02.739]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
12:38:02 [12:38:02.757]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 610.38MiB)
12:38:02 [12:38:02.927]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 610.38MiB)
12:38:02 [12:38:02.927]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
12:38:02 [12:38:02.935]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
12:38:02 [12:38:02.935]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
12:38:02 [12:38:02.935]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 610.38MiB)
12:38:02 [12:38:02.936]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
12:38:02 [12:38:02.936]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 610.38MiB)
12:38:02 [12:38:02.936]
INFO:
ivc-integration:prove_wasm arithmetic : 6978/56000 (mem: 610.38MiB)
12:38:02 [12:38:02.936]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 610.38MiB)
12:38:02 [12:38:02.937]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
12:38:02 [12:38:02.937]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 610.38MiB)
12:38:02 [12:38:02.937]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 610.38MiB)
12:38:02 [12:38:02.938]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 610.38MiB)
12:38:02 [12:38:02.938]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
12:38:02 [12:38:02.938]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
12:38:02 [12:38:02.938]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
12:38:02 [12:38:02.943]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
12:38:02 [12:38:02.967]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
12:38:02 [12:38:02.997]
INFO:
ivc-integration:prove_wasm time to construct proving key: 68 ms. (mem: 610.38MiB)
12:38:03 [12:38:03.172]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
12:38:04 [12:38:04.059]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
12:38:04 [12:38:04.062]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 610.38MiB)
12:38:05 [12:38:05.091]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
12:38:05 [12:38:05.411]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
12:38:05 [12:38:05.767]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
12:38:06 [12:38:06.204]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
12:38:06 [12:38:06.205]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
12:38:06 [12:38:06.221]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 610.38MiB)
12:38:06 [12:38:06.377]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 610.38MiB)
12:38:06 [12:38:06.377]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
12:38:06 [12:38:06.380]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 610.38MiB)
12:38:06 [12:38:06.381]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 610.38MiB)
12:38:06 [12:38:06.381]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 610.38MiB)
12:38:06 [12:38:06.381]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 610.38MiB)
12:38:06 [12:38:06.381]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 610.38MiB)
12:38:06 [12:38:06.382]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 610.38MiB)
12:38:06 [12:38:06.382]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 610.38MiB)
12:38:06 [12:38:06.382]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 610.38MiB)
12:38:06 [12:38:06.382]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 610.38MiB)
12:38:06 [12:38:06.383]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 610.38MiB)
12:38:06 [12:38:06.383]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 610.38MiB)
12:38:06 [12:38:06.383]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 610.38MiB)
12:38:06 [12:38:06.383]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
12:38:06 [12:38:06.385]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 610.38MiB)
12:38:06 [12:38:06.386]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
12:38:06 [12:38:06.422]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
12:38:06 [12:38:06.449]
INFO:
ivc-integration:prove_wasm time to construct proving key: 74 ms. (mem: 610.38MiB)
12:38:06 [12:38:06.622]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 610.38MiB)
12:38:07 [12:38:07.221]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 610.38MiB)
12:38:07 [12:38:07.223]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 610.38MiB)
12:38:07 [12:38:07.903]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 610.38MiB)
12:38:08 [12:38:08.175]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 610.38MiB)
12:38:08 [12:38:08.583]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 610.38MiB)
12:38:09 [12:38:09.048]
INFO:
ivc-integration:prove_wasm folded (mem: 610.38MiB)
12:38:09 [12:38:09.048]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 610.38MiB)
12:38:09 [12:38:09.048]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 16728 (mem: 610.38MiB)
12:38:09 [12:38:09.049]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 610.38MiB)
12:38:09 [12:38:09.049]
INFO:
ivc-integration:prove_wasm Largest circuit: 48925 gates. Trace details: (mem: 610.38MiB)
12:38:09 [12:38:09.049]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 610.38MiB)
12:38:09 [12:38:09.050]
INFO:
ivc-integration:prove_wasm ecc_op : 792
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.050]
INFO:
ivc-integration:prove_wasm busread : 16
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.050]
INFO:
ivc-integration:prove_wasm lookup : 2
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.050]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.051]
INFO:
ivc-integration:prove_wasm arithmetic : 12208
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.051]
INFO:
ivc-integration:prove_wasm delta_range : 2981
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.052]
INFO:
ivc-integration:prove_wasm elliptic : 2
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.052]
INFO:
ivc-integration:prove_wasm aux : 350
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.052]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.052]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.053]
INFO:
ivc-integration:prove_wasm overflow : 0
12:38:09 (mem: 610.38MiB)
12:38:09 [12:38:09.053]
INFO:
ivc-integration:prove_wasm (mem: 610.38MiB)
12:38:09 [12:38:09.053]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 610.38MiB)
12:38:09 [12:38:09.267]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
12:38:09 [12:38:09.627]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
12:38:10 [12:38:10.932]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
12:38:11 [12:38:11.265]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
12:38:11 [12:38:11.265]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
12:38:11 [12:38:11.291]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 610.38MiB)
12:38:11 [12:38:11.501]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 610.38MiB)
12:38:11 [12:38:11.516]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 610.38MiB)
12:38:11 [12:38:11.555]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 610.38MiB)
12:38:11 [12:38:11.602]
INFO:
ivc-integration:prove_wasm time to construct proving key: 102 ms. (mem: 610.38MiB)
12:38:12 [12:38:12.527]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 610.38MiB)
12:38:13 [12:38:13.144]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 610.38MiB)
12:38:13 [12:38:13.166]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
12:38:13 [12:38:13.395]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
12:38:14 [12:38:14.239]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 610.38MiB)
12:38:14 [12:38:14.381]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
12:38:14 [12:38:14.382]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 610.38MiB)
12:38:14 [12:38:14.382]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 610.38MiB)
12:38:14 [12:38:14.539]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 610.38MiB)
12:38:17 [12:38:17.671]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
12:38:21 [12:38:21.268]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 610.38MiB)
12:38:27 [12:38:27.294]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 610.38MiB)
12:38:27 [12:38:27.294]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 610.38MiB)
12:38:29 [12:38:29.706]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 610.38MiB)
12:38:33 [12:38:33.475]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 610.38MiB)
12:38:36 [12:38:36.606]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 610.38MiB)
12:38:36 [12:38:36.607]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 610.38MiB)
12:38:36 [12:38:36.608]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 44291 (mem: 610.38MiB)
12:38:36 [12:38:36.615]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 610.38MiB)
12:38:36 [12:38:36.616]
INFO:
ivc-integration:prove_wasm time to serialize vk: 1 (mem: 610.38MiB)
12:38:36 [12:38:36.644]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 610.38MiB)
12:38:36 [12:38:36.713]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
12:38:36 [12:38:36.713]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
12:38:36 [12:38:36.714]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
12:38:36 [12:38:36.714]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.043]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.044]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.044]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.044]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.103]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.104]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.104]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.104]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.104]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.105]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.110]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 610.38MiB)
12:38:37 [12:38:37.146]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.147]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.148]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.148]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.340]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.341]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.341]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.342]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.388]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.388]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.388]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.389]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.389]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.389]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 610.38MiB)
12:38:37 [12:38:37.796]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
12:38:37
PASS src/wasm_client_ivc_integration.test.ts (
103.678 s)
12:38:37 Client IVC Integration
12:38:37
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (50027 ms)
12:38:37
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1606 ms)
12:38:37
✓ Should generate a verifiable client IVC proof from a complex mock tx (48688 ms)
12:38:37
12:38:37
Test Suites: 1 passed, 1 total
12:38:37
Tests: 3 passed, 3 total
12:38:37
Snapshots: 0 total
12:38:37
Time: 103.758 s
12:38:37
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
12:38:37
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?