ACI ·

Parent Log: http://ci.aztec-labs.com/dbf504403998428d Command: 97e7ef9a556fd7e6: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/a3ecf3ea26aad0390dd15cfadbb1d160e85e5f89 Env: REF_NAME=gh-readonly-queue/master/pr-15194-f3a077dd83e56ee0ae0a1175f0dc39fdfa50e6d7 CURRENT_VERSION=0.87.9 CI_FULL=1 Date: Tue Jun 24 17:36:43 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15194_amd64_x1-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 17:36:43 --- bb ivc flow bench --- 17:36:43 bb command: prove (mem: 7.00 MiB) 17:36:43 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 17:36:43 --scheme: client_ivc (mem: 7.00 MiB) 17:36:43 --output_path: bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/native (mem: 7.00 MiB) 17:36:43 --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) 17:36:43 --verbose: true (mem: 7.00 MiB) 17:36:45 BN254 commitment key size: 262144 (mem: 301.14 MiB) 17:36:45 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 352.99 MiB) 17:36:45 Initialized BN254 CRS from memory with num points = 262209 (mem: 403.99 MiB) 17:36:45 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 408.04 MiB) 17:36:45 Constructing DeciderProvingKey (mem: 408.04 MiB) 17:36:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 421.04 MiB) 17:36:45 goblin ecc op : 4/1024 (mem: 421.04 MiB) 17:36:45 busread : 743/6000 (mem: 421.04 MiB) 17:36:45 lookups : 2898/15000 (mem: 421.04 MiB) 17:36:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 421.04 MiB) 17:36:45 arithmetic : 39564/56000 (mem: 421.04 MiB) 17:36:45 delta range : 17435/18000 (mem: 421.04 MiB) 17:36:45 elliptic : 2/6000 (mem: 421.04 MiB) 17:36:45 auxiliary : 25394/26000 (mem: 421.04 MiB) 17:36:45 poseidon ext : 322/17000 (mem: 421.04 MiB) 17:36:45 poseidon int : 1826/92000 (mem: 421.04 MiB) 17:36:45 overflow : 0/0 (mem: 421.04 MiB) 17:36:45 (mem: 421.04 MiB) 17:36:45 Total structured size: 242025 (mem: 421.04 MiB) 17:36:45 allocating polynomials object in proving key... (mem: 421.04 MiB) 17:36:45 populating trace... (mem: 640.04 MiB) 17:36:45 time to construct proving key: 92 ms. (mem: 661.04 MiB) 17:36:45 getting honk vk... precomputed?: 0x5c6d093a8180 (mem: 661.04 MiB) 17:36:45 computing oink proof... (mem: 661.04 MiB) 17:36:45 oink proof constructed (mem: 663.04 MiB) 17:36:45 ClientIVC: accumulating private_kernel_init (mem: 666.04 MiB) 17:36:45 Constructing DeciderProvingKey (mem: 666.04 MiB) 17:36:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 666.04 MiB) 17:36:45 goblin ecc op : 56/1024 (mem: 666.04 MiB) 17:36:45 busread : 2530/6000 (mem: 666.04 MiB) 17:36:45 lookups : 2/15000 (mem: 666.04 MiB) 17:36:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 666.04 MiB) 17:36:45 arithmetic : 21193/56000 (mem: 666.04 MiB) 17:36:45 delta range : 2974/18000 (mem: 666.04 MiB) 17:36:45 elliptic : 340/6000 (mem: 666.04 MiB) 17:36:45 auxiliary : 799/26000 (mem: 666.04 MiB) 17:36:45 poseidon ext : 2012/17000 (mem: 666.04 MiB) 17:36:45 poseidon int : 11459/92000 (mem: 666.04 MiB) 17:36:45 overflow : 0/0 (mem: 666.04 MiB) 17:36:45 (mem: 666.04 MiB) 17:36:45 Total structured size: 242025 (mem: 666.04 MiB) 17:36:45 allocating polynomials object in proving key... (mem: 666.04 MiB) 17:36:45 populating trace... (mem: 842.04 MiB) 17:36:45 time to construct proving key: 40 ms. (mem: 856.04 MiB) 17:36:45 getting honk vk... precomputed?: 0x5c6d09370380 (mem: 856.04 MiB) 17:36:45 computing folding proof (mem: 856.04 MiB) 17:36:46 oink prover on each incomplete key (mem: 856.04 MiB) 17:36:46 perturbator round (mem: 879.04 MiB) 17:36:46 combiner quotient round (mem: 911.04 MiB) 17:36:46 folded (mem: 911.04 MiB) 17:36:46 constructed folding proof (mem: 911.04 MiB) 17:36:46 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 911.04 MiB) 17:36:46 Constructing DeciderProvingKey (mem: 911.04 MiB) 17:36:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 911.04 MiB) 17:36:46 goblin ecc op : 4/1024 (mem: 911.04 MiB) 17:36:46 busread : 743/6000 (mem: 911.04 MiB) 17:36:46 lookups : 2/15000 (mem: 911.04 MiB) 17:36:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 911.04 MiB) 17:36:46 arithmetic : 3248/56000 (mem: 911.04 MiB) 17:36:46 delta range : 1767/18000 (mem: 911.04 MiB) 17:36:46 elliptic : 2/6000 (mem: 911.04 MiB) 17:36:46 auxiliary : 26/26000 (mem: 911.04 MiB) 17:36:46 poseidon ext : 2/17000 (mem: 911.04 MiB) 17:36:46 poseidon int : 2/92000 (mem: 911.04 MiB) 17:36:46 overflow : 0/0 (mem: 911.04 MiB) 17:36:46 (mem: 911.04 MiB) 17:36:46 Total structured size: 242025 (mem: 911.04 MiB) 17:36:46 allocating polynomials object in proving key... (mem: 911.04 MiB) 17:36:46 populating trace... (mem: 911.04 MiB) 17:36:46 time to construct proving key: 15 ms. (mem: 911.04 MiB) 17:36:46 getting honk vk... precomputed?: 0x5c6d0793f100 (mem: 911.04 MiB) 17:36:46 computing folding proof (mem: 911.04 MiB) 17:36:46 oink prover on each incomplete key (mem: 911.04 MiB) 17:36:46 perturbator round (mem: 911.04 MiB) 17:36:46 combiner quotient round (mem: 914.15 MiB) 17:36:46 folded (mem: 914.15 MiB) 17:36:46 constructed folding proof (mem: 914.15 MiB) 17:36:47 ClientIVC: accumulating private_kernel_inner (mem: 914.15 MiB) 17:36:47 Constructing DeciderProvingKey (mem: 914.15 MiB) 17:36:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 914.15 MiB) 17:36:47 goblin ecc op : 792/1024 (mem: 914.15 MiB) 17:36:47 busread : 4185/6000 (mem: 914.15 MiB) 17:36:47 lookups : 2/15000 (mem: 914.15 MiB) 17:36:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 914.15 MiB) 17:36:47 arithmetic : 43917/56000 (mem: 914.15 MiB) 17:36:47 delta range : 4930/18000 (mem: 914.15 MiB) 17:36:47 elliptic : 340/6000 (mem: 914.15 MiB) 17:36:47 auxiliary : 1399/26000 (mem: 914.15 MiB) 17:36:47 poseidon ext : 5652/17000 (mem: 914.15 MiB) 17:36:47 poseidon int : 32207/92000 (mem: 914.15 MiB) 17:36:47 overflow : 0/0 (mem: 914.15 MiB) 17:36:47 (mem: 914.15 MiB) 17:36:47 Total structured size: 242025 (mem: 914.15 MiB) 17:36:47 allocating polynomials object in proving key... (mem: 914.15 MiB) 17:36:47 populating trace... (mem: 914.15 MiB) 17:36:47 time to construct proving key: 50 ms. (mem: 914.15 MiB) 17:36:47 getting honk vk... precomputed?: 0x5c6d0a5b3c00 (mem: 914.15 MiB) 17:36:47 computing folding proof (mem: 914.15 MiB) 17:36:47 oink prover on each incomplete key (mem: 914.15 MiB) 17:36:47 perturbator round (mem: 917.41 MiB) 17:36:47 combiner quotient round (mem: 949.41 MiB) 17:36:47 folded (mem: 949.41 MiB) 17:36:47 constructed folding proof (mem: 949.41 MiB) 17:36:47 ClientIVC: accumulating AMM:add_liquidity (mem: 949.41 MiB) 17:36:47 Constructing DeciderProvingKey (mem: 949.41 MiB) 17:36:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 949.41 MiB) 17:36:47 goblin ecc op : 4/1024 (mem: 949.41 MiB) 17:36:47 busread : 743/6000 (mem: 949.41 MiB) 17:36:47 lookups : 2/15000 (mem: 949.41 MiB) 17:36:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 949.41 MiB) 17:36:47 arithmetic : 4426/56000 (mem: 949.41 MiB) 17:36:47 delta range : 1921/18000 (mem: 949.41 MiB) 17:36:47 elliptic : 2/6000 (mem: 949.41 MiB) 17:36:47 auxiliary : 26/26000 (mem: 949.41 MiB) 17:36:47 poseidon ext : 572/17000 (mem: 949.41 MiB) 17:36:47 poseidon int : 3251/92000 (mem: 949.41 MiB) 17:36:47 overflow : 0/0 (mem: 949.41 MiB) 17:36:47 (mem: 949.41 MiB) 17:36:47 Total structured size: 242025 (mem: 949.41 MiB) 17:36:47 allocating polynomials object in proving key... (mem: 949.41 MiB) 17:36:47 populating trace... (mem: 949.41 MiB) 17:36:47 time to construct proving key: 17 ms. (mem: 949.41 MiB) 17:36:47 getting honk vk... precomputed?: 0x5c6d089e2880 (mem: 949.41 MiB) 17:36:47 computing folding proof (mem: 949.41 MiB) 17:36:48 oink prover on each incomplete key (mem: 949.41 MiB) 17:36:48 perturbator round (mem: 949.41 MiB) 17:36:48 combiner quotient round (mem: 949.41 MiB) 17:36:48 folded (mem: 949.41 MiB) 17:36:48 constructed folding proof (mem: 949.41 MiB) 17:36:48 ClientIVC: accumulating private_kernel_inner (mem: 949.41 MiB) 17:36:48 Constructing DeciderProvingKey (mem: 949.41 MiB) 17:36:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 949.41 MiB) 17:36:48 goblin ecc op : 792/1024 (mem: 949.41 MiB) 17:36:48 busread : 4185/6000 (mem: 949.41 MiB) 17:36:48 lookups : 2/15000 (mem: 949.41 MiB) 17:36:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 949.41 MiB) 17:36:48 arithmetic : 43917/56000 (mem: 949.41 MiB) 17:36:48 delta range : 4930/18000 (mem: 949.41 MiB) 17:36:48 elliptic : 340/6000 (mem: 949.41 MiB) 17:36:48 auxiliary : 1399/26000 (mem: 949.41 MiB) 17:36:48 poseidon ext : 5652/17000 (mem: 949.41 MiB) 17:36:48 poseidon int : 32207/92000 (mem: 949.41 MiB) 17:36:48 overflow : 0/0 (mem: 949.41 MiB) 17:36:48 (mem: 949.41 MiB) 17:36:48 Total structured size: 242025 (mem: 949.41 MiB) 17:36:48 allocating polynomials object in proving key... (mem: 949.41 MiB) 17:36:48 populating trace... (mem: 949.41 MiB) 17:36:48 time to construct proving key: 41 ms. (mem: 949.41 MiB) 17:36:48 getting honk vk... precomputed?: 0x5c6d09472a40 (mem: 949.41 MiB) 17:36:48 computing folding proof (mem: 949.41 MiB) 17:36:48 oink prover on each incomplete key (mem: 949.41 MiB) 17:36:49 perturbator round (mem: 949.41 MiB) 17:36:49 combiner quotient round (mem: 950.32 MiB) 17:36:49 folded (mem: 950.32 MiB) 17:36:49 constructed folding proof (mem: 950.32 MiB) 17:36:49 ClientIVC: accumulating Token:transfer_to_public (mem: 950.32 MiB) 17:36:49 Constructing DeciderProvingKey (mem: 950.32 MiB) 17:36:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 950.32 MiB) 17:36:49 goblin ecc op : 4/1024 (mem: 950.32 MiB) 17:36:49 busread : 743/6000 (mem: 950.32 MiB) 17:36:49 lookups : 9354/15000 (mem: 950.32 MiB) 17:36:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 950.32 MiB) 17:36:49 arithmetic : 48253/56000 (mem: 950.32 MiB) 17:36:49 delta range : 5962/18000 (mem: 950.32 MiB) 17:36:49 elliptic : 5806/6000 (mem: 950.32 MiB) 17:36:49 auxiliary : 20704/26000 (mem: 950.32 MiB) 17:36:49 poseidon ext : 2842/17000 (mem: 950.32 MiB) 17:36:49 poseidon int : 16190/92000 (mem: 950.32 MiB) 17:36:49 overflow : 0/0 (mem: 950.32 MiB) 17:36:49 (mem: 950.32 MiB) 17:36:49 Total structured size: 242025 (mem: 950.32 MiB) 17:36:49 allocating polynomials object in proving key... (mem: 950.32 MiB) 17:36:49 populating trace... (mem: 950.32 MiB) 17:36:49 time to construct proving key: 71 ms. (mem: 950.32 MiB) 17:36:49 getting honk vk... precomputed?: 0x5c6d09262bc0 (mem: 950.32 MiB) 17:36:49 computing folding proof (mem: 950.32 MiB) 17:36:49 oink prover on each incomplete key (mem: 950.32 MiB) 17:36:50 perturbator round (mem: 952.71 MiB) 17:36:50 combiner quotient round (mem: 984.71 MiB) 17:36:50 folded (mem: 984.71 MiB) 17:36:50 constructed folding proof (mem: 984.71 MiB) 17:36:50 ClientIVC: accumulating private_kernel_inner (mem: 984.71 MiB) 17:36:50 Constructing DeciderProvingKey (mem: 984.71 MiB) 17:36:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 984.71 MiB) 17:36:50 goblin ecc op : 792/1024 (mem: 984.71 MiB) 17:36:50 busread : 4185/6000 (mem: 984.71 MiB) 17:36:50 lookups : 2/15000 (mem: 984.71 MiB) 17:36:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 984.71 MiB) 17:36:50 arithmetic : 43917/56000 (mem: 984.71 MiB) 17:36:50 delta range : 4930/18000 (mem: 984.71 MiB) 17:36:50 elliptic : 340/6000 (mem: 984.71 MiB) 17:36:50 auxiliary : 1399/26000 (mem: 984.71 MiB) 17:36:50 poseidon ext : 5652/17000 (mem: 984.71 MiB) 17:36:50 poseidon int : 32207/92000 (mem: 984.71 MiB) 17:36:50 overflow : 0/0 (mem: 984.71 MiB) 17:36:50 (mem: 984.71 MiB) 17:36:50 Total structured size: 242025 (mem: 984.71 MiB) 17:36:50 allocating polynomials object in proving key... (mem: 984.71 MiB) 17:36:50 populating trace... (mem: 984.71 MiB) 17:36:50 time to construct proving key: 43 ms. (mem: 984.71 MiB) 17:36:50 getting honk vk... precomputed?: 0x5c6d0c0d1340 (mem: 984.71 MiB) 17:36:50 computing folding proof (mem: 984.71 MiB) 17:36:50 oink prover on each incomplete key (mem: 984.71 MiB) 17:36:51 perturbator round (mem: 984.71 MiB) 17:36:51 combiner quotient round (mem: 985.32 MiB) 17:36:51 folded (mem: 985.32 MiB) 17:36:51 constructed folding proof (mem: 985.32 MiB) 17:36:51 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 985.32 MiB) 17:36:51 Constructing DeciderProvingKey (mem: 985.32 MiB) 17:36:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 985.32 MiB) 17:36:51 goblin ecc op : 4/1024 (mem: 985.32 MiB) 17:36:51 busread : 743/6000 (mem: 985.32 MiB) 17:36:51 lookups : 2898/15000 (mem: 985.32 MiB) 17:36:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 985.32 MiB) 17:36:51 arithmetic : 37521/56000 (mem: 985.32 MiB) 17:36:51 delta range : 17045/18000 (mem: 985.32 MiB) 17:36:51 elliptic : 2/6000 (mem: 985.32 MiB) 17:36:51 auxiliary : 21404/26000 (mem: 985.32 MiB) 17:36:51 poseidon ext : 82/17000 (mem: 985.32 MiB) 17:36:51 poseidon int : 458/92000 (mem: 985.32 MiB) 17:36:51 overflow : 0/0 (mem: 985.32 MiB) 17:36:51 (mem: 985.32 MiB) 17:36:51 Total structured size: 242025 (mem: 985.32 MiB) 17:36:51 allocating polynomials object in proving key... (mem: 985.32 MiB) 17:36:51 populating trace... (mem: 985.32 MiB) 17:36:51 time to construct proving key: 61 ms. (mem: 985.32 MiB) 17:36:51 getting honk vk... precomputed?: 0x5c6d0acae440 (mem: 985.32 MiB) 17:36:51 computing folding proof (mem: 985.32 MiB) 17:36:51 oink prover on each incomplete key (mem: 985.32 MiB) 17:36:51 perturbator round (mem: 985.32 MiB) 17:36:52 combiner quotient round (mem: 985.34 MiB) 17:36:52 folded (mem: 985.34 MiB) 17:36:52 constructed folding proof (mem: 985.34 MiB) 17:36:52 ClientIVC: accumulating private_kernel_inner (mem: 985.34 MiB) 17:36:52 Constructing DeciderProvingKey (mem: 985.34 MiB) 17:36:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 985.34 MiB) 17:36:52 goblin ecc op : 792/1024 (mem: 985.34 MiB) 17:36:52 busread : 4185/6000 (mem: 985.34 MiB) 17:36:52 lookups : 2/15000 (mem: 985.34 MiB) 17:36:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 985.34 MiB) 17:36:52 arithmetic : 43917/56000 (mem: 985.34 MiB) 17:36:52 delta range : 4930/18000 (mem: 985.34 MiB) 17:36:52 elliptic : 340/6000 (mem: 985.34 MiB) 17:36:52 auxiliary : 1399/26000 (mem: 985.34 MiB) 17:36:52 poseidon ext : 5652/17000 (mem: 985.34 MiB) 17:36:52 poseidon int : 32207/92000 (mem: 985.34 MiB) 17:36:52 overflow : 0/0 (mem: 985.34 MiB) 17:36:52 (mem: 985.34 MiB) 17:36:52 Total structured size: 242025 (mem: 985.34 MiB) 17:36:52 allocating polynomials object in proving key... (mem: 985.34 MiB) 17:36:52 populating trace... (mem: 985.34 MiB) 17:36:52 time to construct proving key: 42 ms. (mem: 985.34 MiB) 17:36:52 getting honk vk... precomputed?: 0x5c6d0a2a1080 (mem: 985.34 MiB) 17:36:52 computing folding proof (mem: 985.34 MiB) 17:36:52 oink prover on each incomplete key (mem: 985.34 MiB) 17:36:53 perturbator round (mem: 985.34 MiB) 17:36:53 combiner quotient round (mem: 985.34 MiB) 17:36:53 folded (mem: 985.34 MiB) 17:36:53 constructed folding proof (mem: 985.34 MiB) 17:36:53 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 985.34 MiB) 17:36:53 Constructing DeciderProvingKey (mem: 985.34 MiB) 17:36:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 985.34 MiB) 17:36:53 goblin ecc op : 4/1024 (mem: 985.34 MiB) 17:36:53 busread : 743/6000 (mem: 985.34 MiB) 17:36:53 lookups : 9354/15000 (mem: 985.34 MiB) 17:36:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 985.34 MiB) 17:36:53 arithmetic : 13534/56000 (mem: 985.34 MiB) 17:36:53 delta range : 2262/18000 (mem: 985.34 MiB) 17:36:53 elliptic : 670/6000 (mem: 985.34 MiB) 17:36:53 auxiliary : 543/26000 (mem: 985.34 MiB) 17:36:53 poseidon ext : 62/17000 (mem: 985.34 MiB) 17:36:53 poseidon int : 344/92000 (mem: 985.34 MiB) 17:36:53 overflow : 0/0 (mem: 985.34 MiB) 17:36:53 (mem: 985.34 MiB) 17:36:53 Total structured size: 242025 (mem: 985.34 MiB) 17:36:53 allocating polynomials object in proving key... (mem: 985.34 MiB) 17:36:53 populating trace... (mem: 985.34 MiB) 17:36:53 time to construct proving key: 33 ms. (mem: 985.34 MiB) 17:36:53 getting honk vk... precomputed?: 0x5c6d0e69a300 (mem: 985.34 MiB) 17:36:53 computing folding proof (mem: 985.34 MiB) 17:36:53 oink prover on each incomplete key (mem: 985.34 MiB) 17:36:53 perturbator round (mem: 985.34 MiB) 17:36:54 combiner quotient round (mem: 985.34 MiB) 17:36:54 folded (mem: 985.34 MiB) 17:36:54 constructed folding proof (mem: 985.34 MiB) 17:36:54 ClientIVC: accumulating private_kernel_inner (mem: 985.34 MiB) 17:36:54 Constructing DeciderProvingKey (mem: 985.34 MiB) 17:36:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 985.34 MiB) 17:36:54 goblin ecc op : 792/1024 (mem: 985.34 MiB) 17:36:54 busread : 4185/6000 (mem: 985.34 MiB) 17:36:54 lookups : 2/15000 (mem: 985.34 MiB) 17:36:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 985.34 MiB) 17:36:54 arithmetic : 43917/56000 (mem: 985.34 MiB) 17:36:54 delta range : 4930/18000 (mem: 985.34 MiB) 17:36:54 elliptic : 340/6000 (mem: 985.34 MiB) 17:36:54 auxiliary : 1399/26000 (mem: 985.34 MiB) 17:36:54 poseidon ext : 5652/17000 (mem: 985.34 MiB) 17:36:54 poseidon int : 32207/92000 (mem: 985.34 MiB) 17:36:54 overflow : 0/0 (mem: 985.34 MiB) 17:36:54 (mem: 985.34 MiB) 17:36:54 Total structured size: 242025 (mem: 985.34 MiB) 17:36:54 allocating polynomials object in proving key... (mem: 985.34 MiB) 17:36:54 populating trace... (mem: 985.34 MiB) 17:36:54 time to construct proving key: 44 ms. (mem: 985.34 MiB) 17:36:54 getting honk vk... precomputed?: 0x5c6d0d7c8500 (mem: 985.34 MiB) 17:36:54 computing folding proof (mem: 985.34 MiB) 17:36:54 oink prover on each incomplete key (mem: 985.34 MiB) 17:36:54 perturbator round (mem: 985.34 MiB) 17:36:55 combiner quotient round (mem: 988.09 MiB) 17:36:55 folded (mem: 988.09 MiB) 17:36:55 constructed folding proof (mem: 988.09 MiB) 17:36:55 ClientIVC: accumulating Token:transfer_to_public (mem: 988.09 MiB) 17:36:55 Constructing DeciderProvingKey (mem: 988.09 MiB) 17:36:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 988.09 MiB) 17:36:55 goblin ecc op : 4/1024 (mem: 988.09 MiB) 17:36:55 busread : 743/6000 (mem: 988.09 MiB) 17:36:55 lookups : 9354/15000 (mem: 988.09 MiB) 17:36:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 988.09 MiB) 17:36:55 arithmetic : 48253/56000 (mem: 988.09 MiB) 17:36:55 delta range : 5962/18000 (mem: 988.09 MiB) 17:36:55 elliptic : 5806/6000 (mem: 988.09 MiB) 17:36:55 auxiliary : 20704/26000 (mem: 988.09 MiB) 17:36:55 poseidon ext : 2842/17000 (mem: 988.09 MiB) 17:36:55 poseidon int : 16190/92000 (mem: 988.09 MiB) 17:36:55 overflow : 0/0 (mem: 988.09 MiB) 17:36:55 (mem: 988.09 MiB) 17:36:55 Total structured size: 242025 (mem: 988.09 MiB) 17:36:55 allocating polynomials object in proving key... (mem: 988.09 MiB) 17:36:55 populating trace... (mem: 988.09 MiB) 17:36:55 time to construct proving key: 67 ms. (mem: 988.09 MiB) 17:36:55 getting honk vk... precomputed?: 0x5c6d0c9a5f80 (mem: 988.09 MiB) 17:36:55 computing folding proof (mem: 988.09 MiB) 17:36:55 oink prover on each incomplete key (mem: 988.09 MiB) 17:36:55 perturbator round (mem: 988.09 MiB) 17:36:56 combiner quotient round (mem: 991.23 MiB) 17:36:56 folded (mem: 991.23 MiB) 17:36:56 constructed folding proof (mem: 991.23 MiB) 17:36:56 ClientIVC: accumulating private_kernel_inner (mem: 991.23 MiB) 17:36:56 Constructing DeciderProvingKey (mem: 991.23 MiB) 17:36:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 991.23 MiB) 17:36:56 goblin ecc op : 792/1024 (mem: 991.23 MiB) 17:36:56 busread : 4185/6000 (mem: 991.23 MiB) 17:36:56 lookups : 2/15000 (mem: 991.23 MiB) 17:36:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 991.23 MiB) 17:36:56 arithmetic : 43917/56000 (mem: 991.23 MiB) 17:36:56 delta range : 4930/18000 (mem: 991.23 MiB) 17:36:56 elliptic : 340/6000 (mem: 991.23 MiB) 17:36:56 auxiliary : 1399/26000 (mem: 991.23 MiB) 17:36:56 poseidon ext : 5652/17000 (mem: 991.23 MiB) 17:36:56 poseidon int : 32207/92000 (mem: 991.23 MiB) 17:36:56 overflow : 0/0 (mem: 991.23 MiB) 17:36:56 (mem: 991.23 MiB) 17:36:56 Total structured size: 242025 (mem: 991.23 MiB) 17:36:56 allocating polynomials object in proving key... (mem: 991.23 MiB) 17:36:56 populating trace... (mem: 991.23 MiB) 17:36:56 time to construct proving key: 42 ms. (mem: 991.23 MiB) 17:36:56 getting honk vk... precomputed?: 0x5c6d1056d300 (mem: 991.23 MiB) 17:36:56 computing folding proof (mem: 991.23 MiB) 17:36:56 oink prover on each incomplete key (mem: 991.23 MiB) 17:36:56 perturbator round (mem: 991.23 MiB) 17:36:57 combiner quotient round (mem: 991.98 MiB) 17:36:57 folded (mem: 991.98 MiB) 17:36:57 constructed folding proof (mem: 991.98 MiB) 17:36:57 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 991.98 MiB) 17:36:57 Constructing DeciderProvingKey (mem: 991.98 MiB) 17:36:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 991.98 MiB) 17:36:57 goblin ecc op : 4/1024 (mem: 991.98 MiB) 17:36:57 busread : 743/6000 (mem: 991.98 MiB) 17:36:57 lookups : 2898/15000 (mem: 991.98 MiB) 17:36:57 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 991.98 MiB) 17:36:57 arithmetic : 37521/56000 (mem: 991.98 MiB) 17:36:57 delta range : 17045/18000 (mem: 991.98 MiB) 17:36:57 elliptic : 2/6000 (mem: 991.98 MiB) 17:36:57 auxiliary : 21404/26000 (mem: 991.98 MiB) 17:36:57 poseidon ext : 82/17000 (mem: 991.98 MiB) 17:36:57 poseidon int : 458/92000 (mem: 991.98 MiB) 17:36:57 overflow : 0/0 (mem: 991.98 MiB) 17:36:57 (mem: 991.98 MiB) 17:36:57 Total structured size: 242025 (mem: 991.98 MiB) 17:36:57 allocating polynomials object in proving key... (mem: 991.98 MiB) 17:36:57 populating trace... (mem: 991.98 MiB) 17:36:57 time to construct proving key: 61 ms. (mem: 991.98 MiB) 17:36:57 getting honk vk... precomputed?: 0x5c6d07fe8700 (mem: 991.98 MiB) 17:36:57 computing folding proof (mem: 991.98 MiB) 17:36:57 oink prover on each incomplete key (mem: 991.98 MiB) 17:36:57 perturbator round (mem: 991.98 MiB) 17:36:57 combiner quotient round (mem: 992.73 MiB) 17:36:58 folded (mem: 992.73 MiB) 17:36:58 constructed folding proof (mem: 992.73 MiB) 17:36:58 ClientIVC: accumulating private_kernel_inner (mem: 992.73 MiB) 17:36:58 Constructing DeciderProvingKey (mem: 992.73 MiB) 17:36:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 992.73 MiB) 17:36:58 goblin ecc op : 792/1024 (mem: 992.73 MiB) 17:36:58 busread : 4185/6000 (mem: 992.73 MiB) 17:36:58 lookups : 2/15000 (mem: 992.73 MiB) 17:36:58 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 992.73 MiB) 17:36:58 arithmetic : 43917/56000 (mem: 992.73 MiB) 17:36:58 delta range : 4930/18000 (mem: 992.73 MiB) 17:36:58 elliptic : 340/6000 (mem: 992.73 MiB) 17:36:58 auxiliary : 1399/26000 (mem: 992.73 MiB) 17:36:58 poseidon ext : 5652/17000 (mem: 992.73 MiB) 17:36:58 poseidon int : 32207/92000 (mem: 992.73 MiB) 17:36:58 overflow : 0/0 (mem: 992.73 MiB) 17:36:58 (mem: 992.73 MiB) 17:36:58 Total structured size: 242025 (mem: 992.73 MiB) 17:36:58 allocating polynomials object in proving key... (mem: 992.73 MiB) 17:36:58 populating trace... (mem: 992.73 MiB) 17:36:58 time to construct proving key: 50 ms. (mem: 992.73 MiB) 17:36:58 getting honk vk... precomputed?: 0x5c6d0d487700 (mem: 992.73 MiB) 17:36:58 computing folding proof (mem: 992.73 MiB) 17:36:58 oink prover on each incomplete key (mem: 992.73 MiB) 17:36:58 perturbator round (mem: 992.73 MiB) 17:36:58 combiner quotient round (mem: 992.73 MiB) 17:36:59 folded (mem: 992.73 MiB) 17:36:59 constructed folding proof (mem: 992.73 MiB) 17:36:59 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 992.73 MiB) 17:36:59 Constructing DeciderProvingKey (mem: 992.73 MiB) 17:36:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 992.73 MiB) 17:36:59 goblin ecc op : 4/1024 (mem: 992.73 MiB) 17:36:59 busread : 743/6000 (mem: 992.73 MiB) 17:36:59 lookups : 9354/15000 (mem: 992.73 MiB) 17:36:59 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 992.73 MiB) 17:36:59 arithmetic : 13534/56000 (mem: 992.73 MiB) 17:36:59 delta range : 2262/18000 (mem: 992.73 MiB) 17:36:59 elliptic : 670/6000 (mem: 992.73 MiB) 17:36:59 auxiliary : 543/26000 (mem: 992.73 MiB) 17:36:59 poseidon ext : 62/17000 (mem: 992.73 MiB) 17:36:59 poseidon int : 344/92000 (mem: 992.73 MiB) 17:36:59 overflow : 0/0 (mem: 992.73 MiB) 17:36:59 (mem: 992.73 MiB) 17:36:59 Total structured size: 242025 (mem: 992.73 MiB) 17:36:59 allocating polynomials object in proving key... (mem: 992.73 MiB) 17:36:59 populating trace... (mem: 992.73 MiB) 17:36:59 time to construct proving key: 32 ms. (mem: 992.73 MiB) 17:36:59 getting honk vk... precomputed?: 0x5c6d0848f2c0 (mem: 992.73 MiB) 17:36:59 computing folding proof (mem: 992.73 MiB) 17:36:59 oink prover on each incomplete key (mem: 992.73 MiB) 17:36:59 perturbator round (mem: 992.73 MiB) 17:36:59 combiner quotient round (mem: 992.73 MiB) 17:36:59 folded (mem: 992.73 MiB) 17:36:59 constructed folding proof (mem: 992.73 MiB) 17:36:59 ClientIVC: accumulating private_kernel_inner (mem: 992.73 MiB) 17:36:59 Constructing DeciderProvingKey (mem: 992.73 MiB) 17:36:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 992.73 MiB) 17:36:59 goblin ecc op : 792/1024 (mem: 992.73 MiB) 17:36:59 busread : 4185/6000 (mem: 992.73 MiB) 17:36:59 lookups : 2/15000 (mem: 992.73 MiB) 17:36:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 992.73 MiB) 17:36:59 arithmetic : 43917/56000 (mem: 992.73 MiB) 17:36:59 delta range : 4930/18000 (mem: 992.73 MiB) 17:36:59 elliptic : 340/6000 (mem: 992.73 MiB) 17:36:59 auxiliary : 1399/26000 (mem: 992.73 MiB) 17:36:59 poseidon ext : 5652/17000 (mem: 992.73 MiB) 17:36:59 poseidon int : 32207/92000 (mem: 992.73 MiB) 17:36:59 overflow : 0/0 (mem: 992.73 MiB) 17:36:59 (mem: 992.73 MiB) 17:36:59 Total structured size: 242025 (mem: 992.73 MiB) 17:36:59 allocating polynomials object in proving key... (mem: 992.73 MiB) 17:36:59 populating trace... (mem: 992.73 MiB) 17:37:00 time to construct proving key: 44 ms. (mem: 992.73 MiB) 17:37:00 getting honk vk... precomputed?: 0x5c6d07fe5f80 (mem: 992.73 MiB) 17:37:00 computing folding proof (mem: 992.73 MiB) 17:37:00 oink prover on each incomplete key (mem: 992.73 MiB) 17:37:00 perturbator round (mem: 992.73 MiB) 17:37:00 combiner quotient round (mem: 993.73 MiB) 17:37:00 folded (mem: 993.73 MiB) 17:37:00 constructed folding proof (mem: 993.73 MiB) 17:37:00 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 993.73 MiB) 17:37:00 Constructing DeciderProvingKey (mem: 993.73 MiB) 17:37:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 993.73 MiB) 17:37:00 goblin ecc op : 4/1024 (mem: 993.73 MiB) 17:37:00 busread : 743/6000 (mem: 993.73 MiB) 17:37:00 lookups : 9354/15000 (mem: 993.73 MiB) 17:37:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 993.73 MiB) 17:37:00 arithmetic : 13534/56000 (mem: 993.73 MiB) 17:37:00 delta range : 2262/18000 (mem: 993.73 MiB) 17:37:00 elliptic : 670/6000 (mem: 993.73 MiB) 17:37:00 auxiliary : 543/26000 (mem: 993.73 MiB) 17:37:00 poseidon ext : 62/17000 (mem: 993.73 MiB) 17:37:00 poseidon int : 344/92000 (mem: 993.73 MiB) 17:37:00 overflow : 0/0 (mem: 993.73 MiB) 17:37:00 (mem: 993.73 MiB) 17:37:00 Total structured size: 242025 (mem: 993.73 MiB) 17:37:00 allocating polynomials object in proving key... (mem: 993.73 MiB) 17:37:00 populating trace... (mem: 993.73 MiB) 17:37:00 time to construct proving key: 31 ms. (mem: 993.73 MiB) 17:37:00 getting honk vk... precomputed?: 0x5c6d0c262a80 (mem: 993.73 MiB) 17:37:00 computing folding proof (mem: 993.73 MiB) 17:37:01 oink prover on each incomplete key (mem: 993.73 MiB) 17:37:01 perturbator round (mem: 993.73 MiB) 17:37:01 combiner quotient round (mem: 993.73 MiB) 17:37:01 folded (mem: 993.73 MiB) 17:37:01 constructed folding proof (mem: 993.73 MiB) 17:37:01 ClientIVC: accumulating private_kernel_inner (mem: 993.73 MiB) 17:37:01 Constructing DeciderProvingKey (mem: 993.73 MiB) 17:37:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 993.73 MiB) 17:37:01 goblin ecc op : 792/1024 (mem: 993.73 MiB) 17:37:01 busread : 4185/6000 (mem: 993.73 MiB) 17:37:01 lookups : 2/15000 (mem: 993.73 MiB) 17:37:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 993.73 MiB) 17:37:01 arithmetic : 43917/56000 (mem: 993.73 MiB) 17:37:01 delta range : 4930/18000 (mem: 993.73 MiB) 17:37:01 elliptic : 340/6000 (mem: 993.73 MiB) 17:37:01 auxiliary : 1399/26000 (mem: 993.73 MiB) 17:37:01 poseidon ext : 5652/17000 (mem: 993.73 MiB) 17:37:01 poseidon int : 32207/92000 (mem: 993.73 MiB) 17:37:01 overflow : 0/0 (mem: 993.73 MiB) 17:37:01 (mem: 993.73 MiB) 17:37:01 Total structured size: 242025 (mem: 993.73 MiB) 17:37:01 allocating polynomials object in proving key... (mem: 993.73 MiB) 17:37:01 populating trace... (mem: 993.73 MiB) 17:37:01 time to construct proving key: 45 ms. (mem: 993.73 MiB) 17:37:01 getting honk vk... precomputed?: 0x5c6d0bc08240 (mem: 993.73 MiB) 17:37:01 computing folding proof (mem: 993.73 MiB) 17:37:02 oink prover on each incomplete key (mem: 993.73 MiB) 17:37:02 perturbator round (mem: 993.73 MiB) 17:37:02 combiner quotient round (mem: 993.92 MiB) 17:37:02 folded (mem: 993.92 MiB) 17:37:02 constructed folding proof (mem: 993.92 MiB) 17:37:02 ClientIVC: accumulating private_kernel_reset (mem: 993.92 MiB) 17:37:02 Constructing DeciderProvingKey (mem: 993.92 MiB) 17:37:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 993.92 MiB) 17:37:02 goblin ecc op : 392/1024 (mem: 993.92 MiB) 17:37:02 busread : 2744/6000 (mem: 993.92 MiB) 17:37:02 lookups : 2/15000 (mem: 993.92 MiB) 17:37:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 993.92 MiB) 17:37:02 arithmetic : 60461/56000 (mem: 993.92 MiB) 17:37:02 delta range : 4864/18000 (mem: 993.92 MiB) 17:37:02 elliptic : 1274/6000 (mem: 993.92 MiB) 17:37:02 auxiliary : 18808/26000 (mem: 993.92 MiB) 17:37:02 poseidon ext : 16812/17000 (mem: 993.92 MiB) 17:37:02 poseidon int : 95819/92000 (mem: 993.92 MiB) 17:37:02 overflow : 0/0 (mem: 993.92 MiB) 17:37:02 (mem: 993.92 MiB) 17:37:02 Total structured size: 242025 (mem: 993.92 MiB) 17:37:02 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 993.92 MiB) 17:37:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 993.92 MiB) 17:37:02 goblin ecc op : 392/1024 (mem: 993.92 MiB) 17:37:02 busread : 2744/6000 (mem: 993.92 MiB) 17:37:02 lookups : 2/15000 (mem: 993.92 MiB) 17:37:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 993.92 MiB) 17:37:02 arithmetic : 56000/56000 (mem: 993.92 MiB) 17:37:02 delta range : 4864/18000 (mem: 993.92 MiB) 17:37:02 elliptic : 1274/6000 (mem: 993.92 MiB) 17:37:02 auxiliary : 18808/26000 (mem: 993.92 MiB) 17:37:02 poseidon ext : 16812/17000 (mem: 993.92 MiB) 17:37:02 poseidon int : 92000/92000 (mem: 993.92 MiB) 17:37:02 overflow : 8282/8282 (mem: 993.92 MiB) 17:37:02 (mem: 993.92 MiB) 17:37:02 Total structured size: 250307 (mem: 993.92 MiB) 17:37:02 allocating polynomials object in proving key... (mem: 993.92 MiB) 17:37:02 populating trace... (mem: 1222.92 MiB) 17:37:02 time to construct proving key: 120 ms. (mem: 1241.92 MiB) 17:37:03 getting honk vk... precomputed?: 0x5c6d12acca80 (mem: 1241.92 MiB) 17:37:03 computing folding proof (mem: 1241.92 MiB) 17:37:03 oink prover on each incomplete key (mem: 1241.92 MiB) 17:37:03 perturbator round (mem: 1248.92 MiB) 17:37:04 combiner quotient round (mem: 1280.92 MiB) 17:37:04 folded (mem: 1280.92 MiB) 17:37:04 constructed folding proof (mem: 1280.92 MiB) 17:37:04 ClientIVC: accumulating private_kernel_tail (mem: 1280.92 MiB) 17:37:04 Constructing DeciderProvingKey (mem: 1280.92 MiB) 17:37:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1280.92 MiB) 17:37:04 goblin ecc op : 392/1024 (mem: 1280.92 MiB) 17:37:04 busread : 222/6000 (mem: 1280.92 MiB) 17:37:04 lookups : 2/15000 (mem: 1280.92 MiB) 17:37:04 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: 1280.92 MiB) 17:37:04 arithmetic : 21298/56000 (mem: 1280.92 MiB) 17:37:04 delta range : 3622/18000 (mem: 1280.92 MiB) 17:37:04 elliptic : 2/6000 (mem: 1280.92 MiB) 17:37:04 auxiliary : 7134/26000 (mem: 1280.92 MiB) 17:37:04 poseidon ext : 2532/17000 (mem: 1280.92 MiB) 17:37:04 poseidon int : 14423/92000 (mem: 1280.92 MiB) 17:37:04 overflow : 0/0 (mem: 1280.92 MiB) 17:37:04 (mem: 1280.92 MiB) 17:37:04 Total structured size: 242025 (mem: 1280.92 MiB) 17:37:04 allocating polynomials object in proving key... (mem: 1280.92 MiB) 17:37:04 populating trace... (mem: 1280.92 MiB) 17:37:04 time to construct proving key: 36 ms. (mem: 1280.92 MiB) 17:37:04 getting honk vk... precomputed?: 0x5c6d072babc0 (mem: 1280.92 MiB) 17:37:04 computing folding proof (mem: 1280.92 MiB) 17:37:04 oink prover on each incomplete key (mem: 1280.92 MiB) 17:37:04 perturbator round (mem: 1280.92 MiB) 17:37:05 combiner quotient round (mem: 1280.92 MiB) 17:37:05 folded (mem: 1280.92 MiB) 17:37:05 constructed folding proof (mem: 1280.92 MiB) 17:37:05 Largest circuit: 200784 gates. Trace details: (mem: 1280.92 MiB) 17:37:05 Minimum required block sizes for structured trace: (mem: 1280.92 MiB) 17:37:05 ecc_op : 792 17:37:05 busread : 4185 17:37:05 lookup : 9354 17:37:05 pub_inputs : 1876 17:37:05 arithmetic : 56000 17:37:05 delta_range : 17435 17:37:05 elliptic : 5806 17:37:05 aux : 25394 17:37:05 poseidon2_external : 16812 17:37:05 poseidon2_internal : 92000 17:37:05 overflow : 8282 17:37:05 (mem: 1280.92 MiB) 17:37:05 prove decider... (mem: 1280.92 MiB) 17:37:05 finished decider proving. (mem: 1280.92 MiB) 17:37:05 starting sumcheck rounds... (mem: 1280.92 MiB) 17:37:05 completed 18 rounds of sumcheck (mem: 1280.92 MiB) 17:37:06 executed multivariate-to-univariate reduction (mem: 1280.92 MiB) 17:37:06 computed opening proof (mem: 1280.92 MiB) 17:37:06 Constructing DeciderProvingKey (mem: 1280.92 MiB) 17:37:06 allocating polynomials object in proving key... (mem: 1280.92 MiB) 17:37:06 populating trace... (mem: 1280.92 MiB) 17:37:06 time to construct proving key: 51 ms. (mem: 1280.92 MiB) 17:37:07 created oink proof (mem: 1280.92 MiB) 17:37:07 starting sumcheck rounds... (mem: 1280.92 MiB) 17:37:07 completed 17 rounds of sumcheck (mem: 1280.92 MiB) 17:37:07 executed multivariate-to-univariate reduction (mem: 1280.92 MiB) 17:37:07 computed opening proof (mem: 1280.92 MiB) 17:37:07 Constructing a Goblin proof with num ultra ops = 8594 (mem: 1280.92 MiB) 17:37:07 prove eccvm... (mem: 1280.92 MiB) 17:37:08 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1280.92 MiB) 17:37:08 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 1280.92 MiB) 17:37:10 starting sumcheck rounds... (mem: 1280.92 MiB) 17:37:11 completed 16 rounds of sumcheck (mem: 1280.92 MiB) 17:37:12 finished eccvm proving. (mem: 1280.92 MiB) 17:37:12 prove translator... (mem: 1280.92 MiB) 17:37:13 starting sumcheck rounds... (mem: 1280.92 MiB) 17:37:14 completed 18 rounds of sumcheck (mem: 1280.92 MiB) 17:37:15 computed opening proof (mem: 1280.92 MiB) 17:37:15 finished translator proving. (mem: 1280.92 MiB) 17:37:15 Mega verified: 1 (mem: 1280.92 MiB) 17:37:15 eccvm sumcheck verified?: 1 (mem: 1280.92 MiB) 17:37:15 batch opening verified?: 1 (mem: 1280.92 MiB) 17:37:15 eccvm consistency check verified?: 1 (mem: 1280.92 MiB) 17:37:15 translation masking consistency checked?: 1 (mem: 1280.92 MiB) 17:37:15 merge verified?: 1 (mem: 1280.92 MiB) 17:37:15 eccvm verified?: 1 (mem: 1280.92 MiB) 17:37:15 accumulator construction_verified?: 1 (mem: 1280.92 MiB) 17:37:15 translation verified?: 1 (mem: 1280.92 MiB) 17:37:15 consistency verified?: 1 (mem: 1280.92 MiB) 17:37:15 Goblin verified: 1 (mem: 1280.92 MiB) 17:37:15 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/native" (mem: 1280.92 MiB) 17:37:15 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (native) has proven in 31s and peak memory of 1280MB. 17:37:15 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (native) has verified.