Parent Log: http://ci.aztec-labs.com/ee227a4210cc4706 Command: 53e9b8d3e8ba3411:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/deploy_schnorr+sponsored_fpc Commit: https://github.com/AztecProtocol/aztec-packages/commit/2707ec99de02004f3e30e7af0810e0d741ab9794 Env: REF_NAME=gh-readonly-queue/master/pr-15049-f4ac84d7ac4041d505399edd8819840bb14d6c9d CURRENT_VERSION=0.87.8 CI_FULL=1 Date: Sat Jun 14 10:58:44 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15049_amd64_x1-full Resources: CPU_LIST=0,1,2,3,4,5,6,7 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_3dbdf36cc375de10_master 10:58:44 --- bb ivc flow bench --- 10:58:44 bb command: prove (mem: 7.00 MiB) 10:58:44 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 10:58:44 --scheme: client_ivc (mem: 7.00 MiB) 10:58:44 --output_path: bench-out/app-proving/deploy_schnorr+sponsored_fpc/native (mem: 7.00 MiB) 10:58:44 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/deploy_schnorr+sponsored_fpc/ivc-inputs.msgpack (mem: 7.00 MiB) 10:58:44 --verbose: true (mem: 7.00 MiB) 10:58:45 BN254 commitment key size: 262144 (mem: 178.38 MiB) 10:58:45 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 256.02 MiB) 10:58:45 Initialized BN254 CRS from memory with num points = 262209 (mem: 320.02 MiB) 10:58:45 ClientIVC: accumulating MultiCallEntrypoint:entrypoint (mem: 320.02 MiB) 10:58:45 Constructing DeciderProvingKey (mem: 320.02 MiB) 10:58:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 320.02 MiB) 10:58:45 goblin ecc op : 4/1024 (mem: 320.02 MiB) 10:58:45 busread : 743/6000 (mem: 320.02 MiB) 10:58:45 lookups : 2/15000 (mem: 320.02 MiB) 10:58:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 320.02 MiB) 10:58:45 arithmetic : 4271/56000 (mem: 320.02 MiB) 10:58:45 delta range : 2012/18000 (mem: 320.02 MiB) 10:58:45 elliptic : 2/6000 (mem: 320.02 MiB) 10:58:45 auxiliary : 2420/26000 (mem: 320.02 MiB) 10:58:45 poseidon ext : 82/17000 (mem: 320.02 MiB) 10:58:45 poseidon int : 458/92000 (mem: 320.02 MiB) 10:58:45 overflow : 0/0 (mem: 320.02 MiB) 10:58:45 (mem: 320.02 MiB) 10:58:45 Total structured size: 242025 (mem: 320.02 MiB) 10:58:45 allocating polynomials object in proving key... (mem: 320.02 MiB) 10:58:45 populating trace... (mem: 496.00 MiB) 10:58:45 time to construct proving key: 29 ms. (mem: 504.00 MiB) 10:58:45 getting honk vk... precomputed?: 0x576dd19636c0 (mem: 504.00 MiB) 10:58:45 computing oink proof... (mem: 504.00 MiB) 10:58:45 oink proof constructed (mem: 507.00 MiB) 10:58:45 ClientIVC: accumulating private_kernel_init (mem: 513.00 MiB) 10:58:45 Constructing DeciderProvingKey (mem: 513.00 MiB) 10:58:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 514.00 MiB) 10:58:45 goblin ecc op : 56/1024 (mem: 514.00 MiB) 10:58:45 busread : 2530/6000 (mem: 514.00 MiB) 10:58:45 lookups : 2/15000 (mem: 514.00 MiB) 10:58:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 514.00 MiB) 10:58:45 arithmetic : 21193/56000 (mem: 514.00 MiB) 10:58:45 delta range : 2974/18000 (mem: 514.00 MiB) 10:58:45 elliptic : 340/6000 (mem: 514.00 MiB) 10:58:45 auxiliary : 799/26000 (mem: 514.00 MiB) 10:58:45 poseidon ext : 2012/17000 (mem: 514.00 MiB) 10:58:45 poseidon int : 11459/92000 (mem: 514.00 MiB) 10:58:45 overflow : 0/0 (mem: 514.00 MiB) 10:58:45 (mem: 514.00 MiB) 10:58:45 Total structured size: 242025 (mem: 514.00 MiB) 10:58:45 allocating polynomials object in proving key... (mem: 514.00 MiB) 10:58:46 populating trace... (mem: 738.00 MiB) 10:58:46 time to construct proving key: 42 ms. (mem: 757.00 MiB) 10:58:46 getting honk vk... precomputed?: 0x576dd3449d40 (mem: 757.00 MiB) 10:58:46 computing folding proof (mem: 757.00 MiB) 10:58:46 oink prover on each incomplete key (mem: 757.00 MiB) 10:58:46 perturbator round (mem: 787.00 MiB) 10:58:46 combiner quotient round (mem: 819.00 MiB) 10:58:46 folded (mem: 819.00 MiB) 10:58:46 constructed folding proof (mem: 819.00 MiB) 10:58:46 ClientIVC: accumulating ContractInstanceDeployer:deploy (mem: 819.00 MiB) 10:58:46 Constructing DeciderProvingKey (mem: 819.00 MiB) 10:58:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 819.00 MiB) 10:58:46 goblin ecc op : 4/1024 (mem: 819.00 MiB) 10:58:46 busread : 743/6000 (mem: 819.00 MiB) 10:58:46 lookups : 2/15000 (mem: 819.00 MiB) 10:58:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 819.00 MiB) 10:58:46 arithmetic : 3627/56000 (mem: 819.00 MiB) 10:58:46 delta range : 1823/18000 (mem: 819.00 MiB) 10:58:46 elliptic : 340/6000 (mem: 819.00 MiB) 10:58:46 auxiliary : 187/26000 (mem: 819.00 MiB) 10:58:46 poseidon ext : 162/17000 (mem: 819.00 MiB) 10:58:46 poseidon int : 914/92000 (mem: 819.00 MiB) 10:58:46 overflow : 0/0 (mem: 819.00 MiB) 10:58:46 (mem: 819.00 MiB) 10:58:46 Total structured size: 242025 (mem: 819.00 MiB) 10:58:46 allocating polynomials object in proving key... (mem: 819.00 MiB) 10:58:46 populating trace... (mem: 819.00 MiB) 10:58:46 time to construct proving key: 16 ms. (mem: 819.00 MiB) 10:58:46 getting honk vk... precomputed?: 0x576dd3444ac0 (mem: 819.00 MiB) 10:58:46 computing folding proof (mem: 819.00 MiB) 10:58:46 oink prover on each incomplete key (mem: 819.00 MiB) 10:58:46 perturbator round (mem: 819.00 MiB) 10:58:46 combiner quotient round (mem: 820.36 MiB) 10:58:46 folded (mem: 820.36 MiB) 10:58:46 constructed folding proof (mem: 820.36 MiB) 10:58:46 ClientIVC: accumulating private_kernel_inner (mem: 820.36 MiB) 10:58:46 Constructing DeciderProvingKey (mem: 820.36 MiB) 10:58:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 820.36 MiB) 10:58:46 goblin ecc op : 792/1024 (mem: 820.36 MiB) 10:58:46 busread : 4185/6000 (mem: 820.36 MiB) 10:58:46 lookups : 2/15000 (mem: 820.36 MiB) 10:58:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 820.36 MiB) 10:58:46 arithmetic : 43917/56000 (mem: 820.36 MiB) 10:58:46 delta range : 4930/18000 (mem: 820.36 MiB) 10:58:46 elliptic : 340/6000 (mem: 820.36 MiB) 10:58:46 auxiliary : 1399/26000 (mem: 820.36 MiB) 10:58:46 poseidon ext : 5652/17000 (mem: 820.36 MiB) 10:58:46 poseidon int : 32207/92000 (mem: 820.36 MiB) 10:58:46 overflow : 0/0 (mem: 820.36 MiB) 10:58:46 (mem: 820.36 MiB) 10:58:46 Total structured size: 242025 (mem: 820.36 MiB) 10:58:46 allocating polynomials object in proving key... (mem: 820.36 MiB) 10:58:46 populating trace... (mem: 820.36 MiB) 10:58:46 time to construct proving key: 43 ms. (mem: 820.36 MiB) 10:58:46 getting honk vk... precomputed?: 0x576dd39d9180 (mem: 820.36 MiB) 10:58:46 computing folding proof (mem: 820.36 MiB) 10:58:47 oink prover on each incomplete key (mem: 820.36 MiB) 10:58:47 perturbator round (mem: 827.22 MiB) 10:58:47 combiner quotient round (mem: 859.22 MiB) 10:58:47 folded (mem: 859.22 MiB) 10:58:47 constructed folding proof (mem: 859.22 MiB) 10:58:47 ClientIVC: accumulating ContractClassRegisterer:assert_class_id_is_registered (mem: 859.22 MiB) 10:58:47 Constructing DeciderProvingKey (mem: 859.22 MiB) 10:58:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 859.22 MiB) 10:58:47 goblin ecc op : 4/1024 (mem: 859.22 MiB) 10:58:47 busread : 743/6000 (mem: 859.22 MiB) 10:58:47 lookups : 2/15000 (mem: 859.22 MiB) 10:58:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 859.22 MiB) 10:58:47 arithmetic : 3261/56000 (mem: 859.22 MiB) 10:58:47 delta range : 1768/18000 (mem: 859.22 MiB) 10:58:47 elliptic : 2/6000 (mem: 859.22 MiB) 10:58:47 auxiliary : 26/26000 (mem: 859.22 MiB) 10:58:47 poseidon ext : 12/17000 (mem: 859.22 MiB) 10:58:47 poseidon int : 59/92000 (mem: 859.22 MiB) 10:58:47 overflow : 0/0 (mem: 859.22 MiB) 10:58:47 (mem: 859.22 MiB) 10:58:47 Total structured size: 242025 (mem: 859.22 MiB) 10:58:47 allocating polynomials object in proving key... (mem: 859.22 MiB) 10:58:47 populating trace... (mem: 859.22 MiB) 10:58:47 time to construct proving key: 15 ms. (mem: 859.22 MiB) 10:58:47 getting honk vk... precomputed?: 0x576dd475d4c0 (mem: 859.22 MiB) 10:58:47 computing folding proof (mem: 859.22 MiB) 10:58:47 oink prover on each incomplete key (mem: 859.22 MiB) 10:58:47 perturbator round (mem: 859.22 MiB) 10:58:47 combiner quotient round (mem: 859.22 MiB) 10:58:47 folded (mem: 859.22 MiB) 10:58:47 constructed folding proof (mem: 859.22 MiB) 10:58:48 ClientIVC: accumulating private_kernel_inner (mem: 859.22 MiB) 10:58:48 Constructing DeciderProvingKey (mem: 859.22 MiB) 10:58:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 859.22 MiB) 10:58:48 goblin ecc op : 792/1024 (mem: 859.22 MiB) 10:58:48 busread : 4185/6000 (mem: 859.22 MiB) 10:58:48 lookups : 2/15000 (mem: 859.22 MiB) 10:58:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 859.22 MiB) 10:58:48 arithmetic : 43917/56000 (mem: 859.22 MiB) 10:58:48 delta range : 4930/18000 (mem: 859.22 MiB) 10:58:48 elliptic : 340/6000 (mem: 859.22 MiB) 10:58:48 auxiliary : 1399/26000 (mem: 859.22 MiB) 10:58:48 poseidon ext : 5652/17000 (mem: 859.22 MiB) 10:58:48 poseidon int : 32207/92000 (mem: 859.22 MiB) 10:58:48 overflow : 0/0 (mem: 859.22 MiB) 10:58:48 (mem: 859.22 MiB) 10:58:48 Total structured size: 242025 (mem: 859.22 MiB) 10:58:48 allocating polynomials object in proving key... (mem: 859.22 MiB) 10:58:48 populating trace... (mem: 859.22 MiB) 10:58:48 time to construct proving key: 42 ms. (mem: 859.22 MiB) 10:58:48 getting honk vk... precomputed?: 0x576dd2e2c080 (mem: 859.22 MiB) 10:58:48 computing folding proof (mem: 859.22 MiB) 10:58:48 oink prover on each incomplete key (mem: 859.22 MiB) 10:58:48 perturbator round (mem: 859.22 MiB) 10:58:48 combiner quotient round (mem: 859.53 MiB) 10:58:48 folded (mem: 859.53 MiB) 10:58:48 constructed folding proof (mem: 859.53 MiB) 10:58:48 ClientIVC: accumulating SchnorrAccount:constructor (mem: 859.53 MiB) 10:58:48 Constructing DeciderProvingKey (mem: 859.53 MiB) 10:58:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 859.53 MiB) 10:58:48 goblin ecc op : 4/1024 (mem: 859.53 MiB) 10:58:48 busread : 743/6000 (mem: 859.53 MiB) 10:58:48 lookups : 9322/15000 (mem: 859.53 MiB) 10:58:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 859.53 MiB) 10:58:48 arithmetic : 13347/56000 (mem: 859.53 MiB) 10:58:48 delta range : 2294/18000 (mem: 859.53 MiB) 10:58:48 elliptic : 1008/6000 (mem: 859.53 MiB) 10:58:48 auxiliary : 704/26000 (mem: 859.53 MiB) 10:58:48 poseidon ext : 132/17000 (mem: 859.53 MiB) 10:58:48 poseidon int : 743/92000 (mem: 859.53 MiB) 10:58:48 overflow : 0/0 (mem: 859.53 MiB) 10:58:48 (mem: 859.53 MiB) 10:58:48 Total structured size: 242025 (mem: 859.53 MiB) 10:58:48 allocating polynomials object in proving key... (mem: 859.53 MiB) 10:58:48 populating trace... (mem: 859.53 MiB) 10:58:48 time to construct proving key: 36 ms. (mem: 859.53 MiB) 10:58:48 getting honk vk... precomputed?: 0x576dd171ed40 (mem: 859.53 MiB) 10:58:48 computing folding proof (mem: 859.53 MiB) 10:58:49 oink prover on each incomplete key (mem: 859.53 MiB) 10:58:49 perturbator round (mem: 859.53 MiB) 10:58:49 combiner quotient round (mem: 862.78 MiB) 10:58:49 folded (mem: 862.78 MiB) 10:58:49 constructed folding proof (mem: 862.78 MiB) 10:58:49 ClientIVC: accumulating private_kernel_inner (mem: 862.78 MiB) 10:58:49 Constructing DeciderProvingKey (mem: 862.78 MiB) 10:58:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 862.78 MiB) 10:58:49 goblin ecc op : 792/1024 (mem: 862.78 MiB) 10:58:49 busread : 4185/6000 (mem: 862.78 MiB) 10:58:49 lookups : 2/15000 (mem: 862.78 MiB) 10:58:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 862.78 MiB) 10:58:49 arithmetic : 43917/56000 (mem: 862.78 MiB) 10:58:49 delta range : 4930/18000 (mem: 862.78 MiB) 10:58:49 elliptic : 340/6000 (mem: 862.78 MiB) 10:58:49 auxiliary : 1399/26000 (mem: 862.78 MiB) 10:58:49 poseidon ext : 5652/17000 (mem: 862.78 MiB) 10:58:49 poseidon int : 32207/92000 (mem: 862.78 MiB) 10:58:49 overflow : 0/0 (mem: 862.78 MiB) 10:58:49 (mem: 862.78 MiB) 10:58:49 Total structured size: 242025 (mem: 862.78 MiB) 10:58:49 allocating polynomials object in proving key... (mem: 862.78 MiB) 10:58:49 populating trace... (mem: 862.78 MiB) 10:58:49 time to construct proving key: 43 ms. (mem: 862.78 MiB) 10:58:49 getting honk vk... precomputed?: 0x576dd5926300 (mem: 862.78 MiB) 10:58:49 computing folding proof (mem: 862.78 MiB) 10:58:49 oink prover on each incomplete key (mem: 862.78 MiB) 10:58:49 perturbator round (mem: 862.78 MiB) 10:58:50 combiner quotient round (mem: 862.81 MiB) 10:58:50 folded (mem: 862.81 MiB) 10:58:50 constructed folding proof (mem: 862.81 MiB) 10:58:50 ClientIVC: accumulating SchnorrAccount:entrypoint (mem: 862.81 MiB) 10:58:50 Constructing DeciderProvingKey (mem: 862.81 MiB) 10:58:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 862.81 MiB) 10:58:50 goblin ecc op : 4/1024 (mem: 862.81 MiB) 10:58:50 busread : 743/6000 (mem: 862.81 MiB) 10:58:50 lookups : 2076/15000 (mem: 862.81 MiB) 10:58:50 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 862.81 MiB) 10:58:50 arithmetic : 9358/56000 (mem: 862.81 MiB) 10:58:50 delta range : 2961/18000 (mem: 862.81 MiB) 10:58:50 elliptic : 794/6000 (mem: 862.81 MiB) 10:58:50 auxiliary : 4528/26000 (mem: 862.81 MiB) 10:58:50 poseidon ext : 312/17000 (mem: 862.81 MiB) 10:58:50 poseidon int : 1769/92000 (mem: 862.81 MiB) 10:58:50 overflow : 0/0 (mem: 862.81 MiB) 10:58:50 (mem: 862.81 MiB) 10:58:50 Total structured size: 242025 (mem: 862.81 MiB) 10:58:50 allocating polynomials object in proving key... (mem: 862.81 MiB) 10:58:50 populating trace... (mem: 862.81 MiB) 10:58:50 time to construct proving key: 33 ms. (mem: 862.81 MiB) 10:58:50 getting honk vk... precomputed?: 0x576dd1bd9e00 (mem: 862.81 MiB) 10:58:50 computing folding proof (mem: 862.81 MiB) 10:58:50 oink prover on each incomplete key (mem: 862.81 MiB) 10:58:50 perturbator round (mem: 862.81 MiB) 10:58:50 combiner quotient round (mem: 863.79 MiB) 10:58:50 folded (mem: 863.79 MiB) 10:58:50 constructed folding proof (mem: 863.79 MiB) 10:58:50 ClientIVC: accumulating private_kernel_inner (mem: 863.79 MiB) 10:58:50 Constructing DeciderProvingKey (mem: 863.79 MiB) 10:58:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 863.79 MiB) 10:58:50 goblin ecc op : 792/1024 (mem: 863.79 MiB) 10:58:50 busread : 4185/6000 (mem: 863.79 MiB) 10:58:50 lookups : 2/15000 (mem: 863.79 MiB) 10:58:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 863.79 MiB) 10:58:50 arithmetic : 43917/56000 (mem: 863.79 MiB) 10:58:50 delta range : 4930/18000 (mem: 863.79 MiB) 10:58:50 elliptic : 340/6000 (mem: 863.79 MiB) 10:58:50 auxiliary : 1399/26000 (mem: 863.79 MiB) 10:58:50 poseidon ext : 5652/17000 (mem: 863.79 MiB) 10:58:50 poseidon int : 32207/92000 (mem: 863.79 MiB) 10:58:50 overflow : 0/0 (mem: 863.79 MiB) 10:58:50 (mem: 863.79 MiB) 10:58:50 Total structured size: 242025 (mem: 863.79 MiB) 10:58:50 allocating polynomials object in proving key... (mem: 863.79 MiB) 10:58:50 populating trace... (mem: 863.79 MiB) 10:58:50 time to construct proving key: 46 ms. (mem: 863.79 MiB) 10:58:51 getting honk vk... precomputed?: 0x576dd1964900 (mem: 863.79 MiB) 10:58:51 computing folding proof (mem: 863.79 MiB) 10:58:51 oink prover on each incomplete key (mem: 863.79 MiB) 10:58:51 perturbator round (mem: 863.79 MiB) 10:58:51 combiner quotient round (mem: 866.45 MiB) 10:58:51 folded (mem: 866.45 MiB) 10:58:51 constructed folding proof (mem: 866.45 MiB) 10:58:51 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 866.45 MiB) 10:58:51 Constructing DeciderProvingKey (mem: 866.45 MiB) 10:58:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 866.45 MiB) 10:58:51 goblin ecc op : 4/1024 (mem: 866.45 MiB) 10:58:51 busread : 743/6000 (mem: 866.45 MiB) 10:58:51 lookups : 2/15000 (mem: 866.45 MiB) 10:58:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 866.45 MiB) 10:58:51 arithmetic : 3248/56000 (mem: 866.45 MiB) 10:58:51 delta range : 1767/18000 (mem: 866.45 MiB) 10:58:51 elliptic : 2/6000 (mem: 866.45 MiB) 10:58:51 auxiliary : 26/26000 (mem: 866.45 MiB) 10:58:51 poseidon ext : 2/17000 (mem: 866.45 MiB) 10:58:51 poseidon int : 2/92000 (mem: 866.45 MiB) 10:58:51 overflow : 0/0 (mem: 866.45 MiB) 10:58:51 (mem: 866.45 MiB) 10:58:51 Total structured size: 242025 (mem: 866.45 MiB) 10:58:51 allocating polynomials object in proving key... (mem: 866.45 MiB) 10:58:51 populating trace... (mem: 866.45 MiB) 10:58:51 time to construct proving key: 18 ms. (mem: 866.45 MiB) 10:58:51 getting honk vk... precomputed?: 0x576dd1bce780 (mem: 866.45 MiB) 10:58:51 computing folding proof (mem: 866.45 MiB) 10:58:51 oink prover on each incomplete key (mem: 866.45 MiB) 10:58:51 perturbator round (mem: 866.45 MiB) 10:58:52 combiner quotient round (mem: 866.45 MiB) 10:58:52 folded (mem: 866.45 MiB) 10:58:52 constructed folding proof (mem: 866.45 MiB) 10:58:52 ClientIVC: accumulating private_kernel_inner (mem: 866.45 MiB) 10:58:52 Constructing DeciderProvingKey (mem: 866.45 MiB) 10:58:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 866.45 MiB) 10:58:52 goblin ecc op : 792/1024 (mem: 866.45 MiB) 10:58:52 busread : 4185/6000 (mem: 866.45 MiB) 10:58:52 lookups : 2/15000 (mem: 866.45 MiB) 10:58:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 866.45 MiB) 10:58:52 arithmetic : 43917/56000 (mem: 866.45 MiB) 10:58:52 delta range : 4930/18000 (mem: 866.45 MiB) 10:58:52 elliptic : 340/6000 (mem: 866.45 MiB) 10:58:52 auxiliary : 1399/26000 (mem: 866.45 MiB) 10:58:52 poseidon ext : 5652/17000 (mem: 866.45 MiB) 10:58:52 poseidon int : 32207/92000 (mem: 866.45 MiB) 10:58:52 overflow : 0/0 (mem: 866.45 MiB) 10:58:52 (mem: 866.45 MiB) 10:58:52 Total structured size: 242025 (mem: 866.45 MiB) 10:58:52 allocating polynomials object in proving key... (mem: 866.45 MiB) 10:58:52 populating trace... (mem: 866.45 MiB) 10:58:52 time to construct proving key: 43 ms. (mem: 866.45 MiB) 10:58:52 getting honk vk... precomputed?: 0x576dd372b5c0 (mem: 866.45 MiB) 10:58:52 computing folding proof (mem: 866.45 MiB) 10:58:52 oink prover on each incomplete key (mem: 866.45 MiB) 10:58:52 perturbator round (mem: 866.45 MiB) 10:58:52 combiner quotient round (mem: 866.52 MiB) 10:58:52 folded (mem: 866.52 MiB) 10:58:52 constructed folding proof (mem: 866.52 MiB) 10:58:53 ClientIVC: accumulating private_kernel_reset (mem: 866.52 MiB) 10:58:53 Constructing DeciderProvingKey (mem: 866.52 MiB) 10:58:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 866.52 MiB) 10:58:53 goblin ecc op : 392/1024 (mem: 866.52 MiB) 10:58:53 busread : 2372/6000 (mem: 866.52 MiB) 10:58:53 lookups : 2/15000 (mem: 866.52 MiB) 10:58:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 866.52 MiB) 10:58:53 arithmetic : 38166/56000 (mem: 866.52 MiB) 10:58:53 delta range : 4270/18000 (mem: 866.52 MiB) 10:58:53 elliptic : 1274/6000 (mem: 866.52 MiB) 10:58:53 auxiliary : 14240/26000 (mem: 866.52 MiB) 10:58:53 poseidon ext : 6092/17000 (mem: 866.52 MiB) 10:58:53 poseidon int : 34715/92000 (mem: 866.52 MiB) 10:58:53 overflow : 0/0 (mem: 866.52 MiB) 10:58:53 (mem: 866.52 MiB) 10:58:53 Total structured size: 242025 (mem: 866.52 MiB) 10:58:53 allocating polynomials object in proving key... (mem: 866.52 MiB) 10:58:53 populating trace... (mem: 866.52 MiB) 10:58:53 time to construct proving key: 50 ms. (mem: 866.52 MiB) 10:58:53 getting honk vk... precomputed?: 0x576dd26d0800 (mem: 866.52 MiB) 10:58:53 computing folding proof (mem: 866.52 MiB) 10:58:53 oink prover on each incomplete key (mem: 866.52 MiB) 10:58:53 perturbator round (mem: 866.52 MiB) 10:58:53 combiner quotient round (mem: 898.03 MiB) 10:58:53 folded (mem: 898.03 MiB) 10:58:53 constructed folding proof (mem: 898.03 MiB) 10:58:53 ClientIVC: accumulating private_kernel_tail (mem: 898.03 MiB) 10:58:53 Constructing DeciderProvingKey (mem: 898.03 MiB) 10:58:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 898.03 MiB) 10:58:53 goblin ecc op : 392/1024 (mem: 898.03 MiB) 10:58:53 busread : 206/6000 (mem: 898.03 MiB) 10:58:53 lookups : 2/15000 (mem: 898.03 MiB) 10:58:53 pub inputs : 845/5000 (populated in decider pk constructor) (mem: 898.03 MiB) 10:58:53 arithmetic : 11205/56000 (mem: 898.03 MiB) 10:58:53 delta range : 2925/18000 (mem: 898.03 MiB) 10:58:53 elliptic : 2/6000 (mem: 898.03 MiB) 10:58:53 auxiliary : 2326/26000 (mem: 898.03 MiB) 10:58:53 poseidon ext : 2532/17000 (mem: 898.03 MiB) 10:58:53 poseidon int : 14423/92000 (mem: 898.03 MiB) 10:58:53 overflow : 0/0 (mem: 898.03 MiB) 10:58:53 (mem: 898.03 MiB) 10:58:53 Total structured size: 242025 (mem: 898.03 MiB) 10:58:53 allocating polynomials object in proving key... (mem: 898.03 MiB) 10:58:53 populating trace... (mem: 898.03 MiB) 10:58:53 time to construct proving key: 27 ms. (mem: 898.03 MiB) 10:58:53 getting honk vk... precomputed?: 0x576dd813c4c0 (mem: 898.03 MiB) 10:58:53 computing folding proof (mem: 898.03 MiB) 10:58:54 oink prover on each incomplete key (mem: 898.03 MiB) 10:58:54 perturbator round (mem: 898.03 MiB) 10:58:54 combiner quotient round (mem: 898.03 MiB) 10:58:54 folded (mem: 898.03 MiB) 10:58:54 constructed folding proof (mem: 898.03 MiB) 10:58:54 Largest circuit: 101131 gates. Trace details: (mem: 898.03 MiB) 10:58:54 Minimum required block sizes for structured trace: (mem: 898.03 MiB) 10:58:54 ecc_op : 792 10:58:54 busread : 4185 10:58:54 lookup : 9322 10:58:54 pub_inputs : 845 10:58:54 arithmetic : 43917 10:58:54 delta_range : 4930 10:58:54 elliptic : 1274 10:58:54 aux : 14240 10:58:54 poseidon2_external : 6092 10:58:54 poseidon2_internal : 34715 10:58:54 overflow : 0 10:58:54 (mem: 898.03 MiB) 10:58:54 prove decider... (mem: 898.03 MiB) 10:58:54 finished decider proving. (mem: 898.03 MiB) 10:58:54 starting sumcheck rounds... (mem: 898.03 MiB) 10:58:54 completed 18 rounds of sumcheck (mem: 898.03 MiB) 10:58:55 executed multivariate-to-univariate reduction (mem: 898.03 MiB) 10:58:55 computed opening proof (mem: 898.03 MiB) 10:58:55 Constructing DeciderProvingKey (mem: 898.03 MiB) 10:58:55 allocating polynomials object in proving key... (mem: 898.03 MiB) 10:58:55 populating trace... (mem: 898.03 MiB) 10:58:55 time to construct proving key: 31 ms. (mem: 898.03 MiB) 10:58:55 created oink proof (mem: 898.03 MiB) 10:58:55 starting sumcheck rounds... (mem: 898.03 MiB) 10:58:55 completed 16 rounds of sumcheck (mem: 898.03 MiB) 10:58:56 executed multivariate-to-univariate reduction (mem: 898.03 MiB) 10:58:56 computed opening proof (mem: 898.03 MiB) 10:58:56 Constructing a Goblin proof with num ultra ops = 5410 (mem: 898.03 MiB) 10:58:56 prove eccvm... (mem: 898.03 MiB) 10:58:56 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 898.03 MiB) 10:58:56 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 898.03 MiB) 10:58:58 starting sumcheck rounds... (mem: 898.03 MiB) 10:58:58 completed 16 rounds of sumcheck (mem: 898.03 MiB) 10:58:59 finished eccvm proving. (mem: 898.03 MiB) 10:58:59 prove translator... (mem: 898.03 MiB) 10:59:01 starting sumcheck rounds... (mem: 898.03 MiB) 10:59:01 completed 18 rounds of sumcheck (mem: 898.03 MiB) 10:59:02 computed opening proof (mem: 922.85 MiB) 10:59:02 finished translator proving. (mem: 922.85 MiB) 10:59:02 Mega verified: 1 (mem: 923.85 MiB) 10:59:02 eccvm sumcheck verified?: 1 (mem: 923.85 MiB) 10:59:02 batch opening verified?: 1 (mem: 923.85 MiB) 10:59:02 eccvm consistency check verified?: 1 (mem: 923.85 MiB) 10:59:02 translation masking consistency checked?: 1 (mem: 923.85 MiB) 10:59:02 merge verified?: 1 (mem: 924.85 MiB) 10:59:02 eccvm verified?: 1 (mem: 924.85 MiB) 10:59:02 accumulator construction_verified?: 1 (mem: 924.85 MiB) 10:59:02 translation verified?: 1 (mem: 924.85 MiB) 10:59:02 consistency verified?: 1 (mem: 924.85 MiB) 10:59:02 Goblin verified: 1 (mem: 924.85 MiB) 10:59:02 writing ClientIVC proof in directory "bench-out/app-proving/deploy_schnorr+sponsored_fpc/native" (mem: 924.85 MiB) 10:59:02 deploy_schnorr+sponsored_fpc (native) has proven in 17s and peak memory of 923MB. 10:59:03 deploy_schnorr+sponsored_fpc (native) has verified.