Parent Log: http://ci.aztec-labs.com/9f46cb633faef97b Command: 53e9b8d3e8ba3411:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+deploy_tokenContract_with_registration+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:59:08 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15049_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_d7379c3cde458784_master 10:59:08 --- bb ivc flow bench --- 10:59:08 bb command: prove (mem: 7.00 MiB) 10:59:08 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 10:59:08 --scheme: client_ivc (mem: 7.00 MiB) 10:59:08 --output_path: bench-out/app-proving/ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc/native (mem: 7.00 MiB) 10:59:08 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc/ivc-inputs.msgpack (mem: 7.00 MiB) 10:59:08 --verbose: true (mem: 7.00 MiB) 10:59:09 BN254 commitment key size: 262144 (mem: 173.70 MiB) 10:59:09 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 256.55 MiB) 10:59:09 Initialized BN254 CRS from memory with num points = 262209 (mem: 309.55 MiB) 10:59:09 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 310.58 MiB) 10:59:09 Constructing DeciderProvingKey (mem: 310.58 MiB) 10:59:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 323.58 MiB) 10:59:09 goblin ecc op : 4/1024 (mem: 323.58 MiB) 10:59:09 busread : 743/6000 (mem: 323.58 MiB) 10:59:09 lookups : 2898/15000 (mem: 323.58 MiB) 10:59:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 323.58 MiB) 10:59:09 arithmetic : 39564/56000 (mem: 323.58 MiB) 10:59:09 delta range : 17435/18000 (mem: 323.58 MiB) 10:59:09 elliptic : 2/6000 (mem: 323.58 MiB) 10:59:09 auxiliary : 25394/26000 (mem: 323.58 MiB) 10:59:09 poseidon ext : 322/17000 (mem: 323.58 MiB) 10:59:09 poseidon int : 1826/92000 (mem: 323.58 MiB) 10:59:09 overflow : 0/0 (mem: 323.58 MiB) 10:59:09 (mem: 323.58 MiB) 10:59:09 Total structured size: 242025 (mem: 323.58 MiB) 10:59:09 allocating polynomials object in proving key... (mem: 323.58 MiB) 10:59:09 populating trace... (mem: 544.58 MiB) 10:59:09 time to construct proving key: 84 ms. (mem: 564.58 MiB) 10:59:09 getting honk vk... precomputed?: 0x5ea37516ae00 (mem: 564.58 MiB) 10:59:09 computing oink proof... (mem: 564.58 MiB) 10:59:09 oink proof constructed (mem: 566.58 MiB) 10:59:09 ClientIVC: accumulating private_kernel_init (mem: 569.58 MiB) 10:59:09 Constructing DeciderProvingKey (mem: 569.58 MiB) 10:59:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 570.58 MiB) 10:59:09 goblin ecc op : 56/1024 (mem: 570.58 MiB) 10:59:09 busread : 2530/6000 (mem: 570.58 MiB) 10:59:09 lookups : 2/15000 (mem: 570.58 MiB) 10:59:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 570.58 MiB) 10:59:09 arithmetic : 21193/56000 (mem: 570.58 MiB) 10:59:09 delta range : 2974/18000 (mem: 570.58 MiB) 10:59:09 elliptic : 340/6000 (mem: 570.58 MiB) 10:59:09 auxiliary : 799/26000 (mem: 570.58 MiB) 10:59:09 poseidon ext : 2012/17000 (mem: 570.58 MiB) 10:59:09 poseidon int : 11459/92000 (mem: 570.58 MiB) 10:59:09 overflow : 0/0 (mem: 570.58 MiB) 10:59:09 (mem: 570.58 MiB) 10:59:09 Total structured size: 242025 (mem: 570.58 MiB) 10:59:09 allocating polynomials object in proving key... (mem: 570.58 MiB) 10:59:09 populating trace... (mem: 743.58 MiB) 10:59:09 time to construct proving key: 37 ms. (mem: 759.58 MiB) 10:59:09 getting honk vk... precomputed?: 0x5ea375319a40 (mem: 759.58 MiB) 10:59:09 computing folding proof (mem: 759.58 MiB) 10:59:09 oink prover on each incomplete key (mem: 759.58 MiB) 10:59:10 perturbator round (mem: 788.58 MiB) 10:59:10 combiner quotient round (mem: 820.58 MiB) 10:59:10 folded (mem: 820.58 MiB) 10:59:10 constructed folding proof (mem: 820.58 MiB) 10:59:10 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 820.58 MiB) 10:59:10 Constructing DeciderProvingKey (mem: 820.58 MiB) 10:59:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 820.58 MiB) 10:59:10 goblin ecc op : 4/1024 (mem: 820.58 MiB) 10:59:10 busread : 743/6000 (mem: 820.58 MiB) 10:59:10 lookups : 2/15000 (mem: 820.58 MiB) 10:59:10 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 820.58 MiB) 10:59:10 arithmetic : 3248/56000 (mem: 820.58 MiB) 10:59:10 delta range : 1767/18000 (mem: 820.58 MiB) 10:59:10 elliptic : 2/6000 (mem: 820.58 MiB) 10:59:10 auxiliary : 26/26000 (mem: 820.58 MiB) 10:59:10 poseidon ext : 2/17000 (mem: 820.58 MiB) 10:59:10 poseidon int : 2/92000 (mem: 820.58 MiB) 10:59:10 overflow : 0/0 (mem: 820.58 MiB) 10:59:10 (mem: 820.58 MiB) 10:59:10 Total structured size: 242025 (mem: 820.58 MiB) 10:59:10 allocating polynomials object in proving key... (mem: 820.58 MiB) 10:59:10 populating trace... (mem: 820.58 MiB) 10:59:10 time to construct proving key: 17 ms. (mem: 820.58 MiB) 10:59:10 getting honk vk... precomputed?: 0x5ea375317100 (mem: 820.58 MiB) 10:59:10 computing folding proof (mem: 820.58 MiB) 10:59:10 oink prover on each incomplete key (mem: 820.58 MiB) 10:59:10 perturbator round (mem: 820.58 MiB) 10:59:10 combiner quotient round (mem: 823.15 MiB) 10:59:10 folded (mem: 823.15 MiB) 10:59:10 constructed folding proof (mem: 823.15 MiB) 10:59:10 ClientIVC: accumulating private_kernel_inner (mem: 823.15 MiB) 10:59:10 Constructing DeciderProvingKey (mem: 823.15 MiB) 10:59:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 823.15 MiB) 10:59:10 goblin ecc op : 792/1024 (mem: 823.15 MiB) 10:59:10 busread : 4185/6000 (mem: 823.15 MiB) 10:59:10 lookups : 2/15000 (mem: 823.15 MiB) 10:59:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 823.15 MiB) 10:59:10 arithmetic : 43917/56000 (mem: 823.15 MiB) 10:59:10 delta range : 4930/18000 (mem: 823.15 MiB) 10:59:10 elliptic : 340/6000 (mem: 823.15 MiB) 10:59:10 auxiliary : 1399/26000 (mem: 823.15 MiB) 10:59:10 poseidon ext : 5652/17000 (mem: 823.15 MiB) 10:59:10 poseidon int : 32207/92000 (mem: 823.15 MiB) 10:59:10 overflow : 0/0 (mem: 823.15 MiB) 10:59:10 (mem: 823.15 MiB) 10:59:10 Total structured size: 242025 (mem: 823.15 MiB) 10:59:10 allocating polynomials object in proving key... (mem: 823.15 MiB) 10:59:10 populating trace... (mem: 823.15 MiB) 10:59:10 time to construct proving key: 42 ms. (mem: 823.15 MiB) 10:59:10 getting honk vk... precomputed?: 0x5ea3761b2e80 (mem: 823.15 MiB) 10:59:10 computing folding proof (mem: 823.15 MiB) 10:59:11 oink prover on each incomplete key (mem: 823.15 MiB) 10:59:11 perturbator round (mem: 827.63 MiB) 10:59:11 combiner quotient round (mem: 859.63 MiB) 10:59:11 folded (mem: 859.63 MiB) 10:59:11 constructed folding proof (mem: 859.63 MiB) 10:59:12 ClientIVC: accumulating ContractClassRegisterer:register (mem: 859.63 MiB) 10:59:12 Constructing DeciderProvingKey (mem: 859.63 MiB) 10:59:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 859.63 MiB) 10:59:12 goblin ecc op : 4/1024 (mem: 859.63 MiB) 10:59:12 busread : 743/6000 (mem: 859.63 MiB) 10:59:12 lookups : 2/15000 (mem: 859.63 MiB) 10:59:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 859.63 MiB) 10:59:12 arithmetic : 64398/56000 (mem: 859.63 MiB) 10:59:12 delta range : 4037/18000 (mem: 859.63 MiB) 10:59:12 elliptic : 2/6000 (mem: 859.63 MiB) 10:59:12 auxiliary : 26/26000 (mem: 859.63 MiB) 10:59:12 poseidon ext : 40102/17000 (mem: 859.63 MiB) 10:59:12 poseidon int : 228572/92000 (mem: 859.63 MiB) 10:59:12 overflow : 0/0 (mem: 859.63 MiB) 10:59:12 (mem: 859.63 MiB) 10:59:12 Total structured size: 242025 (mem: 859.63 MiB) 10:59:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 884.17 MiB) 10:59:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 884.17 MiB) 10:59:12 goblin ecc op : 4/1024 (mem: 884.17 MiB) 10:59:12 busread : 743/6000 (mem: 884.17 MiB) 10:59:12 lookups : 2/15000 (mem: 884.17 MiB) 10:59:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 884.17 MiB) 10:59:12 arithmetic : 56000/56000 (mem: 884.17 MiB) 10:59:12 delta range : 4037/18000 (mem: 884.17 MiB) 10:59:12 elliptic : 2/6000 (mem: 884.17 MiB) 10:59:12 auxiliary : 26/26000 (mem: 884.17 MiB) 10:59:12 poseidon ext : 17000/17000 (mem: 884.17 MiB) 10:59:12 poseidon int : 92000/92000 (mem: 884.17 MiB) 10:59:12 overflow : 168075/168075 (mem: 884.17 MiB) 10:59:12 (mem: 884.17 MiB) 10:59:12 Total structured size: 410100 (mem: 884.17 MiB) 10:59:12 allocating polynomials object in proving key... (mem: 884.17 MiB) 10:59:12 populating trace... (mem: 1748.17 MiB) 10:59:12 time to construct proving key: 234 ms. (mem: 1792.17 MiB) 10:59:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1879.02 MiB) 10:59:12 Initialized BN254 CRS from memory with num points = 524353 (mem: 1975.07 MiB) 10:59:12 getting honk vk... precomputed?: 0x5ea3733f32c0 (mem: 1975.07 MiB) 10:59:12 computing folding proof (mem: 1975.07 MiB) 10:59:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 1975.07 MiB) 10:59:13 oink prover on each incomplete key (mem: 1975.07 MiB) 10:59:14 perturbator round (mem: 1975.07 MiB) 10:59:14 combiner quotient round (mem: 1975.07 MiB) 10:59:14 folded (mem: 1975.07 MiB) 10:59:14 constructed folding proof (mem: 1975.07 MiB) 10:59:14 ClientIVC: accumulating private_kernel_inner (mem: 1975.07 MiB) 10:59:14 Constructing DeciderProvingKey (mem: 1975.07 MiB) 10:59:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 1975.07 MiB) 10:59:14 goblin ecc op : 792/1024 (mem: 1975.07 MiB) 10:59:14 busread : 4185/6000 (mem: 1975.07 MiB) 10:59:14 lookups : 2/15000 (mem: 1975.07 MiB) 10:59:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1975.07 MiB) 10:59:14 arithmetic : 43917/56000 (mem: 1975.07 MiB) 10:59:14 delta range : 4930/18000 (mem: 1975.07 MiB) 10:59:14 elliptic : 340/6000 (mem: 1975.07 MiB) 10:59:14 auxiliary : 1399/26000 (mem: 1975.07 MiB) 10:59:14 poseidon ext : 5652/17000 (mem: 1975.07 MiB) 10:59:14 poseidon int : 32207/92000 (mem: 1975.07 MiB) 10:59:14 overflow : 0/0 (mem: 1975.07 MiB) 10:59:14 (mem: 1975.07 MiB) 10:59:14 Total structured size: 242025 (mem: 1975.07 MiB) 10:59:14 allocating polynomials object in proving key... (mem: 1975.07 MiB) 10:59:14 populating trace... (mem: 1975.07 MiB) 10:59:14 time to construct proving key: 46 ms. (mem: 1975.07 MiB) 10:59:14 getting honk vk... precomputed?: 0x5ea37456aa00 (mem: 1975.07 MiB) 10:59:14 computing folding proof (mem: 1975.07 MiB) 10:59:14 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1975.07 MiB) 10:59:15 oink prover on each incomplete key (mem: 1975.07 MiB) 10:59:15 perturbator round (mem: 1975.07 MiB) 10:59:15 combiner quotient round (mem: 1975.07 MiB) 10:59:15 folded (mem: 1975.07 MiB) 10:59:15 constructed folding proof (mem: 1975.07 MiB) 10:59:15 ClientIVC: accumulating ContractInstanceDeployer:deploy (mem: 1975.07 MiB) 10:59:15 Constructing DeciderProvingKey (mem: 1975.07 MiB) 10:59:15 Gate blocks summary: (actual gates / fixed capacity) (mem: 1975.07 MiB) 10:59:15 goblin ecc op : 4/1024 (mem: 1975.07 MiB) 10:59:15 busread : 743/6000 (mem: 1975.07 MiB) 10:59:15 lookups : 2/15000 (mem: 1975.07 MiB) 10:59:15 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1975.07 MiB) 10:59:15 arithmetic : 3627/56000 (mem: 1975.07 MiB) 10:59:15 delta range : 1823/18000 (mem: 1975.07 MiB) 10:59:15 elliptic : 340/6000 (mem: 1975.07 MiB) 10:59:15 auxiliary : 187/26000 (mem: 1975.07 MiB) 10:59:15 poseidon ext : 162/17000 (mem: 1975.07 MiB) 10:59:15 poseidon int : 914/92000 (mem: 1975.07 MiB) 10:59:15 overflow : 0/0 (mem: 1975.07 MiB) 10:59:15 (mem: 1975.07 MiB) 10:59:15 Total structured size: 242025 (mem: 1975.07 MiB) 10:59:15 allocating polynomials object in proving key... (mem: 1975.07 MiB) 10:59:15 populating trace... (mem: 1975.07 MiB) 10:59:15 time to construct proving key: 17 ms. (mem: 1975.07 MiB) 10:59:15 getting honk vk... precomputed?: 0x5ea37333c0c0 (mem: 1975.07 MiB) 10:59:15 computing folding proof (mem: 1975.07 MiB) 10:59:15 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1975.07 MiB) 10:59:16 oink prover on each incomplete key (mem: 1975.07 MiB) 10:59:16 perturbator round (mem: 1975.07 MiB) 10:59:16 combiner quotient round (mem: 1975.07 MiB) 10:59:16 folded (mem: 1975.07 MiB) 10:59:16 constructed folding proof (mem: 1975.07 MiB) 10:59:16 ClientIVC: accumulating private_kernel_inner (mem: 1975.07 MiB) 10:59:16 Constructing DeciderProvingKey (mem: 1975.07 MiB) 10:59:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 1975.07 MiB) 10:59:16 goblin ecc op : 792/1024 (mem: 1975.07 MiB) 10:59:16 busread : 4185/6000 (mem: 1975.07 MiB) 10:59:16 lookups : 2/15000 (mem: 1975.07 MiB) 10:59:16 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1975.07 MiB) 10:59:16 arithmetic : 43917/56000 (mem: 1975.07 MiB) 10:59:16 delta range : 4930/18000 (mem: 1975.07 MiB) 10:59:16 elliptic : 340/6000 (mem: 1975.07 MiB) 10:59:16 auxiliary : 1399/26000 (mem: 1975.07 MiB) 10:59:16 poseidon ext : 5652/17000 (mem: 1975.07 MiB) 10:59:16 poseidon int : 32207/92000 (mem: 1975.07 MiB) 10:59:16 overflow : 0/0 (mem: 1975.07 MiB) 10:59:16 (mem: 1975.07 MiB) 10:59:16 Total structured size: 242025 (mem: 1975.07 MiB) 10:59:16 allocating polynomials object in proving key... (mem: 1975.07 MiB) 10:59:16 populating trace... (mem: 1975.07 MiB) 10:59:16 time to construct proving key: 42 ms. (mem: 1975.07 MiB) 10:59:17 getting honk vk... precomputed?: 0x5ea3730ede80 (mem: 1975.07 MiB) 10:59:17 computing folding proof (mem: 1975.07 MiB) 10:59:17 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1975.07 MiB) 10:59:17 oink prover on each incomplete key (mem: 1975.07 MiB) 10:59:17 perturbator round (mem: 1975.07 MiB) 10:59:18 combiner quotient round (mem: 1975.07 MiB) 10:59:18 folded (mem: 1975.07 MiB) 10:59:18 constructed folding proof (mem: 1975.07 MiB) 10:59:18 ClientIVC: accumulating ContractClassRegisterer:assert_class_id_is_registered (mem: 1975.07 MiB) 10:59:18 Constructing DeciderProvingKey (mem: 1975.07 MiB) 10:59:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 1975.07 MiB) 10:59:18 goblin ecc op : 4/1024 (mem: 1975.07 MiB) 10:59:18 busread : 743/6000 (mem: 1975.07 MiB) 10:59:18 lookups : 2/15000 (mem: 1975.07 MiB) 10:59:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1975.07 MiB) 10:59:18 arithmetic : 3261/56000 (mem: 1975.07 MiB) 10:59:18 delta range : 1768/18000 (mem: 1975.07 MiB) 10:59:18 elliptic : 2/6000 (mem: 1975.07 MiB) 10:59:18 auxiliary : 26/26000 (mem: 1975.07 MiB) 10:59:18 poseidon ext : 12/17000 (mem: 1975.07 MiB) 10:59:18 poseidon int : 59/92000 (mem: 1975.07 MiB) 10:59:18 overflow : 0/0 (mem: 1975.07 MiB) 10:59:18 (mem: 1975.07 MiB) 10:59:18 Total structured size: 242025 (mem: 1975.07 MiB) 10:59:18 allocating polynomials object in proving key... (mem: 1975.07 MiB) 10:59:18 populating trace... (mem: 1975.07 MiB) 10:59:18 time to construct proving key: 15 ms. (mem: 1975.07 MiB) 10:59:18 getting honk vk... precomputed?: 0x5ea3789b0900 (mem: 1975.07 MiB) 10:59:18 computing folding proof (mem: 1975.07 MiB) 10:59:18 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1975.07 MiB) 10:59:18 oink prover on each incomplete key (mem: 1975.07 MiB) 10:59:18 perturbator round (mem: 1975.07 MiB) 10:59:18 combiner quotient round (mem: 1975.07 MiB) 10:59:19 folded (mem: 1975.07 MiB) 10:59:19 constructed folding proof (mem: 1975.07 MiB) 10:59:19 ClientIVC: accumulating private_kernel_inner (mem: 1975.07 MiB) 10:59:19 Constructing DeciderProvingKey (mem: 1975.07 MiB) 10:59:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 1975.07 MiB) 10:59:19 goblin ecc op : 792/1024 (mem: 1975.07 MiB) 10:59:19 busread : 4185/6000 (mem: 1975.07 MiB) 10:59:19 lookups : 2/15000 (mem: 1975.07 MiB) 10:59:19 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1975.07 MiB) 10:59:19 arithmetic : 43917/56000 (mem: 1975.07 MiB) 10:59:19 delta range : 4930/18000 (mem: 1975.07 MiB) 10:59:19 elliptic : 340/6000 (mem: 1975.07 MiB) 10:59:19 auxiliary : 1399/26000 (mem: 1975.07 MiB) 10:59:19 poseidon ext : 5652/17000 (mem: 1975.07 MiB) 10:59:19 poseidon int : 32207/92000 (mem: 1975.07 MiB) 10:59:19 overflow : 0/0 (mem: 1975.07 MiB) 10:59:19 (mem: 1975.07 MiB) 10:59:19 Total structured size: 242025 (mem: 1975.07 MiB) 10:59:19 allocating polynomials object in proving key... (mem: 1975.07 MiB) 10:59:19 populating trace... (mem: 1975.07 MiB) 10:59:19 time to construct proving key: 43 ms. (mem: 1975.07 MiB) 10:59:19 getting honk vk... precomputed?: 0x5ea375378ec0 (mem: 1975.07 MiB) 10:59:19 computing folding proof (mem: 1975.07 MiB) 10:59:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1975.07 MiB) 10:59:19 oink prover on each incomplete key (mem: 1975.07 MiB) 10:59:19 perturbator round (mem: 1975.07 MiB) 10:59:20 combiner quotient round (mem: 1975.07 MiB) 10:59:20 folded (mem: 1975.07 MiB) 10:59:20 constructed folding proof (mem: 1975.07 MiB) 10:59:20 ClientIVC: accumulating private_kernel_reset (mem: 1975.07 MiB) 10:59:20 Constructing DeciderProvingKey (mem: 1975.07 MiB) 10:59:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 1975.07 MiB) 10:59:20 goblin ecc op : 392/1024 (mem: 1975.07 MiB) 10:59:20 busread : 2372/6000 (mem: 1975.07 MiB) 10:59:20 lookups : 2/15000 (mem: 1975.07 MiB) 10:59:20 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1975.07 MiB) 10:59:20 arithmetic : 38166/56000 (mem: 1975.07 MiB) 10:59:20 delta range : 4270/18000 (mem: 1975.07 MiB) 10:59:20 elliptic : 1274/6000 (mem: 1975.07 MiB) 10:59:20 auxiliary : 14240/26000 (mem: 1975.07 MiB) 10:59:20 poseidon ext : 6092/17000 (mem: 1975.07 MiB) 10:59:20 poseidon int : 34715/92000 (mem: 1975.07 MiB) 10:59:20 overflow : 0/0 (mem: 1975.07 MiB) 10:59:20 (mem: 1975.07 MiB) 10:59:20 Total structured size: 242025 (mem: 1975.07 MiB) 10:59:20 allocating polynomials object in proving key... (mem: 1975.07 MiB) 10:59:20 populating trace... (mem: 1975.07 MiB) 10:59:20 time to construct proving key: 54 ms. (mem: 1975.07 MiB) 10:59:20 getting honk vk... precomputed?: 0x5ea3790daf80 (mem: 1975.07 MiB) 10:59:20 computing folding proof (mem: 1975.07 MiB) 10:59:20 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1975.07 MiB) 10:59:20 oink prover on each incomplete key (mem: 1975.07 MiB) 10:59:21 perturbator round (mem: 1975.07 MiB) 10:59:21 combiner quotient round (mem: 1975.07 MiB) 10:59:21 folded (mem: 1975.07 MiB) 10:59:21 constructed folding proof (mem: 1975.07 MiB) 10:59:21 ClientIVC: accumulating private_kernel_tail (mem: 1975.07 MiB) 10:59:21 Constructing DeciderProvingKey (mem: 1975.07 MiB) 10:59:21 Gate blocks summary: (actual gates / fixed capacity) (mem: 1975.07 MiB) 10:59:21 goblin ecc op : 392/1024 (mem: 1975.07 MiB) 10:59:21 busread : 222/6000 (mem: 1975.07 MiB) 10:59:21 lookups : 2/15000 (mem: 1975.07 MiB) 10:59:21 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: 1975.07 MiB) 10:59:21 arithmetic : 21298/56000 (mem: 1975.07 MiB) 10:59:21 delta range : 3622/18000 (mem: 1975.07 MiB) 10:59:21 elliptic : 2/6000 (mem: 1975.07 MiB) 10:59:21 auxiliary : 7134/26000 (mem: 1975.07 MiB) 10:59:21 poseidon ext : 2532/17000 (mem: 1975.07 MiB) 10:59:21 poseidon int : 14423/92000 (mem: 1975.07 MiB) 10:59:21 overflow : 0/0 (mem: 1975.07 MiB) 10:59:21 (mem: 1975.07 MiB) 10:59:21 Total structured size: 242025 (mem: 1975.07 MiB) 10:59:21 allocating polynomials object in proving key... (mem: 1975.07 MiB) 10:59:21 populating trace... (mem: 1975.07 MiB) 10:59:21 time to construct proving key: 38 ms. (mem: 1975.07 MiB) 10:59:21 getting honk vk... precomputed?: 0x5ea379790280 (mem: 1975.07 MiB) 10:59:21 computing folding proof (mem: 1975.07 MiB) 10:59:21 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1975.07 MiB) 10:59:22 oink prover on each incomplete key (mem: 1975.07 MiB) 10:59:22 perturbator round (mem: 1975.07 MiB) 10:59:22 combiner quotient round (mem: 1975.07 MiB) 10:59:22 folded (mem: 1975.07 MiB) 10:59:22 constructed folding proof (mem: 1975.07 MiB) 10:59:22 Largest circuit: 337882 gates. Trace details: (mem: 1975.07 MiB) 10:59:22 Minimum required block sizes for structured trace: (mem: 1975.07 MiB) 10:59:22 ecc_op : 792 10:59:22 busread : 4185 10:59:22 lookup : 2898 10:59:22 pub_inputs : 1876 10:59:22 arithmetic : 56000 10:59:22 delta_range : 17435 10:59:22 elliptic : 1274 10:59:22 aux : 25394 10:59:22 poseidon2_external : 17000 10:59:22 poseidon2_internal : 92000 10:59:22 overflow : 168075 10:59:22 (mem: 1975.07 MiB) 10:59:22 prove decider... (mem: 1975.07 MiB) 10:59:22 finished decider proving. (mem: 1975.07 MiB) 10:59:23 starting sumcheck rounds... (mem: 1975.07 MiB) 10:59:23 completed 19 rounds of sumcheck (mem: 1975.07 MiB) 10:59:24 executed multivariate-to-univariate reduction (mem: 1975.07 MiB) 10:59:24 computed opening proof (mem: 1975.07 MiB) 10:59:24 Constructing DeciderProvingKey (mem: 1975.07 MiB) 10:59:24 allocating polynomials object in proving key... (mem: 1975.07 MiB) 10:59:24 populating trace... (mem: 1975.07 MiB) 10:59:24 time to construct proving key: 49 ms. (mem: 1975.07 MiB) 10:59:25 created oink proof (mem: 1975.07 MiB) 10:59:25 starting sumcheck rounds... (mem: 1975.07 MiB) 10:59:25 completed 17 rounds of sumcheck (mem: 1975.07 MiB) 10:59:26 executed multivariate-to-univariate reduction (mem: 1975.07 MiB) 10:59:26 computed opening proof (mem: 1975.07 MiB) 10:59:26 Constructing a Goblin proof with num ultra ops = 4614 (mem: 1975.07 MiB) 10:59:26 prove eccvm... (mem: 1975.07 MiB) 10:59:26 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1975.07 MiB) 10:59:26 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 1975.07 MiB) 10:59:28 starting sumcheck rounds... (mem: 1975.07 MiB) 10:59:28 completed 16 rounds of sumcheck (mem: 1975.07 MiB) 10:59:29 finished eccvm proving. (mem: 1975.07 MiB) 10:59:29 prove translator... (mem: 1975.07 MiB) 10:59:30 starting sumcheck rounds... (mem: 1975.07 MiB) 10:59:31 completed 18 rounds of sumcheck (mem: 1975.07 MiB) 10:59:32 computed opening proof (mem: 1975.07 MiB) 10:59:32 finished translator proving. (mem: 1975.07 MiB) 10:59:32 Mega verified: 1 (mem: 1975.07 MiB) 10:59:32 eccvm sumcheck verified?: 1 (mem: 1975.07 MiB) 10:59:32 batch opening verified?: 1 (mem: 1975.07 MiB) 10:59:32 eccvm consistency check verified?: 1 (mem: 1975.07 MiB) 10:59:32 translation masking consistency checked?: 1 (mem: 1975.07 MiB) 10:59:32 merge verified?: 1 (mem: 1975.07 MiB) 10:59:32 eccvm verified?: 1 (mem: 1975.07 MiB) 10:59:32 accumulator construction_verified?: 1 (mem: 1975.07 MiB) 10:59:32 translation verified?: 1 (mem: 1975.07 MiB) 10:59:32 consistency verified?: 1 (mem: 1975.07 MiB) 10:59:32 Goblin verified: 1 (mem: 1975.07 MiB) 10:59:32 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc/native" (mem: 1975.07 MiB) 10:59:32 ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc (native) has proven in 24s and peak memory of 1975MB. 10:59:33 ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc (native) has verified.