ACI ·

Parent Log: http://ci.aztec-labs.com/570fde875cb0ea37 Command: 3cad4e1fd0756a5c: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/e9a2301883801edbe36ea8bba05dcca7e714f30a Env: REF_NAME=gh-readonly-queue/master/pr-15131-464e1a9d9b40b5188586643b44bc52bffccbc3e6 CURRENT_VERSION=0.87.8 CI_FULL=1 Date: Wed Jun 18 13:05:46 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15131_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 13:05:46 --- bb ivc flow bench --- 13:05:46 bb command: prove (mem: 7.00 MiB) 13:05:46 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 13:05:46 --scheme: client_ivc (mem: 7.00 MiB) 13:05:46 --output_path: bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/native (mem: 7.00 MiB) 13:05:46 --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) 13:05:46 --verbose: true (mem: 7.00 MiB) 13:05:48 BN254 commitment key size: 262144 (mem: 301.14 MiB) 13:05:48 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 338.60 MiB) 13:05:48 Initialized BN254 CRS from memory with num points = 262209 (mem: 389.60 MiB) 13:05:48 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 395.65 MiB) 13:05:48 Constructing DeciderProvingKey (mem: 395.65 MiB) 13:05:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 408.65 MiB) 13:05:48 goblin ecc op : 4/1024 (mem: 408.65 MiB) 13:05:48 busread : 743/6000 (mem: 408.65 MiB) 13:05:48 lookups : 2898/15000 (mem: 408.65 MiB) 13:05:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 408.65 MiB) 13:05:48 arithmetic : 39564/56000 (mem: 408.65 MiB) 13:05:48 delta range : 17435/18000 (mem: 408.65 MiB) 13:05:48 elliptic : 2/6000 (mem: 408.65 MiB) 13:05:48 auxiliary : 25394/26000 (mem: 408.65 MiB) 13:05:48 poseidon ext : 322/17000 (mem: 408.65 MiB) 13:05:48 poseidon int : 1826/92000 (mem: 408.65 MiB) 13:05:48 overflow : 0/0 (mem: 408.65 MiB) 13:05:48 (mem: 408.65 MiB) 13:05:48 Total structured size: 242025 (mem: 408.65 MiB) 13:05:48 allocating polynomials object in proving key... (mem: 408.65 MiB) 13:05:48 populating trace... (mem: 629.65 MiB) 13:05:48 time to construct proving key: 86 ms. (mem: 646.65 MiB) 13:05:48 getting honk vk... precomputed?: 0x649880fd4ec0 (mem: 646.65 MiB) 13:05:48 computing oink proof... (mem: 646.65 MiB) 13:05:48 oink proof constructed (mem: 650.65 MiB) 13:05:48 ClientIVC: accumulating private_kernel_init (mem: 651.65 MiB) 13:05:48 Constructing DeciderProvingKey (mem: 651.65 MiB) 13:05:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 651.65 MiB) 13:05:48 goblin ecc op : 56/1024 (mem: 651.65 MiB) 13:05:48 busread : 2530/6000 (mem: 651.65 MiB) 13:05:48 lookups : 2/15000 (mem: 651.65 MiB) 13:05:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 651.65 MiB) 13:05:48 arithmetic : 21193/56000 (mem: 651.65 MiB) 13:05:48 delta range : 2974/18000 (mem: 651.65 MiB) 13:05:48 elliptic : 340/6000 (mem: 651.65 MiB) 13:05:48 auxiliary : 799/26000 (mem: 651.65 MiB) 13:05:48 poseidon ext : 2012/17000 (mem: 651.65 MiB) 13:05:48 poseidon int : 11459/92000 (mem: 651.65 MiB) 13:05:48 overflow : 0/0 (mem: 651.65 MiB) 13:05:48 (mem: 651.65 MiB) 13:05:48 Total structured size: 242025 (mem: 651.65 MiB) 13:05:48 allocating polynomials object in proving key... (mem: 651.65 MiB) 13:05:48 populating trace... (mem: 828.65 MiB) 13:05:48 time to construct proving key: 40 ms. (mem: 845.65 MiB) 13:05:48 getting honk vk... precomputed?: 0x649880f9f2c0 (mem: 845.65 MiB) 13:05:48 computing folding proof (mem: 845.65 MiB) 13:05:49 oink prover on each incomplete key (mem: 845.65 MiB) 13:05:49 perturbator round (mem: 867.65 MiB) 13:05:49 combiner quotient round (mem: 899.65 MiB) 13:05:49 folded (mem: 899.65 MiB) 13:05:49 constructed folding proof (mem: 899.65 MiB) 13:05:49 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 899.65 MiB) 13:05:49 Constructing DeciderProvingKey (mem: 899.65 MiB) 13:05:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 899.65 MiB) 13:05:49 goblin ecc op : 4/1024 (mem: 899.65 MiB) 13:05:49 busread : 743/6000 (mem: 899.65 MiB) 13:05:49 lookups : 2/15000 (mem: 899.65 MiB) 13:05:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 899.65 MiB) 13:05:49 arithmetic : 3248/56000 (mem: 899.65 MiB) 13:05:49 delta range : 1767/18000 (mem: 899.65 MiB) 13:05:49 elliptic : 2/6000 (mem: 899.65 MiB) 13:05:49 auxiliary : 26/26000 (mem: 899.65 MiB) 13:05:49 poseidon ext : 2/17000 (mem: 899.65 MiB) 13:05:49 poseidon int : 2/92000 (mem: 899.65 MiB) 13:05:49 overflow : 0/0 (mem: 899.65 MiB) 13:05:49 (mem: 899.65 MiB) 13:05:49 Total structured size: 242025 (mem: 899.65 MiB) 13:05:49 allocating polynomials object in proving key... (mem: 899.65 MiB) 13:05:49 populating trace... (mem: 899.65 MiB) 13:05:49 time to construct proving key: 17 ms. (mem: 899.65 MiB) 13:05:49 getting honk vk... precomputed?: 0x64988008f280 (mem: 899.65 MiB) 13:05:49 computing folding proof (mem: 899.65 MiB) 13:05:49 oink prover on each incomplete key (mem: 899.65 MiB) 13:05:49 perturbator round (mem: 899.65 MiB) 13:05:49 combiner quotient round (mem: 900.32 MiB) 13:05:49 folded (mem: 900.32 MiB) 13:05:49 constructed folding proof (mem: 900.32 MiB) 13:05:50 ClientIVC: accumulating private_kernel_inner (mem: 900.32 MiB) 13:05:50 Constructing DeciderProvingKey (mem: 900.32 MiB) 13:05:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 900.32 MiB) 13:05:50 goblin ecc op : 792/1024 (mem: 900.32 MiB) 13:05:50 busread : 4185/6000 (mem: 900.32 MiB) 13:05:50 lookups : 2/15000 (mem: 900.32 MiB) 13:05:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 900.32 MiB) 13:05:50 arithmetic : 43917/56000 (mem: 900.32 MiB) 13:05:50 delta range : 4930/18000 (mem: 900.32 MiB) 13:05:50 elliptic : 340/6000 (mem: 900.32 MiB) 13:05:50 auxiliary : 1399/26000 (mem: 900.32 MiB) 13:05:50 poseidon ext : 5652/17000 (mem: 900.32 MiB) 13:05:50 poseidon int : 32207/92000 (mem: 900.32 MiB) 13:05:50 overflow : 0/0 (mem: 900.32 MiB) 13:05:50 (mem: 900.32 MiB) 13:05:50 Total structured size: 242025 (mem: 900.32 MiB) 13:05:50 allocating polynomials object in proving key... (mem: 900.32 MiB) 13:05:50 populating trace... (mem: 900.32 MiB) 13:05:50 time to construct proving key: 49 ms. (mem: 900.32 MiB) 13:05:50 getting honk vk... precomputed?: 0x64987e4eea80 (mem: 900.32 MiB) 13:05:50 computing folding proof (mem: 900.32 MiB) 13:05:50 oink prover on each incomplete key (mem: 900.32 MiB) 13:05:50 perturbator round (mem: 904.89 MiB) 13:05:50 combiner quotient round (mem: 936.89 MiB) 13:05:50 folded (mem: 936.89 MiB) 13:05:50 constructed folding proof (mem: 936.89 MiB) 13:05:50 ClientIVC: accumulating AMM:add_liquidity (mem: 936.89 MiB) 13:05:50 Constructing DeciderProvingKey (mem: 936.89 MiB) 13:05:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 936.89 MiB) 13:05:50 goblin ecc op : 4/1024 (mem: 936.89 MiB) 13:05:50 busread : 743/6000 (mem: 936.89 MiB) 13:05:50 lookups : 2/15000 (mem: 936.89 MiB) 13:05:50 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 936.89 MiB) 13:05:50 arithmetic : 4426/56000 (mem: 936.89 MiB) 13:05:50 delta range : 1921/18000 (mem: 936.89 MiB) 13:05:50 elliptic : 2/6000 (mem: 936.89 MiB) 13:05:50 auxiliary : 26/26000 (mem: 936.89 MiB) 13:05:50 poseidon ext : 572/17000 (mem: 936.89 MiB) 13:05:50 poseidon int : 3251/92000 (mem: 936.89 MiB) 13:05:50 overflow : 0/0 (mem: 936.89 MiB) 13:05:50 (mem: 936.89 MiB) 13:05:50 Total structured size: 242025 (mem: 936.89 MiB) 13:05:50 allocating polynomials object in proving key... (mem: 936.89 MiB) 13:05:50 populating trace... (mem: 936.89 MiB) 13:05:50 time to construct proving key: 17 ms. (mem: 936.89 MiB) 13:05:50 getting honk vk... precomputed?: 0x6498800768c0 (mem: 936.89 MiB) 13:05:50 computing folding proof (mem: 936.89 MiB) 13:05:51 oink prover on each incomplete key (mem: 936.89 MiB) 13:05:51 perturbator round (mem: 936.89 MiB) 13:05:51 combiner quotient round (mem: 936.89 MiB) 13:05:51 folded (mem: 936.89 MiB) 13:05:51 constructed folding proof (mem: 936.89 MiB) 13:05:51 ClientIVC: accumulating private_kernel_inner (mem: 936.89 MiB) 13:05:51 Constructing DeciderProvingKey (mem: 936.89 MiB) 13:05:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 936.89 MiB) 13:05:51 goblin ecc op : 792/1024 (mem: 936.89 MiB) 13:05:51 busread : 4185/6000 (mem: 936.89 MiB) 13:05:51 lookups : 2/15000 (mem: 936.89 MiB) 13:05:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 936.89 MiB) 13:05:51 arithmetic : 43917/56000 (mem: 936.89 MiB) 13:05:51 delta range : 4930/18000 (mem: 936.89 MiB) 13:05:51 elliptic : 340/6000 (mem: 936.89 MiB) 13:05:51 auxiliary : 1399/26000 (mem: 936.89 MiB) 13:05:51 poseidon ext : 5652/17000 (mem: 936.89 MiB) 13:05:51 poseidon int : 32207/92000 (mem: 936.89 MiB) 13:05:51 overflow : 0/0 (mem: 936.89 MiB) 13:05:51 (mem: 936.89 MiB) 13:05:51 Total structured size: 242025 (mem: 936.89 MiB) 13:05:51 allocating polynomials object in proving key... (mem: 936.89 MiB) 13:05:51 populating trace... (mem: 936.89 MiB) 13:05:51 time to construct proving key: 47 ms. (mem: 936.89 MiB) 13:05:51 getting honk vk... precomputed?: 0x64987e1b9ec0 (mem: 936.89 MiB) 13:05:51 computing folding proof (mem: 936.89 MiB) 13:05:51 oink prover on each incomplete key (mem: 936.89 MiB) 13:05:52 perturbator round (mem: 936.89 MiB) 13:05:52 combiner quotient round (mem: 937.64 MiB) 13:05:52 folded (mem: 937.64 MiB) 13:05:52 constructed folding proof (mem: 937.64 MiB) 13:05:52 ClientIVC: accumulating Token:transfer_to_public (mem: 937.64 MiB) 13:05:52 Constructing DeciderProvingKey (mem: 937.64 MiB) 13:05:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 937.64 MiB) 13:05:52 goblin ecc op : 4/1024 (mem: 937.64 MiB) 13:05:52 busread : 743/6000 (mem: 937.64 MiB) 13:05:52 lookups : 9354/15000 (mem: 937.64 MiB) 13:05:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 937.64 MiB) 13:05:52 arithmetic : 48253/56000 (mem: 937.64 MiB) 13:05:52 delta range : 5962/18000 (mem: 937.64 MiB) 13:05:52 elliptic : 5806/6000 (mem: 937.64 MiB) 13:05:52 auxiliary : 20704/26000 (mem: 937.64 MiB) 13:05:52 poseidon ext : 2842/17000 (mem: 937.64 MiB) 13:05:52 poseidon int : 16190/92000 (mem: 937.64 MiB) 13:05:52 overflow : 0/0 (mem: 937.64 MiB) 13:05:52 (mem: 937.64 MiB) 13:05:52 Total structured size: 242025 (mem: 937.64 MiB) 13:05:52 allocating polynomials object in proving key... (mem: 937.64 MiB) 13:05:52 populating trace... (mem: 937.64 MiB) 13:05:52 time to construct proving key: 65 ms. (mem: 937.64 MiB) 13:05:52 getting honk vk... precomputed?: 0x6498811ab580 (mem: 937.64 MiB) 13:05:52 computing folding proof (mem: 937.64 MiB) 13:05:52 oink prover on each incomplete key (mem: 937.64 MiB) 13:05:53 perturbator round (mem: 937.64 MiB) 13:05:53 combiner quotient round (mem: 968.89 MiB) 13:05:53 folded (mem: 968.89 MiB) 13:05:53 constructed folding proof (mem: 968.89 MiB) 13:05:53 ClientIVC: accumulating private_kernel_inner (mem: 968.89 MiB) 13:05:53 Constructing DeciderProvingKey (mem: 968.89 MiB) 13:05:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 968.89 MiB) 13:05:53 goblin ecc op : 792/1024 (mem: 968.89 MiB) 13:05:53 busread : 4185/6000 (mem: 968.89 MiB) 13:05:53 lookups : 2/15000 (mem: 968.89 MiB) 13:05:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 968.89 MiB) 13:05:53 arithmetic : 43917/56000 (mem: 968.89 MiB) 13:05:53 delta range : 4930/18000 (mem: 968.89 MiB) 13:05:53 elliptic : 340/6000 (mem: 968.89 MiB) 13:05:53 auxiliary : 1399/26000 (mem: 968.89 MiB) 13:05:53 poseidon ext : 5652/17000 (mem: 968.89 MiB) 13:05:53 poseidon int : 32207/92000 (mem: 968.89 MiB) 13:05:53 overflow : 0/0 (mem: 968.89 MiB) 13:05:53 (mem: 968.89 MiB) 13:05:53 Total structured size: 242025 (mem: 968.89 MiB) 13:05:53 allocating polynomials object in proving key... (mem: 968.89 MiB) 13:05:53 populating trace... (mem: 968.89 MiB) 13:05:53 time to construct proving key: 44 ms. (mem: 968.89 MiB) 13:05:53 getting honk vk... precomputed?: 0x649885993140 (mem: 968.89 MiB) 13:05:53 computing folding proof (mem: 968.89 MiB) 13:05:53 oink prover on each incomplete key (mem: 968.89 MiB) 13:05:54 perturbator round (mem: 968.89 MiB) 13:05:54 combiner quotient round (mem: 969.48 MiB) 13:05:54 folded (mem: 969.48 MiB) 13:05:54 constructed folding proof (mem: 969.48 MiB) 13:05:54 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 969.48 MiB) 13:05:54 Constructing DeciderProvingKey (mem: 969.48 MiB) 13:05:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 969.48 MiB) 13:05:54 goblin ecc op : 4/1024 (mem: 969.48 MiB) 13:05:54 busread : 743/6000 (mem: 969.48 MiB) 13:05:54 lookups : 2898/15000 (mem: 969.48 MiB) 13:05:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 969.48 MiB) 13:05:54 arithmetic : 37521/56000 (mem: 969.48 MiB) 13:05:54 delta range : 17045/18000 (mem: 969.48 MiB) 13:05:54 elliptic : 2/6000 (mem: 969.48 MiB) 13:05:54 auxiliary : 21404/26000 (mem: 969.48 MiB) 13:05:54 poseidon ext : 82/17000 (mem: 969.48 MiB) 13:05:54 poseidon int : 458/92000 (mem: 969.48 MiB) 13:05:54 overflow : 0/0 (mem: 969.48 MiB) 13:05:54 (mem: 969.48 MiB) 13:05:54 Total structured size: 242025 (mem: 969.48 MiB) 13:05:54 allocating polynomials object in proving key... (mem: 969.48 MiB) 13:05:54 populating trace... (mem: 969.48 MiB) 13:05:54 time to construct proving key: 62 ms. (mem: 969.48 MiB) 13:05:54 getting honk vk... precomputed?: 0x64987df56ec0 (mem: 969.48 MiB) 13:05:54 computing folding proof (mem: 969.48 MiB) 13:05:54 oink prover on each incomplete key (mem: 969.48 MiB) 13:05:54 perturbator round (mem: 969.48 MiB) 13:05:55 combiner quotient round (mem: 970.62 MiB) 13:05:55 folded (mem: 970.62 MiB) 13:05:55 constructed folding proof (mem: 970.62 MiB) 13:05:55 ClientIVC: accumulating private_kernel_inner (mem: 970.62 MiB) 13:05:55 Constructing DeciderProvingKey (mem: 970.62 MiB) 13:05:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 970.62 MiB) 13:05:55 goblin ecc op : 792/1024 (mem: 970.62 MiB) 13:05:55 busread : 4185/6000 (mem: 970.62 MiB) 13:05:55 lookups : 2/15000 (mem: 970.62 MiB) 13:05:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 970.62 MiB) 13:05:55 arithmetic : 43917/56000 (mem: 970.62 MiB) 13:05:55 delta range : 4930/18000 (mem: 970.62 MiB) 13:05:55 elliptic : 340/6000 (mem: 970.62 MiB) 13:05:55 auxiliary : 1399/26000 (mem: 970.62 MiB) 13:05:55 poseidon ext : 5652/17000 (mem: 970.62 MiB) 13:05:55 poseidon int : 32207/92000 (mem: 970.62 MiB) 13:05:55 overflow : 0/0 (mem: 970.62 MiB) 13:05:55 (mem: 970.62 MiB) 13:05:55 Total structured size: 242025 (mem: 970.62 MiB) 13:05:55 allocating polynomials object in proving key... (mem: 970.62 MiB) 13:05:55 populating trace... (mem: 970.62 MiB) 13:05:55 time to construct proving key: 44 ms. (mem: 970.62 MiB) 13:05:55 getting honk vk... precomputed?: 0x64987e4a67c0 (mem: 970.62 MiB) 13:05:55 computing folding proof (mem: 970.62 MiB) 13:05:55 oink prover on each incomplete key (mem: 970.62 MiB) 13:05:55 perturbator round (mem: 970.62 MiB) 13:05:56 combiner quotient round (mem: 970.62 MiB) 13:05:56 folded (mem: 970.62 MiB) 13:05:56 constructed folding proof (mem: 970.62 MiB) 13:05:56 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 970.62 MiB) 13:05:56 Constructing DeciderProvingKey (mem: 970.62 MiB) 13:05:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 970.62 MiB) 13:05:56 goblin ecc op : 4/1024 (mem: 970.62 MiB) 13:05:56 busread : 743/6000 (mem: 970.62 MiB) 13:05:56 lookups : 9354/15000 (mem: 970.62 MiB) 13:05:56 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 970.62 MiB) 13:05:56 arithmetic : 13534/56000 (mem: 970.62 MiB) 13:05:56 delta range : 2262/18000 (mem: 970.62 MiB) 13:05:56 elliptic : 670/6000 (mem: 970.62 MiB) 13:05:56 auxiliary : 543/26000 (mem: 970.62 MiB) 13:05:56 poseidon ext : 62/17000 (mem: 970.62 MiB) 13:05:56 poseidon int : 344/92000 (mem: 970.62 MiB) 13:05:56 overflow : 0/0 (mem: 970.62 MiB) 13:05:56 (mem: 970.62 MiB) 13:05:56 Total structured size: 242025 (mem: 970.62 MiB) 13:05:56 allocating polynomials object in proving key... (mem: 970.62 MiB) 13:05:56 populating trace... (mem: 970.62 MiB) 13:05:56 time to construct proving key: 31 ms. (mem: 970.62 MiB) 13:05:56 getting honk vk... precomputed?: 0x649882729a40 (mem: 970.62 MiB) 13:05:56 computing folding proof (mem: 970.62 MiB) 13:05:56 oink prover on each incomplete key (mem: 970.62 MiB) 13:05:56 perturbator round (mem: 970.62 MiB) 13:05:56 combiner quotient round (mem: 970.62 MiB) 13:05:57 folded (mem: 970.62 MiB) 13:05:57 constructed folding proof (mem: 970.62 MiB) 13:05:57 ClientIVC: accumulating private_kernel_inner (mem: 970.62 MiB) 13:05:57 Constructing DeciderProvingKey (mem: 970.62 MiB) 13:05:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 970.62 MiB) 13:05:57 goblin ecc op : 792/1024 (mem: 970.62 MiB) 13:05:57 busread : 4185/6000 (mem: 970.62 MiB) 13:05:57 lookups : 2/15000 (mem: 970.62 MiB) 13:05:57 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 970.62 MiB) 13:05:57 arithmetic : 43917/56000 (mem: 970.62 MiB) 13:05:57 delta range : 4930/18000 (mem: 970.62 MiB) 13:05:57 elliptic : 340/6000 (mem: 970.62 MiB) 13:05:57 auxiliary : 1399/26000 (mem: 970.62 MiB) 13:05:57 poseidon ext : 5652/17000 (mem: 970.62 MiB) 13:05:57 poseidon int : 32207/92000 (mem: 970.62 MiB) 13:05:57 overflow : 0/0 (mem: 970.62 MiB) 13:05:57 (mem: 970.62 MiB) 13:05:57 Total structured size: 242025 (mem: 970.62 MiB) 13:05:57 allocating polynomials object in proving key... (mem: 970.62 MiB) 13:05:57 populating trace... (mem: 970.62 MiB) 13:05:57 time to construct proving key: 44 ms. (mem: 970.62 MiB) 13:05:57 getting honk vk... precomputed?: 0x64987e303fc0 (mem: 970.62 MiB) 13:05:57 computing folding proof (mem: 970.62 MiB) 13:05:57 oink prover on each incomplete key (mem: 970.62 MiB) 13:05:57 perturbator round (mem: 970.62 MiB) 13:05:58 combiner quotient round (mem: 973.62 MiB) 13:05:58 folded (mem: 973.62 MiB) 13:05:58 constructed folding proof (mem: 973.62 MiB) 13:05:58 ClientIVC: accumulating Token:transfer_to_public (mem: 973.62 MiB) 13:05:58 Constructing DeciderProvingKey (mem: 973.62 MiB) 13:05:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 973.62 MiB) 13:05:58 goblin ecc op : 4/1024 (mem: 973.62 MiB) 13:05:58 busread : 743/6000 (mem: 973.62 MiB) 13:05:58 lookups : 9354/15000 (mem: 973.62 MiB) 13:05:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 973.62 MiB) 13:05:58 arithmetic : 48253/56000 (mem: 973.62 MiB) 13:05:58 delta range : 5962/18000 (mem: 973.62 MiB) 13:05:58 elliptic : 5806/6000 (mem: 973.62 MiB) 13:05:58 auxiliary : 20704/26000 (mem: 973.62 MiB) 13:05:58 poseidon ext : 2842/17000 (mem: 973.62 MiB) 13:05:58 poseidon int : 16190/92000 (mem: 973.62 MiB) 13:05:58 overflow : 0/0 (mem: 973.62 MiB) 13:05:58 (mem: 973.62 MiB) 13:05:58 Total structured size: 242025 (mem: 973.62 MiB) 13:05:58 allocating polynomials object in proving key... (mem: 973.62 MiB) 13:05:58 populating trace... (mem: 973.62 MiB) 13:05:58 time to construct proving key: 67 ms. (mem: 973.62 MiB) 13:05:58 getting honk vk... precomputed?: 0x64987df38180 (mem: 973.62 MiB) 13:05:58 computing folding proof (mem: 973.62 MiB) 13:05:58 oink prover on each incomplete key (mem: 973.62 MiB) 13:05:58 perturbator round (mem: 973.62 MiB) 13:05:59 combiner quotient round (mem: 976.20 MiB) 13:05:59 folded (mem: 976.20 MiB) 13:05:59 constructed folding proof (mem: 976.20 MiB) 13:05:59 ClientIVC: accumulating private_kernel_inner (mem: 976.20 MiB) 13:05:59 Constructing DeciderProvingKey (mem: 976.20 MiB) 13:05:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 976.20 MiB) 13:05:59 goblin ecc op : 792/1024 (mem: 976.20 MiB) 13:05:59 busread : 4185/6000 (mem: 976.20 MiB) 13:05:59 lookups : 2/15000 (mem: 976.20 MiB) 13:05:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 976.20 MiB) 13:05:59 arithmetic : 43917/56000 (mem: 976.20 MiB) 13:05:59 delta range : 4930/18000 (mem: 976.20 MiB) 13:05:59 elliptic : 340/6000 (mem: 976.20 MiB) 13:05:59 auxiliary : 1399/26000 (mem: 976.20 MiB) 13:05:59 poseidon ext : 5652/17000 (mem: 976.20 MiB) 13:05:59 poseidon int : 32207/92000 (mem: 976.20 MiB) 13:05:59 overflow : 0/0 (mem: 976.20 MiB) 13:05:59 (mem: 976.20 MiB) 13:05:59 Total structured size: 242025 (mem: 976.20 MiB) 13:05:59 allocating polynomials object in proving key... (mem: 976.20 MiB) 13:05:59 populating trace... (mem: 976.20 MiB) 13:05:59 time to construct proving key: 42 ms. (mem: 976.20 MiB) 13:05:59 getting honk vk... precomputed?: 0x64987e5edd40 (mem: 976.20 MiB) 13:05:59 computing folding proof (mem: 976.20 MiB) 13:05:59 oink prover on each incomplete key (mem: 976.20 MiB) 13:05:59 perturbator round (mem: 976.20 MiB) 13:06:00 combiner quotient round (mem: 977.11 MiB) 13:06:00 folded (mem: 977.11 MiB) 13:06:00 constructed folding proof (mem: 977.11 MiB) 13:06:00 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 977.11 MiB) 13:06:00 Constructing DeciderProvingKey (mem: 977.11 MiB) 13:06:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 977.11 MiB) 13:06:00 goblin ecc op : 4/1024 (mem: 977.11 MiB) 13:06:00 busread : 743/6000 (mem: 977.11 MiB) 13:06:00 lookups : 2898/15000 (mem: 977.11 MiB) 13:06:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 977.11 MiB) 13:06:00 arithmetic : 37521/56000 (mem: 977.11 MiB) 13:06:00 delta range : 17045/18000 (mem: 977.11 MiB) 13:06:00 elliptic : 2/6000 (mem: 977.11 MiB) 13:06:00 auxiliary : 21404/26000 (mem: 977.11 MiB) 13:06:00 poseidon ext : 82/17000 (mem: 977.11 MiB) 13:06:00 poseidon int : 458/92000 (mem: 977.11 MiB) 13:06:00 overflow : 0/0 (mem: 977.11 MiB) 13:06:00 (mem: 977.11 MiB) 13:06:00 Total structured size: 242025 (mem: 977.11 MiB) 13:06:00 allocating polynomials object in proving key... (mem: 977.11 MiB) 13:06:00 populating trace... (mem: 977.11 MiB) 13:06:00 time to construct proving key: 62 ms. (mem: 977.11 MiB) 13:06:00 getting honk vk... precomputed?: 0x64987df57700 (mem: 977.11 MiB) 13:06:00 computing folding proof (mem: 977.11 MiB) 13:06:00 oink prover on each incomplete key (mem: 977.11 MiB) 13:06:00 perturbator round (mem: 977.11 MiB) 13:06:00 combiner quotient round (mem: 977.83 MiB) 13:06:01 folded (mem: 977.83 MiB) 13:06:01 constructed folding proof (mem: 977.83 MiB) 13:06:01 ClientIVC: accumulating private_kernel_inner (mem: 977.83 MiB) 13:06:01 Constructing DeciderProvingKey (mem: 977.83 MiB) 13:06:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 977.83 MiB) 13:06:01 goblin ecc op : 792/1024 (mem: 977.83 MiB) 13:06:01 busread : 4185/6000 (mem: 977.83 MiB) 13:06:01 lookups : 2/15000 (mem: 977.83 MiB) 13:06:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 977.83 MiB) 13:06:01 arithmetic : 43917/56000 (mem: 977.83 MiB) 13:06:01 delta range : 4930/18000 (mem: 977.83 MiB) 13:06:01 elliptic : 340/6000 (mem: 977.83 MiB) 13:06:01 auxiliary : 1399/26000 (mem: 977.83 MiB) 13:06:01 poseidon ext : 5652/17000 (mem: 977.83 MiB) 13:06:01 poseidon int : 32207/92000 (mem: 977.83 MiB) 13:06:01 overflow : 0/0 (mem: 977.83 MiB) 13:06:01 (mem: 977.83 MiB) 13:06:01 Total structured size: 242025 (mem: 977.83 MiB) 13:06:01 allocating polynomials object in proving key... (mem: 977.83 MiB) 13:06:01 populating trace... (mem: 977.83 MiB) 13:06:01 time to construct proving key: 45 ms. (mem: 977.83 MiB) 13:06:01 getting honk vk... precomputed?: 0x6498838d6dc0 (mem: 977.83 MiB) 13:06:01 computing folding proof (mem: 977.83 MiB) 13:06:01 oink prover on each incomplete key (mem: 977.83 MiB) 13:06:01 perturbator round (mem: 977.83 MiB) 13:06:01 combiner quotient round (mem: 978.14 MiB) 13:06:02 folded (mem: 978.14 MiB) 13:06:02 constructed folding proof (mem: 978.14 MiB) 13:06:02 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 978.14 MiB) 13:06:02 Constructing DeciderProvingKey (mem: 978.14 MiB) 13:06:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 978.14 MiB) 13:06:02 goblin ecc op : 4/1024 (mem: 978.14 MiB) 13:06:02 busread : 743/6000 (mem: 978.14 MiB) 13:06:02 lookups : 9354/15000 (mem: 978.14 MiB) 13:06:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 978.14 MiB) 13:06:02 arithmetic : 13534/56000 (mem: 978.14 MiB) 13:06:02 delta range : 2262/18000 (mem: 978.14 MiB) 13:06:02 elliptic : 670/6000 (mem: 978.14 MiB) 13:06:02 auxiliary : 543/26000 (mem: 978.14 MiB) 13:06:02 poseidon ext : 62/17000 (mem: 978.14 MiB) 13:06:02 poseidon int : 344/92000 (mem: 978.14 MiB) 13:06:02 overflow : 0/0 (mem: 978.14 MiB) 13:06:02 (mem: 978.14 MiB) 13:06:02 Total structured size: 242025 (mem: 978.14 MiB) 13:06:02 allocating polynomials object in proving key... (mem: 978.14 MiB) 13:06:02 populating trace... (mem: 978.14 MiB) 13:06:02 time to construct proving key: 36 ms. (mem: 978.14 MiB) 13:06:02 getting honk vk... precomputed?: 0x649883a56dc0 (mem: 978.14 MiB) 13:06:02 computing folding proof (mem: 978.14 MiB) 13:06:02 oink prover on each incomplete key (mem: 978.14 MiB) 13:06:02 perturbator round (mem: 978.14 MiB) 13:06:02 combiner quotient round (mem: 978.14 MiB) 13:06:02 folded (mem: 978.14 MiB) 13:06:02 constructed folding proof (mem: 978.14 MiB) 13:06:02 ClientIVC: accumulating private_kernel_inner (mem: 978.14 MiB) 13:06:02 Constructing DeciderProvingKey (mem: 978.14 MiB) 13:06:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 978.14 MiB) 13:06:02 goblin ecc op : 792/1024 (mem: 978.14 MiB) 13:06:02 busread : 4185/6000 (mem: 978.14 MiB) 13:06:02 lookups : 2/15000 (mem: 978.14 MiB) 13:06:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 978.14 MiB) 13:06:02 arithmetic : 43917/56000 (mem: 978.14 MiB) 13:06:02 delta range : 4930/18000 (mem: 978.14 MiB) 13:06:02 elliptic : 340/6000 (mem: 978.14 MiB) 13:06:02 auxiliary : 1399/26000 (mem: 978.14 MiB) 13:06:02 poseidon ext : 5652/17000 (mem: 978.14 MiB) 13:06:02 poseidon int : 32207/92000 (mem: 978.14 MiB) 13:06:02 overflow : 0/0 (mem: 978.14 MiB) 13:06:02 (mem: 978.14 MiB) 13:06:02 Total structured size: 242025 (mem: 978.14 MiB) 13:06:02 allocating polynomials object in proving key... (mem: 978.14 MiB) 13:06:02 populating trace... (mem: 978.14 MiB) 13:06:02 time to construct proving key: 42 ms. (mem: 978.14 MiB) 13:06:03 getting honk vk... precomputed?: 0x64988210bc00 (mem: 978.14 MiB) 13:06:03 computing folding proof (mem: 978.14 MiB) 13:06:03 oink prover on each incomplete key (mem: 978.14 MiB) 13:06:03 perturbator round (mem: 978.14 MiB) 13:06:03 combiner quotient round (mem: 978.55 MiB) 13:06:03 folded (mem: 978.55 MiB) 13:06:03 constructed folding proof (mem: 978.55 MiB) 13:06:03 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 978.55 MiB) 13:06:03 Constructing DeciderProvingKey (mem: 978.55 MiB) 13:06:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 978.55 MiB) 13:06:03 goblin ecc op : 4/1024 (mem: 978.55 MiB) 13:06:03 busread : 743/6000 (mem: 978.55 MiB) 13:06:03 lookups : 9354/15000 (mem: 978.55 MiB) 13:06:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 978.55 MiB) 13:06:03 arithmetic : 13534/56000 (mem: 978.55 MiB) 13:06:03 delta range : 2262/18000 (mem: 978.55 MiB) 13:06:03 elliptic : 670/6000 (mem: 978.55 MiB) 13:06:03 auxiliary : 543/26000 (mem: 978.55 MiB) 13:06:03 poseidon ext : 62/17000 (mem: 978.55 MiB) 13:06:03 poseidon int : 344/92000 (mem: 978.55 MiB) 13:06:03 overflow : 0/0 (mem: 978.55 MiB) 13:06:03 (mem: 978.55 MiB) 13:06:03 Total structured size: 242025 (mem: 978.55 MiB) 13:06:03 allocating polynomials object in proving key... (mem: 978.55 MiB) 13:06:03 populating trace... (mem: 978.55 MiB) 13:06:03 time to construct proving key: 36 ms. (mem: 978.55 MiB) 13:06:03 getting honk vk... precomputed?: 0x649880015000 (mem: 978.55 MiB) 13:06:03 computing folding proof (mem: 978.55 MiB) 13:06:04 oink prover on each incomplete key (mem: 978.55 MiB) 13:06:04 perturbator round (mem: 978.55 MiB) 13:06:04 combiner quotient round (mem: 978.55 MiB) 13:06:04 folded (mem: 978.55 MiB) 13:06:04 constructed folding proof (mem: 978.55 MiB) 13:06:04 ClientIVC: accumulating private_kernel_inner (mem: 978.55 MiB) 13:06:04 Constructing DeciderProvingKey (mem: 978.55 MiB) 13:06:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 978.55 MiB) 13:06:04 goblin ecc op : 792/1024 (mem: 978.55 MiB) 13:06:04 busread : 4185/6000 (mem: 978.55 MiB) 13:06:04 lookups : 2/15000 (mem: 978.55 MiB) 13:06:04 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 978.55 MiB) 13:06:04 arithmetic : 43917/56000 (mem: 978.55 MiB) 13:06:04 delta range : 4930/18000 (mem: 978.55 MiB) 13:06:04 elliptic : 340/6000 (mem: 978.55 MiB) 13:06:04 auxiliary : 1399/26000 (mem: 978.55 MiB) 13:06:04 poseidon ext : 5652/17000 (mem: 978.55 MiB) 13:06:04 poseidon int : 32207/92000 (mem: 978.55 MiB) 13:06:04 overflow : 0/0 (mem: 978.55 MiB) 13:06:04 (mem: 978.55 MiB) 13:06:04 Total structured size: 242025 (mem: 978.55 MiB) 13:06:04 allocating polynomials object in proving key... (mem: 978.55 MiB) 13:06:04 populating trace... (mem: 978.55 MiB) 13:06:04 time to construct proving key: 44 ms. (mem: 978.55 MiB) 13:06:04 getting honk vk... precomputed?: 0x64987f31f2c0 (mem: 978.55 MiB) 13:06:04 computing folding proof (mem: 978.55 MiB) 13:06:05 oink prover on each incomplete key (mem: 978.55 MiB) 13:06:05 perturbator round (mem: 978.55 MiB) 13:06:05 combiner quotient round (mem: 981.07 MiB) 13:06:05 folded (mem: 981.07 MiB) 13:06:05 constructed folding proof (mem: 981.07 MiB) 13:06:05 ClientIVC: accumulating private_kernel_reset (mem: 981.07 MiB) 13:06:05 Constructing DeciderProvingKey (mem: 981.07 MiB) 13:06:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 981.07 MiB) 13:06:05 goblin ecc op : 392/1024 (mem: 981.07 MiB) 13:06:05 busread : 2744/6000 (mem: 981.07 MiB) 13:06:05 lookups : 2/15000 (mem: 981.07 MiB) 13:06:05 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 981.07 MiB) 13:06:05 arithmetic : 60461/56000 (mem: 981.07 MiB) 13:06:05 delta range : 4864/18000 (mem: 981.07 MiB) 13:06:05 elliptic : 1274/6000 (mem: 981.07 MiB) 13:06:05 auxiliary : 18808/26000 (mem: 981.07 MiB) 13:06:05 poseidon ext : 16812/17000 (mem: 981.07 MiB) 13:06:05 poseidon int : 95819/92000 (mem: 981.07 MiB) 13:06:05 overflow : 0/0 (mem: 981.07 MiB) 13:06:05 (mem: 981.07 MiB) 13:06:05 Total structured size: 242025 (mem: 981.07 MiB) 13:06:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 981.07 MiB) 13:06:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 981.07 MiB) 13:06:05 goblin ecc op : 392/1024 (mem: 981.07 MiB) 13:06:05 busread : 2744/6000 (mem: 981.07 MiB) 13:06:05 lookups : 2/15000 (mem: 981.07 MiB) 13:06:05 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 981.07 MiB) 13:06:05 arithmetic : 56000/56000 (mem: 981.07 MiB) 13:06:05 delta range : 4864/18000 (mem: 981.07 MiB) 13:06:05 elliptic : 1274/6000 (mem: 981.07 MiB) 13:06:05 auxiliary : 18808/26000 (mem: 981.07 MiB) 13:06:05 poseidon ext : 16812/17000 (mem: 981.07 MiB) 13:06:05 poseidon int : 92000/92000 (mem: 981.07 MiB) 13:06:05 overflow : 8282/8282 (mem: 981.07 MiB) 13:06:05 (mem: 981.07 MiB) 13:06:05 Total structured size: 250307 (mem: 981.07 MiB) 13:06:05 allocating polynomials object in proving key... (mem: 981.07 MiB) 13:06:05 populating trace... (mem: 1216.07 MiB) 13:06:05 time to construct proving key: 141 ms. (mem: 1230.07 MiB) 13:06:06 getting honk vk... precomputed?: 0x649883347640 (mem: 1230.07 MiB) 13:06:06 computing folding proof (mem: 1230.07 MiB) 13:06:06 oink prover on each incomplete key (mem: 1231.07 MiB) 13:06:06 perturbator round (mem: 1234.07 MiB) 13:06:07 combiner quotient round (mem: 1266.07 MiB) 13:06:07 folded (mem: 1266.07 MiB) 13:06:07 constructed folding proof (mem: 1266.07 MiB) 13:06:07 ClientIVC: accumulating private_kernel_tail (mem: 1266.07 MiB) 13:06:07 Constructing DeciderProvingKey (mem: 1266.07 MiB) 13:06:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1266.07 MiB) 13:06:07 goblin ecc op : 392/1024 (mem: 1266.07 MiB) 13:06:07 busread : 222/6000 (mem: 1266.07 MiB) 13:06:07 lookups : 2/15000 (mem: 1266.07 MiB) 13:06:07 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: 1266.07 MiB) 13:06:07 arithmetic : 21298/56000 (mem: 1266.07 MiB) 13:06:07 delta range : 3622/18000 (mem: 1266.07 MiB) 13:06:07 elliptic : 2/6000 (mem: 1266.07 MiB) 13:06:07 auxiliary : 7134/26000 (mem: 1266.07 MiB) 13:06:07 poseidon ext : 2532/17000 (mem: 1266.07 MiB) 13:06:07 poseidon int : 14423/92000 (mem: 1266.07 MiB) 13:06:07 overflow : 0/0 (mem: 1266.07 MiB) 13:06:07 (mem: 1266.07 MiB) 13:06:07 Total structured size: 242025 (mem: 1266.07 MiB) 13:06:07 allocating polynomials object in proving key... (mem: 1266.07 MiB) 13:06:07 populating trace... (mem: 1266.07 MiB) 13:06:07 time to construct proving key: 37 ms. (mem: 1266.07 MiB) 13:06:07 getting honk vk... precomputed?: 0x6498850a8a00 (mem: 1266.07 MiB) 13:06:07 computing folding proof (mem: 1266.07 MiB) 13:06:07 oink prover on each incomplete key (mem: 1266.07 MiB) 13:06:07 perturbator round (mem: 1266.07 MiB) 13:06:08 combiner quotient round (mem: 1266.07 MiB) 13:06:08 folded (mem: 1266.07 MiB) 13:06:08 constructed folding proof (mem: 1266.07 MiB) 13:06:08 Largest circuit: 200784 gates. Trace details: (mem: 1266.07 MiB) 13:06:08 Minimum required block sizes for structured trace: (mem: 1266.07 MiB) 13:06:08 ecc_op : 792 13:06:08 busread : 4185 13:06:08 lookup : 9354 13:06:08 pub_inputs : 1876 13:06:08 arithmetic : 56000 13:06:08 delta_range : 17435 13:06:08 elliptic : 5806 13:06:08 aux : 25394 13:06:08 poseidon2_external : 16812 13:06:08 poseidon2_internal : 92000 13:06:08 overflow : 8282 13:06:08 (mem: 1266.07 MiB) 13:06:08 prove decider... (mem: 1266.07 MiB) 13:06:08 finished decider proving. (mem: 1266.07 MiB) 13:06:08 starting sumcheck rounds... (mem: 1266.07 MiB) 13:06:08 completed 18 rounds of sumcheck (mem: 1266.07 MiB) 13:06:09 executed multivariate-to-univariate reduction (mem: 1266.07 MiB) 13:06:09 computed opening proof (mem: 1266.07 MiB) 13:06:09 Constructing DeciderProvingKey (mem: 1266.07 MiB) 13:06:09 allocating polynomials object in proving key... (mem: 1266.07 MiB) 13:06:09 populating trace... (mem: 1266.07 MiB) 13:06:09 time to construct proving key: 47 ms. (mem: 1266.07 MiB) 13:06:10 created oink proof (mem: 1266.07 MiB) 13:06:10 starting sumcheck rounds... (mem: 1266.07 MiB) 13:06:10 completed 17 rounds of sumcheck (mem: 1266.07 MiB) 13:06:10 executed multivariate-to-univariate reduction (mem: 1266.07 MiB) 13:06:10 computed opening proof (mem: 1266.07 MiB) 13:06:10 Constructing a Goblin proof with num ultra ops = 8594 (mem: 1266.07 MiB) 13:06:10 prove eccvm... (mem: 1266.07 MiB) 13:06:11 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1266.07 MiB) 13:06:11 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 1266.07 MiB) 13:06:13 starting sumcheck rounds... (mem: 1266.07 MiB) 13:06:14 completed 16 rounds of sumcheck (mem: 1266.07 MiB) 13:06:15 finished eccvm proving. (mem: 1266.07 MiB) 13:06:15 prove translator... (mem: 1266.07 MiB) 13:06:16 starting sumcheck rounds... (mem: 1266.07 MiB) 13:06:17 completed 18 rounds of sumcheck (mem: 1266.07 MiB) 13:06:18 computed opening proof (mem: 1266.07 MiB) 13:06:18 finished translator proving. (mem: 1266.07 MiB) 13:06:18 Mega verified: 1 (mem: 1266.07 MiB) 13:06:18 eccvm sumcheck verified?: 1 (mem: 1266.07 MiB) 13:06:18 batch opening verified?: 1 (mem: 1266.07 MiB) 13:06:18 eccvm consistency check verified?: 1 (mem: 1266.07 MiB) 13:06:18 translation masking consistency checked?: 1 (mem: 1266.07 MiB) 13:06:18 merge verified?: 1 (mem: 1266.07 MiB) 13:06:18 eccvm verified?: 1 (mem: 1266.07 MiB) 13:06:18 accumulator construction_verified?: 1 (mem: 1266.07 MiB) 13:06:18 translation verified?: 1 (mem: 1266.07 MiB) 13:06:18 consistency verified?: 1 (mem: 1266.07 MiB) 13:06:18 Goblin verified: 1 (mem: 1266.07 MiB) 13:06:18 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/native" (mem: 1266.07 MiB) 13:06:18 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (native) has proven in 31s and peak memory of 1266MB. 13:06:18 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (native) has verified.