Parent Log: http://ci.aztec-labs.com/2db85b3c3ed8e82c Command: 59d7caa3bc5b3609:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_1_recursions+private_fpc Commit: https://github.com/AztecProtocol/aztec-packages/commit/1338cef09c870378254c56748f972ae827c4d482 Env: REF_NAME=gh-readonly-queue/master/pr-14982-dada14e07a974e905ef606b4fac7c777b922587f CURRENT_VERSION=0.87.8 CI_FULL=1 Date: Thu Jun 12 07:01:41 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14982_amd64_x2-full Resources: CPU_LIST=56,57,58,59,60,61,62,63 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_cdfef3dcc8841a05_master 07:01:41 --- bb ivc flow bench --- 07:01:41 bb command: prove (mem: 7.00 MiB) 07:01:41 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 07:01:41 --scheme: client_ivc (mem: 7.00 MiB) 07:01:41 --output_path: bench-out/app-proving/ecdsar1+transfer_1_recursions+private_fpc/native (mem: 7.00 MiB) 07:01:41 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_1_recursions+private_fpc/ivc-inputs.msgpack (mem: 7.00 MiB) 07:01:41 --verbose: true (mem: 7.00 MiB) 07:01:42 BN254 commitment key size: 262144 (mem: 231.64 MiB) 07:01:42 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 324.16 MiB) 07:01:42 Initialized BN254 CRS from memory with num points = 262209 (mem: 388.16 MiB) 07:01:42 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 388.16 MiB) 07:01:42 Constructing DeciderProvingKey (mem: 388.16 MiB) 07:01:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 388.16 MiB) 07:01:42 goblin ecc op : 4/1024 (mem: 388.16 MiB) 07:01:42 busread : 743/6000 (mem: 388.16 MiB) 07:01:42 lookups : 2898/15000 (mem: 388.16 MiB) 07:01:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 388.16 MiB) 07:01:42 arithmetic : 39564/56000 (mem: 388.16 MiB) 07:01:42 delta range : 17435/18000 (mem: 388.16 MiB) 07:01:42 elliptic : 2/6000 (mem: 388.16 MiB) 07:01:42 auxiliary : 25394/26000 (mem: 388.16 MiB) 07:01:42 poseidon ext : 322/17000 (mem: 388.16 MiB) 07:01:42 poseidon int : 1826/92000 (mem: 388.16 MiB) 07:01:42 overflow : 0/0 (mem: 388.16 MiB) 07:01:42 (mem: 388.16 MiB) 07:01:42 Total structured size: 242025 (mem: 388.16 MiB) 07:01:42 allocating polynomials object in proving key... (mem: 388.16 MiB) 07:01:42 populating trace... (mem: 601.73 MiB) 07:01:42 time to construct proving key: 89 ms. (mem: 623.73 MiB) 07:01:42 getting honk vk... precomputed?: 0x5f772eaea580 (mem: 623.73 MiB) 07:01:42 computing oink proof... (mem: 623.73 MiB) 07:01:43 oink proof constructed (mem: 635.73 MiB) 07:01:43 ClientIVC: accumulating private_kernel_init (mem: 635.73 MiB) 07:01:43 Constructing DeciderProvingKey (mem: 635.73 MiB) 07:01:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 635.73 MiB) 07:01:43 goblin ecc op : 56/1024 (mem: 635.73 MiB) 07:01:43 busread : 2530/6000 (mem: 635.73 MiB) 07:01:43 lookups : 2/15000 (mem: 635.73 MiB) 07:01:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 635.73 MiB) 07:01:43 arithmetic : 21193/56000 (mem: 635.73 MiB) 07:01:43 delta range : 2974/18000 (mem: 635.73 MiB) 07:01:43 elliptic : 340/6000 (mem: 635.73 MiB) 07:01:43 auxiliary : 799/26000 (mem: 635.73 MiB) 07:01:43 poseidon ext : 2012/17000 (mem: 635.73 MiB) 07:01:43 poseidon int : 11459/92000 (mem: 635.73 MiB) 07:01:43 overflow : 0/0 (mem: 635.73 MiB) 07:01:43 (mem: 635.73 MiB) 07:01:43 Total structured size: 242025 (mem: 635.73 MiB) 07:01:43 allocating polynomials object in proving key... (mem: 635.73 MiB) 07:01:43 populating trace... (mem: 799.73 MiB) 07:01:43 time to construct proving key: 35 ms. (mem: 815.73 MiB) 07:01:43 getting honk vk... precomputed?: 0x5f7730ff63c0 (mem: 815.73 MiB) 07:01:43 computing folding proof (mem: 815.73 MiB) 07:01:43 oink prover on each incomplete key (mem: 821.73 MiB) 07:01:43 perturbator round (mem: 839.73 MiB) 07:01:43 combiner quotient round (mem: 872.73 MiB) 07:01:43 folded (mem: 872.73 MiB) 07:01:43 constructed folding proof (mem: 872.73 MiB) 07:01:43 ClientIVC: accumulating FPC:fee_entrypoint_private (mem: 872.73 MiB) 07:01:43 Constructing DeciderProvingKey (mem: 872.73 MiB) 07:01:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 872.73 MiB) 07:01:43 goblin ecc op : 4/1024 (mem: 872.73 MiB) 07:01:43 busread : 743/6000 (mem: 872.73 MiB) 07:01:43 lookups : 2/15000 (mem: 872.73 MiB) 07:01:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 872.73 MiB) 07:01:43 arithmetic : 4295/56000 (mem: 872.73 MiB) 07:01:43 delta range : 1886/18000 (mem: 872.73 MiB) 07:01:43 elliptic : 2/6000 (mem: 872.73 MiB) 07:01:43 auxiliary : 26/26000 (mem: 872.73 MiB) 07:01:43 poseidon ext : 512/17000 (mem: 872.73 MiB) 07:01:43 poseidon int : 2909/92000 (mem: 872.73 MiB) 07:01:43 overflow : 0/0 (mem: 872.73 MiB) 07:01:43 (mem: 872.73 MiB) 07:01:43 Total structured size: 242025 (mem: 872.73 MiB) 07:01:43 allocating polynomials object in proving key... (mem: 872.73 MiB) 07:01:43 populating trace... (mem: 872.73 MiB) 07:01:43 time to construct proving key: 16 ms. (mem: 872.73 MiB) 07:01:43 getting honk vk... precomputed?: 0x5f772eaeadc0 (mem: 872.73 MiB) 07:01:43 computing folding proof (mem: 872.73 MiB) 07:01:43 oink prover on each incomplete key (mem: 872.73 MiB) 07:01:44 perturbator round (mem: 872.73 MiB) 07:01:44 combiner quotient round (mem: 872.94 MiB) 07:01:44 folded (mem: 872.94 MiB) 07:01:44 constructed folding proof (mem: 872.94 MiB) 07:01:44 ClientIVC: accumulating private_kernel_inner (mem: 872.94 MiB) 07:01:44 Constructing DeciderProvingKey (mem: 872.94 MiB) 07:01:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 872.94 MiB) 07:01:44 goblin ecc op : 792/1024 (mem: 872.94 MiB) 07:01:44 busread : 4185/6000 (mem: 872.94 MiB) 07:01:44 lookups : 2/15000 (mem: 872.94 MiB) 07:01:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 872.94 MiB) 07:01:44 arithmetic : 43917/56000 (mem: 872.94 MiB) 07:01:44 delta range : 4930/18000 (mem: 872.94 MiB) 07:01:44 elliptic : 340/6000 (mem: 872.94 MiB) 07:01:44 auxiliary : 1399/26000 (mem: 872.94 MiB) 07:01:44 poseidon ext : 5652/17000 (mem: 872.94 MiB) 07:01:44 poseidon int : 32207/92000 (mem: 872.94 MiB) 07:01:44 overflow : 0/0 (mem: 872.94 MiB) 07:01:44 (mem: 872.94 MiB) 07:01:44 Total structured size: 242025 (mem: 872.94 MiB) 07:01:44 allocating polynomials object in proving key... (mem: 872.94 MiB) 07:01:44 populating trace... (mem: 872.94 MiB) 07:01:44 time to construct proving key: 55 ms. (mem: 872.94 MiB) 07:01:44 getting honk vk... precomputed?: 0x5f7732050900 (mem: 872.94 MiB) 07:01:44 computing folding proof (mem: 872.94 MiB) 07:01:44 oink prover on each incomplete key (mem: 872.94 MiB) 07:01:44 perturbator round (mem: 875.09 MiB) 07:01:45 combiner quotient round (mem: 907.09 MiB) 07:01:45 folded (mem: 907.09 MiB) 07:01:45 constructed folding proof (mem: 907.09 MiB) 07:01:45 ClientIVC: accumulating Token:transfer_to_public (mem: 907.09 MiB) 07:01:45 Constructing DeciderProvingKey (mem: 907.09 MiB) 07:01:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 907.09 MiB) 07:01:45 goblin ecc op : 4/1024 (mem: 907.09 MiB) 07:01:45 busread : 743/6000 (mem: 907.09 MiB) 07:01:45 lookups : 9354/15000 (mem: 907.09 MiB) 07:01:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 907.09 MiB) 07:01:45 arithmetic : 48253/56000 (mem: 907.09 MiB) 07:01:45 delta range : 5962/18000 (mem: 907.09 MiB) 07:01:45 elliptic : 5806/6000 (mem: 907.09 MiB) 07:01:45 auxiliary : 20704/26000 (mem: 907.09 MiB) 07:01:45 poseidon ext : 2842/17000 (mem: 907.09 MiB) 07:01:45 poseidon int : 16190/92000 (mem: 907.09 MiB) 07:01:45 overflow : 0/0 (mem: 907.09 MiB) 07:01:45 (mem: 907.09 MiB) 07:01:45 Total structured size: 242025 (mem: 907.09 MiB) 07:01:45 allocating polynomials object in proving key... (mem: 907.09 MiB) 07:01:45 populating trace... (mem: 907.09 MiB) 07:01:45 time to construct proving key: 65 ms. (mem: 907.09 MiB) 07:01:45 getting honk vk... precomputed?: 0x5f7731d27f40 (mem: 907.09 MiB) 07:01:45 computing folding proof (mem: 907.09 MiB) 07:01:45 oink prover on each incomplete key (mem: 907.09 MiB) 07:01:45 perturbator round (mem: 907.52 MiB) 07:01:46 combiner quotient round (mem: 939.52 MiB) 07:01:46 folded (mem: 939.52 MiB) 07:01:46 constructed folding proof (mem: 939.52 MiB) 07:01:46 ClientIVC: accumulating private_kernel_inner (mem: 939.52 MiB) 07:01:46 Constructing DeciderProvingKey (mem: 939.52 MiB) 07:01:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 939.52 MiB) 07:01:46 goblin ecc op : 792/1024 (mem: 939.52 MiB) 07:01:46 busread : 4185/6000 (mem: 939.52 MiB) 07:01:46 lookups : 2/15000 (mem: 939.52 MiB) 07:01:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 939.52 MiB) 07:01:46 arithmetic : 43917/56000 (mem: 939.52 MiB) 07:01:46 delta range : 4930/18000 (mem: 939.52 MiB) 07:01:46 elliptic : 340/6000 (mem: 939.52 MiB) 07:01:46 auxiliary : 1399/26000 (mem: 939.52 MiB) 07:01:46 poseidon ext : 5652/17000 (mem: 939.52 MiB) 07:01:46 poseidon int : 32207/92000 (mem: 939.52 MiB) 07:01:46 overflow : 0/0 (mem: 939.52 MiB) 07:01:46 (mem: 939.52 MiB) 07:01:46 Total structured size: 242025 (mem: 939.52 MiB) 07:01:46 allocating polynomials object in proving key... (mem: 939.52 MiB) 07:01:46 populating trace... (mem: 939.52 MiB) 07:01:46 time to construct proving key: 43 ms. (mem: 939.52 MiB) 07:01:46 getting honk vk... precomputed?: 0x5f77323b51c0 (mem: 939.52 MiB) 07:01:46 computing folding proof (mem: 939.52 MiB) 07:01:46 oink prover on each incomplete key (mem: 939.52 MiB) 07:01:46 perturbator round (mem: 939.52 MiB) 07:01:47 combiner quotient round (mem: 939.93 MiB) 07:01:47 folded (mem: 939.93 MiB) 07:01:47 constructed folding proof (mem: 939.93 MiB) 07:01:47 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 939.93 MiB) 07:01:47 Constructing DeciderProvingKey (mem: 939.93 MiB) 07:01:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 939.93 MiB) 07:01:47 goblin ecc op : 4/1024 (mem: 939.93 MiB) 07:01:47 busread : 743/6000 (mem: 939.93 MiB) 07:01:47 lookups : 2898/15000 (mem: 939.93 MiB) 07:01:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 939.93 MiB) 07:01:47 arithmetic : 37521/56000 (mem: 939.93 MiB) 07:01:47 delta range : 17045/18000 (mem: 939.93 MiB) 07:01:47 elliptic : 2/6000 (mem: 939.93 MiB) 07:01:47 auxiliary : 21404/26000 (mem: 939.93 MiB) 07:01:47 poseidon ext : 82/17000 (mem: 939.93 MiB) 07:01:47 poseidon int : 458/92000 (mem: 939.93 MiB) 07:01:47 overflow : 0/0 (mem: 939.93 MiB) 07:01:47 (mem: 939.93 MiB) 07:01:47 Total structured size: 242025 (mem: 939.93 MiB) 07:01:47 allocating polynomials object in proving key... (mem: 939.93 MiB) 07:01:47 populating trace... (mem: 939.93 MiB) 07:01:47 time to construct proving key: 70 ms. (mem: 939.93 MiB) 07:01:47 getting honk vk... precomputed?: 0x5f77324f6ac0 (mem: 939.93 MiB) 07:01:47 computing folding proof (mem: 939.93 MiB) 07:01:47 oink prover on each incomplete key (mem: 939.93 MiB) 07:01:47 perturbator round (mem: 939.93 MiB) 07:01:48 combiner quotient round (mem: 941.28 MiB) 07:01:48 folded (mem: 941.28 MiB) 07:01:48 constructed folding proof (mem: 941.28 MiB) 07:01:48 ClientIVC: accumulating private_kernel_inner (mem: 941.28 MiB) 07:01:48 Constructing DeciderProvingKey (mem: 941.28 MiB) 07:01:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 941.28 MiB) 07:01:48 goblin ecc op : 792/1024 (mem: 941.28 MiB) 07:01:48 busread : 4185/6000 (mem: 941.28 MiB) 07:01:48 lookups : 2/15000 (mem: 941.28 MiB) 07:01:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 941.28 MiB) 07:01:48 arithmetic : 43917/56000 (mem: 941.28 MiB) 07:01:48 delta range : 4930/18000 (mem: 941.28 MiB) 07:01:48 elliptic : 340/6000 (mem: 941.28 MiB) 07:01:48 auxiliary : 1399/26000 (mem: 941.28 MiB) 07:01:48 poseidon ext : 5652/17000 (mem: 941.28 MiB) 07:01:48 poseidon int : 32207/92000 (mem: 941.28 MiB) 07:01:48 overflow : 0/0 (mem: 941.28 MiB) 07:01:48 (mem: 941.28 MiB) 07:01:48 Total structured size: 242025 (mem: 941.28 MiB) 07:01:48 allocating polynomials object in proving key... (mem: 941.28 MiB) 07:01:48 populating trace... (mem: 941.28 MiB) 07:01:48 time to construct proving key: 44 ms. (mem: 941.28 MiB) 07:01:48 getting honk vk... precomputed?: 0x5f7735184500 (mem: 941.28 MiB) 07:01:48 computing folding proof (mem: 941.28 MiB) 07:01:48 oink prover on each incomplete key (mem: 941.28 MiB) 07:01:48 perturbator round (mem: 941.28 MiB) 07:01:49 combiner quotient round (mem: 941.74 MiB) 07:01:49 folded (mem: 941.74 MiB) 07:01:49 constructed folding proof (mem: 941.74 MiB) 07:01:49 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 941.74 MiB) 07:01:49 Constructing DeciderProvingKey (mem: 941.74 MiB) 07:01:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 941.74 MiB) 07:01:49 goblin ecc op : 4/1024 (mem: 941.74 MiB) 07:01:49 busread : 743/6000 (mem: 941.74 MiB) 07:01:49 lookups : 9354/15000 (mem: 941.74 MiB) 07:01:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 941.74 MiB) 07:01:49 arithmetic : 13534/56000 (mem: 941.74 MiB) 07:01:49 delta range : 2262/18000 (mem: 941.74 MiB) 07:01:49 elliptic : 670/6000 (mem: 941.74 MiB) 07:01:49 auxiliary : 543/26000 (mem: 941.74 MiB) 07:01:49 poseidon ext : 62/17000 (mem: 941.74 MiB) 07:01:49 poseidon int : 344/92000 (mem: 941.74 MiB) 07:01:49 overflow : 0/0 (mem: 941.74 MiB) 07:01:49 (mem: 941.74 MiB) 07:01:49 Total structured size: 242025 (mem: 941.74 MiB) 07:01:49 allocating polynomials object in proving key... (mem: 941.74 MiB) 07:01:49 populating trace... (mem: 941.74 MiB) 07:01:49 time to construct proving key: 31 ms. (mem: 941.74 MiB) 07:01:49 getting honk vk... precomputed?: 0x5f7731bbdf80 (mem: 941.74 MiB) 07:01:49 computing folding proof (mem: 941.74 MiB) 07:01:49 oink prover on each incomplete key (mem: 941.74 MiB) 07:01:49 perturbator round (mem: 941.74 MiB) 07:01:49 combiner quotient round (mem: 941.74 MiB) 07:01:49 folded (mem: 941.74 MiB) 07:01:49 constructed folding proof (mem: 941.74 MiB) 07:01:50 ClientIVC: accumulating private_kernel_inner (mem: 941.74 MiB) 07:01:50 Constructing DeciderProvingKey (mem: 941.74 MiB) 07:01:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 941.74 MiB) 07:01:50 goblin ecc op : 792/1024 (mem: 941.74 MiB) 07:01:50 busread : 4185/6000 (mem: 941.74 MiB) 07:01:50 lookups : 2/15000 (mem: 941.74 MiB) 07:01:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 941.74 MiB) 07:01:50 arithmetic : 43917/56000 (mem: 941.74 MiB) 07:01:50 delta range : 4930/18000 (mem: 941.74 MiB) 07:01:50 elliptic : 340/6000 (mem: 941.74 MiB) 07:01:50 auxiliary : 1399/26000 (mem: 941.74 MiB) 07:01:50 poseidon ext : 5652/17000 (mem: 941.74 MiB) 07:01:50 poseidon int : 32207/92000 (mem: 941.74 MiB) 07:01:50 overflow : 0/0 (mem: 941.74 MiB) 07:01:50 (mem: 941.74 MiB) 07:01:50 Total structured size: 242025 (mem: 941.74 MiB) 07:01:50 allocating polynomials object in proving key... (mem: 941.74 MiB) 07:01:50 populating trace... (mem: 941.74 MiB) 07:01:50 time to construct proving key: 43 ms. (mem: 941.74 MiB) 07:01:50 getting honk vk... precomputed?: 0x5f772f292f00 (mem: 941.74 MiB) 07:01:50 computing folding proof (mem: 941.74 MiB) 07:01:50 oink prover on each incomplete key (mem: 941.74 MiB) 07:01:50 perturbator round (mem: 941.74 MiB) 07:01:50 combiner quotient round (mem: 944.74 MiB) 07:01:50 folded (mem: 944.74 MiB) 07:01:50 constructed folding proof (mem: 944.74 MiB) 07:01:50 ClientIVC: accumulating Token:transfer (mem: 944.74 MiB) 07:01:50 Constructing DeciderProvingKey (mem: 944.74 MiB) 07:01:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 944.74 MiB) 07:01:50 goblin ecc op : 4/1024 (mem: 944.74 MiB) 07:01:50 busread : 743/6000 (mem: 944.74 MiB) 07:01:50 lookups : 8266/15000 (mem: 944.74 MiB) 07:01:50 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 944.74 MiB) 07:01:50 arithmetic : 17364/56000 (mem: 944.74 MiB) 07:01:50 delta range : 3235/18000 (mem: 944.74 MiB) 07:01:50 elliptic : 1314/6000 (mem: 944.74 MiB) 07:01:50 auxiliary : 9441/26000 (mem: 944.74 MiB) 07:01:50 poseidon ext : 442/17000 (mem: 944.74 MiB) 07:01:50 poseidon int : 2510/92000 (mem: 944.74 MiB) 07:01:50 overflow : 0/0 (mem: 944.74 MiB) 07:01:50 (mem: 944.74 MiB) 07:01:50 Total structured size: 242025 (mem: 944.74 MiB) 07:01:50 allocating polynomials object in proving key... (mem: 944.74 MiB) 07:01:50 populating trace... (mem: 944.74 MiB) 07:01:51 time to construct proving key: 46 ms. (mem: 944.74 MiB) 07:01:51 getting honk vk... precomputed?: 0x5f772e3b20c0 (mem: 944.74 MiB) 07:01:51 computing folding proof (mem: 944.74 MiB) 07:01:51 oink prover on each incomplete key (mem: 944.74 MiB) 07:01:51 perturbator round (mem: 944.74 MiB) 07:01:51 combiner quotient round (mem: 944.74 MiB) 07:01:51 folded (mem: 944.74 MiB) 07:01:51 constructed folding proof (mem: 944.74 MiB) 07:01:51 ClientIVC: accumulating private_kernel_inner (mem: 944.74 MiB) 07:01:51 Constructing DeciderProvingKey (mem: 944.74 MiB) 07:01:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 944.74 MiB) 07:01:51 goblin ecc op : 792/1024 (mem: 944.74 MiB) 07:01:51 busread : 4185/6000 (mem: 944.74 MiB) 07:01:51 lookups : 2/15000 (mem: 944.74 MiB) 07:01:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 944.74 MiB) 07:01:51 arithmetic : 43917/56000 (mem: 944.74 MiB) 07:01:51 delta range : 4930/18000 (mem: 944.74 MiB) 07:01:51 elliptic : 340/6000 (mem: 944.74 MiB) 07:01:51 auxiliary : 1399/26000 (mem: 944.74 MiB) 07:01:51 poseidon ext : 5652/17000 (mem: 944.74 MiB) 07:01:51 poseidon int : 32207/92000 (mem: 944.74 MiB) 07:01:51 overflow : 0/0 (mem: 944.74 MiB) 07:01:51 (mem: 944.74 MiB) 07:01:51 Total structured size: 242025 (mem: 944.74 MiB) 07:01:51 allocating polynomials object in proving key... (mem: 944.74 MiB) 07:01:51 populating trace... (mem: 944.74 MiB) 07:01:51 time to construct proving key: 47 ms. (mem: 944.74 MiB) 07:01:51 getting honk vk... precomputed?: 0x5f7732ffcec0 (mem: 944.74 MiB) 07:01:51 computing folding proof (mem: 944.74 MiB) 07:01:52 oink prover on each incomplete key (mem: 944.74 MiB) 07:01:52 perturbator round (mem: 944.74 MiB) 07:01:52 combiner quotient round (mem: 947.74 MiB) 07:01:52 folded (mem: 947.74 MiB) 07:01:52 constructed folding proof (mem: 947.74 MiB) 07:01:52 ClientIVC: accumulating Token:_recurse_subtract_balance (mem: 947.74 MiB) 07:01:52 Constructing DeciderProvingKey (mem: 947.74 MiB) 07:01:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 947.74 MiB) 07:01:52 goblin ecc op : 4/1024 (mem: 947.74 MiB) 07:01:52 busread : 743/6000 (mem: 947.74 MiB) 07:01:52 lookups : 2/15000 (mem: 947.74 MiB) 07:01:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 947.74 MiB) 07:01:52 arithmetic : 19857/56000 (mem: 947.74 MiB) 07:01:52 delta range : 3641/18000 (mem: 947.74 MiB) 07:01:52 elliptic : 2578/6000 (mem: 947.74 MiB) 07:01:52 auxiliary : 9593/26000 (mem: 947.74 MiB) 07:01:52 poseidon ext : 1402/17000 (mem: 947.74 MiB) 07:01:52 poseidon int : 7982/92000 (mem: 947.74 MiB) 07:01:52 overflow : 0/0 (mem: 947.74 MiB) 07:01:52 (mem: 947.74 MiB) 07:01:52 Total structured size: 242025 (mem: 947.74 MiB) 07:01:52 allocating polynomials object in proving key... (mem: 947.74 MiB) 07:01:52 populating trace... (mem: 947.74 MiB) 07:01:52 time to construct proving key: 32 ms. (mem: 947.74 MiB) 07:01:52 getting honk vk... precomputed?: 0x5f77302b3940 (mem: 947.74 MiB) 07:01:52 computing folding proof (mem: 947.74 MiB) 07:01:53 oink prover on each incomplete key (mem: 947.74 MiB) 07:01:53 perturbator round (mem: 947.74 MiB) 07:01:53 combiner quotient round (mem: 947.74 MiB) 07:01:53 folded (mem: 947.74 MiB) 07:01:53 constructed folding proof (mem: 947.74 MiB) 07:01:53 ClientIVC: accumulating private_kernel_inner (mem: 947.74 MiB) 07:01:53 Constructing DeciderProvingKey (mem: 947.74 MiB) 07:01:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 947.74 MiB) 07:01:53 goblin ecc op : 792/1024 (mem: 947.74 MiB) 07:01:53 busread : 4185/6000 (mem: 947.74 MiB) 07:01:53 lookups : 2/15000 (mem: 947.74 MiB) 07:01:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 947.74 MiB) 07:01:53 arithmetic : 43917/56000 (mem: 947.74 MiB) 07:01:53 delta range : 4930/18000 (mem: 947.74 MiB) 07:01:53 elliptic : 340/6000 (mem: 947.74 MiB) 07:01:53 auxiliary : 1399/26000 (mem: 947.74 MiB) 07:01:53 poseidon ext : 5652/17000 (mem: 947.74 MiB) 07:01:53 poseidon int : 32207/92000 (mem: 947.74 MiB) 07:01:53 overflow : 0/0 (mem: 947.74 MiB) 07:01:53 (mem: 947.74 MiB) 07:01:53 Total structured size: 242025 (mem: 947.74 MiB) 07:01:53 allocating polynomials object in proving key... (mem: 947.74 MiB) 07:01:53 populating trace... (mem: 947.74 MiB) 07:01:53 time to construct proving key: 47 ms. (mem: 947.74 MiB) 07:01:53 getting honk vk... precomputed?: 0x5f7736ccce80 (mem: 947.74 MiB) 07:01:53 computing folding proof (mem: 947.74 MiB) 07:01:54 oink prover on each incomplete key (mem: 947.74 MiB) 07:01:54 perturbator round (mem: 947.74 MiB) 07:01:54 combiner quotient round (mem: 947.74 MiB) 07:01:54 folded (mem: 947.74 MiB) 07:01:54 constructed folding proof (mem: 947.74 MiB) 07:01:54 ClientIVC: accumulating private_kernel_reset (mem: 947.74 MiB) 07:01:54 Constructing DeciderProvingKey (mem: 947.74 MiB) 07:01:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 947.74 MiB) 07:01:54 goblin ecc op : 392/1024 (mem: 947.74 MiB) 07:01:54 busread : 2744/6000 (mem: 947.74 MiB) 07:01:54 lookups : 2/15000 (mem: 947.74 MiB) 07:01:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 947.74 MiB) 07:01:54 arithmetic : 60461/56000 (mem: 947.74 MiB) 07:01:54 delta range : 4864/18000 (mem: 947.74 MiB) 07:01:54 elliptic : 1274/6000 (mem: 947.74 MiB) 07:01:54 auxiliary : 18808/26000 (mem: 947.74 MiB) 07:01:54 poseidon ext : 16812/17000 (mem: 947.74 MiB) 07:01:54 poseidon int : 95819/92000 (mem: 947.74 MiB) 07:01:54 overflow : 0/0 (mem: 947.74 MiB) 07:01:54 (mem: 947.74 MiB) 07:01:54 Total structured size: 242025 (mem: 947.74 MiB) 07:01:54 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 947.74 MiB) 07:01:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 947.74 MiB) 07:01:54 goblin ecc op : 392/1024 (mem: 947.74 MiB) 07:01:54 busread : 2744/6000 (mem: 947.74 MiB) 07:01:54 lookups : 2/15000 (mem: 947.74 MiB) 07:01:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 947.74 MiB) 07:01:54 arithmetic : 56000/56000 (mem: 947.74 MiB) 07:01:54 delta range : 4864/18000 (mem: 947.74 MiB) 07:01:54 elliptic : 1274/6000 (mem: 947.74 MiB) 07:01:54 auxiliary : 18808/26000 (mem: 947.74 MiB) 07:01:54 poseidon ext : 16812/17000 (mem: 947.74 MiB) 07:01:54 poseidon int : 92000/92000 (mem: 947.74 MiB) 07:01:54 overflow : 8282/8282 (mem: 947.74 MiB) 07:01:54 (mem: 947.74 MiB) 07:01:54 Total structured size: 250307 (mem: 947.74 MiB) 07:01:54 allocating polynomials object in proving key... (mem: 947.74 MiB) 07:01:54 populating trace... (mem: 1190.11 MiB) 07:01:54 time to construct proving key: 118 ms. (mem: 1204.11 MiB) 07:01:54 getting honk vk... precomputed?: 0x5f7737fdb140 (mem: 1204.11 MiB) 07:01:54 computing folding proof (mem: 1204.11 MiB) 07:01:55 oink prover on each incomplete key (mem: 1206.11 MiB) 07:01:55 perturbator round (mem: 1206.11 MiB) 07:01:56 combiner quotient round (mem: 1238.11 MiB) 07:01:56 folded (mem: 1238.11 MiB) 07:01:56 constructed folding proof (mem: 1238.11 MiB) 07:01:56 ClientIVC: accumulating private_kernel_tail (mem: 1238.11 MiB) 07:01:56 Constructing DeciderProvingKey (mem: 1238.11 MiB) 07:01:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 1238.11 MiB) 07:01:56 goblin ecc op : 392/1024 (mem: 1238.11 MiB) 07:01:56 busread : 222/6000 (mem: 1238.11 MiB) 07:01:56 lookups : 2/15000 (mem: 1238.11 MiB) 07:01:56 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: 1238.11 MiB) 07:01:56 arithmetic : 21298/56000 (mem: 1238.11 MiB) 07:01:56 delta range : 3622/18000 (mem: 1238.11 MiB) 07:01:56 elliptic : 2/6000 (mem: 1238.11 MiB) 07:01:56 auxiliary : 7134/26000 (mem: 1238.11 MiB) 07:01:56 poseidon ext : 2532/17000 (mem: 1238.11 MiB) 07:01:56 poseidon int : 14423/92000 (mem: 1238.11 MiB) 07:01:56 overflow : 0/0 (mem: 1238.11 MiB) 07:01:56 (mem: 1238.11 MiB) 07:01:56 Total structured size: 242025 (mem: 1238.11 MiB) 07:01:56 allocating polynomials object in proving key... (mem: 1238.11 MiB) 07:01:56 populating trace... (mem: 1238.11 MiB) 07:01:56 time to construct proving key: 35 ms. (mem: 1238.11 MiB) 07:01:56 getting honk vk... precomputed?: 0x5f772f574b00 (mem: 1238.11 MiB) 07:01:56 computing folding proof (mem: 1238.11 MiB) 07:01:56 oink prover on each incomplete key (mem: 1238.11 MiB) 07:01:56 perturbator round (mem: 1238.11 MiB) 07:01:57 combiner quotient round (mem: 1238.11 MiB) 07:01:57 folded (mem: 1238.11 MiB) 07:01:57 constructed folding proof (mem: 1238.11 MiB) 07:01:57 Largest circuit: 200784 gates. Trace details: (mem: 1238.11 MiB) 07:01:57 Minimum required block sizes for structured trace: (mem: 1238.11 MiB) 07:01:57 ecc_op : 792 07:01:57 busread : 4185 07:01:57 lookup : 9354 07:01:57 pub_inputs : 1876 07:01:57 arithmetic : 56000 07:01:57 delta_range : 17435 07:01:57 elliptic : 5806 07:01:57 aux : 25394 07:01:57 poseidon2_external : 16812 07:01:57 poseidon2_internal : 92000 07:01:57 overflow : 8282 07:01:57 (mem: 1238.11 MiB) 07:01:57 prove decider... (mem: 1238.11 MiB) 07:01:57 finished decider proving. (mem: 1238.11 MiB) 07:01:57 starting sumcheck rounds... (mem: 1238.11 MiB) 07:01:57 completed 18 rounds of sumcheck (mem: 1238.11 MiB) 07:01:58 executed multivariate-to-univariate reduction (mem: 1238.11 MiB) 07:01:58 computed opening proof (mem: 1238.11 MiB) 07:01:58 Constructing DeciderProvingKey (mem: 1238.11 MiB) 07:01:58 allocating polynomials object in proving key... (mem: 1238.11 MiB) 07:01:58 populating trace... (mem: 1238.11 MiB) 07:01:58 time to construct proving key: 47 ms. (mem: 1238.11 MiB) 07:01:59 created oink proof (mem: 1238.11 MiB) 07:01:59 starting sumcheck rounds... (mem: 1238.11 MiB) 07:01:59 completed 17 rounds of sumcheck (mem: 1238.11 MiB) 07:01:59 executed multivariate-to-univariate reduction (mem: 1238.11 MiB) 07:01:59 computed opening proof (mem: 1238.11 MiB) 07:01:59 Constructing a Goblin proof with num ultra ops = 6206 (mem: 1238.11 MiB) 07:01:59 prove eccvm... (mem: 1238.11 MiB) 07:02:00 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1238.11 MiB) 07:02:00 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 1238.11 MiB) 07:02:02 starting sumcheck rounds... (mem: 1238.11 MiB) 07:02:03 completed 16 rounds of sumcheck (mem: 1238.11 MiB) 07:02:04 finished eccvm proving. (mem: 1238.11 MiB) 07:02:04 prove translator... (mem: 1238.11 MiB) 07:02:05 starting sumcheck rounds... (mem: 1238.11 MiB) 07:02:05 completed 18 rounds of sumcheck (mem: 1238.11 MiB) 07:02:06 computed opening proof (mem: 1238.11 MiB) 07:02:06 finished translator proving. (mem: 1238.11 MiB) 07:02:06 Mega verified: 1 (mem: 1238.11 MiB) 07:02:06 eccvm sumcheck verified?: 1 (mem: 1238.11 MiB) 07:02:06 batch opening verified?: 1 (mem: 1238.11 MiB) 07:02:06 eccvm consistency check verified?: 1 (mem: 1238.11 MiB) 07:02:06 translation masking consistency checked?: 1 (mem: 1238.11 MiB) 07:02:06 merge verified?: 1 (mem: 1238.11 MiB) 07:02:06 eccvm verified?: 1 (mem: 1238.11 MiB) 07:02:06 accumulator construction_verified?: 1 (mem: 1238.11 MiB) 07:02:06 translation verified?: 1 (mem: 1238.11 MiB) 07:02:06 consistency verified?: 1 (mem: 1238.11 MiB) 07:02:06 Goblin verified: 1 (mem: 1238.11 MiB) 07:02:06 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_1_recursions+private_fpc/native" (mem: 1238.11 MiB) 07:02:07 ecdsar1+transfer_1_recursions+private_fpc (native) has proven in 25s and peak memory of 1238MB. 07:02:07 ecdsar1+transfer_1_recursions+private_fpc (native) has verified.