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/ecdsar1+deploy_tokenContract_with_registration+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:36:00 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15194_amd64_x2-full Resources: CPU_LIST=24,25,26,27,28,29,30,31 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_d7379c3cde458784_master 17:36:00 --- bb ivc flow bench --- 17:36:00 bb command: prove (mem: 7.00 MiB) 17:36:00 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 17:36:00 --scheme: client_ivc (mem: 7.00 MiB) 17:36:00 --output_path: bench-out/app-proving/ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc/native (mem: 7.00 MiB) 17:36:00 --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) 17:36:00 --verbose: true (mem: 7.00 MiB) 17:36:00 BN254 commitment key size: 262144 (mem: 173.70 MiB) 17:36:00 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 257.55 MiB) 17:36:01 Initialized BN254 CRS from memory with num points = 262209 (mem: 310.55 MiB) 17:36:01 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 311.96 MiB) 17:36:01 Constructing DeciderProvingKey (mem: 311.96 MiB) 17:36:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 324.96 MiB) 17:36:01 goblin ecc op : 4/1024 (mem: 324.96 MiB) 17:36:01 busread : 743/6000 (mem: 324.96 MiB) 17:36:01 lookups : 2898/15000 (mem: 324.96 MiB) 17:36:01 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 324.96 MiB) 17:36:01 arithmetic : 39564/56000 (mem: 324.96 MiB) 17:36:01 delta range : 17435/18000 (mem: 324.96 MiB) 17:36:01 elliptic : 2/6000 (mem: 324.96 MiB) 17:36:01 auxiliary : 25394/26000 (mem: 324.96 MiB) 17:36:01 poseidon ext : 322/17000 (mem: 324.96 MiB) 17:36:01 poseidon int : 1826/92000 (mem: 324.96 MiB) 17:36:01 overflow : 0/0 (mem: 324.96 MiB) 17:36:01 (mem: 324.96 MiB) 17:36:01 Total structured size: 242025 (mem: 324.96 MiB) 17:36:01 allocating polynomials object in proving key... (mem: 324.96 MiB) 17:36:01 populating trace... (mem: 543.96 MiB) 17:36:01 time to construct proving key: 84 ms. (mem: 565.96 MiB) 17:36:01 getting honk vk... precomputed?: 0x5fdc24bccdc0 (mem: 565.96 MiB) 17:36:01 computing oink proof... (mem: 565.96 MiB) 17:36:01 oink proof constructed (mem: 577.96 MiB) 17:36:01 ClientIVC: accumulating private_kernel_init (mem: 577.96 MiB) 17:36:01 Constructing DeciderProvingKey (mem: 577.96 MiB) 17:36:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 577.96 MiB) 17:36:01 goblin ecc op : 56/1024 (mem: 577.96 MiB) 17:36:01 busread : 2530/6000 (mem: 577.96 MiB) 17:36:01 lookups : 2/15000 (mem: 577.96 MiB) 17:36:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 577.96 MiB) 17:36:01 arithmetic : 21193/56000 (mem: 577.96 MiB) 17:36:01 delta range : 2974/18000 (mem: 577.96 MiB) 17:36:01 elliptic : 340/6000 (mem: 577.96 MiB) 17:36:01 auxiliary : 799/26000 (mem: 577.96 MiB) 17:36:01 poseidon ext : 2012/17000 (mem: 577.96 MiB) 17:36:01 poseidon int : 11459/92000 (mem: 577.96 MiB) 17:36:01 overflow : 0/0 (mem: 577.96 MiB) 17:36:01 (mem: 577.96 MiB) 17:36:01 Total structured size: 242025 (mem: 577.96 MiB) 17:36:01 allocating polynomials object in proving key... (mem: 577.96 MiB) 17:36:01 populating trace... (mem: 745.96 MiB) 17:36:01 time to construct proving key: 39 ms. (mem: 759.96 MiB) 17:36:01 getting honk vk... precomputed?: 0x5fdc24d7ba00 (mem: 759.96 MiB) 17:36:01 computing folding proof (mem: 759.96 MiB) 17:36:01 oink prover on each incomplete key (mem: 759.96 MiB) 17:36:01 perturbator round (mem: 788.96 MiB) 17:36:02 combiner quotient round (mem: 820.96 MiB) 17:36:02 folded (mem: 820.96 MiB) 17:36:02 constructed folding proof (mem: 820.96 MiB) 17:36:02 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 820.96 MiB) 17:36:02 Constructing DeciderProvingKey (mem: 820.96 MiB) 17:36:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 820.96 MiB) 17:36:02 goblin ecc op : 4/1024 (mem: 820.96 MiB) 17:36:02 busread : 743/6000 (mem: 820.96 MiB) 17:36:02 lookups : 2/15000 (mem: 820.96 MiB) 17:36:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 820.96 MiB) 17:36:02 arithmetic : 3248/56000 (mem: 820.96 MiB) 17:36:02 delta range : 1767/18000 (mem: 820.96 MiB) 17:36:02 elliptic : 2/6000 (mem: 820.96 MiB) 17:36:02 auxiliary : 26/26000 (mem: 820.96 MiB) 17:36:02 poseidon ext : 2/17000 (mem: 820.96 MiB) 17:36:02 poseidon int : 2/92000 (mem: 820.96 MiB) 17:36:02 overflow : 0/0 (mem: 820.96 MiB) 17:36:02 (mem: 820.96 MiB) 17:36:02 Total structured size: 242025 (mem: 820.96 MiB) 17:36:02 allocating polynomials object in proving key... (mem: 820.96 MiB) 17:36:02 populating trace... (mem: 820.96 MiB) 17:36:02 time to construct proving key: 16 ms. (mem: 820.96 MiB) 17:36:02 getting honk vk... precomputed?: 0x5fdc24d79080 (mem: 820.96 MiB) 17:36:02 computing folding proof (mem: 820.96 MiB) 17:36:02 oink prover on each incomplete key (mem: 820.96 MiB) 17:36:02 perturbator round (mem: 820.96 MiB) 17:36:02 combiner quotient round (mem: 821.18 MiB) 17:36:02 folded (mem: 821.18 MiB) 17:36:02 constructed folding proof (mem: 821.18 MiB) 17:36:02 ClientIVC: accumulating private_kernel_inner (mem: 821.18 MiB) 17:36:02 Constructing DeciderProvingKey (mem: 821.18 MiB) 17:36:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 821.18 MiB) 17:36:02 goblin ecc op : 792/1024 (mem: 821.18 MiB) 17:36:02 busread : 4185/6000 (mem: 821.18 MiB) 17:36:02 lookups : 2/15000 (mem: 821.18 MiB) 17:36:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.18 MiB) 17:36:02 arithmetic : 43917/56000 (mem: 821.18 MiB) 17:36:02 delta range : 4930/18000 (mem: 821.18 MiB) 17:36:02 elliptic : 340/6000 (mem: 821.18 MiB) 17:36:02 auxiliary : 1399/26000 (mem: 821.18 MiB) 17:36:02 poseidon ext : 5652/17000 (mem: 821.18 MiB) 17:36:02 poseidon int : 32207/92000 (mem: 821.18 MiB) 17:36:02 overflow : 0/0 (mem: 821.18 MiB) 17:36:02 (mem: 821.18 MiB) 17:36:02 Total structured size: 242025 (mem: 821.18 MiB) 17:36:02 allocating polynomials object in proving key... (mem: 821.18 MiB) 17:36:02 populating trace... (mem: 821.18 MiB) 17:36:02 time to construct proving key: 47 ms. (mem: 821.18 MiB) 17:36:02 getting honk vk... precomputed?: 0x5fdc25c14d40 (mem: 821.18 MiB) 17:36:02 computing folding proof (mem: 821.18 MiB) 17:36:03 oink prover on each incomplete key (mem: 821.18 MiB) 17:36:03 perturbator round (mem: 823.92 MiB) 17:36:03 combiner quotient round (mem: 855.92 MiB) 17:36:03 folded (mem: 855.92 MiB) 17:36:03 constructed folding proof (mem: 855.92 MiB) 17:36:03 ClientIVC: accumulating ContractClassRegisterer:register (mem: 855.92 MiB) 17:36:03 Constructing DeciderProvingKey (mem: 855.92 MiB) 17:36:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 855.92 MiB) 17:36:03 goblin ecc op : 4/1024 (mem: 855.92 MiB) 17:36:03 busread : 743/6000 (mem: 855.92 MiB) 17:36:04 lookups : 2/15000 (mem: 855.92 MiB) 17:36:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 855.92 MiB) 17:36:04 arithmetic : 64398/56000 (mem: 855.92 MiB) 17:36:04 delta range : 4037/18000 (mem: 855.92 MiB) 17:36:04 elliptic : 2/6000 (mem: 855.92 MiB) 17:36:04 auxiliary : 26/26000 (mem: 855.92 MiB) 17:36:04 poseidon ext : 40102/17000 (mem: 855.92 MiB) 17:36:04 poseidon int : 228572/92000 (mem: 855.92 MiB) 17:36:04 overflow : 0/0 (mem: 855.92 MiB) 17:36:04 (mem: 855.92 MiB) 17:36:04 Total structured size: 242025 (mem: 855.92 MiB) 17:36:04 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 880.77 MiB) 17:36:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 880.77 MiB) 17:36:04 goblin ecc op : 4/1024 (mem: 880.77 MiB) 17:36:04 busread : 743/6000 (mem: 880.77 MiB) 17:36:04 lookups : 2/15000 (mem: 880.77 MiB) 17:36:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 880.77 MiB) 17:36:04 arithmetic : 56000/56000 (mem: 880.77 MiB) 17:36:04 delta range : 4037/18000 (mem: 880.77 MiB) 17:36:04 elliptic : 2/6000 (mem: 880.77 MiB) 17:36:04 auxiliary : 26/26000 (mem: 880.77 MiB) 17:36:04 poseidon ext : 17000/17000 (mem: 880.77 MiB) 17:36:04 poseidon int : 92000/92000 (mem: 880.77 MiB) 17:36:04 overflow : 168075/168075 (mem: 880.77 MiB) 17:36:04 (mem: 880.77 MiB) 17:36:04 Total structured size: 410100 (mem: 880.77 MiB) 17:36:04 allocating polynomials object in proving key... (mem: 880.77 MiB) 17:36:04 populating trace... (mem: 1744.77 MiB) 17:36:04 time to construct proving key: 255 ms. (mem: 1788.77 MiB) 17:36:04 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1874.93 MiB) 17:36:04 Initialized BN254 CRS from memory with num points = 524353 (mem: 1970.98 MiB) 17:36:04 getting honk vk... precomputed?: 0x5fdc27eced00 (mem: 1970.98 MiB) 17:36:04 computing folding proof (mem: 1970.98 MiB) 17:36:04 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 1970.98 MiB) 17:36:05 oink prover on each incomplete key (mem: 1970.98 MiB) 17:36:05 perturbator round (mem: 1970.98 MiB) 17:36:06 combiner quotient round (mem: 1970.98 MiB) 17:36:06 folded (mem: 1970.98 MiB) 17:36:06 constructed folding proof (mem: 1970.98 MiB) 17:36:06 ClientIVC: accumulating private_kernel_inner (mem: 1970.98 MiB) 17:36:06 Constructing DeciderProvingKey (mem: 1970.98 MiB) 17:36:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 1970.98 MiB) 17:36:06 goblin ecc op : 792/1024 (mem: 1970.98 MiB) 17:36:06 busread : 4185/6000 (mem: 1970.98 MiB) 17:36:06 lookups : 2/15000 (mem: 1970.98 MiB) 17:36:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1970.98 MiB) 17:36:06 arithmetic : 43917/56000 (mem: 1970.98 MiB) 17:36:06 delta range : 4930/18000 (mem: 1970.98 MiB) 17:36:06 elliptic : 340/6000 (mem: 1970.98 MiB) 17:36:06 auxiliary : 1399/26000 (mem: 1970.98 MiB) 17:36:06 poseidon ext : 5652/17000 (mem: 1970.98 MiB) 17:36:06 poseidon int : 32207/92000 (mem: 1970.98 MiB) 17:36:06 overflow : 0/0 (mem: 1970.98 MiB) 17:36:06 (mem: 1970.98 MiB) 17:36:06 Total structured size: 242025 (mem: 1970.98 MiB) 17:36:06 allocating polynomials object in proving key... (mem: 1970.98 MiB) 17:36:06 populating trace... (mem: 1970.98 MiB) 17:36:06 time to construct proving key: 55 ms. (mem: 1970.98 MiB) 17:36:06 getting honk vk... precomputed?: 0x5fdc26159640 (mem: 1970.98 MiB) 17:36:06 computing folding proof (mem: 1970.98 MiB) 17:36:06 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1970.98 MiB) 17:36:07 oink prover on each incomplete key (mem: 1970.98 MiB) 17:36:07 perturbator round (mem: 1970.98 MiB) 17:36:07 combiner quotient round (mem: 1970.98 MiB) 17:36:07 folded (mem: 1970.98 MiB) 17:36:07 constructed folding proof (mem: 1970.98 MiB) 17:36:07 ClientIVC: accumulating ContractInstanceDeployer:deploy (mem: 1970.98 MiB) 17:36:07 Constructing DeciderProvingKey (mem: 1970.98 MiB) 17:36:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1970.98 MiB) 17:36:07 goblin ecc op : 4/1024 (mem: 1970.98 MiB) 17:36:07 busread : 743/6000 (mem: 1970.98 MiB) 17:36:07 lookups : 2/15000 (mem: 1970.98 MiB) 17:36:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1970.98 MiB) 17:36:07 arithmetic : 3627/56000 (mem: 1970.98 MiB) 17:36:07 delta range : 1823/18000 (mem: 1970.98 MiB) 17:36:07 elliptic : 340/6000 (mem: 1970.98 MiB) 17:36:07 auxiliary : 187/26000 (mem: 1970.98 MiB) 17:36:07 poseidon ext : 162/17000 (mem: 1970.98 MiB) 17:36:07 poseidon int : 914/92000 (mem: 1970.98 MiB) 17:36:07 overflow : 0/0 (mem: 1970.98 MiB) 17:36:07 (mem: 1970.98 MiB) 17:36:07 Total structured size: 242025 (mem: 1970.98 MiB) 17:36:07 allocating polynomials object in proving key... (mem: 1970.98 MiB) 17:36:07 populating trace... (mem: 1970.98 MiB) 17:36:08 time to construct proving key: 17 ms. (mem: 1970.98 MiB) 17:36:08 getting honk vk... precomputed?: 0x5fdc22e00680 (mem: 1970.98 MiB) 17:36:08 computing folding proof (mem: 1970.98 MiB) 17:36:08 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1970.98 MiB) 17:36:08 oink prover on each incomplete key (mem: 1970.98 MiB) 17:36:08 perturbator round (mem: 1970.98 MiB) 17:36:08 combiner quotient round (mem: 1970.98 MiB) 17:36:08 folded (mem: 1970.98 MiB) 17:36:08 constructed folding proof (mem: 1970.98 MiB) 17:36:09 ClientIVC: accumulating private_kernel_inner (mem: 1970.98 MiB) 17:36:09 Constructing DeciderProvingKey (mem: 1970.98 MiB) 17:36:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 1970.98 MiB) 17:36:09 goblin ecc op : 792/1024 (mem: 1970.98 MiB) 17:36:09 busread : 4185/6000 (mem: 1970.98 MiB) 17:36:09 lookups : 2/15000 (mem: 1970.98 MiB) 17:36:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1970.98 MiB) 17:36:09 arithmetic : 43917/56000 (mem: 1970.98 MiB) 17:36:09 delta range : 4930/18000 (mem: 1970.98 MiB) 17:36:09 elliptic : 340/6000 (mem: 1970.98 MiB) 17:36:09 auxiliary : 1399/26000 (mem: 1970.98 MiB) 17:36:09 poseidon ext : 5652/17000 (mem: 1970.98 MiB) 17:36:09 poseidon int : 32207/92000 (mem: 1970.98 MiB) 17:36:09 overflow : 0/0 (mem: 1970.98 MiB) 17:36:09 (mem: 1970.98 MiB) 17:36:09 Total structured size: 242025 (mem: 1970.98 MiB) 17:36:09 allocating polynomials object in proving key... (mem: 1970.98 MiB) 17:36:09 populating trace... (mem: 1970.98 MiB) 17:36:09 time to construct proving key: 47 ms. (mem: 1970.98 MiB) 17:36:09 getting honk vk... precomputed?: 0x5fdc22b4fdc0 (mem: 1970.98 MiB) 17:36:09 computing folding proof (mem: 1970.98 MiB) 17:36:09 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1970.98 MiB) 17:36:09 oink prover on each incomplete key (mem: 1970.98 MiB) 17:36:09 perturbator round (mem: 1970.98 MiB) 17:36:10 combiner quotient round (mem: 1970.98 MiB) 17:36:10 folded (mem: 1970.98 MiB) 17:36:10 constructed folding proof (mem: 1970.98 MiB) 17:36:10 ClientIVC: accumulating ContractClassRegisterer:assert_class_id_is_registered (mem: 1970.98 MiB) 17:36:10 Constructing DeciderProvingKey (mem: 1970.98 MiB) 17:36:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 1970.98 MiB) 17:36:10 goblin ecc op : 4/1024 (mem: 1970.98 MiB) 17:36:10 busread : 743/6000 (mem: 1970.98 MiB) 17:36:10 lookups : 2/15000 (mem: 1970.98 MiB) 17:36:10 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1970.98 MiB) 17:36:10 arithmetic : 3261/56000 (mem: 1970.98 MiB) 17:36:10 delta range : 1768/18000 (mem: 1970.98 MiB) 17:36:10 elliptic : 2/6000 (mem: 1970.98 MiB) 17:36:10 auxiliary : 26/26000 (mem: 1970.98 MiB) 17:36:10 poseidon ext : 12/17000 (mem: 1970.98 MiB) 17:36:10 poseidon int : 59/92000 (mem: 1970.98 MiB) 17:36:10 overflow : 0/0 (mem: 1970.98 MiB) 17:36:10 (mem: 1970.98 MiB) 17:36:10 Total structured size: 242025 (mem: 1970.98 MiB) 17:36:10 allocating polynomials object in proving key... (mem: 1970.98 MiB) 17:36:10 populating trace... (mem: 1970.98 MiB) 17:36:10 time to construct proving key: 16 ms. (mem: 1970.98 MiB) 17:36:10 getting honk vk... precomputed?: 0x5fdc283d8ec0 (mem: 1970.98 MiB) 17:36:10 computing folding proof (mem: 1970.98 MiB) 17:36:10 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1970.98 MiB) 17:36:10 oink prover on each incomplete key (mem: 1970.98 MiB) 17:36:10 perturbator round (mem: 1970.98 MiB) 17:36:11 combiner quotient round (mem: 1970.98 MiB) 17:36:11 folded (mem: 1970.98 MiB) 17:36:11 constructed folding proof (mem: 1970.98 MiB) 17:36:11 ClientIVC: accumulating private_kernel_inner (mem: 1970.98 MiB) 17:36:11 Constructing DeciderProvingKey (mem: 1970.98 MiB) 17:36:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1970.98 MiB) 17:36:11 goblin ecc op : 792/1024 (mem: 1970.98 MiB) 17:36:11 busread : 4185/6000 (mem: 1970.98 MiB) 17:36:11 lookups : 2/15000 (mem: 1970.98 MiB) 17:36:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1970.98 MiB) 17:36:11 arithmetic : 43917/56000 (mem: 1970.98 MiB) 17:36:11 delta range : 4930/18000 (mem: 1970.98 MiB) 17:36:11 elliptic : 340/6000 (mem: 1970.98 MiB) 17:36:11 auxiliary : 1399/26000 (mem: 1970.98 MiB) 17:36:11 poseidon ext : 5652/17000 (mem: 1970.98 MiB) 17:36:11 poseidon int : 32207/92000 (mem: 1970.98 MiB) 17:36:11 overflow : 0/0 (mem: 1970.98 MiB) 17:36:11 (mem: 1970.98 MiB) 17:36:11 Total structured size: 242025 (mem: 1970.98 MiB) 17:36:11 allocating polynomials object in proving key... (mem: 1970.98 MiB) 17:36:11 populating trace... (mem: 1970.98 MiB) 17:36:11 time to construct proving key: 49 ms. (mem: 1970.98 MiB) 17:36:11 getting honk vk... precomputed?: 0x5fdc27679ec0 (mem: 1970.98 MiB) 17:36:11 computing folding proof (mem: 1970.98 MiB) 17:36:11 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1970.98 MiB) 17:36:11 oink prover on each incomplete key (mem: 1970.98 MiB) 17:36:11 perturbator round (mem: 1970.98 MiB) 17:36:12 combiner quotient round (mem: 1970.98 MiB) 17:36:12 folded (mem: 1970.98 MiB) 17:36:12 constructed folding proof (mem: 1970.98 MiB) 17:36:12 ClientIVC: accumulating private_kernel_reset (mem: 1970.98 MiB) 17:36:12 Constructing DeciderProvingKey (mem: 1970.98 MiB) 17:36:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1970.98 MiB) 17:36:12 goblin ecc op : 392/1024 (mem: 1970.98 MiB) 17:36:12 busread : 2372/6000 (mem: 1970.98 MiB) 17:36:12 lookups : 2/15000 (mem: 1970.98 MiB) 17:36:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1970.98 MiB) 17:36:12 arithmetic : 38166/56000 (mem: 1970.98 MiB) 17:36:12 delta range : 4270/18000 (mem: 1970.98 MiB) 17:36:12 elliptic : 1274/6000 (mem: 1970.98 MiB) 17:36:12 auxiliary : 14240/26000 (mem: 1970.98 MiB) 17:36:12 poseidon ext : 6092/17000 (mem: 1970.98 MiB) 17:36:12 poseidon int : 34715/92000 (mem: 1970.98 MiB) 17:36:12 overflow : 0/0 (mem: 1970.98 MiB) 17:36:12 (mem: 1970.98 MiB) 17:36:12 Total structured size: 242025 (mem: 1970.98 MiB) 17:36:12 allocating polynomials object in proving key... (mem: 1970.98 MiB) 17:36:12 populating trace... (mem: 1970.98 MiB) 17:36:12 time to construct proving key: 57 ms. (mem: 1970.98 MiB) 17:36:12 getting honk vk... precomputed?: 0x5fdc22fe69c0 (mem: 1970.98 MiB) 17:36:12 computing folding proof (mem: 1970.98 MiB) 17:36:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1970.98 MiB) 17:36:13 oink prover on each incomplete key (mem: 1970.98 MiB) 17:36:13 perturbator round (mem: 1970.98 MiB) 17:36:13 combiner quotient round (mem: 1970.98 MiB) 17:36:13 folded (mem: 1970.98 MiB) 17:36:13 constructed folding proof (mem: 1970.98 MiB) 17:36:14 ClientIVC: accumulating private_kernel_tail (mem: 1970.98 MiB) 17:36:14 Constructing DeciderProvingKey (mem: 1970.98 MiB) 17:36:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 1970.98 MiB) 17:36:14 goblin ecc op : 392/1024 (mem: 1970.98 MiB) 17:36:14 busread : 222/6000 (mem: 1970.98 MiB) 17:36:14 lookups : 2/15000 (mem: 1970.98 MiB) 17:36:14 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: 1970.98 MiB) 17:36:14 arithmetic : 21298/56000 (mem: 1970.98 MiB) 17:36:14 delta range : 3622/18000 (mem: 1970.98 MiB) 17:36:14 elliptic : 2/6000 (mem: 1970.98 MiB) 17:36:14 auxiliary : 7134/26000 (mem: 1970.98 MiB) 17:36:14 poseidon ext : 2532/17000 (mem: 1970.98 MiB) 17:36:14 poseidon int : 14423/92000 (mem: 1970.98 MiB) 17:36:14 overflow : 0/0 (mem: 1970.98 MiB) 17:36:14 (mem: 1970.98 MiB) 17:36:14 Total structured size: 242025 (mem: 1970.98 MiB) 17:36:14 allocating polynomials object in proving key... (mem: 1970.98 MiB) 17:36:14 populating trace... (mem: 1970.98 MiB) 17:36:14 time to construct proving key: 39 ms. (mem: 1970.98 MiB) 17:36:14 getting honk vk... precomputed?: 0x5fdc25d60180 (mem: 1970.98 MiB) 17:36:14 computing folding proof (mem: 1970.98 MiB) 17:36:14 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1970.98 MiB) 17:36:14 oink prover on each incomplete key (mem: 1970.98 MiB) 17:36:14 perturbator round (mem: 1970.98 MiB) 17:36:15 combiner quotient round (mem: 1970.98 MiB) 17:36:15 folded (mem: 1970.98 MiB) 17:36:15 constructed folding proof (mem: 1970.98 MiB) 17:36:15 Largest circuit: 337882 gates. Trace details: (mem: 1970.98 MiB) 17:36:15 Minimum required block sizes for structured trace: (mem: 1970.98 MiB) 17:36:15 ecc_op : 792 17:36:15 busread : 4185 17:36:15 lookup : 2898 17:36:15 pub_inputs : 1876 17:36:15 arithmetic : 56000 17:36:15 delta_range : 17435 17:36:15 elliptic : 1274 17:36:15 aux : 25394 17:36:15 poseidon2_external : 17000 17:36:15 poseidon2_internal : 92000 17:36:15 overflow : 168075 17:36:15 (mem: 1970.98 MiB) 17:36:15 prove decider... (mem: 1970.98 MiB) 17:36:15 finished decider proving. (mem: 1970.98 MiB) 17:36:15 starting sumcheck rounds... (mem: 1970.98 MiB) 17:36:15 completed 19 rounds of sumcheck (mem: 1970.98 MiB) 17:36:16 executed multivariate-to-univariate reduction (mem: 1970.98 MiB) 17:36:17 computed opening proof (mem: 1970.98 MiB) 17:36:17 Constructing DeciderProvingKey (mem: 1970.98 MiB) 17:36:17 allocating polynomials object in proving key... (mem: 1970.98 MiB) 17:36:17 populating trace... (mem: 1970.98 MiB) 17:36:17 time to construct proving key: 48 ms. (mem: 1970.98 MiB) 17:36:18 created oink proof (mem: 1970.98 MiB) 17:36:18 starting sumcheck rounds... (mem: 1970.98 MiB) 17:36:18 completed 17 rounds of sumcheck (mem: 1970.98 MiB) 17:36:18 executed multivariate-to-univariate reduction (mem: 1970.98 MiB) 17:36:18 computed opening proof (mem: 1970.98 MiB) 17:36:18 Constructing a Goblin proof with num ultra ops = 4614 (mem: 1970.98 MiB) 17:36:18 prove eccvm... (mem: 1970.98 MiB) 17:36:18 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1970.98 MiB) 17:36:18 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 1970.98 MiB) 17:36:20 starting sumcheck rounds... (mem: 1970.98 MiB) 17:36:21 completed 16 rounds of sumcheck (mem: 1970.98 MiB) 17:36:22 finished eccvm proving. (mem: 1970.98 MiB) 17:36:22 prove translator... (mem: 1970.98 MiB) 17:36:23 starting sumcheck rounds... (mem: 1970.98 MiB) 17:36:24 completed 18 rounds of sumcheck (mem: 1970.98 MiB) 17:36:25 computed opening proof (mem: 1970.98 MiB) 17:36:25 finished translator proving. (mem: 1970.98 MiB) 17:36:25 Mega verified: 1 (mem: 1970.98 MiB) 17:36:25 eccvm sumcheck verified?: 1 (mem: 1970.98 MiB) 17:36:25 batch opening verified?: 1 (mem: 1970.98 MiB) 17:36:25 eccvm consistency check verified?: 1 (mem: 1970.98 MiB) 17:36:25 translation masking consistency checked?: 1 (mem: 1970.98 MiB) 17:36:25 merge verified?: 1 (mem: 1970.98 MiB) 17:36:25 eccvm verified?: 1 (mem: 1970.98 MiB) 17:36:25 accumulator construction_verified?: 1 (mem: 1970.98 MiB) 17:36:25 translation verified?: 1 (mem: 1970.98 MiB) 17:36:25 consistency verified?: 1 (mem: 1970.98 MiB) 17:36:25 Goblin verified: 1 (mem: 1970.98 MiB) 17:36:25 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc/native" (mem: 1970.98 MiB) 17:36:25 ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc (native) has proven in 25s and peak memory of 1948MB. 17:36:25 ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc (native) has verified.