Parent Log: http://ci.aztec-labs.com/7b6309f30d0d3cc8 Command: 97e7ef9a556fd7e6: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+sponsored_fpc Commit: https://github.com/AztecProtocol/aztec-packages/commit/cf4d4501e7edfb97cb6406ee7f30893939a522f9 Env: REF_NAME=gh-readonly-queue/master/pr-14912-015cb0cadef6a41094c3649f32a735392e1b9693 CURRENT_VERSION=0.87.9 CI_FULL=1 Date: Wed Jun 18 15:45:45 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14912_amd64_x1-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_a997ca869c7faa2d_master 15:45:45 --- bb ivc flow bench --- 15:45:45 bb command: prove (mem: 7.00 MiB) 15:45:45 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 15:45:45 --scheme: client_ivc (mem: 7.00 MiB) 15:45:45 --output_path: bench-out/app-proving/ecdsar1+transfer_0_recursions+sponsored_fpc/native (mem: 7.00 MiB) 15:45:45 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_0_recursions+sponsored_fpc/ivc-inputs.msgpack (mem: 7.00 MiB) 15:45:45 --verbose: true (mem: 7.00 MiB) 15:45:46 BN254 commitment key size: 262144 (mem: 125.43 MiB) 15:45:46 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 219.04 MiB) 15:45:46 Initialized BN254 CRS from memory with num points = 262209 (mem: 283.04 MiB) 15:45:46 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 283.04 MiB) 15:45:46 Constructing DeciderProvingKey (mem: 283.04 MiB) 15:45:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 286.27 MiB) 15:45:46 goblin ecc op : 4/1024 (mem: 286.27 MiB) 15:45:46 busread : 743/6000 (mem: 286.27 MiB) 15:45:46 lookups : 2898/15000 (mem: 286.27 MiB) 15:45:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 286.27 MiB) 15:45:46 arithmetic : 39564/56000 (mem: 286.27 MiB) 15:45:46 delta range : 17435/18000 (mem: 286.27 MiB) 15:45:46 elliptic : 2/6000 (mem: 286.27 MiB) 15:45:46 auxiliary : 25394/26000 (mem: 286.27 MiB) 15:45:46 poseidon ext : 322/17000 (mem: 286.27 MiB) 15:45:46 poseidon int : 1826/92000 (mem: 286.27 MiB) 15:45:46 overflow : 0/0 (mem: 286.27 MiB) 15:45:46 (mem: 286.27 MiB) 15:45:46 Total structured size: 242025 (mem: 286.27 MiB) 15:45:46 allocating polynomials object in proving key... (mem: 286.27 MiB) 15:45:46 populating trace... (mem: 506.27 MiB) 15:45:46 time to construct proving key: 85 ms. (mem: 528.27 MiB) 15:45:46 getting honk vk... precomputed?: 0x60a4e38b8e00 (mem: 528.27 MiB) 15:45:46 computing oink proof... (mem: 528.27 MiB) 15:45:46 oink proof constructed (mem: 541.27 MiB) 15:45:46 ClientIVC: accumulating private_kernel_init (mem: 543.27 MiB) 15:45:46 Constructing DeciderProvingKey (mem: 543.27 MiB) 15:45:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 544.27 MiB) 15:45:46 goblin ecc op : 56/1024 (mem: 544.27 MiB) 15:45:46 busread : 2530/6000 (mem: 544.27 MiB) 15:45:46 lookups : 2/15000 (mem: 544.27 MiB) 15:45:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 544.27 MiB) 15:45:46 arithmetic : 21193/56000 (mem: 544.27 MiB) 15:45:46 delta range : 2974/18000 (mem: 544.27 MiB) 15:45:46 elliptic : 340/6000 (mem: 544.27 MiB) 15:45:46 auxiliary : 799/26000 (mem: 544.27 MiB) 15:45:46 poseidon ext : 2012/17000 (mem: 544.27 MiB) 15:45:46 poseidon int : 11459/92000 (mem: 544.27 MiB) 15:45:46 overflow : 0/0 (mem: 544.27 MiB) 15:45:46 (mem: 544.27 MiB) 15:45:46 Total structured size: 242025 (mem: 544.27 MiB) 15:45:46 allocating polynomials object in proving key... (mem: 544.27 MiB) 15:45:47 populating trace... (mem: 710.27 MiB) 15:45:47 time to construct proving key: 40 ms. (mem: 727.27 MiB) 15:45:47 getting honk vk... precomputed?: 0x60a4e2e9a780 (mem: 727.27 MiB) 15:45:47 computing folding proof (mem: 727.27 MiB) 15:45:47 oink prover on each incomplete key (mem: 727.27 MiB) 15:45:47 perturbator round (mem: 757.27 MiB) 15:45:47 combiner quotient round (mem: 789.27 MiB) 15:45:47 folded (mem: 789.27 MiB) 15:45:47 constructed folding proof (mem: 789.27 MiB) 15:45:47 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 789.27 MiB) 15:45:47 Constructing DeciderProvingKey (mem: 789.27 MiB) 15:45:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 789.27 MiB) 15:45:47 goblin ecc op : 4/1024 (mem: 789.27 MiB) 15:45:47 busread : 743/6000 (mem: 789.27 MiB) 15:45:47 lookups : 2/15000 (mem: 789.27 MiB) 15:45:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 789.27 MiB) 15:45:47 arithmetic : 3248/56000 (mem: 789.27 MiB) 15:45:47 delta range : 1767/18000 (mem: 789.27 MiB) 15:45:47 elliptic : 2/6000 (mem: 789.27 MiB) 15:45:47 auxiliary : 26/26000 (mem: 789.27 MiB) 15:45:47 poseidon ext : 2/17000 (mem: 789.27 MiB) 15:45:47 poseidon int : 2/92000 (mem: 789.27 MiB) 15:45:47 overflow : 0/0 (mem: 789.27 MiB) 15:45:47 (mem: 789.27 MiB) 15:45:47 Total structured size: 242025 (mem: 789.27 MiB) 15:45:47 allocating polynomials object in proving key... (mem: 789.27 MiB) 15:45:47 populating trace... (mem: 789.27 MiB) 15:45:47 time to construct proving key: 16 ms. (mem: 789.27 MiB) 15:45:47 getting honk vk... precomputed?: 0x60a4e285c240 (mem: 789.27 MiB) 15:45:47 computing folding proof (mem: 789.27 MiB) 15:45:47 oink prover on each incomplete key (mem: 789.27 MiB) 15:45:47 perturbator round (mem: 789.27 MiB) 15:45:47 combiner quotient round (mem: 789.28 MiB) 15:45:48 folded (mem: 789.28 MiB) 15:45:48 constructed folding proof (mem: 789.28 MiB) 15:45:48 ClientIVC: accumulating private_kernel_inner (mem: 789.28 MiB) 15:45:48 Constructing DeciderProvingKey (mem: 789.28 MiB) 15:45:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 789.28 MiB) 15:45:48 goblin ecc op : 792/1024 (mem: 789.28 MiB) 15:45:48 busread : 4185/6000 (mem: 789.28 MiB) 15:45:48 lookups : 2/15000 (mem: 789.28 MiB) 15:45:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 789.28 MiB) 15:45:48 arithmetic : 43917/56000 (mem: 789.28 MiB) 15:45:48 delta range : 4930/18000 (mem: 789.28 MiB) 15:45:48 elliptic : 340/6000 (mem: 789.28 MiB) 15:45:48 auxiliary : 1399/26000 (mem: 789.28 MiB) 15:45:48 poseidon ext : 5652/17000 (mem: 789.28 MiB) 15:45:48 poseidon int : 32207/92000 (mem: 789.28 MiB) 15:45:48 overflow : 0/0 (mem: 789.28 MiB) 15:45:48 (mem: 789.28 MiB) 15:45:48 Total structured size: 242025 (mem: 789.28 MiB) 15:45:48 allocating polynomials object in proving key... (mem: 789.28 MiB) 15:45:48 populating trace... (mem: 789.28 MiB) 15:45:48 time to construct proving key: 45 ms. (mem: 789.28 MiB) 15:45:48 getting honk vk... precomputed?: 0x60a4e44da440 (mem: 789.28 MiB) 15:45:48 computing folding proof (mem: 789.28 MiB) 15:45:48 oink prover on each incomplete key (mem: 789.28 MiB) 15:45:48 perturbator round (mem: 792.92 MiB) 15:45:48 combiner quotient round (mem: 824.92 MiB) 15:45:49 folded (mem: 824.92 MiB) 15:45:49 constructed folding proof (mem: 824.92 MiB) 15:45:49 ClientIVC: accumulating Token:transfer (mem: 824.92 MiB) 15:45:49 Constructing DeciderProvingKey (mem: 824.92 MiB) 15:45:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 824.92 MiB) 15:45:49 goblin ecc op : 4/1024 (mem: 824.92 MiB) 15:45:49 busread : 743/6000 (mem: 824.92 MiB) 15:45:49 lookups : 8266/15000 (mem: 824.92 MiB) 15:45:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 824.92 MiB) 15:45:49 arithmetic : 17364/56000 (mem: 824.92 MiB) 15:45:49 delta range : 3235/18000 (mem: 824.92 MiB) 15:45:49 elliptic : 1314/6000 (mem: 824.92 MiB) 15:45:49 auxiliary : 9441/26000 (mem: 824.92 MiB) 15:45:49 poseidon ext : 442/17000 (mem: 824.92 MiB) 15:45:49 poseidon int : 2510/92000 (mem: 824.92 MiB) 15:45:49 overflow : 0/0 (mem: 824.92 MiB) 15:45:49 (mem: 824.92 MiB) 15:45:49 Total structured size: 242025 (mem: 824.92 MiB) 15:45:49 allocating polynomials object in proving key... (mem: 824.92 MiB) 15:45:49 populating trace... (mem: 824.92 MiB) 15:45:49 time to construct proving key: 42 ms. (mem: 824.92 MiB) 15:45:49 getting honk vk... precomputed?: 0x60a4e5003940 (mem: 824.92 MiB) 15:45:49 computing folding proof (mem: 824.92 MiB) 15:45:49 oink prover on each incomplete key (mem: 824.92 MiB) 15:45:49 perturbator round (mem: 824.92 MiB) 15:45:49 combiner quotient round (mem: 827.77 MiB) 15:45:49 folded (mem: 827.77 MiB) 15:45:49 constructed folding proof (mem: 827.77 MiB) 15:45:49 ClientIVC: accumulating private_kernel_inner (mem: 827.77 MiB) 15:45:49 Constructing DeciderProvingKey (mem: 827.77 MiB) 15:45:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 827.77 MiB) 15:45:49 goblin ecc op : 792/1024 (mem: 827.77 MiB) 15:45:49 busread : 4185/6000 (mem: 827.77 MiB) 15:45:49 lookups : 2/15000 (mem: 827.77 MiB) 15:45:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 827.77 MiB) 15:45:49 arithmetic : 43917/56000 (mem: 827.77 MiB) 15:45:49 delta range : 4930/18000 (mem: 827.77 MiB) 15:45:49 elliptic : 340/6000 (mem: 827.77 MiB) 15:45:49 auxiliary : 1399/26000 (mem: 827.77 MiB) 15:45:49 poseidon ext : 5652/17000 (mem: 827.77 MiB) 15:45:49 poseidon int : 32207/92000 (mem: 827.77 MiB) 15:45:49 overflow : 0/0 (mem: 827.77 MiB) 15:45:49 (mem: 827.77 MiB) 15:45:49 Total structured size: 242025 (mem: 827.77 MiB) 15:45:49 allocating polynomials object in proving key... (mem: 827.77 MiB) 15:45:49 populating trace... (mem: 827.77 MiB) 15:45:49 time to construct proving key: 43 ms. (mem: 827.77 MiB) 15:45:49 getting honk vk... precomputed?: 0x60a4e3259e00 (mem: 827.77 MiB) 15:45:49 computing folding proof (mem: 827.77 MiB) 15:45:50 oink prover on each incomplete key (mem: 827.77 MiB) 15:45:50 perturbator round (mem: 827.77 MiB) 15:45:50 combiner quotient round (mem: 828.34 MiB) 15:45:50 folded (mem: 828.34 MiB) 15:45:50 constructed folding proof (mem: 828.34 MiB) 15:45:50 ClientIVC: accumulating private_kernel_reset (mem: 828.34 MiB) 15:45:50 Constructing DeciderProvingKey (mem: 828.34 MiB) 15:45:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 828.34 MiB) 15:45:50 goblin ecc op : 392/1024 (mem: 828.34 MiB) 15:45:50 busread : 2372/6000 (mem: 828.34 MiB) 15:45:50 lookups : 2/15000 (mem: 828.34 MiB) 15:45:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 828.34 MiB) 15:45:50 arithmetic : 38166/56000 (mem: 828.34 MiB) 15:45:50 delta range : 4270/18000 (mem: 828.34 MiB) 15:45:50 elliptic : 1274/6000 (mem: 828.34 MiB) 15:45:50 auxiliary : 14240/26000 (mem: 828.34 MiB) 15:45:50 poseidon ext : 6092/17000 (mem: 828.34 MiB) 15:45:50 poseidon int : 34715/92000 (mem: 828.34 MiB) 15:45:50 overflow : 0/0 (mem: 828.34 MiB) 15:45:50 (mem: 828.34 MiB) 15:45:50 Total structured size: 242025 (mem: 828.34 MiB) 15:45:50 allocating polynomials object in proving key... (mem: 828.34 MiB) 15:45:50 populating trace... (mem: 828.34 MiB) 15:45:50 time to construct proving key: 51 ms. (mem: 828.34 MiB) 15:45:50 getting honk vk... precomputed?: 0x60a4e5f54580 (mem: 828.34 MiB) 15:45:50 computing folding proof (mem: 828.34 MiB) 15:45:51 oink prover on each incomplete key (mem: 828.34 MiB) 15:45:51 perturbator round (mem: 829.60 MiB) 15:45:51 combiner quotient round (mem: 861.60 MiB) 15:45:51 folded (mem: 861.60 MiB) 15:45:51 constructed folding proof (mem: 861.60 MiB) 15:45:51 ClientIVC: accumulating private_kernel_tail (mem: 861.60 MiB) 15:45:51 Constructing DeciderProvingKey (mem: 861.60 MiB) 15:45:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 861.60 MiB) 15:45:51 goblin ecc op : 392/1024 (mem: 861.60 MiB) 15:45:51 busread : 206/6000 (mem: 861.60 MiB) 15:45:51 lookups : 2/15000 (mem: 861.60 MiB) 15:45:51 pub inputs : 845/5000 (populated in decider pk constructor) (mem: 861.60 MiB) 15:45:51 arithmetic : 11205/56000 (mem: 861.60 MiB) 15:45:51 delta range : 2925/18000 (mem: 861.60 MiB) 15:45:51 elliptic : 2/6000 (mem: 861.60 MiB) 15:45:51 auxiliary : 2326/26000 (mem: 861.60 MiB) 15:45:51 poseidon ext : 2532/17000 (mem: 861.60 MiB) 15:45:51 poseidon int : 14423/92000 (mem: 861.60 MiB) 15:45:51 overflow : 0/0 (mem: 861.60 MiB) 15:45:51 (mem: 861.60 MiB) 15:45:51 Total structured size: 242025 (mem: 861.60 MiB) 15:45:51 allocating polynomials object in proving key... (mem: 861.60 MiB) 15:45:51 populating trace... (mem: 861.60 MiB) 15:45:51 time to construct proving key: 27 ms. (mem: 861.60 MiB) 15:45:51 getting honk vk... precomputed?: 0x60a4e325a640 (mem: 861.60 MiB) 15:45:51 computing folding proof (mem: 861.60 MiB) 15:45:51 oink prover on each incomplete key (mem: 861.60 MiB) 15:45:52 perturbator round (mem: 861.60 MiB) 15:45:52 combiner quotient round (mem: 861.60 MiB) 15:45:52 folded (mem: 861.60 MiB) 15:45:52 constructed folding proof (mem: 861.60 MiB) 15:45:52 Largest circuit: 101131 gates. Trace details: (mem: 861.60 MiB) 15:45:52 Minimum required block sizes for structured trace: (mem: 861.60 MiB) 15:45:52 ecc_op : 792 15:45:52 busread : 4185 15:45:52 lookup : 8266 15:45:52 pub_inputs : 845 15:45:52 arithmetic : 43917 15:45:52 delta_range : 17435 15:45:52 elliptic : 1314 15:45:52 aux : 25394 15:45:52 poseidon2_external : 6092 15:45:52 poseidon2_internal : 34715 15:45:52 overflow : 0 15:45:52 (mem: 861.60 MiB) 15:45:52 prove decider... (mem: 861.60 MiB) 15:45:52 finished decider proving. (mem: 861.60 MiB) 15:45:52 starting sumcheck rounds... (mem: 861.60 MiB) 15:45:52 completed 18 rounds of sumcheck (mem: 861.60 MiB) 15:45:53 executed multivariate-to-univariate reduction (mem: 861.60 MiB) 15:45:53 computed opening proof (mem: 861.60 MiB) 15:45:53 Constructing DeciderProvingKey (mem: 861.60 MiB) 15:45:53 allocating polynomials object in proving key... (mem: 861.60 MiB) 15:45:53 populating trace... (mem: 861.60 MiB) 15:45:53 time to construct proving key: 32 ms. (mem: 861.60 MiB) 15:45:53 created oink proof (mem: 861.60 MiB) 15:45:53 starting sumcheck rounds... (mem: 861.60 MiB) 15:45:53 completed 16 rounds of sumcheck (mem: 861.60 MiB) 15:45:54 executed multivariate-to-univariate reduction (mem: 861.60 MiB) 15:45:54 computed opening proof (mem: 861.60 MiB) 15:45:54 Constructing a Goblin proof with num ultra ops = 3022 (mem: 861.60 MiB) 15:45:54 prove eccvm... (mem: 861.60 MiB) 15:45:54 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 861.60 MiB) 15:45:54 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 861.60 MiB) 15:45:55 starting sumcheck rounds... (mem: 861.60 MiB) 15:45:56 completed 16 rounds of sumcheck (mem: 861.60 MiB) 15:45:57 finished eccvm proving. (mem: 861.60 MiB) 15:45:57 prove translator... (mem: 861.60 MiB) 15:45:58 starting sumcheck rounds... (mem: 861.60 MiB) 15:45:59 completed 18 rounds of sumcheck (mem: 861.60 MiB) 15:46:00 computed opening proof (mem: 861.60 MiB) 15:46:00 finished translator proving. (mem: 861.60 MiB) 15:46:00 Mega verified: 1 (mem: 861.60 MiB) 15:46:00 eccvm sumcheck verified?: 1 (mem: 861.60 MiB) 15:46:00 batch opening verified?: 1 (mem: 861.60 MiB) 15:46:00 eccvm consistency check verified?: 1 (mem: 861.60 MiB) 15:46:00 translation masking consistency checked?: 1 (mem: 861.60 MiB) 15:46:00 merge verified?: 1 (mem: 861.60 MiB) 15:46:00 eccvm verified?: 1 (mem: 861.60 MiB) 15:46:00 accumulator construction_verified?: 1 (mem: 861.60 MiB) 15:46:00 translation verified?: 1 (mem: 861.60 MiB) 15:46:00 consistency verified?: 1 (mem: 861.60 MiB) 15:46:00 Goblin verified: 1 (mem: 861.60 MiB) 15:46:00 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_0_recursions+sponsored_fpc/native" (mem: 861.60 MiB) 15:46:00 ecdsar1+transfer_0_recursions+sponsored_fpc (native) has proven in 14s and peak memory of 861MB. 15:46:00 ecdsar1+transfer_0_recursions+sponsored_fpc (native) has verified.