Parent Log:
http://ci.aztec-labs.com/dd06888a1deddcbe
Command: 48483af633053ffe: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/3b44f825dcd3249b2c8a1105905fa3394aa7213d
Env: REF_NAME=gh-readonly-queue/next/pr-15041-eeab628a4e44477cb6796c5a461ee0c0bb332d75 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 17:41:21 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15041_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
17:41:25 [17:41:25.821]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
17:41:25 [17:41:25.841]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-K2Pbds/ivc-inputs.msgpack
17:41:25 [17:41:25.843]
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-K2Pbds --ivc_inputs_path /tmp/bb-client-ivc-integration-K2Pbds/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
17:41:26 [17:41:26.047]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12062252 bytes
17:41:26 [17:41:26.059]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 187.86 MiB)
17:41:26 Scheme is: client_ivc, num threads: 128 (mem: 187.86 MiB)
17:41:26 --scheme: client_ivc (mem: 187.86 MiB)
17:41:26 --output_path: /tmp/bb-client-ivc-integration-K2Pbds (mem: 187.86 MiB)
17:41:26 --ivc_inputs_path: /tmp/bb-client-ivc-integration-K2Pbds/ivc-inputs.msgpack (mem: 187.86 MiB)
17:41:26 --verbose: true (mem: 187.86 MiB)
17:41:26 --write_vk: true (mem: 187.86 MiB)
17:41:26 BN254 commitment key size: 262144 (mem: 187.86 MiB)
17:41:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 244.00 MiB)
17:41:26 [17:41:26.068]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 291.95 MiB)
17:41:26 [17:41:26.074]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 291.95 MiB)
17:41:26 Constructing DeciderProvingKey (mem: 291.95 MiB)
17:41:26 [17:41:26.080]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 291.95 MiB)
17:41:26 goblin ecc op : 4/1024 (mem: 291.95 MiB)
17:41:26 busread : 7/6000 (mem: 291.95 MiB)
17:41:26 lookups : 2/15000 (mem: 291.95 MiB)
17:41:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 291.95 MiB)
17:41:26 arithmetic : 1760/56000 (mem: 291.95 MiB)
17:41:26 delta range : 1754/18000 (mem: 291.95 MiB)
17:41:26 elliptic : 2/6000 (mem: 291.95 MiB)
17:41:26 auxiliary : 26/26000 (mem: 291.95 MiB)
17:41:26 poseidon ext : 2/17000 (mem: 291.95 MiB)
17:41:26 poseidon int : 2/92000 (mem: 291.95 MiB)
17:41:26 overflow : 0/0 (mem: 291.95 MiB)
17:41:26 (mem: 291.95 MiB)
17:41:26 Total structured size: 242025 (mem: 291.95 MiB)
17:41:26 allocating polynomials object in proving key... (mem: 291.95 MiB)
17:41:26 [17:41:26.093]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
17:41:26 [17:41:26.176]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 493.11 MiB)
17:41:26 [17:41:26.190]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 116 ms. (mem: 510.11 MiB)
17:41:26 [17:41:26.232]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5b7c3e9cf600 (mem: 510.11 MiB)
17:41:26 computing oink proof... (mem: 510.11 MiB)
17:41:26 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 510.11 MiB)
17:41:26 [17:41:26.451]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 521.11 MiB)
17:41:26 [17:41:26.460]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.11 MiB)
17:41:26 [17:41:26.469]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
17:41:26 [17:41:26.477]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 521.11 MiB)
17:41:26 Constructing DeciderProvingKey (mem: 521.11 MiB)
17:41:26 [17:41:26.480]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 521.11 MiB)
17:41:26 goblin ecc op : 56/1024 (mem: 521.11 MiB)
17:41:26 busread : 12/6000 (mem: 521.11 MiB)
17:41:26 lookups : 2/15000 (mem: 521.11 MiB)
17:41:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 521.11 MiB)
17:41:26 arithmetic : 4625/56000 (mem: 521.11 MiB)
17:41:26 delta range : 2054/18000 (mem: 521.11 MiB)
17:41:26 elliptic : 2/6000 (mem: 521.11 MiB)
17:41:26 auxiliary : 110/26000 (mem: 521.11 MiB)
17:41:26 poseidon ext : 1302/17000 (mem: 521.11 MiB)
17:41:26 poseidon int : 7412/92000 (mem: 521.11 MiB)
17:41:26 overflow : 0/0 (mem: 521.11 MiB)
17:41:26 (mem: 521.11 MiB)
17:41:26 Total structured size: 242025 (mem: 521.11 MiB)
17:41:26 allocating polynomials object in proving key... (mem: 521.11 MiB)
17:41:26 [17:41:26.480]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
17:41:26 [17:41:26.643]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 726.11 MiB)
17:41:26 [17:41:26.675]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 197 ms. (mem: 743.11 MiB)
17:41:26 [17:41:26.746]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5b7c3e9dc280 (mem: 743.11 MiB)
17:41:26 computing folding proof (mem: 743.11 MiB)
17:41:26 [17:41:26.748]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 743.11 MiB)
17:41:27 [17:41:27.413]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 745.11 MiB)
17:41:27 [17:41:27.509]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 782.11 MiB)
17:41:27 [17:41:27.584]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 815.11 MiB)
17:41:27 [17:41:27.894]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
17:41:27 [17:41:27.896]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
17:41:28 [17:41:28.675]
INFO:
ivc-integration:test:wasm bb - folded (mem: 815.11 MiB)
17:41:28 constructed folding proof (mem: 815.11 MiB)
17:41:28 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 815.11 MiB)
17:41:28 ClientIVC: accumulating unknown_2 (mem: 815.11 MiB)
17:41:28 Constructing DeciderProvingKey (mem: 815.11 MiB)
17:41:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 815.11 MiB)
17:41:28 goblin ecc op : 392/1024 (mem: 815.11 MiB)
17:41:28 busread : 3/6000 (mem: 815.11 MiB)
17:41:28 lookups : 2/15000 (mem: 815.11 MiB)
17:41:28 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 815.11 MiB)
17:41:28 arithmetic : 6849/56000 (mem: 815.11 MiB)
17:41:28 delta range : 2333/18000 (mem: 815.11 MiB)
17:41:28 elliptic : 2/6000 (mem: 815.11 MiB)
17:41:28 auxiliary : 50/26000 (mem: 815.11 MiB)
17:41:28 poseidon ext : 2472/17000 (mem: 815.11 MiB)
17:41:28 poseidon int : 14081/92000 (mem: 815.11 MiB)
17:41:28 overflow : 0/0 (mem: 815.11 MiB)
17:41:28 (mem: 815.11 MiB)
17:41:28 Total structured size: 242025 (mem: 815.11 MiB)
17:41:28 allocating polynomials object in proving key... (mem: 815.11 MiB)
17:41:28 populating trace... (mem: 815.11 MiB)
17:41:28 time to construct proving key: 172 ms. (mem: 815.11 MiB)
17:41:28 getting honk vk... precomputed?: 0x5b7c3e9d1d00 (mem: 815.11 MiB)
17:41:28 computing folding proof (mem: 815.11 MiB)
17:41:28 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 815.11 MiB)
17:41:29 [17:41:29.124]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 815.11 MiB)
17:41:29 [17:41:29.234]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 815.11 MiB)
17:41:29 [17:41:29.271]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 815.11 MiB)
17:41:29 [17:41:29.604]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
17:41:29 [17:41:29.664]
INFO:
ivc-integration:test:wasm bb - folded (mem: 815.11 MiB)
17:41:29 constructed folding proof (mem: 815.11 MiB)
17:41:29 Largest circuit: 25792 gates. Trace details: (mem: 815.11 MiB)
17:41:29 Minimum required block sizes for structured trace: (mem: 815.11 MiB)
17:41:29 (mem: 815.11 MiB)
17:41:29 prove decider... (mem: 815.11 MiB)
17:41:29 [17:41:29.665]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
17:41:29 busread : 12
17:41:29 lookup : 2
17:41:29 pub_inputs : 36
17:41:29 arithmetic : 6849
17:41:29 delta_range : 2333
17:41:29 elliptic : 2
17:41:29 aux : 110
17:41:29 poseidon2_external : 2472
17:41:29 poseidon2_internal : 14081
17:41:29 overflow : 0
17:41:29 [17:41:29.696]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
17:41:29 [17:41:29.723]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
17:41:29 [17:41:29.747]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 354.06MiB)
17:41:29 [17:41:29.770]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
17:41:29 [17:41:29.771]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
17:41:29 [17:41:29.811]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
17:41:29 [17:41:29.813]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
17:41:29 [17:41:29.815]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
17:41:29 [17:41:29.815]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
17:41:29 [17:41:29.816]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
17:41:29 [17:41:29.817]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
17:41:29 [17:41:29.818]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
17:41:29 [17:41:29.818]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
17:41:29 [17:41:29.822]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
17:41:29 [17:41:29.823]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
17:41:29 [17:41:29.823]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
17:41:29 [17:41:29.823]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
17:41:29 [17:41:29.824]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
17:41:29 [17:41:29.824]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
17:41:29 [17:41:29.824]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
17:41:29 [17:41:29.912]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 815.11 MiB)
17:41:29 [17:41:29.958]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
17:41:30 [17:41:30.009]
INFO:
ivc-integration:prove_wasm time to construct proving key: 239 ms. (mem: 581.38MiB)
17:41:30 [17:41:30.034]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
17:41:30 [17:41:30.156]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 815.11 MiB)
17:41:31 [17:41:31.372]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 815.11 MiB)
17:41:31 [17:41:31.439]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 815.11 MiB)
17:41:31 finished decider proving. (mem: 815.11 MiB)
17:41:31 [17:41:31.472]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 815.11 MiB)
17:41:31 [17:41:31.584]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 815.11 MiB)
17:41:31 [17:41:31.597]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 815.11 MiB)
17:41:31 [17:41:31.804]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 815.11 MiB)
17:41:31 [17:41:31.941]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 356 ms. (mem: 815.11 MiB)
17:41:32 [17:41:32.034]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
17:41:32 [17:41:32.037]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
17:41:32 [17:41:32.527]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
17:41:32 [17:41:32.543]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
17:41:32 [17:41:32.584]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
17:41:32 [17:41:32.586]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
17:41:32 [17:41:32.591]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
17:41:32 [17:41:32.591]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
17:41:32 [17:41:32.592]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
17:41:32 [17:41:32.592]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
17:41:32 [17:41:32.592]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
17:41:32 [17:41:32.593]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.38MiB)
17:41:32 [17:41:32.594]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.38MiB)
17:41:32 [17:41:32.594]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
17:41:32 [17:41:32.598]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
17:41:32 [17:41:32.599]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.38MiB)
17:41:32 [17:41:32.600]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.38MiB)
17:41:32 [17:41:32.600]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
17:41:32 [17:41:32.601]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
17:41:32 [17:41:32.602]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
17:41:32 [17:41:32.603]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
17:41:32 [17:41:32.706]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.13MiB)
17:41:32 [17:41:32.750]
INFO:
ivc-integration:prove_wasm time to construct proving key: 167 ms. (mem: 820.19MiB)
17:41:32 [17:41:32.803]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.19MiB)
17:41:33 [17:41:33.187]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 815.11 MiB)
17:41:34 [17:41:34.030]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 815.11 MiB)
17:41:34 [17:41:34.392]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 815.11 MiB)
17:41:34 [17:41:34.914]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.19MiB)
17:41:34 [17:41:34.918]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.19MiB)
17:41:35 [17:41:35.688]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.19MiB)
17:41:35 [17:41:35.896]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 815.11 MiB)
17:41:35 [17:41:35.993]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
17:41:36 [17:41:36.435]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
17:41:36 [17:41:36.980]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
17:41:36 [17:41:36.981]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
17:41:36 [17:41:36.997]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 847.69MiB)
17:41:37 [17:41:37.053]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 815.11 MiB)
17:41:37 [17:41:37.090]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 815.11 MiB)
17:41:37 finished decider proving. (mem: 815.11 MiB)
17:41:37 Constructing a Goblin proof with num ultra ops = 1038 (mem: 815.11 MiB)
17:41:37 [17:41:37.149]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
17:41:37 [17:41:37.150]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
17:41:37 [17:41:37.153]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
17:41:37 [17:41:37.154]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
17:41:37 [17:41:37.155]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
17:41:37 [17:41:37.155]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
17:41:37 [17:41:37.156]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
17:41:37 [17:41:37.156]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 847.69MiB)
17:41:37 [17:41:37.157]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 847.69MiB)
17:41:37 [17:41:37.158]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
17:41:37 [17:41:37.158]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
17:41:37 [17:41:37.158]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 847.69MiB)
17:41:37 [17:41:37.159]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 847.69MiB)
17:41:37 [17:41:37.159]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
17:41:37 [17:41:37.159]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
17:41:37 [17:41:37.160]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
17:41:37 [17:41:37.160]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
17:41:37 [17:41:37.187]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
17:41:37 [17:41:37.219]
INFO:
ivc-integration:prove_wasm time to construct proving key: 70 ms. (mem: 847.69MiB)
17:41:37 [17:41:37.319]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 815.11 MiB)
17:41:37 [17:41:37.352]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
17:41:38 [17:41:38.022]
INFO:
ivc-integration:test:wasm bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat"
17:41:38 [17:41:38.023]
INFO:
ivc-integration:test:wasm bb - (mem: 815.11 MiB)
17:41:38 [17:41:38.048]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 815.11 MiB)
17:41:39 [17:41:39.198]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
17:41:39 [17:41:39.200]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.69MiB)
17:41:40 [17:41:40.251]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
17:41:40 [17:41:40.491]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 815.11 MiB)
17:41:40 [17:41:40.506]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
17:41:40 [17:41:40.820]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
17:41:41 [17:41:41.487]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
17:41:41 [17:41:41.488]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
17:41:41 [17:41:41.489]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 11780 (mem: 855.63MiB)
17:41:41 [17:41:41.489]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
17:41:41 [17:41:41.490]
INFO:
ivc-integration:prove_wasm Largest circuit: 25792 gates. Trace details: (mem: 855.63MiB)
17:41:41 [17:41:41.491]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
17:41:41 [17:41:41.492]
INFO:
ivc-integration:prove_wasm ecc_op : 392
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.493]
INFO:
ivc-integration:prove_wasm busread : 12
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.493]
INFO:
ivc-integration:prove_wasm lookup : 2
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.494]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.494]
INFO:
ivc-integration:prove_wasm arithmetic : 6849
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.494]
INFO:
ivc-integration:prove_wasm delta_range : 2333
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.495]
INFO:
ivc-integration:prove_wasm elliptic : 2
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.499]
INFO:
ivc-integration:prove_wasm aux : 110
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.500]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2472
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.501]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14081
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.501]
INFO:
ivc-integration:prove_wasm overflow : 0
17:41:41 (mem: 855.63MiB)
17:41:41 [17:41:41.502]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
17:41:41 [17:41:41.502]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
17:41:41 [17:41:41.734]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
17:41:42 [17:41:42.163]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
17:41:42 [17:41:42.781]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 815.11 MiB)
17:41:44 [17:41:44.029]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
17:41:44 [17:41:44.374]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
17:41:44 [17:41:44.375]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
17:41:44 [17:41:44.399]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 855.63MiB)
17:41:44 [17:41:44.630]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
17:41:44 [17:41:44.642]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
17:41:44 [17:41:44.667]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
17:41:44 [17:41:44.721]
INFO:
ivc-integration:prove_wasm time to construct proving key: 91 ms. (mem: 855.63MiB)
17:41:46 [17:41:46.211]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
17:41:47 [17:41:47.317]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 815.11 MiB)
17:41:47 [17:41:47.319]
INFO:
ivc-integration:test:wasm bb - prove translator... (mem: 815.11 MiB)
17:41:47 [17:41:47.392]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
17:41:47 [17:41:47.431]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
17:41:47 [17:41:47.686]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
17:41:48 [17:41:48.420]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
17:41:48 [17:41:48.558]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
17:41:48 [17:41:48.559]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
17:41:48 [17:41:48.560]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
17:41:48 [17:41:48.696]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
17:41:50 [17:41:50.174]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
17:41:50 [17:41:50.175]
INFO:
ivc-integration:test:wasm bb - (mem: 839.78 MiB)
17:41:51 [17:41:51.125]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
17:41:53 [17:41:53.342]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 839.78 MiB)
17:41:55 [17:41:55.260]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
17:41:56 [17:41:56.602]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 839.78 MiB)
17:41:56 finished translator proving. (mem: 839.78 MiB)
17:41:56 [17:41:56.606]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 839.78 MiB)
17:41:56 [17:41:56.636]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 839.78 MiB)
17:41:56 libra_evals_verified: 1 (mem: 839.78 MiB)
17:41:56 pairing_check_verified: 1 (mem: 839.78 MiB)
17:41:56 Mega verified: 1 (mem: 839.78 MiB)
17:41:56 [17:41:56.731]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 839.78 MiB)
17:41:56 batch opening verified?: 1 (mem: 839.78 MiB)
17:41:56 eccvm consistency check verified?: 1 (mem: 839.78 MiB)
17:41:56 translation masking consistency checked?: 1 (mem: 839.78 MiB)
17:41:56 [17:41:56.754]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 839.78 MiB)
17:41:56 eccvm verified?: 1 (mem: 839.78 MiB)
17:41:56 accumulator construction_verified?: 1 (mem: 839.78 MiB)
17:41:56 translation verified?: 1 (mem: 839.78 MiB)
17:41:56 consistency verified?: 1 (mem: 839.78 MiB)
17:41:56 Goblin verified: 1 (mem: 839.78 MiB)
17:41:56 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-K2Pbds" (mem: 839.78 MiB)
17:41:56 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-K2Pbds" (mem: 839.78 MiB)
17:41:56 BN254 commitment key size: 262144 (mem: 839.78 MiB)
17:41:56 [17:41:56.756]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 839.78 MiB)
17:41:56 [17:41:56.760]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 839.78 MiB)
17:41:56 goblin ecc op : 4/1024 (mem: 839.78 MiB)
17:41:56 busread : 3/6000 (mem: 839.78 MiB)
17:41:56 lookups : 2/15000 (mem: 839.78 MiB)
17:41:56 [17:41:56.762]
INFO:
ivc-integration:test:wasm bb - pub inputs : 17/5000 (populated in decider pk constructor) (mem: 839.78 MiB)
17:41:56 arithmetic : 1773/56000 (mem: 839.78 MiB)
17:41:56 delta range : 1754/18000 (mem: 839.78 MiB)
17:41:56 elliptic : 2/6000 (mem: 839.78 MiB)
17:41:56 auxiliary : 26/26000 (mem: 839.78 MiB)
17:41:56 poseidon ext : 2/17000 (mem: 839.78 MiB)
17:41:56 poseidon int : 2/92000 (mem: 839.78 MiB)
17:41:56 overflow : 0/0 (mem: 839.78 MiB)
17:41:56 (mem: 839.78 MiB)
17:41:56 Total structured size: 242025 (mem: 839.78 MiB)
17:41:56 allocating polynomials object in proving key... (mem: 839.78 MiB)
17:41:57 [17:41:57.112]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 839.78 MiB)
17:41:57 [17:41:57.135]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 379 ms. (mem: 839.78 MiB)
17:41:57 [17:41:57.225]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 839.78 MiB)
17:41:58 [17:41:58.158]
INFO:
ivc-integration:test:wasm bb - computing oink proof...
17:41:58 [17:41:58.163]
INFO:
ivc-integration:test:wasm bb - (mem: 839.78 MiB)
17:41:58 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 839.78 MiB)
17:41:58 [17:41:58.654]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 839.78 MiB)
17:41:58 [17:41:58.665]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 839.78 MiB)
17:41:58 [17:41:58.690]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 839.78 MiB)
17:41:58 [17:41:58.695]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 839.78 MiB)
17:41:58 goblin ecc op : 56/1024 (mem: 839.78 MiB)
17:41:58 busread : 3/6000 (mem: 839.78 MiB)
17:41:58 lookups : 2/15000 (mem: 839.78 MiB)
17:41:58 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 839.78 MiB)
17:41:58 arithmetic : 4481/56000 (mem: 839.78 MiB)
17:41:58 delta range : 2041/18000 (mem: 839.78 MiB)
17:41:58 elliptic : 2/6000 (mem: 839.78 MiB)
17:41:58 auxiliary : 50/26000 (mem: 839.78 MiB)
17:41:58 poseidon ext : 1312/17000 (mem: 839.78 MiB)
17:41:58 poseidon int : 7469/92000 (mem: 839.78 MiB)
17:41:58 overflow : 0/0 (mem: 839.78 MiB)
17:41:58 (mem: 839.78 MiB)
17:41:58 Total structured size: 242025 (mem: 839.78 MiB)
17:41:58 allocating polynomials object in proving key... (mem: 839.78 MiB)
17:41:58 [17:41:58.860]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 839.78 MiB)
17:41:58 [17:41:58.928]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 237 ms. (mem: 839.78 MiB)
17:41:59 [17:41:59.135]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 839.78 MiB)
17:42:00 [17:42:00.089]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 839.78 MiB)
17:42:00 [17:42:00.090]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 839.78 MiB)
17:42:00 [17:42:00.756]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 839.78 MiB)
17:42:01 [17:42:01.031]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 841.78 MiB)
17:42:01 [17:42:01.114]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 874.78 MiB)
17:42:01 [17:42:01.609]
INFO:
ivc-integration:test:wasm bb - folded (mem: 874.78 MiB)
17:42:01 constructed folding proof (mem: 874.78 MiB)
17:42:01 [17:42:01.614]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 15360 gates. Trace details: (mem: 874.78 MiB)
17:42:01 Minimum required block sizes for structured trace: (mem: 874.78 MiB)
17:42:01 (mem: 874.78 MiB)
17:42:01 prove decider... (mem: 874.78 MiB)
17:42:01 [17:42:01.615]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
17:42:01 busread : 3
17:42:01 lookup : 2
17:42:01 pub_inputs : 36
17:42:01 arithmetic : 4481
17:42:01 delta_range : 2041
17:42:01 elliptic : 2
17:42:01 aux : 50
17:42:01 poseidon2_external : 1312
17:42:01 poseidon2_internal : 7469
17:42:01 overflow : 0
17:42:01 [17:42:01.837]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
17:42:01 [17:42:01.838]
INFO:
ivc-integration:test:wasm bb - (mem:
17:42:01 [17:42:01.838]
INFO:
ivc-integration:test:wasm bb - 874.78
17:42:01 [17:42:01.844]
INFO:
ivc-integration:test:wasm bb - MiB)
17:42:02 [17:42:02.009]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 874.78 MiB)
17:42:02 [17:42:02.382]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
17:42:02 [17:42:02.383]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
17:42:03 [17:42:03.199]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 874.78 MiB)
17:42:03 [17:42:03.278]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 874.78 MiB)
17:42:03 finished decider proving. (mem: 874.78 MiB)
17:42:03 [17:42:03.291]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 874.78 MiB)
17:42:03 [17:42:03.407]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 874.78 MiB)
17:42:03 [17:42:03.414]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key...
17:42:03 [17:42:03.415]
INFO:
ivc-integration:test:wasm bb - (mem: 874.78 MiB)
17:42:03 [17:42:03.559]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 874.78 MiB)
17:42:03 [17:42:03.603]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 198 ms. (mem: 874.78 MiB)
17:42:08 [17:42:08.455]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
17:42:12 [17:42:12.227]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
17:42:14 [17:42:14.972]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
17:42:14 [17:42:14.981]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
17:42:14 [17:42:14.983]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 45275 (mem: 855.63MiB)
17:42:14 [17:42:14.990]
INFO:
ivc-integration:prove_wasm time to serialize proof: 8 (mem: 855.63MiB)
17:42:14 [17:42:14.996]
INFO:
ivc-integration:prove_wasm time to serialize vk: 6 (mem: 855.63MiB)
17:42:15 [17:42:15.012]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
17:42:15 [17:42:15.087]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.087]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.088]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.088]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.406]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.406]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.407]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.407]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.526]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.526]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.527]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.527]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.527]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
17:42:15 [17:42:15.528]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
17:42:16 [17:42:16.062]
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-K2Pbds/proof -k /tmp/bb-client-ivc-integration-K2Pbds/vk -v
17:42:16 [17:42:16.119]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 914.14 MiB)
17:42:16 [17:42:16.120]
INFO:
ivc-integration:test:wasm Scheme is: client_ivc, num threads: 128 (mem: 914.14 MiB)
17:42:16 --proof_path: /tmp/bb-client-ivc-integration-K2Pbds/proof (mem: 914.14 MiB)
17:42:16 --vk_path: /tmp/bb-client-ivc-integration-K2Pbds/vk (mem: 914.14 MiB)
17:42:16 --verbose: true (mem: 914.14 MiB)
17:42:16 --scheme: client_ivc (mem: 914.14 MiB)
17:42:16 [17:42:16.231]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 914.14 MiB)
17:42:16 [17:42:16.252]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 914.14 MiB)
17:42:16 [17:42:16.253]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 914.14 MiB)
17:42:16 [17:42:16.269]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 914.14 MiB)
17:42:16 [17:42:16.270]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1025 (mem: 914.14 MiB)
17:42:16 [17:42:16.270]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 914.14 MiB)
17:42:16 libra_evals_verified: 1 (mem: 914.14 MiB)
17:42:16 pairing_check_verified: 1 (mem: 914.14 MiB)
17:42:16 Mega verified: 1 (mem: 914.14 MiB)
17:42:16 [17:42:16.344]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 914.14 MiB)
17:42:16 batch opening verified?: 1 (mem: 914.14 MiB)
17:42:16 eccvm consistency check verified?: 1 (mem: 914.14 MiB)
17:42:16 translation masking consistency checked?: 1 (mem: 914.14 MiB)
17:42:16 [17:42:16.358]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 914.14 MiB)
17:42:16 eccvm verified?: 1 (mem: 914.14 MiB)
17:42:16 accumulator construction_verified?: 1 (mem: 914.14 MiB)
17:42:16 translation verified?: 1 (mem: 914.14 MiB)
17:42:16 consistency verified?: 1 (mem: 914.14 MiB)
17:42:16 Goblin verified: 1 (mem: 914.14 MiB)
17:42:16 [17:42:16.363]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 914.14 MiB)
17:42:16 [17:42:16.414]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
17:42:16 [17:42:16.569]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12062252 bytes
17:42:16 [17:42:16.614]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
17:42:16 [17:42:16.992]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
17:42:17 [17:42:17.025]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
17:42:17 [17:42:17.026]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
17:42:18 [17:42:18.114]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
17:42:18 [17:42:18.181]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
17:42:18 [17:42:18.190]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
17:42:18 [17:42:18.286]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
17:42:18 [17:42:18.306]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
17:42:18 [17:42:18.345]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
17:42:18 [17:42:18.358]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
17:42:18 [17:42:18.578]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15519,"2":25792}
17:42:18 [17:42:18.661]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
17:42:18 [17:42:18.785]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12062252 bytes
17:42:18 [17:42:18.837]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
17:42:19 [17:42:19.328]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
17:42:19 [17:42:19.347]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
17:42:20 [17:42:20.736]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
17:42:20 [17:42:20.737]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
17:42:21 [17:42:21.977]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
17:42:22 [17:42:22.061]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
17:42:22 [17:42:22.083]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
17:42:22 [17:42:22.113]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 354.06MiB)
17:42:22 [17:42:22.123]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
17:42:22 [17:42:22.127]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
17:42:22 [17:42:22.151]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
17:42:22 [17:42:22.152]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
17:42:22 [17:42:22.154]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
17:42:22 [17:42:22.155]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
17:42:22 [17:42:22.156]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
17:42:22 [17:42:22.156]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
17:42:22 [17:42:22.157]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
17:42:22 [17:42:22.157]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
17:42:22 [17:42:22.157]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
17:42:22 [17:42:22.158]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
17:42:22 [17:42:22.158]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
17:42:22 [17:42:22.158]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
17:42:22 [17:42:22.159]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
17:42:22 [17:42:22.159]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
17:42:22 [17:42:22.159]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
17:42:22 [17:42:22.225]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.56MiB)
17:42:22 [17:42:22.275]
INFO:
ivc-integration:prove_wasm time to construct proving key: 147 ms. (mem: 581.81MiB)
17:42:22 [17:42:22.299]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.81MiB)
17:42:24 [17:42:24.355]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.81MiB)
17:42:24 [17:42:24.361]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
17:42:24 [17:42:24.801]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.81MiB)
17:42:24 [17:42:24.817]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
17:42:24 [17:42:24.855]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.81MiB)
17:42:24 [17:42:24.856]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.81MiB)
17:42:24 [17:42:24.859]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.81MiB)
17:42:24 [17:42:24.860]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.81MiB)
17:42:24 [17:42:24.860]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.81MiB)
17:42:24 [17:42:24.861]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.81MiB)
17:42:24 [17:42:24.861]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.81MiB)
17:42:24 [17:42:24.862]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.81MiB)
17:42:24 [17:42:24.862]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.81MiB)
17:42:24 [17:42:24.862]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.81MiB)
17:42:24 [17:42:24.864]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.81MiB)
17:42:24 [17:42:24.864]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.81MiB)
17:42:24 [17:42:24.865]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.81MiB)
17:42:24 [17:42:24.867]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.81MiB)
17:42:24 [17:42:24.867]
INFO:
ivc-integration:prove_wasm (mem: 581.81MiB)
17:42:24 [17:42:24.868]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.81MiB)
17:42:24 [17:42:24.868]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.81MiB)
17:42:24 [17:42:24.931]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.44MiB)
17:42:25 [17:42:25.021]
INFO:
ivc-integration:prove_wasm time to construct proving key: 141 ms. (mem: 820.69MiB)
17:42:25 [17:42:25.035]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
17:42:27 [17:42:27.157]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
17:42:27 [17:42:27.159]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.69MiB)
17:42:27 [17:42:27.869]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
17:42:28 [17:42:28.122]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
17:42:28 [17:42:28.866]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
17:42:29 [17:42:29.335]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
17:42:29 [17:42:29.336]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
17:42:29 [17:42:29.340]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
17:42:29 [17:42:29.341]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
17:42:29 [17:42:29.345]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
17:42:29 [17:42:29.346]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
17:42:29 [17:42:29.346]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
17:42:29 [17:42:29.346]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
17:42:29 [17:42:29.347]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
17:42:29 [17:42:29.347]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
17:42:29 [17:42:29.352]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
17:42:29 [17:42:29.364]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
17:42:29 [17:42:29.365]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
17:42:29 [17:42:29.369]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
17:42:29 [17:42:29.371]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
17:42:29 [17:42:29.372]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
17:42:29 [17:42:29.373]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
17:42:29 [17:42:29.373]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
17:42:29 [17:42:29.381]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
17:42:29 [17:42:29.412]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
17:42:29 [17:42:29.424]
INFO:
ivc-integration:prove_wasm time to construct proving key: 80 ms. (mem: 848.19MiB)
17:42:29 [17:42:29.550]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
17:42:30 [17:42:30.836]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
17:42:30 [17:42:30.838]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
17:42:30 [17:42:30.992]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
17:42:31 [17:42:31.207]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
17:42:31 [17:42:31.444]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
17:42:31 [17:42:31.701]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
17:42:31 [17:42:31.704]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
17:42:31 [17:42:31.728]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 848.19MiB)
17:42:31 [17:42:31.973]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
17:42:32 [17:42:32.097]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
17:42:32 [17:42:32.097]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
17:42:32 [17:42:32.102]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
17:42:32 [17:42:32.102]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
17:42:32 [17:42:32.102]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
17:42:32 [17:42:32.103]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
17:42:32 [17:42:32.103]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
17:42:32 [17:42:32.103]
INFO:
ivc-integration:prove_wasm arithmetic : 12080/56000 (mem: 848.19MiB)
17:42:32 [17:42:32.103]
INFO:
ivc-integration:prove_wasm delta range : 2942/18000 (mem: 848.19MiB)
17:42:32 [17:42:32.104]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
17:42:32 [17:42:32.104]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
17:42:32 [17:42:32.104]
INFO:
ivc-integration:prove_wasm poseidon ext : 4942/17000 (mem: 848.19MiB)
17:42:32 [17:42:32.104]
INFO:
ivc-integration:prove_wasm poseidon int : 28160/92000 (mem: 848.19MiB)
17:42:32 [17:42:32.105]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
17:42:32 [17:42:32.105]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
17:42:32 [17:42:32.105]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
17:42:32 [17:42:32.105]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
17:42:32 [17:42:32.129]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
17:42:32 [17:42:32.179]
INFO:
ivc-integration:prove_wasm time to construct proving key: 83 ms. (mem: 851.25MiB)
17:42:32 [17:42:32.238]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.25MiB)
17:42:33 [17:42:33.589]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.25MiB)
17:42:33 [17:42:33.591]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 851.25MiB)
17:42:34 [17:42:34.377]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.25MiB)
17:42:34 [17:42:34.654]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
17:42:34 [17:42:34.966]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
17:42:35 [17:42:35.351]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
17:42:35 [17:42:35.352]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
17:42:35 [17:42:35.366]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 875.44MiB)
17:42:35 [17:42:35.529]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 875.44MiB)
17:42:35 [17:42:35.530]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
17:42:35 [17:42:35.536]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
17:42:35 [17:42:35.536]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
17:42:35 [17:42:35.537]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 875.44MiB)
17:42:35 [17:42:35.537]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
17:42:35 [17:42:35.537]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 875.44MiB)
17:42:35 [17:42:35.537]
INFO:
ivc-integration:prove_wasm arithmetic : 6914/56000 (mem: 875.44MiB)
17:42:35 [17:42:35.538]
INFO:
ivc-integration:prove_wasm delta range : 2347/18000 (mem: 875.44MiB)
17:42:35 [17:42:35.538]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
17:42:35 [17:42:35.538]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 875.44MiB)
17:42:35 [17:42:35.539]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 875.44MiB)
17:42:35 [17:42:35.540]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 875.44MiB)
17:42:35 [17:42:35.540]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
17:42:35 [17:42:35.541]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
17:42:35 [17:42:35.541]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
17:42:35 [17:42:35.542]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
17:42:35 [17:42:35.562]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
17:42:35 [17:42:35.582]
INFO:
ivc-integration:prove_wasm time to construct proving key: 54 ms. (mem: 875.44MiB)
17:42:35 [17:42:35.665]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
17:42:36 [17:42:36.942]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
17:42:36 [17:42:36.944]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 875.44MiB)
17:42:37 [17:42:37.544]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
17:42:37 [17:42:37.829]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
17:42:38 [17:42:38.175]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
17:42:38 [17:42:38.458]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
17:42:38 [17:42:38.458]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
17:42:38 [17:42:38.467]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 875.44MiB)
17:42:38 [17:42:38.623]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 875.44MiB)
17:42:38 [17:42:38.625]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
17:42:38 [17:42:38.628]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
17:42:38 [17:42:38.629]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
17:42:38 [17:42:38.630]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 875.44MiB)
17:42:38 [17:42:38.631]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
17:42:38 [17:42:38.632]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 875.44MiB)
17:42:38 [17:42:38.632]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 875.44MiB)
17:42:38 [17:42:38.633]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 875.44MiB)
17:42:38 [17:42:38.633]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
17:42:38 [17:42:38.634]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 875.44MiB)
17:42:38 [17:42:38.634]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 875.44MiB)
17:42:38 [17:42:38.635]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 875.44MiB)
17:42:38 [17:42:38.635]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
17:42:38 [17:42:38.636]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
17:42:38 [17:42:38.636]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
17:42:38 [17:42:38.636]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
17:42:38 [17:42:38.652]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
17:42:38 [17:42:38.677]
INFO:
ivc-integration:prove_wasm time to construct proving key: 54 ms. (mem: 875.44MiB)
17:42:38 [17:42:38.781]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
17:42:40 [17:42:40.094]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
17:42:40 [17:42:40.095]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 875.44MiB)
17:42:40 [17:42:40.639]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
17:42:40 [17:42:40.900]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
17:42:41 [17:42:41.262]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
17:42:41 [17:42:41.509]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
17:42:41 [17:42:41.510]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
17:42:41 [17:42:41.511]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 19445 (mem: 875.44MiB)
17:42:41 [17:42:41.511]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 875.44MiB)
17:42:41 [17:42:41.511]
INFO:
ivc-integration:prove_wasm Largest circuit: 48490 gates. Trace details: (mem: 875.44MiB)
17:42:41 [17:42:41.511]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 875.44MiB)
17:42:41 [17:42:41.512]
INFO:
ivc-integration:prove_wasm ecc_op : 792
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.512]
INFO:
ivc-integration:prove_wasm busread : 16
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.512]
INFO:
ivc-integration:prove_wasm lookup : 2
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.513]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.513]
INFO:
ivc-integration:prove_wasm arithmetic : 12080
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.513]
INFO:
ivc-integration:prove_wasm delta_range : 2942
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.514]
INFO:
ivc-integration:prove_wasm elliptic : 2
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.514]
INFO:
ivc-integration:prove_wasm aux : 350
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.515]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4942
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.515]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28160
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.515]
INFO:
ivc-integration:prove_wasm overflow : 0
17:42:41 (mem: 875.44MiB)
17:42:41 [17:42:41.516]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
17:42:41 [17:42:41.516]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 875.44MiB)
17:42:41 [17:42:41.682]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
17:42:41 [17:42:41.992]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
17:42:43 [17:42:43.024]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
17:42:43 [17:42:43.348]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
17:42:43 [17:42:43.349]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
17:42:43 [17:42:43.372]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 875.44MiB)
17:42:43 [17:42:43.539]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
17:42:43 [17:42:43.547]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
17:42:43 [17:42:43.580]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
17:42:43 [17:42:43.636]
INFO:
ivc-integration:prove_wasm time to construct proving key: 93 ms. (mem: 875.44MiB)
17:42:44 [17:42:44.791]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.44MiB)
17:42:45 [17:42:45.936]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 875.44MiB)
17:42:45 [17:42:45.969]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
17:42:46 [17:42:46.243]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
17:42:47 [17:42:47.076]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
17:42:47 [17:42:47.206]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
17:42:47 [17:42:47.207]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
17:42:47 [17:42:47.208]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 875.44MiB)
17:42:47 [17:42:47.369]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 875.44MiB)
17:42:50 [17:42:50.569]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
17:42:54 [17:42:54.476]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
17:42:58 [17:42:58.817]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 875.44MiB)
17:42:58 [17:42:58.817]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 875.44MiB)
17:43:03 [17:43:03.588]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
17:43:06 [17:43:06.635]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
17:43:08 [17:43:08.694]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
17:43:08 [17:43:08.695]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 875.44MiB)
17:43:08 [17:43:08.695]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 46631 (mem: 875.44MiB)
17:43:08 [17:43:08.699]
INFO:
ivc-integration:prove_wasm time to serialize proof: 4 (mem: 875.44MiB)
17:43:08 [17:43:08.701]
INFO:
ivc-integration:prove_wasm time to serialize vk: 2 (mem: 875.44MiB)
17:43:08 [17:43:08.716]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.44MiB)
17:43:08 [17:43:08.755]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
17:43:08 [17:43:08.756]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
17:43:08 [17:43:08.756]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
17:43:08 [17:43:08.756]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
17:43:08 [17:43:08.931]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
17:43:08 [17:43:08.932]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
17:43:08 [17:43:08.933]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
17:43:08 [17:43:08.933]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.005]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.006]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.007]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.007]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.008]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.008]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.013]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.44MiB)
17:43:09 [17:43:09.061]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.062]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.062]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.062]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.281]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.282]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.282]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.282]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.351]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.352]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.352]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.352]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.352]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.353]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
17:43:09 [17:43:09.904]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
17:43:09
PASS src/wasm_client_ivc_integration.test.ts (
107.821 s)
17:43:09 Client IVC Integration
17:43:09
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (50699 ms)
17:43:09
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2176 ms)
17:43:09
✓ Should generate a verifiable client IVC proof from a complex mock tx (51326 ms)
17:43:09
17:43:09
Test Suites: 1 passed, 1 total
17:43:09
Tests: 3 passed, 3 total
17:43:09
Snapshots: 0 total
17:43:09
Time: 107.937 s
17:43:09
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
17:43:09
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?