Parent Log:
http://ci.aztec-labs.com/c81d42f03fadf137
Command: a5511b51e55ea9c0: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/9cbd161a1dfa928167c1f969200b95df55ed4c6b
Env: REF_NAME=gh-readonly-queue/next/pr-15157-6e3848bbd6845559b55825f0bc64df0673272969 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 09:38:22 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15157_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
09:38:26 [09:38:26.543]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
09:38:26 [09:38:26.551]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-M5KL4a/ivc-inputs.msgpack
09:38:26 [09:38:26.552]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
09:38:26 [09:38:26.553]
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-M5KL4a --ivc_inputs_path /tmp/bb-client-ivc-integration-M5KL4a/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
09:38:26 [09:38:26.728]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12144037 bytes
09:38:26 [09:38:26.743]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 183.74 MiB)
09:38:26 Scheme is: client_ivc, num threads: 128 (mem: 183.74 MiB)
09:38:26 --scheme: client_ivc (mem: 183.74 MiB)
09:38:26 --output_path: /tmp/bb-client-ivc-integration-M5KL4a (mem: 183.74 MiB)
09:38:26 --ivc_inputs_path: /tmp/bb-client-ivc-integration-M5KL4a/ivc-inputs.msgpack (mem: 183.74 MiB)
09:38:26 --verbose: true (mem: 183.74 MiB)
09:38:26 --write_vk: true (mem: 183.74 MiB)
09:38:26 BN254 commitment key size: 262144 (mem: 183.74 MiB)
09:38:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 261.00 MiB)
09:38:26 [09:38:26.765]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
09:38:26 [09:38:26.772]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 309.05 MiB)
09:38:26 [09:38:26.777]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 309.05 MiB)
09:38:26 Constructing DeciderProvingKey (mem: 309.05 MiB)
09:38:26 [09:38:26.782]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 309.05 MiB)
09:38:26 goblin ecc op : 4/1024 (mem: 309.05 MiB)
09:38:26 busread : 7/6000 (mem: 309.05 MiB)
09:38:26 lookups : 2/15000 (mem: 309.05 MiB)
09:38:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 309.05 MiB)
09:38:26 arithmetic : 1760/56000 (mem:
09:38:26 [09:38:26.783]
INFO:
ivc-integration:test:wasm bb - 309.05 MiB)
09:38:26 delta range : 1754/18000 (mem: 309.05 MiB)
09:38:26 elliptic : 2/6000 (mem: 309.05 MiB)
09:38:26 auxiliary : 26/26000 (mem: 309.05 MiB)
09:38:26 poseidon ext : 2/17000 (mem: 309.05 MiB)
09:38:26 poseidon int : 2/92000 (mem: 309.05 MiB)
09:38:26 overflow : 0/0 (mem: 309.05 MiB)
09:38:26 (mem: 309.05 MiB)
09:38:26 Total structured size: 242025 (mem: 309.05 MiB)
09:38:26 allocating polynomials object in proving key... (mem: 309.05 MiB)
09:38:26 [09:38:26.868]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 505.21 MiB)
09:38:26 [09:38:26.889]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 112 ms. (mem: 521.21 MiB)
09:38:26 [09:38:26.918]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x584e31c2c940 (mem: 521.21 MiB)
09:38:26 [09:38:26.919]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 521.21 MiB)
09:38:26 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.21 MiB)
09:38:27 [09:38:27.076]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 528.21 MiB)
09:38:27 [09:38:27.082]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 528.21 MiB)
09:38:27 [09:38:27.098]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 528.21 MiB)
09:38:27 Constructing DeciderProvingKey (mem: 528.21 MiB)
09:38:27 [09:38:27.100]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 528.21 MiB)
09:38:27 goblin ecc op : 56/1024 (mem: 528.21 MiB)
09:38:27 busread : 12/6000 (mem: 528.21 MiB)
09:38:27 lookups : 2/15000 (mem: 528.21 MiB)
09:38:27 [09:38:27.102]
INFO:
ivc-integration:test:wasm bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 528.21 MiB)
09:38:27 arithmetic : 4677/56000 (mem: 528.21 MiB)
09:38:27 delta range : 2073/18000 (mem: 528.21 MiB)
09:38:27 elliptic : 2/6000 (mem: 528.21 MiB)
09:38:27 auxiliary : 110/26000 (mem: 528.21 MiB)
09:38:27 poseidon ext : 1322/17000 (mem: 528.21 MiB)
09:38:27 poseidon int : 7526/92000 (mem: 528.21 MiB)
09:38:27 overflow : 0/0 (mem: 528.21 MiB)
09:38:27 (mem: 528.21 MiB)
09:38:27 Total structured size: 242025 (mem: 528.21 MiB)
09:38:27 allocating polynomials object in proving key... (mem: 528.21 MiB)
09:38:27 [09:38:27.124]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
09:38:27 [09:38:27.132]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
09:38:27 [09:38:27.210]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 728.21 MiB)
09:38:27 [09:38:27.241]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 143 ms. (mem: 747.21 MiB)
09:38:27 [09:38:27.311]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x584e31c39680 (mem: 747.21 MiB)
09:38:27 computing folding proof (mem: 747.21 MiB)
09:38:27 [09:38:27.314]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 747.21 MiB)
09:38:27 [09:38:27.824]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 747.21 MiB)
09:38:27 [09:38:27.943]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 784.21 MiB)
09:38:28 [09:38:27.999]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 818.21 MiB)
09:38:28 [09:38:28.373]
INFO:
ivc-integration:test:wasm bb - folded (mem: 818.21 MiB)
09:38:28 constructed folding proof (mem: 818.21 MiB)
09:38:28 [09:38:28.385]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 818.21 MiB)
09:38:28 [09:38:28.461]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 818.21 MiB)
09:38:28 Constructing DeciderProvingKey (mem: 818.21 MiB)
09:38:28 [09:38:28.465]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.21 MiB)
09:38:28 goblin ecc op : 392/1024 (mem: 818.21 MiB)
09:38:28 busread : 3/6000 (mem: 818.21 MiB)
09:38:28 lookups : 2/15000 (mem: 818.21 MiB)
09:38:28 [09:38:28.467]
INFO:
ivc-integration:test:wasm bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 818.21 MiB)
09:38:28 arithmetic : 6913/56000 (mem: 818.21 MiB)
09:38:28 delta range : 2353/18000 (mem: 818.21 MiB)
09:38:28 elliptic : 2/6000 (mem: 818.21 MiB)
09:38:28 auxiliary : 50/26000 (mem: 818.21 MiB)
09:38:28 poseidon ext : 2492/17000 (mem: 818.21 MiB)
09:38:28 poseidon int : 14195/92000 (mem: 818.21 MiB)
09:38:28 overflow : 0/0 (mem: 818.21 MiB)
09:38:28 (mem: 818.21 MiB)
09:38:28 Total structured size: 242025 (mem: 818.21 MiB)
09:38:28 allocating polynomials object in proving key... (mem: 818.21 MiB)
09:38:28 [09:38:28.499]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
09:38:28 [09:38:28.501]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
09:38:29 [09:38:29.165]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 818.21 MiB)
09:38:29 time to construct proving key: 276 ms. (mem: 818.21 MiB)
09:38:29 getting honk vk... precomputed?: 0x584e31c2ec40 (mem: 818.21 MiB)
09:38:29 computing folding proof (mem: 818.21 MiB)
09:38:29 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 818.21 MiB)
09:38:29 [09:38:29.600]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 818.21 MiB)
09:38:29 [09:38:29.790]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 818.21 MiB)
09:38:29 [09:38:29.842]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 818.21 MiB)
09:38:29 [09:38:29.982]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
09:38:30 [09:38:30.102]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
09:38:30 [09:38:30.126]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
09:38:30 [09:38:30.149]
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)
09:38:30 [09:38:30.164]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
09:38:30 [09:38:30.166]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
09:38:30 [09:38:30.202]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
09:38:30 [09:38:30.204]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
09:38:30 [09:38:30.205]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
09:38:30 [09:38:30.207]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
09:38:30 [09:38:30.207]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
09:38:30 [09:38:30.208]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
09:38:30 [09:38:30.209]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
09:38:30 [09:38:30.210]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
09:38:30 [09:38:30.211]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
09:38:30 [09:38:30.213]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
09:38:30 [09:38:30.213]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
09:38:30 [09:38:30.213]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
09:38:30 [09:38:30.214]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
09:38:30 [09:38:30.214]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
09:38:30 [09:38:30.214]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
09:38:30 [09:38:30.215]
INFO:
ivc-integration:test:wasm bb - folded (mem: 818.21 MiB)
09:38:30 constructed folding proof (mem: 818.21 MiB)
09:38:30 Largest circuit: 26010 gates. Trace details: (mem: 818.21 MiB)
09:38:30 Minimum required block sizes for structured trace: (mem: 818.21 MiB)
09:38:30 (mem: 818.21 MiB)
09:38:30 prove decider... (mem: 818.21 MiB)
09:38:30 [09:38:30.215]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
09:38:30 busread : 12
09:38:30 lookup : 2
09:38:30 pub_inputs : 36
09:38:30 arithmetic : 6913
09:38:30 delta_range : 2353
09:38:30 elliptic : 2
09:38:30 aux : 110
09:38:30 poseidon2_external : 2492
09:38:30 poseidon2_internal : 14195
09:38:30 overflow : 0
09:38:30 [09:38:30.339]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
09:38:30 [09:38:30.378]
INFO:
ivc-integration:prove_wasm time to construct proving key: 209 ms. (mem: 581.44MiB)
09:38:30 [09:38:30.406]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.44MiB)
09:38:30 [09:38:30.492]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.21 MiB)
09:38:30 [09:38:30.705]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 818.21 MiB)
09:38:31 [09:38:31.734]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 818.21 MiB)
09:38:31 [09:38:31.841]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 818.21 MiB)
09:38:31 finished decider proving. (mem: 818.21 MiB)
09:38:31 [09:38:31.862]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 818.21 MiB)
09:38:31 [09:38:31.967]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 818.21 MiB)
09:38:31 [09:38:31.973]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 818.21 MiB)
09:38:32 [09:38:32.078]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 818.21 MiB)
09:38:32 [09:38:32.147]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 180 ms. (mem: 818.21 MiB)
09:38:32 [09:38:32.379]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.44MiB)
09:38:32 [09:38:32.386]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.44MiB)
09:38:32 [09:38:32.902]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.44MiB)
09:38:32 [09:38:32.922]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.44MiB)
09:38:32 [09:38:32.975]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.44MiB)
09:38:32 [09:38:32.975]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.44MiB)
09:38:32 [09:38:32.980]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.44MiB)
09:38:32 [09:38:32.980]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.44MiB)
09:38:32 [09:38:32.981]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.44MiB)
09:38:32 [09:38:32.982]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.44MiB)
09:38:32 [09:38:32.983]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.44MiB)
09:38:32 [09:38:32.983]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 581.44MiB)
09:38:32 [09:38:32.984]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 581.44MiB)
09:38:32 [09:38:32.985]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.44MiB)
09:38:32 [09:38:32.985]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.44MiB)
09:38:32 [09:38:32.986]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 581.44MiB)
09:38:32 [09:38:32.986]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 581.44MiB)
09:38:32 [09:38:32.987]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.44MiB)
09:38:32 [09:38:32.987]
INFO:
ivc-integration:prove_wasm (mem: 581.44MiB)
09:38:32 [09:38:32.989]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.44MiB)
09:38:32 [09:38:32.989]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.44MiB)
09:38:33 [09:38:33.088]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 804.94MiB)
09:38:33 [09:38:33.143]
INFO:
ivc-integration:prove_wasm time to construct proving key: 168 ms. (mem: 820.25MiB)
09:38:33 [09:38:33.233]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.25MiB)
09:38:33 [09:38:33.292]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 818.21 MiB)
09:38:33 [09:38:33.985]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 818.21 MiB)
09:38:34 [09:38:34.279]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.21 MiB)
09:38:35 [09:38:35.286]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.25MiB)
09:38:35 [09:38:35.288]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.25MiB)
09:38:36 [09:38:36.104]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 818.21 MiB)
09:38:36 [09:38:36.279]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.25MiB)
09:38:36 [09:38:36.588]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
09:38:36 [09:38:36.994]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
09:38:37 [09:38:37.203]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction
09:38:37 [09:38:37.204]
INFO:
ivc-integration:test:wasm bb - (mem: 818.21 MiB)
09:38:37 [09:38:37.247]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 818.21 MiB)
09:38:37 finished decider proving. (mem: 818.21 MiB)
09:38:37 Constructing a Goblin proof with num ultra ops = 1038 (mem: 818.21 MiB)
09:38:37 [09:38:37.481]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 818.21 MiB)
09:38:37 [09:38:37.569]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
09:38:37 [09:38:37.569]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
09:38:37 [09:38:37.587]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 847.69MiB)
09:38:37 [09:38:37.767]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
09:38:37 [09:38:37.768]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
09:38:37 [09:38:37.774]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
09:38:37 [09:38:37.775]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
09:38:37 [09:38:37.776]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
09:38:37 [09:38:37.776]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
09:38:37 [09:38:37.777]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
09:38:37 [09:38:37.778]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 847.69MiB)
09:38:37 [09:38:37.779]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 847.69MiB)
09:38:37 [09:38:37.779]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
09:38:37 [09:38:37.780]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
09:38:37 [09:38:37.781]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 847.69MiB)
09:38:37 [09:38:37.781]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 847.69MiB)
09:38:37 [09:38:37.782]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
09:38:37 [09:38:37.783]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
09:38:37 [09:38:37.783]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
09:38:37 [09:38:37.784]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
09:38:37 [09:38:37.808]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
09:38:37 [09:38:37.850]
INFO:
ivc-integration:prove_wasm time to construct proving key: 79 ms. (mem: 847.69MiB)
09:38:38 [09:38:38.002]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
09:38:38 [09:38:38.021]
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: 818.21 MiB)
09:38:38 [09:38:38.051]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 818.21 MiB)
09:38:40 [09:38:40.123]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
09:38:40 [09:38:40.125]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 847.69MiB)
09:38:40 [09:38:40.281]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.21 MiB)
09:38:41 [09:38:41.044]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
09:38:41 [09:38:41.311]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
09:38:41 [09:38:41.632]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
09:38:42 [09:38:42.365]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
09:38:42 [09:38:42.366]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
09:38:42 [09:38:42.367]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 12256 (mem: 855.63MiB)
09:38:42 [09:38:42.368]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
09:38:42 [09:38:42.368]
INFO:
ivc-integration:prove_wasm Largest circuit: 26010 gates. Trace details: (mem: 855.63MiB)
09:38:42 [09:38:42.369]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
09:38:42 [09:38:42.370]
INFO:
ivc-integration:prove_wasm ecc_op : 392
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.371]
INFO:
ivc-integration:prove_wasm busread : 12
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.371]
INFO:
ivc-integration:prove_wasm lookup : 2
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.371]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.372]
INFO:
ivc-integration:prove_wasm arithmetic : 6913
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.372]
INFO:
ivc-integration:prove_wasm delta_range : 2353
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.372]
INFO:
ivc-integration:prove_wasm elliptic : 2
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.373]
INFO:
ivc-integration:prove_wasm aux : 110
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.373]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.373]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.374]
INFO:
ivc-integration:prove_wasm overflow : 0
09:38:42 (mem: 855.63MiB)
09:38:42 [09:38:42.374]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
09:38:42 [09:38:42.375]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
09:38:42 [09:38:42.840]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
09:38:43 [09:38:43.157]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 818.21 MiB)
09:38:43 [09:38:43.264]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
09:38:44 [09:38:44.970]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
09:38:45 [09:38:45.482]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
09:38:45 [09:38:45.484]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
09:38:45 [09:38:45.509]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 855.63MiB)
09:38:45 [09:38:45.766]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
09:38:45 [09:38:45.774]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
09:38:45 [09:38:45.826]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
09:38:45 [09:38:45.901]
INFO:
ivc-integration:prove_wasm time to construct proving key: 138 ms. (mem: 855.63MiB)
09:38:47 [09:38:47.481]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 855.63MiB)
09:38:48 [09:38:48.323]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 818.21 MiB)
09:38:48 prove translator... (mem: 818.21 MiB)
09:38:48 [09:38:48.734]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
09:38:48 [09:38:48.769]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
09:38:49 [09:38:49.067]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
09:38:49 [09:38:49.915]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
09:38:50 [09:38:50.024]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
09:38:50 [09:38:50.025]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
09:38:50 [09:38:50.026]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
09:38:50 [09:38:50.154]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
09:38:50 [09:38:50.786]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 840.84 MiB)
09:38:52 [09:38:52.498]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
09:38:53 [09:38:53.278]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 840.84 MiB)
09:38:55 [09:38:55.600]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 840.84 MiB)
09:38:55 [09:38:55.601]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 840.84 MiB)
09:38:55 [09:38:55.604]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 840.84 MiB)
09:38:55 [09:38:55.623]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 840.84 MiB)
09:38:55 libra_evals_verified: 1 (mem: 840.84 MiB)
09:38:55 pairing_check_verified: 1 (mem: 840.84 MiB)
09:38:55 Mega verified: 1 (mem: 840.84 MiB)
09:38:55 [09:38:55.767]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 841.84 MiB)
09:38:55 batch opening verified?: 1 (mem: 841.84 MiB)
09:38:55 eccvm consistency check verified?: 1 (mem: 841.84 MiB)
09:38:55 translation masking consistency checked?: 1 (mem: 841.84 MiB)
09:38:55 [09:38:55.795]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 841.84 MiB)
09:38:55 eccvm verified?: 1 (mem: 841.84 MiB)
09:38:55 accumulator construction_verified?: 1 (mem: 841.84 MiB)
09:38:55 translation verified?: 1 (mem: 841.84 MiB)
09:38:55 consistency verified?: 1 (mem: 841.84 MiB)
09:38:55 [09:38:55.798]
INFO:
ivc-integration:test:wasm bb - Goblin verified: 1 (mem: 841.84 MiB)
09:38:55 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-M5KL4a" (mem: 841.84 MiB)
09:38:55 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-M5KL4a" (mem: 841.84 MiB)
09:38:55 BN254 commitment key size: 262144 (mem: 841.84 MiB)
09:38:55 [09:38:55.799]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 841.84 MiB)
09:38:55 [09:38:55.808]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 841.84 MiB)
09:38:55 goblin ecc op : 4/1024 (mem: 841.84 MiB)
09:38:55 busread : 3/6000 (mem: 841.84 MiB)
09:38:55 lookups : 2/15000 (mem: 841.84 MiB)
09:38:55 pub inputs : 17/5000 (populated in decider pk constructor)
09:38:55 [09:38:55.812]
INFO:
ivc-integration:test:wasm bb - (mem: 841.84 MiB)
09:38:55 arithmetic : 1773/56000 (mem: 841.84 MiB)
09:38:55 delta range : 1754/18000 (mem: 841.84 MiB)
09:38:55 elliptic : 2/6000 (mem: 841.84 MiB)
09:38:55 auxiliary : 26/26000 (mem: 841.84 MiB)
09:38:55 poseidon ext : 2/17000 (mem: 841.84 MiB)
09:38:55 poseidon int : 2/92000 (mem: 841.84 MiB)
09:38:55 overflow : 0/0 (mem: 841.84 MiB)
09:38:55 (mem: 841.84 MiB)
09:38:55 Total structured size: 242025 (mem: 841.84 MiB)
09:38:55 allocating polynomials object in proving key... (mem: 841.84 MiB)
09:38:56 [09:38:56.135]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 841.84 MiB)
09:38:56 [09:38:56.149]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 349 ms. (mem: 841.84 MiB)
09:38:56 [09:38:56.323]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 841.84 MiB)
09:38:56 [09:38:56.949]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
09:38:57 [09:38:57.257]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 841.84 MiB)
09:38:57 [09:38:57.258]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 841.84 MiB)
09:38:57 [09:38:57.855]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 841.84 MiB)
09:38:57 [09:38:57.874]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 841.84 MiB)
09:38:57 [09:38:57.905]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 841.84 MiB)
09:38:57 [09:38:57.911]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 841.84 MiB)
09:38:57 goblin ecc op : 56/1024 (mem: 841.84 MiB)
09:38:57 busread : 3/6000 (mem: 841.84 MiB)
09:38:57 lookups : 2/15000 (mem: 841.84 MiB)
09:38:57 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 841.84 MiB)
09:38:57 arithmetic : 4533/56000 (mem: 841.84 MiB)
09:38:57 delta range : 2060/18000 (mem: 841.84 MiB)
09:38:57 elliptic : 2/6000 (mem: 841.84 MiB)
09:38:57 auxiliary : 50/26000 (mem: 841.84 MiB)
09:38:57 poseidon ext : 1332/17000 (mem: 841.84 MiB)
09:38:57 poseidon int : 7583/92000 (mem: 841.84 MiB)
09:38:57 overflow : 0/0 (mem: 841.84 MiB)
09:38:57 (mem: 841.84 MiB)
09:38:57 Total structured size: 242025 (mem: 841.84 MiB)
09:38:57 allocating polynomials object in proving key... (mem: 841.84 MiB)
09:38:58 [09:38:58.143]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 841.84 MiB)
09:38:58 [09:38:58.182]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 275 ms. (mem: 841.84 MiB)
09:38:58 [09:38:58.458]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 841.84 MiB)
09:38:59 [09:38:59.269]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 841.84 MiB)
09:38:59 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 841.84 MiB)
09:38:59 [09:38:59.847]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 841.84 MiB)
09:39:00 [09:39:00.008]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 844.84 MiB)
09:39:00 [09:39:00.062]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 876.84 MiB)
09:39:00 [09:39:00.464]
INFO:
ivc-integration:test:wasm bb - folded (mem: 876.84 MiB)
09:39:00 constructed folding proof (mem: 876.84 MiB)
09:39:00 [09:39:00.466]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 15565 gates. Trace details: (mem: 876.84 MiB)
09:39:00 Minimum required block sizes for structured trace: (mem: 876.84 MiB)
09:39:00 (mem: 876.84 MiB)
09:39:00 prove decider... (mem: 876.84 MiB)
09:39:00 [09:39:00.466]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
09:39:00 busread : 3
09:39:00 lookup : 2
09:39:00 pub_inputs : 36
09:39:00 arithmetic : 4533
09:39:00 delta_range : 2060
09:39:00 elliptic : 2
09:39:00 aux : 50
09:39:00 poseidon2_external : 1332
09:39:00 poseidon2_internal : 7583
09:39:00 overflow : 0
09:39:00 [09:39:00.905]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 876.84 MiB)
09:39:01 [09:39:01.180]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 876.84 MiB)
09:39:02 [09:39:02.570]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 876.84 MiB)
09:39:02 [09:39:02.640]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 876.84 MiB)
09:39:02 finished decider proving. (mem: 876.84 MiB)
09:39:02 [09:39:02.654]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 876.84 MiB)
09:39:02 [09:39:02.761]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 876.84 MiB)
09:39:02 [09:39:02.773]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 876.84 MiB)
09:39:02 [09:39:02.987]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 876.84 MiB)
09:39:03 [09:39:03.078]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 312 ms. (mem: 876.84 MiB)
09:39:05 [09:39:05.757]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
09:39:05 [09:39:05.759]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
09:39:12 [09:39:12.499]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
09:39:16 [09:39:16.293]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
09:39:19 [09:39:19.183]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
09:39:19 [09:39:19.184]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
09:39:19 [09:39:19.184]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 49074 (mem: 855.63MiB)
09:39:19 [09:39:19.190]
INFO:
ivc-integration:prove_wasm time to serialize proof: 5 (mem: 855.63MiB)
09:39:19 [09:39:19.193]
INFO:
ivc-integration:prove_wasm time to serialize vk: 3 (mem: 855.63MiB)
09:39:19 [09:39:19.218]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 855.63MiB)
09:39:19 [09:39:19.378]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.378]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.383]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.383]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.692]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.693]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.695]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.695]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.788]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.788]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.789]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.790]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.797]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
09:39:19 [09:39:19.798]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
09:39:20 [09:39:20.359]
INFO:
ivc-integration:test:wasm BB concurrency: 1
09:39:20 [09:39:20.360]
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-M5KL4a/proof -k /tmp/bb-client-ivc-integration-M5KL4a/vk -v
09:39:20 [09:39:20.419]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 962.41 MiB)
09:39:20 Scheme is: client_ivc, num threads: 1 (mem: 962.41 MiB)
09:39:20 --proof_path: /tmp/bb-client-ivc-integration-M5KL4a/proof (mem: 962.41 MiB)
09:39:20 --vk_path: /tmp/bb-client-ivc-integration-M5KL4a/vk (mem: 962.41 MiB)
09:39:20 --verbose: true (mem: 962.41 MiB)
09:39:20 --scheme: client_ivc (mem: 962.41 MiB)
09:39:20 [09:39:20.438]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 962.41 MiB)
09:39:20 [09:39:20.457]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 962.41 MiB)
09:39:20 [09:39:20.458]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 962.41 MiB)
09:39:20 [09:39:20.474]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 962.41 MiB)
09:39:20 [09:39:20.475]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 9 (mem: 962.41 MiB)
09:39:20 [09:39:20.475]
INFO:
ivc-integration:test:wasm sumcheck_verified: 1 (mem: 962.41 MiB)
09:39:20 libra_evals_verified: 1 (mem: 962.41 MiB)
09:39:20 pairing_check_verified: 1 (mem: 962.41 MiB)
09:39:20 [09:39:20.476]
INFO:
ivc-integration:test:wasm Mega verified: 1 (mem: 962.41 MiB)
09:39:20 [09:39:20.854]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 962.41 MiB)
09:39:20 batch opening verified?: 1 (mem: 962.41 MiB)
09:39:20 eccvm consistency check verified?: 1 (mem: 962.41 MiB)
09:39:20 translation masking consistency checked?: 1 (mem: 962.41 MiB)
09:39:20 [09:39:20.871]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 962.41 MiB)
09:39:20 eccvm verified?: 1 (mem: 962.41 MiB)
09:39:20 accumulator construction_verified?: 1 (mem: 962.41 MiB)
09:39:20 translation verified?: 1 (mem: 962.41 MiB)
09:39:20 consistency verified?: 1 (mem: 962.41 MiB)
09:39:20 Goblin verified: 1 (mem: 962.41 MiB)
09:39:20 [09:39:20.874]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 962.41 MiB)
09:39:20 [09:39:20.901]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
09:39:21 [09:39:21.065]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12144037 bytes
09:39:21 [09:39:21.119]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
09:39:21 [09:39:21.468]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
09:39:21 [09:39:21.499]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
09:39:21 [09:39:21.508]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
09:39:22 [09:39:22.521]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
09:39:22 [09:39:22.588]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
09:39:22 [09:39:22.595]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
09:39:22 [09:39:22.674]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
09:39:22 [09:39:22.691]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
09:39:22 [09:39:22.728]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
09:39:22 [09:39:22.738]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
09:39:22 [09:39:22.975]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15724,"2":26010}
09:39:23 [09:39:23.056]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
09:39:23 [09:39:23.167]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12144037 bytes
09:39:23 [09:39:23.231]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
09:39:23 [09:39:23.727]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
09:39:23 [09:39:23.737]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
09:39:25 [09:39:25.029]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
09:39:25 [09:39:25.030]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
09:39:26 [09:39:26.277]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
09:39:26 [09:39:26.397]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
09:39:26 [09:39:26.433]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
09:39:26 [09:39:26.442]
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)
09:39:26 [09:39:26.449]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
09:39:26 [09:39:26.449]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
09:39:26 [09:39:26.481]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
09:39:26 [09:39:26.482]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
09:39:26 [09:39:26.482]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
09:39:26 [09:39:26.484]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
09:39:26 [09:39:26.485]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
09:39:26 [09:39:26.485]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
09:39:26 [09:39:26.486]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
09:39:26 [09:39:26.486]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
09:39:26 [09:39:26.486]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
09:39:26 [09:39:26.486]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
09:39:26 [09:39:26.487]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
09:39:26 [09:39:26.487]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
09:39:26 [09:39:26.487]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
09:39:26 [09:39:26.488]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
09:39:26 [09:39:26.488]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
09:39:26 [09:39:26.564]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.63MiB)
09:39:26 [09:39:26.592]
INFO:
ivc-integration:prove_wasm time to construct proving key: 143 ms. (mem: 581.88MiB)
09:39:26 [09:39:26.607]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.88MiB)
09:39:28 [09:39:28.196]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.88MiB)
09:39:28 [09:39:28.198]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.88MiB)
09:39:28 [09:39:28.770]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.88MiB)
09:39:28 [09:39:28.793]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.88MiB)
09:39:28 [09:39:28.826]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.88MiB)
09:39:28 [09:39:28.827]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.88MiB)
09:39:28 [09:39:28.831]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.88MiB)
09:39:28 [09:39:28.832]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.88MiB)
09:39:28 [09:39:28.832]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.88MiB)
09:39:28 [09:39:28.833]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.88MiB)
09:39:28 [09:39:28.833]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.88MiB)
09:39:28 [09:39:28.834]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 581.88MiB)
09:39:28 [09:39:28.834]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 581.88MiB)
09:39:28 [09:39:28.834]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.88MiB)
09:39:28 [09:39:28.835]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.88MiB)
09:39:28 [09:39:28.835]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 581.88MiB)
09:39:28 [09:39:28.835]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 581.88MiB)
09:39:28 [09:39:28.835]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.88MiB)
09:39:28 [09:39:28.836]
INFO:
ivc-integration:prove_wasm (mem: 581.88MiB)
09:39:28 [09:39:28.837]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.88MiB)
09:39:28 [09:39:28.838]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.88MiB)
09:39:28 [09:39:28.909]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.56MiB)
09:39:28 [09:39:28.936]
INFO:
ivc-integration:prove_wasm time to construct proving key: 110 ms. (mem: 820.69MiB)
09:39:29 [09:39:28.999]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
09:39:30 [09:39:30.649]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
09:39:30 [09:39:30.651]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.69MiB)
09:39:31 [09:39:31.364]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
09:39:31 [09:39:31.645]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
09:39:32 [09:39:32.144]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
09:39:32 [09:39:32.706]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
09:39:32 [09:39:32.707]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
09:39:32 [09:39:32.710]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
09:39:32 [09:39:32.710]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
09:39:32 [09:39:32.715]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
09:39:32 [09:39:32.716]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
09:39:32 [09:39:32.717]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
09:39:32 [09:39:32.717]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
09:39:32 [09:39:32.718]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
09:39:32 [09:39:32.718]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
09:39:32 [09:39:32.719]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
09:39:32 [09:39:32.719]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
09:39:32 [09:39:32.719]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
09:39:32 [09:39:32.720]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
09:39:32 [09:39:32.720]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
09:39:32 [09:39:32.721]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
09:39:32 [09:39:32.722]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
09:39:32 [09:39:32.723]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
09:39:32 [09:39:32.723]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
09:39:32 [09:39:32.740]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
09:39:32 [09:39:32.748]
INFO:
ivc-integration:prove_wasm time to construct proving key: 38 ms. (mem: 848.19MiB)
09:39:32 [09:39:32.775]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
09:39:34 [09:39:34.084]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
09:39:34 [09:39:34.085]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
09:39:34 [09:39:34.257]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
09:39:34 [09:39:34.510]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
09:39:34 [09:39:34.806]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
09:39:35 [09:39:35.394]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
09:39:35 [09:39:35.395]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
09:39:35 [09:39:35.413]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 848.19MiB)
09:39:35 [09:39:35.558]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
09:39:35 [09:39:35.677]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
09:39:35 [09:39:35.678]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
09:39:35 [09:39:35.683]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
09:39:35 [09:39:35.684]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
09:39:35 [09:39:35.684]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
09:39:35 [09:39:35.685]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
09:39:35 [09:39:35.686]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
09:39:35 [09:39:35.686]
INFO:
ivc-integration:prove_wasm arithmetic : 12208/56000 (mem: 848.19MiB)
09:39:35 [09:39:35.687]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 848.19MiB)
09:39:35 [09:39:35.687]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
09:39:35 [09:39:35.688]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
09:39:35 [09:39:35.688]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 848.19MiB)
09:39:35 [09:39:35.689]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 848.19MiB)
09:39:35 [09:39:35.689]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
09:39:35 [09:39:35.690]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
09:39:35 [09:39:35.690]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
09:39:35 [09:39:35.690]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
09:39:35 [09:39:35.706]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
09:39:35 [09:39:35.751]
INFO:
ivc-integration:prove_wasm time to construct proving key: 74 ms. (mem: 851.31MiB)
09:39:35 [09:39:35.827]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.31MiB)
09:39:37 [09:39:37.281]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.31MiB)
09:39:37 [09:39:37.283]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 851.31MiB)
09:39:38 [09:39:38.394]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.31MiB)
09:39:38 [09:39:38.616]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
09:39:38 [09:39:38.944]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
09:39:39 [09:39:39.400]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
09:39:39 [09:39:39.404]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
09:39:39 [09:39:39.419]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 875.44MiB)
09:39:39 [09:39:39.550]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 875.44MiB)
09:39:39 [09:39:39.550]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
09:39:39 [09:39:39.555]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
09:39:39 [09:39:39.555]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
09:39:39 [09:39:39.556]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 875.44MiB)
09:39:39 [09:39:39.556]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
09:39:39 [09:39:39.556]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 875.44MiB)
09:39:39 [09:39:39.556]
INFO:
ivc-integration:prove_wasm arithmetic : 6978/56000 (mem: 875.44MiB)
09:39:39 [09:39:39.557]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 875.44MiB)
09:39:39 [09:39:39.557]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
09:39:39 [09:39:39.557]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 875.44MiB)
09:39:39 [09:39:39.557]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 875.44MiB)
09:39:39 [09:39:39.557]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 875.44MiB)
09:39:39 [09:39:39.558]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
09:39:39 [09:39:39.558]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
09:39:39 [09:39:39.558]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
09:39:39 [09:39:39.559]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
09:39:39 [09:39:39.577]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
09:39:39 [09:39:39.603]
INFO:
ivc-integration:prove_wasm time to construct proving key: 53 ms. (mem: 875.44MiB)
09:39:39 [09:39:39.725]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
09:39:41 [09:39:41.050]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
09:39:41 [09:39:41.053]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 875.44MiB)
09:39:41 [09:39:41.877]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
09:39:42 [09:39:42.156]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
09:39:42 [09:39:42.464]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
09:39:42 [09:39:42.827]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
09:39:42 [09:39:42.827]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
09:39:42 [09:39:42.839]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 875.44MiB)
09:39:42 [09:39:42.964]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 875.44MiB)
09:39:42 [09:39:42.965]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
09:39:42 [09:39:42.968]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 875.44MiB)
09:39:42 [09:39:42.969]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 875.44MiB)
09:39:42 [09:39:42.969]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 875.44MiB)
09:39:42 [09:39:42.969]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 875.44MiB)
09:39:42 [09:39:42.970]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 875.44MiB)
09:39:42 [09:39:42.970]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 875.44MiB)
09:39:42 [09:39:42.970]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 875.44MiB)
09:39:42 [09:39:42.971]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 875.44MiB)
09:39:42 [09:39:42.971]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 875.44MiB)
09:39:42 [09:39:42.971]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 875.44MiB)
09:39:42 [09:39:42.971]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 875.44MiB)
09:39:42 [09:39:42.972]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 875.44MiB)
09:39:42 [09:39:42.972]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
09:39:42 [09:39:42.972]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 875.44MiB)
09:39:42 [09:39:42.972]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
09:39:42 [09:39:42.987]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
09:39:43 [09:39:43.022]
INFO:
ivc-integration:prove_wasm time to construct proving key: 58 ms. (mem: 875.44MiB)
09:39:43 [09:39:43.136]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 875.44MiB)
09:39:44 [09:39:44.615]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 875.44MiB)
09:39:44 [09:39:44.617]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 875.44MiB)
09:39:45 [09:39:45.147]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 875.44MiB)
09:39:45 [09:39:45.443]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
09:39:45 [09:39:45.680]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 875.44MiB)
09:39:45 [09:39:45.983]
INFO:
ivc-integration:prove_wasm folded (mem: 875.44MiB)
09:39:45 [09:39:45.984]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 875.44MiB)
09:39:45 [09:39:45.985]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 19570 (mem: 875.44MiB)
09:39:45 [09:39:45.987]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 875.44MiB)
09:39:45 [09:39:45.987]
INFO:
ivc-integration:prove_wasm Largest circuit: 48925 gates. Trace details: (mem: 875.44MiB)
09:39:45 [09:39:45.990]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 875.44MiB)
09:39:45 [09:39:45.990]
INFO:
ivc-integration:prove_wasm ecc_op : 792
09:39:45 (mem: 875.44MiB)
09:39:45 [09:39:45.991]
INFO:
ivc-integration:prove_wasm busread : 16
09:39:45 (mem: 875.44MiB)
09:39:45 [09:39:45.991]
INFO:
ivc-integration:prove_wasm lookup : 2
09:39:45 (mem: 875.44MiB)
09:39:45 [09:39:45.991]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
09:39:45 (mem: 875.44MiB)
09:39:45 [09:39:45.992]
INFO:
ivc-integration:prove_wasm arithmetic : 12208
09:39:45 (mem: 875.44MiB)
09:39:45 [09:39:45.992]
INFO:
ivc-integration:prove_wasm delta_range : 2981
09:39:45 (mem: 875.44MiB)
09:39:45 [09:39:45.993]
INFO:
ivc-integration:prove_wasm elliptic : 2
09:39:45 (mem: 875.44MiB)
09:39:45 [09:39:45.993]
INFO:
ivc-integration:prove_wasm aux : 350
09:39:45 (mem: 875.44MiB)
09:39:45 [09:39:45.993]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
09:39:45 (mem: 875.44MiB)
09:39:45 [09:39:45.998]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
09:39:45 (mem: 875.44MiB)
09:39:45 [09:39:45.999]
INFO:
ivc-integration:prove_wasm overflow : 0
09:39:45 (mem: 875.44MiB)
09:39:46 [09:39:46.001]
INFO:
ivc-integration:prove_wasm (mem: 875.44MiB)
09:39:46 [09:39:46.001]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 875.44MiB)
09:39:46 [09:39:46.177]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
09:39:46 [09:39:46.533]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
09:39:47 [09:39:47.674]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
09:39:48 [09:39:48.000]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
09:39:48 [09:39:48.001]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
09:39:48 [09:39:48.025]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 875.44MiB)
09:39:48 [09:39:48.216]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 875.44MiB)
09:39:48 [09:39:48.224]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 875.44MiB)
09:39:48 [09:39:48.249]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 875.44MiB)
09:39:48 [09:39:48.300]
INFO:
ivc-integration:prove_wasm time to construct proving key: 83 ms. (mem: 875.44MiB)
09:39:49 [09:39:49.335]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 875.44MiB)
09:39:50 [09:39:50.324]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 875.44MiB)
09:39:50 [09:39:50.351]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
09:39:50 [09:39:50.580]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
09:39:51 [09:39:51.205]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 875.44MiB)
09:39:51 [09:39:51.305]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
09:39:51 [09:39:51.306]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 875.44MiB)
09:39:51 [09:39:51.306]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 875.44MiB)
09:39:51 [09:39:51.409]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 875.44MiB)
09:39:54 [09:39:54.149]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
09:39:58 [09:39:58.242]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 875.44MiB)
09:40:03 [09:40:03.352]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 875.44MiB)
09:40:03 [09:40:03.353]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 875.44MiB)
09:40:07 [09:40:07.883]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 875.44MiB)
09:40:10 [09:40:10.725]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 875.44MiB)
09:40:12 [09:40:12.830]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 875.44MiB)
09:40:12 [09:40:12.831]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 875.44MiB)
09:40:12 [09:40:12.831]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 46418 (mem: 875.44MiB)
09:40:12 [09:40:12.835]
INFO:
ivc-integration:prove_wasm time to serialize proof: 4 (mem: 875.44MiB)
09:40:12 [09:40:12.840]
INFO:
ivc-integration:prove_wasm time to serialize vk: 5 (mem: 875.44MiB)
09:40:12 [09:40:12.861]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 875.44MiB)
09:40:12 [09:40:12.911]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
09:40:12 [09:40:12.912]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
09:40:12 [09:40:12.912]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
09:40:12 [09:40:12.913]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.143]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.143]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.143]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.144]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.223]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.224]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.224]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.225]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.225]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.225]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.235]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 875.44MiB)
09:40:13 [09:40:13.284]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.285]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.285]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.285]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.474]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.475]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.475]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.476]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.536]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.536]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.537]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.537]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.538]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 875.44MiB)
09:40:13 [09:40:13.538]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 875.44MiB)
09:40:14 [09:40:14.129]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
09:40:14
PASS src/wasm_client_ivc_integration.test.ts (
111.06 s)
09:40:14 Client IVC Integration
09:40:14
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (54406 ms)
09:40:14
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2093 ms)
09:40:14
✓ Should generate a verifiable client IVC proof from a complex mock tx (51155 ms)
09:40:14
09:40:14
Test Suites: 1 passed, 1 total
09:40:14
Tests: 3 passed, 3 total
09:40:14
Snapshots: 0 total
09:40:14
Time: 111.14 s
09:40:14
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
09:40:14
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?