Parent Log:
http://ci.aztec-labs.com/6a5301d8067cde2f
Command: 3713b4397d55fa0c: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/314d7622c6bacc8333ae49fe9583967cab78349b
Env: REF_NAME=gh-readonly-queue/next/pr-15000-c51485c507bcf668c6e55129eb2c1794af4a0732 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 13 11:29:13 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15000_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
11:29:18 [11:29:18.150]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
11:29:18 [11:29:18.158]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-qmhMdN/ivc-inputs.msgpack
11:29:18 [11:29:18.159]
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-qmhMdN --ivc_inputs_path /tmp/bb-client-ivc-integration-qmhMdN/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:29:18 [11:29:18.178]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 160.66 MiB)
11:29:18 Scheme is: client_ivc, num threads: 128 (mem: 160.66 MiB)
11:29:18 --scheme: client_ivc (mem: 160.66 MiB)
11:29:18 --output_path: /tmp/bb-client-ivc-integration-qmhMdN (mem: 160.66 MiB)
11:29:18 --ivc_inputs_path: /tmp/bb-client-ivc-integration-qmhMdN/ivc-inputs.msgpack (mem: 160.66 MiB)
11:29:18 --verbose: true (mem: 160.66 MiB)
11:29:18 --write_vk: true (mem: 160.66 MiB)
11:29:18 [11:29:18.179]
INFO:
ivc-integration:test:wasm bb - BN254 commitment key size: 262144 (mem: 160.66 MiB)
11:29:18 [11:29:18.363]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12060941 bytes
11:29:18 [11:29:18.374]
INFO:
ivc-integration:test:wasm bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 262.00 MiB)
11:29:18 [11:29:18.377]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 310.55 MiB)
11:29:18 [11:29:18.383]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 310.55 MiB)
11:29:18 Constructing DeciderProvingKey
11:29:18 [11:29:18.384]
INFO:
ivc-integration:test:wasm bb - (mem: 310.55 MiB)
11:29:18 [11:29:18.388]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 310.55 MiB)
11:29:18 [11:29:18.388]
INFO:
ivc-integration:test:wasm bb - goblin ecc op : 4/1024 (mem: 310.55 MiB)
11:29:18 busread : 7/6000 (mem: 310.55 MiB)
11:29:18 lookups : 2/15000 (mem: 310.55 MiB)
11:29:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 310.55 MiB)
11:29:18 arithmetic : 1760/56000 (mem: 310.55 MiB)
11:29:18 delta range : 1754/18000 (mem: 310.55 MiB)
11:29:18 elliptic : 2/6000 (mem: 310.55 MiB)
11:29:18 auxiliary : 26/26000 (mem: 310.55 MiB)
11:29:18 poseidon ext : 2/17000 (mem: 310.55 MiB)
11:29:18 poseidon int : 2/92000 (mem: 310.55 MiB)
11:29:18 overflow : 0/0 (mem: 310.55 MiB)
11:29:18 (mem: 310.55 MiB)
11:29:18 Total structured size: 242025 (mem: 310.55 MiB)
11:29:18 allocating polynomials object in proving key... (mem: 310.55 MiB)
11:29:18 [11:29:18.396]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
11:29:18 [11:29:18.469]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 506.71 MiB)
11:29:18 [11:29:18.479]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 96 ms. (mem: 514.71 MiB)
11:29:18 [11:29:18.521]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5a106a6bbf00 (mem: 514.71 MiB)
11:29:18 [11:29:18.522]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 514.71 MiB)
11:29:18 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 514.71 MiB)
11:29:18 [11:29:18.708]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
11:29:18 [11:29:18.716]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
11:29:19 [11:29:19.053]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 514.71 MiB)
11:29:19 [11:29:19.338]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 523.71 MiB)
11:29:19 [11:29:19.353]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.71 MiB)
11:29:19 [11:29:19.376]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 523.71 MiB)
11:29:19 Constructing DeciderProvingKey (mem: 523.71 MiB)
11:29:19 [11:29:19.379]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.71 MiB)
11:29:19 goblin ecc op : 56/1024 (mem: 523.71 MiB)
11:29:19 busread : 12/6000 (mem: 523.71 MiB)
11:29:19 lookups : 2/15000 (mem: 523.71 MiB)
11:29:19 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.71 MiB)
11:29:19 arithmetic : 4625/56000 (mem: 523.71 MiB)
11:29:19 delta range : 2054/18000 (mem: 523.71 MiB)
11:29:19 elliptic : 2/6000 (mem: 523.71 MiB)
11:29:19 auxiliary : 110/26000 (mem: 523.71 MiB)
11:29:19 poseidon ext : 1302/17000 (mem: 523.71 MiB)
11:29:19 poseidon int : 7412/92000 (mem: 523.71 MiB)
11:29:19 overflow : 0/0 (mem: 523.71 MiB)
11:29:19 (mem: 523.71 MiB)
11:29:19 [11:29:19.380]
INFO:
ivc-integration:test:wasm bb - Total structured size: 242025 (mem: 523.71 MiB)
11:29:19 allocating polynomials object in proving key... (mem: 523.71 MiB)
11:29:19 [11:29:19.531]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 731.71 MiB)
11:29:19 [11:29:19.564]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 186 ms. (mem: 746.71 MiB)
11:29:19 [11:29:19.647]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5a106a6c8b80 (mem: 746.71 MiB)
11:29:19 computing folding proof (mem: 746.71 MiB)
11:29:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 746.71 MiB)
11:29:19 [11:29:19.996]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
11:29:20 [11:29:19.999]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
11:29:20 [11:29:20.694]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 746.71 MiB)
11:29:20 [11:29:20.954]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 746.71 MiB)
11:29:21 [11:29:21.106]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 785.71 MiB)
11:29:21 [11:29:21.169]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 817.71 MiB)
11:29:21 [11:29:21.501]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
11:29:21 [11:29:21.568]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
11:29:21 [11:29:21.583]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
11:29:21 [11:29:21.603]
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)
11:29:21 [11:29:21.613]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
11:29:21 [11:29:21.614]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
11:29:21 [11:29:21.638]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
11:29:21 [11:29:21.640]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
11:29:21 [11:29:21.641]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
11:29:21 [11:29:21.641]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
11:29:21 [11:29:21.642]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
11:29:21 [11:29:21.642]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
11:29:21 [11:29:21.643]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
11:29:21 [11:29:21.643]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
11:29:21 [11:29:21.643]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
11:29:21 [11:29:21.644]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
11:29:21 [11:29:21.644]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
11:29:21 [11:29:21.644]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
11:29:21 [11:29:21.644]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
11:29:21 [11:29:21.645]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
11:29:21 [11:29:21.647]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
11:29:21 [11:29:21.648]
INFO:
ivc-integration:test:wasm bb - folded (mem: 817.71 MiB)
11:29:21 constructed folding proof (mem: 817.71 MiB)
11:29:21 [11:29:21.662]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 817.71 MiB)
11:29:21 [11:29:21.742]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 817.71 MiB)
11:29:21 Constructing DeciderProvingKey (mem: 817.71 MiB)
11:29:21 [11:29:21.745]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.71 MiB)
11:29:21 [11:29:21.749]
INFO:
ivc-integration:test:wasm bb - goblin ecc op : 392/1024 (mem: 817.71 MiB)
11:29:21 busread : 3/6000 (mem: 817.71 MiB)
11:29:21 lookups : 2/15000 (mem: 817.71 MiB)
11:29:21 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.71 MiB)
11:29:21 arithmetic : 6849/56000 (mem: 817.71 MiB)
11:29:21 delta range : 2333/18000 (mem: 817.71 MiB)
11:29:21 elliptic : 2/6000 (mem: 817.71 MiB)
11:29:21 auxiliary : 50/26000 (mem: 817.71 MiB)
11:29:21 poseidon ext : 2472/17000 (mem: 817.71 MiB)
11:29:21 poseidon int : 14081/92000 (mem: 817.71 MiB)
11:29:21 overflow : 0/0 (mem: 817.71 MiB)
11:29:21 (mem: 817.71 MiB)
11:29:21 Total structured size: 242025 (mem: 817.71 MiB)
11:29:21 allocating polynomials object in proving key... (mem: 817.71 MiB)
11:29:21 [11:29:21.776]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.13MiB)
11:29:21 [11:29:21.806]
INFO:
ivc-integration:prove_wasm time to construct proving key: 192 ms. (mem: 581.38MiB)
11:29:21 [11:29:21.823]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.38MiB)
11:29:21 [11:29:21.900]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 817.71 MiB)
11:29:21 [11:29:21.932]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 191 ms. (mem: 817.71 MiB)
11:29:22 [11:29:22.032]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5a106a6be540 (mem: 817.71 MiB)
11:29:22 computing folding proof (mem: 817.71 MiB)
11:29:22 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 817.71 MiB)
11:29:22 [11:29:22.708]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.71 MiB)
11:29:23 [11:29:23.441]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 817.71 MiB)
11:29:23 [11:29:23.612]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 817.71 MiB)
11:29:23 [11:29:23.672]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 828.46 MiB)
11:29:23 [11:29:23.968]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.38MiB)
11:29:23 [11:29:23.969]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 581.38MiB)
11:29:24 [11:29:24.202]
INFO:
ivc-integration:test:wasm bb - folded (mem: 828.46 MiB)
11:29:24 constructed folding proof (mem: 828.46 MiB)
11:29:24 Largest circuit: 25792 gates. Trace details: (mem: 828.46 MiB)
11:29:24 [11:29:24.205]
INFO:
ivc-integration:test:wasm bb - Minimum required block sizes for structured trace: (mem: 828.46 MiB)
11:29:24 (mem: 828.46 MiB)
11:29:24 prove decider... (mem: 828.46 MiB)
11:29:24 [11:29:24.206]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
11:29:24 busread : 12
11:29:24 lookup : 2
11:29:24 pub_inputs : 36
11:29:24 arithmetic : 6849
11:29:24 delta_range : 2333
11:29:24 elliptic : 2
11:29:24 aux : 110
11:29:24 poseidon2_external : 2472
11:29:24 poseidon2_internal : 14081
11:29:24 overflow : 0
11:29:24 [11:29:24.568]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 828.46 MiB)
11:29:24 [11:29:24.794]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 828.46
11:29:24 [11:29:24.798]
INFO:
ivc-integration:test:wasm bb - MiB)
11:29:26 [11:29:26.000]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
11:29:26 [11:29:26.316]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 828.46 MiB)
11:29:26 [11:29:26.423]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 828.46 MiB)
11:29:26 finished decider proving. (mem: 828.46 MiB)
11:29:26 [11:29:26.447]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 828.46 MiB)
11:29:26 [11:29:26.506]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.38MiB)
11:29:26 [11:29:26.535]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.38MiB)
11:29:26 [11:29:26.594]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 828.46 MiB)
11:29:26 [11:29:26.600]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 828.46 MiB)
11:29:26 [11:29:26.611]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.38MiB)
11:29:26 [11:29:26.613]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.38MiB)
11:29:26 [11:29:26.619]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.38MiB)
11:29:26 [11:29:26.620]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.38MiB)
11:29:26 [11:29:26.621]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.38MiB)
11:29:26 [11:29:26.621]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.38MiB)
11:29:26 [11:29:26.622]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.38MiB)
11:29:26 [11:29:26.623]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.38MiB)
11:29:26 [11:29:26.623]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.38MiB)
11:29:26 [11:29:26.624]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.38MiB)
11:29:26 [11:29:26.624]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.38MiB)
11:29:26 [11:29:26.625]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.38MiB)
11:29:26 [11:29:26.626]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.38MiB)
11:29:26 [11:29:26.626]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.38MiB)
11:29:26 [11:29:26.627]
INFO:
ivc-integration:prove_wasm (mem: 581.38MiB)
11:29:26 [11:29:26.627]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.38MiB)
11:29:26 [11:29:26.628]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.38MiB)
11:29:26 [11:29:26.758]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.38MiB)
11:29:26 [11:29:26.803]
INFO:
ivc-integration:prove_wasm time to construct proving key: 193 ms. (mem: 820.19MiB)
11:29:26 [11:29:26.821]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem:
11:29:26 [11:29:26.822]
INFO:
ivc-integration:test:wasm bb - 828.46 MiB)
11:29:26 [11:29:26.849]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.19MiB)
11:29:26 [11:29:26.868]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 273 ms. (mem: 828.46 MiB)
11:29:27 [11:29:27.523]
INFO:
ivc-integration:test:wasm bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem:
11:29:27 [11:29:27.523]
INFO:
ivc-integration:test:wasm bb - 828.46 MiB)
11:29:28 [11:29:28.071]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 828.46 MiB)
11:29:28 [11:29:28.791]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 828.46 MiB)
11:29:28 [11:29:28.990]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.19MiB)
11:29:28 [11:29:28.991]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.19MiB)
11:29:29 [11:29:29.061]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 828.46 MiB)
11:29:30 [11:29:30.356]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck
11:29:30 [11:29:30.358]
INFO:
ivc-integration:test:wasm bb - (mem: 828.46 MiB)
11:29:30 [11:29:30.939]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.19MiB)
11:29:31 [11:29:31.341]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 828.46 MiB)
11:29:31 [11:29:31.381]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 828.46 MiB)
11:29:31 finished decider proving. (mem: 828.46 MiB)
11:29:31 Constructing a Goblin proof with num ultra ops = 1038 (mem: 828.46 MiB)
11:29:31 [11:29:31.634]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 828.46 MiB)
11:29:31 [11:29:31.816]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.19MiB)
11:29:32 [11:29:32.114]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
11:29:32 [11:29:32.173]
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: 828.46 MiB)
11:29:32 [11:29:32.208]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 828.46 MiB)
11:29:32 [11:29:32.406]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
11:29:33 [11:29:33.102]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
11:29:33 [11:29:33.103]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
11:29:33 [11:29:33.132]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 847.69MiB)
11:29:33 [11:29:33.339]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
11:29:33 [11:29:33.340]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
11:29:33 [11:29:33.345]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
11:29:33 [11:29:33.347]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
11:29:33 [11:29:33.348]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
11:29:33 [11:29:33.348]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
11:29:33 [11:29:33.349]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
11:29:33 [11:29:33.349]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 847.69MiB)
11:29:33 [11:29:33.349]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 847.69MiB)
11:29:33 [11:29:33.350]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
11:29:33 [11:29:33.350]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
11:29:33 [11:29:33.350]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 847.69MiB)
11:29:33 [11:29:33.350]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 847.69MiB)
11:29:33 [11:29:33.351]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
11:29:33 [11:29:33.355]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
11:29:33 [11:29:33.355]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
11:29:33 [11:29:33.355]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
11:29:33 [11:29:33.382]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
11:29:33 [11:29:33.429]
INFO:
ivc-integration:prove_wasm time to construct proving key: 89 ms. (mem: 847.69MiB)
11:29:33 [11:29:33.605]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
11:29:34 [11:29:34.414]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 828.46 MiB)
11:29:35 [11:29:35.673]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
11:29:35 [11:29:35.674]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 847.69MiB)
11:29:36 [11:29:36.820]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 828.46 MiB)
11:29:37 [11:29:37.834]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.69MiB)
11:29:38 [11:29:38.969]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
11:29:39 [11:29:39.230]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.56MiB)
11:29:39 [11:29:39.492]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.56MiB)
11:29:40 [11:29:40.158]
INFO:
ivc-integration:prove_wasm folded (mem: 855.56MiB)
11:29:40 [11:29:40.159]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.56MiB)
11:29:40 [11:29:40.160]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 18587 (mem: 855.56MiB)
11:29:40 [11:29:40.160]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.56MiB)
11:29:40 [11:29:40.161]
INFO:
ivc-integration:prove_wasm Largest circuit: 25792 gates. Trace details: (mem: 855.56MiB)
11:29:40 [11:29:40.161]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.56MiB)
11:29:40 [11:29:40.162]
INFO:
ivc-integration:prove_wasm ecc_op : 392
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.162]
INFO:
ivc-integration:prove_wasm busread : 12
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.162]
INFO:
ivc-integration:prove_wasm lookup : 2
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.163]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.163]
INFO:
ivc-integration:prove_wasm arithmetic : 6849
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.163]
INFO:
ivc-integration:prove_wasm delta_range : 2333
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.163]
INFO:
ivc-integration:prove_wasm elliptic : 2
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.164]
INFO:
ivc-integration:prove_wasm aux : 110
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.164]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2472
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.164]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14081
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.164]
INFO:
ivc-integration:prove_wasm overflow : 0
11:29:40 (mem: 855.56MiB)
11:29:40 [11:29:40.165]
INFO:
ivc-integration:prove_wasm (mem: 855.56MiB)
11:29:40 [11:29:40.165]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.56MiB)
11:29:40 [11:29:40.380]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.56MiB)
11:29:40 [11:29:40.742]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.56MiB)
11:29:41 [11:29:41.974]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 828.46 MiB)
11:29:41 prove translator... (mem: 828.46 MiB)
11:29:42 [11:29:42.492]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.56MiB)
11:29:42 [11:29:42.912]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.56MiB)
11:29:42 [11:29:42.913]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.56MiB)
11:29:42 [11:29:42.938]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 855.56MiB)
11:29:43 [11:29:43.166]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.56MiB)
11:29:43 [11:29:43.174]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.56MiB)
11:29:43 [11:29:43.245]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.56MiB)
11:29:43 [11:29:43.299]
INFO:
ivc-integration:prove_wasm time to construct proving key: 133 ms. (mem: 855.56MiB)
11:29:44 [11:29:44.094]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 855.56MiB)
11:29:44 [11:29:44.959]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 846.20 MiB)
11:29:45 [11:29:45.043]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.56MiB)
11:29:46 [11:29:46.714]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.56MiB)
11:29:46 [11:29:46.757]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.56MiB)
11:29:47 [11:29:47.145]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.56MiB)
11:29:47 [11:29:47.552]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 846.20 MiB)
11:29:48 [11:29:48.571]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.56MiB)
11:29:48 [11:29:48.693]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.56MiB)
11:29:48 [11:29:48.694]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.56MiB)
11:29:48 [11:29:48.695]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.56MiB)
11:29:48 [11:29:48.851]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.56MiB)
11:29:50 [11:29:50.358]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 846.20 MiB)
11:29:50 finished translator proving. (mem: 846.20 MiB)
11:29:50 [11:29:50.366]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.20 MiB)
11:29:50 [11:29:50.380]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 846.20 MiB)
11:29:50 libra_evals_verified: 1 (mem: 846.20 MiB)
11:29:50 pairing_check_verified: 1 (mem: 846.20 MiB)
11:29:50 Mega verified: 1 (mem: 846.20 MiB)
11:29:50 [11:29:50.466]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 846.20 MiB)
11:29:50 batch opening verified?: 1 (mem: 846.20 MiB)
11:29:50 eccvm consistency check verified?: 1 (mem: 846.20 MiB)
11:29:50 translation masking consistency checked?: 1 (mem: 846.20 MiB)
11:29:50 [11:29:50.485]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 846.20 MiB)
11:29:50 eccvm verified?: 1 (mem: 846.20 MiB)
11:29:50 accumulator construction_verified?: 1 (mem: 846.20 MiB)
11:29:50 translation verified?: 1 (mem: 846.20 MiB)
11:29:50 consistency verified?: 1 (mem: 846.20 MiB)
11:29:50 Goblin verified: 1 (mem: 846.20 MiB)
11:29:50 [11:29:50.487]
INFO:
ivc-integration:test:wasm bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-qmhMdN" (mem: 846.20 MiB)
11:29:50 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-qmhMdN" (mem: 846.20 MiB)
11:29:50 BN254 commitment key size: 262144 (mem: 846.20 MiB)
11:29:50 [11:29:50.489]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.20 MiB)
11:29:50 [11:29:50.493]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.20 MiB)
11:29:50 goblin ecc op : 4/1024 (mem: 846.20 MiB)
11:29:50 busread : 3/6000 (mem: 846.20 MiB)
11:29:50 lookups : 2/15000 (mem: 846.20 MiB)
11:29:50 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.20 MiB)
11:29:50 arithmetic : 1773/56000 (mem: 846.20 MiB)
11:29:50 delta range : 1754/18000 (mem: 846.20 MiB)
11:29:50 [11:29:50.494]
INFO:
ivc-integration:test:wasm bb - elliptic : 2/6000 (mem: 846.20 MiB)
11:29:50 auxiliary : 26/26000 (mem: 846.20 MiB)
11:29:50 poseidon ext : 2/17000 (mem: 846.20 MiB)
11:29:50 poseidon int : 2/92000 (mem: 846.20 MiB)
11:29:50 overflow : 0/0 (mem: 846.20 MiB)
11:29:50 (mem: 846.20 MiB)
11:29:50 Total structured size: 242025 (mem: 846.20 MiB)
11:29:50 allocating polynomials object in proving key... (mem: 846.20 MiB)
11:29:50 [11:29:50.642]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.20 MiB)
11:29:50 [11:29:50.687]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 197 ms. (mem: 846.20 MiB)
11:29:50 [11:29:50.809]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.20 MiB)
11:29:51 [11:29:51.668]
INFO:
ivc-integration:test:wasm bb - computing oink proof...
11:29:51 [11:29:51.670]
INFO:
ivc-integration:test:wasm bb - (mem: 846.20 MiB)
11:29:51 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 846.20 MiB)
11:29:52 [11:29:52.026]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.56MiB)
11:29:52 [11:29:52.416]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.20 MiB)
11:29:52 [11:29:52.898]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 846.20 MiB)
11:29:52 [11:29:52.906]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.20 MiB)
11:29:52 [11:29:52.925]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.20 MiB)
11:29:52 [11:29:52.928]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.20 MiB)
11:29:52 goblin ecc op : 56/1024 (mem: 846.20 MiB)
11:29:52 busread : 3/6000 (mem: 846.20 MiB)
11:29:52 lookups : 2/15000 (mem: 846.20 MiB)
11:29:52 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.20 MiB)
11:29:52 arithmetic : 4481/56000 (mem: 846.20 MiB)
11:29:52 delta range : 2041/18000 (mem: 846.20 MiB)
11:29:52 elliptic : 2/6000 (mem: 846.20 MiB)
11:29:52 auxiliary : 50/26000 (mem: 846.20 MiB)
11:29:52 poseidon ext : 1312/17000 (mem: 846.20 MiB)
11:29:52 poseidon int : 7469/92000 (mem: 846.20 MiB)
11:29:52 overflow : 0/0 (mem: 846.20 MiB)
11:29:52 (mem: 846.20 MiB)
11:29:52 Total structured size: 242025 (mem: 846.20 MiB)
11:29:52 allocating polynomials object in proving key... (mem: 846.20 MiB)
11:29:53 [11:29:53.083]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.20 MiB)
11:29:53 [11:29:53.117]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 193 ms. (mem: 846.20 MiB)
11:29:53 [11:29:53.234]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.20 MiB)
11:29:54 [11:29:54.270]
INFO:
ivc-integration:test:wasm bb - computing folding proof
11:29:54 [11:29:54.272]
INFO:
ivc-integration:test:wasm bb - (mem: 846.20 MiB)
11:29:54 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 846.20 MiB)
11:29:55 [11:29:55.398]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 846.20 MiB)
11:29:56 [11:29:56.086]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 846.20 MiB)
11:29:56 [11:29:56.206]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 849.20 MiB)
11:29:56 [11:29:56.286]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 881.20 MiB)
11:29:56 [11:29:56.353]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.56MiB)
11:29:56 [11:29:56.660]
INFO:
ivc-integration:test:wasm bb - folded (mem: 881.20 MiB)
11:29:56 constructed folding proof (mem: 881.20 MiB)
11:29:56 [11:29:56.664]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 15360 gates. Trace details: (mem: 881.20 MiB)
11:29:56 Minimum required block sizes for structured trace: (mem: 881.20 MiB)
11:29:56 (mem: 881.20 MiB)
11:29:56 prove decider... (mem: 881.20 MiB)
11:29:56 [11:29:56.668]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
11:29:56 busread : 3
11:29:56 lookup : 2
11:29:56 pub_inputs : 36
11:29:56 arithmetic : 4481
11:29:56 delta_range : 2041
11:29:56 elliptic : 2
11:29:56 aux : 50
11:29:56 poseidon2_external : 1312
11:29:56 poseidon2_internal : 7469
11:29:56 overflow : 0
11:29:56 [11:29:56.902]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 881.20 MiB)
11:29:57 [11:29:57.109]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 881.20 MiB)
11:29:58 [11:29:58.436]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 881.20 MiB)
11:29:58 [11:29:58.512]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 881.20 MiB)
11:29:58 finished decider proving. (mem: 881.20 MiB)
11:29:58 [11:29:58.526]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 881.20 MiB)
11:29:58 [11:29:58.634]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 881.20 MiB)
11:29:58 [11:29:58.640]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 881.20 MiB)
11:29:58 [11:29:58.823]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 881.20 MiB)
11:29:58 [11:29:58.866]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 231 ms. (mem: 881.20 MiB)
11:30:04 [11:30:04.180]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.56MiB)
11:30:04 [11:30:04.182]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.56MiB)
11:30:10 [11:30:10.100]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.56MiB)
11:30:14 [11:30:14.367]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.56MiB)
11:30:18 [11:30:18.621]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.56MiB)
11:30:18 [11:30:18.623]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.56MiB)
11:30:18 [11:30:18.623]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 57051 (mem: 855.56MiB)
11:30:18 [11:30:18.632]
INFO:
ivc-integration:prove_wasm time to serialize proof: 8 (mem: 855.56MiB)
11:30:18 [11:30:18.651]
INFO:
ivc-integration:prove_wasm time to serialize vk: 20 (mem: 855.56MiB)
11:30:18 [11:30:18.687]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.56MiB)
11:30:18 [11:30:18.760]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.56MiB)
11:30:18 [11:30:18.761]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.56MiB)
11:30:18 [11:30:18.763]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.56MiB)
11:30:18 [11:30:18.763]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.56MiB)
11:30:19 [11:30:19.110]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.56MiB)
11:30:19 [11:30:19.111]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.56MiB)
11:30:19 [11:30:19.111]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.56MiB)
11:30:19 [11:30:19.112]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.56MiB)
11:30:19 [11:30:19.221]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.56MiB)
11:30:19 [11:30:19.222]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.56MiB)
11:30:19 [11:30:19.223]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.56MiB)
11:30:19 [11:30:19.223]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.56MiB)
11:30:19 [11:30:19.223]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.56MiB)
11:30:19 [11:30:19.224]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.56MiB)
11:30:20 [11:30:20.034]
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-qmhMdN/proof -k /tmp/bb-client-ivc-integration-qmhMdN/vk -v
11:30:20 [11:30:20.125]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 860.89 MiB)
11:30:20 [11:30:20.126]
INFO:
ivc-integration:test:wasm Scheme is: client_ivc, num threads: 128 (mem: 860.89 MiB)
11:30:20 --proof_path: /tmp/bb-client-ivc-integration-qmhMdN/proof (mem: 860.89 MiB)
11:30:20 --vk_path: /tmp/bb-client-ivc-integration-qmhMdN/vk (mem: 860.89 MiB)
11:30:20 --verbose: true (mem: 860.89 MiB)
11:30:20 --scheme: client_ivc (mem: 860.89 MiB)
11:30:20 [11:30:20.245]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 860.89 MiB)
11:30:20 [11:30:20.271]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 860.89 MiB)
11:30:20 [11:30:20.272]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 860.89 MiB)
11:30:20 [11:30:20.293]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 860.89 MiB)
11:30:20 Initialized BN254 CRS from memory with num points = 1025 (mem: 860.89 MiB)
11:30:20 sumcheck_verified: 1 (mem: 860.89 MiB)
11:30:20 libra_evals_verified: 1 (mem: 860.89 MiB)
11:30:20 pairing_check_verified: 1 (mem: 860.89 MiB)
11:30:20 Mega verified: 1 (mem: 860.89 MiB)
11:30:20 [11:30:20.355]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 860.89 MiB)
11:30:20 batch opening verified?: 1 (mem: 860.89 MiB)
11:30:20 eccvm consistency check verified?: 1 (mem: 860.89 MiB)
11:30:20 translation masking consistency checked?: 1 (mem: 860.89 MiB)
11:30:20 [11:30:20.379]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 860.89 MiB)
11:30:20 eccvm verified?: 1 (mem: 860.89 MiB)
11:30:20 accumulator construction_verified?: 1 (mem: 860.89 MiB)
11:30:20 translation verified?: 1 (mem: 860.89 MiB)
11:30:20 consistency verified?: 1 (mem: 860.89 MiB)
11:30:20 [11:30:20.380]
INFO:
ivc-integration:test:wasm Goblin verified: 1 (mem: 860.89 MiB)
11:30:20 [11:30:20.388]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 860.89 MiB)
11:30:20 [11:30:20.446]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
11:30:20 [11:30:20.773]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12060941 bytes
11:30:20 [11:30:20.832]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
11:30:21 [11:30:21.166]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
11:30:21 [11:30:21.182]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
11:30:21 [11:30:21.183]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
11:30:22 [11:30:22.242]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
11:30:22 [11:30:22.365]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
11:30:22 [11:30:22.376]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
11:30:22 [11:30:22.459]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
11:30:22 [11:30:22.486]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
11:30:22 [11:30:22.532]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
11:30:22 [11:30:22.544]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
11:30:22 [11:30:22.788]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15519,"2":25792}
11:30:22 [11:30:22.939]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
11:30:23 [11:30:23.110]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12060941 bytes
11:30:23 [11:30:23.147]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
11:30:23 [11:30:23.571]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
11:30:23 [11:30:23.586]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
11:30:24 [11:30:24.937]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
11:30:24 [11:30:24.937]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
11:30:26 [11:30:26.213]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
11:30:26 [11:30:26.291]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
11:30:26 [11:30:26.313]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
11:30:26 [11:30:26.324]
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)
11:30:26 [11:30:26.330]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
11:30:26 [11:30:26.331]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
11:30:26 [11:30:26.345]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
11:30:26 [11:30:26.346]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
11:30:26 [11:30:26.346]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
11:30:26 [11:30:26.347]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
11:30:26 [11:30:26.347]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
11:30:26 [11:30:26.348]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
11:30:26 [11:30:26.348]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
11:30:26 [11:30:26.348]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
11:30:26 [11:30:26.349]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
11:30:26 [11:30:26.349]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
11:30:26 [11:30:26.349]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
11:30:26 [11:30:26.350]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
11:30:26 [11:30:26.350]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
11:30:26 [11:30:26.350]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
11:30:26 [11:30:26.351]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
11:30:26 [11:30:26.420]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.63MiB)
11:30:26 [11:30:26.449]
INFO:
ivc-integration:prove_wasm time to construct proving key: 118 ms. (mem: 581.81MiB)
11:30:26 [11:30:26.460]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.81MiB)
11:30:28 [11:30:28.115]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.81MiB)
11:30:28 [11:30:28.116]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 581.81MiB)
11:30:29 [11:30:29.528]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
11:30:29 [11:30:29.860]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.81MiB)
11:30:29 [11:30:29.881]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.81MiB)
11:30:29 [11:30:29.923]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.81MiB)
11:30:29 [11:30:29.923]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.81MiB)
11:30:29 [11:30:29.929]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.81MiB)
11:30:29 [11:30:29.930]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.81MiB)
11:30:29 [11:30:29.930]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.81MiB)
11:30:29 [11:30:29.931]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.81MiB)
11:30:29 [11:30:29.931]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.81MiB)
11:30:29 [11:30:29.931]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.81MiB)
11:30:29 [11:30:29.932]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.81MiB)
11:30:29 [11:30:29.932]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.81MiB)
11:30:29 [11:30:29.932]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.81MiB)
11:30:29 [11:30:29.933]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.81MiB)
11:30:29 [11:30:29.933]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.81MiB)
11:30:29 [11:30:29.934]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.81MiB)
11:30:29 [11:30:29.934]
INFO:
ivc-integration:prove_wasm (mem: 581.81MiB)
11:30:29 [11:30:29.934]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.81MiB)
11:30:29 [11:30:29.935]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.81MiB)
11:30:30 [11:30:30.056]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.75MiB)
11:30:30 [11:30:30.135]
INFO:
ivc-integration:prove_wasm time to construct proving key: 207 ms. (mem: 820.69MiB)
11:30:30 [11:30:30.190]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
11:30:31 [11:30:31.736]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
11:30:31 [11:30:31.737]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 820.69MiB)
11:30:33 [11:30:33.320]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.69MiB)
11:30:33 [11:30:33.948]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
11:30:34 [11:30:34.217]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
11:30:34 [11:30:34.930]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
11:30:35 [11:30:35.490]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
11:30:35 [11:30:35.491]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
11:30:35 [11:30:35.494]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
11:30:35 [11:30:35.495]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
11:30:35 [11:30:35.499]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
11:30:35 [11:30:35.500]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
11:30:35 [11:30:35.501]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
11:30:35 [11:30:35.501]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
11:30:35 [11:30:35.502]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
11:30:35 [11:30:35.502]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
11:30:35 [11:30:35.502]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
11:30:35 [11:30:35.503]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
11:30:35 [11:30:35.503]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
11:30:35 [11:30:35.503]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
11:30:35 [11:30:35.504]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
11:30:35 [11:30:35.504]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
11:30:35 [11:30:35.505]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
11:30:35 [11:30:35.505]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
11:30:35 [11:30:35.505]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
11:30:35 [11:30:35.531]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
11:30:35 [11:30:35.539]
INFO:
ivc-integration:prove_wasm time to construct proving key: 44 ms. (mem: 848.19MiB)
11:30:35 [11:30:35.568]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
11:30:36 [11:30:36.772]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
11:30:36 [11:30:36.772]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 848.19MiB)
11:30:38 [11:30:38.048]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
11:30:38 [11:30:38.287]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
11:30:38 [11:30:38.462]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
11:30:38 [11:30:38.692]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
11:30:39 [11:30:39.055]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
11:30:39 [11:30:39.056]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
11:30:39 [11:30:39.070]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 848.19MiB)
11:30:39 [11:30:39.195]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
11:30:39 [11:30:39.340]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
11:30:39 [11:30:39.342]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
11:30:39 [11:30:39.346]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
11:30:39 [11:30:39.347]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
11:30:39 [11:30:39.347]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
11:30:39 [11:30:39.347]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
11:30:39 [11:30:39.347]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
11:30:39 [11:30:39.348]
INFO:
ivc-integration:prove_wasm arithmetic : 12080/56000 (mem: 848.19MiB)
11:30:39 [11:30:39.348]
INFO:
ivc-integration:prove_wasm delta range : 2942/18000 (mem: 848.19MiB)
11:30:39 [11:30:39.349]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
11:30:39 [11:30:39.349]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
11:30:39 [11:30:39.349]
INFO:
ivc-integration:prove_wasm poseidon ext : 4942/17000 (mem: 848.19MiB)
11:30:39 [11:30:39.350]
INFO:
ivc-integration:prove_wasm poseidon int : 28160/92000 (mem: 848.19MiB)
11:30:39 [11:30:39.350]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
11:30:39 [11:30:39.352]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
11:30:39 [11:30:39.352]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
11:30:39 [11:30:39.352]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
11:30:39 [11:30:39.379]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
11:30:39 [11:30:39.442]
INFO:
ivc-integration:prove_wasm time to construct proving key: 101 ms. (mem: 851.25MiB)
11:30:39 [11:30:39.557]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.25MiB)
11:30:41 [11:30:41.068]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.25MiB)
11:30:41 [11:30:41.069]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 851.25MiB)
11:30:42 [11:30:42.443]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 851.25MiB)
11:30:43 [11:30:43.326]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.25MiB)
11:30:43 [11:30:43.586]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
11:30:43 [11:30:43.933]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
11:30:44 [11:30:44.279]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
11:30:44 [11:30:44.280]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
11:30:44 [11:30:44.292]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 875.44MiB)
11:30:44 [11:30:44.440]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 875.44MiB)
11:30:44 [11:30:44.441]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
11:30:44 [11:30:44.447]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
11:30:44 [11:30:44.448]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
11:30:44 [11:30:44.449]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 875.44MiB)
11:30:44 [11:30:44.449]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
11:30:44 [11:30:44.450]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 875.44MiB)
11:30:44 [11:30:44.450]
INFO:
ivc-integration:prove_wasm arithmetic : 6914/56000 (mem: 875.44MiB)
11:30:44 [11:30:44.450]
INFO:
ivc-integration:prove_wasm delta range : 2347/18000 (mem: 875.44MiB)
11:30:44 [11:30:44.451]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
11:30:44 [11:30:44.451]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 875.44MiB)
11:30:44 [11:30:44.452]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 875.44MiB)
11:30:44 [11:30:44.452]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 875.44MiB)
11:30:44 [11:30:44.452]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
11:30:44 [11:30:44.452]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
11:30:44 [11:30:44.453]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
11:30:44 [11:30:44.453]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
11:30:44 [11:30:44.475]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
11:30:44 [11:30:44.502]
INFO:
ivc-integration:prove_wasm time to construct proving key: 63 ms. (mem: 875.44MiB)
11:30:44 [11:30:44.621]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
11:30:45 [11:30:45.876]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
11:30:45 [11:30:45.877]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 875.44MiB)
11:30:47 [11:30:47.098]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 875.44MiB)
11:30:47 [11:30:47.649]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
11:30:47 [11:30:47.955]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
11:30:48 [11:30:48.281]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
11:30:48 [11:30:48.538]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
11:30:48 [11:30:48.538]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
11:30:48 [11:30:48.549]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 875.44MiB)
11:30:48 [11:30:48.691]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 875.44MiB)
11:30:48 [11:30:48.692]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
11:30:48 [11:30:48.696]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
11:30:48 [11:30:48.697]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
11:30:48 [11:30:48.698]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 875.44MiB)
11:30:48 [11:30:48.698]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
11:30:48 [11:30:48.698]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 875.44MiB)
11:30:48 [11:30:48.699]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 875.44MiB)
11:30:48 [11:30:48.699]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 875.44MiB)
11:30:48 [11:30:48.699]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
11:30:48 [11:30:48.699]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 875.44MiB)
11:30:48 [11:30:48.700]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 875.44MiB)
11:30:48 [11:30:48.700]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 875.44MiB)
11:30:48 [11:30:48.700]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
11:30:48 [11:30:48.701]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
11:30:48 [11:30:48.701]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
11:30:48 [11:30:48.701]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
11:30:48 [11:30:48.721]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
11:30:48 [11:30:48.748]
INFO:
ivc-integration:prove_wasm time to construct proving key: 57 ms. (mem: 875.44MiB)
11:30:48 [11:30:48.868]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
11:30:50 [11:30:50.131]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
11:30:50 [11:30:50.132]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 875.44MiB)
11:30:51 [11:30:51.496]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 875.44MiB)
11:30:52 [11:30:52.118]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
11:30:52 [11:30:52.388]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
11:30:52 [11:30:52.709]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
11:30:53 [11:30:53.182]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
11:30:53 [11:30:53.183]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
11:30:53 [11:30:53.183]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 26888 (mem: 875.44MiB)
11:30:53 [11:30:53.183]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 875.44MiB)
11:30:53 [11:30:53.184]
INFO:
ivc-integration:prove_wasm Largest circuit: 48490 gates. Trace details: (mem: 875.44MiB)
11:30:53 [11:30:53.184]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 875.44MiB)
11:30:53 [11:30:53.184]
INFO:
ivc-integration:prove_wasm ecc_op : 792
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.185]
INFO:
ivc-integration:prove_wasm busread : 16
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.185]
INFO:
ivc-integration:prove_wasm lookup : 2
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.185]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.185]
INFO:
ivc-integration:prove_wasm arithmetic : 12080
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.186]
INFO:
ivc-integration:prove_wasm delta_range : 2942
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.186]
INFO:
ivc-integration:prove_wasm elliptic : 2
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.186]
INFO:
ivc-integration:prove_wasm aux : 350
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.186]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4942
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.186]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28160
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.187]
INFO:
ivc-integration:prove_wasm overflow : 0
11:30:53 (mem: 875.44MiB)
11:30:53 [11:30:53.187]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
11:30:53 [11:30:53.187]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 875.44MiB)
11:30:53 [11:30:53.339]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
11:30:53 [11:30:53.706]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
11:30:55 [11:30:55.444]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
11:30:55 [11:30:55.767]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
11:30:55 [11:30:55.768]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
11:30:55 [11:30:55.786]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 875.44MiB)
11:30:55 [11:30:55.995]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
11:30:56 [11:30:56.007]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
11:30:56 [11:30:56.039]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
11:30:56 [11:30:56.085]
INFO:
ivc-integration:prove_wasm time to construct proving key: 88 ms. (mem: 875.44MiB)
11:30:56 [11:30:56.878]
INFO:
ivc-integration:prove_wasm WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 875.44MiB)
11:30:57 [11:30:57.455]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.44MiB)
11:30:59 [11:30:59.059]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 875.44MiB)
11:30:59 [11:30:59.080]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
11:30:59 [11:30:59.306]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
11:30:59 [11:30:59.991]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
11:31:00 [11:31:00.104]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
11:31:00 [11:31:00.105]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
11:31:00 [11:31:00.105]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 875.44MiB)
11:31:00 [11:31:00.222]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 875.44MiB)
11:31:02 [11:31:02.696]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
11:31:06 [11:31:06.099]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
11:31:09 [11:31:09.541]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 875.44MiB)
11:31:09 [11:31:09.542]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 875.44MiB)
11:31:13 [11:31:13.339]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
11:31:17 [11:31:17.109]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
11:31:19 [11:31:19.228]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
11:31:19 [11:31:19.228]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 875.44MiB)
11:31:19 [11:31:19.229]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 52933 (mem: 875.44MiB)
11:31:19 [11:31:19.233]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 875.44MiB)
11:31:19 [11:31:19.236]
INFO:
ivc-integration:prove_wasm time to serialize vk: 2 (mem: 875.44MiB)
11:31:19 [11:31:19.257]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.44MiB)
11:31:19 [11:31:19.302]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.303]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.304]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.305]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.507]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.508]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.508]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.508]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.586]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.586]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.587]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.587]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.587]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.588]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.595]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.44MiB)
11:31:19 [11:31:19.630]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.631]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.631]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.632]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.792]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.793]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.793]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.793]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.836]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.837]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.837]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.838]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.838]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
11:31:19 [11:31:19.838]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
11:31:20 [11:31:20.179]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
11:31:20
PASS src/wasm_client_ivc_integration.test.ts (
125.564 s)
11:31:20 Client IVC Integration
11:31:20
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (62344 ms)
11:31:20
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2358 ms)
11:31:20
✓ Should generate a verifiable client IVC proof from a complex mock tx (57389 ms)
11:31:20
11:31:20
Test Suites: 1 passed, 1 total
11:31:20
Tests: 3 passed, 3 total
11:31:20
Snapshots: 0 total
11:31:20
Time: 125.661 s
11:31:20
Ran all test suites matching /ivc-integration\/src\/wasm_client_ivc_integration.test.ts/i
.
11:31:20
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?