Parent Log:
http://ci.aztec-labs.com/dd2e464ee553ddb1
Command: de45f87db227bac7: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/df0c3e8efd6211cf15eedf67d2a591cc54099ac8
Env: REF_NAME=gh-readonly-queue/next/pr-14847-d71b7a63300e898a3d40f7da703f7cde545afb41 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 18:05:00 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14847_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
18:05:04 [18:05:04.470]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
18:05:04 [18:05:04.479]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-HxcZ5j/ivc-inputs.msgpack
18:05:04 [18:05:04.480]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
18:05:04 [18:05:04.481]
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-HxcZ5j --ivc_inputs_path /tmp/bb-client-ivc-integration-HxcZ5j/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
18:05:04 [18:05:04.672]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12132885 bytes
18:05:04 [18:05:04.684]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 184.80 MiB)
18:05:04 Scheme is: client_ivc, num threads: 128 (mem: 184.80 MiB)
18:05:04 --scheme: client_ivc (mem: 184.80 MiB)
18:05:04 --output_path: /tmp/bb-client-ivc-integration-HxcZ5j (mem: 184.80 MiB)
18:05:04 --ivc_inputs_path: /tmp/bb-client-ivc-integration-HxcZ5j/ivc-inputs.msgpack (mem: 184.80 MiB)
18:05:04 --verbose: true (mem: 184.80 MiB)
18:05:04 --write_vk: true (mem: 184.80 MiB)
18:05:04 BN254 commitment key size: 262144 (mem: 184.80 MiB)
18:05:04 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 244.00 MiB)
18:05:04 [18:05:04.701]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 292.74 MiB)
18:05:04 [18:05:04.704]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
18:05:04 [18:05:04.706]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 292.74 MiB)
18:05:04 Constructing DeciderProvingKey (mem: 292.74 MiB)
18:05:04 [18:05:04.712]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 292.74 MiB)
18:05:04 goblin ecc op : 4/1024 (mem: 292.74 MiB)
18:05:04 busread : 7/6000 (mem: 292.74 MiB)
18:05:04 lookups : 2/15000 (mem: 292.74 MiB)
18:05:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 292.74 MiB)
18:05:04 arithmetic : 1760/56000 (mem: 292.74 MiB)
18:05:04 delta range : 1754/18000 (mem: 292.74 MiB)
18:05:04 elliptic : 2/6000 (mem: 292.74 MiB)
18:05:04 auxiliary : 26/26000 (mem: 292.74 MiB)
18:05:04 poseidon ext : 2/17000 (mem: 292.74 MiB)
18:05:04 poseidon int : 2/92000 (mem: 292.74 MiB)
18:05:04 overflow : 0/0 (mem: 292.74 MiB)
18:05:04 (mem: 292.74 MiB)
18:05:04 Total structured size: 242025 (mem: 292.74 MiB)
18:05:04 allocating polynomials object in proving key... (mem: 292.74 MiB)
18:05:04 [18:05:04.813]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 493.90 MiB)
18:05:04 [18:05:04.826]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 120 ms. (mem: 510.90 MiB)
18:05:04 [18:05:04.863]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5581c6a57940 (mem: 510.90 MiB)
18:05:04 computing oink proof... (mem: 511.90 MiB)
18:05:04 [18:05:04.864]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 511.90 MiB)
18:05:05 [18:05:05.032]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
18:05:05 [18:05:05.033]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 523.90 MiB)
18:05:05 [18:05:05.045]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
18:05:05 [18:05:05.047]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.90 MiB)
18:05:05 [18:05:05.066]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 523.90 MiB)
18:05:05 Constructing DeciderProvingKey (mem: 523.90 MiB)
18:05:05 [18:05:05.070]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.90 MiB)
18:05:05 goblin ecc op : 56/1024 (mem: 523.90 MiB)
18:05:05 busread : 12/6000 (mem: 523.90 MiB)
18:05:05 lookups : 2/15000 (mem: 523.90 MiB)
18:05:05 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.90 MiB)
18:05:05 [18:05:05.072]
INFO:
ivc-integration:test:wasm bb - arithmetic : 4677/56000 (mem: 523.90 MiB)
18:05:05 delta range : 2073/18000 (mem: 523.90 MiB)
18:05:05 elliptic : 2/6000 (mem: 523.90 MiB)
18:05:05 auxiliary : 110/26000 (mem: 523.90 MiB)
18:05:05 poseidon ext : 1322/17000 (mem: 523.90 MiB)
18:05:05 poseidon int : 7526/92000 (mem: 523.90 MiB)
18:05:05 overflow : 0/0 (mem: 523.90 MiB)
18:05:05 (mem: 523.90 MiB)
18:05:05 Total structured size: 242025 (mem: 523.90 MiB)
18:05:05 allocating polynomials object in proving key... (mem: 523.90 MiB)
18:05:05 [18:05:05.196]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 732.90 MiB)
18:05:05 [18:05:05.218]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 150 ms. (mem: 741.90 MiB)
18:05:05 [18:05:05.308]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5581c6a64600 (mem: 741.90 MiB)
18:05:05 computing folding proof (mem: 741.90 MiB)
18:05:05 [18:05:05.309]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 741.90 MiB)
18:05:05 [18:05:05.828]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 741.90 MiB)
18:05:05 [18:05:05.926]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 777.90 MiB)
18:05:05 [18:05:05.987]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 810.90 MiB)
18:05:06 [18:05:06.272]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
18:05:06 [18:05:06.273]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
18:05:06 [18:05:06.796]
INFO:
ivc-integration:test:wasm bb - folded (mem: 810.90 MiB)
18:05:06 constructed folding proof (mem: 810.90 MiB)
18:05:06 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 810.90 MiB)
18:05:06 ClientIVC: accumulating unknown_2 (mem: 810.90 MiB)
18:05:06 Constructing DeciderProvingKey (mem: 810.90 MiB)
18:05:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 810.90 MiB)
18:05:06 goblin ecc op : 392/1024 (mem: 810.90 MiB)
18:05:06 busread : 3/6000 (mem: 810.90 MiB)
18:05:06 lookups : 2/15000 (mem: 810.90 MiB)
18:05:06 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 810.90 MiB)
18:05:06 arithmetic : 6913/56000 (mem: 810.90 MiB)
18:05:06 delta range : 2353/18000 (mem: 810.90 MiB)
18:05:06 elliptic : 2/6000 (mem: 810.90 MiB)
18:05:06 auxiliary : 50/26000 (mem: 810.90 MiB)
18:05:06 poseidon ext : 2492/17000 (mem: 810.90 MiB)
18:05:06 poseidon int : 14195/92000 (mem: 810.90 MiB)
18:05:06 overflow : 0/0 (mem: 810.90 MiB)
18:05:06 (mem: 810.90 MiB)
18:05:06 Total structured size: 242025 (mem: 810.90 MiB)
18:05:06 allocating polynomials object in proving key... (mem: 810.90 MiB)
18:05:06 populating trace... (mem: 810.90 MiB)
18:05:06 [18:05:06.840]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 261 ms. (mem: 810.90 MiB)
18:05:07 [18:05:07.081]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5581c6a51180 (mem: 810.90 MiB)
18:05:07 computing folding proof (mem: 810.90 MiB)
18:05:07 [18:05:07.094]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 810.90 MiB)
18:05:07 [18:05:07.619]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
18:05:07 [18:05:07.691]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 810.90 MiB)
18:05:07 [18:05:07.743]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
18:05:07 [18:05:07.775]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
18:05:07 [18:05:07.822]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 354.06MiB)
18:05:07 [18:05:07.843]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
18:05:07 [18:05:07.844]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
18:05:07 [18:05:07.852]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 810.90 MiB)
18:05:07 [18:05:07.876]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
18:05:07 [18:05:07.880]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
18:05:07 [18:05:07.881]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
18:05:07 [18:05:07.881]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
18:05:07 [18:05:07.882]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
18:05:07 [18:05:07.883]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
18:05:07 [18:05:07.883]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
18:05:07 [18:05:07.883]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
18:05:07 [18:05:07.884]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
18:05:07 [18:05:07.884]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
18:05:07 [18:05:07.885]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
18:05:07 [18:05:07.885]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
18:05:07 [18:05:07.885]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
18:05:07 [18:05:07.886]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
18:05:07 [18:05:07.886]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
18:05:07 [18:05:07.904]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 810.90 MiB)
18:05:07 [18:05:07.981]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
18:05:08 [18:05:08.003]
INFO:
ivc-integration:prove_wasm time to construct proving key: 159 ms. (mem: 581.38MiB)
18:05:08 [18:05:08.014]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
18:05:08 [18:05:08.333]
INFO:
ivc-integration:test:wasm bb - folded (mem: 810.90 MiB)
18:05:08 constructed folding proof (mem: 810.90 MiB)
18:05:08 [18:05:08.334]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 26010 gates. Trace details: (mem: 810.90 MiB)
18:05:08 Minimum required block sizes for structured trace: (mem: 810.90 MiB)
18:05:08 [18:05:08.335]
INFO:
ivc-integration:test:wasm bb - (mem: 810.90 MiB)
18:05:08 prove decider... (mem: 810.90 MiB)
18:05:08 [18:05:08.335]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
18:05:08 busread : 12
18:05:08 lookup : 2
18:05:08 pub_inputs : 36
18:05:08 arithmetic : 6913
18:05:08 delta_range : 2353
18:05:08 elliptic : 2
18:05:08 aux : 110
18:05:08 poseidon2_external : 2492
18:05:08 poseidon2_internal : 14195
18:05:08 overflow : 0
18:05:08 [18:05:08.548]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 810.90 MiB)
18:05:08 [18:05:08.696]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 810.90 MiB)
18:05:09 [18:05:09.889]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 810.90 MiB)
18:05:09 [18:05:09.968]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
18:05:09 [18:05:09.971]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
18:05:09 [18:05:09.972]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 810.90 MiB)
18:05:09 finished decider proving. (mem: 810.90 MiB)
18:05:09 [18:05:09.990]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 810.90 MiB)
18:05:10 [18:05:10.116]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 810.90 MiB)
18:05:10 [18:05:10.123]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 810.90 MiB)
18:05:10 [18:05:10.319]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 810.90 MiB)
18:05:10 [18:05:10.385]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 268 ms. (mem: 810.90 MiB)
18:05:10 [18:05:10.477]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
18:05:10 [18:05:10.498]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
18:05:10 [18:05:10.549]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
18:05:10 [18:05:10.549]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
18:05:10 [18:05:10.554]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
18:05:10 [18:05:10.555]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
18:05:10 [18:05:10.555]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
18:05:10 [18:05:10.555]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
18:05:10 [18:05:10.556]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
18:05:10 [18:05:10.556]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 581.38MiB)
18:05:10 [18:05:10.556]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 581.38MiB)
18:05:10 [18:05:10.557]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
18:05:10 [18:05:10.557]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
18:05:10 [18:05:10.557]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 581.38MiB)
18:05:10 [18:05:10.561]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 581.38MiB)
18:05:10 [18:05:10.562]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
18:05:10 [18:05:10.562]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
18:05:10 [18:05:10.562]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
18:05:10 [18:05:10.562]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
18:05:10 [18:05:10.675]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.44MiB)
18:05:10 [18:05:10.709]
INFO:
ivc-integration:prove_wasm time to construct proving key: 162 ms. (mem: 820.25MiB)
18:05:10 [18:05:10.770]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.25MiB)
18:05:11 [18:05:11.680]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 810.90 MiB)
18:05:12 [18:05:12.399]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 810.90 MiB)
18:05:12 [18:05:12.804]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 810.90 MiB)
18:05:12 [18:05:12.856]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.25MiB)
18:05:12 [18:05:12.860]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.25MiB)
18:05:13 [18:05:13.798]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.25MiB)
18:05:14 [18:05:14.089]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
18:05:14 [18:05:14.429]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
18:05:14 [18:05:14.794]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 810.90 MiB)
18:05:14 [18:05:14.984]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
18:05:14 [18:05:14.985]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
18:05:14 [18:05:14.997]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 847.69MiB)
18:05:15 [18:05:15.162]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
18:05:15 [18:05:15.164]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
18:05:15 [18:05:15.169]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
18:05:15 [18:05:15.180]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
18:05:15 [18:05:15.180]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
18:05:15 [18:05:15.181]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
18:05:15 [18:05:15.181]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
18:05:15 [18:05:15.182]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 847.69MiB)
18:05:15 [18:05:15.182]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 847.69MiB)
18:05:15 [18:05:15.182]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
18:05:15 [18:05:15.182]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
18:05:15 [18:05:15.183]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 847.69MiB)
18:05:15 [18:05:15.183]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 847.69MiB)
18:05:15 [18:05:15.185]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
18:05:15 [18:05:15.185]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
18:05:15 [18:05:15.185]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
18:05:15 [18:05:15.186]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
18:05:15 [18:05:15.205]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
18:05:15 [18:05:15.251]
INFO:
ivc-integration:prove_wasm time to construct proving key: 87 ms. (mem: 847.69MiB)
18:05:15 [18:05:15.354]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
18:05:15 [18:05:15.972]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 810.90 MiB)
18:05:16 [18:05:16.015]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 810.90 MiB)
18:05:16 [18:05:16.017]
INFO:
ivc-integration:test:wasm bb - finished decider proving. (mem: 810.90 MiB)
18:05:16 Constructing a Goblin proof with num ultra ops = 1038 (mem: 810.90 MiB)
18:05:16 [18:05:16.357]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 810.90 MiB)
18:05:17 [18:05:17.046]
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: 810.90 MiB)
18:05:17 [18:05:17.088]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 810.90 MiB)
18:05:17 [18:05:17.544]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
18:05:17 [18:05:17.546]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 847.69MiB)
18:05:18 [18:05:18.662]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
18:05:18 [18:05:18.924]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
18:05:19 [18:05:19.387]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
18:05:19 [18:05:19.714]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 810.90 MiB)
18:05:20 [18:05:20.144]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
18:05:20 [18:05:20.144]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
18:05:20 [18:05:20.145]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 12392 (mem: 855.63MiB)
18:05:20 [18:05:20.145]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
18:05:20 [18:05:20.146]
INFO:
ivc-integration:prove_wasm Largest circuit: 26010 gates. Trace details: (mem: 855.63MiB)
18:05:20 [18:05:20.146]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
18:05:20 [18:05:20.146]
INFO:
ivc-integration:prove_wasm ecc_op : 392
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.147]
INFO:
ivc-integration:prove_wasm busread : 12
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.147]
INFO:
ivc-integration:prove_wasm lookup : 2
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.147]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.148]
INFO:
ivc-integration:prove_wasm arithmetic : 6913
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.148]
INFO:
ivc-integration:prove_wasm delta_range : 2353
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.148]
INFO:
ivc-integration:prove_wasm elliptic : 2
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.149]
INFO:
ivc-integration:prove_wasm aux : 110
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.149]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.149]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.150]
INFO:
ivc-integration:prove_wasm overflow : 0
18:05:20 (mem: 855.63MiB)
18:05:20 [18:05:20.150]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
18:05:20 [18:05:20.150]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
18:05:20 [18:05:20.414]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
18:05:20 [18:05:20.895]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
18:05:22 [18:05:22.003]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 810.90 MiB)
18:05:22 [18:05:22.470]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
18:05:22 [18:05:22.990]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
18:05:22 [18:05:22.991]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
18:05:23 [18:05:23.021]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 855.63MiB)
18:05:23 [18:05:23.246]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
18:05:23 [18:05:23.255]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
18:05:23 [18:05:23.265]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
18:05:23 [18:05:23.332]
INFO:
ivc-integration:prove_wasm time to construct proving key: 83 ms. (mem: 855.63MiB)
18:05:25 [18:05:25.070]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 855.63MiB)
18:05:26 [18:05:26.299]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
18:05:26 [18:05:26.337]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
18:05:26 [18:05:26.628]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
18:05:26 [18:05:26.741]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 810.90 MiB)
18:05:26 prove translator... (mem: 810.90 MiB)
18:05:27 [18:05:27.456]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
18:05:27 [18:05:27.567]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
18:05:27 [18:05:27.568]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
18:05:27 [18:05:27.569]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
18:05:27 [18:05:27.672]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
18:05:29 [18:05:29.558]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 844.51 MiB)
18:05:29 [18:05:29.811]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
18:05:32 [18:05:32.561]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck
18:05:32 [18:05:32.563]
INFO:
ivc-integration:test:wasm bb - (mem: 845.51 MiB)
18:05:33 [18:05:33.577]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
18:05:35 [18:05:35.636]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 845.51 MiB)
18:05:35 [18:05:35.637]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 845.51 MiB)
18:05:35 [18:05:35.644]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 845.51 MiB)
18:05:35 [18:05:35.657]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1
18:05:35 [18:05:35.659]
INFO:
ivc-integration:test:wasm bb - (mem: 845.51 MiB)
18:05:35 [18:05:35.659]
INFO:
ivc-integration:test:wasm bb - libra_evals_verified: 1 (mem: 845.51 MiB)
18:05:35 pairing_check_verified: 1 (mem: 845.51 MiB)
18:05:35 Mega verified: 1 (mem: 845.51 MiB)
18:05:35 [18:05:35.787]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1
18:05:35 [18:05:35.789]
INFO:
ivc-integration:test:wasm bb - (mem: 845.51 MiB)
18:05:35 batch opening verified?: 1 (mem: 845.51 MiB)
18:05:35 eccvm consistency check verified?: 1 (mem: 845.51 MiB)
18:05:35 translation masking consistency checked?: 1 (mem: 845.51 MiB)
18:05:35 [18:05:35.816]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 845.51 MiB)
18:05:35 eccvm verified?: 1 (mem: 845.51 MiB)
18:05:35 accumulator construction_verified?: 1 (mem: 845.51 MiB)
18:05:35 translation verified?: 1 (mem: 845.51 MiB)
18:05:35 consistency verified?: 1 (mem: 845.51 MiB)
18:05:35 Goblin verified: 1 (mem: 845.51 MiB)
18:05:35 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-HxcZ5j" (mem:
18:05:35 [18:05:35.818]
INFO:
ivc-integration:test:wasm bb - 845.51 MiB)
18:05:35 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-HxcZ5j" (mem: 845.51 MiB)
18:05:35 BN254 commitment key size: 262144 (mem: 845.51 MiB)
18:05:35 [18:05:35.821]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 845.51 MiB)
18:05:35 [18:05:35.826]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.51 MiB)
18:05:35 goblin ecc op : 4/1024 (mem: 845.51 MiB)
18:05:35 busread : 3/6000 (mem: 845.51 MiB)
18:05:35 lookups : 2/15000 (mem: 845.51 MiB)
18:05:35 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 845.51 MiB)
18:05:35 arithmetic : 1773/56000 (mem: 845.51 MiB)
18:05:35 delta range : 1754/18000 (mem: 845.51 MiB)
18:05:35 elliptic : 2/6000 (mem: 845.51 MiB)
18:05:35 auxiliary : 26/26000 (mem: 845.51 MiB)
18:05:35 poseidon ext : 2/17000 (mem: 845.51 MiB)
18:05:35 poseidon int : 2/92000 (mem: 845.51 MiB)
18:05:35 overflow : 0/0 (mem: 845.51 MiB)
18:05:35 (mem: 845.51 MiB)
18:05:35 Total structured size: 242025 (mem: 845.51 MiB)
18:05:35 allocating polynomials object in proving key... (mem: 845.51 MiB)
18:05:35 [18:05:35.972]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 845.51 MiB)
18:05:35 [18:05:35.974]
INFO:
ivc-integration:test:wasm bb -
18:05:36 [18:05:36.003]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 180 ms. (mem: 845.51 MiB)
18:05:36 [18:05:36.112]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 845.51 MiB)
18:05:37 [18:05:37.135]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 845.51 MiB)
18:05:37 [18:05:37.136]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 845.51 MiB)
18:05:37 [18:05:37.551]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 845.51 MiB)
18:05:37 [18:05:37.561]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 845.51 MiB)
18:05:37 [18:05:37.580]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 845.51 MiB)
18:05:37 [18:05:37.583]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.51 MiB)
18:05:37 goblin ecc op : 56/1024 (mem: 845.51 MiB)
18:05:37 busread : 3/6000 (mem: 845.51 MiB)
18:05:37 lookups : 2/15000
18:05:37 [18:05:37.584]
INFO:
ivc-integration:test:wasm bb - (mem: 845.51 MiB)
18:05:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 845.51 MiB)
18:05:37 arithmetic : 4533/56000 (mem: 845.51 MiB)
18:05:37 delta range : 2060/18000 (mem: 845.51 MiB)
18:05:37 elliptic : 2/6000 (mem: 845.51 MiB)
18:05:37 auxiliary : 50/26000 (mem: 845.51 MiB)
18:05:37 poseidon ext : 1332/17000 (mem: 845.51 MiB)
18:05:37 poseidon int : 7583/92000 (mem: 845.51 MiB)
18:05:37 overflow : 0/0 (mem: 845.51 MiB)
18:05:37 (mem: 845.51 MiB)
18:05:37 Total structured size: 242025 (mem: 845.51 MiB)
18:05:37 allocating polynomials object in proving key... (mem: 845.51 MiB)
18:05:37 [18:05:37.790]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 845.51 MiB)
18:05:37 [18:05:37.823]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 242 ms. (mem: 845.51 MiB)
18:05:38 [18:05:38.043]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 845.51 MiB)
18:05:39 [18:05:39.040]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 845.51 MiB)
18:05:39 [18:05:39.040]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 845.51 MiB)
18:05:39 [18:05:39.814]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 845.51 MiB)
18:05:39 [18:05:39.985]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 848.51 MiB)
18:05:40 [18:05:40.100]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 880.51 MiB)
18:05:40 [18:05:40.587]
INFO:
ivc-integration:test:wasm bb - folded (mem: 880.51 MiB)
18:05:40 constructed folding proof (mem: 880.51 MiB)
18:05:40 Largest circuit: 15565 gates. Trace details: (mem: 880.51 MiB)
18:05:40 Minimum required block sizes for structured trace: (mem: 880.51 MiB)
18:05:40 (mem: 880.51 MiB)
18:05:40 prove decider... (mem: 880.51 MiB)
18:05:40 [18:05:40.590]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
18:05:40 busread : 3
18:05:40 lookup : 2
18:05:40 pub_inputs : 36
18:05:40 arithmetic : 4533
18:05:40 delta_range : 2060
18:05:40 elliptic : 2
18:05:40 aux : 50
18:05:40 poseidon2_external : 1332
18:05:40 poseidon2_internal : 7583
18:05:40 overflow : 0
18:05:40 [18:05:40.734]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 880.51 MiB)
18:05:40 [18:05:40.893]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 880.51 MiB)
18:05:40 [18:05:40.991]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
18:05:40 [18:05:40.993]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
18:05:42 [18:05:42.283]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 880.51 MiB)
18:05:42 [18:05:42.361]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 880.51 MiB)
18:05:42 finished decider proving. (mem: 880.51 MiB)
18:05:42 [18:05:42.380]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 880.51 MiB)
18:05:42 [18:05:42.502]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 880.51 MiB)
18:05:42 [18:05:42.510]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 880.51 MiB)
18:05:42 [18:05:42.763]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 880.51 MiB)
18:05:42 [18:05:42.818]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 316 ms. (mem: 880.51 MiB)
18:05:47 [18:05:47.381]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
18:05:51 [18:05:51.623]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
18:05:54 [18:05:54.352]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
18:05:54 [18:05:54.353]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
18:05:54 [18:05:54.353]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 46600 (mem: 855.63MiB)
18:05:54 [18:05:54.359]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 855.63MiB)
18:05:54 [18:05:54.362]
INFO:
ivc-integration:prove_wasm time to serialize vk: 3 (mem: 855.63MiB)
18:05:54 [18:05:54.378]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 855.63MiB)
18:05:54 [18:05:54.436]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.437]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.438]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.439]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.663]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.668]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.668]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.668]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.765]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.765]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.766]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.767]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.767]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
18:05:54 [18:05:54.767]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
18:05:55 [18:05:55.319]
INFO:
ivc-integration:test:wasm BB concurrency: 1
18:05:55 [18:05:55.320]
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-HxcZ5j/proof -k /tmp/bb-client-ivc-integration-HxcZ5j/vk -v
18:05:55 [18:05:55.403]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 979.94 MiB)
18:05:55 Scheme is: client_ivc, num threads: 1 (mem: 979.94 MiB)
18:05:55 --proof_path: /tmp/bb-client-ivc-integration-HxcZ5j/proof (mem: 979.94 MiB)
18:05:55 --vk_path: /tmp/bb-client-ivc-integration-HxcZ5j/vk (mem: 979.94 MiB)
18:05:55 --verbose: true (mem: 979.94 MiB)
18:05:55 --scheme: client_ivc (mem: 979.94 MiB)
18:05:55 [18:05:55.421]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 979.94 MiB)
18:05:55 [18:05:55.443]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 979.94 MiB)
18:05:55 [18:05:55.444]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 979.94 MiB)
18:05:55 [18:05:55.461]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 979.94 MiB)
18:05:55 Initialized BN254 CRS from memory with num points = 9 (mem: 979.94 MiB)
18:05:55 [18:05:55.462]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 979.94 MiB)
18:05:55 libra_evals_verified: 1 (mem: 979.94 MiB)
18:05:55 pairing_check_verified: 1 (mem: 979.94 MiB)
18:05:55 [18:05:55.463]
INFO:
ivc-integration:test:wasm Mega verified: 1 (mem: 979.94 MiB)
18:05:55 [18:05:55.886]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 979.94 MiB)
18:05:55 batch opening verified?: 1 (mem: 979.94 MiB)
18:05:55 eccvm consistency check verified?: 1 (mem: 979.94 MiB)
18:05:55 translation masking consistency checked?: 1 (mem: 979.94 MiB)
18:05:55 [18:05:55.907]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 979.94 MiB)
18:05:55 eccvm verified?: 1 (mem: 979.94 MiB)
18:05:55 accumulator construction_verified?: 1 (mem: 979.94 MiB)
18:05:55 translation verified?: 1 (mem: 979.94 MiB)
18:05:55 consistency verified?: 1 (mem: 979.94 MiB)
18:05:55 Goblin verified: 1 (mem: 979.94 MiB)
18:05:55 [18:05:55.910]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 979.94 MiB)
18:05:55 [18:05:55.937]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
18:05:56 [18:05:56.089]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12132885 bytes
18:05:56 [18:05:56.138]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
18:05:56 [18:05:56.513]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
18:05:56 [18:05:56.523]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
18:05:56 [18:05:56.524]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
18:05:57 [18:05:57.600]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
18:05:57 [18:05:57.678]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
18:05:57 [18:05:57.682]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
18:05:57 [18:05:57.760]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
18:05:57 [18:05:57.788]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
18:05:57 [18:05:57.836]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
18:05:57 [18:05:57.846]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
18:05:58 [18:05:58.065]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15724,"2":26010}
18:05:58 [18:05:58.167]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
18:05:58 [18:05:58.294]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12132885 bytes
18:05:58 [18:05:58.347]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
18:05:58 [18:05:58.797]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
18:05:58 [18:05:58.852]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
18:06:00 [18:06:00.023]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
18:06:00 [18:06:00.024]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
18:06:01 [18:06:01.293]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
18:06:01 [18:06:01.362]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
18:06:01 [18:06:01.388]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
18:06:01 [18:06:01.399]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 354.06MiB)
18:06:01 [18:06:01.408]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
18:06:01 [18:06:01.409]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
18:06:01 [18:06:01.431]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
18:06:01 [18:06:01.436]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
18:06:01 [18:06:01.436]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
18:06:01 [18:06:01.437]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
18:06:01 [18:06:01.437]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
18:06:01 [18:06:01.437]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
18:06:01 [18:06:01.437]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
18:06:01 [18:06:01.438]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
18:06:01 [18:06:01.438]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
18:06:01 [18:06:01.438]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
18:06:01 [18:06:01.438]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
18:06:01 [18:06:01.441]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
18:06:01 [18:06:01.441]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
18:06:01 [18:06:01.442]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
18:06:01 [18:06:01.442]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
18:06:01 [18:06:01.576]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.63MiB)
18:06:01 [18:06:01.612]
INFO:
ivc-integration:prove_wasm time to construct proving key: 203 ms. (mem: 581.81MiB)
18:06:01 [18:06:01.628]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.81MiB)
18:06:03 [18:06:03.678]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.81MiB)
18:06:03 [18:06:03.681]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
18:06:04 [18:06:04.255]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.81MiB)
18:06:04 [18:06:04.316]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
18:06:04 [18:06:04.354]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.81MiB)
18:06:04 [18:06:04.357]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.81MiB)
18:06:04 [18:06:04.359]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.81MiB)
18:06:04 [18:06:04.359]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.81MiB)
18:06:04 [18:06:04.360]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.81MiB)
18:06:04 [18:06:04.360]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.81MiB)
18:06:04 [18:06:04.360]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.81MiB)
18:06:04 [18:06:04.361]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 581.81MiB)
18:06:04 [18:06:04.361]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 581.81MiB)
18:06:04 [18:06:04.361]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.81MiB)
18:06:04 [18:06:04.362]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.81MiB)
18:06:04 [18:06:04.362]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 581.81MiB)
18:06:04 [18:06:04.363]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 581.81MiB)
18:06:04 [18:06:04.363]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.81MiB)
18:06:04 [18:06:04.364]
INFO:
ivc-integration:prove_wasm (mem: 581.81MiB)
18:06:04 [18:06:04.364]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.81MiB)
18:06:04 [18:06:04.365]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.81MiB)
18:06:04 [18:06:04.472]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.69MiB)
18:06:04 [18:06:04.500]
INFO:
ivc-integration:prove_wasm time to construct proving key: 145 ms. (mem: 820.69MiB)
18:06:04 [18:06:04.533]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
18:06:06 [18:06:06.481]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
18:06:06 [18:06:06.483]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.69MiB)
18:06:07 [18:06:07.213]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
18:06:07 [18:06:07.588]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
18:06:07 [18:06:07.941]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
18:06:08 [18:06:08.445]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
18:06:08 [18:06:08.446]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
18:06:08 [18:06:08.451]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
18:06:08 [18:06:08.452]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
18:06:08 [18:06:08.455]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
18:06:08 [18:06:08.456]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
18:06:08 [18:06:08.457]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
18:06:08 [18:06:08.457]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
18:06:08 [18:06:08.458]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
18:06:08 [18:06:08.459]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
18:06:08 [18:06:08.459]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
18:06:08 [18:06:08.460]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
18:06:08 [18:06:08.460]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
18:06:08 [18:06:08.460]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
18:06:08 [18:06:08.462]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
18:06:08 [18:06:08.462]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
18:06:08 [18:06:08.463]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
18:06:08 [18:06:08.463]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
18:06:08 [18:06:08.463]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
18:06:08 [18:06:08.495]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
18:06:08 [18:06:08.504]
INFO:
ivc-integration:prove_wasm time to construct proving key: 54 ms. (mem: 848.19MiB)
18:06:08 [18:06:08.534]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
18:06:09 [18:06:09.687]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
18:06:09 [18:06:09.689]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
18:06:09 [18:06:09.883]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
18:06:10 [18:06:10.162]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
18:06:10 [18:06:10.419]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
18:06:10 [18:06:10.627]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
18:06:10 [18:06:10.628]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
18:06:10 [18:06:10.642]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 848.19MiB)
18:06:10 [18:06:10.775]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
18:06:10 [18:06:10.928]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
18:06:10 [18:06:10.929]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
18:06:10 [18:06:10.936]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
18:06:10 [18:06:10.937]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
18:06:10 [18:06:10.938]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
18:06:10 [18:06:10.939]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
18:06:10 [18:06:10.939]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
18:06:10 [18:06:10.944]
INFO:
ivc-integration:prove_wasm arithmetic : 12208/56000 (mem: 848.19MiB)
18:06:10 [18:06:10.945]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 848.19MiB)
18:06:10 [18:06:10.945]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
18:06:10 [18:06:10.946]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
18:06:10 [18:06:10.946]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 848.19MiB)
18:06:10 [18:06:10.946]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 848.19MiB)
18:06:10 [18:06:10.947]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
18:06:10 [18:06:10.947]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
18:06:10 [18:06:10.947]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
18:06:10 [18:06:10.949]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
18:06:10 [18:06:10.972]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
18:06:11 [18:06:11.119]
INFO:
ivc-integration:prove_wasm time to construct proving key: 184 ms. (mem: 851.31MiB)
18:06:11 [18:06:11.326]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.31MiB)
18:06:12 [18:06:12.469]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.31MiB)
18:06:12 [18:06:12.471]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 851.31MiB)
18:06:13 [18:06:13.116]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.31MiB)
18:06:13 [18:06:13.353]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
18:06:13 [18:06:13.683]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
18:06:13 [18:06:13.912]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
18:06:13 [18:06:13.913]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
18:06:13 [18:06:13.925]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 875.44MiB)
18:06:14 [18:06:14.049]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 875.44MiB)
18:06:14 [18:06:14.050]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
18:06:14 [18:06:14.054]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
18:06:14 [18:06:14.054]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
18:06:14 [18:06:14.055]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 875.44MiB)
18:06:14 [18:06:14.055]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
18:06:14 [18:06:14.055]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 875.44MiB)
18:06:14 [18:06:14.055]
INFO:
ivc-integration:prove_wasm arithmetic : 6978/56000 (mem: 875.44MiB)
18:06:14 [18:06:14.056]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 875.44MiB)
18:06:14 [18:06:14.056]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
18:06:14 [18:06:14.056]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 875.44MiB)
18:06:14 [18:06:14.057]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 875.44MiB)
18:06:14 [18:06:14.057]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 875.44MiB)
18:06:14 [18:06:14.057]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
18:06:14 [18:06:14.057]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
18:06:14 [18:06:14.058]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
18:06:14 [18:06:14.058]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
18:06:14 [18:06:14.077]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
18:06:14 [18:06:14.100]
INFO:
ivc-integration:prove_wasm time to construct proving key: 50 ms. (mem: 875.44MiB)
18:06:14 [18:06:14.173]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
18:06:15 [18:06:15.261]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
18:06:15 [18:06:15.263]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 875.44MiB)
18:06:15 [18:06:15.792]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
18:06:16 [18:06:16.103]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
18:06:16 [18:06:16.447]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
18:06:16 [18:06:16.729]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
18:06:16 [18:06:16.730]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
18:06:16 [18:06:16.747]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 875.44MiB)
18:06:16 [18:06:16.886]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 875.44MiB)
18:06:16 [18:06:16.887]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
18:06:16 [18:06:16.893]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
18:06:16 [18:06:16.894]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
18:06:16 [18:06:16.895]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 875.44MiB)
18:06:16 [18:06:16.895]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
18:06:16 [18:06:16.896]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 875.44MiB)
18:06:16 [18:06:16.896]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 875.44MiB)
18:06:16 [18:06:16.897]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 875.44MiB)
18:06:16 [18:06:16.897]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
18:06:16 [18:06:16.897]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 875.44MiB)
18:06:16 [18:06:16.898]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 875.44MiB)
18:06:16 [18:06:16.898]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 875.44MiB)
18:06:16 [18:06:16.898]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
18:06:16 [18:06:16.898]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
18:06:16 [18:06:16.899]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
18:06:16 [18:06:16.899]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
18:06:16 [18:06:16.922]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
18:06:16 [18:06:16.951]
INFO:
ivc-integration:prove_wasm time to construct proving key: 63 ms. (mem: 875.44MiB)
18:06:17 [18:06:17.071]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
18:06:18 [18:06:18.220]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
18:06:18 [18:06:18.222]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 875.44MiB)
18:06:18 [18:06:18.770]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
18:06:19 [18:06:19.076]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
18:06:19 [18:06:19.368]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
18:06:19 [18:06:19.647]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
18:06:19 [18:06:19.648]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
18:06:19 [18:06:19.648]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 18280 (mem: 875.44MiB)
18:06:19 [18:06:19.649]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 875.44MiB)
18:06:19 [18:06:19.649]
INFO:
ivc-integration:prove_wasm Largest circuit: 48925 gates. Trace details: (mem: 875.44MiB)
18:06:19 [18:06:19.650]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 875.44MiB)
18:06:19 [18:06:19.650]
INFO:
ivc-integration:prove_wasm ecc_op : 792
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.651]
INFO:
ivc-integration:prove_wasm busread : 16
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.651]
INFO:
ivc-integration:prove_wasm lookup : 2
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.652]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.652]
INFO:
ivc-integration:prove_wasm arithmetic : 12208
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.653]
INFO:
ivc-integration:prove_wasm delta_range : 2981
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.654]
INFO:
ivc-integration:prove_wasm elliptic : 2
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.654]
INFO:
ivc-integration:prove_wasm aux : 350
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.655]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.655]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.655]
INFO:
ivc-integration:prove_wasm overflow : 0
18:06:19 (mem: 875.44MiB)
18:06:19 [18:06:19.655]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
18:06:19 [18:06:19.656]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 875.44MiB)
18:06:19 [18:06:19.814]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
18:06:20 [18:06:20.109]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
18:06:21 [18:06:21.142]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
18:06:21 [18:06:21.410]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
18:06:21 [18:06:21.410]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
18:06:21 [18:06:21.425]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 875.44MiB)
18:06:21 [18:06:21.608]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
18:06:21 [18:06:21.618]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
18:06:21 [18:06:21.638]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
18:06:21 [18:06:21.674]
INFO:
ivc-integration:prove_wasm time to construct proving key: 65 ms. (mem: 875.44MiB)
18:06:22 [18:06:22.696]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 875.44MiB)
18:06:23 [18:06:23.684]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 875.44MiB)
18:06:23 [18:06:23.706]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
18:06:23 [18:06:23.926]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
18:06:24 [18:06:24.590]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
18:06:24 [18:06:24.696]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
18:06:24 [18:06:24.697]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
18:06:24 [18:06:24.697]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 875.44MiB)
18:06:24 [18:06:24.788]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 875.44MiB)
18:06:27 [18:06:27.313]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
18:06:31 [18:06:31.919]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
18:06:36 [18:06:36.816]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 875.44MiB)
18:06:36 [18:06:36.817]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 875.44MiB)
18:06:41 [18:06:41.709]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
18:06:45 [18:06:45.038]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
18:06:47 [18:06:47.128]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
18:06:47 [18:06:47.129]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 875.44MiB)
18:06:47 [18:06:47.129]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 45762 (mem: 875.44MiB)
18:06:47 [18:06:47.133]
INFO:
ivc-integration:prove_wasm time to serialize proof: 4 (mem: 875.44MiB)
18:06:47 [18:06:47.135]
INFO:
ivc-integration:prove_wasm time to serialize vk: 2 (mem: 875.44MiB)
18:06:47 [18:06:47.160]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 875.44MiB)
18:06:47 [18:06:47.205]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.205]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.206]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.206]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.395]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.395]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.396]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.396]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.477]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.478]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.478]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.478]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.479]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.479]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.485]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 875.44MiB)
18:06:47 [18:06:47.534]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.535]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.536]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.536]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.762]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.762]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.763]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.763]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.821]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.822]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.822]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.822]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.823]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
18:06:47 [18:06:47.823]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
18:06:48 [18:06:48.292]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
18:06:48
PASS src/wasm_client_ivc_integration.test.ts (
107.444 s)
18:06:48 Client IVC Integration
18:06:48
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (51540 ms)
18:06:48
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2146 ms)
18:06:48
✓ Should generate a verifiable client IVC proof from a complex mock tx (50228 ms)
18:06:48
18:06:48
Test Suites: 1 passed, 1 total
18:06:48
Tests: 3 passed, 3 total
18:06:48
Snapshots: 0 total
18:06:48
Time: 107.534 s
18:06:48
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
18:06:48
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?