Parent Log:
http://ci.aztec-labs.com/c0f0cbfddb81e75b
Command: 26102936e69ab88b: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/b1b65bcdbd44a49fbebe5d2265256dc9466e92be
Env: REF_NAME=gh-readonly-queue/master/pr-15044-267ac35e8ccb487bdc79bbe12d428f4c8b4d4d9f CURRENT_VERSION=0.87.8 CI_FULL=1
Date: Fri Jun 13 16:37:41 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15044_amd64_x2-full
Resources: CPU_LIST=24,25,26,27,28,29,30,31 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fd4737cff4b070c8_master
16:37:41
--- bb ivc flow bench ---
16:37:41 bb command: prove (mem: 7.00 MiB)
16:37:41 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB)
16:37:41 --scheme: client_ivc (mem: 7.00 MiB)
16:37:41 --output_path: bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/native (mem: 7.00 MiB)
16:37:41 --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: 7.00 MiB)
16:37:41 --verbose: true (mem: 7.00 MiB)
16:37:42 BN254 commitment key size: 262144 (mem: 301.14 MiB)
16:37:42 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 365.38 MiB)
16:37:43 Initialized BN254 CRS from memory with num points = 262209 (mem: 413.38 MiB)
16:37:43 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 417.38 MiB)
16:37:43 Constructing DeciderProvingKey (mem: 417.38 MiB)
16:37:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 429.38 MiB)
16:37:43 goblin ecc op : 4/1024 (mem: 429.38 MiB)
16:37:43 busread : 743/6000 (mem: 429.38 MiB)
16:37:43 lookups : 2898/15000 (mem: 429.38 MiB)
16:37:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 429.38 MiB)
16:37:43 arithmetic : 39564/56000 (mem: 429.38 MiB)
16:37:43 delta range : 17435/18000 (mem: 429.38 MiB)
16:37:43 elliptic : 2/6000 (mem: 429.38 MiB)
16:37:43 auxiliary : 25394/26000 (mem: 429.38 MiB)
16:37:43 poseidon ext : 322/17000 (mem: 429.38 MiB)
16:37:43 poseidon int : 1826/92000 (mem: 429.38 MiB)
16:37:43 overflow : 0/0 (mem: 429.38 MiB)
16:37:43 (mem: 429.38 MiB)
16:37:43 Total structured size: 242025 (mem: 429.38 MiB)
16:37:43 allocating polynomials object in proving key... (mem: 429.38 MiB)
16:37:43 populating trace... (mem: 645.38 MiB)
16:37:43 time to construct proving key: 87 ms. (mem: 667.38 MiB)
16:37:43 getting honk vk... precomputed?: 0x5b14cfa67740 (mem: 667.38 MiB)
16:37:43 computing oink proof... (mem: 667.38 MiB)
16:37:43 oink proof constructed (mem: 669.38 MiB)
16:37:43 ClientIVC: accumulating private_kernel_init (mem: 670.38 MiB)
16:37:43 Constructing DeciderProvingKey (mem: 670.38 MiB)
16:37:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 670.38 MiB)
16:37:43 goblin ecc op : 56/1024 (mem: 670.38 MiB)
16:37:43 busread : 2530/6000 (mem: 670.38 MiB)
16:37:43 lookups : 2/15000 (mem: 670.38 MiB)
16:37:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 670.38 MiB)
16:37:43 arithmetic : 21193/56000 (mem: 670.38 MiB)
16:37:43 delta range : 2974/18000 (mem: 670.38 MiB)
16:37:43 elliptic : 340/6000 (mem: 670.38 MiB)
16:37:43 auxiliary : 799/26000 (mem: 670.38 MiB)
16:37:43 poseidon ext : 2012/17000 (mem: 670.38 MiB)
16:37:43 poseidon int : 11459/92000 (mem: 670.38 MiB)
16:37:43 overflow : 0/0 (mem: 670.38 MiB)
16:37:43 (mem: 670.38 MiB)
16:37:43 Total structured size: 242025 (mem: 670.38 MiB)
16:37:43 allocating polynomials object in proving key... (mem: 670.38 MiB)
16:37:43 populating trace... (mem: 835.38 MiB)
16:37:43 time to construct proving key: 37 ms. (mem: 853.38 MiB)
16:37:43 getting honk vk... precomputed?: 0x5b14d08da840 (mem: 853.38 MiB)
16:37:43 computing folding proof (mem: 853.38 MiB)
16:37:43 oink prover on each incomplete key (mem: 853.38 MiB)
16:37:43 perturbator round (mem: 876.38 MiB)
16:37:44 combiner quotient round (mem: 908.38 MiB)
16:37:44 folded (mem: 908.38 MiB)
16:37:44 constructed folding proof (mem: 908.38 MiB)
16:37:44 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 908.38 MiB)
16:37:44 Constructing DeciderProvingKey (mem: 908.38 MiB)
16:37:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 908.38 MiB)
16:37:44 goblin ecc op : 4/1024 (mem: 908.38 MiB)
16:37:44 busread : 743/6000 (mem: 908.38 MiB)
16:37:44 lookups : 2/15000 (mem: 908.38 MiB)
16:37:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 908.38 MiB)
16:37:44 arithmetic : 3248/56000 (mem: 908.38 MiB)
16:37:44 delta range : 1767/18000 (mem: 908.38 MiB)
16:37:44 elliptic : 2/6000 (mem: 908.38 MiB)
16:37:44 auxiliary : 26/26000 (mem: 908.38 MiB)
16:37:44 poseidon ext : 2/17000 (mem: 908.38 MiB)
16:37:44 poseidon int : 2/92000 (mem: 908.38 MiB)
16:37:44 overflow : 0/0 (mem: 908.38 MiB)
16:37:44 (mem: 908.38 MiB)
16:37:44 Total structured size: 242025 (mem: 908.38 MiB)
16:37:44 allocating polynomials object in proving key... (mem: 908.38 MiB)
16:37:44 populating trace... (mem: 908.38 MiB)
16:37:44 time to construct proving key: 15 ms. (mem: 908.38 MiB)
16:37:44 getting honk vk... precomputed?: 0x5b14cfa1d100 (mem: 908.38 MiB)
16:37:44 computing folding proof (mem: 908.38 MiB)
16:37:44 oink prover on each incomplete key (mem: 908.38 MiB)
16:37:44 perturbator round (mem: 908.38 MiB)
16:37:44 combiner quotient round (mem: 909.20 MiB)
16:37:44 folded (mem: 909.20 MiB)
16:37:44 constructed folding proof (mem: 909.20 MiB)
16:37:44 ClientIVC: accumulating private_kernel_inner (mem: 909.20 MiB)
16:37:44 Constructing DeciderProvingKey (mem: 909.20 MiB)
16:37:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 909.20 MiB)
16:37:44 goblin ecc op : 792/1024 (mem: 909.20 MiB)
16:37:44 busread : 4185/6000 (mem: 909.20 MiB)
16:37:44 lookups : 2/15000 (mem: 909.20 MiB)
16:37:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 909.20 MiB)
16:37:44 arithmetic : 43917/56000 (mem: 909.20 MiB)
16:37:44 delta range : 4930/18000 (mem: 909.20 MiB)
16:37:44 elliptic : 340/6000 (mem: 909.20 MiB)
16:37:44 auxiliary : 1399/26000 (mem: 909.20 MiB)
16:37:44 poseidon ext : 5652/17000 (mem: 909.20 MiB)
16:37:44 poseidon int : 32207/92000 (mem: 909.20 MiB)
16:37:44 overflow : 0/0 (mem: 909.20 MiB)
16:37:44 (mem: 909.20 MiB)
16:37:44 Total structured size: 242025 (mem: 909.20 MiB)
16:37:44 allocating polynomials object in proving key... (mem: 909.20 MiB)
16:37:44 populating trace... (mem: 909.20 MiB)
16:37:44 time to construct proving key: 54 ms. (mem: 909.20 MiB)
16:37:44 getting honk vk... precomputed?: 0x5b14d0c75b40 (mem: 909.20 MiB)
16:37:44 computing folding proof (mem: 909.20 MiB)
16:37:45 oink prover on each incomplete key (mem: 909.20 MiB)
16:37:45 perturbator round (mem: 913.20 MiB)
16:37:45 combiner quotient round (mem: 945.20 MiB)
16:37:45 folded (mem: 945.20 MiB)
16:37:45 constructed folding proof (mem: 945.20 MiB)
16:37:45 ClientIVC: accumulating AMM:add_liquidity (mem: 945.20 MiB)
16:37:45 Constructing DeciderProvingKey (mem: 945.20 MiB)
16:37:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 945.20 MiB)
16:37:45 goblin ecc op : 4/1024 (mem: 945.20 MiB)
16:37:45 busread : 743/6000 (mem: 945.20 MiB)
16:37:45 lookups : 2/15000 (mem: 945.20 MiB)
16:37:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 945.20 MiB)
16:37:45 arithmetic : 4426/56000 (mem: 945.20 MiB)
16:37:45 delta range : 1921/18000 (mem: 945.20 MiB)
16:37:45 elliptic : 2/6000 (mem: 945.20 MiB)
16:37:45 auxiliary : 26/26000 (mem: 945.20 MiB)
16:37:45 poseidon ext : 572/17000 (mem: 945.20 MiB)
16:37:45 poseidon int : 3251/92000 (mem: 945.20 MiB)
16:37:45 overflow : 0/0 (mem: 945.20 MiB)
16:37:45 (mem: 945.20 MiB)
16:37:45 Total structured size: 242025 (mem: 945.20 MiB)
16:37:45 allocating polynomials object in proving key... (mem: 945.20 MiB)
16:37:45 populating trace... (mem: 945.20 MiB)
16:37:45 time to construct proving key: 17 ms. (mem: 945.20 MiB)
16:37:45 getting honk vk... precomputed?: 0x5b14d0c79d00 (mem: 945.20 MiB)
16:37:45 computing folding proof (mem: 945.20 MiB)
16:37:45 oink prover on each incomplete key (mem: 945.20 MiB)
16:37:45 perturbator round (mem: 945.20 MiB)
16:37:46 combiner quotient round (mem: 945.20 MiB)
16:37:46 folded (mem: 945.20 MiB)
16:37:46 constructed folding proof (mem: 945.20 MiB)
16:37:46 ClientIVC: accumulating private_kernel_inner (mem: 945.20 MiB)
16:37:46 Constructing DeciderProvingKey (mem: 945.20 MiB)
16:37:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 945.20 MiB)
16:37:46 goblin ecc op : 792/1024 (mem: 945.20 MiB)
16:37:46 busread : 4185/6000 (mem: 945.20 MiB)
16:37:46 lookups : 2/15000 (mem: 945.20 MiB)
16:37:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 945.20 MiB)
16:37:46 arithmetic : 43917/56000 (mem: 945.20 MiB)
16:37:46 delta range : 4930/18000 (mem: 945.20 MiB)
16:37:46 elliptic : 340/6000 (mem: 945.20 MiB)
16:37:46 auxiliary : 1399/26000 (mem: 945.20 MiB)
16:37:46 poseidon ext : 5652/17000 (mem: 945.20 MiB)
16:37:46 poseidon int : 32207/92000 (mem: 945.20 MiB)
16:37:46 overflow : 0/0 (mem: 945.20 MiB)
16:37:46 (mem: 945.20 MiB)
16:37:46 Total structured size: 242025 (mem: 945.20 MiB)
16:37:46 allocating polynomials object in proving key... (mem: 945.20 MiB)
16:37:46 populating trace... (mem: 945.20 MiB)
16:37:46 time to construct proving key: 46 ms. (mem: 945.20 MiB)
16:37:46 getting honk vk... precomputed?: 0x5b14ccc4d3c0 (mem: 945.20 MiB)
16:37:46 computing folding proof (mem: 945.20 MiB)
16:37:46 oink prover on each incomplete key (mem: 945.20 MiB)
16:37:46 perturbator round (mem: 945.20 MiB)
16:37:46 combiner quotient round (mem: 947.15 MiB)
16:37:47 folded (mem: 947.15 MiB)
16:37:47 constructed folding proof (mem: 947.15 MiB)
16:37:47 ClientIVC: accumulating Token:transfer_to_public (mem: 947.15 MiB)
16:37:47 Constructing DeciderProvingKey (mem: 947.15 MiB)
16:37:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 947.15 MiB)
16:37:47 goblin ecc op : 4/1024 (mem: 947.15 MiB)
16:37:47 busread : 743/6000 (mem: 947.15 MiB)
16:37:47 lookups : 9354/15000 (mem: 947.15 MiB)
16:37:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 947.15 MiB)
16:37:47 arithmetic : 48253/56000 (mem: 947.15 MiB)
16:37:47 delta range : 5962/18000 (mem: 947.15 MiB)
16:37:47 elliptic : 5806/6000 (mem: 947.15 MiB)
16:37:47 auxiliary : 20704/26000 (mem: 947.15 MiB)
16:37:47 poseidon ext : 2842/17000 (mem: 947.15 MiB)
16:37:47 poseidon int : 16190/92000 (mem: 947.15 MiB)
16:37:47 overflow : 0/0 (mem: 947.15 MiB)
16:37:47 (mem: 947.15 MiB)
16:37:47 Total structured size: 242025 (mem: 947.15 MiB)
16:37:47 allocating polynomials object in proving key... (mem: 947.15 MiB)
16:37:47 populating trace... (mem: 947.15 MiB)
16:37:47 time to construct proving key: 69 ms. (mem: 947.15 MiB)
16:37:47 getting honk vk... precomputed?: 0x5b14d1594780 (mem: 947.15 MiB)
16:37:47 computing folding proof (mem: 947.15 MiB)
16:37:47 oink prover on each incomplete key (mem: 947.15 MiB)
16:37:47 perturbator round (mem: 948.40 MiB)
16:37:47 combiner quotient round (mem: 980.40 MiB)
16:37:48 folded (mem: 980.40 MiB)
16:37:48 constructed folding proof (mem: 980.40 MiB)
16:37:48 ClientIVC: accumulating private_kernel_inner (mem: 980.40 MiB)
16:37:48 Constructing DeciderProvingKey (mem: 980.40 MiB)
16:37:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 980.40 MiB)
16:37:48 goblin ecc op : 792/1024 (mem: 980.40 MiB)
16:37:48 busread : 4185/6000 (mem: 980.40 MiB)
16:37:48 lookups : 2/15000 (mem: 980.40 MiB)
16:37:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 980.40 MiB)
16:37:48 arithmetic : 43917/56000 (mem: 980.40 MiB)
16:37:48 delta range : 4930/18000 (mem: 980.40 MiB)
16:37:48 elliptic : 340/6000 (mem: 980.40 MiB)
16:37:48 auxiliary : 1399/26000 (mem: 980.40 MiB)
16:37:48 poseidon ext : 5652/17000 (mem: 980.40 MiB)
16:37:48 poseidon int : 32207/92000 (mem: 980.40 MiB)
16:37:48 overflow : 0/0 (mem: 980.40 MiB)
16:37:48 (mem: 980.40 MiB)
16:37:48 Total structured size: 242025 (mem: 980.40 MiB)
16:37:48 allocating polynomials object in proving key... (mem: 980.40 MiB)
16:37:48 populating trace... (mem: 980.40 MiB)
16:37:48 time to construct proving key: 43 ms. (mem: 980.40 MiB)
16:37:48 getting honk vk... precomputed?: 0x5b14d441c340 (mem: 980.40 MiB)
16:37:48 computing folding proof (mem: 980.40 MiB)
16:37:48 oink prover on each incomplete key (mem: 980.40 MiB)
16:37:48 perturbator round (mem: 980.40 MiB)
16:37:48 combiner quotient round (mem: 980.97 MiB)
16:37:49 folded (mem: 980.97 MiB)
16:37:49 constructed folding proof (mem: 980.97 MiB)
16:37:49 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 980.97 MiB)
16:37:49 Constructing DeciderProvingKey (mem: 980.97 MiB)
16:37:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 980.97 MiB)
16:37:49 goblin ecc op : 4/1024 (mem: 980.97 MiB)
16:37:49 busread : 743/6000 (mem: 980.97 MiB)
16:37:49 lookups : 2898/15000 (mem: 980.97 MiB)
16:37:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 980.97 MiB)
16:37:49 arithmetic : 37521/56000 (mem: 980.97 MiB)
16:37:49 delta range : 17045/18000 (mem: 980.97 MiB)
16:37:49 elliptic : 2/6000 (mem: 980.97 MiB)
16:37:49 auxiliary : 21404/26000 (mem: 980.97 MiB)
16:37:49 poseidon ext : 82/17000 (mem: 980.97 MiB)
16:37:49 poseidon int : 458/92000 (mem: 980.97 MiB)
16:37:49 overflow : 0/0 (mem: 980.97 MiB)
16:37:49 (mem: 980.97 MiB)
16:37:49 Total structured size: 242025 (mem: 980.97 MiB)
16:37:49 allocating polynomials object in proving key... (mem: 980.97 MiB)
16:37:49 populating trace... (mem: 980.97 MiB)
16:37:49 time to construct proving key: 62 ms. (mem: 980.97 MiB)
16:37:49 getting honk vk... precomputed?: 0x5b14cc9eb340 (mem: 980.97 MiB)
16:37:49 computing folding proof (mem: 980.97 MiB)
16:37:49 oink prover on each incomplete key (mem: 980.97 MiB)
16:37:49 perturbator round (mem: 980.97 MiB)
16:37:49 combiner quotient round (mem: 981.26 MiB)
16:37:49 folded (mem: 981.26 MiB)
16:37:49 constructed folding proof (mem: 981.26 MiB)
16:37:50 ClientIVC: accumulating private_kernel_inner (mem: 981.26 MiB)
16:37:50 Constructing DeciderProvingKey (mem: 981.26 MiB)
16:37:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 981.26 MiB)
16:37:50 goblin ecc op : 792/1024 (mem: 981.26 MiB)
16:37:50 busread : 4185/6000 (mem: 981.26 MiB)
16:37:50 lookups : 2/15000 (mem: 981.26 MiB)
16:37:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 981.26 MiB)
16:37:50 arithmetic : 43917/56000 (mem: 981.26 MiB)
16:37:50 delta range : 4930/18000 (mem: 981.26 MiB)
16:37:50 elliptic : 340/6000 (mem: 981.26 MiB)
16:37:50 auxiliary : 1399/26000 (mem: 981.26 MiB)
16:37:50 poseidon ext : 5652/17000 (mem: 981.26 MiB)
16:37:50 poseidon int : 32207/92000 (mem: 981.26 MiB)
16:37:50 overflow : 0/0 (mem: 981.26 MiB)
16:37:50 (mem: 981.26 MiB)
16:37:50 Total structured size: 242025 (mem: 981.26 MiB)
16:37:50 allocating polynomials object in proving key... (mem: 981.26 MiB)
16:37:50 populating trace... (mem: 981.26 MiB)
16:37:50 time to construct proving key: 42 ms. (mem: 981.26 MiB)
16:37:50 getting honk vk... precomputed?: 0x5b14d3eb6100 (mem: 981.26 MiB)
16:37:50 computing folding proof (mem: 981.26 MiB)
16:37:50 oink prover on each incomplete key (mem: 981.26 MiB)
16:37:50 perturbator round (mem: 981.26 MiB)
16:37:50 combiner quotient round (mem: 981.33 MiB)
16:37:50 folded (mem: 981.33 MiB)
16:37:50 constructed folding proof (mem: 981.33 MiB)
16:37:51 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 981.33 MiB)
16:37:51 Constructing DeciderProvingKey (mem: 981.33 MiB)
16:37:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 981.33 MiB)
16:37:51 goblin ecc op : 4/1024 (mem: 981.33 MiB)
16:37:51 busread : 743/6000 (mem: 981.33 MiB)
16:37:51 lookups : 9354/15000 (mem: 981.33 MiB)
16:37:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 981.33 MiB)
16:37:51 arithmetic : 13534/56000 (mem: 981.33 MiB)
16:37:51 delta range : 2262/18000 (mem: 981.33 MiB)
16:37:51 elliptic : 670/6000 (mem: 981.33 MiB)
16:37:51 auxiliary : 543/26000 (mem: 981.33 MiB)
16:37:51 poseidon ext : 62/17000 (mem: 981.33 MiB)
16:37:51 poseidon int : 344/92000 (mem: 981.33 MiB)
16:37:51 overflow : 0/0 (mem: 981.33 MiB)
16:37:51 (mem: 981.33 MiB)
16:37:51 Total structured size: 242025 (mem: 981.33 MiB)
16:37:51 allocating polynomials object in proving key... (mem: 981.33 MiB)
16:37:51 populating trace... (mem: 981.33 MiB)
16:37:51 time to construct proving key: 31 ms. (mem: 981.33 MiB)
16:37:51 getting honk vk... precomputed?: 0x5b14d3bea8c0 (mem: 981.33 MiB)
16:37:51 computing folding proof (mem: 981.33 MiB)
16:37:51 oink prover on each incomplete key (mem: 981.33 MiB)
16:37:51 perturbator round (mem: 981.33 MiB)
16:37:51 combiner quotient round (mem: 981.33 MiB)
16:37:51 folded (mem: 981.33 MiB)
16:37:51 constructed folding proof (mem: 981.33 MiB)
16:37:51 ClientIVC: accumulating private_kernel_inner (mem: 981.33 MiB)
16:37:51 Constructing DeciderProvingKey (mem: 981.33 MiB)
16:37:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 981.33 MiB)
16:37:51 goblin ecc op : 792/1024 (mem: 981.33 MiB)
16:37:51 busread : 4185/6000 (mem: 981.33 MiB)
16:37:51 lookups : 2/15000 (mem: 981.33 MiB)
16:37:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 981.33 MiB)
16:37:51 arithmetic : 43917/56000 (mem: 981.33 MiB)
16:37:51 delta range : 4930/18000 (mem: 981.33 MiB)
16:37:51 elliptic : 340/6000 (mem: 981.33 MiB)
16:37:51 auxiliary : 1399/26000 (mem: 981.33 MiB)
16:37:51 poseidon ext : 5652/17000 (mem: 981.33 MiB)
16:37:51 poseidon int : 32207/92000 (mem: 981.33 MiB)
16:37:51 overflow : 0/0 (mem: 981.33 MiB)
16:37:51 (mem: 981.33 MiB)
16:37:51 Total structured size: 242025 (mem: 981.33 MiB)
16:37:51 allocating polynomials object in proving key... (mem: 981.33 MiB)
16:37:51 populating trace... (mem: 981.33 MiB)
16:37:51 time to construct proving key: 43 ms. (mem: 981.33 MiB)
16:37:51 getting honk vk... precomputed?: 0x5b14ccf26280 (mem: 981.33 MiB)
16:37:51 computing folding proof (mem: 981.33 MiB)
16:37:52 oink prover on each incomplete key (mem: 981.33 MiB)
16:37:52 perturbator round (mem: 981.33 MiB)
16:37:52 combiner quotient round (mem: 983.33 MiB)
16:37:52 folded (mem: 983.33 MiB)
16:37:52 constructed folding proof (mem: 983.33 MiB)
16:37:52 ClientIVC: accumulating Token:transfer_to_public (mem: 983.33 MiB)
16:37:52 Constructing DeciderProvingKey (mem: 983.33 MiB)
16:37:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 983.33 MiB)
16:37:52 goblin ecc op : 4/1024 (mem: 983.33 MiB)
16:37:52 busread : 743/6000 (mem: 983.33 MiB)
16:37:52 lookups : 9354/15000 (mem: 983.33 MiB)
16:37:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 983.33 MiB)
16:37:52 arithmetic : 48253/56000 (mem: 983.33 MiB)
16:37:52 delta range : 5962/18000 (mem: 983.33 MiB)
16:37:52 elliptic : 5806/6000 (mem: 983.33 MiB)
16:37:52 auxiliary : 20704/26000 (mem: 983.33 MiB)
16:37:52 poseidon ext : 2842/17000 (mem: 983.33 MiB)
16:37:52 poseidon int : 16190/92000 (mem: 983.33 MiB)
16:37:52 overflow : 0/0 (mem: 983.33 MiB)
16:37:52 (mem: 983.33 MiB)
16:37:52 Total structured size: 242025 (mem: 983.33 MiB)
16:37:52 allocating polynomials object in proving key... (mem: 983.33 MiB)
16:37:52 populating trace... (mem: 983.33 MiB)
16:37:52 time to construct proving key: 70 ms. (mem: 983.33 MiB)
16:37:52 getting honk vk... precomputed?: 0x5b14cc9c8280 (mem: 983.33 MiB)
16:37:52 computing folding proof (mem: 983.33 MiB)
16:37:53 oink prover on each incomplete key (mem: 983.33 MiB)
16:37:53 perturbator round (mem: 983.33 MiB)
16:37:53 combiner quotient round (mem: 983.34 MiB)
16:37:53 folded (mem: 983.34 MiB)
16:37:53 constructed folding proof (mem: 983.34 MiB)
16:37:53 ClientIVC: accumulating private_kernel_inner (mem: 983.34 MiB)
16:37:53 Constructing DeciderProvingKey (mem: 983.34 MiB)
16:37:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 983.34 MiB)
16:37:53 goblin ecc op : 792/1024 (mem: 983.34 MiB)
16:37:53 busread : 4185/6000 (mem: 983.34 MiB)
16:37:53 lookups : 2/15000 (mem: 983.34 MiB)
16:37:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 983.34 MiB)
16:37:53 arithmetic : 43917/56000 (mem: 983.34 MiB)
16:37:53 delta range : 4930/18000 (mem: 983.34 MiB)
16:37:53 elliptic : 340/6000 (mem: 983.34 MiB)
16:37:53 auxiliary : 1399/26000 (mem: 983.34 MiB)
16:37:53 poseidon ext : 5652/17000 (mem: 983.34 MiB)
16:37:53 poseidon int : 32207/92000 (mem: 983.34 MiB)
16:37:53 overflow : 0/0 (mem: 983.34 MiB)
16:37:53 (mem: 983.34 MiB)
16:37:53 Total structured size: 242025 (mem: 983.34 MiB)
16:37:53 allocating polynomials object in proving key... (mem: 983.34 MiB)
16:37:53 populating trace... (mem: 983.34 MiB)
16:37:53 time to construct proving key: 44 ms. (mem: 983.34 MiB)
16:37:53 getting honk vk... precomputed?: 0x5b14cce9d4c0 (mem: 983.34 MiB)
16:37:53 computing folding proof (mem: 983.34 MiB)
16:37:54 oink prover on each incomplete key (mem: 983.34 MiB)
16:37:54 perturbator round (mem: 983.34 MiB)
16:37:54 combiner quotient round (mem: 984.10 MiB)
16:37:54 folded (mem: 984.10 MiB)
16:37:54 constructed folding proof (mem: 984.10 MiB)
16:37:54 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 984.10 MiB)
16:37:54 Constructing DeciderProvingKey (mem: 984.10 MiB)
16:37:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 984.10 MiB)
16:37:54 goblin ecc op : 4/1024 (mem: 984.10 MiB)
16:37:54 busread : 743/6000 (mem: 984.10 MiB)
16:37:54 lookups : 2898/15000 (mem: 984.10 MiB)
16:37:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 984.10 MiB)
16:37:54 arithmetic : 37521/56000 (mem: 984.10 MiB)
16:37:54 delta range : 17045/18000 (mem: 984.10 MiB)
16:37:54 elliptic : 2/6000 (mem: 984.10 MiB)
16:37:54 auxiliary : 21404/26000 (mem: 984.10 MiB)
16:37:54 poseidon ext : 82/17000 (mem: 984.10 MiB)
16:37:54 poseidon int : 458/92000 (mem: 984.10 MiB)
16:37:54 overflow : 0/0 (mem: 984.10 MiB)
16:37:54 (mem: 984.10 MiB)
16:37:54 Total structured size: 242025 (mem: 984.10 MiB)
16:37:54 allocating polynomials object in proving key... (mem: 984.10 MiB)
16:37:54 populating trace... (mem: 984.10 MiB)
16:37:54 time to construct proving key: 64 ms. (mem: 984.10 MiB)
16:37:54 getting honk vk... precomputed?: 0x5b14d3a01400 (mem: 984.10 MiB)
16:37:54 computing folding proof (mem: 984.10 MiB)
16:37:55 oink prover on each incomplete key (mem: 984.10 MiB)
16:37:55 perturbator round (mem: 984.10 MiB)
16:37:55 combiner quotient round (mem: 984.99 MiB)
16:37:55 folded (mem: 984.99 MiB)
16:37:55 constructed folding proof (mem: 984.99 MiB)
16:37:55 ClientIVC: accumulating private_kernel_inner (mem: 984.99 MiB)
16:37:55 Constructing DeciderProvingKey (mem: 984.99 MiB)
16:37:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 984.99 MiB)
16:37:55 goblin ecc op : 792/1024 (mem: 984.99 MiB)
16:37:55 busread : 4185/6000 (mem: 984.99 MiB)
16:37:55 lookups : 2/15000 (mem: 984.99 MiB)
16:37:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 984.99 MiB)
16:37:55 arithmetic : 43917/56000 (mem: 984.99 MiB)
16:37:55 delta range : 4930/18000 (mem: 984.99 MiB)
16:37:55 elliptic : 340/6000 (mem: 984.99 MiB)
16:37:55 auxiliary : 1399/26000 (mem: 984.99 MiB)
16:37:55 poseidon ext : 5652/17000 (mem: 984.99 MiB)
16:37:55 poseidon int : 32207/92000 (mem: 984.99 MiB)
16:37:55 overflow : 0/0 (mem: 984.99 MiB)
16:37:55 (mem: 984.99 MiB)
16:37:55 Total structured size: 242025 (mem: 984.99 MiB)
16:37:55 allocating polynomials object in proving key... (mem: 984.99 MiB)
16:37:55 populating trace... (mem: 984.99 MiB)
16:37:55 time to construct proving key: 41 ms. (mem: 984.99 MiB)
16:37:55 getting honk vk... precomputed?: 0x5b14d416df80 (mem: 984.99 MiB)
16:37:55 computing folding proof (mem: 984.99 MiB)
16:37:56 oink prover on each incomplete key (mem: 984.99 MiB)
16:37:56 perturbator round (mem: 984.99 MiB)
16:37:56 combiner quotient round (mem: 984.99 MiB)
16:37:56 folded (mem: 984.99 MiB)
16:37:56 constructed folding proof (mem: 984.99 MiB)
16:37:56 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 984.99 MiB)
16:37:56 Constructing DeciderProvingKey (mem: 984.99 MiB)
16:37:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 984.99 MiB)
16:37:56 goblin ecc op : 4/1024 (mem: 984.99 MiB)
16:37:56 busread : 743/6000 (mem: 984.99 MiB)
16:37:56 lookups : 9354/15000 (mem: 984.99 MiB)
16:37:56 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 984.99 MiB)
16:37:56 arithmetic : 13534/56000 (mem: 984.99 MiB)
16:37:56 delta range : 2262/18000 (mem: 984.99 MiB)
16:37:56 elliptic : 670/6000 (mem: 984.99 MiB)
16:37:56 auxiliary : 543/26000 (mem: 984.99 MiB)
16:37:56 poseidon ext : 62/17000 (mem: 984.99 MiB)
16:37:56 poseidon int : 344/92000 (mem: 984.99 MiB)
16:37:56 overflow : 0/0 (mem: 984.99 MiB)
16:37:56 (mem: 984.99 MiB)
16:37:56 Total structured size: 242025 (mem: 984.99 MiB)
16:37:56 allocating polynomials object in proving key... (mem: 984.99 MiB)
16:37:56 populating trace... (mem: 984.99 MiB)
16:37:56 time to construct proving key: 38 ms. (mem: 984.99 MiB)
16:37:56 getting honk vk... precomputed?: 0x5b14cde06640 (mem: 984.99 MiB)
16:37:56 computing folding proof (mem: 984.99 MiB)
16:37:57 oink prover on each incomplete key (mem: 984.99 MiB)
16:37:57 perturbator round (mem: 984.99 MiB)
16:37:57 combiner quotient round (mem: 984.99 MiB)
16:37:57 folded (mem: 984.99 MiB)
16:37:57 constructed folding proof (mem: 984.99 MiB)
16:37:57 ClientIVC: accumulating private_kernel_inner (mem: 984.99 MiB)
16:37:57 Constructing DeciderProvingKey (mem: 984.99 MiB)
16:37:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 984.99 MiB)
16:37:57 goblin ecc op : 792/1024 (mem: 984.99 MiB)
16:37:57 busread : 4185/6000 (mem: 984.99 MiB)
16:37:57 lookups : 2/15000 (mem: 984.99 MiB)
16:37:57 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 984.99 MiB)
16:37:57 arithmetic : 43917/56000 (mem: 984.99 MiB)
16:37:57 delta range : 4930/18000 (mem: 984.99 MiB)
16:37:57 elliptic : 340/6000 (mem: 984.99 MiB)
16:37:57 auxiliary : 1399/26000 (mem: 984.99 MiB)
16:37:57 poseidon ext : 5652/17000 (mem: 984.99 MiB)
16:37:57 poseidon int : 32207/92000 (mem: 984.99 MiB)
16:37:57 overflow : 0/0 (mem: 984.99 MiB)
16:37:57 (mem: 984.99 MiB)
16:37:57 Total structured size: 242025 (mem: 984.99 MiB)
16:37:57 allocating polynomials object in proving key... (mem: 984.99 MiB)
16:37:57 populating trace... (mem: 984.99 MiB)
16:37:57 time to construct proving key: 44 ms. (mem: 984.99 MiB)
16:37:57 getting honk vk... precomputed?: 0x5b14cfbcb980 (mem: 984.99 MiB)
16:37:57 computing folding proof (mem: 984.99 MiB)
16:37:58 oink prover on each incomplete key (mem: 984.99 MiB)
16:37:58 perturbator round (mem: 984.99 MiB)
16:37:58 combiner quotient round (mem: 985.38 MiB)
16:37:58 folded (mem: 985.38 MiB)
16:37:58 constructed folding proof (mem: 985.38 MiB)
16:37:58 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 985.38 MiB)
16:37:58 Constructing DeciderProvingKey (mem: 985.38 MiB)
16:37:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 985.38 MiB)
16:37:58 goblin ecc op : 4/1024 (mem: 985.38 MiB)
16:37:58 busread : 743/6000 (mem: 985.38 MiB)
16:37:58 lookups : 9354/15000 (mem: 985.38 MiB)
16:37:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 985.38 MiB)
16:37:58 arithmetic : 13534/56000 (mem: 985.38 MiB)
16:37:58 delta range : 2262/18000 (mem: 985.38 MiB)
16:37:58 elliptic : 670/6000 (mem: 985.38 MiB)
16:37:58 auxiliary : 543/26000 (mem: 985.38 MiB)
16:37:58 poseidon ext : 62/17000 (mem: 985.38 MiB)
16:37:58 poseidon int : 344/92000 (mem: 985.38 MiB)
16:37:58 overflow : 0/0 (mem: 985.38 MiB)
16:37:58 (mem: 985.38 MiB)
16:37:58 Total structured size: 242025 (mem: 985.38 MiB)
16:37:58 allocating polynomials object in proving key... (mem: 985.38 MiB)
16:37:58 populating trace... (mem: 985.38 MiB)
16:37:58 time to construct proving key: 31 ms. (mem: 985.38 MiB)
16:37:58 getting honk vk... precomputed?: 0x5b14ceb0a9c0 (mem: 985.38 MiB)
16:37:58 computing folding proof (mem: 985.38 MiB)
16:37:58 oink prover on each incomplete key (mem: 985.38 MiB)
16:37:58 perturbator round (mem: 985.38 MiB)
16:37:59 combiner quotient round (mem: 985.38 MiB)
16:37:59 folded (mem: 985.38 MiB)
16:37:59 constructed folding proof (mem: 985.38 MiB)
16:37:59 ClientIVC: accumulating private_kernel_inner (mem: 985.38 MiB)
16:37:59 Constructing DeciderProvingKey (mem: 985.38 MiB)
16:37:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 985.38 MiB)
16:37:59 goblin ecc op : 792/1024 (mem: 985.38 MiB)
16:37:59 busread : 4185/6000 (mem: 985.38 MiB)
16:37:59 lookups : 2/15000 (mem: 985.38 MiB)
16:37:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 985.38 MiB)
16:37:59 arithmetic : 43917/56000 (mem: 985.38 MiB)
16:37:59 delta range : 4930/18000 (mem: 985.38 MiB)
16:37:59 elliptic : 340/6000 (mem: 985.38 MiB)
16:37:59 auxiliary : 1399/26000 (mem: 985.38 MiB)
16:37:59 poseidon ext : 5652/17000 (mem: 985.38 MiB)
16:37:59 poseidon int : 32207/92000 (mem: 985.38 MiB)
16:37:59 overflow : 0/0 (mem: 985.38 MiB)
16:37:59 (mem: 985.38 MiB)
16:37:59 Total structured size: 242025 (mem: 985.38 MiB)
16:37:59 allocating polynomials object in proving key... (mem: 985.38 MiB)
16:37:59 populating trace... (mem: 985.38 MiB)
16:37:59 time to construct proving key: 43 ms. (mem: 985.38 MiB)
16:37:59 getting honk vk... precomputed?: 0x5b14cd3b3c40 (mem: 985.38 MiB)
16:37:59 computing folding proof (mem: 985.38 MiB)
16:37:59 oink prover on each incomplete key (mem: 985.38 MiB)
16:37:59 perturbator round (mem: 985.38 MiB)
16:38:00 combiner quotient round (mem: 985.38 MiB)
16:38:00 folded (mem: 985.38 MiB)
16:38:00 constructed folding proof (mem: 985.38 MiB)
16:38:00 ClientIVC: accumulating private_kernel_reset (mem: 985.38 MiB)
16:38:00 Constructing DeciderProvingKey (mem: 985.38 MiB)
16:38:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 985.38 MiB)
16:38:00 goblin ecc op : 392/1024 (mem: 985.38 MiB)
16:38:00 busread : 2744/6000 (mem: 985.38 MiB)
16:38:00 lookups : 2/15000 (mem: 985.38 MiB)
16:38:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 985.38 MiB)
16:38:00 arithmetic : 60461/56000 (mem: 985.38 MiB)
16:38:00 delta range : 4864/18000 (mem: 985.38 MiB)
16:38:00 elliptic : 1274/6000 (mem: 985.38 MiB)
16:38:00 auxiliary : 18808/26000 (mem: 985.38 MiB)
16:38:00 poseidon ext : 16812/17000 (mem: 985.38 MiB)
16:38:00 poseidon int : 95819/92000 (mem: 985.38 MiB)
16:38:00 overflow : 0/0 (mem: 985.38 MiB)
16:38:00 (mem: 985.38 MiB)
16:38:00 Total structured size: 242025 (mem: 985.38 MiB)
16:38:00 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 985.38 MiB)
16:38:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 985.38 MiB)
16:38:00 goblin ecc op : 392/1024 (mem: 985.38 MiB)
16:38:00 busread : 2744/6000 (mem: 985.38 MiB)
16:38:00 lookups : 2/15000 (mem: 985.38 MiB)
16:38:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 985.38 MiB)
16:38:00 arithmetic : 56000/56000 (mem: 985.38 MiB)
16:38:00 delta range : 4864/18000 (mem: 985.38 MiB)
16:38:00 elliptic : 1274/6000 (mem: 985.38 MiB)
16:38:00 auxiliary : 18808/26000 (mem: 985.38 MiB)
16:38:00 poseidon ext : 16812/17000 (mem: 985.38 MiB)
16:38:00 poseidon int : 92000/92000 (mem: 985.38 MiB)
16:38:00 overflow : 8282/8282 (mem: 985.38 MiB)
16:38:00 (mem: 985.38 MiB)
16:38:00 Total structured size: 250307 (mem: 985.38 MiB)
16:38:00 allocating polynomials object in proving key... (mem: 985.38 MiB)
16:38:00 populating trace... (mem: 1222.38 MiB)
16:38:00 time to construct proving key: 123 ms. (mem: 1236.38 MiB)
16:38:00 getting honk vk... precomputed?: 0x5b14d9a762c0 (mem: 1236.38 MiB)
16:38:00 computing folding proof (mem: 1236.38 MiB)
16:38:01 oink prover on each incomplete key (mem: 1238.38 MiB)
16:38:01 perturbator round (mem: 1242.38 MiB)
16:38:01 combiner quotient round (mem: 1274.38 MiB)
16:38:01 folded (mem: 1274.38 MiB)
16:38:01 constructed folding proof (mem: 1274.38 MiB)
16:38:01 ClientIVC: accumulating private_kernel_tail (mem: 1274.38 MiB)
16:38:01 Constructing DeciderProvingKey (mem: 1274.38 MiB)
16:38:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1274.38 MiB)
16:38:01 goblin ecc op : 392/1024 (mem: 1274.38 MiB)
16:38:01 busread : 222/6000 (mem: 1274.38 MiB)
16:38:01 lookups : 2/15000 (mem: 1274.38 MiB)
16:38:01 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: 1274.38 MiB)
16:38:01 arithmetic : 21298/56000 (mem: 1274.38 MiB)
16:38:01 delta range : 3622/18000 (mem: 1274.38 MiB)
16:38:01 elliptic : 2/6000 (mem: 1274.38 MiB)
16:38:01 auxiliary : 7134/26000 (mem: 1274.38 MiB)
16:38:01 poseidon ext : 2532/17000 (mem: 1274.38 MiB)
16:38:01 poseidon int : 14423/92000 (mem: 1274.38 MiB)
16:38:01 overflow : 0/0 (mem: 1274.38 MiB)
16:38:01 (mem: 1274.38 MiB)
16:38:01 Total structured size: 242025 (mem: 1274.38 MiB)
16:38:01 allocating polynomials object in proving key... (mem: 1274.38 MiB)
16:38:01 populating trace... (mem: 1274.38 MiB)
16:38:01 time to construct proving key: 33 ms. (mem: 1274.38 MiB)
16:38:02 getting honk vk... precomputed?: 0x5b14cd5ecb00 (mem: 1274.38 MiB)
16:38:02 computing folding proof (mem: 1274.38 MiB)
16:38:02 oink prover on each incomplete key (mem: 1274.38 MiB)
16:38:02 perturbator round (mem: 1274.38 MiB)
16:38:02 combiner quotient round (mem: 1274.38 MiB)
16:38:02 folded (mem: 1274.38 MiB)
16:38:02 constructed folding proof (mem: 1274.38 MiB)
16:38:02 Largest circuit: 200784 gates. Trace details: (mem: 1274.38 MiB)
16:38:02 Minimum required block sizes for structured trace: (mem: 1274.38 MiB)
16:38:02 ecc_op : 792
16:38:02 busread : 4185
16:38:02 lookup : 9354
16:38:02 pub_inputs : 1876
16:38:02 arithmetic : 56000
16:38:02 delta_range : 17435
16:38:02 elliptic : 5806
16:38:02 aux : 25394
16:38:02 poseidon2_external : 16812
16:38:02 poseidon2_internal : 92000
16:38:02 overflow : 8282
16:38:02 (mem: 1274.38 MiB)
16:38:02 prove decider... (mem: 1274.38 MiB)
16:38:02 finished decider proving. (mem: 1274.38 MiB)
16:38:03 starting sumcheck rounds... (mem: 1274.38 MiB)
16:38:03 completed 18 rounds of sumcheck (mem: 1274.38 MiB)
16:38:03 executed multivariate-to-univariate reduction (mem: 1274.38 MiB)
16:38:03 computed opening proof (mem: 1274.38 MiB)
16:38:04 Constructing DeciderProvingKey (mem: 1274.38 MiB)
16:38:04 allocating polynomials object in proving key... (mem: 1274.38 MiB)
16:38:04 populating trace... (mem: 1274.38 MiB)
16:38:04 time to construct proving key: 45 ms. (mem: 1274.38 MiB)
16:38:04 created oink proof (mem: 1274.38 MiB)
16:38:04 starting sumcheck rounds... (mem: 1274.38 MiB)
16:38:05 completed 17 rounds of sumcheck (mem: 1274.38 MiB)
16:38:05 executed multivariate-to-univariate reduction (mem: 1274.38 MiB)
16:38:05 computed opening proof (mem: 1274.38 MiB)
16:38:05 Constructing a Goblin proof with num ultra ops = 8594 (mem: 1274.38 MiB)
16:38:05 prove eccvm... (mem: 1274.38 MiB)
16:38:05 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1274.38 MiB)
16:38:05 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 1274.38 MiB)
16:38:08 starting sumcheck rounds... (mem: 1274.38 MiB)
16:38:09 completed 16 rounds of sumcheck (mem: 1274.38 MiB)
16:38:10 finished eccvm proving. (mem: 1274.38 MiB)
16:38:10 prove translator... (mem: 1274.38 MiB)
16:38:11 starting sumcheck rounds... (mem: 1274.38 MiB)
16:38:12 completed 18 rounds of sumcheck (mem: 1274.38 MiB)
16:38:12 computed opening proof (mem: 1274.38 MiB)
16:38:12 finished translator proving. (mem: 1274.38 MiB)
16:38:12 Mega verified: 1 (mem: 1274.38 MiB)
16:38:12 eccvm sumcheck verified?: 1 (mem: 1274.38 MiB)
16:38:12 batch opening verified?: 1 (mem: 1274.38 MiB)
16:38:12 eccvm consistency check verified?: 1 (mem: 1274.38 MiB)
16:38:12 translation masking consistency checked?: 1 (mem: 1274.38 MiB)
16:38:12 merge verified?: 1 (mem: 1274.38 MiB)
16:38:12 eccvm verified?: 1 (mem: 1274.38 MiB)
16:38:12 accumulator construction_verified?: 1 (mem: 1274.38 MiB)
16:38:12 translation verified?: 1 (mem: 1274.38 MiB)
16:38:12 consistency verified?: 1 (mem: 1274.38 MiB)
16:38:12 Goblin verified: 1 (mem: 1274.38 MiB)
16:38:12 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/native" (mem: 1274.38 MiB)
16:38:13 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (native) has proven in 31s and peak memory of 1274MB.
16:38:13 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (native) has verified.