Parent Log:
http://ci.aztec-labs.com/704f35e55ac1c274
Command: b54d5ade67e7ffc9: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/347f29fb98cc855ead57129b4d1a444d9fb16820
Env: REF_NAME=gh-readonly-queue/next/pr-15059-16fc84676c7308fa5f7ca4a54b67319803d0f5b7 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 15:56:21 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15059_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
15:56:26 [15:56:26.315]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
15:56:26 [15:56:26.336]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-dlVOOe/ivc-inputs.msgpack
15:56:26 [15:56:26.338]
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-dlVOOe --ivc_inputs_path /tmp/bb-client-ivc-integration-dlVOOe/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:56:26 [15:56:26.513]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12062252 bytes
15:56:26 [15:56:26.523]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 186.42 MiB)
15:56:26 Scheme is: client_ivc, num threads: 128 (mem: 186.42 MiB)
15:56:26 --scheme: client_ivc (mem: 186.42 MiB)
15:56:26 --output_path: /tmp/bb-client-ivc-integration-dlVOOe (mem: 186.42 MiB)
15:56:26 --ivc_inputs_path: /tmp/bb-client-ivc-integration-dlVOOe/ivc-inputs.msgpack (mem: 186.42 MiB)
15:56:26 --verbose: true (mem: 186.42 MiB)
15:56:26 --write_vk: true (mem: 186.42 MiB)
15:56:26 BN254 commitment key size: 262144 (mem: 186.42 MiB)
15:56:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 247.00 MiB)
15:56:26 [15:56:26.551]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
15:56:26 [15:56:26.555]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 295.10 MiB)
15:56:26 [15:56:26.559]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 295.10 MiB)
15:56:26 Constructing DeciderProvingKey (mem: 295.10 MiB)
15:56:26 [15:56:26.564]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 295.10 MiB)
15:56:26 goblin ecc op : 4/1024 (mem: 295.10 MiB)
15:56:26 busread : 7/6000 (mem: 295.10 MiB)
15:56:26 lookups : 2/15000 (mem: 295.10 MiB)
15:56:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 295.10 MiB)
15:56:26 arithmetic : 1760/56000 (mem: 295.10 MiB)
15:56:26 delta range : 1754/18000 (mem: 295.10 MiB)
15:56:26 elliptic : 2/6000 (mem: 295.10 MiB)
15:56:26 auxiliary : 26/26000 (mem: 295.10 MiB)
15:56:26 poseidon ext : 2/17000 (mem: 295.10 MiB)
15:56:26 poseidon int : 2/92000 (mem: 295.10 MiB)
15:56:26 overflow : 0/0 (mem: 295.10 MiB)
15:56:26 (mem: 295.10 MiB)
15:56:26 Total structured size: 242025 (mem: 295.10 MiB)
15:56:26 allocating polynomials object in proving key... (mem: 295.10 MiB)
15:56:26 [15:56:26.645]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 506.26 MiB)
15:56:26 [15:56:26.656]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 97 ms. (mem: 520.26 MiB)
15:56:26 [15:56:26.693]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x62935a5b1600 (mem: 520.26 MiB)
15:56:26 computing oink proof... (mem: 520.26 MiB)
15:56:26 [15:56:26.695]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.26 MiB)
15:56:26 [15:56:26.850]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 529.26 MiB)
15:56:26 [15:56:26.860]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 529.26 MiB)
15:56:26 [15:56:26.882]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 529.26 MiB)
15:56:26 Constructing DeciderProvingKey (mem: 529.26 MiB)
15:56:26 [15:56:26.884]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 529.26 MiB)
15:56:26 goblin ecc op : 56/1024 (mem: 529.26 MiB)
15:56:26 busread : 12/6000 (mem: 529.26 MiB)
15:56:26 lookups : 2/15000
15:56:26 [15:56:26.885]
INFO:
ivc-integration:test:wasm bb - (mem: 529.26 MiB)
15:56:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 529.26 MiB)
15:56:26 arithmetic : 4625/56000 (mem: 529.26 MiB)
15:56:26 delta range : 2054/18000 (mem: 529.26 MiB)
15:56:26 elliptic : 2/6000 (mem: 529.26 MiB)
15:56:26 auxiliary : 110/26000 (mem: 529.26 MiB)
15:56:26 poseidon ext : 1302/17000 (mem: 529.26 MiB)
15:56:26 poseidon int : 7412/92000 (mem: 529.26 MiB)
15:56:26 overflow : 0/0 (mem: 529.26 MiB)
15:56:26 (mem: 529.26 MiB)
15:56:26 Total structured size: 242025 (mem: 529.26 MiB)
15:56:26 allocating polynomials object in proving key... (mem: 529.26 MiB)
15:56:26 [15:56:26.902]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
15:56:26 [15:56:26.915]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
15:56:26 [15:56:26.987]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 730.26 MiB)
15:56:27 [15:56:27.008]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 125 ms. (mem: 744.26 MiB)
15:56:27 [15:56:27.056]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x62935a5be280 (mem: 744.26 MiB)
15:56:27 computing folding proof (mem: 744.26 MiB)
15:56:27 [15:56:27.056]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 744.26 MiB)
15:56:27 [15:56:27.525]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 744.26 MiB)
15:56:27 [15:56:27.612]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 782.26 MiB)
15:56:27 [15:56:27.665]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 814.26 MiB)
15:56:28 [15:56:28.125]
INFO:
ivc-integration:test:wasm bb - folded (mem: 814.26 MiB)
15:56:28 constructed folding proof (mem: 814.26 MiB)
15:56:28 [15:56:28.136]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 814.26 MiB)
15:56:28 [15:56:28.147]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
15:56:28 [15:56:28.148]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
15:56:28 [15:56:28.793]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 814.26 MiB)
15:56:28 Constructing DeciderProvingKey (mem: 814.26 MiB)
15:56:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 814.26 MiB)
15:56:28 goblin ecc op : 392/1024 (mem: 814.26 MiB)
15:56:28 busread : 3/6000 (mem: 814.26 MiB)
15:56:28 lookups : 2/15000 (mem: 814.26 MiB)
15:56:28 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 814.26 MiB)
15:56:28 arithmetic : 6849/56000 (mem: 814.26 MiB)
15:56:28 delta range : 2333/18000 (mem: 814.26 MiB)
15:56:28 elliptic : 2/6000 (mem: 814.26 MiB)
15:56:28 auxiliary : 50/26000 (mem: 814.26 MiB)
15:56:28 poseidon ext : 2472/17000 (mem: 814.26 MiB)
15:56:28 poseidon int : 14081/92000 (mem: 814.26 MiB)
15:56:28 overflow : 0/0 (mem: 814.26 MiB)
15:56:28 (mem: 814.26 MiB)
15:56:28 Total structured size: 242025 (mem: 814.26 MiB)
15:56:28 allocating polynomials object in proving key... (mem: 814.26 MiB)
15:56:28 populating trace... (mem: 814.26 MiB)
15:56:28 time to construct proving key: 216 ms. (mem: 814.26 MiB)
15:56:28 getting honk vk... precomputed?: 0x62935a5b3d00 (mem: 814.26 MiB)
15:56:28 computing folding proof (mem: 814.26 MiB)
15:56:28 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 814.26 MiB)
15:56:29 [15:56:29.160]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 814.26 MiB)
15:56:29 [15:56:29.309]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 814.26 MiB)
15:56:29 [15:56:29.371]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 814.26 MiB)
15:56:29 [15:56:29.488]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
15:56:29 [15:56:29.546]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
15:56:29 [15:56:29.570]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
15:56:29 [15:56:29.600]
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)
15:56:29 [15:56:29.606]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
15:56:29 [15:56:29.614]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
15:56:29 [15:56:29.645]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
15:56:29 [15:56:29.646]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
15:56:29 [15:56:29.648]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
15:56:29 [15:56:29.650]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
15:56:29 [15:56:29.652]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
15:56:29 [15:56:29.653]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
15:56:29 [15:56:29.655]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
15:56:29 [15:56:29.655]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
15:56:29 [15:56:29.656]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
15:56:29 [15:56:29.656]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
15:56:29 [15:56:29.656]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
15:56:29 [15:56:29.657]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
15:56:29 [15:56:29.657]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
15:56:29 [15:56:29.657]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
15:56:29 [15:56:29.663]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
15:56:29 [15:56:29.782]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
15:56:29 [15:56:29.823]
INFO:
ivc-integration:prove_wasm time to construct proving key: 213 ms. (mem: 581.38MiB)
15:56:29 [15:56:29.825]
INFO:
ivc-integration:test:wasm bb - folded (mem: 814.26 MiB)
15:56:29 constructed folding proof (mem: 814.26 MiB)
15:56:29 Largest circuit: 25792 gates. Trace details: (mem: 814.26 MiB)
15:56:29 Minimum required block sizes for structured trace: (mem: 814.26 MiB)
15:56:29 (mem: 814.26 MiB)
15:56:29 prove decider... (mem: 814.26 MiB)
15:56:29 [15:56:29.826]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
15:56:29 busread : 12
15:56:29 lookup : 2
15:56:29 pub_inputs : 36
15:56:29 arithmetic : 6849
15:56:29 delta_range : 2333
15:56:29 elliptic : 2
15:56:29 aux : 110
15:56:29 poseidon2_external : 2472
15:56:29 poseidon2_internal : 14081
15:56:29 overflow : 0
15:56:29 [15:56:29.844]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
15:56:29 [15:56:29.991]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 814.26 MiB)
15:56:30 [15:56:30.169]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 814.26 MiB)
15:56:31 [15:56:31.198]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 814.26 MiB)
15:56:31 [15:56:31.309]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 814.26 MiB)
15:56:31 finished decider proving. (mem: 814.26 MiB)
15:56:31 [15:56:31.326]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 814.26 MiB)
15:56:31 [15:56:31.430]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 814.26 MiB)
15:56:31 [15:56:31.436]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 814.26 MiB)
15:56:31 [15:56:31.557]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 814.26 MiB)
15:56:31 [15:56:31.614]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 182 ms. (mem: 814.26 MiB)
15:56:31 [15:56:31.710]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
15:56:31 [15:56:31.713]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
15:56:32 [15:56:32.257]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
15:56:32 [15:56:32.279]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
15:56:32 [15:56:32.312]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
15:56:32 [15:56:32.313]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
15:56:32 [15:56:32.316]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
15:56:32 [15:56:32.317]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
15:56:32 [15:56:32.317]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
15:56:32 [15:56:32.318]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
15:56:32 [15:56:32.318]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
15:56:32 [15:56:32.319]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.38MiB)
15:56:32 [15:56:32.319]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.38MiB)
15:56:32 [15:56:32.320]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
15:56:32 [15:56:32.320]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
15:56:32 [15:56:32.321]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.38MiB)
15:56:32 [15:56:32.321]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.38MiB)
15:56:32 [15:56:32.322]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
15:56:32 [15:56:32.323]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
15:56:32 [15:56:32.323]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
15:56:32 [15:56:32.323]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
15:56:32 [15:56:32.418]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.06MiB)
15:56:32 [15:56:32.470]
INFO:
ivc-integration:prove_wasm time to construct proving key: 159 ms. (mem: 820.19MiB)
15:56:32 [15:56:32.527]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.19MiB)
15:56:32 [15:56:32.611]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 814.26 MiB)
15:56:33 [15:56:33.304]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 814.26 MiB)
15:56:33 [15:56:33.622]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 814.26 MiB)
15:56:34 [15:56:34.493]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.19MiB)
15:56:34 [15:56:34.498]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.19MiB)
15:56:35 [15:56:35.346]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 814.26 MiB)
15:56:35 [15:56:35.407]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.19MiB)
15:56:35 [15:56:35.702]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
15:56:35 [15:56:35.972]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
15:56:36 [15:56:36.389]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 814.26 MiB)
15:56:36 [15:56:36.426]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 814.26 MiB)
15:56:36 finished decider proving. (mem: 814.26 MiB)
15:56:36 [15:56:36.429]
INFO:
ivc-integration:test:wasm bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 814.26 MiB)
15:56:36 [15:56:36.472]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
15:56:36 [15:56:36.473]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
15:56:36 [15:56:36.483]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 847.69MiB)
15:56:36 [15:56:36.630]
INFO:
ivc-integration:test:wasm bb - prove eccvm...
15:56:36 [15:56:36.632]
INFO:
ivc-integration:test:wasm bb - (mem: 814.26 MiB)
15:56:36 [15:56:36.632]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
15:56:36 [15:56:36.633]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
15:56:36 [15:56:36.637]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
15:56:36 [15:56:36.638]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
15:56:36 [15:56:36.640]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
15:56:36 [15:56:36.642]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
15:56:36 [15:56:36.643]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
15:56:36 [15:56:36.644]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 847.69MiB)
15:56:36 [15:56:36.644]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 847.69MiB)
15:56:36 [15:56:36.645]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
15:56:36 [15:56:36.645]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
15:56:36 [15:56:36.646]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 847.69MiB)
15:56:36 [15:56:36.646]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 847.69MiB)
15:56:36 [15:56:36.647]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
15:56:36 [15:56:36.647]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
15:56:36 [15:56:36.648]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
15:56:36 [15:56:36.648]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
15:56:36 [15:56:36.660]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
15:56:36 [15:56:36.690]
INFO:
ivc-integration:prove_wasm time to construct proving key: 58 ms. (mem: 847.69MiB)
15:56:36 [15:56:36.806]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
15:56:37 [15:56:37.335]
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: 814.26 MiB)
15:56:37 [15:56:37.368]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 814.26 MiB)
15:56:38 [15:56:38.931]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
15:56:38 [15:56:38.935]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.69MiB)
15:56:39 [15:56:39.566]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 814.26 MiB)
15:56:39 [15:56:39.937]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
15:56:40 [15:56:40.115]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
15:56:40 [15:56:40.371]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
15:56:40 [15:56:40.984]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
15:56:40 [15:56:40.986]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
15:56:40 [15:56:40.986]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 11437 (mem: 855.63MiB)
15:56:40 [15:56:40.987]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
15:56:40 [15:56:40.987]
INFO:
ivc-integration:prove_wasm Largest circuit: 25792 gates. Trace details: (mem: 855.63MiB)
15:56:40 [15:56:40.988]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
15:56:40 [15:56:40.988]
INFO:
ivc-integration:prove_wasm ecc_op : 392
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.989]
INFO:
ivc-integration:prove_wasm busread : 12
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.990]
INFO:
ivc-integration:prove_wasm lookup : 2
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.990]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.994]
INFO:
ivc-integration:prove_wasm arithmetic : 6849
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.995]
INFO:
ivc-integration:prove_wasm delta_range : 2333
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.995]
INFO:
ivc-integration:prove_wasm elliptic : 2
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.995]
INFO:
ivc-integration:prove_wasm aux : 110
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.996]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2472
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.996]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14081
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.996]
INFO:
ivc-integration:prove_wasm overflow : 0
15:56:40 (mem: 855.63MiB)
15:56:40 [15:56:40.996]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
15:56:40 [15:56:40.997]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
15:56:41 [15:56:41.190]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
15:56:41 [15:56:41.551]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
15:56:41 [15:56:41.641]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 814.26 MiB)
15:56:43 [15:56:43.079]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
15:56:43 [15:56:43.471]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
15:56:43 [15:56:43.474]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
15:56:43 [15:56:43.508]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 855.63MiB)
15:56:43 [15:56:43.768]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
15:56:43 [15:56:43.779]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
15:56:43 [15:56:43.824]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
15:56:43 [15:56:43.907]
INFO:
ivc-integration:prove_wasm time to construct proving key: 138 ms. (mem: 855.63MiB)
15:56:45 [15:56:45.332]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
15:56:46 [15:56:46.509]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 814.26 MiB)
15:56:46 prove translator... (mem: 814.26 MiB)
15:56:46 [15:56:46.572]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
15:56:46 [15:56:46.605]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
15:56:46 [15:56:46.889]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
15:56:47 [15:56:47.841]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
15:56:47 [15:56:47.946]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
15:56:47 [15:56:47.947]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
15:56:47 [15:56:47.947]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
15:56:48 [15:56:48.042]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
15:56:49 [15:56:49.321]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 845.56 MiB)
15:56:50 [15:56:50.700]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
15:56:51 [15:56:51.915]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 846.56 MiB)
15:56:54 [15:56:54.639]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 846.56 MiB)
15:56:54 [15:56:54.640]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 846.56 MiB)
15:56:54 [15:56:54.643]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.56 MiB)
15:56:54 [15:56:54.648]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
15:56:54 [15:56:54.658]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem:
15:56:54 [15:56:54.663]
INFO:
ivc-integration:test:wasm bb - 846.56 MiB)
15:56:54 libra_evals_verified: 1 (mem: 846.56 MiB)
15:56:54 pairing_check_verified: 1 (mem: 846.56 MiB)
15:56:54 Mega verified: 1 (mem: 846.56 MiB)
15:56:54 [15:56:54.744]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 846.56 MiB)
15:56:54 batch opening verified?: 1 (mem: 846.56 MiB)
15:56:54 eccvm consistency check verified?: 1 (mem: 846.56 MiB)
15:56:54 translation masking consistency checked?: 1 (mem: 846.56 MiB)
15:56:54 [15:56:54.762]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 846.56 MiB)
15:56:54 eccvm verified?: 1 (mem: 846.56 MiB)
15:56:54 accumulator construction_verified?: 1 (mem: 846.56 MiB)
15:56:54 translation verified?: 1 (mem: 846.56 MiB)
15:56:54 consistency verified?: 1 (mem: 846.56 MiB)
15:56:54 Goblin verified: 1 (mem: 846.56 MiB)
15:56:54 [15:56:54.763]
INFO:
ivc-integration:test:wasm bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-dlVOOe" (mem: 846.56 MiB)
15:56:54 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-dlVOOe" (mem: 846.56 MiB)
15:56:54 BN254 commitment key size: 262144 (mem: 846.56 MiB)
15:56:54 [15:56:54.768]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.56 MiB)
15:56:54 [15:56:54.770]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.56 MiB)
15:56:54 goblin ecc op : 4/1024 (mem: 846.56 MiB)
15:56:54 busread : 3/6000 (mem: 846.56 MiB)
15:56:54 lookups : 2/15000 (mem: 846.56 MiB)
15:56:54 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.56 MiB)
15:56:54 arithmetic : 1773/56000 (mem: 846.56 MiB)
15:56:54 delta range : 1754/18000 (mem: 846.56 MiB)
15:56:54 elliptic : 2/6000 (mem: 846.56 MiB)
15:56:54 auxiliary : 26/26000 (mem: 846.56 MiB)
15:56:54 poseidon ext : 2/17000 (mem: 846.56 MiB)
15:56:54 poseidon int : 2/92000 (mem: 846.56 MiB)
15:56:54 overflow : 0/0 (mem: 846.56 MiB)
15:56:54 (mem: 846.56 MiB)
15:56:54 Total structured size: 242025 (mem: 846.56 MiB)
15:56:54 allocating polynomials object in proving key... (mem: 846.56 MiB)
15:56:54 [15:56:54.942]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.56 MiB)
15:56:54 [15:56:54.959]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 193 ms. (mem: 846.56 MiB)
15:56:55 [15:56:55.088]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.56 MiB)
15:56:56 [15:56:56.014]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 846.56 MiB)
15:56:56 [15:56:56.015]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.56 MiB)
15:56:56 [15:56:56.422]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 846.56 MiB)
15:56:56 [15:56:56.429]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.56 MiB)
15:56:56 [15:56:56.465]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.56 MiB)
15:56:56 [15:56:56.469]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.56 MiB)
15:56:56 goblin ecc op : 56/1024 (mem: 846.56 MiB)
15:56:56 busread : 3/6000 (mem: 846.56 MiB)
15:56:56 lookups : 2/15000 (mem: 846.56 MiB)
15:56:56 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.56 MiB)
15:56:56 arithmetic : 4481/56000 (mem: 846.56 MiB)
15:56:56 delta range : 2041/18000 (mem: 846.56 MiB)
15:56:56 elliptic : 2/6000 (mem: 846.56 MiB)
15:56:56 auxiliary : 50/26000 (mem: 846.56 MiB)
15:56:56 poseidon ext : 1312/17000 (mem: 846.56 MiB)
15:56:56 poseidon int : 7469/92000 (mem: 846.56 MiB)
15:56:56 overflow : 0/0 (mem: 846.56 MiB)
15:56:56 (mem: 846.56 MiB)
15:56:56 Total structured size: 242025 (mem: 846.56 MiB)
15:56:56 allocating polynomials object in proving key... (mem: 846.56 MiB)
15:56:56 [15:56:56.685]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.56 MiB)
15:56:56 [15:56:56.726]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 260 ms. (mem: 846.56 MiB)
15:56:56 [15:56:56.940]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.56 MiB)
15:56:57 [15:56:57.953]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 846.56 MiB)
15:56:57 [15:56:57.955]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 846.56 MiB)
15:56:58 [15:56:58.667]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 846.56 MiB)
15:56:58 [15:56:58.831]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 848.56 MiB)
15:56:58 [15:56:58.907]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 880.56 MiB)
15:56:59 [15:56:59.374]
INFO:
ivc-integration:test:wasm bb - folded (mem: 880.56 MiB)
15:56:59 constructed folding proof (mem: 880.56 MiB)
15:56:59 [15:56:59.378]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 15360 gates. Trace details: (mem: 880.56 MiB)
15:56:59 Minimum required block sizes for structured trace: (mem: 880.56 MiB)
15:56:59 (mem: 880.56 MiB)
15:56:59 prove decider... (mem: 880.56 MiB)
15:56:59 [15:56:59.379]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
15:56:59 busread : 3
15:56:59 lookup : 2
15:56:59 pub_inputs : 36
15:56:59 arithmetic : 4481
15:56:59 delta_range : 2041
15:56:59 elliptic : 2
15:56:59 aux : 50
15:56:59 poseidon2_external : 1312
15:56:59 poseidon2_internal : 7469
15:56:59 overflow : 0
15:56:59 [15:56:59.589]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 880.56 MiB)
15:56:59 [15:56:59.807]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 880.56 MiB)
15:57:01 [15:57:01.078]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 880.56 MiB)
15:57:01 [15:57:01.167]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 880.56 MiB)
15:57:01 finished decider proving. (mem: 880.56 MiB)
15:57:01 [15:57:01.185]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 880.56 MiB)
15:57:01 [15:57:01.296]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 880.56 MiB)
15:57:01 [15:57:01.303]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 880.56 MiB)
15:57:01 [15:57:01.483]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem:
15:57:01 [15:57:01.484]
INFO:
ivc-integration:test:wasm bb - 880.56 MiB)
15:57:01 [15:57:01.525]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 229 ms. (mem: 880.56 MiB)
15:57:02 [15:57:02.105]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
15:57:02 [15:57:02.105]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
15:57:08 [15:57:08.145]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
15:57:12 [15:57:12.282]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
15:57:15 [15:57:15.108]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
15:57:15 [15:57:15.110]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
15:57:15 [15:57:15.111]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 45561 (mem: 855.63MiB)
15:57:15 [15:57:15.117]
INFO:
ivc-integration:prove_wasm time to serialize proof: 7 (mem: 855.63MiB)
15:57:15 [15:57:15.136]
INFO:
ivc-integration:prove_wasm time to serialize vk: 18 (mem: 855.63MiB)
15:57:15 [15:57:15.183]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
15:57:15 [15:57:15.256]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.259]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.263]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.264]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.554]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.555]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.555]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.556]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.643]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.645]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.645]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.645]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.646]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
15:57:15 [15:57:15.646]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
15:57:16 [15:57:16.372]
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-dlVOOe/proof -k /tmp/bb-client-ivc-integration-dlVOOe/vk -v
15:57:16 [15:57:16.433]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 913.95 MiB)
15:57:16 Scheme is: client_ivc, num threads: 128 (mem: 913.95 MiB)
15:57:16 --proof_path: /tmp/bb-client-ivc-integration-dlVOOe/proof (mem: 913.95 MiB)
15:57:16 --vk_path: /tmp/bb-client-ivc-integration-dlVOOe/vk (mem: 913.95 MiB)
15:57:16 --verbose: true (mem: 913.95 MiB)
15:57:16 --scheme: client_ivc (mem: 913.95 MiB)
15:57:16 [15:57:16.533]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 913.95 MiB)
15:57:16 [15:57:16.553]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 913.95 MiB)
15:57:16 [15:57:16.554]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 913.95 MiB)
15:57:16 [15:57:16.568]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 913.95 MiB)
15:57:16 [15:57:16.568]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1025 (mem: 913.95 MiB)
15:57:16 [15:57:16.570]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 913.95 MiB)
15:57:16 libra_evals_verified: 1 (mem: 913.95 MiB)
15:57:16 pairing_check_verified: 1 (mem: 913.95 MiB)
15:57:16 Mega verified: 1 (mem: 913.95 MiB)
15:57:16 [15:57:16.661]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 913.95 MiB)
15:57:16 batch opening verified?: 1 (mem: 913.95 MiB)
15:57:16 eccvm consistency check verified?: 1 (mem: 913.95 MiB)
15:57:16 translation masking consistency checked?: 1 (mem: 913.95 MiB)
15:57:16 [15:57:16.684]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 913.95 MiB)
15:57:16 eccvm verified?: 1 (mem: 913.95 MiB)
15:57:16 accumulator construction_verified?: 1 (mem: 913.95 MiB)
15:57:16 translation verified?: 1 (mem: 913.95 MiB)
15:57:16 consistency verified?: 1 (mem: 913.95 MiB)
15:57:16 [15:57:16.685]
INFO:
ivc-integration:test:wasm Goblin verified: 1 (mem: 913.95 MiB)
15:57:16 [15:57:16.688]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 913.95 MiB)
15:57:16 [15:57:16.806]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
15:57:17 [15:57:17.026]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12062252 bytes
15:57:17 [15:57:17.083]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
15:57:17 [15:57:17.483]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
15:57:17 [15:57:17.516]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
15:57:17 [15:57:17.517]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
15:57:18 [15:57:18.679]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
15:57:18 [15:57:18.774]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
15:57:18 [15:57:18.779]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
15:57:18 [15:57:18.862]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
15:57:18 [15:57:18.885]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
15:57:18 [15:57:18.929]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
15:57:18 [15:57:18.942]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
15:57:19 [15:57:19.186]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15519,"2":25792}
15:57:19 [15:57:19.283]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
15:57:19 [15:57:19.424]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12062252 bytes
15:57:19 [15:57:19.471]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
15:57:20 [15:57:20.007]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
15:57:20 [15:57:20.020]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
15:57:21 [15:57:21.476]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
15:57:21 [15:57:21.491]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
15:57:23 [15:57:23.156]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
15:57:23 [15:57:23.337]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
15:57:23 [15:57:23.379]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
15:57:23 [15:57:23.400]
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)
15:57:23 [15:57:23.424]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
15:57:23 [15:57:23.425]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
15:57:23 [15:57:23.504]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
15:57:23 [15:57:23.505]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
15:57:23 [15:57:23.505]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
15:57:23 [15:57:23.506]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
15:57:23 [15:57:23.506]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
15:57:23 [15:57:23.507]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
15:57:23 [15:57:23.507]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
15:57:23 [15:57:23.507]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
15:57:23 [15:57:23.507]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
15:57:23 [15:57:23.508]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
15:57:23 [15:57:23.511]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
15:57:23 [15:57:23.511]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
15:57:23 [15:57:23.512]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
15:57:23 [15:57:23.512]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
15:57:23 [15:57:23.512]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
15:57:23 [15:57:23.576]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.56MiB)
15:57:23 [15:57:23.620]
INFO:
ivc-integration:prove_wasm time to construct proving key: 190 ms. (mem: 581.81MiB)
15:57:23 [15:57:23.638]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.81MiB)
15:57:25 [15:57:25.712]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.81MiB)
15:57:25 [15:57:25.714]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
15:57:26 [15:57:26.185]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.81MiB)
15:57:26 [15:57:26.200]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
15:57:26 [15:57:26.240]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.81MiB)
15:57:26 [15:57:26.242]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.81MiB)
15:57:26 [15:57:26.246]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.81MiB)
15:57:26 [15:57:26.247]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.81MiB)
15:57:26 [15:57:26.247]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.81MiB)
15:57:26 [15:57:26.247]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.81MiB)
15:57:26 [15:57:26.248]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.81MiB)
15:57:26 [15:57:26.250]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.81MiB)
15:57:26 [15:57:26.250]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.81MiB)
15:57:26 [15:57:26.251]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.81MiB)
15:57:26 [15:57:26.251]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.81MiB)
15:57:26 [15:57:26.252]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.81MiB)
15:57:26 [15:57:26.252]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.81MiB)
15:57:26 [15:57:26.252]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.81MiB)
15:57:26 [15:57:26.252]
INFO:
ivc-integration:prove_wasm (mem: 581.81MiB)
15:57:26 [15:57:26.257]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.81MiB)
15:57:26 [15:57:26.258]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.81MiB)
15:57:26 [15:57:26.346]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.56MiB)
15:57:26 [15:57:26.378]
INFO:
ivc-integration:prove_wasm time to construct proving key: 137 ms. (mem: 820.69MiB)
15:57:26 [15:57:26.400]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
15:57:27 [15:57:27.904]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
15:57:27 [15:57:27.905]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.69MiB)
15:57:28 [15:57:28.385]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
15:57:28 [15:57:28.706]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
15:57:29 [15:57:29.648]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
15:57:29 [15:57:29.928]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
15:57:29 [15:57:29.929]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
15:57:29 [15:57:29.932]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
15:57:29 [15:57:29.932]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
15:57:29 [15:57:29.937]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
15:57:29 [15:57:29.937]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
15:57:29 [15:57:29.937]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
15:57:29 [15:57:29.937]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
15:57:29 [15:57:29.938]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
15:57:29 [15:57:29.938]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
15:57:29 [15:57:29.938]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
15:57:29 [15:57:29.939]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
15:57:29 [15:57:29.939]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
15:57:29 [15:57:29.939]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
15:57:29 [15:57:29.939]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
15:57:29 [15:57:29.940]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
15:57:29 [15:57:29.940]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
15:57:29 [15:57:29.940]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
15:57:29 [15:57:29.940]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
15:57:29 [15:57:29.953]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
15:57:29 [15:57:29.959]
INFO:
ivc-integration:prove_wasm time to construct proving key: 26 ms. (mem: 848.19MiB)
15:57:29 [15:57:29.976]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
15:57:31 [15:57:31.222]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
15:57:31 [15:57:31.224]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
15:57:31 [15:57:31.368]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
15:57:31 [15:57:31.612]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
15:57:31 [15:57:31.904]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
15:57:32 [15:57:32.132]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
15:57:32 [15:57:32.132]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
15:57:32 [15:57:32.143]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 848.19MiB)
15:57:32 [15:57:32.250]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
15:57:32 [15:57:32.366]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
15:57:32 [15:57:32.366]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
15:57:32 [15:57:32.371]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
15:57:32 [15:57:32.372]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
15:57:32 [15:57:32.372]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
15:57:32 [15:57:32.373]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
15:57:32 [15:57:32.373]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
15:57:32 [15:57:32.373]
INFO:
ivc-integration:prove_wasm arithmetic : 12080/56000 (mem: 848.19MiB)
15:57:32 [15:57:32.374]
INFO:
ivc-integration:prove_wasm delta range : 2942/18000 (mem: 848.19MiB)
15:57:32 [15:57:32.374]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
15:57:32 [15:57:32.374]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
15:57:32 [15:57:32.375]
INFO:
ivc-integration:prove_wasm poseidon ext : 4942/17000 (mem: 848.19MiB)
15:57:32 [15:57:32.375]
INFO:
ivc-integration:prove_wasm poseidon int : 28160/92000 (mem: 848.19MiB)
15:57:32 [15:57:32.375]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
15:57:32 [15:57:32.375]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
15:57:32 [15:57:32.376]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
15:57:32 [15:57:32.376]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
15:57:32 [15:57:32.392]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
15:57:32 [15:57:32.440]
INFO:
ivc-integration:prove_wasm time to construct proving key: 73 ms. (mem: 851.25MiB)
15:57:32 [15:57:32.512]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.25MiB)
15:57:33 [15:57:33.646]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.25MiB)
15:57:33 [15:57:33.647]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 851.25MiB)
15:57:34 [15:57:34.261]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.25MiB)
15:57:34 [15:57:34.492]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
15:57:34 [15:57:34.827]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
15:57:35 [15:57:35.071]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
15:57:35 [15:57:35.072]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
15:57:35 [15:57:35.086]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 907.06MiB)
15:57:35 [15:57:35.204]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 907.06MiB)
15:57:35 [15:57:35.205]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
15:57:35 [15:57:35.208]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
15:57:35 [15:57:35.209]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
15:57:35 [15:57:35.209]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 907.06MiB)
15:57:35 [15:57:35.209]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
15:57:35 [15:57:35.209]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 907.06MiB)
15:57:35 [15:57:35.210]
INFO:
ivc-integration:prove_wasm arithmetic : 6914/56000 (mem: 907.06MiB)
15:57:35 [15:57:35.210]
INFO:
ivc-integration:prove_wasm delta range : 2347/18000 (mem: 907.06MiB)
15:57:35 [15:57:35.210]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
15:57:35 [15:57:35.210]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 907.06MiB)
15:57:35 [15:57:35.211]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 907.06MiB)
15:57:35 [15:57:35.211]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 907.06MiB)
15:57:35 [15:57:35.211]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
15:57:35 [15:57:35.211]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
15:57:35 [15:57:35.211]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
15:57:35 [15:57:35.212]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
15:57:35 [15:57:35.229]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
15:57:35 [15:57:35.257]
INFO:
ivc-integration:prove_wasm time to construct proving key: 52 ms. (mem: 907.06MiB)
15:57:35 [15:57:35.334]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
15:57:36 [15:57:36.706]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
15:57:36 [15:57:36.708]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 907.06MiB)
15:57:37 [15:57:37.296]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
15:57:37 [15:57:37.530]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
15:57:37 [15:57:37.865]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
15:57:38 [15:57:38.203]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
15:57:38 [15:57:38.203]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
15:57:38 [15:57:38.212]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 907.06MiB)
15:57:38 [15:57:38.349]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 907.06MiB)
15:57:38 [15:57:38.350]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
15:57:38 [15:57:38.353]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
15:57:38 [15:57:38.354]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
15:57:38 [15:57:38.355]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 907.06MiB)
15:57:38 [15:57:38.355]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
15:57:38 [15:57:38.356]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 907.06MiB)
15:57:38 [15:57:38.356]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 907.06MiB)
15:57:38 [15:57:38.356]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 907.06MiB)
15:57:38 [15:57:38.357]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
15:57:38 [15:57:38.357]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 907.06MiB)
15:57:38 [15:57:38.358]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 907.06MiB)
15:57:38 [15:57:38.358]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 907.06MiB)
15:57:38 [15:57:38.359]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
15:57:38 [15:57:38.359]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
15:57:38 [15:57:38.363]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
15:57:38 [15:57:38.364]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
15:57:38 [15:57:38.378]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
15:57:38 [15:57:38.405]
INFO:
ivc-integration:prove_wasm time to construct proving key: 57 ms. (mem: 907.06MiB)
15:57:38 [15:57:38.540]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
15:57:39 [15:57:39.786]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
15:57:39 [15:57:39.788]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 907.06MiB)
15:57:40 [15:57:40.283]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
15:57:40 [15:57:40.585]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
15:57:40 [15:57:40.859]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
15:57:41 [15:57:41.103]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
15:57:41 [15:57:41.103]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
15:57:41 [15:57:41.104]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 17747 (mem: 907.06MiB)
15:57:41 [15:57:41.104]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 907.06MiB)
15:57:41 [15:57:41.104]
INFO:
ivc-integration:prove_wasm Largest circuit: 48490 gates. Trace details: (mem: 907.06MiB)
15:57:41 [15:57:41.104]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 907.06MiB)
15:57:41 [15:57:41.105]
INFO:
ivc-integration:prove_wasm ecc_op : 792
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.105]
INFO:
ivc-integration:prove_wasm busread : 16
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.105]
INFO:
ivc-integration:prove_wasm lookup : 2
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.105]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.105]
INFO:
ivc-integration:prove_wasm arithmetic : 12080
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.106]
INFO:
ivc-integration:prove_wasm delta_range : 2942
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.106]
INFO:
ivc-integration:prove_wasm elliptic : 2
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.106]
INFO:
ivc-integration:prove_wasm aux : 350
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.106]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4942
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.106]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28160
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.107]
INFO:
ivc-integration:prove_wasm overflow : 0
15:57:41 (mem: 907.06MiB)
15:57:41 [15:57:41.108]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
15:57:41 [15:57:41.108]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 907.06MiB)
15:57:41 [15:57:41.244]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
15:57:41 [15:57:41.529]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
15:57:42 [15:57:42.539]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
15:57:42 [15:57:42.822]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
15:57:42 [15:57:42.823]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
15:57:42 [15:57:42.846]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 907.06MiB)
15:57:43 [15:57:43.040]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
15:57:43 [15:57:43.049]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
15:57:43 [15:57:43.090]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
15:57:43 [15:57:43.144]
INFO:
ivc-integration:prove_wasm time to construct proving key: 105 ms. (mem: 907.06MiB)
15:57:44 [15:57:44.266]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
15:57:45 [15:57:45.354]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 907.06MiB)
15:57:45 [15:57:45.384]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
15:57:45 [15:57:45.656]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
15:57:46 [15:57:46.474]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
15:57:46 [15:57:46.593]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
15:57:46 [15:57:46.593]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
15:57:46 [15:57:46.594]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 907.06MiB)
15:57:46 [15:57:46.752]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 907.06MiB)
15:57:50 [15:57:50.051]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
15:57:53 [15:57:53.964]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
15:57:58 [15:57:58.756]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 907.06MiB)
15:57:58 [15:57:58.757]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 907.06MiB)
15:58:03 [15:58:03.209]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
15:58:06 [15:58:06.167]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
15:58:08 [15:58:08.449]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
15:58:08 [15:58:08.450]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 907.06MiB)
15:58:08 [15:58:08.450]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 45094 (mem: 907.06MiB)
15:58:08 [15:58:08.455]
INFO:
ivc-integration:prove_wasm time to serialize proof: 4 (mem: 907.06MiB)
15:58:08 [15:58:08.457]
INFO:
ivc-integration:prove_wasm time to serialize vk: 2 (mem: 907.06MiB)
15:58:08 [15:58:08.475]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
15:58:08 [15:58:08.535]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.535]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.536]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.536]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.753]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.753]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.753]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.754]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.819]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.820]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.820]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.820]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.821]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.821]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.826]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 907.06MiB)
15:58:08 [15:58:08.860]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.861]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.862]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
15:58:08 [15:58:08.862]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.017]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.017]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.018]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.018]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.058]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.059]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.059]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.059]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.060]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.060]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
15:58:09 [15:58:09.547]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
15:58:09
PASS src/wasm_client_ivc_integration.test.ts (
106.848 s)
15:58:09 Client IVC Integration
15:58:09
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (50580 ms)
15:58:09
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2402 ms)
15:58:09
✓ Should generate a verifiable client IVC proof from a complex mock tx (50361 ms)
15:58:09
15:58:09
Test Suites: 1 passed, 1 total
15:58:09
Tests: 3 passed, 3 total
15:58:09
Snapshots: 0 total
15:58:09
Time: 106.94 s
15:58:09
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
15:58:09
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?