ACI ·

Parent Log: http://ci.aztec-labs.com/dc2eda2c329ab6b6 Command: 59d7caa3bc5b3609:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/deploy_ecdsar1+sponsored_fpc Commit: https://github.com/AztecProtocol/aztec-packages/commit/1338cef09c870378254c56748f972ae827c4d482 Env: REF_NAME=gh-readonly-queue/master/pr-14982-dada14e07a974e905ef606b4fac7c777b922587f CURRENT_VERSION=0.87.8 CI_FULL=1 Date: Thu Jun 12 06:59:50 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14982_amd64_x1-full Resources: CPU_LIST=56,57,58,59,60,61,62,63 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_199fa31602f649ed_master 06:59:50 --- bb ivc flow bench --- 06:59:50 bb command: prove (mem: 7.00 MiB) 06:59:50 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 06:59:50 --scheme: client_ivc (mem: 7.00 MiB) 06:59:50 --output_path: bench-out/app-proving/deploy_ecdsar1+sponsored_fpc/native (mem: 7.00 MiB) 06:59:50 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/deploy_ecdsar1+sponsored_fpc/ivc-inputs.msgpack (mem: 7.00 MiB) 06:59:50 --verbose: true (mem: 7.00 MiB) 06:59:51 BN254 commitment key size: 262144 (mem: 178.38 MiB) 06:59:51 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 267.08 MiB) 06:59:51 Initialized BN254 CRS from memory with num points = 262209 (mem: 323.08 MiB) 06:59:51 ClientIVC: accumulating MultiCallEntrypoint:entrypoint (mem: 323.08 MiB) 06:59:51 Constructing DeciderProvingKey (mem: 323.08 MiB) 06:59:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 323.08 MiB) 06:59:51 goblin ecc op : 4/1024 (mem: 323.08 MiB) 06:59:51 busread : 743/6000 (mem: 323.08 MiB) 06:59:51 lookups : 2/15000 (mem: 323.08 MiB) 06:59:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 323.08 MiB) 06:59:51 arithmetic : 4271/56000 (mem: 323.08 MiB) 06:59:51 delta range : 2012/18000 (mem: 323.08 MiB) 06:59:51 elliptic : 2/6000 (mem: 323.08 MiB) 06:59:51 auxiliary : 2420/26000 (mem: 323.08 MiB) 06:59:51 poseidon ext : 82/17000 (mem: 323.08 MiB) 06:59:51 poseidon int : 458/92000 (mem: 323.08 MiB) 06:59:51 overflow : 0/0 (mem: 323.08 MiB) 06:59:51 (mem: 323.08 MiB) 06:59:51 Total structured size: 242025 (mem: 323.08 MiB) 06:59:51 allocating polynomials object in proving key... (mem: 323.08 MiB) 06:59:51 populating trace... (mem: 495.20 MiB) 06:59:51 time to construct proving key: 27 ms. (mem: 504.20 MiB) 06:59:51 getting honk vk... precomputed?: 0x58c2ee1cb400 (mem: 504.20 MiB) 06:59:51 computing oink proof... (mem: 504.20 MiB) 06:59:51 oink proof constructed (mem: 510.20 MiB) 06:59:51 ClientIVC: accumulating private_kernel_init (mem: 516.20 MiB) 06:59:51 Constructing DeciderProvingKey (mem: 516.20 MiB) 06:59:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 516.20 MiB) 06:59:51 goblin ecc op : 56/1024 (mem: 516.20 MiB) 06:59:51 busread : 2530/6000 (mem: 516.20 MiB) 06:59:51 lookups : 2/15000 (mem: 516.20 MiB) 06:59:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 516.20 MiB) 06:59:51 arithmetic : 21193/56000 (mem: 516.20 MiB) 06:59:51 delta range : 2974/18000 (mem: 516.20 MiB) 06:59:51 elliptic : 340/6000 (mem: 516.20 MiB) 06:59:51 auxiliary : 799/26000 (mem: 516.20 MiB) 06:59:51 poseidon ext : 2012/17000 (mem: 516.20 MiB) 06:59:51 poseidon int : 11459/92000 (mem: 516.20 MiB) 06:59:51 overflow : 0/0 (mem: 516.20 MiB) 06:59:51 (mem: 516.20 MiB) 06:59:51 Total structured size: 242025 (mem: 516.20 MiB) 06:59:51 allocating polynomials object in proving key... (mem: 516.20 MiB) 06:59:51 populating trace... (mem: 740.20 MiB) 06:59:51 time to construct proving key: 40 ms. (mem: 759.20 MiB) 06:59:51 getting honk vk... precomputed?: 0x58c2ef72e140 (mem: 759.20 MiB) 06:59:51 computing folding proof (mem: 759.20 MiB) 06:59:51 oink prover on each incomplete key (mem: 759.20 MiB) 06:59:51 perturbator round (mem: 789.20 MiB) 06:59:52 combiner quotient round (mem: 821.20 MiB) 06:59:52 folded (mem: 821.20 MiB) 06:59:52 constructed folding proof (mem: 821.20 MiB) 06:59:52 ClientIVC: accumulating ContractInstanceDeployer:deploy (mem: 821.20 MiB) 06:59:52 Constructing DeciderProvingKey (mem: 821.20 MiB) 06:59:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 821.20 MiB) 06:59:52 goblin ecc op : 4/1024 (mem: 821.20 MiB) 06:59:52 busread : 743/6000 (mem: 821.20 MiB) 06:59:52 lookups : 2/15000 (mem: 821.20 MiB) 06:59:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.20 MiB) 06:59:52 arithmetic : 3627/56000 (mem: 821.20 MiB) 06:59:52 delta range : 1823/18000 (mem: 821.20 MiB) 06:59:52 elliptic : 340/6000 (mem: 821.20 MiB) 06:59:52 auxiliary : 187/26000 (mem: 821.20 MiB) 06:59:52 poseidon ext : 162/17000 (mem: 821.20 MiB) 06:59:52 poseidon int : 914/92000 (mem: 821.20 MiB) 06:59:52 overflow : 0/0 (mem: 821.20 MiB) 06:59:52 (mem: 821.20 MiB) 06:59:52 Total structured size: 242025 (mem: 821.20 MiB) 06:59:52 allocating polynomials object in proving key... (mem: 821.20 MiB) 06:59:52 populating trace... (mem: 821.20 MiB) 06:59:52 time to construct proving key: 16 ms. (mem: 821.20 MiB) 06:59:52 getting honk vk... precomputed?: 0x58c2edaafd80 (mem: 821.20 MiB) 06:59:52 computing folding proof (mem: 821.20 MiB) 06:59:52 oink prover on each incomplete key (mem: 821.20 MiB) 06:59:52 perturbator round (mem: 821.20 MiB) 06:59:52 combiner quotient round (mem: 823.43 MiB) 06:59:52 folded (mem: 823.43 MiB) 06:59:52 constructed folding proof (mem: 823.43 MiB) 06:59:52 ClientIVC: accumulating private_kernel_inner (mem: 823.43 MiB) 06:59:52 Constructing DeciderProvingKey (mem: 823.43 MiB) 06:59:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 823.43 MiB) 06:59:52 goblin ecc op : 792/1024 (mem: 823.43 MiB) 06:59:52 busread : 4185/6000 (mem: 823.43 MiB) 06:59:52 lookups : 2/15000 (mem: 823.43 MiB) 06:59:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 823.43 MiB) 06:59:52 arithmetic : 43917/56000 (mem: 823.43 MiB) 06:59:52 delta range : 4930/18000 (mem: 823.43 MiB) 06:59:52 elliptic : 340/6000 (mem: 823.43 MiB) 06:59:52 auxiliary : 1399/26000 (mem: 823.43 MiB) 06:59:52 poseidon ext : 5652/17000 (mem: 823.43 MiB) 06:59:52 poseidon int : 32207/92000 (mem: 823.43 MiB) 06:59:52 overflow : 0/0 (mem: 823.43 MiB) 06:59:52 (mem: 823.43 MiB) 06:59:52 Total structured size: 242025 (mem: 823.43 MiB) 06:59:52 allocating polynomials object in proving key... (mem: 823.43 MiB) 06:59:52 populating trace... (mem: 823.43 MiB) 06:59:52 time to construct proving key: 42 ms. (mem: 823.43 MiB) 06:59:52 getting honk vk... precomputed?: 0x58c2efcbd540 (mem: 823.43 MiB) 06:59:52 computing folding proof (mem: 823.43 MiB) 06:59:53 oink prover on each incomplete key (mem: 823.43 MiB) 06:59:53 perturbator round (mem: 830.30 MiB) 06:59:53 combiner quotient round (mem: 862.30 MiB) 06:59:53 folded (mem: 862.30 MiB) 06:59:53 constructed folding proof (mem: 862.30 MiB) 06:59:53 ClientIVC: accumulating ContractClassRegisterer:assert_class_id_is_registered (mem: 862.30 MiB) 06:59:53 Constructing DeciderProvingKey (mem: 862.30 MiB) 06:59:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 862.30 MiB) 06:59:53 goblin ecc op : 4/1024 (mem: 862.30 MiB) 06:59:53 busread : 743/6000 (mem: 862.30 MiB) 06:59:53 lookups : 2/15000 (mem: 862.30 MiB) 06:59:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 862.30 MiB) 06:59:53 arithmetic : 3261/56000 (mem: 862.30 MiB) 06:59:53 delta range : 1768/18000 (mem: 862.30 MiB) 06:59:53 elliptic : 2/6000 (mem: 862.30 MiB) 06:59:53 auxiliary : 26/26000 (mem: 862.30 MiB) 06:59:53 poseidon ext : 12/17000 (mem: 862.30 MiB) 06:59:53 poseidon int : 59/92000 (mem: 862.30 MiB) 06:59:53 overflow : 0/0 (mem: 862.30 MiB) 06:59:53 (mem: 862.30 MiB) 06:59:53 Total structured size: 242025 (mem: 862.30 MiB) 06:59:53 allocating polynomials object in proving key... (mem: 862.30 MiB) 06:59:53 populating trace... (mem: 862.30 MiB) 06:59:53 time to construct proving key: 15 ms. (mem: 862.30 MiB) 06:59:53 getting honk vk... precomputed?: 0x58c2ed9db800 (mem: 862.30 MiB) 06:59:53 computing folding proof (mem: 862.30 MiB) 06:59:53 oink prover on each incomplete key (mem: 862.30 MiB) 06:59:53 perturbator round (mem: 862.30 MiB) 06:59:53 combiner quotient round (mem: 862.30 MiB) 06:59:53 folded (mem: 862.30 MiB) 06:59:53 constructed folding proof (mem: 862.30 MiB) 06:59:53 ClientIVC: accumulating private_kernel_inner (mem: 862.30 MiB) 06:59:53 Constructing DeciderProvingKey (mem: 862.30 MiB) 06:59:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 862.30 MiB) 06:59:53 goblin ecc op : 792/1024 (mem: 862.30 MiB) 06:59:53 busread : 4185/6000 (mem: 862.30 MiB) 06:59:53 lookups : 2/15000 (mem: 862.30 MiB) 06:59:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 862.30 MiB) 06:59:53 arithmetic : 43917/56000 (mem: 862.30 MiB) 06:59:53 delta range : 4930/18000 (mem: 862.30 MiB) 06:59:53 elliptic : 340/6000 (mem: 862.30 MiB) 06:59:53 auxiliary : 1399/26000 (mem: 862.30 MiB) 06:59:53 poseidon ext : 5652/17000 (mem: 862.30 MiB) 06:59:53 poseidon int : 32207/92000 (mem: 862.30 MiB) 06:59:53 overflow : 0/0 (mem: 862.30 MiB) 06:59:53 (mem: 862.30 MiB) 06:59:53 Total structured size: 242025 (mem: 862.30 MiB) 06:59:53 allocating polynomials object in proving key... (mem: 862.30 MiB) 06:59:53 populating trace... (mem: 862.30 MiB) 06:59:53 time to construct proving key: 41 ms. (mem: 862.30 MiB) 06:59:53 getting honk vk... precomputed?: 0x58c2edeebbc0 (mem: 862.30 MiB) 06:59:53 computing folding proof (mem: 862.30 MiB) 06:59:54 oink prover on each incomplete key (mem: 862.30 MiB) 06:59:54 perturbator round (mem: 862.30 MiB) 06:59:54 combiner quotient round (mem: 862.36 MiB) 06:59:54 folded (mem: 862.36 MiB) 06:59:54 constructed folding proof (mem: 862.36 MiB) 06:59:54 ClientIVC: accumulating EcdsaRAccount:constructor (mem: 862.36 MiB) 06:59:54 Constructing DeciderProvingKey (mem: 862.36 MiB) 06:59:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 862.36 MiB) 06:59:54 goblin ecc op : 4/1024 (mem: 862.36 MiB) 06:59:54 busread : 743/6000 (mem: 862.36 MiB) 06:59:54 lookups : 11498/15000 (mem: 862.36 MiB) 06:59:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 862.36 MiB) 06:59:54 arithmetic : 16203/56000 (mem: 862.36 MiB) 06:59:54 delta range : 2324/18000 (mem: 862.36 MiB) 06:59:54 elliptic : 1008/6000 (mem: 862.36 MiB) 06:59:54 auxiliary : 704/26000 (mem: 862.36 MiB) 06:59:54 poseidon ext : 352/17000 (mem: 862.36 MiB) 06:59:54 poseidon int : 1997/92000 (mem: 862.36 MiB) 06:59:54 overflow : 0/0 (mem: 862.36 MiB) 06:59:54 (mem: 862.36 MiB) 06:59:54 Total structured size: 242025 (mem: 862.36 MiB) 06:59:54 allocating polynomials object in proving key... (mem: 862.36 MiB) 06:59:54 populating trace... (mem: 862.36 MiB) 06:59:54 time to construct proving key: 35 ms. (mem: 862.36 MiB) 06:59:54 getting honk vk... precomputed?: 0x58c2efbe5b80 (mem: 862.36 MiB) 06:59:54 computing folding proof (mem: 862.36 MiB) 06:59:54 oink prover on each incomplete key (mem: 862.36 MiB) 06:59:54 perturbator round (mem: 862.36 MiB) 06:59:55 combiner quotient round (mem: 866.79 MiB) 06:59:55 folded (mem: 866.79 MiB) 06:59:55 constructed folding proof (mem: 866.79 MiB) 06:59:55 ClientIVC: accumulating private_kernel_inner (mem: 866.79 MiB) 06:59:55 Constructing DeciderProvingKey (mem: 866.79 MiB) 06:59:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 866.79 MiB) 06:59:55 goblin ecc op : 792/1024 (mem: 866.79 MiB) 06:59:55 busread : 4185/6000 (mem: 866.79 MiB) 06:59:55 lookups : 2/15000 (mem: 866.79 MiB) 06:59:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 866.79 MiB) 06:59:55 arithmetic : 43917/56000 (mem: 866.79 MiB) 06:59:55 delta range : 4930/18000 (mem: 866.79 MiB) 06:59:55 elliptic : 340/6000 (mem: 866.79 MiB) 06:59:55 auxiliary : 1399/26000 (mem: 866.79 MiB) 06:59:55 poseidon ext : 5652/17000 (mem: 866.79 MiB) 06:59:55 poseidon int : 32207/92000 (mem: 866.79 MiB) 06:59:55 overflow : 0/0 (mem: 866.79 MiB) 06:59:55 (mem: 866.79 MiB) 06:59:55 Total structured size: 242025 (mem: 866.79 MiB) 06:59:55 allocating polynomials object in proving key... (mem: 866.79 MiB) 06:59:55 populating trace... (mem: 866.79 MiB) 06:59:55 time to construct proving key: 46 ms. (mem: 866.79 MiB) 06:59:55 getting honk vk... precomputed?: 0x58c2f261a480 (mem: 866.79 MiB) 06:59:55 computing folding proof (mem: 866.79 MiB) 06:59:55 oink prover on each incomplete key (mem: 866.79 MiB) 06:59:55 perturbator round (mem: 866.79 MiB) 06:59:55 combiner quotient round (mem: 866.82 MiB) 06:59:55 folded (mem: 866.82 MiB) 06:59:55 constructed folding proof (mem: 866.82 MiB) 06:59:56 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 866.82 MiB) 06:59:56 Constructing DeciderProvingKey (mem: 866.82 MiB) 06:59:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 866.82 MiB) 06:59:56 goblin ecc op : 4/1024 (mem: 866.82 MiB) 06:59:56 busread : 743/6000 (mem: 866.82 MiB) 06:59:56 lookups : 2898/15000 (mem: 866.82 MiB) 06:59:56 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 866.82 MiB) 06:59:56 arithmetic : 39564/56000 (mem: 866.82 MiB) 06:59:56 delta range : 17435/18000 (mem: 866.82 MiB) 06:59:56 elliptic : 2/6000 (mem: 866.82 MiB) 06:59:56 auxiliary : 25394/26000 (mem: 866.82 MiB) 06:59:56 poseidon ext : 322/17000 (mem: 866.82 MiB) 06:59:56 poseidon int : 1826/92000 (mem: 866.82 MiB) 06:59:56 overflow : 0/0 (mem: 866.82 MiB) 06:59:56 (mem: 866.82 MiB) 06:59:56 Total structured size: 242025 (mem: 866.82 MiB) 06:59:56 allocating polynomials object in proving key... (mem: 866.82 MiB) 06:59:56 populating trace... (mem: 866.82 MiB) 06:59:56 time to construct proving key: 67 ms. (mem: 866.82 MiB) 06:59:56 getting honk vk... precomputed?: 0x58c2f255a440 (mem: 866.82 MiB) 06:59:56 computing folding proof (mem: 866.82 MiB) 06:59:56 oink prover on each incomplete key (mem: 866.82 MiB) 06:59:56 perturbator round (mem: 866.82 MiB) 06:59:56 combiner quotient round (mem: 887.07 MiB) 06:59:56 folded (mem: 887.07 MiB) 06:59:56 constructed folding proof (mem: 887.07 MiB) 06:59:56 ClientIVC: accumulating private_kernel_inner (mem: 887.07 MiB) 06:59:56 Constructing DeciderProvingKey (mem: 887.07 MiB) 06:59:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 887.07 MiB) 06:59:56 goblin ecc op : 792/1024 (mem: 887.07 MiB) 06:59:56 busread : 4185/6000 (mem: 887.07 MiB) 06:59:56 lookups : 2/15000 (mem: 887.07 MiB) 06:59:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 887.07 MiB) 06:59:56 arithmetic : 43917/56000 (mem: 887.07 MiB) 06:59:56 delta range : 4930/18000 (mem: 887.07 MiB) 06:59:56 elliptic : 340/6000 (mem: 887.07 MiB) 06:59:56 auxiliary : 1399/26000 (mem: 887.07 MiB) 06:59:56 poseidon ext : 5652/17000 (mem: 887.07 MiB) 06:59:56 poseidon int : 32207/92000 (mem: 887.07 MiB) 06:59:56 overflow : 0/0 (mem: 887.07 MiB) 06:59:56 (mem: 887.07 MiB) 06:59:56 Total structured size: 242025 (mem: 887.07 MiB) 06:59:56 allocating polynomials object in proving key... (mem: 887.07 MiB) 06:59:56 populating trace... (mem: 887.07 MiB) 06:59:56 time to construct proving key: 43 ms. (mem: 887.07 MiB) 06:59:57 getting honk vk... precomputed?: 0x58c2ee747fc0 (mem: 887.07 MiB) 06:59:57 computing folding proof (mem: 887.07 MiB) 06:59:57 oink prover on each incomplete key (mem: 887.07 MiB) 06:59:57 perturbator round (mem: 887.07 MiB) 06:59:57 combiner quotient round (mem: 887.46 MiB) 06:59:57 folded (mem: 887.46 MiB) 06:59:57 constructed folding proof (mem: 887.46 MiB) 06:59:57 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 887.46 MiB) 06:59:57 Constructing DeciderProvingKey (mem: 887.46 MiB) 06:59:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 887.46 MiB) 06:59:57 goblin ecc op : 4/1024 (mem: 887.46 MiB) 06:59:57 busread : 743/6000 (mem: 887.46 MiB) 06:59:57 lookups : 2/15000 (mem: 887.46 MiB) 06:59:57 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 887.46 MiB) 06:59:57 arithmetic : 3248/56000 (mem: 887.46 MiB) 06:59:57 delta range : 1767/18000 (mem: 887.46 MiB) 06:59:57 elliptic : 2/6000 (mem: 887.46 MiB) 06:59:57 auxiliary : 26/26000 (mem: 887.46 MiB) 06:59:57 poseidon ext : 2/17000 (mem: 887.46 MiB) 06:59:57 poseidon int : 2/92000 (mem: 887.46 MiB) 06:59:57 overflow : 0/0 (mem: 887.46 MiB) 06:59:57 (mem: 887.46 MiB) 06:59:57 Total structured size: 242025 (mem: 887.46 MiB) 06:59:57 allocating polynomials object in proving key... (mem: 887.46 MiB) 06:59:57 populating trace... (mem: 887.46 MiB) 06:59:57 time to construct proving key: 15 ms. (mem: 887.46 MiB) 06:59:57 getting honk vk... precomputed?: 0x58c2ee1cc640 (mem: 887.46 MiB) 06:59:57 computing folding proof (mem: 887.46 MiB) 06:59:57 oink prover on each incomplete key (mem: 887.46 MiB) 06:59:57 perturbator round (mem: 887.46 MiB) 06:59:58 combiner quotient round (mem: 887.46 MiB) 06:59:58 folded (mem: 887.46 MiB) 06:59:58 constructed folding proof (mem: 887.46 MiB) 06:59:58 ClientIVC: accumulating private_kernel_inner (mem: 887.46 MiB) 06:59:58 Constructing DeciderProvingKey (mem: 887.46 MiB) 06:59:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 887.46 MiB) 06:59:58 goblin ecc op : 792/1024 (mem: 887.46 MiB) 06:59:58 busread : 4185/6000 (mem: 887.46 MiB) 06:59:58 lookups : 2/15000 (mem: 887.46 MiB) 06:59:58 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 887.46 MiB) 06:59:58 arithmetic : 43917/56000 (mem: 887.46 MiB) 06:59:58 delta range : 4930/18000 (mem: 887.46 MiB) 06:59:58 elliptic : 340/6000 (mem: 887.46 MiB) 06:59:58 auxiliary : 1399/26000 (mem: 887.46 MiB) 06:59:58 poseidon ext : 5652/17000 (mem: 887.46 MiB) 06:59:58 poseidon int : 32207/92000 (mem: 887.46 MiB) 06:59:58 overflow : 0/0 (mem: 887.46 MiB) 06:59:58 (mem: 887.46 MiB) 06:59:58 Total structured size: 242025 (mem: 887.46 MiB) 06:59:58 allocating polynomials object in proving key... (mem: 887.46 MiB) 06:59:58 populating trace... (mem: 887.46 MiB) 06:59:58 time to construct proving key: 42 ms. (mem: 887.46 MiB) 06:59:58 getting honk vk... precomputed?: 0x58c2f2619a80 (mem: 887.46 MiB) 06:59:58 computing folding proof (mem: 887.46 MiB) 06:59:58 oink prover on each incomplete key (mem: 887.46 MiB) 06:59:58 perturbator round (mem: 887.46 MiB) 06:59:59 combiner quotient round (mem: 887.46 MiB) 06:59:59 folded (mem: 887.46 MiB) 06:59:59 constructed folding proof (mem: 887.46 MiB) 06:59:59 ClientIVC: accumulating private_kernel_reset (mem: 887.46 MiB) 06:59:59 Constructing DeciderProvingKey (mem: 887.46 MiB) 06:59:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 887.46 MiB) 06:59:59 goblin ecc op : 392/1024 (mem: 887.46 MiB) 06:59:59 busread : 2372/6000 (mem: 887.46 MiB) 06:59:59 lookups : 2/15000 (mem: 887.46 MiB) 06:59:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 887.46 MiB) 06:59:59 arithmetic : 38166/56000 (mem: 887.46 MiB) 06:59:59 delta range : 4270/18000 (mem: 887.46 MiB) 06:59:59 elliptic : 1274/6000 (mem: 887.46 MiB) 06:59:59 auxiliary : 14240/26000 (mem: 887.46 MiB) 06:59:59 poseidon ext : 6092/17000 (mem: 887.46 MiB) 06:59:59 poseidon int : 34715/92000 (mem: 887.46 MiB) 06:59:59 overflow : 0/0 (mem: 887.46 MiB) 06:59:59 (mem: 887.46 MiB) 06:59:59 Total structured size: 242025 (mem: 887.46 MiB) 06:59:59 allocating polynomials object in proving key... (mem: 887.46 MiB) 06:59:59 populating trace... (mem: 887.46 MiB) 06:59:59 time to construct proving key: 55 ms. (mem: 887.46 MiB) 06:59:59 getting honk vk... precomputed?: 0x58c2f0734940 (mem: 887.46 MiB) 06:59:59 computing folding proof (mem: 887.46 MiB) 06:59:59 oink prover on each incomplete key (mem: 887.46 MiB) 06:59:59 perturbator round (mem: 887.46 MiB) 07:00:00 combiner quotient round (mem: 900.50 MiB) 07:00:00 folded (mem: 900.50 MiB) 07:00:00 constructed folding proof (mem: 900.50 MiB) 07:00:00 ClientIVC: accumulating private_kernel_tail (mem: 900.50 MiB) 07:00:00 Constructing DeciderProvingKey (mem: 900.50 MiB) 07:00:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 900.50 MiB) 07:00:00 goblin ecc op : 392/1024 (mem: 900.50 MiB) 07:00:00 busread : 206/6000 (mem: 900.50 MiB) 07:00:00 lookups : 2/15000 (mem: 900.50 MiB) 07:00:00 pub inputs : 845/5000 (populated in decider pk constructor) (mem: 900.50 MiB) 07:00:00 arithmetic : 11205/56000 (mem: 900.50 MiB) 07:00:00 delta range : 2925/18000 (mem: 900.50 MiB) 07:00:00 elliptic : 2/6000 (mem: 900.50 MiB) 07:00:00 auxiliary : 2326/26000 (mem: 900.50 MiB) 07:00:00 poseidon ext : 2532/17000 (mem: 900.50 MiB) 07:00:00 poseidon int : 14423/92000 (mem: 900.50 MiB) 07:00:00 overflow : 0/0 (mem: 900.50 MiB) 07:00:00 (mem: 900.50 MiB) 07:00:00 Total structured size: 242025 (mem: 900.50 MiB) 07:00:00 allocating polynomials object in proving key... (mem: 900.50 MiB) 07:00:00 populating trace... (mem: 900.50 MiB) 07:00:00 time to construct proving key: 27 ms. (mem: 900.50 MiB) 07:00:00 getting honk vk... precomputed?: 0x58c2eecc7a40 (mem: 900.50 MiB) 07:00:00 computing folding proof (mem: 900.50 MiB) 07:00:00 oink prover on each incomplete key (mem: 900.50 MiB) 07:00:00 perturbator round (mem: 900.50 MiB) 07:00:00 combiner quotient round (mem: 900.50 MiB) 07:00:00 folded (mem: 900.50 MiB) 07:00:00 constructed folding proof (mem: 900.50 MiB) 07:00:00 Largest circuit: 101131 gates. Trace details: (mem: 900.50 MiB) 07:00:00 Minimum required block sizes for structured trace: (mem: 900.50 MiB) 07:00:00 ecc_op : 792 07:00:00 busread : 4185 07:00:00 lookup : 11498 07:00:00 pub_inputs : 845 07:00:00 arithmetic : 43917 07:00:00 delta_range : 17435 07:00:00 elliptic : 1274 07:00:00 aux : 25394 07:00:00 poseidon2_external : 6092 07:00:00 poseidon2_internal : 34715 07:00:00 overflow : 0 07:00:00 (mem: 900.50 MiB) 07:00:00 prove decider... (mem: 900.50 MiB) 07:00:00 finished decider proving. (mem: 900.50 MiB) 07:00:00 starting sumcheck rounds... (mem: 900.50 MiB) 07:00:01 completed 18 rounds of sumcheck (mem: 900.50 MiB) 07:00:01 executed multivariate-to-univariate reduction (mem: 900.50 MiB) 07:00:01 computed opening proof (mem: 900.50 MiB) 07:00:01 Constructing DeciderProvingKey (mem: 900.50 MiB) 07:00:01 allocating polynomials object in proving key... (mem: 900.50 MiB) 07:00:01 populating trace... (mem: 900.50 MiB) 07:00:01 time to construct proving key: 29 ms. (mem: 900.50 MiB) 07:00:02 created oink proof (mem: 900.50 MiB) 07:00:02 starting sumcheck rounds... (mem: 900.50 MiB) 07:00:02 completed 16 rounds of sumcheck (mem: 900.50 MiB) 07:00:02 executed multivariate-to-univariate reduction (mem: 900.50 MiB) 07:00:02 computed opening proof (mem: 900.50 MiB) 07:00:02 Constructing a Goblin proof with num ultra ops = 5410 (mem: 900.50 MiB) 07:00:02 prove eccvm... (mem: 900.50 MiB) 07:00:02 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 900.50 MiB) 07:00:02 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 900.50 MiB) 07:00:04 starting sumcheck rounds... (mem: 900.50 MiB) 07:00:05 completed 16 rounds of sumcheck (mem: 900.50 MiB) 07:00:06 finished eccvm proving. (mem: 900.50 MiB) 07:00:06 prove translator... (mem: 900.50 MiB) 07:00:07 starting sumcheck rounds... (mem: 900.50 MiB) 07:00:08 completed 18 rounds of sumcheck (mem: 900.50 MiB) 07:00:08 computed opening proof (mem: 1048.69 MiB) 07:00:08 finished translator proving. (mem: 1048.69 MiB) 07:00:08 Mega verified: 1 (mem: 1048.69 MiB) 07:00:09 eccvm sumcheck verified?: 1 (mem: 1048.69 MiB) 07:00:09 batch opening verified?: 1 (mem: 1048.69 MiB) 07:00:09 eccvm consistency check verified?: 1 (mem: 1048.69 MiB) 07:00:09 translation masking consistency checked?: 1 (mem: 1048.69 MiB) 07:00:09 merge verified?: 1 (mem: 1048.69 MiB) 07:00:09 eccvm verified?: 1 (mem: 1048.69 MiB) 07:00:09 accumulator construction_verified?: 1 (mem: 1048.69 MiB) 07:00:09 translation verified?: 1 (mem: 1048.69 MiB) 07:00:09 consistency verified?: 1 (mem: 1048.69 MiB) 07:00:09 Goblin verified: 1 (mem: 1048.69 MiB) 07:00:09 writing ClientIVC proof in directory "bench-out/app-proving/deploy_ecdsar1+sponsored_fpc/native" (mem: 1048.69 MiB) 07:00:09 deploy_ecdsar1+sponsored_fpc (native) has proven in 18s and peak memory of 1048MB. 07:00:09 deploy_ecdsar1+sponsored_fpc (native) has verified.