Parent Log: http://ci.aztec-labs.com/703133141fbcf794 Command: 97e7ef9a556fd7e6: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/a3ecf3ea26aad0390dd15cfadbb1d160e85e5f89 Env: REF_NAME=gh-readonly-queue/master/pr-15194-f3a077dd83e56ee0ae0a1175f0dc39fdfa50e6d7 CURRENT_VERSION=0.87.9 CI_FULL=1 Date: Tue Jun 24 17:35:40 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15194_amd64_x2-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 17:35:40 --- bb ivc flow bench --- 17:35:40 bb command: prove (mem: 7.00 MiB) 17:35:40 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 17:35:40 --scheme: client_ivc (mem: 7.00 MiB) 17:35:40 --output_path: bench-out/app-proving/deploy_schnorr+sponsored_fpc/native (mem: 7.00 MiB) 17:35:40 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/deploy_schnorr+sponsored_fpc/ivc-inputs.msgpack (mem: 7.00 MiB) 17:35:40 --verbose: true (mem: 7.00 MiB) 17:35:41 BN254 commitment key size: 262144 (mem: 179.38 MiB) 17:35:41 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.01 MiB) 17:35:41 Initialized BN254 CRS from memory with num points = 262209 (mem: 320.01 MiB) 17:35:41 ClientIVC: accumulating MultiCallEntrypoint:entrypoint (mem: 320.01 MiB) 17:35:41 Constructing DeciderProvingKey (mem: 320.01 MiB) 17:35:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 320.01 MiB) 17:35:41 goblin ecc op : 4/1024 (mem: 320.01 MiB) 17:35:41 busread : 743/6000 (mem: 320.01 MiB) 17:35:41 lookups : 2/15000 (mem: 320.01 MiB) 17:35:41 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 320.01 MiB) 17:35:41 arithmetic : 4271/56000 (mem: 320.01 MiB) 17:35:41 delta range : 2012/18000 (mem: 320.01 MiB) 17:35:41 elliptic : 2/6000 (mem: 320.01 MiB) 17:35:41 auxiliary : 2420/26000 (mem: 320.01 MiB) 17:35:41 poseidon ext : 82/17000 (mem: 320.01 MiB) 17:35:41 poseidon int : 458/92000 (mem: 320.01 MiB) 17:35:41 overflow : 0/0 (mem: 320.01 MiB) 17:35:41 (mem: 320.01 MiB) 17:35:41 Total structured size: 242025 (mem: 320.01 MiB) 17:35:41 allocating polynomials object in proving key... (mem: 320.01 MiB) 17:35:41 populating trace... (mem: 494.84 MiB) 17:35:41 time to construct proving key: 31 ms. (mem: 503.84 MiB) 17:35:41 getting honk vk... precomputed?: 0x61ba649266c0 (mem: 503.84 MiB) 17:35:41 computing oink proof... (mem: 503.84 MiB) 17:35:41 oink proof constructed (mem: 506.84 MiB) 17:35:41 ClientIVC: accumulating private_kernel_init (mem: 514.84 MiB) 17:35:41 Constructing DeciderProvingKey (mem: 514.84 MiB) 17:35:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 515.84 MiB) 17:35:41 goblin ecc op : 56/1024 (mem: 515.84 MiB) 17:35:41 busread : 2530/6000 (mem: 515.84 MiB) 17:35:41 lookups : 2/15000 (mem: 515.84 MiB) 17:35:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 515.84 MiB) 17:35:41 arithmetic : 21193/56000 (mem: 515.84 MiB) 17:35:41 delta range : 2974/18000 (mem: 515.84 MiB) 17:35:41 elliptic : 340/6000 (mem: 515.84 MiB) 17:35:41 auxiliary : 799/26000 (mem: 515.84 MiB) 17:35:41 poseidon ext : 2012/17000 (mem: 515.84 MiB) 17:35:41 poseidon int : 11459/92000 (mem: 515.84 MiB) 17:35:41 overflow : 0/0 (mem: 515.84 MiB) 17:35:41 (mem: 515.84 MiB) 17:35:41 Total structured size: 242025 (mem: 515.84 MiB) 17:35:41 allocating polynomials object in proving key... (mem: 515.84 MiB) 17:35:41 populating trace... (mem: 739.84 MiB) 17:35:41 time to construct proving key: 45 ms. (mem: 757.84 MiB) 17:35:41 getting honk vk... precomputed?: 0x61ba6640d280 (mem: 757.84 MiB) 17:35:41 computing folding proof (mem: 757.84 MiB) 17:35:42 oink prover on each incomplete key (mem: 758.84 MiB) 17:35:42 perturbator round (mem: 787.84 MiB) 17:35:42 combiner quotient round (mem: 819.84 MiB) 17:35:42 folded (mem: 819.84 MiB) 17:35:42 constructed folding proof (mem: 819.84 MiB) 17:35:42 ClientIVC: accumulating ContractInstanceDeployer:deploy (mem: 819.84 MiB) 17:35:42 Constructing DeciderProvingKey (mem: 819.84 MiB) 17:35:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 819.84 MiB) 17:35:42 goblin ecc op : 4/1024 (mem: 819.84 MiB) 17:35:42 busread : 743/6000 (mem: 819.84 MiB) 17:35:42 lookups : 2/15000 (mem: 819.84 MiB) 17:35:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 819.84 MiB) 17:35:42 arithmetic : 3627/56000 (mem: 819.84 MiB) 17:35:42 delta range : 1823/18000 (mem: 819.84 MiB) 17:35:42 elliptic : 340/6000 (mem: 819.84 MiB) 17:35:42 auxiliary : 187/26000 (mem: 819.84 MiB) 17:35:42 poseidon ext : 162/17000 (mem: 819.84 MiB) 17:35:42 poseidon int : 914/92000 (mem: 819.84 MiB) 17:35:42 overflow : 0/0 (mem: 819.84 MiB) 17:35:42 (mem: 819.84 MiB) 17:35:42 Total structured size: 242025 (mem: 819.84 MiB) 17:35:42 allocating polynomials object in proving key... (mem: 819.84 MiB) 17:35:42 populating trace... (mem: 819.84 MiB) 17:35:42 time to construct proving key: 18 ms. (mem: 819.84 MiB) 17:35:42 getting honk vk... precomputed?: 0x61ba646d7e00 (mem: 819.84 MiB) 17:35:42 computing folding proof (mem: 819.84 MiB) 17:35:42 oink prover on each incomplete key (mem: 819.84 MiB) 17:35:42 perturbator round (mem: 819.84 MiB) 17:35:42 combiner quotient round (mem: 821.93 MiB) 17:35:42 folded (mem: 821.93 MiB) 17:35:42 constructed folding proof (mem: 821.93 MiB) 17:35:42 ClientIVC: accumulating private_kernel_inner (mem: 821.93 MiB) 17:35:42 Constructing DeciderProvingKey (mem: 821.93 MiB) 17:35:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 821.93 MiB) 17:35:42 goblin ecc op : 792/1024 (mem: 821.93 MiB) 17:35:42 busread : 4185/6000 (mem: 821.93 MiB) 17:35:42 lookups : 2/15000 (mem: 821.93 MiB) 17:35:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.93 MiB) 17:35:42 arithmetic : 43917/56000 (mem: 821.93 MiB) 17:35:42 delta range : 4930/18000 (mem: 821.93 MiB) 17:35:42 elliptic : 340/6000 (mem: 821.93 MiB) 17:35:42 auxiliary : 1399/26000 (mem: 821.93 MiB) 17:35:42 poseidon ext : 5652/17000 (mem: 821.93 MiB) 17:35:42 poseidon int : 32207/92000 (mem: 821.93 MiB) 17:35:42 overflow : 0/0 (mem: 821.93 MiB) 17:35:42 (mem: 821.93 MiB) 17:35:42 Total structured size: 242025 (mem: 821.93 MiB) 17:35:42 allocating polynomials object in proving key... (mem: 821.93 MiB) 17:35:42 populating trace... (mem: 821.93 MiB) 17:35:42 time to construct proving key: 44 ms. (mem: 821.93 MiB) 17:35:42 getting honk vk... precomputed?: 0x61ba66528340 (mem: 821.93 MiB) 17:35:42 computing folding proof (mem: 821.93 MiB) 17:35:43 oink prover on each incomplete key (mem: 821.93 MiB) 17:35:43 perturbator round (mem: 826.48 MiB) 17:35:43 combiner quotient round (mem: 858.48 MiB) 17:35:43 folded (mem: 858.48 MiB) 17:35:43 constructed folding proof (mem: 858.48 MiB) 17:35:43 ClientIVC: accumulating ContractClassRegisterer:assert_class_id_is_registered (mem: 858.48 MiB) 17:35:43 Constructing DeciderProvingKey (mem: 858.48 MiB) 17:35:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 858.48 MiB) 17:35:43 goblin ecc op : 4/1024 (mem: 858.48 MiB) 17:35:43 busread : 743/6000 (mem: 858.48 MiB) 17:35:43 lookups : 2/15000 (mem: 858.48 MiB) 17:35:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 858.48 MiB) 17:35:43 arithmetic : 3261/56000 (mem: 858.48 MiB) 17:35:43 delta range : 1768/18000 (mem: 858.48 MiB) 17:35:43 elliptic : 2/6000 (mem: 858.48 MiB) 17:35:43 auxiliary : 26/26000 (mem: 858.48 MiB) 17:35:43 poseidon ext : 12/17000 (mem: 858.48 MiB) 17:35:43 poseidon int : 59/92000 (mem: 858.48 MiB) 17:35:43 overflow : 0/0 (mem: 858.48 MiB) 17:35:43 (mem: 858.48 MiB) 17:35:43 Total structured size: 242025 (mem: 858.48 MiB) 17:35:43 allocating polynomials object in proving key... (mem: 858.48 MiB) 17:35:43 populating trace... (mem: 858.48 MiB) 17:35:43 time to construct proving key: 17 ms. (mem: 858.48 MiB) 17:35:43 getting honk vk... precomputed?: 0x61ba6699c6c0 (mem: 858.48 MiB) 17:35:43 computing folding proof (mem: 858.48 MiB) 17:35:43 oink prover on each incomplete key (mem: 858.48 MiB) 17:35:43 perturbator round (mem: 858.48 MiB) 17:35:43 combiner quotient round (mem: 858.48 MiB) 17:35:43 folded (mem: 858.48 MiB) 17:35:43 constructed folding proof (mem: 858.48 MiB) 17:35:43 ClientIVC: accumulating private_kernel_inner (mem: 858.48 MiB) 17:35:43 Constructing DeciderProvingKey (mem: 858.48 MiB) 17:35:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 858.48 MiB) 17:35:43 goblin ecc op : 792/1024 (mem: 858.48 MiB) 17:35:43 busread : 4185/6000 (mem: 858.48 MiB) 17:35:43 lookups : 2/15000 (mem: 858.48 MiB) 17:35:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 858.48 MiB) 17:35:43 arithmetic : 43917/56000 (mem: 858.48 MiB) 17:35:43 delta range : 4930/18000 (mem: 858.48 MiB) 17:35:43 elliptic : 340/6000 (mem: 858.48 MiB) 17:35:43 auxiliary : 1399/26000 (mem: 858.48 MiB) 17:35:43 poseidon ext : 5652/17000 (mem: 858.48 MiB) 17:35:43 poseidon int : 32207/92000 (mem: 858.48 MiB) 17:35:43 overflow : 0/0 (mem: 858.48 MiB) 17:35:43 (mem: 858.48 MiB) 17:35:43 Total structured size: 242025 (mem: 858.48 MiB) 17:35:43 allocating polynomials object in proving key... (mem: 858.48 MiB) 17:35:43 populating trace... (mem: 858.48 MiB) 17:35:44 time to construct proving key: 45 ms. (mem: 858.48 MiB) 17:35:44 getting honk vk... precomputed?: 0x61ba65e3ff40 (mem: 858.48 MiB) 17:35:44 computing folding proof (mem: 858.48 MiB) 17:35:44 oink prover on each incomplete key (mem: 858.48 MiB) 17:35:44 perturbator round (mem: 858.48 MiB) 17:35:44 combiner quotient round (mem: 860.26 MiB) 17:35:44 folded (mem: 860.26 MiB) 17:35:44 constructed folding proof (mem: 860.26 MiB) 17:35:44 ClientIVC: accumulating SchnorrAccount:constructor (mem: 860.26 MiB) 17:35:44 Constructing DeciderProvingKey (mem: 860.26 MiB) 17:35:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 860.26 MiB) 17:35:44 goblin ecc op : 4/1024 (mem: 860.26 MiB) 17:35:44 busread : 743/6000 (mem: 860.26 MiB) 17:35:44 lookups : 9322/15000 (mem: 860.26 MiB) 17:35:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 860.26 MiB) 17:35:44 arithmetic : 13347/56000 (mem: 860.26 MiB) 17:35:44 delta range : 2294/18000 (mem: 860.26 MiB) 17:35:44 elliptic : 1008/6000 (mem: 860.26 MiB) 17:35:44 auxiliary : 704/26000 (mem: 860.26 MiB) 17:35:44 poseidon ext : 132/17000 (mem: 860.26 MiB) 17:35:44 poseidon int : 743/92000 (mem: 860.26 MiB) 17:35:44 overflow : 0/0 (mem: 860.26 MiB) 17:35:44 (mem: 860.26 MiB) 17:35:44 Total structured size: 242025 (mem: 860.26 MiB) 17:35:44 allocating polynomials object in proving key... (mem: 860.26 MiB) 17:35:44 populating trace... (mem: 860.26 MiB) 17:35:44 time to construct proving key: 34 ms. (mem: 860.26 MiB) 17:35:44 getting honk vk... precomputed?: 0x61ba64b95340 (mem: 860.26 MiB) 17:35:44 computing folding proof (mem: 860.26 MiB) 17:35:44 oink prover on each incomplete key (mem: 860.26 MiB) 17:35:45 perturbator round (mem: 860.26 MiB) 17:35:45 combiner quotient round (mem: 863.27 MiB) 17:35:45 folded (mem: 863.27 MiB) 17:35:45 constructed folding proof (mem: 863.27 MiB) 17:35:45 ClientIVC: accumulating private_kernel_inner (mem: 863.27 MiB) 17:35:45 Constructing DeciderProvingKey (mem: 863.27 MiB) 17:35:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 863.27 MiB) 17:35:45 goblin ecc op : 792/1024 (mem: 863.27 MiB) 17:35:45 busread : 4185/6000 (mem: 863.27 MiB) 17:35:45 lookups : 2/15000 (mem: 863.27 MiB) 17:35:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 863.27 MiB) 17:35:45 arithmetic : 43917/56000 (mem: 863.27 MiB) 17:35:45 delta range : 4930/18000 (mem: 863.27 MiB) 17:35:45 elliptic : 340/6000 (mem: 863.27 MiB) 17:35:45 auxiliary : 1399/26000 (mem: 863.27 MiB) 17:35:45 poseidon ext : 5652/17000 (mem: 863.27 MiB) 17:35:45 poseidon int : 32207/92000 (mem: 863.27 MiB) 17:35:45 overflow : 0/0 (mem: 863.27 MiB) 17:35:45 (mem: 863.27 MiB) 17:35:45 Total structured size: 242025 (mem: 863.27 MiB) 17:35:45 allocating polynomials object in proving key... (mem: 863.27 MiB) 17:35:45 populating trace... (mem: 863.27 MiB) 17:35:45 time to construct proving key: 48 ms. (mem: 863.27 MiB) 17:35:45 getting honk vk... precomputed?: 0x61ba6733e740 (mem: 863.27 MiB) 17:35:45 computing folding proof (mem: 863.27 MiB) 17:35:45 oink prover on each incomplete key (mem: 863.27 MiB) 17:35:45 perturbator round (mem: 863.27 MiB) 17:35:46 combiner quotient round (mem: 864.16 MiB) 17:35:46 folded (mem: 864.16 MiB) 17:35:46 constructed folding proof (mem: 864.16 MiB) 17:35:46 ClientIVC: accumulating SchnorrAccount:entrypoint (mem: 864.16 MiB) 17:35:46 Constructing DeciderProvingKey (mem: 864.16 MiB) 17:35:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 864.16 MiB) 17:35:46 goblin ecc op : 4/1024 (mem: 864.16 MiB) 17:35:46 busread : 743/6000 (mem: 864.16 MiB) 17:35:46 lookups : 2076/15000 (mem: 864.16 MiB) 17:35:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 864.16 MiB) 17:35:46 arithmetic : 9358/56000 (mem: 864.16 MiB) 17:35:46 delta range : 2961/18000 (mem: 864.16 MiB) 17:35:46 elliptic : 794/6000 (mem: 864.16 MiB) 17:35:46 auxiliary : 4528/26000 (mem: 864.16 MiB) 17:35:46 poseidon ext : 312/17000 (mem: 864.16 MiB) 17:35:46 poseidon int : 1769/92000 (mem: 864.16 MiB) 17:35:46 overflow : 0/0 (mem: 864.16 MiB) 17:35:46 (mem: 864.16 MiB) 17:35:46 Total structured size: 242025 (mem: 864.16 MiB) 17:35:46 allocating polynomials object in proving key... (mem: 864.16 MiB) 17:35:46 populating trace... (mem: 864.16 MiB) 17:35:46 time to construct proving key: 34 ms. (mem: 864.16 MiB) 17:35:46 getting honk vk... precomputed?: 0x61ba693fc9c0 (mem: 864.16 MiB) 17:35:46 computing folding proof (mem: 864.16 MiB) 17:35:46 oink prover on each incomplete key (mem: 864.16 MiB) 17:35:46 perturbator round (mem: 864.16 MiB) 17:35:46 combiner quotient round (mem: 864.41 MiB) 17:35:46 folded (mem: 864.41 MiB) 17:35:46 constructed folding proof (mem: 864.41 MiB) 17:35:46 ClientIVC: accumulating private_kernel_inner (mem: 864.41 MiB) 17:35:46 Constructing DeciderProvingKey (mem: 864.41 MiB) 17:35:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 864.41 MiB) 17:35:46 goblin ecc op : 792/1024 (mem: 864.41 MiB) 17:35:46 busread : 4185/6000 (mem: 864.41 MiB) 17:35:46 lookups : 2/15000 (mem: 864.41 MiB) 17:35:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 864.41 MiB) 17:35:46 arithmetic : 43917/56000 (mem: 864.41 MiB) 17:35:46 delta range : 4930/18000 (mem: 864.41 MiB) 17:35:46 elliptic : 340/6000 (mem: 864.41 MiB) 17:35:46 auxiliary : 1399/26000 (mem: 864.41 MiB) 17:35:46 poseidon ext : 5652/17000 (mem: 864.41 MiB) 17:35:46 poseidon int : 32207/92000 (mem: 864.41 MiB) 17:35:46 overflow : 0/0 (mem: 864.41 MiB) 17:35:46 (mem: 864.41 MiB) 17:35:46 Total structured size: 242025 (mem: 864.41 MiB) 17:35:46 allocating polynomials object in proving key... (mem: 864.41 MiB) 17:35:46 populating trace... (mem: 864.41 MiB) 17:35:46 time to construct proving key: 49 ms. (mem: 864.41 MiB) 17:35:46 getting honk vk... precomputed?: 0x61ba6930ed00 (mem: 864.41 MiB) 17:35:46 computing folding proof (mem: 864.41 MiB) 17:35:47 oink prover on each incomplete key (mem: 864.41 MiB) 17:35:47 perturbator round (mem: 864.41 MiB) 17:35:47 combiner quotient round (mem: 867.17 MiB) 17:35:47 folded (mem: 867.17 MiB) 17:35:47 constructed folding proof (mem: 867.17 MiB) 17:35:47 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 867.17 MiB) 17:35:47 Constructing DeciderProvingKey (mem: 867.17 MiB) 17:35:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 867.17 MiB) 17:35:47 goblin ecc op : 4/1024 (mem: 867.17 MiB) 17:35:47 busread : 743/6000 (mem: 867.17 MiB) 17:35:47 lookups : 2/15000 (mem: 867.17 MiB) 17:35:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 867.17 MiB) 17:35:47 arithmetic : 3248/56000 (mem: 867.17 MiB) 17:35:47 delta range : 1767/18000 (mem: 867.17 MiB) 17:35:47 elliptic : 2/6000 (mem: 867.17 MiB) 17:35:47 auxiliary : 26/26000 (mem: 867.17 MiB) 17:35:47 poseidon ext : 2/17000 (mem: 867.17 MiB) 17:35:47 poseidon int : 2/92000 (mem: 867.17 MiB) 17:35:47 overflow : 0/0 (mem: 867.17 MiB) 17:35:47 (mem: 867.17 MiB) 17:35:47 Total structured size: 242025 (mem: 867.17 MiB) 17:35:47 allocating polynomials object in proving key... (mem: 867.17 MiB) 17:35:47 populating trace... (mem: 867.17 MiB) 17:35:47 time to construct proving key: 19 ms. (mem: 867.17 MiB) 17:35:47 getting honk vk... precomputed?: 0x61ba6733fb40 (mem: 867.17 MiB) 17:35:47 computing folding proof (mem: 867.17 MiB) 17:35:47 oink prover on each incomplete key (mem: 867.17 MiB) 17:35:47 perturbator round (mem: 867.17 MiB) 17:35:47 combiner quotient round (mem: 867.17 MiB) 17:35:48 folded (mem: 867.17 MiB) 17:35:48 constructed folding proof (mem: 867.17 MiB) 17:35:48 ClientIVC: accumulating private_kernel_inner (mem: 867.17 MiB) 17:35:48 Constructing DeciderProvingKey (mem: 867.17 MiB) 17:35:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 867.17 MiB) 17:35:48 goblin ecc op : 792/1024 (mem: 867.17 MiB) 17:35:48 busread : 4185/6000 (mem: 867.17 MiB) 17:35:48 lookups : 2/15000 (mem: 867.17 MiB) 17:35:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 867.17 MiB) 17:35:48 arithmetic : 43917/56000 (mem: 867.17 MiB) 17:35:48 delta range : 4930/18000 (mem: 867.17 MiB) 17:35:48 elliptic : 340/6000 (mem: 867.17 MiB) 17:35:48 auxiliary : 1399/26000 (mem: 867.17 MiB) 17:35:48 poseidon ext : 5652/17000 (mem: 867.17 MiB) 17:35:48 poseidon int : 32207/92000 (mem: 867.17 MiB) 17:35:48 overflow : 0/0 (mem: 867.17 MiB) 17:35:48 (mem: 867.17 MiB) 17:35:48 Total structured size: 242025 (mem: 867.17 MiB) 17:35:48 allocating polynomials object in proving key... (mem: 867.17 MiB) 17:35:48 populating trace... (mem: 867.17 MiB) 17:35:48 time to construct proving key: 44 ms. (mem: 867.17 MiB) 17:35:48 getting honk vk... precomputed?: 0x61ba64927900 (mem: 867.17 MiB) 17:35:48 computing folding proof (mem: 867.17 MiB) 17:35:48 oink prover on each incomplete key (mem: 867.17 MiB) 17:35:48 perturbator round (mem: 867.17 MiB) 17:35:48 combiner quotient round (mem: 867.24 MiB) 17:35:48 folded (mem: 867.24 MiB) 17:35:48 constructed folding proof (mem: 867.24 MiB) 17:35:49 ClientIVC: accumulating private_kernel_reset (mem: 867.24 MiB) 17:35:49 Constructing DeciderProvingKey (mem: 867.24 MiB) 17:35:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 867.24 MiB) 17:35:49 goblin ecc op : 392/1024 (mem: 867.24 MiB) 17:35:49 busread : 2372/6000 (mem: 867.24 MiB) 17:35:49 lookups : 2/15000 (mem: 867.24 MiB) 17:35:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 867.24 MiB) 17:35:49 arithmetic : 38166/56000 (mem: 867.24 MiB) 17:35:49 delta range : 4270/18000 (mem: 867.24 MiB) 17:35:49 elliptic : 1274/6000 (mem: 867.24 MiB) 17:35:49 auxiliary : 14240/26000 (mem: 867.24 MiB) 17:35:49 poseidon ext : 6092/17000 (mem: 867.24 MiB) 17:35:49 poseidon int : 34715/92000 (mem: 867.24 MiB) 17:35:49 overflow : 0/0 (mem: 867.24 MiB) 17:35:49 (mem: 867.24 MiB) 17:35:49 Total structured size: 242025 (mem: 867.24 MiB) 17:35:49 allocating polynomials object in proving key... (mem: 867.24 MiB) 17:35:49 populating trace... (mem: 867.24 MiB) 17:35:49 time to construct proving key: 54 ms. (mem: 867.24 MiB) 17:35:49 getting honk vk... precomputed?: 0x61ba65693b40 (mem: 867.24 MiB) 17:35:49 computing folding proof (mem: 867.24 MiB) 17:35:49 oink prover on each incomplete key (mem: 867.24 MiB) 17:35:49 perturbator round (mem: 867.24 MiB) 17:35:49 combiner quotient round (mem: 898.49 MiB) 17:35:49 folded (mem: 898.49 MiB) 17:35:49 constructed folding proof (mem: 898.49 MiB) 17:35:49 ClientIVC: accumulating private_kernel_tail (mem: 898.49 MiB) 17:35:49 Constructing DeciderProvingKey (mem: 898.49 MiB) 17:35:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 898.49 MiB) 17:35:49 goblin ecc op : 392/1024 (mem: 898.49 MiB) 17:35:49 busread : 206/6000 (mem: 898.49 MiB) 17:35:49 lookups : 2/15000 (mem: 898.49 MiB) 17:35:49 pub inputs : 845/5000 (populated in decider pk constructor) (mem: 898.49 MiB) 17:35:49 arithmetic : 11205/56000 (mem: 898.49 MiB) 17:35:49 delta range : 2925/18000 (mem: 898.49 MiB) 17:35:49 elliptic : 2/6000 (mem: 898.49 MiB) 17:35:49 auxiliary : 2326/26000 (mem: 898.49 MiB) 17:35:49 poseidon ext : 2532/17000 (mem: 898.49 MiB) 17:35:49 poseidon int : 14423/92000 (mem: 898.49 MiB) 17:35:49 overflow : 0/0 (mem: 898.49 MiB) 17:35:49 (mem: 898.49 MiB) 17:35:49 Total structured size: 242025 (mem: 898.49 MiB) 17:35:49 allocating polynomials object in proving key... (mem: 898.49 MiB) 17:35:49 populating trace... (mem: 898.49 MiB) 17:35:49 time to construct proving key: 28 ms. (mem: 898.49 MiB) 17:35:49 getting honk vk... precomputed?: 0x61ba64ba7440 (mem: 898.49 MiB) 17:35:49 computing folding proof (mem: 898.49 MiB) 17:35:50 oink prover on each incomplete key (mem: 898.49 MiB) 17:35:50 perturbator round (mem: 898.49 MiB) 17:35:50 combiner quotient round (mem: 898.49 MiB) 17:35:50 folded (mem: 898.49 MiB) 17:35:50 constructed folding proof (mem: 898.49 MiB) 17:35:50 Largest circuit: 101131 gates. Trace details: (mem: 898.49 MiB) 17:35:50 Minimum required block sizes for structured trace: (mem: 898.49 MiB) 17:35:50 ecc_op : 792 17:35:50 busread : 4185 17:35:50 lookup : 9322 17:35:50 pub_inputs : 845 17:35:50 arithmetic : 43917 17:35:50 delta_range : 4930 17:35:50 elliptic : 1274 17:35:50 aux : 14240 17:35:50 poseidon2_external : 6092 17:35:50 poseidon2_internal : 34715 17:35:50 overflow : 0 17:35:50 (mem: 898.49 MiB) 17:35:50 prove decider... (mem: 898.49 MiB) 17:35:50 finished decider proving. (mem: 898.49 MiB) 17:35:50 starting sumcheck rounds... (mem: 898.49 MiB) 17:35:50 completed 18 rounds of sumcheck (mem: 898.49 MiB) 17:35:51 executed multivariate-to-univariate reduction (mem: 898.49 MiB) 17:35:51 computed opening proof (mem: 898.49 MiB) 17:35:51 Constructing DeciderProvingKey (mem: 898.49 MiB) 17:35:51 allocating polynomials object in proving key... (mem: 898.49 MiB) 17:35:51 populating trace... (mem: 898.49 MiB) 17:35:51 time to construct proving key: 32 ms. (mem: 898.49 MiB) 17:35:51 created oink proof (mem: 898.49 MiB) 17:35:51 starting sumcheck rounds... (mem: 898.49 MiB) 17:35:51 completed 16 rounds of sumcheck (mem: 898.49 MiB) 17:35:52 executed multivariate-to-univariate reduction (mem: 898.49 MiB) 17:35:52 computed opening proof (mem: 898.49 MiB) 17:35:52 Constructing a Goblin proof with num ultra ops = 5410 (mem: 898.49 MiB) 17:35:52 prove eccvm... (mem: 898.49 MiB) 17:35:52 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 898.49 MiB) 17:35:52 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 898.49 MiB) 17:35:54 starting sumcheck rounds... (mem: 898.49 MiB) 17:35:54 completed 16 rounds of sumcheck (mem: 898.49 MiB) 17:35:55 finished eccvm proving. (mem: 898.49 MiB) 17:35:55 prove translator... (mem: 898.49 MiB) 17:35:57 starting sumcheck rounds... (mem: 898.49 MiB) 17:35:57 completed 18 rounds of sumcheck (mem: 898.49 MiB) 17:35:58 computed opening proof (mem: 947.93 MiB) 17:35:58 finished translator proving. (mem: 947.93 MiB) 17:35:58 Mega verified: 1 (mem: 948.93 MiB) 17:35:58 eccvm sumcheck verified?: 1 (mem: 948.93 MiB) 17:35:58 batch opening verified?: 1 (mem: 948.93 MiB) 17:35:58 eccvm consistency check verified?: 1 (mem: 948.93 MiB) 17:35:58 translation masking consistency checked?: 1 (mem: 948.93 MiB) 17:35:58 merge verified?: 1 (mem: 948.93 MiB) 17:35:58 eccvm verified?: 1 (mem: 948.93 MiB) 17:35:58 accumulator construction_verified?: 1 (mem: 948.93 MiB) 17:35:58 translation verified?: 1 (mem: 948.93 MiB) 17:35:58 consistency verified?: 1 (mem: 948.93 MiB) 17:35:58 Goblin verified: 1 (mem: 948.93 MiB) 17:35:58 writing ClientIVC proof in directory "bench-out/app-proving/deploy_schnorr+sponsored_fpc/native" (mem: 948.93 MiB) 17:35:58 deploy_schnorr+sponsored_fpc (native) has proven in 18s and peak memory of 947MB. 17:35:59 deploy_schnorr+sponsored_fpc (native) has verified.