Parent Log: http://ci.aztec-labs.com/bd4a684d1aace71b Command: 21081b81c02e2d2a:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_0_recursions+private_fpc Commit: https://github.com/AztecProtocol/aztec-packages/commit/c06f30929f18b85bcea93c0926a8d640a3819f00 Env: REF_NAME=gh-readonly-queue/master/pr-15074-2707ec99de02004f3e30e7af0810e0d741ab9794 CURRENT_VERSION=0.87.8 CI_FULL=1 Date: Mon Jun 16 16:35:39 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15074_amd64_x1-full Resources: CPU_LIST=8,9,10,11,12,13,14,15 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_7525b2903c89cd0e_master 16:35:39 --- bb ivc flow bench --- 16:35:39 bb command: prove (mem: 7.00 MiB) 16:35:39 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 16:35:39 --scheme: client_ivc (mem: 7.00 MiB) 16:35:39 --output_path: bench-out/app-proving/ecdsar1+transfer_0_recursions+private_fpc/native (mem: 7.00 MiB) 16:35:39 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_0_recursions+private_fpc/ivc-inputs.msgpack (mem: 7.00 MiB) 16:35:39 --verbose: true (mem: 7.00 MiB) 16:35:40 BN254 commitment key size: 262144 (mem: 208.85 MiB) 16:35:40 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 303.09 MiB) 16:35:40 Initialized BN254 CRS from memory with num points = 262209 (mem: 351.09 MiB) 16:35:40 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 356.09 MiB) 16:35:40 Constructing DeciderProvingKey (mem: 356.09 MiB) 16:35:40 Gate blocks summary: (actual gates / fixed capacity) (mem: 368.09 MiB) 16:35:40 goblin ecc op : 4/1024 (mem: 368.09 MiB) 16:35:40 busread : 743/6000 (mem: 368.09 MiB) 16:35:40 lookups : 2898/15000 (mem: 368.09 MiB) 16:35:40 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 368.09 MiB) 16:35:40 arithmetic : 39564/56000 (mem: 368.09 MiB) 16:35:40 delta range : 17435/18000 (mem: 368.09 MiB) 16:35:40 elliptic : 2/6000 (mem: 368.09 MiB) 16:35:40 auxiliary : 25394/26000 (mem: 368.09 MiB) 16:35:40 poseidon ext : 322/17000 (mem: 368.09 MiB) 16:35:40 poseidon int : 1826/92000 (mem: 368.09 MiB) 16:35:40 overflow : 0/0 (mem: 368.09 MiB) 16:35:40 (mem: 368.09 MiB) 16:35:40 Total structured size: 242025 (mem: 368.09 MiB) 16:35:40 allocating polynomials object in proving key... (mem: 368.09 MiB) 16:35:40 populating trace... (mem: 587.09 MiB) 16:35:40 time to construct proving key: 90 ms. (mem: 610.09 MiB) 16:35:40 getting honk vk... precomputed?: 0x6314fc24c640 (mem: 610.09 MiB) 16:35:40 computing oink proof... (mem: 610.09 MiB) 16:35:41 oink proof constructed (mem: 612.09 MiB) 16:35:41 ClientIVC: accumulating private_kernel_init (mem: 613.09 MiB) 16:35:41 Constructing DeciderProvingKey (mem: 613.09 MiB) 16:35:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 613.09 MiB) 16:35:41 goblin ecc op : 56/1024 (mem: 613.09 MiB) 16:35:41 busread : 2530/6000 (mem: 613.09 MiB) 16:35:41 lookups : 2/15000 (mem: 613.09 MiB) 16:35:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 613.09 MiB) 16:35:41 arithmetic : 21193/56000 (mem: 613.09 MiB) 16:35:41 delta range : 2974/18000 (mem: 613.09 MiB) 16:35:41 elliptic : 340/6000 (mem: 613.09 MiB) 16:35:41 auxiliary : 799/26000 (mem: 613.09 MiB) 16:35:41 poseidon ext : 2012/17000 (mem: 613.09 MiB) 16:35:41 poseidon int : 11459/92000 (mem: 613.09 MiB) 16:35:41 overflow : 0/0 (mem: 613.09 MiB) 16:35:41 (mem: 613.09 MiB) 16:35:41 Total structured size: 242025 (mem: 613.09 MiB) 16:35:41 allocating polynomials object in proving key... (mem: 613.09 MiB) 16:35:41 populating trace... (mem: 783.09 MiB) 16:35:41 time to construct proving key: 36 ms. (mem: 796.09 MiB) 16:35:41 getting honk vk... precomputed?: 0x6314faae7280 (mem: 796.09 MiB) 16:35:41 computing folding proof (mem: 796.09 MiB) 16:35:41 oink prover on each incomplete key (mem: 796.09 MiB) 16:35:41 perturbator round (mem: 821.09 MiB) 16:35:41 combiner quotient round (mem: 853.09 MiB) 16:35:41 folded (mem: 853.09 MiB) 16:35:41 constructed folding proof (mem: 853.09 MiB) 16:35:41 ClientIVC: accumulating FPC:fee_entrypoint_private (mem: 853.09 MiB) 16:35:41 Constructing DeciderProvingKey (mem: 853.09 MiB) 16:35:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 853.09 MiB) 16:35:41 goblin ecc op : 4/1024 (mem: 853.09 MiB) 16:35:41 busread : 743/6000 (mem: 853.09 MiB) 16:35:41 lookups : 2/15000 (mem: 853.09 MiB) 16:35:41 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 853.09 MiB) 16:35:41 arithmetic : 4295/56000 (mem: 853.09 MiB) 16:35:41 delta range : 1886/18000 (mem: 853.09 MiB) 16:35:41 elliptic : 2/6000 (mem: 853.09 MiB) 16:35:41 auxiliary : 26/26000 (mem: 853.09 MiB) 16:35:41 poseidon ext : 512/17000 (mem: 853.09 MiB) 16:35:41 poseidon int : 2909/92000 (mem: 853.09 MiB) 16:35:41 overflow : 0/0 (mem: 853.09 MiB) 16:35:41 (mem: 853.09 MiB) 16:35:41 Total structured size: 242025 (mem: 853.09 MiB) 16:35:41 allocating polynomials object in proving key... (mem: 853.09 MiB) 16:35:41 populating trace... (mem: 853.09 MiB) 16:35:41 time to construct proving key: 21 ms. (mem: 853.09 MiB) 16:35:41 getting honk vk... precomputed?: 0x6314fd029500 (mem: 853.09 MiB) 16:35:41 computing folding proof (mem: 853.09 MiB) 16:35:42 oink prover on each incomplete key (mem: 853.09 MiB) 16:35:42 perturbator round (mem: 853.09 MiB) 16:35:42 combiner quotient round (mem: 853.20 MiB) 16:35:42 folded (mem: 853.20 MiB) 16:35:42 constructed folding proof (mem: 853.20 MiB) 16:35:42 ClientIVC: accumulating private_kernel_inner (mem: 853.20 MiB) 16:35:42 Constructing DeciderProvingKey (mem: 853.20 MiB) 16:35:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 853.20 MiB) 16:35:42 goblin ecc op : 792/1024 (mem: 853.20 MiB) 16:35:42 busread : 4185/6000 (mem: 853.20 MiB) 16:35:42 lookups : 2/15000 (mem: 853.20 MiB) 16:35:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 853.20 MiB) 16:35:42 arithmetic : 43917/56000 (mem: 853.20 MiB) 16:35:42 delta range : 4930/18000 (mem: 853.20 MiB) 16:35:42 elliptic : 340/6000 (mem: 853.20 MiB) 16:35:42 auxiliary : 1399/26000 (mem: 853.20 MiB) 16:35:42 poseidon ext : 5652/17000 (mem: 853.20 MiB) 16:35:42 poseidon int : 32207/92000 (mem: 853.20 MiB) 16:35:42 overflow : 0/0 (mem: 853.20 MiB) 16:35:42 (mem: 853.20 MiB) 16:35:42 Total structured size: 242025 (mem: 853.20 MiB) 16:35:42 allocating polynomials object in proving key... (mem: 853.20 MiB) 16:35:42 populating trace... (mem: 853.20 MiB) 16:35:42 time to construct proving key: 46 ms. (mem: 853.20 MiB) 16:35:42 getting honk vk... precomputed?: 0x6314fe1faac0 (mem: 853.20 MiB) 16:35:42 computing folding proof (mem: 853.20 MiB) 16:35:42 oink prover on each incomplete key (mem: 853.20 MiB) 16:35:43 perturbator round (mem: 858.08 MiB) 16:35:43 combiner quotient round (mem: 890.08 MiB) 16:35:43 folded (mem: 890.08 MiB) 16:35:43 constructed folding proof (mem: 890.08 MiB) 16:35:43 ClientIVC: accumulating Token:transfer_to_public (mem: 890.08 MiB) 16:35:43 Constructing DeciderProvingKey (mem: 890.08 MiB) 16:35:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 890.08 MiB) 16:35:43 goblin ecc op : 4/1024 (mem: 890.08 MiB) 16:35:43 busread : 743/6000 (mem: 890.08 MiB) 16:35:43 lookups : 9354/15000 (mem: 890.08 MiB) 16:35:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 890.08 MiB) 16:35:43 arithmetic : 48253/56000 (mem: 890.08 MiB) 16:35:43 delta range : 5962/18000 (mem: 890.08 MiB) 16:35:43 elliptic : 5806/6000 (mem: 890.08 MiB) 16:35:43 auxiliary : 20704/26000 (mem: 890.08 MiB) 16:35:43 poseidon ext : 2842/17000 (mem: 890.08 MiB) 16:35:43 poseidon int : 16190/92000 (mem: 890.08 MiB) 16:35:43 overflow : 0/0 (mem: 890.08 MiB) 16:35:43 (mem: 890.08 MiB) 16:35:43 Total structured size: 242025 (mem: 890.08 MiB) 16:35:43 allocating polynomials object in proving key... (mem: 890.08 MiB) 16:35:43 populating trace... (mem: 890.08 MiB) 16:35:43 time to construct proving key: 65 ms. (mem: 890.08 MiB) 16:35:43 getting honk vk... precomputed?: 0x6314fdd643c0 (mem: 890.08 MiB) 16:35:43 computing folding proof (mem: 890.08 MiB) 16:35:43 oink prover on each incomplete key (mem: 890.08 MiB) 16:35:43 perturbator round (mem: 890.08 MiB) 16:35:44 combiner quotient round (mem: 919.88 MiB) 16:35:44 folded (mem: 919.88 MiB) 16:35:44 constructed folding proof (mem: 919.88 MiB) 16:35:44 ClientIVC: accumulating private_kernel_inner (mem: 919.88 MiB) 16:35:44 Constructing DeciderProvingKey (mem: 919.88 MiB) 16:35:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 919.88 MiB) 16:35:44 goblin ecc op : 792/1024 (mem: 919.88 MiB) 16:35:44 busread : 4185/6000 (mem: 919.88 MiB) 16:35:44 lookups : 2/15000 (mem: 919.88 MiB) 16:35:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 919.88 MiB) 16:35:44 arithmetic : 43917/56000 (mem: 919.88 MiB) 16:35:44 delta range : 4930/18000 (mem: 919.88 MiB) 16:35:44 elliptic : 340/6000 (mem: 919.88 MiB) 16:35:44 auxiliary : 1399/26000 (mem: 919.88 MiB) 16:35:44 poseidon ext : 5652/17000 (mem: 919.88 MiB) 16:35:44 poseidon int : 32207/92000 (mem: 919.88 MiB) 16:35:44 overflow : 0/0 (mem: 919.88 MiB) 16:35:44 (mem: 919.88 MiB) 16:35:44 Total structured size: 242025 (mem: 919.88 MiB) 16:35:44 allocating polynomials object in proving key... (mem: 919.88 MiB) 16:35:44 populating trace... (mem: 919.88 MiB) 16:35:44 time to construct proving key: 54 ms. (mem: 919.88 MiB) 16:35:44 getting honk vk... precomputed?: 0x6314fb14c900 (mem: 919.88 MiB) 16:35:44 computing folding proof (mem: 919.88 MiB) 16:35:44 oink prover on each incomplete key (mem: 919.88 MiB) 16:35:44 perturbator round (mem: 919.88 MiB) 16:35:45 combiner quotient round (mem: 920.73 MiB) 16:35:45 folded (mem: 920.73 MiB) 16:35:45 constructed folding proof (mem: 920.73 MiB) 16:35:45 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 920.73 MiB) 16:35:45 Constructing DeciderProvingKey (mem: 920.73 MiB) 16:35:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 920.73 MiB) 16:35:45 goblin ecc op : 4/1024 (mem: 920.73 MiB) 16:35:45 busread : 743/6000 (mem: 920.73 MiB) 16:35:45 lookups : 2898/15000 (mem: 920.73 MiB) 16:35:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 920.73 MiB) 16:35:45 arithmetic : 37521/56000 (mem: 920.73 MiB) 16:35:45 delta range : 17045/18000 (mem: 920.73 MiB) 16:35:45 elliptic : 2/6000 (mem: 920.73 MiB) 16:35:45 auxiliary : 21404/26000 (mem: 920.73 MiB) 16:35:45 poseidon ext : 82/17000 (mem: 920.73 MiB) 16:35:45 poseidon int : 458/92000 (mem: 920.73 MiB) 16:35:45 overflow : 0/0 (mem: 920.73 MiB) 16:35:45 (mem: 920.73 MiB) 16:35:45 Total structured size: 242025 (mem: 920.73 MiB) 16:35:45 allocating polynomials object in proving key... (mem: 920.73 MiB) 16:35:45 populating trace... (mem: 920.73 MiB) 16:35:45 time to construct proving key: 63 ms. (mem: 920.73 MiB) 16:35:45 getting honk vk... precomputed?: 0x6314fe9019c0 (mem: 920.73 MiB) 16:35:45 computing folding proof (mem: 920.73 MiB) 16:35:45 oink prover on each incomplete key (mem: 920.73 MiB) 16:35:45 perturbator round (mem: 920.73 MiB) 16:35:46 combiner quotient round (mem: 920.73 MiB) 16:35:46 folded (mem: 920.73 MiB) 16:35:46 constructed folding proof (mem: 920.73 MiB) 16:35:46 ClientIVC: accumulating private_kernel_inner (mem: 920.73 MiB) 16:35:46 Constructing DeciderProvingKey (mem: 920.73 MiB) 16:35:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 920.73 MiB) 16:35:46 goblin ecc op : 792/1024 (mem: 920.73 MiB) 16:35:46 busread : 4185/6000 (mem: 920.73 MiB) 16:35:46 lookups : 2/15000 (mem: 920.73 MiB) 16:35:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 920.73 MiB) 16:35:46 arithmetic : 43917/56000 (mem: 920.73 MiB) 16:35:46 delta range : 4930/18000 (mem: 920.73 MiB) 16:35:46 elliptic : 340/6000 (mem: 920.73 MiB) 16:35:46 auxiliary : 1399/26000 (mem: 920.73 MiB) 16:35:46 poseidon ext : 5652/17000 (mem: 920.73 MiB) 16:35:46 poseidon int : 32207/92000 (mem: 920.73 MiB) 16:35:46 overflow : 0/0 (mem: 920.73 MiB) 16:35:46 (mem: 920.73 MiB) 16:35:46 Total structured size: 242025 (mem: 920.73 MiB) 16:35:46 allocating polynomials object in proving key... (mem: 920.73 MiB) 16:35:46 populating trace... (mem: 920.73 MiB) 16:35:46 time to construct proving key: 43 ms. (mem: 920.73 MiB) 16:35:46 getting honk vk... precomputed?: 0x63150008f440 (mem: 920.73 MiB) 16:35:46 computing folding proof (mem: 920.73 MiB) 16:35:46 oink prover on each incomplete key (mem: 920.73 MiB) 16:35:46 perturbator round (mem: 920.73 MiB) 16:35:47 combiner quotient round (mem: 920.73 MiB) 16:35:47 folded (mem: 920.73 MiB) 16:35:47 constructed folding proof (mem: 920.73 MiB) 16:35:47 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 920.73 MiB) 16:35:47 Constructing DeciderProvingKey (mem: 920.73 MiB) 16:35:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 920.73 MiB) 16:35:47 goblin ecc op : 4/1024 (mem: 920.73 MiB) 16:35:47 busread : 743/6000 (mem: 920.73 MiB) 16:35:47 lookups : 9354/15000 (mem: 920.73 MiB) 16:35:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 920.73 MiB) 16:35:47 arithmetic : 13534/56000 (mem: 920.73 MiB) 16:35:47 delta range : 2262/18000 (mem: 920.73 MiB) 16:35:47 elliptic : 670/6000 (mem: 920.73 MiB) 16:35:47 auxiliary : 543/26000 (mem: 920.73 MiB) 16:35:47 poseidon ext : 62/17000 (mem: 920.73 MiB) 16:35:47 poseidon int : 344/92000 (mem: 920.73 MiB) 16:35:47 overflow : 0/0 (mem: 920.73 MiB) 16:35:47 (mem: 920.73 MiB) 16:35:47 Total structured size: 242025 (mem: 920.73 MiB) 16:35:47 allocating polynomials object in proving key... (mem: 920.73 MiB) 16:35:47 populating trace... (mem: 920.73 MiB) 16:35:47 time to construct proving key: 35 ms. (mem: 920.73 MiB) 16:35:47 getting honk vk... precomputed?: 0x6314fd16cec0 (mem: 920.73 MiB) 16:35:47 computing folding proof (mem: 920.73 MiB) 16:35:47 oink prover on each incomplete key (mem: 920.73 MiB) 16:35:47 perturbator round (mem: 920.73 MiB) 16:35:47 combiner quotient round (mem: 920.73 MiB) 16:35:47 folded (mem: 920.73 MiB) 16:35:47 constructed folding proof (mem: 920.73 MiB) 16:35:48 ClientIVC: accumulating private_kernel_inner (mem: 920.73 MiB) 16:35:48 Constructing DeciderProvingKey (mem: 920.73 MiB) 16:35:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 920.73 MiB) 16:35:48 goblin ecc op : 792/1024 (mem: 920.73 MiB) 16:35:48 busread : 4185/6000 (mem: 920.73 MiB) 16:35:48 lookups : 2/15000 (mem: 920.73 MiB) 16:35:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 920.73 MiB) 16:35:48 arithmetic : 43917/56000 (mem: 920.73 MiB) 16:35:48 delta range : 4930/18000 (mem: 920.73 MiB) 16:35:48 elliptic : 340/6000 (mem: 920.73 MiB) 16:35:48 auxiliary : 1399/26000 (mem: 920.73 MiB) 16:35:48 poseidon ext : 5652/17000 (mem: 920.73 MiB) 16:35:48 poseidon int : 32207/92000 (mem: 920.73 MiB) 16:35:48 overflow : 0/0 (mem: 920.73 MiB) 16:35:48 (mem: 920.73 MiB) 16:35:48 Total structured size: 242025 (mem: 920.73 MiB) 16:35:48 allocating polynomials object in proving key... (mem: 920.73 MiB) 16:35:48 populating trace... (mem: 920.73 MiB) 16:35:48 time to construct proving key: 43 ms. (mem: 920.73 MiB) 16:35:48 getting honk vk... precomputed?: 0x6314fdd85ec0 (mem: 920.73 MiB) 16:35:48 computing folding proof (mem: 920.73 MiB) 16:35:48 oink prover on each incomplete key (mem: 920.73 MiB) 16:35:48 perturbator round (mem: 920.73 MiB) 16:35:48 combiner quotient round (mem: 923.73 MiB) 16:35:48 folded (mem: 923.73 MiB) 16:35:48 constructed folding proof (mem: 923.73 MiB) 16:35:49 ClientIVC: accumulating Token:transfer (mem: 923.73 MiB) 16:35:49 Constructing DeciderProvingKey (mem: 923.73 MiB) 16:35:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 923.73 MiB) 16:35:49 goblin ecc op : 4/1024 (mem: 923.73 MiB) 16:35:49 busread : 743/6000 (mem: 923.73 MiB) 16:35:49 lookups : 8266/15000 (mem: 923.73 MiB) 16:35:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 923.73 MiB) 16:35:49 arithmetic : 17364/56000 (mem: 923.73 MiB) 16:35:49 delta range : 3235/18000 (mem: 923.73 MiB) 16:35:49 elliptic : 1314/6000 (mem: 923.73 MiB) 16:35:49 auxiliary : 9441/26000 (mem: 923.73 MiB) 16:35:49 poseidon ext : 442/17000 (mem: 923.73 MiB) 16:35:49 poseidon int : 2510/92000 (mem: 923.73 MiB) 16:35:49 overflow : 0/0 (mem: 923.73 MiB) 16:35:49 (mem: 923.73 MiB) 16:35:49 Total structured size: 242025 (mem: 923.73 MiB) 16:35:49 allocating polynomials object in proving key... (mem: 923.73 MiB) 16:35:49 populating trace... (mem: 923.73 MiB) 16:35:49 time to construct proving key: 40 ms. (mem: 923.73 MiB) 16:35:49 getting honk vk... precomputed?: 0x6314fab8c640 (mem: 923.73 MiB) 16:35:49 computing folding proof (mem: 923.73 MiB) 16:35:49 oink prover on each incomplete key (mem: 923.73 MiB) 16:35:49 perturbator round (mem: 923.73 MiB) 16:35:49 combiner quotient round (mem: 923.73 MiB) 16:35:49 folded (mem: 923.73 MiB) 16:35:49 constructed folding proof (mem: 923.73 MiB) 16:35:49 ClientIVC: accumulating private_kernel_inner (mem: 923.73 MiB) 16:35:49 Constructing DeciderProvingKey (mem: 923.73 MiB) 16:35:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 923.73 MiB) 16:35:49 goblin ecc op : 792/1024 (mem: 923.73 MiB) 16:35:49 busread : 4185/6000 (mem: 923.73 MiB) 16:35:49 lookups : 2/15000 (mem: 923.73 MiB) 16:35:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 923.73 MiB) 16:35:49 arithmetic : 43917/56000 (mem: 923.73 MiB) 16:35:49 delta range : 4930/18000 (mem: 923.73 MiB) 16:35:49 elliptic : 340/6000 (mem: 923.73 MiB) 16:35:49 auxiliary : 1399/26000 (mem: 923.73 MiB) 16:35:49 poseidon ext : 5652/17000 (mem: 923.73 MiB) 16:35:49 poseidon int : 32207/92000 (mem: 923.73 MiB) 16:35:49 overflow : 0/0 (mem: 923.73 MiB) 16:35:49 (mem: 923.73 MiB) 16:35:49 Total structured size: 242025 (mem: 923.73 MiB) 16:35:49 allocating polynomials object in proving key... (mem: 923.73 MiB) 16:35:49 populating trace... (mem: 923.73 MiB) 16:35:49 time to construct proving key: 42 ms. (mem: 923.73 MiB) 16:35:49 getting honk vk... precomputed?: 0x6314fe5cfe00 (mem: 923.73 MiB) 16:35:49 computing folding proof (mem: 923.73 MiB) 16:35:50 oink prover on each incomplete key (mem: 923.73 MiB) 16:35:50 perturbator round (mem: 923.73 MiB) 16:35:50 combiner quotient round (mem: 927.42 MiB) 16:35:50 folded (mem: 927.42 MiB) 16:35:50 constructed folding proof (mem: 927.42 MiB) 16:35:50 ClientIVC: accumulating private_kernel_reset (mem: 927.42 MiB) 16:35:50 Constructing DeciderProvingKey (mem: 927.42 MiB) 16:35:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 927.42 MiB) 16:35:50 goblin ecc op : 392/1024 (mem: 927.42 MiB) 16:35:50 busread : 2732/6000 (mem: 927.42 MiB) 16:35:50 lookups : 2/15000 (mem: 927.42 MiB) 16:35:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 927.42 MiB) 16:35:50 arithmetic : 51946/56000 (mem: 927.42 MiB) 16:35:50 delta range : 4846/18000 (mem: 927.42 MiB) 16:35:50 elliptic : 1274/6000 (mem: 927.42 MiB) 16:35:50 auxiliary : 17680/26000 (mem: 927.42 MiB) 16:35:50 poseidon ext : 12012/17000 (mem: 927.42 MiB) 16:35:50 poseidon int : 68459/92000 (mem: 927.42 MiB) 16:35:50 overflow : 0/0 (mem: 927.42 MiB) 16:35:50 (mem: 927.42 MiB) 16:35:50 Total structured size: 242025 (mem: 927.42 MiB) 16:35:50 allocating polynomials object in proving key... (mem: 927.42 MiB) 16:35:50 populating trace... (mem: 927.42 MiB) 16:35:51 time to construct proving key: 71 ms. (mem: 928.43 MiB) 16:35:51 getting honk vk... precomputed?: 0x6314fbfd4780 (mem: 928.43 MiB) 16:35:51 computing folding proof (mem: 928.43 MiB) 16:35:51 oink prover on each incomplete key (mem: 948.43 MiB) 16:35:51 perturbator round (mem: 948.43 MiB) 16:35:51 combiner quotient round (mem: 973.97 MiB) 16:35:52 folded (mem: 973.97 MiB) 16:35:52 constructed folding proof (mem: 973.97 MiB) 16:35:52 ClientIVC: accumulating private_kernel_tail (mem: 973.97 MiB) 16:35:52 Constructing DeciderProvingKey (mem: 973.97 MiB) 16:35:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 973.97 MiB) 16:35:52 goblin ecc op : 392/1024 (mem: 973.97 MiB) 16:35:52 busread : 222/6000 (mem: 973.97 MiB) 16:35:52 lookups : 2/15000 (mem: 973.97 MiB) 16:35:52 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: 973.97 MiB) 16:35:52 arithmetic : 21298/56000 (mem: 973.97 MiB) 16:35:52 delta range : 3622/18000 (mem: 973.97 MiB) 16:35:52 elliptic : 2/6000 (mem: 973.97 MiB) 16:35:52 auxiliary : 7134/26000 (mem: 973.97 MiB) 16:35:52 poseidon ext : 2532/17000 (mem: 973.97 MiB) 16:35:52 poseidon int : 14423/92000 (mem: 973.97 MiB) 16:35:52 overflow : 0/0 (mem: 973.97 MiB) 16:35:52 (mem: 973.97 MiB) 16:35:52 Total structured size: 242025 (mem: 973.97 MiB) 16:35:52 allocating polynomials object in proving key... (mem: 973.97 MiB) 16:35:52 populating trace... (mem: 973.97 MiB) 16:35:52 time to construct proving key: 35 ms. (mem: 973.97 MiB) 16:35:52 getting honk vk... precomputed?: 0x6314fdb46e40 (mem: 973.97 MiB) 16:35:52 computing folding proof (mem: 973.97 MiB) 16:35:52 oink prover on each incomplete key (mem: 973.97 MiB) 16:35:52 perturbator round (mem: 973.97 MiB) 16:35:52 combiner quotient round (mem: 973.97 MiB) 16:35:52 folded (mem: 973.97 MiB) 16:35:52 constructed folding proof (mem: 973.97 MiB) 16:35:52 Largest circuit: 158951 gates. Trace details: (mem: 973.97 MiB) 16:35:52 Minimum required block sizes for structured trace: (mem: 973.97 MiB) 16:35:52 ecc_op : 792 16:35:52 busread : 4185 16:35:52 lookup : 9354 16:35:52 pub_inputs : 1876 16:35:52 arithmetic : 51946 16:35:52 delta_range : 17435 16:35:52 elliptic : 5806 16:35:52 aux : 25394 16:35:52 poseidon2_external : 12012 16:35:52 poseidon2_internal : 68459 16:35:52 overflow : 0 16:35:52 (mem: 973.97 MiB) 16:35:52 prove decider... (mem: 973.97 MiB) 16:35:52 finished decider proving. (mem: 973.97 MiB) 16:35:53 starting sumcheck rounds... (mem: 973.97 MiB) 16:35:53 completed 18 rounds of sumcheck (mem: 973.97 MiB) 16:35:53 executed multivariate-to-univariate reduction (mem: 973.97 MiB) 16:35:53 computed opening proof (mem: 973.97 MiB) 16:35:53 Constructing DeciderProvingKey (mem: 973.97 MiB) 16:35:53 allocating polynomials object in proving key... (mem: 973.97 MiB) 16:35:53 populating trace... (mem: 973.97 MiB) 16:35:53 time to construct proving key: 46 ms. (mem: 973.97 MiB) 16:35:54 created oink proof (mem: 973.97 MiB) 16:35:54 starting sumcheck rounds... (mem: 973.97 MiB) 16:35:54 completed 17 rounds of sumcheck (mem: 973.97 MiB) 16:35:55 executed multivariate-to-univariate reduction (mem: 973.97 MiB) 16:35:55 computed opening proof (mem: 973.97 MiB) 16:35:55 Constructing a Goblin proof with num ultra ops = 5410 (mem: 973.97 MiB) 16:35:55 prove eccvm... (mem: 973.97 MiB) 16:35:55 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 973.97 MiB) 16:35:55 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 973.97 MiB) 16:35:57 starting sumcheck rounds... (mem: 973.97 MiB) 16:35:58 completed 16 rounds of sumcheck (mem: 973.97 MiB) 16:35:58 finished eccvm proving. (mem: 973.97 MiB) 16:35:58 prove translator... (mem: 973.97 MiB) 16:36:00 starting sumcheck rounds... (mem: 973.97 MiB) 16:36:00 completed 18 rounds of sumcheck (mem: 973.97 MiB) 16:36:01 computed opening proof (mem: 1023.67 MiB) 16:36:01 finished translator proving. (mem: 1023.67 MiB) 16:36:01 Mega verified: 1 (mem: 1023.67 MiB) 16:36:01 eccvm sumcheck verified?: 1 (mem: 1024.67 MiB) 16:36:01 batch opening verified?: 1 (mem: 1024.67 MiB) 16:36:01 eccvm consistency check verified?: 1 (mem: 1024.67 MiB) 16:36:01 translation masking consistency checked?: 1 (mem: 1024.67 MiB) 16:36:01 merge verified?: 1 (mem: 1024.67 MiB) 16:36:01 eccvm verified?: 1 (mem: 1024.67 MiB) 16:36:01 accumulator construction_verified?: 1 (mem: 1024.67 MiB) 16:36:01 translation verified?: 1 (mem: 1024.67 MiB) 16:36:01 consistency verified?: 1 (mem: 1024.67 MiB) 16:36:01 Goblin verified: 1 (mem: 1024.67 MiB) 16:36:01 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_0_recursions+private_fpc/native" (mem: 1024.67 MiB) 16:36:01 ecdsar1+transfer_0_recursions+private_fpc (native) has proven in 22s and peak memory of 1024MB. 16:36:02 ecdsar1+transfer_0_recursions+private_fpc (native) has verified.