Parent Log:
http://ci.aztec-labs.com/f8dbd6e9d5360f06
Command: 751df696adf04d3f: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/106f897363bb5aee27ddd091b5be9641b011c5bb
Env: REF_NAME=gh-readonly-queue/next/pr-15004-2b9c409698cf0f475a7a9f5884117c8ad2a4f79a CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 12 15:45:48 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15004_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
15:45:52 [15:45:52.222]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
15:45:52 [15:45:52.229]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-UhnZ5o/ivc-inputs.msgpack
15:45:52 [15:45:52.231]
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-UhnZ5o --ivc_inputs_path /tmp/bb-client-ivc-integration-UhnZ5o/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:45:52 [15:45:52.408]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12060854 bytes
15:45:52 [15:45:52.422]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 156.43 MiB)
15:45:52 Scheme is: client_ivc, num threads: 128 (mem: 156.43 MiB)
15:45:52 --scheme: client_ivc (mem: 156.43 MiB)
15:45:52 --output_path: /tmp/bb-client-ivc-integration-UhnZ5o (mem: 156.43 MiB)
15:45:52 --ivc_inputs_path: /tmp/bb-client-ivc-integration-UhnZ5o/ivc-inputs.msgpack (mem: 156.43 MiB)
15:45:52 --verbose: true (mem: 156.43 MiB)
15:45:52 --write_vk: true (mem: 156.43 MiB)
15:45:52 BN254 commitment key size: 262144 (mem: 156.43 MiB)
15:45:52 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 246.00 MiB)
15:45:52 [15:45:52.441]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
15:45:52 [15:45:52.445]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 294.80 MiB)
15:45:52 [15:45:52.449]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 294.80 MiB)
15:45:52 Constructing DeciderProvingKey (mem: 294.80 MiB)
15:45:52 [15:45:52.455]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 294.80 MiB)
15:45:52 goblin ecc op : 4/1024 (mem: 294.80 MiB)
15:45:52 busread : 7/6000 (mem: 294.80 MiB)
15:45:52 lookups : 2/15000 (mem: 294.80 MiB)
15:45:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 294.80 MiB)
15:45:52 arithmetic : 1760/56000 (mem: 294.80 MiB)
15:45:52 delta range : 1754/18000 (mem: 294.80
15:45:52 [15:45:52.457]
INFO:
ivc-integration:test:wasm bb - MiB)
15:45:52 elliptic : 2/6000 (mem: 294.80 MiB)
15:45:52 auxiliary : 26/26000 (mem: 294.80 MiB)
15:45:52 poseidon ext : 2/17000 (mem: 294.80 MiB)
15:45:52 poseidon int : 2/92000 (mem: 294.80 MiB)
15:45:52 overflow : 0/0 (mem: 294.80 MiB)
15:45:52 (mem: 294.80 MiB)
15:45:52 Total structured size: 242025 (mem: 294.80 MiB)
15:45:52 allocating polynomials object in proving key... (mem: 294.80 MiB)
15:45:52 [15:45:52.532]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 501.96 MiB)
15:45:52 [15:45:52.545]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 95 ms. (mem: 516.96 MiB)
15:45:52 [15:45:52.574]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x568e29d50f00 (mem: 516.96 MiB)
15:45:52 [15:45:52.575]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 516.96 MiB)
15:45:52 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 516.96 MiB)
15:45:52 [15:45:52.760]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
15:45:52 [15:45:52.774]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
15:45:53 [15:45:53.106]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.96 MiB)
15:45:53 [15:45:53.347]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 525.96 MiB)
15:45:53 [15:45:53.360]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.96 MiB)
15:45:53 [15:45:53.383]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 525.96 MiB)
15:45:53 Constructing DeciderProvingKey (mem: 525.96 MiB)
15:45:53 [15:45:53.386]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.96 MiB)
15:45:53 goblin ecc op : 56/1024 (mem: 525.96 MiB)
15:45:53 busread : 12/6000 (mem: 525.96 MiB)
15:45:53 lookups : 2/15000 (mem: 525.96 MiB)
15:45:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.96 MiB)
15:45:53 arithmetic : 4625/56000 (mem: 525.96 MiB)
15:45:53 delta range : 2054/18000 (mem: 525.96 MiB)
15:45:53 [15:45:53.388]
INFO:
ivc-integration:test:wasm bb - elliptic : 2/6000 (mem: 525.96 MiB)
15:45:53 auxiliary : 110/26000 (mem: 525.96 MiB)
15:45:53 poseidon ext : 1302/17000 (mem: 525.96 MiB)
15:45:53 poseidon int : 7412/92000 (mem: 525.96 MiB)
15:45:53 overflow : 0/0 (mem: 525.96 MiB)
15:45:53 (mem: 525.96 MiB)
15:45:53 Total structured size: 242025 (mem: 525.96 MiB)
15:45:53 allocating polynomials object in proving key... (mem: 525.96 MiB)
15:45:53 [15:45:53.529]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 729.96 MiB)
15:45:53 [15:45:53.563]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 180 ms. (mem: 747.96 MiB)
15:45:53 [15:45:53.623]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x568e29d5db80 (mem: 747.96 MiB)
15:45:53 computing folding proof (mem: 747.96 MiB)
15:45:53 [15:45:53.625]
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: 747.96 MiB)
15:45:54 [15:45:53.999]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
15:45:54 [15:45:54.003]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
15:45:54 [15:45:54.577]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 747.96 MiB)
15:45:54 [15:45:54.794]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 748.96 MiB)
15:45:54 [15:45:54.919]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 784.96 MiB)
15:45:54 [15:45:54.979]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 817.96 MiB)
15:45:55 [15:45:55.365]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
15:45:55 [15:45:55.409]
INFO:
ivc-integration:test:wasm bb - folded (mem: 817.96 MiB)
15:45:55 [15:45:55.410]
INFO:
ivc-integration:test:wasm bb -
15:45:55 constructed folding proof (mem: 817.96 MiB)
15:45:55 [15:45:55.429]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 817.96 MiB)
15:45:55 [15:45:55.449]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
15:45:55 [15:45:55.467]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
15:45:55 [15:45:55.489]
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.13MiB)
15:45:55 [15:45:55.499]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.13MiB)
15:45:55 [15:45:55.500]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.13MiB)
15:45:55 [15:45:55.502]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 817.96 MiB)
15:45:55 Constructing DeciderProvingKey (mem: 817.96 MiB)
15:45:55 [15:45:55.509]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.96 MiB)
15:45:55 goblin ecc op : 392/1024 (mem: 817.96 MiB)
15:45:55 busread : 3/6000 (mem: 817.96 MiB)
15:45:55 lookups : 2/15000 (mem: 817.96 MiB)
15:45:55 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.96 MiB)
15:45:55 arithmetic : 6849/56000 (mem: 817.96 MiB)
15:45:55 delta range : 2333/18000 (mem: 817.96 MiB)
15:45:55 elliptic : 2/6000 (mem: 817.96 MiB)
15:45:55 auxiliary : 50/26000 (mem: 817.96 MiB)
15:45:55 poseidon ext : 2472/17000 (mem: 817.96 MiB)
15:45:55 poseidon int : 14081/92000 (mem: 817.96 MiB)
15:45:55 overflow : 0/0 (mem: 817.96 MiB)
15:45:55 (mem: 817.96 MiB)
15:45:55 Total structured size: 242025 (mem: 817.96 MiB)
15:45:55 allocating polynomials object in proving key... (mem: 817.96 MiB)
15:45:55 [15:45:55.518]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.13MiB)
15:45:55 [15:45:55.520]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.13MiB)
15:45:55 [15:45:55.521]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.13MiB)
15:45:55 [15:45:55.522]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.13MiB)
15:45:55 [15:45:55.523]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.13MiB)
15:45:55 [15:45:55.524]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.13MiB)
15:45:55 [15:45:55.524]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.13MiB)
15:45:55 [15:45:55.525]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.13MiB)
15:45:55 [15:45:55.525]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.13MiB)
15:45:55 [15:45:55.535]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.13MiB)
15:45:55 [15:45:55.536]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.13MiB)
15:45:55 [15:45:55.536]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.13MiB)
15:45:55 [15:45:55.537]
INFO:
ivc-integration:prove_wasm (mem: 354.13MiB)
15:45:55 [15:45:55.537]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.13MiB)
15:45:55 [15:45:55.538]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.13MiB)
15:45:55 [15:45:55.658]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.31MiB)
15:45:55 [15:45:55.693]
INFO:
ivc-integration:prove_wasm time to construct proving key: 194 ms. (mem: 581.50MiB)
15:45:55 [15:45:55.711]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.50MiB)
15:45:55 [15:45:55.715]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 817.96 MiB)
15:45:55 [15:45:55.775]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 273 ms. (mem: 817.96 MiB)
15:45:55 [15:45:55.930]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x568e29d53540 (mem: 817.96 MiB)
15:45:55 computing folding proof (mem: 817.96 MiB)
15:45:55 [15:45:55.933]
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: 817.96 MiB)
15:45:56 [15:45:56.647]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.96 MiB)
15:45:57 [15:45:57.353]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 817.96 MiB)
15:45:57 [15:45:57.517]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.50MiB)
15:45:57 [15:45:57.518]
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.50MiB)
15:45:57 [15:45:57.571]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 817.96 MiB)
15:45:57 [15:45:57.632]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 826.80 MiB)
15:45:58 [15:45:58.250]
INFO:
ivc-integration:test:wasm bb - folded (mem: 826.80 MiB)
15:45:58 constructed folding proof (mem: 826.80 MiB)
15:45:58 [15:45:58.253]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 25792 gates. Trace details: (mem: 826.80 MiB)
15:45:58 Minimum required block sizes for structured trace: (mem: 826.80 MiB)
15:45:58 (mem: 826.80 MiB)
15:45:58 prove decider... (mem: 826.80 MiB)
15:45:58 [15:45:58.254]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
15:45:58 busread : 12
15:45:58 lookup : 2
15:45:58 pub_inputs : 36
15:45:58 arithmetic : 6849
15:45:58 delta_range : 2333
15:45:58 elliptic : 2
15:45:58 aux : 110
15:45:58 poseidon2_external : 2472
15:45:58 poseidon2_internal : 14081
15:45:58 overflow : 0
15:45:58 [15:45:58.597]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 826.80 MiB)
15:45:58 [15:45:58.882]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 826.80 MiB)
15:45:59 [15:45:59.340]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.50MiB)
15:45:59 [15:45:59.815]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.50MiB)
15:45:59 [15:45:59.839]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.50MiB)
15:45:59 [15:45:59.875]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.50MiB)
15:45:59 [15:45:59.876]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.50MiB)
15:45:59 [15:45:59.890]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.50MiB)
15:45:59 [15:45:59.893]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.50MiB)
15:45:59 [15:45:59.894]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.50MiB)
15:45:59 [15:45:59.894]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.50MiB)
15:45:59 [15:45:59.895]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.50MiB)
15:45:59 [15:45:59.895]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.50MiB)
15:45:59 [15:45:59.896]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.50MiB)
15:45:59 [15:45:59.896]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.50MiB)
15:45:59 [15:45:59.896]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.50MiB)
15:45:59 [15:45:59.897]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.50MiB)
15:45:59 [15:45:59.897]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.50MiB)
15:45:59 [15:45:59.898]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.50MiB)
15:45:59 [15:45:59.898]
INFO:
ivc-integration:prove_wasm (mem: 581.50MiB)
15:45:59 [15:45:59.898]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.50MiB)
15:45:59 [15:45:59.899]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.50MiB)
15:46:00 [15:46:00.015]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 804.94MiB)
15:46:00 [15:46:00.064]
INFO:
ivc-integration:prove_wasm time to construct proving key: 189 ms. (mem: 820.25MiB)
15:46:00 [15:46:00.115]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.25MiB)
15:46:00 [15:46:00.642]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 826.80 MiB)
15:46:00 [15:46:00.754]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 826.80 MiB)
15:46:00 finished decider proving. (mem: 826.80 MiB)
15:46:00 [15:46:00.774]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 826.80 MiB)
15:46:00 [15:46:00.884]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 826.80 MiB)
15:46:00 [15:46:00.888]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 826.80 MiB)
15:46:01 [15:46:01.097]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 826.80 MiB)
15:46:01 [15:46:01.182]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 301 ms. (mem: 826.80
15:46:01 [15:46:01.186]
INFO:
ivc-integration:test:wasm bb - MiB)
15:46:01 [15:46:01.864]
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: 826.80 MiB)
15:46:02 [15:46:02.128]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.25MiB)
15:46:02 [15:46:02.130]
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.25MiB)
15:46:02 [15:46:02.473]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 826.80 MiB)
15:46:03 [15:46:03.209]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 826.80 MiB)
15:46:03 [15:46:03.498]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 826.80 MiB)
15:46:04 [15:46:04.006]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.25MiB)
15:46:04 [15:46:04.667]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.25MiB)
15:46:04 [15:46:04.854]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 826.80 MiB)
15:46:04 [15:46:04.947]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.75MiB)
15:46:05 [15:46:05.677]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.75MiB)
15:46:06 [15:46:06.345]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 826.80 MiB)
15:46:06 [15:46:06.371]
INFO:
ivc-integration:prove_wasm folded (mem: 847.75MiB)
15:46:06 [15:46:06.372]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.75MiB)
15:46:06 [15:46:06.396]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 847.75MiB)
15:46:06 [15:46:06.415]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 826.80 MiB)
15:46:06 finished decider proving. (mem: 826.80 MiB)
15:46:06 Constructing a Goblin proof with num ultra ops = 1038 (mem: 826.80 MiB)
15:46:06 [15:46:06.574]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.75MiB)
15:46:06 [15:46:06.577]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.75MiB)
15:46:06 [15:46:06.581]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.75MiB)
15:46:06 [15:46:06.582]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.75MiB)
15:46:06 [15:46:06.582]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.75MiB)
15:46:06 [15:46:06.582]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.75MiB)
15:46:06 [15:46:06.585]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.75MiB)
15:46:06 [15:46:06.586]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 847.75MiB)
15:46:06 [15:46:06.586]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 847.75MiB)
15:46:06 [15:46:06.587]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.75MiB)
15:46:06 [15:46:06.588]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.75MiB)
15:46:06 [15:46:06.588]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 847.75MiB)
15:46:06 [15:46:06.589]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 847.75MiB)
15:46:06 [15:46:06.589]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.75MiB)
15:46:06 [15:46:06.590]
INFO:
ivc-integration:prove_wasm (mem: 847.75MiB)
15:46:06 [15:46:06.594]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.75MiB)
15:46:06 [15:46:06.595]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.75MiB)
15:46:06 [15:46:06.643]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.75MiB)
15:46:06 [15:46:06.688]
INFO:
ivc-integration:prove_wasm time to construct proving key: 110 ms. (mem: 847.75MiB)
15:46:06 [15:46:06.750]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 826.80 MiB)
15:46:06 [15:46:06.792]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.75MiB)
15:46:07 [15:46:07.345]
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: 826.80 MiB)
15:46:07 [15:46:07.376]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 826.80 MiB)
15:46:08 [15:46:08.478]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.75MiB)
15:46:08 [15:46:08.479]
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.75MiB)
15:46:09 [15:46:09.901]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 826.80 MiB)
15:46:10 [15:46:10.543]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.75MiB)
15:46:11 [15:46:11.381]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.75MiB)
15:46:11 [15:46:11.596]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
15:46:11 [15:46:11.833]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
15:46:12 [15:46:12.045]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 826.80 MiB)
15:46:12 [15:46:12.325]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
15:46:12 [15:46:12.325]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
15:46:12 [15:46:12.326]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 16870 (mem: 855.63MiB)
15:46:12 [15:46:12.327]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
15:46:12 [15:46:12.327]
INFO:
ivc-integration:prove_wasm Largest circuit: 25792 gates. Trace details: (mem: 855.63MiB)
15:46:12 [15:46:12.328]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
15:46:12 [15:46:12.328]
INFO:
ivc-integration:prove_wasm ecc_op : 392
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.328]
INFO:
ivc-integration:prove_wasm busread : 12
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.329]
INFO:
ivc-integration:prove_wasm lookup : 2
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.329]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.329]
INFO:
ivc-integration:prove_wasm arithmetic : 6849
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.330]
INFO:
ivc-integration:prove_wasm delta_range : 2333
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.330]
INFO:
ivc-integration:prove_wasm elliptic : 2
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.330]
INFO:
ivc-integration:prove_wasm aux : 110
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.331]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2472
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.331]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14081
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.331]
INFO:
ivc-integration:prove_wasm overflow : 0
15:46:12 (mem: 855.63MiB)
15:46:12 [15:46:12.332]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
15:46:12 [15:46:12.332]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
15:46:12 [15:46:12.537]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
15:46:12 [15:46:12.931]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
15:46:14 [15:46:14.742]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
15:46:15 [15:46:15.112]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
15:46:15 [15:46:15.113]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
15:46:15 [15:46:15.142]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 855.63MiB)
15:46:15 [15:46:15.360]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
15:46:15 [15:46:15.374]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
15:46:15 [15:46:15.399]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
15:46:15 [15:46:15.451]
INFO:
ivc-integration:prove_wasm time to construct proving key: 92 ms. (mem: 855.63MiB)
15:46:16 [15:46:16.173]
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.63MiB)
15:46:16 [15:46:16.880]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
15:46:17 [15:46:17.671]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 826.80 MiB)
15:46:17 prove translator... (mem: 826.80 MiB)
15:46:18 [15:46:18.303]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
15:46:18 [15:46:18.353]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
15:46:18 [15:46:18.699]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
15:46:19 [15:46:19.825]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
15:46:19 [15:46:19.978]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
15:46:19 [15:46:19.979]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
15:46:19 [15:46:19.979]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
15:46:20 [15:46:20.089]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
15:46:21 [15:46:21.352]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 846.26 MiB)
15:46:23 [15:46:23.024]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
15:46:24 [15:46:24.844]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 846.26 MiB)
15:46:27 [15:46:27.256]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
15:46:27 [15:46:27.522]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 846.26 MiB)
15:46:27 finished translator proving. (mem: 846.26 MiB)
15:46:27 [15:46:27.526]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.26 MiB)
15:46:27 [15:46:27.545]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 846.26 MiB)
15:46:27 libra_evals_verified: 1 (mem: 846.26 MiB)
15:46:27 pairing_check_verified: 1 (mem: 846.26 MiB)
15:46:27 Mega verified: 1 (mem: 846.26 MiB)
15:46:27 [15:46:27.675]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 846.26 MiB)
15:46:27 batch opening verified?: 1 (mem: 846.26 MiB)
15:46:27 [15:46:27.681]
INFO:
ivc-integration:test:wasm bb - eccvm consistency check verified?: 1 (mem: 846.26 MiB)
15:46:27 translation masking consistency checked?: 1 (mem: 846.26 MiB)
15:46:27 [15:46:27.701]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 846.26 MiB)
15:46:27 eccvm verified?: 1 (mem: 846.26 MiB)
15:46:27 accumulator construction_verified?: 1 (mem: 846.26 MiB)
15:46:27 translation verified?: 1 (mem: 846.26 MiB)
15:46:27 consistency verified?: 1 (mem: 846.26 MiB)
15:46:27 Goblin verified: 1 (mem: 846.26 MiB)
15:46:27 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-UhnZ5o" (mem: 846.26 MiB)
15:46:27 [15:46:27.701]
INFO:
ivc-integration:test:wasm bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-UhnZ5o" (mem: 846.26 MiB)
15:46:27 BN254 commitment key size: 262144 (mem: 846.26 MiB)
15:46:27 [15:46:27.704]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.26 MiB)
15:46:27 [15:46:27.708]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.26 MiB)
15:46:27 goblin ecc op : 4/1024 (mem: 846.26 MiB)
15:46:27 busread : 3/6000 (mem: 846.26 MiB)
15:46:27 lookups : 2/15000 (mem: 846.26 MiB)
15:46:27 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.26 MiB)
15:46:27 arithmetic : 1773/56000 (mem: 846.26 MiB)
15:46:27 delta range : 1754/18000 (mem: 846.26 MiB)
15:46:27 elliptic : 2/6000 (mem: 846.26 MiB)
15:46:27 auxiliary : 26/26000 (mem: 846.26 MiB)
15:46:27 poseidon ext : 2/17000 (mem: 846.26 MiB)
15:46:27 poseidon int : 2/92000 (mem: 846.26 MiB)
15:46:27 overflow : 0/0 (mem: 846.26 MiB)
15:46:27 (mem: 846.26 MiB)
15:46:27 Total structured size: 242025 (mem: 846.26 MiB)
15:46:27 allocating polynomials object in proving key... (mem: 846.26 MiB)
15:46:27 [15:46:27.844]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.26 MiB)
15:46:27 [15:46:27.880]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 176 ms. (mem: 846.26 MiB)
15:46:27 [15:46:27.957]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.26 MiB)
15:46:29 [15:46:29.069]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 846.26 MiB)
15:46:29 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.26 MiB)
15:46:29 [15:46:29.969]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c
15:46:29 [15:46:29.970]
INFO:
ivc-integration:test:wasm bb - (mem:
15:46:29 [15:46:29.971]
INFO:
ivc-integration:test:wasm bb - 846.26
15:46:29 [15:46:29.972]
INFO:
ivc-integration:test:wasm bb - MiB)
15:46:29 [15:46:29.972]
INFO:
ivc-integration:test:wasm bb -
15:46:30 [15:46:30.529]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 846.26 MiB)
15:46:30 [15:46:30.541]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.26 MiB)
15:46:30 [15:46:30.559]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 846.26 MiB)
15:46:30 [15:46:30.569]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.26 MiB)
15:46:30 goblin ecc op : 56/1024 (mem: 846.26 MiB)
15:46:30 busread : 3/6000 (mem: 846.26 MiB)
15:46:30 lookups : 2/15000 (mem: 846.26 MiB)
15:46:30 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.26 MiB)
15:46:30 arithmetic : 4481/56000 (mem: 846.26 MiB)
15:46:30 delta range : 2041/18000 (mem: 846.26 MiB)
15:46:30 elliptic : 2/6000 (mem: 846.26 MiB)
15:46:30 auxiliary : 50/26000 (mem: 846.26 MiB)
15:46:30 poseidon ext : 1312/17000 (mem: 846.26 MiB)
15:46:30 poseidon int : 7469/92000 (mem: 846.26 MiB)
15:46:30 overflow : 0/0 (mem: 846.26 MiB)
15:46:30 (mem: 846.26 MiB)
15:46:30 Total structured size: 242025 (mem: 846.26 MiB)
15:46:30 allocating polynomials object in proving key... (mem: 846.26 MiB)
15:46:30 [15:46:30.819]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 846.26 MiB)
15:46:30 [15:46:30.854]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 294 ms. (mem: 846.26 MiB)
15:46:31 [15:46:31.002]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 846.26 MiB)
15:46:31 [15:46:31.797]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 846.26 MiB)
15:46:31 [15:46:31.800]
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: 846.26 MiB)
15:46:32 [15:46:32.503]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 846.26 MiB)
15:46:33 [15:46:33.172]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 846.26 MiB)
15:46:33 [15:46:33.373]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 847.26 MiB)
15:46:33 [15:46:33.444]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 879.26 MiB)
15:46:33 [15:46:33.692]
INFO:
ivc-integration:test:wasm bb - folded (mem: 879.26 MiB)
15:46:33 constructed folding proof
15:46:33 [15:46:33.693]
INFO:
ivc-integration:test:wasm bb - (mem: 879.26 MiB)
15:46:33 Largest circuit: 15360 gates. Trace details: (mem: 879.26 MiB)
15:46:33 Minimum required block sizes for structured trace: (mem: 879.26 MiB)
15:46:33 (mem: 879.26 MiB)
15:46:33 prove decider... (mem: 879.26 MiB)
15:46:33 [15:46:33.694]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
15:46:33 busread : 3
15:46:33 lookup : 2
15:46:33 pub_inputs : 36
15:46:33 arithmetic : 4481
15:46:33 delta_range : 2041
15:46:33 elliptic : 2
15:46:33 aux : 50
15:46:33 poseidon2_external : 1312
15:46:33 poseidon2_internal : 7469
15:46:33 overflow : 0
15:46:33 [15:46:33.879]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 879.26 MiB)
15:46:34 [15:46:34.060]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 879.26 MiB)
15:46:35 [15:46:35.119]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 879.26 MiB)
15:46:35 [15:46:35.193]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 879.26 MiB)
15:46:35 finished decider proving. (mem: 879.26 MiB)
15:46:35 [15:46:35.233]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 879.26 MiB)
15:46:35 [15:46:35.335]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 879.26 MiB)
15:46:35 [15:46:35.341]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 879.26 MiB)
15:46:35 [15:46:35.544]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 879.26 MiB)
15:46:35 [15:46:35.636]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 302 ms. (mem: 879.26 MiB)
15:46:36 [15:46:36.321]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
15:46:36 [15:46:36.322]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
15:46:42 [15:46:42.630]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
15:46:47 [15:46:47.354]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
15:46:51 [15:46:51.906]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
15:46:51 [15:46:51.915]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
15:46:51 [15:46:51.916]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 56458 (mem: 855.63MiB)
15:46:51 [15:46:51.926]
INFO:
ivc-integration:prove_wasm time to serialize proof: 9 (mem: 855.63MiB)
15:46:51 [15:46:51.934]
INFO:
ivc-integration:prove_wasm time to serialize vk: 9 (mem: 855.63MiB)
15:46:51 [15:46:51.957]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 855.63MiB)
15:46:52 [15:46:52.059]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.061]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.062]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.062]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.425]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.426]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.427]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.427]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.564]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.570]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.571]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.572]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.574]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
15:46:52 [15:46:52.575]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
15:46:53 [15:46:53.680]
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-UhnZ5o/proof -k /tmp/bb-client-ivc-integration-UhnZ5o/vk -v
15:46:53 [15:46:53.764]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 794.62 MiB)
15:46:53 Scheme is: client_ivc, num threads: 128 (mem: 794.62 MiB)
15:46:53 --proof_path: /tmp/bb-client-ivc-integration-UhnZ5o/proof (mem: 794.62 MiB)
15:46:53 --vk_path: /tmp/bb-client-ivc-integration-UhnZ5o/vk (mem: 794.62 MiB)
15:46:53 --verbose: true (mem: 794.62 MiB)
15:46:53 --scheme: client_ivc (mem: 794.62 MiB)
15:46:53 [15:46:53.897]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 794.62 MiB)
15:46:53 [15:46:53.931]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 794.62 MiB)
15:46:53 [15:46:53.933]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 794.62 MiB)
15:46:53 [15:46:53.946]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 794.62 MiB)
15:46:53 [15:46:53.947]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1025 (mem: 794.62 MiB)
15:46:53 sumcheck_verified: 1 (mem: 794.62 MiB)
15:46:53 libra_evals_verified: 1 (mem: 794.62 MiB)
15:46:53 pairing_check_verified: 1 (mem: 794.62 MiB)
15:46:53 Mega verified: 1 (mem: 794.62 MiB)
15:46:54 [15:46:54.043]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 794.62 MiB)
15:46:54 batch opening verified?: 1 (mem: 794.62 MiB)
15:46:54 eccvm consistency check verified?: 1 (mem: 794.62 MiB)
15:46:54 translation masking consistency checked?: 1 (mem: 794.62 MiB)
15:46:54 [15:46:54.065]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 794.62 MiB)
15:46:54 eccvm verified?: 1 (mem: 794.62 MiB)
15:46:54 accumulator construction_verified?: 1 (mem: 794.62 MiB)
15:46:54 translation verified?: 1 (mem: 794.62 MiB)
15:46:54 consistency verified?: 1 (mem: 794.62 MiB)
15:46:54 Goblin verified: 1 (mem: 794.62 MiB)
15:46:54 [15:46:54.072]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 794.62 MiB)
15:46:54 [15:46:54.152]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
15:46:54 [15:46:54.316]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12060854 bytes
15:46:54 [15:46:54.382]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
15:46:54 [15:46:54.891]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
15:46:54 [15:46:54.909]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
15:46:54 [15:46:54.910]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
15:46:56 [15:46:56.341]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
15:46:56 [15:46:56.413]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
15:46:56 [15:46:56.416]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
15:46:56 [15:46:56.489]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
15:46:56 [15:46:56.502]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
15:46:56 [15:46:56.537]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
15:46:56 [15:46:56.548]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
15:46:56 [15:46:56.745]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15519,"2":25792}
15:46:56 [15:46:56.816]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
15:46:56 [15:46:56.955]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12060854 bytes
15:46:57 [15:46:57.123]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
15:46:57 [15:46:57.706]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
15:46:57 [15:46:57.731]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
15:46:59 [15:46:59.407]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
15:46:59 [15:46:59.408]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
15:47:00 [15:47:00.704]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
15:47:00 [15:47:00.887]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
15:47:00 [15:47:00.926]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
15:47:00 [15:47:00.937]
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.13MiB)
15:47:00 [15:47:00.942]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.13MiB)
15:47:00 [15:47:00.942]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.13MiB)
15:47:00 [15:47:00.968]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.13MiB)
15:47:00 [15:47:00.969]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.13MiB)
15:47:00 [15:47:00.970]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.13MiB)
15:47:00 [15:47:00.970]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.13MiB)
15:47:00 [15:47:00.970]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.13MiB)
15:47:00 [15:47:00.971]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.13MiB)
15:47:00 [15:47:00.971]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.13MiB)
15:47:00 [15:47:00.971]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.13MiB)
15:47:00 [15:47:00.972]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.13MiB)
15:47:00 [15:47:00.972]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.13MiB)
15:47:00 [15:47:00.972]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.13MiB)
15:47:00 [15:47:00.972]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.13MiB)
15:47:00 [15:47:00.973]
INFO:
ivc-integration:prove_wasm (mem: 354.13MiB)
15:47:00 [15:47:00.973]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.13MiB)
15:47:00 [15:47:00.973]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.13MiB)
15:47:01 [15:47:01.091]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.88MiB)
15:47:01 [15:47:01.117]
INFO:
ivc-integration:prove_wasm time to construct proving key: 174 ms. (mem: 581.88MiB)
15:47:01 [15:47:01.133]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.88MiB)
15:47:02 [15:47:02.604]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.88MiB)
15:47:02 [15:47:02.605]
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.88MiB)
15:47:04 [15:47:04.143]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.88MiB)
15:47:04 [15:47:04.451]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.88MiB)
15:47:04 [15:47:04.463]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.88MiB)
15:47:04 [15:47:04.486]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.88MiB)
15:47:04 [15:47:04.487]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.88MiB)
15:47:04 [15:47:04.490]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.88MiB)
15:47:04 [15:47:04.491]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.88MiB)
15:47:04 [15:47:04.491]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.88MiB)
15:47:04 [15:47:04.491]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.88MiB)
15:47:04 [15:47:04.492]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.88MiB)
15:47:04 [15:47:04.492]
INFO:
ivc-integration:prove_wasm arithmetic : 4625/56000 (mem: 581.88MiB)
15:47:04 [15:47:04.492]
INFO:
ivc-integration:prove_wasm delta range : 2054/18000 (mem: 581.88MiB)
15:47:04 [15:47:04.492]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.88MiB)
15:47:04 [15:47:04.493]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.88MiB)
15:47:04 [15:47:04.493]
INFO:
ivc-integration:prove_wasm poseidon ext : 1302/17000 (mem: 581.88MiB)
15:47:04 [15:47:04.493]
INFO:
ivc-integration:prove_wasm poseidon int : 7412/92000 (mem: 581.88MiB)
15:47:04 [15:47:04.493]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.88MiB)
15:47:04 [15:47:04.494]
INFO:
ivc-integration:prove_wasm (mem: 581.88MiB)
15:47:04 [15:47:04.494]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.88MiB)
15:47:04 [15:47:04.494]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.88MiB)
15:47:04 [15:47:04.583]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.50MiB)
15:47:04 [15:47:04.617]
INFO:
ivc-integration:prove_wasm time to construct proving key: 131 ms. (mem: 820.69MiB)
15:47:04 [15:47:04.650]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
15:47:06 [15:47:06.292]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
15:47:06 [15:47:06.293]
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)
15:47:07 [15:47:07.867]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 820.69MiB)
15:47:08 [15:47:08.534]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
15:47:08 [15:47:08.811]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
15:47:09 [15:47:09.496]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
15:47:09 [15:47:09.931]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
15:47:09 [15:47:09.932]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
15:47:09 [15:47:09.936]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
15:47:09 [15:47:09.937]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
15:47:09 [15:47:09.942]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
15:47:09 [15:47:09.943]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
15:47:09 [15:47:09.943]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
15:47:09 [15:47:09.944]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
15:47:09 [15:47:09.944]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
15:47:09 [15:47:09.945]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
15:47:09 [15:47:09.945]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
15:47:09 [15:47:09.945]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
15:47:09 [15:47:09.945]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
15:47:09 [15:47:09.947]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
15:47:09 [15:47:09.947]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
15:47:09 [15:47:09.948]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
15:47:09 [15:47:09.948]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
15:47:09 [15:47:09.948]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
15:47:09 [15:47:09.949]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
15:47:09 [15:47:09.969]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
15:47:09 [15:47:09.978]
INFO:
ivc-integration:prove_wasm time to construct proving key: 41 ms. (mem: 848.19MiB)
15:47:10 [15:47:10.004]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
15:47:11 [15:47:11.191]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
15:47:11 [15:47:11.192]
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)
15:47:12 [15:47:12.461]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
15:47:12 [15:47:12.752]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
15:47:12 [15:47:12.903]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
15:47:13 [15:47:13.149]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
15:47:13 [15:47:13.568]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
15:47:13 [15:47:13.569]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
15:47:13 [15:47:13.585]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 848.19MiB)
15:47:13 [15:47:13.706]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
15:47:13 [15:47:13.844]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
15:47:13 [15:47:13.845]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
15:47:13 [15:47:13.852]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
15:47:13 [15:47:13.853]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
15:47:13 [15:47:13.854]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
15:47:13 [15:47:13.855]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
15:47:13 [15:47:13.855]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
15:47:13 [15:47:13.855]
INFO:
ivc-integration:prove_wasm arithmetic : 12080/56000 (mem: 848.19MiB)
15:47:13 [15:47:13.856]
INFO:
ivc-integration:prove_wasm delta range : 2942/18000 (mem: 848.19MiB)
15:47:13 [15:47:13.856]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
15:47:13 [15:47:13.856]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
15:47:13 [15:47:13.856]
INFO:
ivc-integration:prove_wasm poseidon ext : 4942/17000 (mem: 848.19MiB)
15:47:13 [15:47:13.857]
INFO:
ivc-integration:prove_wasm poseidon int : 28160/92000 (mem: 848.19MiB)
15:47:13 [15:47:13.857]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
15:47:13 [15:47:13.859]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
15:47:13 [15:47:13.860]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
15:47:13 [15:47:13.860]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
15:47:13 [15:47:13.914]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
15:47:13 [15:47:13.972]
INFO:
ivc-integration:prove_wasm time to construct proving key: 127 ms. (mem: 851.31MiB)
15:47:14 [15:47:14.056]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.31MiB)
15:47:15 [15:47:15.504]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.31MiB)
15:47:15 [15:47:15.505]
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.31MiB)
15:47:16 [15:47:16.970]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 851.31MiB)
15:47:17 [15:47:17.799]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.31MiB)
15:47:17 [15:47:17.971]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.50MiB)
15:47:18 [15:47:18.311]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.50MiB)
15:47:18 [15:47:18.668]
INFO:
ivc-integration:prove_wasm folded (mem: 875.50MiB)
15:47:18 [15:47:18.669]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.50MiB)
15:47:18 [15:47:18.676]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 875.50MiB)
15:47:18 [15:47:18.800]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 875.50MiB)
15:47:18 [15:47:18.801]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.50MiB)
15:47:18 [15:47:18.804]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.50MiB)
15:47:18 [15:47:18.804]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.50MiB)
15:47:18 [15:47:18.804]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 875.50MiB)
15:47:18 [15:47:18.805]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.50MiB)
15:47:18 [15:47:18.805]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 875.50MiB)
15:47:18 [15:47:18.805]
INFO:
ivc-integration:prove_wasm arithmetic : 6914/56000 (mem: 875.50MiB)
15:47:18 [15:47:18.805]
INFO:
ivc-integration:prove_wasm delta range : 2347/18000 (mem: 875.50MiB)
15:47:18 [15:47:18.805]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.50MiB)
15:47:18 [15:47:18.806]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 875.50MiB)
15:47:18 [15:47:18.806]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 875.50MiB)
15:47:18 [15:47:18.806]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 875.50MiB)
15:47:18 [15:47:18.806]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.50MiB)
15:47:18 [15:47:18.806]
INFO:
ivc-integration:prove_wasm (mem: 875.50MiB)
15:47:18 [15:47:18.807]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.50MiB)
15:47:18 [15:47:18.807]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.50MiB)
15:47:18 [15:47:18.834]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.50MiB)
15:47:18 [15:47:18.858]
INFO:
ivc-integration:prove_wasm time to construct proving key: 59 ms. (mem: 875.50MiB)
15:47:18 [15:47:18.974]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.50MiB)
15:47:20 [15:47:20.211]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.50MiB)
15:47:20 [15:47:20.211]
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.50MiB)
15:47:21 [15:47:21.379]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 875.50MiB)
15:47:21 [15:47:21.917]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.50MiB)
15:47:22 [15:47:22.176]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.50MiB)
15:47:22 [15:47:22.458]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.50MiB)
15:47:22 [15:47:22.703]
INFO:
ivc-integration:prove_wasm folded (mem: 875.50MiB)
15:47:22 [15:47:22.704]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.50MiB)
15:47:22 [15:47:22.713]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 875.50MiB)
15:47:22 [15:47:22.851]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 875.50MiB)
15:47:22 [15:47:22.852]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.50MiB)
15:47:22 [15:47:22.856]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.50MiB)
15:47:22 [15:47:22.856]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.50MiB)
15:47:22 [15:47:22.856]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 875.50MiB)
15:47:22 [15:47:22.857]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.50MiB)
15:47:22 [15:47:22.857]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 875.50MiB)
15:47:22 [15:47:22.857]
INFO:
ivc-integration:prove_wasm arithmetic : 6849/56000 (mem: 875.50MiB)
15:47:22 [15:47:22.857]
INFO:
ivc-integration:prove_wasm delta range : 2333/18000 (mem: 875.50MiB)
15:47:22 [15:47:22.858]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.50MiB)
15:47:22 [15:47:22.858]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 875.50MiB)
15:47:22 [15:47:22.858]
INFO:
ivc-integration:prove_wasm poseidon ext : 2472/17000 (mem: 875.50MiB)
15:47:22 [15:47:22.858]
INFO:
ivc-integration:prove_wasm poseidon int : 14081/92000 (mem: 875.50MiB)
15:47:22 [15:47:22.859]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.50MiB)
15:47:22 [15:47:22.859]
INFO:
ivc-integration:prove_wasm (mem: 875.50MiB)
15:47:22 [15:47:22.859]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.50MiB)
15:47:22 [15:47:22.859]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.50MiB)
15:47:22 [15:47:22.872]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.50MiB)
15:47:22 [15:47:22.916]
INFO:
ivc-integration:prove_wasm time to construct proving key: 65 ms. (mem: 875.50MiB)
15:47:23 [15:47:23.031]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.50MiB)
15:47:24 [15:47:24.115]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.50MiB)
15:47:24 [15:47:24.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: 875.50MiB)
15:47:25 [15:47:25.283]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 875.50MiB)
15:47:25 [15:47:25.750]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.50MiB)
15:47:26 [15:47:26.030]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.50MiB)
15:47:26 [15:47:26.345]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.50MiB)
15:47:26 [15:47:26.708]
INFO:
ivc-integration:prove_wasm folded (mem: 875.50MiB)
15:47:26 [15:47:26.709]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.50MiB)
15:47:26 [15:47:26.709]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 25816 (mem: 875.50MiB)
15:47:26 [15:47:26.710]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 875.50MiB)
15:47:26 [15:47:26.710]
INFO:
ivc-integration:prove_wasm Largest circuit: 48490 gates. Trace details: (mem: 875.50MiB)
15:47:26 [15:47:26.710]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 875.50MiB)
15:47:26 [15:47:26.711]
INFO:
ivc-integration:prove_wasm ecc_op : 792
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.711]
INFO:
ivc-integration:prove_wasm busread : 16
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.711]
INFO:
ivc-integration:prove_wasm lookup : 2
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.712]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.712]
INFO:
ivc-integration:prove_wasm arithmetic : 12080
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.712]
INFO:
ivc-integration:prove_wasm delta_range : 2942
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.712]
INFO:
ivc-integration:prove_wasm elliptic : 2
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.713]
INFO:
ivc-integration:prove_wasm aux : 350
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.713]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4942
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.713]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28160
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.714]
INFO:
ivc-integration:prove_wasm overflow : 0
15:47:26 (mem: 875.50MiB)
15:47:26 [15:47:26.714]
INFO:
ivc-integration:prove_wasm (mem: 875.50MiB)
15:47:26 [15:47:26.714]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 875.50MiB)
15:47:26 [15:47:26.888]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.50MiB)
15:47:27 [15:47:27.222]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.50MiB)
15:47:28 [15:47:28.355]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.50MiB)
15:47:28 [15:47:28.645]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.50MiB)
15:47:28 [15:47:28.645]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.50MiB)
15:47:28 [15:47:28.667]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 875.50MiB)
15:47:28 [15:47:28.879]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.50MiB)
15:47:28 [15:47:28.885]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.50MiB)
15:47:28 [15:47:28.959]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.50MiB)
15:47:29 [15:47:29.027]
INFO:
ivc-integration:prove_wasm time to construct proving key: 150 ms. (mem: 875.50MiB)
15:47:29 [15:47:29.938]
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.50MiB)
15:47:30 [15:47:30.930]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.50MiB)
15:47:32 [15:47:33.000]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 875.50MiB)
15:47:33 [15:47:33.025]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.50MiB)
15:47:33 [15:47:33.235]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.50MiB)
15:47:33 [15:47:33.831]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.50MiB)
15:47:33 [15:47:33.935]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.50MiB)
15:47:33 [15:47:33.936]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.50MiB)
15:47:33 [15:47:33.936]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 875.50MiB)
15:47:34 [15:47:34.021]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 875.50MiB)
15:47:37 [15:47:37.029]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.50MiB)
15:47:40 [15:47:40.427]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.50MiB)
15:47:43 [15:47:43.630]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 875.50MiB)
15:47:43 [15:47:43.631]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 875.50MiB)
15:47:47 [15:47:47.366]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.50MiB)
15:47:50 [15:47:50.890]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.50MiB)
15:47:53 [15:47:53.128]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.50MiB)
15:47:53 [15:47:53.134]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 875.50MiB)
15:47:53 [15:47:53.135]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 52242 (mem: 875.50MiB)
15:47:53 [15:47:53.139]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 875.50MiB)
15:47:53 [15:47:53.141]
INFO:
ivc-integration:prove_wasm time to serialize vk: 2 (mem: 875.50MiB)
15:47:53 [15:47:53.154]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.50MiB)
15:47:53 [15:47:53.194]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.194]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.194]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.195]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.452]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.453]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.453]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.454]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.513]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.513]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.513]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.514]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.514]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.514]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.520]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 875.50MiB)
15:47:53 [15:47:53.560]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.560]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.561]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.561]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.752]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.752]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.753]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.753]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.815]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.815]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.815]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.816]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.816]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.50MiB)
15:47:53 [15:47:53.816]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.50MiB)
15:47:54 [15:47:54.245]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
15:47:54
PASS src/wasm_client_ivc_integration.test.ts (
125.3 s)
15:47:54 Client IVC Integration
15:47:54
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (61984 ms)
15:47:54
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2608 ms)
15:47:54
✓ Should generate a verifiable client IVC proof from a complex mock tx (57500 ms)
15:47:54
15:47:54
Test Suites: 1 passed, 1 total
15:47:54
Tests: 3 passed, 3 total
15:47:54
Snapshots: 0 total
15:47:54
Time: 125.378 s
15:47:54
Ran all test suites matching /ivc-integration\/src\/wasm_client_ivc_integration.test.ts/i
.
15:47:54
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?