Parent Log:
http://ci.aztec-labs.com/5fb081032620fd96
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:17 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15157_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_next
09:38:22 [09:38:22.158]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
09:38:22 [09:38:22.166]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-WvDTSY/ivc-inputs.msgpack
09:38:22 [09:38:22.167]
INFO:
ivc-integration:test:wasm bb - BB concurrency: undefined
09:38:22 [09:38:22.167]
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-WvDTSY --ivc_inputs_path /tmp/bb-client-ivc-integration-WvDTSY/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
09:38:22 [09:38:22.353]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12144037 bytes
09:38:22 [09:38:22.369]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 181.90 MiB)
09:38:22 Scheme is: client_ivc, num threads: 128 (mem: 181.90 MiB)
09:38:22 --scheme: client_ivc (mem: 181.90 MiB)
09:38:22 --output_path: /tmp/bb-client-ivc-integration-WvDTSY (mem: 181.90 MiB)
09:38:22 --ivc_inputs_path: /tmp/bb-client-ivc-integration-WvDTSY/ivc-inputs.msgpack (mem: 181.90 MiB)
09:38:22 --verbose: true (mem: 181.90 MiB)
09:38:22 --write_vk: true (mem: 181.90 MiB)
09:38:22 BN254 commitment key size: 262144 (mem: 181.90 MiB)
09:38:22 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.00 MiB)
09:38:22 [09:38:22.371]
INFO:
ivc-integration:test:wasm bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 299.68 MiB)
09:38:22 [09:38:22.373]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_0 (mem: 299.68 MiB)
09:38:22 Constructing DeciderProvingKey (mem: 299.68 MiB)
09:38:22 [09:38:22.377]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 299.68 MiB)
09:38:22 goblin ecc op : 4/1024 (mem: 299.68 MiB)
09:38:22 busread : 7/6000 (mem: 299.68 MiB)
09:38:22 lookups : 2/15000 (mem: 299.68 MiB)
09:38:22 [09:38:22.380]
INFO:
ivc-integration:test:wasm bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 299.68 MiB)
09:38:22 arithmetic : 1760/56000 (mem: 299.68 MiB)
09:38:22 delta range : 1754/18000 (mem: 299.68 MiB)
09:38:22 elliptic : 2/6000 (mem: 299.68 MiB)
09:38:22 auxiliary : 26/26000 (mem: 299.68 MiB)
09:38:22 poseidon ext : 2/17000 (mem: 299.68 MiB)
09:38:22 poseidon int : 2/92000 (mem: 299.68 MiB)
09:38:22 overflow : 0/0 (mem: 299.68 MiB)
09:38:22 (mem: 299.68 MiB)
09:38:22 Total structured size: 242025 (mem: 299.68 MiB)
09:38:22 allocating polynomials object in proving key... (mem: 299.68 MiB)
09:38:22 [09:38:22.390]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
09:38:22 [09:38:22.468]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 506.84 MiB)
09:38:22 [09:38:22.477]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 104 ms. (mem: 517.84 MiB)
09:38:22 [09:38:22.517]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5ba6a8b41940 (mem: 517.84 MiB)
09:38:22 computing oink proof...
09:38:22 [09:38:22.518]
INFO:
ivc-integration:test:wasm bb - (mem: 517.84 MiB)
09:38:22 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 517.84 MiB)
09:38:22 [09:38:22.677]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 525.84 MiB)
09:38:22 [09:38:22.685]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.84 MiB)
09:38:22 [09:38:22.701]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 525.84 MiB)
09:38:22 Constructing DeciderProvingKey (mem: 525.84 MiB)
09:38:22 [09:38:22.704]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.84 MiB)
09:38:22 goblin ecc op : 56/1024 (mem: 525.84 MiB)
09:38:22 [09:38:22.704]
INFO:
ivc-integration:test:wasm bb - busread : 12/6000 (mem: 525.84 MiB)
09:38:22 lookups : 2/15000 (mem: 525.84 MiB)
09:38:22 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.84 MiB)
09:38:22 arithmetic : 4677/56000 (mem: 525.84 MiB)
09:38:22 delta range : 2073/18000 (mem: 525.84 MiB)
09:38:22 elliptic : 2/6000 (mem: 525.84 MiB)
09:38:22 auxiliary : 110/26000 (mem: 525.84 MiB)
09:38:22 poseidon ext : 1322/17000 (mem: 525.84 MiB)
09:38:22 poseidon int : 7526/92000 (mem: 525.84 MiB)
09:38:22 overflow : 0/0 (mem: 525.84 MiB)
09:38:22 (mem: 525.84 MiB)
09:38:22 Total structured size: 242025 (mem: 525.84 MiB)
09:38:22 allocating polynomials object in proving key... (mem: 525.84 MiB)
09:38:22 [09:38:22.779]
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:22 [09:38:22.790]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 737.84 MiB)
09:38:22 [09:38:22.794]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
09:38:22 [09:38:22.808]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 106 ms. (mem: 751.84 MiB)
09:38:22 [09:38:22.865]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0x5ba6a8b4e680 (mem: 751.84 MiB)
09:38:22 computing folding proof (mem: 751.84 MiB)
09:38:22 vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 751.84 MiB)
09:38:23 [09:38:23.386]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 751.84 MiB)
09:38:23 [09:38:23.499]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 786.84 MiB)
09:38:23 [09:38:23.563]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 818.84 MiB)
09:38:24 [09:38:23.999]
INFO:
ivc-integration:test:wasm bb - folded (mem: 818.84 MiB)
09:38:24 constructed folding proof (mem: 818.84 MiB)
09:38:24 [09:38:24.010]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 818.84 MiB)
09:38:24 [09:38:24.079]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2 (mem: 818.84 MiB)
09:38:24 Constructing DeciderProvingKey (mem: 818.84 MiB)
09:38:24 [09:38:24.082]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.84 MiB)
09:38:24 [09:38:24.083]
INFO:
ivc-integration:test:wasm bb - goblin ecc op : 392/1024 (mem: 818.84 MiB)
09:38:24 busread : 3/6000 (mem: 818.84 MiB)
09:38:24 lookups : 2/15000 (mem: 818.84 MiB)
09:38:24 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 818.84 MiB)
09:38:24 arithmetic : 6913/56000 (mem: 818.84 MiB)
09:38:24 delta range : 2353/18000 (mem: 818.84 MiB)
09:38:24 elliptic : 2/6000 (mem: 818.84 MiB)
09:38:24 auxiliary : 50/26000 (mem: 818.84 MiB)
09:38:24 poseidon ext : 2492/17000 (mem: 818.84 MiB)
09:38:24 poseidon int : 14195/92000 (mem: 818.84 MiB)
09:38:24 overflow : 0/0 (mem: 818.84 MiB)
09:38:24 (mem: 818.84 MiB)
09:38:24 Total structured size: 242025 (mem: 818.84 MiB)
09:38:24 allocating polynomials object in proving key... (mem: 818.84 MiB)
09:38:24 [09:38:24.113]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
09:38:24 [09:38:24.115]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
09:38:24 [09:38:24.795]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 818.84 MiB)
09:38:24 time to construct proving key: 235 ms. (mem: 818.84 MiB)
09:38:24 getting honk vk... precomputed?: 0x5ba6a8b43c40 (mem: 818.84 MiB)
09:38:24 computing folding proof (mem: 818.84 MiB)
09:38:24 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 818.84 MiB)
09:38:25 [09:38:25.202]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 818.84 MiB)
09:38:25 [09:38:25.354]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 818.84 MiB)
09:38:25 [09:38:25.443]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 818.84 MiB)
09:38:25 [09:38:25.538]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
09:38:25 [09:38:25.696]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
09:38:25 [09:38:25.711]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
09:38:25 [09:38:25.725]
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:25 [09:38:25.737]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
09:38:25 [09:38:25.738]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
09:38:25 [09:38:25.764]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
09:38:25 [09:38:25.765]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
09:38:25 [09:38:25.765]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
09:38:25 [09:38:25.766]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
09:38:25 [09:38:25.766]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
09:38:25 [09:38:25.766]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
09:38:25 [09:38:25.767]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
09:38:25 [09:38:25.768]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
09:38:25 [09:38:25.768]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
09:38:25 [09:38:25.769]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
09:38:25 [09:38:25.769]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
09:38:25 [09:38:25.770]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
09:38:25 [09:38:25.770]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
09:38:25 [09:38:25.771]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
09:38:25 [09:38:25.771]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
09:38:25 [09:38:25.818]
INFO:
ivc-integration:test:wasm bb - folded
09:38:25 [09:38:25.819]
INFO:
ivc-integration:test:wasm bb - (mem: 818.84 MiB)
09:38:25 constructed folding proof (mem: 818.84 MiB)
09:38:25 [09:38:25.823]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 26010 gates. Trace details: (mem: 818.84 MiB)
09:38:25 Minimum required block sizes for structured trace: (mem: 818.84 MiB)
09:38:25 (mem: 818.84 MiB)
09:38:25 prove decider... (mem: 818.84 MiB)
09:38:25 [09:38:25.823]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
09:38:25 busread : 12
09:38:25 lookup : 2
09:38:25 pub_inputs : 36
09:38:25 arithmetic : 6913
09:38:25 delta_range : 2353
09:38:25 elliptic : 2
09:38:25 aux : 110
09:38:25 poseidon2_external : 2492
09:38:25 poseidon2_internal : 14195
09:38:25 overflow : 0
09:38:25 [09:38:25.894]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.25MiB)
09:38:25 [09:38:25.930]
INFO:
ivc-integration:prove_wasm time to construct proving key: 189 ms. (mem: 581.44MiB)
09:38:25 [09:38:25.947]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.44MiB)
09:38:26 [09:38:26.054]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.84 MiB)
09:38:26 [09:38:26.317]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 818.84 MiB)
09:38:27 [09:38:27.591]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 818.84 MiB)
09:38:27 [09:38:27.692]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 818.84 MiB)
09:38:27 finished decider proving. (mem: 818.84 MiB)
09:38:27 [09:38:27.726]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 818.84 MiB)
09:38:27 [09:38:27.860]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 818.84 MiB)
09:38:27 [09:38:27.867]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 818.84 MiB)
09:38:27 [09:38:27.973]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.44MiB)
09:38:27 [09:38:27.976]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.44MiB)
09:38:28 [09:38:28.007]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 818.84 MiB)
09:38:28 [09:38:28.102]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 237 ms. (mem: 818.84 MiB)
09:38:28 [09:38:28.522]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.44MiB)
09:38:28 [09:38:28.565]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.44MiB)
09:38:28 [09:38:28.610]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.44MiB)
09:38:28 [09:38:28.612]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.44MiB)
09:38:28 [09:38:28.618]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.44MiB)
09:38:28 [09:38:28.619]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.44MiB)
09:38:28 [09:38:28.619]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.44MiB)
09:38:28 [09:38:28.620]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.44MiB)
09:38:28 [09:38:28.620]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.44MiB)
09:38:28 [09:38:28.620]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 581.44MiB)
09:38:28 [09:38:28.621]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 581.44MiB)
09:38:28 [09:38:28.621]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.44MiB)
09:38:28 [09:38:28.621]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.44MiB)
09:38:28 [09:38:28.621]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 581.44MiB)
09:38:28 [09:38:28.628]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 581.44MiB)
09:38:28 [09:38:28.629]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.44MiB)
09:38:28 [09:38:28.629]
INFO:
ivc-integration:prove_wasm (mem: 581.44MiB)
09:38:28 [09:38:28.634]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.44MiB)
09:38:28 [09:38:28.638]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.44MiB)
09:38:28 [09:38:28.736]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 804.94MiB)
09:38:28 [09:38:28.801]
INFO:
ivc-integration:prove_wasm time to construct proving key: 187 ms. (mem: 820.25MiB)
09:38:28 [09:38:28.973]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.25MiB)
09:38:29 [09:38:29.561]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 818.84 MiB)
09:38:30 [09:38:30.310]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 818.84 MiB)
09:38:30 [09:38:30.585]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.84 MiB)
09:38:31 [09:38:31.327]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.25MiB)
09:38:31 [09:38:31.341]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.25MiB)
09:38:32 [09:38:32.265]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 818.84 MiB)
09:38:32 [09:38:32.387]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.25MiB)
09:38:32 [09:38:32.698]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 847.69MiB)
09:38:33 [09:38:33.203]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 847.69MiB)
09:38:33 [09:38:33.358]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 818.84 MiB)
09:38:33 [09:38:33.418]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 818.84 MiB)
09:38:33 finished decider proving. (mem: 818.84 MiB)
09:38:33 Constructing a Goblin proof with num ultra ops = 1038 (mem: 818.84 MiB)
09:38:33 [09:38:33.646]
INFO:
ivc-integration:test:wasm bb - prove eccvm... (mem: 818.84 MiB)
09:38:33 [09:38:33.928]
INFO:
ivc-integration:prove_wasm folded (mem: 847.69MiB)
09:38:33 [09:38:33.929]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 847.69MiB)
09:38:33 [09:38:33.946]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 847.69MiB)
09:38:34 [09:38:34.117]
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.84 MiB)
09:38:34 [09:38:34.133]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 818.84 MiB)
09:38:34 [09:38:34.188]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 847.69MiB)
09:38:34 [09:38:34.189]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 847.69MiB)
09:38:34 [09:38:34.197]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 847.69MiB)
09:38:34 [09:38:34.200]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 847.69MiB)
09:38:34 [09:38:34.202]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 847.69MiB)
09:38:34 [09:38:34.210]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 847.69MiB)
09:38:34 [09:38:34.211]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.69MiB)
09:38:34 [09:38:34.212]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 847.69MiB)
09:38:34 [09:38:34.213]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 847.69MiB)
09:38:34 [09:38:34.214]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 847.69MiB)
09:38:34 [09:38:34.214]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 847.69MiB)
09:38:34 [09:38:34.215]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 847.69MiB)
09:38:34 [09:38:34.215]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 847.69MiB)
09:38:34 [09:38:34.215]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 847.69MiB)
09:38:34 [09:38:34.216]
INFO:
ivc-integration:prove_wasm (mem: 847.69MiB)
09:38:34 [09:38:34.216]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 847.69MiB)
09:38:34 [09:38:34.217]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 847.69MiB)
09:38:34 [09:38:34.266]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 847.69MiB)
09:38:34 [09:38:34.316]
INFO:
ivc-integration:prove_wasm time to construct proving key: 129 ms. (mem: 847.69MiB)
09:38:34 [09:38:34.549]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 847.69MiB)
09:38:36 [09:38:36.667]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 847.69MiB)
09:38:36 [09:38:36.677]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 847.69MiB)
09:38:36 [09:38:36.715]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 818.84 MiB)
09:38:38 [09:38:38.129]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 847.69MiB)
09:38:38 [09:38:38.413]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 855.63MiB)
09:38:38 [09:38:38.785]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 855.63MiB)
09:38:39 [09:38:39.213]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 818.84 MiB)
09:38:39 [09:38:39.350]
INFO:
ivc-integration:prove_wasm folded (mem: 855.63MiB)
09:38:39 [09:38:39.351]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 855.63MiB)
09:38:39 [09:38:39.351]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 13651 (mem: 855.63MiB)
09:38:39 [09:38:39.352]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 855.63MiB)
09:38:39 [09:38:39.352]
INFO:
ivc-integration:prove_wasm Largest circuit: 26010 gates. Trace details: (mem: 855.63MiB)
09:38:39 [09:38:39.353]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 855.63MiB)
09:38:39 [09:38:39.354]
INFO:
ivc-integration:prove_wasm ecc_op : 392
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.354]
INFO:
ivc-integration:prove_wasm busread : 12
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.355]
INFO:
ivc-integration:prove_wasm lookup : 2
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.356]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.357]
INFO:
ivc-integration:prove_wasm arithmetic : 6913
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.357]
INFO:
ivc-integration:prove_wasm delta_range : 2353
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.358]
INFO:
ivc-integration:prove_wasm elliptic : 2
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.359]
INFO:
ivc-integration:prove_wasm aux : 110
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.363]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2492
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.364]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 14195
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.364]
INFO:
ivc-integration:prove_wasm overflow : 0
09:38:39 (mem: 855.63MiB)
09:38:39 [09:38:39.365]
INFO:
ivc-integration:prove_wasm (mem: 855.63MiB)
09:38:39 [09:38:39.365]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 855.63MiB)
09:38:39 [09:38:39.617]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
09:38:40 [09:38:40.147]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
09:38:41 [09:38:41.903]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
09:38:42 [09:38:42.237]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
09:38:42 [09:38:42.240]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
09:38:42 [09:38:42.278]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 855.63MiB)
09:38:42 [09:38:42.535]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 855.63MiB)
09:38:42 [09:38:42.545]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 855.63MiB)
09:38:42 [09:38:42.562]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 855.63MiB)
09:38:42 [09:38:42.641]
INFO:
ivc-integration:prove_wasm time to construct proving key: 106 ms. (mem: 855.63MiB)
09:38:43 [09:38:43.838]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 818.84 MiB)
09:38:43 [09:38:43.839]
INFO:
ivc-integration:test:wasm bb - prove translator... (mem: 818.84 MiB)
09:38:44 [09:38:44.133]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 855.63MiB)
09:38:45 [09:38:45.259]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 855.63MiB)
09:38:45 [09:38:45.291]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
09:38:45 [09:38:45.552]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
09:38:46 [09:38:46.268]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 850.83 MiB)
09:38:46 [09:38:46.617]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 855.63MiB)
09:38:46 [09:38:46.737]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
09:38:46 [09:38:46.738]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 855.63MiB)
09:38:46 [09:38:46.739]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 855.63MiB)
09:38:46 [09:38:46.829]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 855.63MiB)
09:38:48 [09:38:48.761]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 851.83 MiB)
09:38:49 [09:38:49.626]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
09:38:51 [09:38:51.823]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 851.83 MiB)
09:38:51 finished translator proving. (mem: 851.83 MiB)
09:38:51 [09:38:51.864]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 851.83 MiB)
09:38:51 [09:38:51.881]
INFO:
ivc-integration:test:wasm bb - sumcheck_verified: 1 (mem: 851.83 MiB)
09:38:51 libra_evals_verified: 1 (mem: 851.83 MiB)
09:38:51 pairing_check_verified: 1 (mem: 851.83 MiB)
09:38:51 [09:38:51.881]
INFO:
ivc-integration:test:wasm bb - Mega verified: 1 (mem: 851.83 MiB)
09:38:52 [09:38:52.000]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 851.83 MiB)
09:38:52 batch opening verified?: 1 (mem: 851.83 MiB)
09:38:52 eccvm consistency check verified?: 1 (mem: 851.83 MiB)
09:38:52 translation masking consistency checked?: 1 (mem: 851.83 MiB)
09:38:52 [09:38:52.025]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 851.83 MiB)
09:38:52 eccvm verified?: 1 (mem: 851.83 MiB)
09:38:52 accumulator construction_verified?: 1 (mem: 851.83 MiB)
09:38:52 translation verified?: 1 (mem: 851.83 MiB)
09:38:52 consistency verified?: 1 (mem: 851.83 MiB)
09:38:52 Goblin verified: 1 (mem: 851.83 MiB)
09:38:52 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-WvDTSY" (mem: 851.83 MiB)
09:38:52 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-WvDTSY" (mem: 851.83 MiB)
09:38:52 BN254 commitment key size: 262144 (mem: 851.83 MiB)
09:38:52 [09:38:52.027]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 851.83 MiB)
09:38:52 [09:38:52.033]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.83 MiB)
09:38:52 goblin ecc op : 4/1024 (mem: 851.83 MiB)
09:38:52 busread : 3/6000 (mem: 851.83 MiB)
09:38:52 lookups : 2/15000 (mem: 851.83 MiB)
09:38:52 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 851.83 MiB)
09:38:52 arithmetic : 1773/56000 (mem: 851.83 MiB)
09:38:52 delta range : 1754/18000 (mem: 851.83 MiB)
09:38:52 elliptic : 2/6000 (mem: 851.83 MiB)
09:38:52 auxiliary : 26/26000 (mem: 851.83 MiB)
09:38:52 poseidon ext : 2/17000 (mem: 851.83 MiB)
09:38:52 poseidon int : 2/92000 (mem: 851.83 MiB)
09:38:52 overflow : 0/0 (mem: 851.83 MiB)
09:38:52 (mem: 851.83 MiB)
09:38:52 Total structured size: 242025 (mem: 851.83 MiB)
09:38:52 allocating polynomials object in proving key... (mem: 851.83 MiB)
09:38:52 [09:38:52.372]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 851.83 MiB)
09:38:52 [09:38:52.391]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 363 ms. (mem: 851.83 MiB)
09:38:52 [09:38:52.465]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 851.83 MiB)
09:38:53 [09:38:53.476]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 851.83 MiB)
09:38:53 [09:38:53.477]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.83 MiB)
09:38:53 [09:38:53.892]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 851.83 MiB)
09:38:53 [09:38:53.902]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.83 MiB)
09:38:53 [09:38:53.903]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 855.63MiB)
09:38:53 [09:38:53.919]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 851.83 MiB)
09:38:53 [09:38:53.922]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.83 MiB)
09:38:53 goblin ecc op : 56/1024 (mem: 851.83 MiB)
09:38:53 busread : 3/6000 (mem: 851.83 MiB)
09:38:53 lookups : 2/15000 (mem: 851.83 MiB)
09:38:53 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.83 MiB)
09:38:53 arithmetic : 4533/56000 (mem: 851.83 MiB)
09:38:53 delta range : 2060/18000 (mem: 851.83 MiB)
09:38:53 elliptic : 2/6000 (mem: 851.83 MiB)
09:38:53 auxiliary : 50/26000 (mem: 851.83 MiB)
09:38:53 poseidon ext : 1332/17000 (mem: 851.83 MiB)
09:38:53 poseidon int : 7583/92000 (mem: 851.83 MiB)
09:38:53 overflow : 0/0 (mem: 851.83 MiB)
09:38:53 (mem: 851.83 MiB)
09:38:53 Total structured size: 242025 (mem: 851.83 MiB)
09:38:53 allocating polynomials object in proving key... (mem: 851.83 MiB)
09:38:54 [09:38:54.187]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 851.83 MiB)
09:38:54 [09:38:54.254]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 336 ms. (mem: 851.83 MiB)
09:38:54 [09:38:54.256]
INFO:
ivc-integration:test:wasm bb -
09:38:54 [09:38:54.411]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 851.83 MiB)
09:38:55 [09:38:55.413]
INFO:
ivc-integration:test:wasm bb - computing folding proof
09:38:55 [09:38:55.415]
INFO:
ivc-integration:test:wasm bb - (mem: 851.83 MiB)
09:38:55 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 851.83 MiB)
09:38:56 [09:38:56.446]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key
09:38:56 [09:38:56.449]
INFO:
ivc-integration:test:wasm bb - (mem: 851.83 MiB)
09:38:56 [09:38:56.570]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 854.83 MiB)
09:38:56 [09:38:56.635]
INFO:
ivc-integration:test:wasm bb - combiner quotient round
09:38:56 [09:38:56.637]
INFO:
ivc-integration:test:wasm bb - (mem: 886.83 MiB)
09:38:57 [09:38:57.053]
INFO:
ivc-integration:test:wasm bb - folded (mem: 886.83 MiB)
09:38:57 constructed folding proof (mem: 886.83 MiB)
09:38:57 Largest circuit: 15565 gates. Trace details: (mem: 886.83 MiB)
09:38:57 Minimum required block sizes for structured trace: (mem: 886.83 MiB)
09:38:57 (mem: 886.83 MiB)
09:38:57 prove decider... (mem: 886.83 MiB)
09:38:57 [09:38:57.055]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
09:38:57 busread : 3
09:38:57 lookup : 2
09:38:57 pub_inputs : 36
09:38:57 arithmetic : 4533
09:38:57 delta_range : 2060
09:38:57 elliptic : 2
09:38:57 aux : 50
09:38:57 poseidon2_external : 1332
09:38:57 poseidon2_internal : 7583
09:38:57 overflow : 0
09:38:57 [09:38:57.300]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 886.83 MiB)
09:38:57 [09:38:57.520]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 886.83 MiB)
09:38:58 [09:38:58.874]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 886.83 MiB)
09:38:58 [09:38:58.950]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 886.83 MiB)
09:38:58 finished decider proving. (mem: 886.83 MiB)
09:38:58 [09:38:58.963]
INFO:
ivc-integration:test:wasm bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 886.83 MiB)
09:38:59 [09:38:59.058]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 886.83 MiB)
09:38:59 [09:38:59.062]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key...
09:38:59 [09:38:59.062]
INFO:
ivc-integration:test:wasm bb - (mem:
09:38:59 [09:38:59.064]
INFO:
ivc-integration:test:wasm bb - 886.83 MiB)
09:38:59 [09:38:59.256]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 886.83 MiB)
09:38:59 [09:38:59.307]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 250 ms. (mem: 886.83 MiB)
09:39:01 [09:39:01.827]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 855.63MiB)
09:39:01 [09:39:01.827]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 855.63MiB)
09:39:07 [09:39:07.718]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 855.63MiB)
09:39:11 [09:39:11.707]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 855.63MiB)
09:39:14 [09:39:14.607]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 855.63MiB)
09:39:14 [09:39:14.607]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 855.63MiB)
09:39:14 [09:39:14.608]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 48909 (mem: 855.63MiB)
09:39:14 [09:39:14.615]
INFO:
ivc-integration:prove_wasm time to serialize proof: 7 (mem: 855.63MiB)
09:39:14 [09:39:14.619]
INFO:
ivc-integration:prove_wasm time to serialize vk: 5 (mem: 855.63MiB)
09:39:14 [09:39:14.646]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 855.63MiB)
09:39:14 [09:39:14.696]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 855.63MiB)
09:39:14 [09:39:14.697]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 855.63MiB)
09:39:14 [09:39:14.698]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 855.63MiB)
09:39:14 [09:39:14.699]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 855.63MiB)
09:39:14 [09:39:14.944]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 855.63MiB)
09:39:14 [09:39:14.945]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 855.63MiB)
09:39:14 [09:39:14.946]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 855.63MiB)
09:39:14 [09:39:14.947]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 855.63MiB)
09:39:15 [09:39:15.026]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 855.63MiB)
09:39:15 [09:39:15.027]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 855.63MiB)
09:39:15 [09:39:15.028]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 855.63MiB)
09:39:15 [09:39:15.028]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 855.63MiB)
09:39:15 [09:39:15.029]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 855.63MiB)
09:39:15 [09:39:15.029]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 855.63MiB)
09:39:15 [09:39:15.562]
INFO:
ivc-integration:test:wasm BB concurrency: 1
09:39:15 [09:39:15.563]
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-WvDTSY/proof -k /tmp/bb-client-ivc-integration-WvDTSY/vk -v
09:39:15 [09:39:15.650]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 915.50 MiB)
09:39:15 Scheme is: client_ivc, num threads: 1 (mem: 915.50 MiB)
09:39:15 --proof_path: /tmp/bb-client-ivc-integration-WvDTSY/proof (mem: 915.50 MiB)
09:39:15 --vk_path: /tmp/bb-client-ivc-integration-WvDTSY/vk
09:39:15 [09:39:15.651]
INFO:
ivc-integration:test:wasm (mem: 915.50 MiB)
09:39:15 --verbose: true (mem: 915.50 MiB)
09:39:15 --scheme: client_ivc (mem: 915.50 MiB)
09:39:15 [09:39:15.669]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 915.50 MiB)
09:39:15 [09:39:15.690]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 915.50 MiB)
09:39:15 [09:39:15.691]
INFO:
ivc-integration:test:wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 915.50 MiB)
09:39:15 [09:39:15.709]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 915.50 MiB)
09:39:15 [09:39:15.713]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 9 (mem: 915.50 MiB)
09:39:15 sumcheck_verified: 1 (mem: 915.50 MiB)
09:39:15 libra_evals_verified: 1 (mem: 915.50 MiB)
09:39:15 pairing_check_verified: 1 (mem: 915.50 MiB)
09:39:15 Mega verified: 1 (mem: 915.50 MiB)
09:39:16 [09:39:16.129]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1 (mem: 915.50 MiB)
09:39:16 batch opening verified?: 1 (mem: 915.50 MiB)
09:39:16 eccvm consistency check verified?: 1 (mem: 915.50 MiB)
09:39:16 translation masking consistency checked?: 1 (mem: 915.50 MiB)
09:39:16 [09:39:16.143]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 915.50 MiB)
09:39:16 eccvm verified?: 1 (mem: 915.50 MiB)
09:39:16 accumulator construction_verified?: 1 (mem: 915.50 MiB)
09:39:16 translation verified?: 1 (mem: 915.50 MiB)
09:39:16 consistency verified?: 1 (mem: 915.50 MiB)
09:39:16 Goblin verified: 1 (mem: 915.50 MiB)
09:39:16 [09:39:16.145]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 915.50 MiB)
09:39:16 [09:39:16.161]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
09:39:16 [09:39:16.319]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 12144037 bytes
09:39:16 [09:39:16.370]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
09:39:16 [09:39:16.869]
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:16 [09:39:16.898]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
09:39:16 [09:39:16.899]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
09:39:17 [09:39:17.924]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
09:39:18 [09:39:18.037]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
09:39:18 [09:39:18.043]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
09:39:18 [09:39:18.122]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
09:39:18 [09:39:18.138]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e8b31005de11f5fe23da29f6a9d2fbc4 (mem: 354.06MiB)
09:39:18 [09:39:18.179]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
09:39:18 [09:39:18.195]
INFO:
ivc-integration:test:wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f11299920947bb80a2502463bb9edcb8 (mem: 354.06MiB)
09:39:18 [09:39:18.472]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":15724,"2":26010}
09:39:18 [09:39:18.574]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
09:39:18 [09:39:18.701]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 12144037 bytes
09:39:18 [09:39:18.731]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
09:39:19 [09:39:19.266]
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:19 [09:39:19.277]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
09:39:20 [09:39:20.692]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
09:39:20 [09:39:20.693]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
09:39:22 [09:39:22.003]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
09:39:22 [09:39:22.127]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
09:39:22 [09:39:22.205]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
09:39:22 [09:39:22.224]
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:22 [09:39:22.239]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.06MiB)
09:39:22 [09:39:22.240]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.06MiB)
09:39:22 [09:39:22.263]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.06MiB)
09:39:22 [09:39:22.264]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.06MiB)
09:39:22 [09:39:22.264]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.06MiB)
09:39:22 [09:39:22.264]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.06MiB)
09:39:22 [09:39:22.265]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.06MiB)
09:39:22 [09:39:22.265]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.06MiB)
09:39:22 [09:39:22.265]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.06MiB)
09:39:22 [09:39:22.265]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.06MiB)
09:39:22 [09:39:22.266]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.06MiB)
09:39:22 [09:39:22.266]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.06MiB)
09:39:22 [09:39:22.266]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.06MiB)
09:39:22 [09:39:22.266]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.06MiB)
09:39:22 [09:39:22.267]
INFO:
ivc-integration:prove_wasm (mem: 354.06MiB)
09:39:22 [09:39:22.267]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.06MiB)
09:39:22 [09:39:22.268]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.06MiB)
09:39:22 [09:39:22.361]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.63MiB)
09:39:22 [09:39:22.393]
INFO:
ivc-integration:prove_wasm time to construct proving key: 150 ms. (mem: 581.88MiB)
09:39:22 [09:39:22.427]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.88MiB)
09:39:24 [09:39:24.826]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.88MiB)
09:39:24 [09:39:24.828]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.88MiB)
09:39:25 [09:39:25.217]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.88MiB)
09:39:25 [09:39:25.232]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 581.88MiB)
09:39:25 [09:39:25.254]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.88MiB)
09:39:25 [09:39:25.255]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.88MiB)
09:39:25 [09:39:25.258]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.88MiB)
09:39:25 [09:39:25.259]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.88MiB)
09:39:25 [09:39:25.259]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.88MiB)
09:39:25 [09:39:25.260]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.88MiB)
09:39:25 [09:39:25.260]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.88MiB)
09:39:25 [09:39:25.260]
INFO:
ivc-integration:prove_wasm arithmetic : 4677/56000 (mem: 581.88MiB)
09:39:25 [09:39:25.261]
INFO:
ivc-integration:prove_wasm delta range : 2073/18000 (mem: 581.88MiB)
09:39:25 [09:39:25.261]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.88MiB)
09:39:25 [09:39:25.261]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.88MiB)
09:39:25 [09:39:25.261]
INFO:
ivc-integration:prove_wasm poseidon ext : 1322/17000 (mem: 581.88MiB)
09:39:25 [09:39:25.262]
INFO:
ivc-integration:prove_wasm poseidon int : 7526/92000 (mem: 581.88MiB)
09:39:25 [09:39:25.262]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.88MiB)
09:39:25 [09:39:25.262]
INFO:
ivc-integration:prove_wasm (mem: 581.88MiB)
09:39:25 [09:39:25.262]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.88MiB)
09:39:25 [09:39:25.263]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.88MiB)
09:39:25 [09:39:25.310]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 805.75MiB)
09:39:25 [09:39:25.340]
INFO:
ivc-integration:prove_wasm time to construct proving key: 86 ms. (mem: 820.69MiB)
09:39:25 [09:39:25.390]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 820.69MiB)
09:39:26 [09:39:26.971]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 820.69MiB)
09:39:26 [09:39:26.973]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.69MiB)
09:39:27 [09:39:27.426]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 820.69MiB)
09:39:27 [09:39:27.669]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
09:39:28 [09:39:28.092]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
09:39:28 [09:39:28.469]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
09:39:28 [09:39:28.469]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
09:39:28 [09:39:28.473]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 848.19MiB)
09:39:28 [09:39:28.474]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
09:39:28 [09:39:28.478]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
09:39:28 [09:39:28.478]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 848.19MiB)
09:39:28 [09:39:28.479]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 848.19MiB)
09:39:28 [09:39:28.479]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
09:39:28 [09:39:28.479]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 848.19MiB)
09:39:28 [09:39:28.480]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 848.19MiB)
09:39:28 [09:39:28.480]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 848.19MiB)
09:39:28 [09:39:28.480]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
09:39:28 [09:39:28.480]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 848.19MiB)
09:39:28 [09:39:28.481]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 848.19MiB)
09:39:28 [09:39:28.482]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 848.19MiB)
09:39:28 [09:39:28.483]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
09:39:28 [09:39:28.483]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
09:39:28 [09:39:28.483]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
09:39:28 [09:39:28.483]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
09:39:28 [09:39:28.543]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
09:39:28 [09:39:28.561]
INFO:
ivc-integration:prove_wasm time to construct proving key: 87 ms. (mem: 848.19MiB)
09:39:28 [09:39:28.690]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.19MiB)
09:39:30 [09:39:30.155]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.19MiB)
09:39:30 [09:39:30.156]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
09:39:30 [09:39:30.493]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.19MiB)
09:39:30 [09:39:30.711]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 848.19MiB)
09:39:30 [09:39:30.981]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 848.19MiB)
09:39:31 [09:39:31.219]
INFO:
ivc-integration:prove_wasm folded (mem: 848.19MiB)
09:39:31 [09:39:31.219]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 848.19MiB)
09:39:31 [09:39:31.237]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 848.19MiB)
09:39:31 [09:39:31.349]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 848.19MiB)
09:39:31 [09:39:31.451]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 848.19MiB)
09:39:31 [09:39:31.452]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 848.19MiB)
09:39:31 [09:39:31.456]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 848.19MiB)
09:39:31 [09:39:31.457]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 848.19MiB)
09:39:31 [09:39:31.457]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 848.19MiB)
09:39:31 [09:39:31.457]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 848.19MiB)
09:39:31 [09:39:31.458]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.19MiB)
09:39:31 [09:39:31.458]
INFO:
ivc-integration:prove_wasm arithmetic : 12208/56000 (mem: 848.19MiB)
09:39:31 [09:39:31.458]
INFO:
ivc-integration:prove_wasm delta range : 2981/18000 (mem: 848.19MiB)
09:39:31 [09:39:31.459]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 848.19MiB)
09:39:31 [09:39:31.459]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 848.19MiB)
09:39:31 [09:39:31.459]
INFO:
ivc-integration:prove_wasm poseidon ext : 4982/17000 (mem: 848.19MiB)
09:39:31 [09:39:31.459]
INFO:
ivc-integration:prove_wasm poseidon int : 28388/92000 (mem: 848.19MiB)
09:39:31 [09:39:31.460]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 848.19MiB)
09:39:31 [09:39:31.460]
INFO:
ivc-integration:prove_wasm (mem: 848.19MiB)
09:39:31 [09:39:31.461]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 848.19MiB)
09:39:31 [09:39:31.461]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 848.19MiB)
09:39:31 [09:39:31.474]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 848.19MiB)
09:39:31 [09:39:31.531]
INFO:
ivc-integration:prove_wasm time to construct proving key: 79 ms. (mem: 851.31MiB)
09:39:31 [09:39:31.603]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 851.31MiB)
09:39:32 [09:39:32.991]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 851.31MiB)
09:39:32 [09:39:32.993]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 851.31MiB)
09:39:33 [09:39:33.863]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 851.31MiB)
09:39:34 [09:39:34.170]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 875.44MiB)
09:39:34 [09:39:34.547]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
09:39:34 [09:39:34.850]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
09:39:34 [09:39:34.851]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
09:39:34 [09:39:34.862]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 907.06MiB)
09:39:34 [09:39:34.997]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 907.06MiB)
09:39:34 [09:39:34.998]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
09:39:35 [09:39:35.002]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
09:39:35 [09:39:35.003]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
09:39:35 [09:39:35.003]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 907.06MiB)
09:39:35 [09:39:35.003]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
09:39:35 [09:39:35.004]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 907.06MiB)
09:39:35 [09:39:35.004]
INFO:
ivc-integration:prove_wasm arithmetic : 6978/56000 (mem: 907.06MiB)
09:39:35 [09:39:35.004]
INFO:
ivc-integration:prove_wasm delta range : 2367/18000 (mem: 907.06MiB)
09:39:35 [09:39:35.005]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
09:39:35 [09:39:35.005]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 907.06MiB)
09:39:35 [09:39:35.005]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 907.06MiB)
09:39:35 [09:39:35.005]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 907.06MiB)
09:39:35 [09:39:35.005]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
09:39:35 [09:39:35.006]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
09:39:35 [09:39:35.006]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
09:39:35 [09:39:35.006]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
09:39:35 [09:39:35.042]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
09:39:35 [09:39:35.072]
INFO:
ivc-integration:prove_wasm time to construct proving key: 77 ms. (mem: 907.06MiB)
09:39:35 [09:39:35.207]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
09:39:36 [09:39:36.558]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
09:39:36 [09:39:36.561]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 907.06MiB)
09:39:37 [09:39:37.150]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
09:39:37 [09:39:37.432]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
09:39:37 [09:39:37.767]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
09:39:37 [09:39:37.993]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
09:39:37 [09:39:37.993]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
09:39:38 [09:39:38.007]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 907.06MiB)
09:39:38 [09:39:38.132]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 907.06MiB)
09:39:38 [09:39:38.133]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
09:39:38 [09:39:38.138]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 907.06MiB)
09:39:38 [09:39:38.139]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 907.06MiB)
09:39:38 [09:39:38.139]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 907.06MiB)
09:39:38 [09:39:38.140]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 907.06MiB)
09:39:38 [09:39:38.140]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 907.06MiB)
09:39:38 [09:39:38.140]
INFO:
ivc-integration:prove_wasm arithmetic : 6913/56000 (mem: 907.06MiB)
09:39:38 [09:39:38.141]
INFO:
ivc-integration:prove_wasm delta range : 2353/18000 (mem: 907.06MiB)
09:39:38 [09:39:38.141]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 907.06MiB)
09:39:38 [09:39:38.141]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 907.06MiB)
09:39:38 [09:39:38.142]
INFO:
ivc-integration:prove_wasm poseidon ext : 2492/17000 (mem: 907.06MiB)
09:39:38 [09:39:38.142]
INFO:
ivc-integration:prove_wasm poseidon int : 14195/92000 (mem: 907.06MiB)
09:39:38 [09:39:38.142]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 907.06MiB)
09:39:38 [09:39:38.142]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
09:39:38 [09:39:38.143]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 907.06MiB)
09:39:38 [09:39:38.143]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
09:39:38 [09:39:38.165]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
09:39:38 [09:39:38.194]
INFO:
ivc-integration:prove_wasm time to construct proving key: 61 ms. (mem: 907.06MiB)
09:39:38 [09:39:38.295]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 907.06MiB)
09:39:39 [09:39:39.513]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 907.06MiB)
09:39:39 [09:39:39.514]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 907.06MiB)
09:39:39 [09:39:39.949]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 907.06MiB)
09:39:40 [09:39:40.185]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 907.06MiB)
09:39:40 [09:39:40.462]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 907.06MiB)
09:39:40 [09:39:40.754]
INFO:
ivc-integration:prove_wasm folded (mem: 907.06MiB)
09:39:40 [09:39:40.754]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 907.06MiB)
09:39:40 [09:39:40.755]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 18623 (mem: 907.06MiB)
09:39:40 [09:39:40.755]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 907.06MiB)
09:39:40 [09:39:40.755]
INFO:
ivc-integration:prove_wasm Largest circuit: 48925 gates. Trace details: (mem: 907.06MiB)
09:39:40 [09:39:40.756]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 907.06MiB)
09:39:40 [09:39:40.756]
INFO:
ivc-integration:prove_wasm ecc_op : 792
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.756]
INFO:
ivc-integration:prove_wasm busread : 16
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.756]
INFO:
ivc-integration:prove_wasm lookup : 2
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.757]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.757]
INFO:
ivc-integration:prove_wasm arithmetic : 12208
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.758]
INFO:
ivc-integration:prove_wasm delta_range : 2981
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.758]
INFO:
ivc-integration:prove_wasm elliptic : 2
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.759]
INFO:
ivc-integration:prove_wasm aux : 350
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.759]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4982
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.759]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 28388
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.760]
INFO:
ivc-integration:prove_wasm overflow : 0
09:39:40 (mem: 907.06MiB)
09:39:40 [09:39:40.760]
INFO:
ivc-integration:prove_wasm (mem: 907.06MiB)
09:39:40 [09:39:40.760]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 907.06MiB)
09:39:40 [09:39:40.899]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
09:39:41 [09:39:41.158]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
09:39:42 [09:39:42.158]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
09:39:42 [09:39:42.462]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
09:39:42 [09:39:42.463]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
09:39:42 [09:39:42.479]
INFO:
ivc-integration:prove_wasm vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 907.06MiB)
09:39:42 [09:39:42.669]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 907.06MiB)
09:39:42 [09:39:42.674]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 907.06MiB)
09:39:42 [09:39:42.689]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 907.06MiB)
09:39:42 [09:39:42.729]
INFO:
ivc-integration:prove_wasm time to construct proving key: 59 ms. (mem: 907.06MiB)
09:39:43 [09:39:43.681]
INFO:
ivc-integration:prove_wasm vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 907.06MiB)
09:39:44 [09:39:44.799]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 907.06MiB)
09:39:44 [09:39:44.825]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
09:39:45 [09:39:45.062]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
09:39:45 [09:39:45.994]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 907.06MiB)
09:39:46 [09:39:46.118]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
09:39:46 [09:39:46.118]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 907.06MiB)
09:39:46 [09:39:46.118]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 907.06MiB)
09:39:46 [09:39:46.250]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 907.06MiB)
09:39:50 [09:39:50.415]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
09:39:54 [09:39:54.445]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 907.06MiB)
09:39:58 [09:39:58.326]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 907.06MiB)
09:39:58 [09:39:58.327]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 907.06MiB)
09:40:02 [09:40:02.566]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 907.06MiB)
09:40:05 [09:40:05.846]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 907.06MiB)
09:40:07 [09:40:07.998]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 907.06MiB)
09:40:07 [09:40:07.999]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 907.06MiB)
09:40:07 [09:40:07.999]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 45867 (mem: 907.06MiB)
09:40:08 [09:40:08.005]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 907.06MiB)
09:40:08 [09:40:08.007]
INFO:
ivc-integration:prove_wasm time to serialize vk: 2 (mem: 907.06MiB)
09:40:08 [09:40:08.021]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 907.06MiB)
09:40:08 [09:40:08.079]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.080]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.080]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.081]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.285]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.285]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.286]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.286]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.382]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.383]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.383]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.383]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.384]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.384]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.399]
INFO:
ivc-integration:prove_wasm vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 907.06MiB)
09:40:08 [09:40:08.449]
INFO:
ivc-integration:prove_wasm sumcheck_verified: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.449]
INFO:
ivc-integration:prove_wasm libra_evals_verified: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.450]
INFO:
ivc-integration:prove_wasm pairing_check_verified: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.450]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.641]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.641]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.642]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.642]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.709]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.710]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.710]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.710]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.710]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 907.06MiB)
09:40:08 [09:40:08.711]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 907.06MiB)
09:40:09 [09:40:09.124]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
09:40:09
PASS src/wasm_client_ivc_integration.test.ts (
110.466 s)
09:40:09 Client IVC Integration
09:40:09
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (54066 ms)
09:40:09
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (2320 ms)
09:40:09
✓ Should generate a verifiable client IVC proof from a complex mock tx (50652 ms)
09:40:09
09:40:09
Test Suites: 1 passed, 1 total
09:40:09
Tests: 3 passed, 3 total
09:40:09
Snapshots: 0 total
09:40:09
Time: 110.565 s
09:40:09
Ran all test suites matching ivc-integration/src/wasm_client_ivc_integration.test.ts
.
09:40:09
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?