Parent Log: http://ci.aztec-labs.com/71bb43639ff212af Command: ef85c2b8680d9e9c:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc Commit: https://github.com/AztecProtocol/aztec-packages/commit/9ba478709ce5c48099f79f9531da8292811cb18a Env: REF_NAME=gh-readonly-queue/staging/pr-15247-3863bc02d671057d0cffd4ced17ca317788ff190 CURRENT_VERSION=1.0.0 CI_FULL=1 Date: Tue Jun 24 15:15:54 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15247_amd64_x2-full Resources: CPU_LIST=48,49,50,51,52,53,54,55 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_fd4737cff4b070c8_staging 15:15:54 --- bb ivc flow bench --- 15:15:54 bb command: prove (mem: 9.00 MiB) 15:15:54 Scheme is: client_ivc, num threads: 8 (mem: 9.00 MiB) 15:15:54 --scheme: client_ivc (mem: 9.00 MiB) 15:15:54 --output_path: bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/native (mem: 9.00 MiB) 15:15:54 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/ivc-inputs.msgpack (mem: 9.00 MiB) 15:15:54 --verbose: true (mem: 9.00 MiB) 15:15:55 BN254 commitment key size: 262144 (mem: 274.14 MiB) 15:15:55 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 274.14 MiB) 15:15:56 Initialized BN254 CRS from memory with num points = 262145 (mem: 274.14 MiB) 15:15:56 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 274.14 MiB) 15:15:56 Constructing DeciderProvingKey (mem: 274.14 MiB) 15:15:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 274.14 MiB) 15:15:56 goblin ecc op : 4/1024 (mem: 274.14 MiB) 15:15:56 busread : 742/6000 (mem: 274.14 MiB) 15:15:56 lookups : 2898/15000 (mem: 274.14 MiB) 15:15:56 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 274.14 MiB) 15:15:56 arithmetic : 39593/56000 (mem: 274.14 MiB) 15:15:56 delta range : 17451/18000 (mem: 274.14 MiB) 15:15:56 elliptic : 2/6000 (mem: 274.14 MiB) 15:15:56 auxiliary : 25394/26000 (mem: 274.14 MiB) 15:15:56 poseidon ext : 322/17000 (mem: 274.14 MiB) 15:15:56 poseidon int : 1826/92000 (mem: 274.14 MiB) 15:15:56 overflow : 0/0 (mem: 274.14 MiB) 15:15:56 (mem: 274.14 MiB) 15:15:56 Total structured size: 242025 (mem: 274.14 MiB) 15:15:56 allocating polynomials object in proving key... (mem: 274.14 MiB) 15:15:56 populating trace... (mem: 493.85 MiB) 15:15:56 time to construct proving key: 93 ms. (mem: 514.85 MiB) 15:15:56 getting honk vk... precomputed?: 0x64ce2cde4e40 (mem: 515.85 MiB) 15:15:56 computing oink proof... (mem: 515.85 MiB) 15:15:56 vkey hash in Oink prover: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: 515.85 MiB) 15:15:56 oink proof constructed (mem: 519.85 MiB) 15:15:56 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: 519.85 MiB) 15:15:56 ClientIVC: accumulating private_kernel_init (mem: 519.85 MiB) 15:15:56 Constructing DeciderProvingKey (mem: 519.85 MiB) 15:15:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 519.85 MiB) 15:15:56 goblin ecc op : 56/1024 (mem: 519.85 MiB) 15:15:56 busread : 2529/6000 (mem: 519.85 MiB) 15:15:56 lookups : 2/15000 (mem: 519.85 MiB) 15:15:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 519.85 MiB) 15:15:56 arithmetic : 21701/56000 (mem: 519.85 MiB) 15:15:56 delta range : 3034/18000 (mem: 519.85 MiB) 15:15:56 elliptic : 340/6000 (mem: 519.85 MiB) 15:15:56 auxiliary : 799/26000 (mem: 519.85 MiB) 15:15:56 poseidon ext : 2452/17000 (mem: 519.85 MiB) 15:15:56 poseidon int : 13967/92000 (mem: 519.85 MiB) 15:15:56 overflow : 0/0 (mem: 519.85 MiB) 15:15:56 (mem: 519.85 MiB) 15:15:56 Total structured size: 242025 (mem: 519.85 MiB) 15:15:56 allocating polynomials object in proving key... (mem: 519.85 MiB) 15:15:56 populating trace... (mem: 688.85 MiB) 15:15:56 time to construct proving key: 36 ms. (mem: 705.85 MiB) 15:15:56 getting honk vk... precomputed?: 0x64ce2ce31580 (mem: 705.85 MiB) 15:15:56 computing folding proof (mem: 705.85 MiB) 15:15:56 vkey hash in Oink prover: 0x000000000000000000000000000000001bd1a86328896fb6a68f0efbbf47d67e (mem: 705.85 MiB) 15:15:56 oink prover on each incomplete key (mem: 705.85 MiB) 15:15:57 perturbator round (mem: 723.85 MiB) 15:15:57 combiner quotient round (mem: 755.85 MiB) 15:15:57 folded (mem: 755.85 MiB) 15:15:57 constructed folding proof (mem: 755.85 MiB) 15:15:57 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 755.85 MiB) 15:15:57 Constructing DeciderProvingKey (mem: 755.85 MiB) 15:15:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 755.85 MiB) 15:15:57 goblin ecc op : 4/1024 (mem: 755.85 MiB) 15:15:57 busread : 742/6000 (mem: 755.85 MiB) 15:15:57 lookups : 2/15000 (mem: 755.85 MiB) 15:15:57 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 755.85 MiB) 15:15:57 arithmetic : 3274/56000 (mem: 755.85 MiB) 15:15:57 delta range : 1785/18000 (mem: 755.85 MiB) 15:15:57 elliptic : 2/6000 (mem: 755.85 MiB) 15:15:57 auxiliary : 26/26000 (mem: 755.85 MiB) 15:15:57 poseidon ext : 2/17000 (mem: 755.85 MiB) 15:15:57 poseidon int : 2/92000 (mem: 755.85 MiB) 15:15:57 overflow : 0/0 (mem: 755.85 MiB) 15:15:57 (mem: 755.85 MiB) 15:15:57 Total structured size: 242025 (mem: 755.85 MiB) 15:15:57 allocating polynomials object in proving key... (mem: 755.85 MiB) 15:15:57 populating trace... (mem: 755.85 MiB) 15:15:57 time to construct proving key: 15 ms. (mem: 755.85 MiB) 15:15:57 getting honk vk... precomputed?: 0x64ce2c405480 (mem: 755.85 MiB) 15:15:57 computing folding proof (mem: 755.85 MiB) 15:15:57 vkey hash in Oink prover: 0x00000000000000000000000000000000eeed9ce9eba10dc9b739a878b3eda8f4 (mem: 755.85 MiB) 15:15:57 oink prover on each incomplete key (mem: 755.85 MiB) 15:15:57 perturbator round (mem: 755.85 MiB) 15:15:57 combiner quotient round (mem: 756.22 MiB) 15:15:57 folded (mem: 756.22 MiB) 15:15:57 constructed folding proof (mem: 756.22 MiB) 15:15:57 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001bd1a86328896fb6a68f0efbbf47d67e (mem: 756.22 MiB) 15:15:57 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000eeed9ce9eba10dc9b739a878b3eda8f4 (mem: 756.22 MiB) 15:15:57 ClientIVC: accumulating private_kernel_inner (mem: 756.22 MiB) 15:15:57 Constructing DeciderProvingKey (mem: 756.22 MiB) 15:15:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 756.22 MiB) 15:15:57 goblin ecc op : 792/1024 (mem: 756.22 MiB) 15:15:57 busread : 4184/6000 (mem: 756.22 MiB) 15:15:57 lookups : 2/15000 (mem: 756.22 MiB) 15:15:57 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 756.22 MiB) 15:15:57 arithmetic : 44918/56000 (mem: 756.22 MiB) 15:15:57 delta range : 5025/18000 (mem: 756.22 MiB) 15:15:57 elliptic : 340/6000 (mem: 756.22 MiB) 15:15:57 auxiliary : 1399/26000 (mem: 756.22 MiB) 15:15:57 poseidon ext : 6542/17000 (mem: 756.22 MiB) 15:15:57 poseidon int : 37280/92000 (mem: 756.22 MiB) 15:15:57 overflow : 0/0 (mem: 756.22 MiB) 15:15:57 (mem: 756.22 MiB) 15:15:57 Total structured size: 242025 (mem: 756.22 MiB) 15:15:57 allocating polynomials object in proving key... (mem: 756.22 MiB) 15:15:57 populating trace... (mem: 763.07 MiB) 15:15:57 time to construct proving key: 51 ms. (mem: 776.07 MiB) 15:15:57 getting honk vk... precomputed?: 0x64ce2d22d8c0 (mem: 776.07 MiB) 15:15:57 computing folding proof (mem: 776.07 MiB) 15:15:57 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 776.07 MiB) 15:15:58 oink prover on each incomplete key (mem: 776.07 MiB) 15:15:58 perturbator round (mem: 785.07 MiB) 15:15:58 combiner quotient round (mem: 817.07 MiB) 15:15:58 folded (mem: 817.07 MiB) 15:15:58 constructed folding proof (mem: 817.07 MiB) 15:15:58 ClientIVC: accumulating AMM:add_liquidity (mem: 817.07 MiB) 15:15:58 Constructing DeciderProvingKey (mem: 817.07 MiB) 15:15:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 817.07 MiB) 15:15:58 goblin ecc op : 4/1024 (mem: 817.07 MiB) 15:15:58 busread : 742/6000 (mem: 817.07 MiB) 15:15:58 lookups : 2/15000 (mem: 817.07 MiB) 15:15:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 817.07 MiB) 15:15:58 arithmetic : 4434/56000 (mem: 817.07 MiB) 15:15:58 delta range : 1925/18000 (mem: 817.07 MiB) 15:15:58 elliptic : 2/6000 (mem: 817.07 MiB) 15:15:58 auxiliary : 26/26000 (mem: 817.07 MiB) 15:15:58 poseidon ext : 572/17000 (mem: 817.07 MiB) 15:15:58 poseidon int : 3251/92000 (mem: 817.07 MiB) 15:15:58 overflow : 0/0 (mem: 817.07 MiB) 15:15:58 (mem: 817.07 MiB) 15:15:58 Total structured size: 242025 (mem: 817.07 MiB) 15:15:58 allocating polynomials object in proving key... (mem: 817.07 MiB) 15:15:58 populating trace... (mem: 817.07 MiB) 15:15:58 time to construct proving key: 17 ms. (mem: 817.07 MiB) 15:15:58 getting honk vk... precomputed?: 0x64ce2a34be80 (mem: 817.07 MiB) 15:15:58 computing folding proof (mem: 817.07 MiB) 15:15:58 vkey hash in Oink prover: 0x000000000000000000000000000000004c74ef405a85ad1f464538d9d991e927 (mem: 817.07 MiB) 15:15:58 oink prover on each incomplete key (mem: 817.07 MiB) 15:15:58 perturbator round (mem: 817.07 MiB) 15:15:59 combiner quotient round (mem: 817.07 MiB) 15:15:59 folded (mem: 817.07 MiB) 15:15:59 constructed folding proof (mem: 817.07 MiB) 15:15:59 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 817.07 MiB) 15:15:59 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000004c74ef405a85ad1f464538d9d991e927 (mem: 817.07 MiB) 15:15:59 ClientIVC: accumulating private_kernel_inner (mem: 817.07 MiB) 15:15:59 Constructing DeciderProvingKey (mem: 817.07 MiB) 15:15:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 817.07 MiB) 15:15:59 goblin ecc op : 792/1024 (mem: 817.07 MiB) 15:15:59 busread : 4184/6000 (mem: 817.07 MiB) 15:15:59 lookups : 2/15000 (mem: 817.07 MiB) 15:15:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 817.07 MiB) 15:15:59 arithmetic : 44918/56000 (mem: 817.07 MiB) 15:15:59 delta range : 5025/18000 (mem: 817.07 MiB) 15:15:59 elliptic : 340/6000 (mem: 817.07 MiB) 15:15:59 auxiliary : 1399/26000 (mem: 817.07 MiB) 15:15:59 poseidon ext : 6542/17000 (mem: 817.07 MiB) 15:15:59 poseidon int : 37280/92000 (mem: 817.07 MiB) 15:15:59 overflow : 0/0 (mem: 817.07 MiB) 15:15:59 (mem: 817.07 MiB) 15:15:59 Total structured size: 242025 (mem: 817.07 MiB) 15:15:59 allocating polynomials object in proving key... (mem: 817.07 MiB) 15:15:59 populating trace... (mem: 817.07 MiB) 15:15:59 time to construct proving key: 47 ms. (mem: 817.07 MiB) 15:15:59 getting honk vk... precomputed?: 0x64ce2a555f80 (mem: 817.07 MiB) 15:15:59 computing folding proof (mem: 817.07 MiB) 15:15:59 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 817.07 MiB) 15:15:59 oink prover on each incomplete key (mem: 817.07 MiB) 15:15:59 perturbator round (mem: 817.07 MiB) 15:16:00 combiner quotient round (mem: 817.59 MiB) 15:16:00 folded (mem: 817.59 MiB) 15:16:00 constructed folding proof (mem: 817.59 MiB) 15:16:00 ClientIVC: accumulating Token:transfer_to_public_and_prepare_private_balance_increase (mem: 817.59 MiB) 15:16:00 Constructing DeciderProvingKey (mem: 817.59 MiB) 15:16:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 817.59 MiB) 15:16:00 goblin ecc op : 4/1024 (mem: 817.59 MiB) 15:16:00 busread : 742/6000 (mem: 817.59 MiB) 15:16:00 lookups : 18706/15000 (mem: 817.59 MiB) 15:16:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 817.59 MiB) 15:16:00 arithmetic : 59038/56000 (mem: 817.59 MiB) 15:16:00 delta range : 6787/18000 (mem: 817.59 MiB) 15:16:00 elliptic : 6474/6000 (mem: 817.59 MiB) 15:16:00 auxiliary : 24908/26000 (mem: 817.59 MiB) 15:16:00 poseidon ext : 2882/17000 (mem: 817.59 MiB) 15:16:00 poseidon int : 16418/92000 (mem: 817.59 MiB) 15:16:00 overflow : 0/0 (mem: 817.59 MiB) 15:16:00 (mem: 817.59 MiB) 15:16:00 Total structured size: 242025 (mem: 817.59 MiB) 15:16:00 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 817.59 MiB) 15:16:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 817.59 MiB) 15:16:00 goblin ecc op : 4/1024 (mem: 817.59 MiB) 15:16:00 busread : 742/6000 (mem: 817.59 MiB) 15:16:00 lookups : 15000/15000 (mem: 817.59 MiB) 15:16:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 817.59 MiB) 15:16:00 arithmetic : 56000/56000 (mem: 817.59 MiB) 15:16:00 delta range : 6787/18000 (mem: 817.59 MiB) 15:16:00 elliptic : 6000/6000 (mem: 817.59 MiB) 15:16:00 auxiliary : 24908/26000 (mem: 817.59 MiB) 15:16:00 poseidon ext : 2882/17000 (mem: 817.59 MiB) 15:16:00 poseidon int : 16418/92000 (mem: 817.59 MiB) 15:16:00 overflow : 7221/7221 (mem: 817.59 MiB) 15:16:00 (mem: 817.59 MiB) 15:16:00 Total structured size: 249246 (mem: 817.59 MiB) 15:16:00 allocating polynomials object in proving key... (mem: 817.59 MiB) 15:16:00 populating trace... (mem: 985.21 MiB) 15:16:00 time to construct proving key: 113 ms. (mem: 1004.21 MiB) 15:16:00 getting honk vk... precomputed?: 0x64ce2fca6500 (mem: 1004.21 MiB) 15:16:00 computing folding proof (mem: 1004.21 MiB) 15:16:00 vkey hash in Oink prover: 0x0000000000000000000000000000000076747042c2a4bbf1862e6220ceeeae89 (mem: 1004.21 MiB) 15:16:01 oink prover on each incomplete key (mem: 1005.21 MiB) 15:16:01 perturbator round (mem: 1028.21 MiB) 15:16:01 combiner quotient round (mem: 1060.21 MiB) 15:16:01 folded (mem: 1060.21 MiB) 15:16:01 constructed folding proof (mem: 1060.21 MiB) 15:16:01 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1060.21 MiB) 15:16:01 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000076747042c2a4bbf1862e6220ceeeae89 (mem: 1060.21 MiB) 15:16:01 ClientIVC: accumulating private_kernel_inner (mem: 1060.21 MiB) 15:16:01 Constructing DeciderProvingKey (mem: 1060.21 MiB) 15:16:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1060.21 MiB) 15:16:01 goblin ecc op : 792/1024 (mem: 1060.21 MiB) 15:16:01 busread : 4184/6000 (mem: 1060.21 MiB) 15:16:01 lookups : 2/15000 (mem: 1060.21 MiB) 15:16:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1060.21 MiB) 15:16:01 arithmetic : 44918/56000 (mem: 1060.21 MiB) 15:16:01 delta range : 5025/18000 (mem: 1060.21 MiB) 15:16:01 elliptic : 340/6000 (mem: 1060.21 MiB) 15:16:01 auxiliary : 1399/26000 (mem: 1060.21 MiB) 15:16:01 poseidon ext : 6542/17000 (mem: 1060.21 MiB) 15:16:01 poseidon int : 37280/92000 (mem: 1060.21 MiB) 15:16:01 overflow : 0/0 (mem: 1060.21 MiB) 15:16:01 (mem: 1060.21 MiB) 15:16:01 Total structured size: 242025 (mem: 1060.21 MiB) 15:16:01 allocating polynomials object in proving key... (mem: 1060.21 MiB) 15:16:01 populating trace... (mem: 1060.21 MiB) 15:16:01 time to construct proving key: 50 ms. (mem: 1060.21 MiB) 15:16:01 getting honk vk... precomputed?: 0x64ce2aae0200 (mem: 1060.21 MiB) 15:16:01 computing folding proof (mem: 1060.21 MiB) 15:16:01 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1060.21 MiB) 15:16:02 oink prover on each incomplete key (mem: 1060.21 MiB) 15:16:02 perturbator round (mem: 1060.21 MiB) 15:16:02 combiner quotient round (mem: 1060.21 MiB) 15:16:02 folded (mem: 1060.21 MiB) 15:16:02 constructed folding proof (mem: 1060.21 MiB) 15:16:02 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 1060.21 MiB) 15:16:02 Constructing DeciderProvingKey (mem: 1060.21 MiB) 15:16:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 1060.21 MiB) 15:16:02 goblin ecc op : 4/1024 (mem: 1060.21 MiB) 15:16:02 busread : 742/6000 (mem: 1060.21 MiB) 15:16:02 lookups : 2898/15000 (mem: 1060.21 MiB) 15:16:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1060.21 MiB) 15:16:02 arithmetic : 37549/56000 (mem: 1060.21 MiB) 15:16:02 delta range : 17062/18000 (mem: 1060.21 MiB) 15:16:02 elliptic : 2/6000 (mem: 1060.21 MiB) 15:16:02 auxiliary : 21404/26000 (mem: 1060.21 MiB) 15:16:02 poseidon ext : 82/17000 (mem: 1060.21 MiB) 15:16:02 poseidon int : 458/92000 (mem: 1060.21 MiB) 15:16:02 overflow : 0/0 (mem: 1060.21 MiB) 15:16:02 (mem: 1060.21 MiB) 15:16:02 Total structured size: 242025 (mem: 1060.21 MiB) 15:16:02 allocating polynomials object in proving key... (mem: 1060.21 MiB) 15:16:02 populating trace... (mem: 1060.21 MiB) 15:16:02 time to construct proving key: 69 ms. (mem: 1060.21 MiB) 15:16:02 getting honk vk... precomputed?: 0x64ce2cdde080 (mem: 1060.21 MiB) 15:16:02 computing folding proof (mem: 1060.21 MiB) 15:16:02 vkey hash in Oink prover: 0x00000000000000000000000000000000a076a8d87eed6adca3c63380b51c2bd9 (mem: 1060.21 MiB) 15:16:03 oink prover on each incomplete key (mem: 1060.21 MiB) 15:16:03 perturbator round (mem: 1060.21 MiB) 15:16:03 combiner quotient round (mem: 1060.21 MiB) 15:16:03 folded (mem: 1060.21 MiB) 15:16:03 constructed folding proof (mem: 1060.21 MiB) 15:16:03 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1060.21 MiB) 15:16:03 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a076a8d87eed6adca3c63380b51c2bd9 (mem: 1060.21 MiB) 15:16:03 ClientIVC: accumulating private_kernel_inner (mem: 1060.21 MiB) 15:16:03 Constructing DeciderProvingKey (mem: 1060.21 MiB) 15:16:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 1060.21 MiB) 15:16:03 goblin ecc op : 792/1024 (mem: 1060.21 MiB) 15:16:03 busread : 4184/6000 (mem: 1060.21 MiB) 15:16:03 lookups : 2/15000 (mem: 1060.21 MiB) 15:16:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1060.21 MiB) 15:16:03 arithmetic : 44918/56000 (mem: 1060.21 MiB) 15:16:03 delta range : 5025/18000 (mem: 1060.21 MiB) 15:16:03 elliptic : 340/6000 (mem: 1060.21 MiB) 15:16:03 auxiliary : 1399/26000 (mem: 1060.21 MiB) 15:16:03 poseidon ext : 6542/17000 (mem: 1060.21 MiB) 15:16:03 poseidon int : 37280/92000 (mem: 1060.21 MiB) 15:16:03 overflow : 0/0 (mem: 1060.21 MiB) 15:16:03 (mem: 1060.21 MiB) 15:16:03 Total structured size: 242025 (mem: 1060.21 MiB) 15:16:03 allocating polynomials object in proving key... (mem: 1060.21 MiB) 15:16:03 populating trace... (mem: 1060.21 MiB) 15:16:03 time to construct proving key: 49 ms. (mem: 1060.21 MiB) 15:16:03 getting honk vk... precomputed?: 0x64ce30bc2580 (mem: 1060.21 MiB) 15:16:03 computing folding proof (mem: 1060.21 MiB) 15:16:03 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1060.21 MiB) 15:16:04 oink prover on each incomplete key (mem: 1060.21 MiB) 15:16:04 perturbator round (mem: 1060.21 MiB) 15:16:04 combiner quotient round (mem: 1060.21 MiB) 15:16:04 folded (mem: 1060.21 MiB) 15:16:04 constructed folding proof (mem: 1060.21 MiB) 15:16:04 ClientIVC: accumulating Token:transfer_to_public_and_prepare_private_balance_increase (mem: 1060.21 MiB) 15:16:04 Constructing DeciderProvingKey (mem: 1060.21 MiB) 15:16:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1060.21 MiB) 15:16:04 goblin ecc op : 4/1024 (mem: 1060.21 MiB) 15:16:04 busread : 742/6000 (mem: 1060.21 MiB) 15:16:04 lookups : 18706/15000 (mem: 1060.21 MiB) 15:16:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1060.21 MiB) 15:16:04 arithmetic : 59038/56000 (mem: 1060.21 MiB) 15:16:04 delta range : 6787/18000 (mem: 1060.21 MiB) 15:16:04 elliptic : 6474/6000 (mem: 1060.21 MiB) 15:16:04 auxiliary : 24908/26000 (mem: 1060.21 MiB) 15:16:04 poseidon ext : 2882/17000 (mem: 1060.21 MiB) 15:16:04 poseidon int : 16418/92000 (mem: 1060.21 MiB) 15:16:04 overflow : 0/0 (mem: 1060.21 MiB) 15:16:04 (mem: 1060.21 MiB) 15:16:04 Total structured size: 242025 (mem: 1060.21 MiB) 15:16:04 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1060.21 MiB) 15:16:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1060.21 MiB) 15:16:04 goblin ecc op : 4/1024 (mem: 1060.21 MiB) 15:16:04 busread : 742/6000 (mem: 1060.21 MiB) 15:16:04 lookups : 15000/15000 (mem: 1060.21 MiB) 15:16:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1060.21 MiB) 15:16:04 arithmetic : 56000/56000 (mem: 1060.21 MiB) 15:16:04 delta range : 6787/18000 (mem: 1060.21 MiB) 15:16:04 elliptic : 6000/6000 (mem: 1060.21 MiB) 15:16:04 auxiliary : 24908/26000 (mem: 1060.21 MiB) 15:16:04 poseidon ext : 2882/17000 (mem: 1060.21 MiB) 15:16:04 poseidon int : 16418/92000 (mem: 1060.21 MiB) 15:16:04 overflow : 7221/7221 (mem: 1060.21 MiB) 15:16:04 (mem: 1060.21 MiB) 15:16:04 Total structured size: 249246 (mem: 1060.21 MiB) 15:16:04 allocating polynomials object in proving key... (mem: 1060.21 MiB) 15:16:04 populating trace... (mem: 1212.50 MiB) 15:16:05 time to construct proving key: 109 ms. (mem: 1212.50 MiB) 15:16:05 getting honk vk... precomputed?: 0x64ce2f0b9680 (mem: 1212.50 MiB) 15:16:05 computing folding proof (mem: 1212.50 MiB) 15:16:05 vkey hash in Oink prover: 0x0000000000000000000000000000000076747042c2a4bbf1862e6220ceeeae89 (mem: 1212.50 MiB) 15:16:05 oink prover on each incomplete key (mem: 1220.50 MiB) 15:16:05 perturbator round (mem: 1234.50 MiB) 15:16:06 combiner quotient round (mem: 1266.50 MiB) 15:16:06 folded (mem: 1266.50 MiB) 15:16:06 constructed folding proof (mem: 1266.50 MiB) 15:16:06 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1266.50 MiB) 15:16:06 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000076747042c2a4bbf1862e6220ceeeae89 (mem: 1266.50 MiB) 15:16:06 ClientIVC: accumulating private_kernel_inner (mem: 1266.50 MiB) 15:16:06 Constructing DeciderProvingKey (mem: 1266.50 MiB) 15:16:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 1266.50 MiB) 15:16:06 goblin ecc op : 792/1024 (mem: 1266.50 MiB) 15:16:06 busread : 4184/6000 (mem: 1266.50 MiB) 15:16:06 lookups : 2/15000 (mem: 1266.50 MiB) 15:16:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1266.50 MiB) 15:16:06 arithmetic : 44918/56000 (mem: 1266.50 MiB) 15:16:06 delta range : 5025/18000 (mem: 1266.50 MiB) 15:16:06 elliptic : 340/6000 (mem: 1266.50 MiB) 15:16:06 auxiliary : 1399/26000 (mem: 1266.50 MiB) 15:16:06 poseidon ext : 6542/17000 (mem: 1266.50 MiB) 15:16:06 poseidon int : 37280/92000 (mem: 1266.50 MiB) 15:16:06 overflow : 0/0 (mem: 1266.50 MiB) 15:16:06 (mem: 1266.50 MiB) 15:16:06 Total structured size: 242025 (mem: 1266.50 MiB) 15:16:06 allocating polynomials object in proving key... (mem: 1266.50 MiB) 15:16:06 populating trace... (mem: 1266.50 MiB) 15:16:06 time to construct proving key: 45 ms. (mem: 1266.50 MiB) 15:16:06 getting honk vk... precomputed?: 0x64ce2d087300 (mem: 1266.50 MiB) 15:16:06 computing folding proof (mem: 1266.50 MiB) 15:16:06 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1266.50 MiB) 15:16:06 oink prover on each incomplete key (mem: 1266.50 MiB) 15:16:06 perturbator round (mem: 1266.50 MiB) 15:16:07 combiner quotient round (mem: 1266.50 MiB) 15:16:07 folded (mem: 1266.50 MiB) 15:16:07 constructed folding proof (mem: 1266.50 MiB) 15:16:07 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 1266.50 MiB) 15:16:07 Constructing DeciderProvingKey (mem: 1266.50 MiB) 15:16:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1266.50 MiB) 15:16:07 goblin ecc op : 4/1024 (mem: 1266.50 MiB) 15:16:07 busread : 742/6000 (mem: 1266.50 MiB) 15:16:07 lookups : 2898/15000 (mem: 1266.50 MiB) 15:16:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1266.50 MiB) 15:16:07 arithmetic : 37549/56000 (mem: 1266.50 MiB) 15:16:07 delta range : 17062/18000 (mem: 1266.50 MiB) 15:16:07 elliptic : 2/6000 (mem: 1266.50 MiB) 15:16:07 auxiliary : 21404/26000 (mem: 1266.50 MiB) 15:16:07 poseidon ext : 82/17000 (mem: 1266.50 MiB) 15:16:07 poseidon int : 458/92000 (mem: 1266.50 MiB) 15:16:07 overflow : 0/0 (mem: 1266.50 MiB) 15:16:07 (mem: 1266.50 MiB) 15:16:07 Total structured size: 242025 (mem: 1266.50 MiB) 15:16:07 allocating polynomials object in proving key... (mem: 1266.50 MiB) 15:16:07 populating trace... (mem: 1266.50 MiB) 15:16:07 time to construct proving key: 73 ms. (mem: 1266.50 MiB) 15:16:07 getting honk vk... precomputed?: 0x64ce2c415a40 (mem: 1266.50 MiB) 15:16:07 computing folding proof (mem: 1266.50 MiB) 15:16:07 vkey hash in Oink prover: 0x00000000000000000000000000000000a076a8d87eed6adca3c63380b51c2bd9 (mem: 1266.50 MiB) 15:16:07 oink prover on each incomplete key (mem: 1266.50 MiB) 15:16:07 perturbator round (mem: 1266.50 MiB) 15:16:08 combiner quotient round (mem: 1266.50 MiB) 15:16:08 folded (mem: 1266.50 MiB) 15:16:08 constructed folding proof (mem: 1266.50 MiB) 15:16:08 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1266.50 MiB) 15:16:08 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a076a8d87eed6adca3c63380b51c2bd9 (mem: 1266.50 MiB) 15:16:08 ClientIVC: accumulating private_kernel_inner (mem: 1266.50 MiB) 15:16:08 Constructing DeciderProvingKey (mem: 1266.50 MiB) 15:16:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 1266.50 MiB) 15:16:08 goblin ecc op : 792/1024 (mem: 1266.50 MiB) 15:16:08 busread : 4184/6000 (mem: 1266.50 MiB) 15:16:08 lookups : 2/15000 (mem: 1266.50 MiB) 15:16:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1266.50 MiB) 15:16:08 arithmetic : 44918/56000 (mem: 1266.50 MiB) 15:16:08 delta range : 5025/18000 (mem: 1266.50 MiB) 15:16:08 elliptic : 340/6000 (mem: 1266.50 MiB) 15:16:08 auxiliary : 1399/26000 (mem: 1266.50 MiB) 15:16:08 poseidon ext : 6542/17000 (mem: 1266.50 MiB) 15:16:08 poseidon int : 37280/92000 (mem: 1266.50 MiB) 15:16:08 overflow : 0/0 (mem: 1266.50 MiB) 15:16:08 (mem: 1266.50 MiB) 15:16:08 Total structured size: 242025 (mem: 1266.50 MiB) 15:16:08 allocating polynomials object in proving key... (mem: 1266.50 MiB) 15:16:08 populating trace... (mem: 1266.50 MiB) 15:16:08 time to construct proving key: 47 ms. (mem: 1266.50 MiB) 15:16:08 getting honk vk... precomputed?: 0x64ce2b449bc0 (mem: 1266.50 MiB) 15:16:08 computing folding proof (mem: 1266.50 MiB) 15:16:08 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1266.50 MiB) 15:16:08 oink prover on each incomplete key (mem: 1266.50 MiB) 15:16:09 perturbator round (mem: 1266.50 MiB) 15:16:09 combiner quotient round (mem: 1266.50 MiB) 15:16:09 folded (mem: 1266.50 MiB) 15:16:09 constructed folding proof (mem: 1266.50 MiB) 15:16:09 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 1266.50 MiB) 15:16:09 Constructing DeciderProvingKey (mem: 1266.50 MiB) 15:16:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 1266.50 MiB) 15:16:09 goblin ecc op : 4/1024 (mem: 1266.50 MiB) 15:16:09 busread : 742/6000 (mem: 1266.50 MiB) 15:16:09 lookups : 9354/15000 (mem: 1266.50 MiB) 15:16:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1266.50 MiB) 15:16:09 arithmetic : 13664/56000 (mem: 1266.50 MiB) 15:16:09 delta range : 2307/18000 (mem: 1266.50 MiB) 15:16:09 elliptic : 670/6000 (mem: 1266.50 MiB) 15:16:09 auxiliary : 543/26000 (mem: 1266.50 MiB) 15:16:09 poseidon ext : 62/17000 (mem: 1266.50 MiB) 15:16:09 poseidon int : 344/92000 (mem: 1266.50 MiB) 15:16:09 overflow : 0/0 (mem: 1266.50 MiB) 15:16:09 (mem: 1266.50 MiB) 15:16:09 Total structured size: 242025 (mem: 1266.50 MiB) 15:16:09 allocating polynomials object in proving key... (mem: 1266.50 MiB) 15:16:09 populating trace... (mem: 1266.50 MiB) 15:16:09 time to construct proving key: 32 ms. (mem: 1266.50 MiB) 15:16:09 getting honk vk... precomputed?: 0x64ce30869680 (mem: 1266.50 MiB) 15:16:09 computing folding proof (mem: 1266.50 MiB) 15:16:09 vkey hash in Oink prover: 0x00000000000000000000000000000000f24676fa7a639e8967a319560ad630a0 (mem: 1266.50 MiB) 15:16:09 oink prover on each incomplete key (mem: 1266.50 MiB) 15:16:09 perturbator round (mem: 1266.50 MiB) 15:16:10 combiner quotient round (mem: 1266.50 MiB) 15:16:10 folded (mem: 1266.50 MiB) 15:16:10 constructed folding proof (mem: 1266.50 MiB) 15:16:10 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1266.50 MiB) 15:16:10 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f24676fa7a639e8967a319560ad630a0 (mem: 1266.50 MiB) 15:16:10 ClientIVC: accumulating private_kernel_inner (mem: 1266.50 MiB) 15:16:10 Constructing DeciderProvingKey (mem: 1266.50 MiB) 15:16:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 1266.50 MiB) 15:16:10 goblin ecc op : 792/1024 (mem: 1266.50 MiB) 15:16:10 busread : 4184/6000 (mem: 1266.50 MiB) 15:16:10 lookups : 2/15000 (mem: 1266.50 MiB) 15:16:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1266.50 MiB) 15:16:10 arithmetic : 44918/56000 (mem: 1266.50 MiB) 15:16:10 delta range : 5025/18000 (mem: 1266.50 MiB) 15:16:10 elliptic : 340/6000 (mem: 1266.50 MiB) 15:16:10 auxiliary : 1399/26000 (mem: 1266.50 MiB) 15:16:10 poseidon ext : 6542/17000 (mem: 1266.50 MiB) 15:16:10 poseidon int : 37280/92000 (mem: 1266.50 MiB) 15:16:10 overflow : 0/0 (mem: 1266.50 MiB) 15:16:10 (mem: 1266.50 MiB) 15:16:10 Total structured size: 242025 (mem: 1266.50 MiB) 15:16:10 allocating polynomials object in proving key... (mem: 1266.50 MiB) 15:16:10 populating trace... (mem: 1266.50 MiB) 15:16:10 time to construct proving key: 45 ms. (mem: 1266.50 MiB) 15:16:10 getting honk vk... precomputed?: 0x64ce2f7dcf00 (mem: 1266.50 MiB) 15:16:10 computing folding proof (mem: 1266.50 MiB) 15:16:10 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1266.50 MiB) 15:16:10 oink prover on each incomplete key (mem: 1266.50 MiB) 15:16:11 perturbator round (mem: 1266.50 MiB) 15:16:11 combiner quotient round (mem: 1266.50 MiB) 15:16:11 folded (mem: 1266.50 MiB) 15:16:11 constructed folding proof (mem: 1266.50 MiB) 15:16:11 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 1266.50 MiB) 15:16:11 ClientIVC: accumulating private_kernel_reset (mem: 1266.50 MiB) 15:16:11 Constructing DeciderProvingKey (mem: 1266.50 MiB) 15:16:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1266.50 MiB) 15:16:11 goblin ecc op : 392/1024 (mem: 1266.50 MiB) 15:16:11 busread : 2719/6000 (mem: 1266.50 MiB) 15:16:11 lookups : 2/15000 (mem: 1266.50 MiB) 15:16:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1266.50 MiB) 15:16:11 arithmetic : 61900/56000 (mem: 1266.50 MiB) 15:16:11 delta range : 4897/18000 (mem: 1266.50 MiB) 15:16:11 elliptic : 1274/6000 (mem: 1266.50 MiB) 15:16:11 auxiliary : 17130/26000 (mem: 1266.50 MiB) 15:16:11 poseidon ext : 17262/17000 (mem: 1266.50 MiB) 15:16:11 poseidon int : 98384/92000 (mem: 1266.50 MiB) 15:16:11 overflow : 0/0 (mem: 1266.50 MiB) 15:16:11 (mem: 1266.50 MiB) 15:16:11 Total structured size: 242025 (mem: 1266.50 MiB) 15:16:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1266.50 MiB) 15:16:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1266.50 MiB) 15:16:11 goblin ecc op : 392/1024 (mem: 1266.50 MiB) 15:16:11 busread : 2719/6000 (mem: 1266.50 MiB) 15:16:11 lookups : 2/15000 (mem: 1266.50 MiB) 15:16:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1266.50 MiB) 15:16:11 arithmetic : 56000/56000 (mem: 1266.50 MiB) 15:16:11 delta range : 4897/18000 (mem: 1266.50 MiB) 15:16:11 elliptic : 1274/6000 (mem: 1266.50 MiB) 15:16:11 auxiliary : 17130/26000 (mem: 1266.50 MiB) 15:16:11 poseidon ext : 17000/17000 (mem: 1266.50 MiB) 15:16:11 poseidon int : 92000/92000 (mem: 1266.50 MiB) 15:16:11 overflow : 12549/12549 (mem: 1266.50 MiB) 15:16:11 (mem: 1266.50 MiB) 15:16:11 Total structured size: 254574 (mem: 1266.50 MiB) 15:16:11 allocating polynomials object in proving key... (mem: 1266.50 MiB) 15:16:11 populating trace... (mem: 1273.84 MiB) 15:16:11 time to construct proving key: 107 ms. (mem: 1287.84 MiB) 15:16:11 getting honk vk... precomputed?: 0x64ce34564b40 (mem: 1287.84 MiB) 15:16:11 computing folding proof (mem: 1287.84 MiB) 15:16:11 vkey hash in Oink prover: 0x00000000000000000000000000000000dafe917e888a1bf2094f6490764194f6 (mem: 1287.84 MiB) 15:16:12 oink prover on each incomplete key (mem: 1289.84 MiB) 15:16:12 perturbator round (mem: 1289.84 MiB) 15:16:12 combiner quotient round (mem: 1321.84 MiB) 15:16:13 folded (mem: 1321.84 MiB) 15:16:13 constructed folding proof (mem: 1321.84 MiB) 15:16:13 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000dafe917e888a1bf2094f6490764194f6 (mem: 1321.84 MiB) 15:16:13 ClientIVC: accumulating private_kernel_tail (mem: 1321.84 MiB) 15:16:13 Constructing DeciderProvingKey (mem: 1321.84 MiB) 15:16:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 1321.84 MiB) 15:16:13 goblin ecc op : 392/1024 (mem: 1321.84 MiB) 15:16:13 busread : 231/6000 (mem: 1321.84 MiB) 15:16:13 lookups : 2/15000 (mem: 1321.84 MiB) 15:16:13 pub inputs : 1859/5000 (populated in decider pk constructor) (mem: 1321.84 MiB) 15:16:13 arithmetic : 32886/56000 (mem: 1321.84 MiB) 15:16:13 delta range : 4411/18000 (mem: 1321.84 MiB) 15:16:13 elliptic : 2/6000 (mem: 1321.84 MiB) 15:16:13 auxiliary : 11868/26000 (mem: 1321.84 MiB) 15:16:13 poseidon ext : 2982/17000 (mem: 1321.84 MiB) 15:16:13 poseidon int : 16988/92000 (mem: 1321.84 MiB) 15:16:13 overflow : 0/0 (mem: 1321.84 MiB) 15:16:13 (mem: 1321.84 MiB) 15:16:13 Total structured size: 242025 (mem: 1321.84 MiB) 15:16:13 allocating polynomials object in proving key... (mem: 1321.84 MiB) 15:16:13 populating trace... (mem: 1321.84 MiB) 15:16:13 time to construct proving key: 41 ms. (mem: 1321.84 MiB) 15:16:13 getting honk vk... precomputed?: 0x64ce2d42d340 (mem: 1321.84 MiB) 15:16:13 computing folding proof (mem: 1321.84 MiB) 15:16:13 vkey hash in Oink prover: 0x000000000000000000000000000000007b5461b8ea2d0a193b3cc5c82ff90e7a (mem: 1321.84 MiB) 15:16:13 oink prover on each incomplete key (mem: 1321.84 MiB) 15:16:13 perturbator round (mem: 1321.84 MiB) 15:16:14 combiner quotient round (mem: 1321.84 MiB) 15:16:14 folded (mem: 1321.84 MiB) 15:16:14 constructed folding proof (mem: 1321.84 MiB) 15:16:14 Largest circuit: 203568 gates. Trace details: (mem: 1321.84 MiB) 15:16:14 Minimum required block sizes for structured trace: (mem: 1321.84 MiB) 15:16:14 ecc_op : 792 15:16:14 busread : 4184 15:16:14 lookup : 15000 15:16:14 pub_inputs : 1859 15:16:14 arithmetic : 56000 15:16:14 delta_range : 17451 15:16:14 elliptic : 6000 15:16:14 aux : 25394 15:16:14 poseidon2_external : 17000 15:16:14 poseidon2_internal : 92000 15:16:14 overflow : 12549 15:16:14 (mem: 1321.84 MiB) 15:16:14 prove decider... (mem: 1321.84 MiB) 15:16:14 starting sumcheck rounds... (mem: 1321.84 MiB) 15:16:14 completed 18 rounds of sumcheck (mem: 1321.84 MiB) 15:16:15 executed multivariate-to-univariate reduction (mem: 1321.84 MiB) 15:16:15 computed opening proof (mem: 1321.84 MiB) 15:16:15 finished decider proving. (mem: 1321.84 MiB) 15:16:15 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007b5461b8ea2d0a193b3cc5c82ff90e7a (mem: 1321.84 MiB) 15:16:15 Constructing DeciderProvingKey (mem: 1321.84 MiB) 15:16:15 allocating polynomials object in proving key... (mem: 1321.84 MiB) 15:16:15 populating trace... (mem: 1321.84 MiB) 15:16:15 time to construct proving key: 51 ms. (mem: 1321.84 MiB) 15:16:16 vkey hash in Oink prover: 0x000000000000000000000000000000005c8a4e75ab3d4ac0ef682b0d38b0dd9f (mem: 1321.84 MiB) 15:16:16 created oink proof (mem: 1321.84 MiB) 15:16:16 starting sumcheck rounds... (mem: 1321.84 MiB) 15:16:16 completed 17 rounds of sumcheck (mem: 1321.84 MiB) 15:16:17 executed multivariate-to-univariate reduction (mem: 1321.84 MiB) 15:16:17 computed opening proof (mem: 1321.84 MiB) 15:16:17 finished decider proving. (mem: 1321.84 MiB) 15:16:17 Constructing a Goblin proof with num ultra ops = 7002 (mem: 1321.84 MiB) 15:16:17 prove eccvm... (mem: 1321.84 MiB) 15:16:17 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1321.84 MiB) 15:16:17 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1321.84 MiB) 15:16:18 starting sumcheck rounds... (mem: 1321.84 MiB) 15:16:20 completed 16 rounds of sumcheck (mem: 1321.84 MiB) 15:16:21 finished eccvm proving. (mem: 1321.84 MiB) 15:16:21 prove translator... (mem: 1321.84 MiB) 15:16:21 starting sumcheck rounds... (mem: 1321.84 MiB) 15:16:23 completed 18 rounds of sumcheck (mem: 1321.84 MiB) 15:16:24 computed opening proof (mem: 1321.84 MiB) 15:16:24 finished translator proving. (mem: 1321.84 MiB) 15:16:24 vkey hash in Oink verifier: 0x000000000000000000000000000000005c8a4e75ab3d4ac0ef682b0d38b0dd9f (mem: 1321.84 MiB) 15:16:24 sumcheck_verified: 1 (mem: 1321.84 MiB) 15:16:24 libra_evals_verified: 1 (mem: 1321.84 MiB) 15:16:24 pairing_check_verified: 1 (mem: 1321.84 MiB) 15:16:24 Mega verified: 1 (mem: 1321.84 MiB) 15:16:24 eccvm sumcheck verified?: 1 (mem: 1321.84 MiB) 15:16:24 batch opening verified?: 1 (mem: 1321.84 MiB) 15:16:24 eccvm consistency check verified?: 1 (mem: 1321.84 MiB) 15:16:24 translation masking consistency checked?: 1 (mem: 1321.84 MiB) 15:16:24 merge verified?: 1 (mem: 1321.84 MiB) 15:16:24 eccvm verified?: 1 (mem: 1321.84 MiB) 15:16:24 accumulator construction_verified?: 1 (mem: 1321.84 MiB) 15:16:24 translation verified?: 1 (mem: 1321.84 MiB) 15:16:24 consistency verified?: 1 (mem: 1321.84 MiB) 15:16:24 Goblin verified: 1 (mem: 1321.84 MiB) 15:16:24 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/native" (mem: 1321.84 MiB) 15:16:24 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (native) has proven in 30s and peak memory of 1321MB. 15:16:24 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (native) has verified.