Parent Log: http://ci.aztec-labs.com/bfcdba2f1d95a41a Command: 49bbc26acf87c0b5: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/b608f9359219731d3c03407689a4fadaaa5a0d45 Env: REF_NAME=gh-readonly-queue/next/pr-15006-082468f0c1e7e5424b3654b5be0f3560eed7e487 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 12 14:04:30 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15006_amd64_x2-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_next 14:04:30 --- bb ivc flow bench --- 14:04:30 bb command: prove (mem: 7.00 MiB) 14:04:30 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 14:04:30 --scheme: client_ivc (mem: 7.00 MiB) 14:04:30 --output_path: bench-out/app-proving/deploy_ecdsar1+sponsored_fpc/native (mem: 7.00 MiB) 14:04:30 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/deploy_ecdsar1+sponsored_fpc/ivc-inputs.msgpack (mem: 7.00 MiB) 14:04:30 --verbose: true (mem: 7.00 MiB) 14:04:31 BN254 commitment key size: 262144 (mem: 178.41 MiB) 14:04:31 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 260.43 MiB) 14:04:31 Initialized BN254 CRS from memory with num points = 262209 (mem: 324.43 MiB) 14:04:31 ClientIVC: accumulating MultiCallEntrypoint:entrypoint (mem: 324.43 MiB) 14:04:31 Constructing DeciderProvingKey (mem: 324.43 MiB) 14:04:31 Gate blocks summary: (actual gates / fixed capacity) (mem: 324.43 MiB) 14:04:31 goblin ecc op : 4/1024 (mem: 324.43 MiB) 14:04:31 busread : 742/6000 (mem: 324.43 MiB) 14:04:31 lookups : 2/15000 (mem: 324.43 MiB) 14:04:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 324.43 MiB) 14:04:31 arithmetic : 4295/56000 (mem: 324.43 MiB) 14:04:31 delta range : 2029/18000 (mem: 324.43 MiB) 14:04:31 elliptic : 2/6000 (mem: 324.43 MiB) 14:04:31 auxiliary : 2420/26000 (mem: 324.43 MiB) 14:04:31 poseidon ext : 82/17000 (mem: 324.43 MiB) 14:04:31 poseidon int : 458/92000 (mem: 324.43 MiB) 14:04:31 overflow : 0/0 (mem: 324.43 MiB) 14:04:31 (mem: 324.43 MiB) 14:04:31 Total structured size: 242025 (mem: 324.43 MiB) 14:04:31 allocating polynomials object in proving key... (mem: 324.43 MiB) 14:04:31 populating trace... (mem: 489.60 MiB) 14:04:31 time to construct proving key: 27 ms. (mem: 504.60 MiB) 14:04:31 getting honk vk... precomputed?: 0x641172b0acc0 (mem: 504.60 MiB) 14:04:31 computing oink proof... (mem: 504.60 MiB) 14:04:31 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 504.60 MiB) 14:04:31 vkey hash in Oink prover: 0x0000000000000000000000000000000084e7cd50a249aa73ad2c029e68c7725f (mem: 504.60 MiB) 14:04:32 oink proof constructed (mem: 508.60 MiB) 14:04:32 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000084e7cd50a249aa73ad2c029e68c7725f (mem: 514.60 MiB) 14:04:32 ClientIVC: accumulating private_kernel_init (mem: 516.60 MiB) 14:04:32 Constructing DeciderProvingKey (mem: 516.60 MiB) 14:04:32 Gate blocks summary: (actual gates / fixed capacity) (mem: 517.60 MiB) 14:04:32 goblin ecc op : 56/1024 (mem: 517.60 MiB) 14:04:32 busread : 2529/6000 (mem: 517.60 MiB) 14:04:32 lookups : 2/15000 (mem: 517.60 MiB) 14:04:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 517.60 MiB) 14:04:32 arithmetic : 21667/56000 (mem: 517.60 MiB) 14:04:32 delta range : 3024/18000 (mem: 517.60 MiB) 14:04:32 elliptic : 340/6000 (mem: 517.60 MiB) 14:04:32 auxiliary : 799/26000 (mem: 517.60 MiB) 14:04:32 poseidon ext : 2432/17000 (mem: 517.60 MiB) 14:04:32 poseidon int : 13853/92000 (mem: 517.60 MiB) 14:04:32 overflow : 0/0 (mem: 517.60 MiB) 14:04:32 (mem: 517.60 MiB) 14:04:32 Total structured size: 242025 (mem: 517.60 MiB) 14:04:32 allocating polynomials object in proving key... (mem: 517.60 MiB) 14:04:32 populating trace... (mem: 742.60 MiB) 14:04:32 time to construct proving key: 43 ms. (mem: 759.60 MiB) 14:04:32 getting honk vk... precomputed?: 0x64117406df00 (mem: 759.60 MiB) 14:04:32 computing folding proof (mem: 759.60 MiB) 14:04:32 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 759.60 MiB) 14:04:32 vkey hash in Oink prover: 0x00000000000000000000000000000000570cf21f9e2298fbc766a479899fa651 (mem: 759.60 MiB) 14:04:32 oink prover on each incomplete key (mem: 761.60 MiB) 14:04:32 perturbator round (mem: 789.60 MiB) 14:04:32 combiner quotient round (mem: 821.60 MiB) 14:04:32 folded (mem: 821.60 MiB) 14:04:32 constructed folding proof (mem: 821.60 MiB) 14:04:32 ClientIVC: accumulating ContractInstanceDeployer:deploy (mem: 821.60 MiB) 14:04:32 Constructing DeciderProvingKey (mem: 821.60 MiB) 14:04:32 Gate blocks summary: (actual gates / fixed capacity) (mem: 821.60 MiB) 14:04:32 goblin ecc op : 4/1024 (mem: 821.60 MiB) 14:04:32 busread : 742/6000 (mem: 821.60 MiB) 14:04:32 lookups : 2/15000 (mem: 821.60 MiB) 14:04:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.60 MiB) 14:04:32 arithmetic : 3655/56000 (mem: 821.60 MiB) 14:04:32 delta range : 1837/18000 (mem: 821.60 MiB) 14:04:32 elliptic : 340/6000 (mem: 821.60 MiB) 14:04:32 auxiliary : 187/26000 (mem: 821.60 MiB) 14:04:32 poseidon ext : 162/17000 (mem: 821.60 MiB) 14:04:32 poseidon int : 914/92000 (mem: 821.60 MiB) 14:04:32 overflow : 0/0 (mem: 821.60 MiB) 14:04:32 (mem: 821.60 MiB) 14:04:32 Total structured size: 242025 (mem: 821.60 MiB) 14:04:32 allocating polynomials object in proving key... (mem: 821.60 MiB) 14:04:32 populating trace... (mem: 821.60 MiB) 14:04:32 time to construct proving key: 16 ms. (mem: 821.60 MiB) 14:04:32 getting honk vk... precomputed?: 0x641175252c80 (mem: 821.60 MiB) 14:04:32 computing folding proof (mem: 821.60 MiB) 14:04:32 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 821.60 MiB) 14:04:33 vkey hash in Oink prover: 0x00000000000000000000000000000000fcbc464ad9b5f3fa638697bb53295c0d (mem: 821.60 MiB) 14:04:33 oink prover on each incomplete key (mem: 821.60 MiB) 14:04:33 perturbator round (mem: 821.60 MiB) 14:04:33 combiner quotient round (mem: 823.19 MiB) 14:04:33 folded (mem: 823.19 MiB) 14:04:33 constructed folding proof (mem: 823.19 MiB) 14:04:33 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000570cf21f9e2298fbc766a479899fa651 (mem: 823.19 MiB) 14:04:33 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000fcbc464ad9b5f3fa638697bb53295c0d (mem: 823.19 MiB) 14:04:33 ClientIVC: accumulating private_kernel_inner (mem: 823.19 MiB) 14:04:33 Constructing DeciderProvingKey (mem: 823.19 MiB) 14:04:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 823.19 MiB) 14:04:33 goblin ecc op : 792/1024 (mem: 823.19 MiB) 14:04:33 busread : 4184/6000 (mem: 823.19 MiB) 14:04:33 lookups : 2/15000 (mem: 823.19 MiB) 14:04:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 823.19 MiB) 14:04:33 arithmetic : 44807/56000 (mem: 823.19 MiB) 14:04:33 delta range : 4994/18000 (mem: 823.19 MiB) 14:04:33 elliptic : 340/6000 (mem: 823.19 MiB) 14:04:33 auxiliary : 1399/26000 (mem: 823.19 MiB) 14:04:33 poseidon ext : 6502/17000 (mem: 823.19 MiB) 14:04:33 poseidon int : 37052/92000 (mem: 823.19 MiB) 14:04:33 overflow : 0/0 (mem: 823.19 MiB) 14:04:33 (mem: 823.19 MiB) 14:04:33 Total structured size: 242025 (mem: 823.19 MiB) 14:04:33 allocating polynomials object in proving key... (mem: 823.19 MiB) 14:04:33 populating trace... (mem: 823.19 MiB) 14:04:33 time to construct proving key: 53 ms. (mem: 829.45 MiB) 14:04:33 getting honk vk... precomputed?: 0x64117446aec0 (mem: 829.45 MiB) 14:04:33 computing folding proof (mem: 829.45 MiB) 14:04:33 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 829.45 MiB) 14:04:34 vkey hash in Oink prover: 0x000000000000000000000000000000006afc03f5b36943612b762abbae5f5f1b (mem: 829.45 MiB) 14:04:34 oink prover on each incomplete key (mem: 841.45 MiB) 14:04:34 perturbator round (mem: 851.45 MiB) 14:04:34 combiner quotient round (mem: 883.45 MiB) 14:04:34 folded (mem: 883.45 MiB) 14:04:34 constructed folding proof (mem: 883.45 MiB) 14:04:34 ClientIVC: accumulating ContractClassRegisterer:assert_class_id_is_registered (mem: 883.45 MiB) 14:04:34 Constructing DeciderProvingKey (mem: 883.45 MiB) 14:04:34 Gate blocks summary: (actual gates / fixed capacity) (mem: 883.45 MiB) 14:04:34 goblin ecc op : 4/1024 (mem: 883.45 MiB) 14:04:34 busread : 742/6000 (mem: 883.45 MiB) 14:04:34 lookups : 2/15000 (mem: 883.45 MiB) 14:04:34 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 883.45 MiB) 14:04:34 arithmetic : 3286/56000 (mem: 883.45 MiB) 14:04:34 delta range : 1785/18000 (mem: 883.45 MiB) 14:04:34 elliptic : 2/6000 (mem: 883.45 MiB) 14:04:34 auxiliary : 26/26000 (mem: 883.45 MiB) 14:04:34 poseidon ext : 12/17000 (mem: 883.45 MiB) 14:04:34 poseidon int : 59/92000 (mem: 883.45 MiB) 14:04:34 overflow : 0/0 (mem: 883.45 MiB) 14:04:34 (mem: 883.45 MiB) 14:04:34 Total structured size: 242025 (mem: 883.45 MiB) 14:04:34 allocating polynomials object in proving key... (mem: 883.45 MiB) 14:04:34 populating trace... (mem: 883.45 MiB) 14:04:34 time to construct proving key: 16 ms. (mem: 883.45 MiB) 14:04:34 getting honk vk... precomputed?: 0x6411733c8380 (mem: 883.45 MiB) 14:04:34 computing folding proof (mem: 883.45 MiB) 14:04:34 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 883.45 MiB) 14:04:35 vkey hash in Oink prover: 0x00000000000000000000000000000000bcc510f7a5f3ae604f979ecac001b877 (mem: 883.45 MiB) 14:04:35 oink prover on each incomplete key (mem: 883.45 MiB) 14:04:35 perturbator round (mem: 883.45 MiB) 14:04:35 combiner quotient round (mem: 883.45 MiB) 14:04:35 folded (mem: 883.45 MiB) 14:04:35 constructed folding proof (mem: 883.45 MiB) 14:04:35 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006afc03f5b36943612b762abbae5f5f1b (mem: 883.45 MiB) 14:04:35 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bcc510f7a5f3ae604f979ecac001b877 (mem: 883.45 MiB) 14:04:35 ClientIVC: accumulating private_kernel_inner (mem: 883.45 MiB) 14:04:35 Constructing DeciderProvingKey (mem: 883.45 MiB) 14:04:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 883.45 MiB) 14:04:35 goblin ecc op : 792/1024 (mem: 883.45 MiB) 14:04:35 busread : 4184/6000 (mem: 883.45 MiB) 14:04:35 lookups : 2/15000 (mem: 883.45 MiB) 14:04:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 883.45 MiB) 14:04:35 arithmetic : 44807/56000 (mem: 883.45 MiB) 14:04:35 delta range : 4994/18000 (mem: 883.45 MiB) 14:04:35 elliptic : 340/6000 (mem: 883.45 MiB) 14:04:35 auxiliary : 1399/26000 (mem: 883.45 MiB) 14:04:35 poseidon ext : 6502/17000 (mem: 883.45 MiB) 14:04:35 poseidon int : 37052/92000 (mem: 883.45 MiB) 14:04:35 overflow : 0/0 (mem: 883.45 MiB) 14:04:35 (mem: 883.45 MiB) 14:04:35 Total structured size: 242025 (mem: 883.45 MiB) 14:04:35 allocating polynomials object in proving key... (mem: 883.45 MiB) 14:04:35 populating trace... (mem: 883.45 MiB) 14:04:35 time to construct proving key: 45 ms. (mem: 883.45 MiB) 14:04:35 getting honk vk... precomputed?: 0x641173b93040 (mem: 883.45 MiB) 14:04:35 computing folding proof (mem: 883.45 MiB) 14:04:35 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 883.45 MiB) 14:04:36 vkey hash in Oink prover: 0x000000000000000000000000000000006afc03f5b36943612b762abbae5f5f1b (mem: 883.45 MiB) 14:04:36 oink prover on each incomplete key (mem: 883.45 MiB) 14:04:36 perturbator round (mem: 883.45 MiB) 14:04:36 combiner quotient round (mem: 884.08 MiB) 14:04:36 folded (mem: 884.08 MiB) 14:04:36 constructed folding proof (mem: 884.08 MiB) 14:04:36 ClientIVC: accumulating EcdsaRAccount:constructor (mem: 884.08 MiB) 14:04:36 Constructing DeciderProvingKey (mem: 884.08 MiB) 14:04:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 884.08 MiB) 14:04:36 goblin ecc op : 4/1024 (mem: 884.08 MiB) 14:04:36 busread : 742/6000 (mem: 884.08 MiB) 14:04:36 lookups : 11498/15000 (mem: 884.08 MiB) 14:04:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 884.08 MiB) 14:04:36 arithmetic : 16338/56000 (mem: 884.08 MiB) 14:04:36 delta range : 2369/18000 (mem: 884.08 MiB) 14:04:36 elliptic : 1008/6000 (mem: 884.08 MiB) 14:04:36 auxiliary : 704/26000 (mem: 884.08 MiB) 14:04:36 poseidon ext : 352/17000 (mem: 884.08 MiB) 14:04:36 poseidon int : 1997/92000 (mem: 884.08 MiB) 14:04:36 overflow : 0/0 (mem: 884.08 MiB) 14:04:36 (mem: 884.08 MiB) 14:04:36 Total structured size: 242025 (mem: 884.08 MiB) 14:04:36 allocating polynomials object in proving key... (mem: 884.08 MiB) 14:04:37 populating trace... (mem: 884.08 MiB) 14:04:37 time to construct proving key: 34 ms. (mem: 884.08 MiB) 14:04:37 getting honk vk... precomputed?: 0x6411769b2540 (mem: 884.08 MiB) 14:04:37 computing folding proof (mem: 884.08 MiB) 14:04:37 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 884.08 MiB) 14:04:37 vkey hash in Oink prover: 0x00000000000000000000000000000000c95ad5ce815db01ffadd85f7474ace37 (mem: 884.08 MiB) 14:04:37 oink prover on each incomplete key (mem: 884.08 MiB) 14:04:37 perturbator round (mem: 884.08 MiB) 14:04:38 combiner quotient round (mem: 884.08 MiB) 14:04:38 folded (mem: 884.08 MiB) 14:04:38 constructed folding proof (mem: 884.08 MiB) 14:04:38 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006afc03f5b36943612b762abbae5f5f1b (mem: 884.08 MiB) 14:04:38 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c95ad5ce815db01ffadd85f7474ace37 (mem: 884.08 MiB) 14:04:38 ClientIVC: accumulating private_kernel_inner (mem: 884.08 MiB) 14:04:38 Constructing DeciderProvingKey (mem: 884.08 MiB) 14:04:38 Gate blocks summary: (actual gates / fixed capacity) (mem: 884.08 MiB) 14:04:38 goblin ecc op : 792/1024 (mem: 884.08 MiB) 14:04:38 busread : 4184/6000 (mem: 884.08 MiB) 14:04:38 lookups : 2/15000 (mem: 884.08 MiB) 14:04:38 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 884.08 MiB) 14:04:38 arithmetic : 44807/56000 (mem: 884.08 MiB) 14:04:38 delta range : 4994/18000 (mem: 884.08 MiB) 14:04:38 elliptic : 340/6000 (mem: 884.08 MiB) 14:04:38 auxiliary : 1399/26000 (mem: 884.08 MiB) 14:04:38 poseidon ext : 6502/17000 (mem: 884.08 MiB) 14:04:38 poseidon int : 37052/92000 (mem: 884.08 MiB) 14:04:38 overflow : 0/0 (mem: 884.08 MiB) 14:04:38 (mem: 884.08 MiB) 14:04:38 Total structured size: 242025 (mem: 884.08 MiB) 14:04:38 allocating polynomials object in proving key... (mem: 884.08 MiB) 14:04:38 populating trace... (mem: 884.08 MiB) 14:04:38 time to construct proving key: 48 ms. (mem: 884.08 MiB) 14:04:38 getting honk vk... precomputed?: 0x64117257ed40 (mem: 884.08 MiB) 14:04:38 computing folding proof (mem: 884.08 MiB) 14:04:38 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 884.08 MiB) 14:04:38 vkey hash in Oink prover: 0x000000000000000000000000000000006afc03f5b36943612b762abbae5f5f1b (mem: 884.08 MiB) 14:04:39 oink prover on each incomplete key (mem: 884.08 MiB) 14:04:39 perturbator round (mem: 884.08 MiB) 14:04:39 combiner quotient round (mem: 890.05 MiB) 14:04:39 folded (mem: 890.05 MiB) 14:04:39 constructed folding proof (mem: 890.05 MiB) 14:04:39 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 890.05 MiB) 14:04:39 Constructing DeciderProvingKey (mem: 890.05 MiB) 14:04:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 890.05 MiB) 14:04:39 goblin ecc op : 4/1024 (mem: 890.05 MiB) 14:04:39 busread : 742/6000 (mem: 890.05 MiB) 14:04:39 lookups : 2898/15000 (mem: 890.05 MiB) 14:04:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 890.05 MiB) 14:04:39 arithmetic : 39592/56000 (mem: 890.05 MiB) 14:04:39 delta range : 17450/18000 (mem: 890.05 MiB) 14:04:39 elliptic : 2/6000 (mem: 890.05 MiB) 14:04:39 auxiliary : 25394/26000 (mem: 890.05 MiB) 14:04:39 poseidon ext : 322/17000 (mem: 890.05 MiB) 14:04:39 poseidon int : 1826/92000 (mem: 890.05 MiB) 14:04:39 overflow : 0/0 (mem: 890.05 MiB) 14:04:39 (mem: 890.05 MiB) 14:04:39 Total structured size: 242025 (mem: 890.05 MiB) 14:04:39 allocating polynomials object in proving key... (mem: 890.05 MiB) 14:04:39 populating trace... (mem: 890.05 MiB) 14:04:39 time to construct proving key: 66 ms. (mem: 890.05 MiB) 14:04:39 getting honk vk... precomputed?: 0x641172580280 (mem: 890.05 MiB) 14:04:39 computing folding proof (mem: 890.05 MiB) 14:04:39 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 890.05 MiB) 14:04:40 vkey hash in Oink prover: 0x000000000000000000000000000000001d999ad881a62b337ac3eff1c6a9fab4 (mem: 890.05 MiB) 14:04:40 oink prover on each incomplete key (mem: 890.05 MiB) 14:04:40 perturbator round (mem: 890.05 MiB) 14:04:40 combiner quotient round (mem: 892.83 MiB) 14:04:40 folded (mem: 892.83 MiB) 14:04:40 constructed folding proof (mem: 892.83 MiB) 14:04:40 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006afc03f5b36943612b762abbae5f5f1b (mem: 892.83 MiB) 14:04:40 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001d999ad881a62b337ac3eff1c6a9fab4 (mem: 892.83 MiB) 14:04:40 ClientIVC: accumulating private_kernel_inner (mem: 892.83 MiB) 14:04:40 Constructing DeciderProvingKey (mem: 892.83 MiB) 14:04:40 Gate blocks summary: (actual gates / fixed capacity) (mem: 892.83 MiB) 14:04:40 goblin ecc op : 792/1024 (mem: 892.83 MiB) 14:04:40 busread : 4184/6000 (mem: 892.83 MiB) 14:04:40 lookups : 2/15000 (mem: 892.83 MiB) 14:04:40 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 892.83 MiB) 14:04:40 arithmetic : 44807/56000 (mem: 892.83 MiB) 14:04:40 delta range : 4994/18000 (mem: 892.83 MiB) 14:04:40 elliptic : 340/6000 (mem: 892.83 MiB) 14:04:40 auxiliary : 1399/26000 (mem: 892.83 MiB) 14:04:40 poseidon ext : 6502/17000 (mem: 892.83 MiB) 14:04:40 poseidon int : 37052/92000 (mem: 892.83 MiB) 14:04:40 overflow : 0/0 (mem: 892.83 MiB) 14:04:40 (mem: 892.83 MiB) 14:04:40 Total structured size: 242025 (mem: 892.83 MiB) 14:04:40 allocating polynomials object in proving key... (mem: 892.83 MiB) 14:04:40 populating trace... (mem: 892.83 MiB) 14:04:40 time to construct proving key: 44 ms. (mem: 892.83 MiB) 14:04:41 getting honk vk... precomputed?: 0x641173acfc00 (mem: 892.83 MiB) 14:04:41 computing folding proof (mem: 892.83 MiB) 14:04:41 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 892.83 MiB) 14:04:41 vkey hash in Oink prover: 0x000000000000000000000000000000006afc03f5b36943612b762abbae5f5f1b (mem: 892.83 MiB) 14:04:41 oink prover on each incomplete key (mem: 892.83 MiB) 14:04:41 perturbator round (mem: 892.83 MiB) 14:04:42 combiner quotient round (mem: 892.87 MiB) 14:04:42 folded (mem: 892.87 MiB) 14:04:42 constructed folding proof (mem: 892.87 MiB) 14:04:42 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 892.87 MiB) 14:04:42 Constructing DeciderProvingKey (mem: 892.87 MiB) 14:04:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 892.87 MiB) 14:04:42 goblin ecc op : 4/1024 (mem: 892.87 MiB) 14:04:42 busread : 742/6000 (mem: 892.87 MiB) 14:04:42 lookups : 2/15000 (mem: 892.87 MiB) 14:04:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 892.87 MiB) 14:04:42 arithmetic : 3273/56000 (mem: 892.87 MiB) 14:04:42 delta range : 1785/18000 (mem: 892.87 MiB) 14:04:42 elliptic : 2/6000 (mem: 892.87 MiB) 14:04:42 auxiliary : 26/26000 (mem: 892.87 MiB) 14:04:42 poseidon ext : 2/17000 (mem: 892.87 MiB) 14:04:42 poseidon int : 2/92000 (mem: 892.87 MiB) 14:04:42 overflow : 0/0 (mem: 892.87 MiB) 14:04:42 (mem: 892.87 MiB) 14:04:42 Total structured size: 242025 (mem: 892.87 MiB) 14:04:42 allocating polynomials object in proving key... (mem: 892.87 MiB) 14:04:42 populating trace... (mem: 892.87 MiB) 14:04:42 time to construct proving key: 15 ms. (mem: 892.87 MiB) 14:04:42 getting honk vk... precomputed?: 0x64117269fa40 (mem: 892.87 MiB) 14:04:42 computing folding proof (mem: 892.87 MiB) 14:04:42 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 892.87 MiB) 14:04:42 vkey hash in Oink prover: 0x000000000000000000000000000000008d3f86d06a8bb14f55c4f677a01943a0 (mem: 892.87 MiB) 14:04:42 oink prover on each incomplete key (mem: 892.87 MiB) 14:04:42 perturbator round (mem: 892.87 MiB) 14:04:42 combiner quotient round (mem: 892.87 MiB) 14:04:43 folded (mem: 892.87 MiB) 14:04:43 constructed folding proof (mem: 892.87 MiB) 14:04:43 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006afc03f5b36943612b762abbae5f5f1b (mem: 892.87 MiB) 14:04:43 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000008d3f86d06a8bb14f55c4f677a01943a0 (mem: 892.87 MiB) 14:04:43 ClientIVC: accumulating private_kernel_inner (mem: 892.87 MiB) 14:04:43 Constructing DeciderProvingKey (mem: 892.87 MiB) 14:04:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 892.87 MiB) 14:04:43 goblin ecc op : 792/1024 (mem: 892.87 MiB) 14:04:43 busread : 4184/6000 (mem: 892.87 MiB) 14:04:43 lookups : 2/15000 (mem: 892.87 MiB) 14:04:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 892.87 MiB) 14:04:43 arithmetic : 44807/56000 (mem: 892.87 MiB) 14:04:43 delta range : 4994/18000 (mem: 892.87 MiB) 14:04:43 elliptic : 340/6000 (mem: 892.87 MiB) 14:04:43 auxiliary : 1399/26000 (mem: 892.87 MiB) 14:04:43 poseidon ext : 6502/17000 (mem: 892.87 MiB) 14:04:43 poseidon int : 37052/92000 (mem: 892.87 MiB) 14:04:43 overflow : 0/0 (mem: 892.87 MiB) 14:04:43 (mem: 892.87 MiB) 14:04:43 Total structured size: 242025 (mem: 892.87 MiB) 14:04:43 allocating polynomials object in proving key... (mem: 892.87 MiB) 14:04:43 populating trace... (mem: 892.87 MiB) 14:04:43 time to construct proving key: 45 ms. (mem: 892.87 MiB) 14:04:43 getting honk vk... precomputed?: 0x641173c13ac0 (mem: 892.87 MiB) 14:04:43 computing folding proof (mem: 892.87 MiB) 14:04:43 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 892.87 MiB) 14:04:43 vkey hash in Oink prover: 0x000000000000000000000000000000006afc03f5b36943612b762abbae5f5f1b (mem: 892.87 MiB) 14:04:44 oink prover on each incomplete key (mem: 892.87 MiB) 14:04:44 perturbator round (mem: 892.87 MiB) 14:04:44 combiner quotient round (mem: 893.22 MiB) 14:04:44 folded (mem: 893.22 MiB) 14:04:44 constructed folding proof (mem: 893.22 MiB) 14:04:44 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006afc03f5b36943612b762abbae5f5f1b (mem: 893.22 MiB) 14:04:44 ClientIVC: accumulating private_kernel_reset (mem: 893.22 MiB) 14:04:44 Constructing DeciderProvingKey (mem: 893.22 MiB) 14:04:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 893.22 MiB) 14:04:44 goblin ecc op : 392/1024 (mem: 893.22 MiB) 14:04:44 busread : 2347/6000 (mem: 893.22 MiB) 14:04:44 lookups : 2/15000 (mem: 893.22 MiB) 14:04:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 893.22 MiB) 14:04:44 arithmetic : 36699/56000 (mem: 893.22 MiB) 14:04:44 delta range : 4284/18000 (mem: 893.22 MiB) 14:04:44 elliptic : 1274/6000 (mem: 893.22 MiB) 14:04:44 auxiliary : 12562/26000 (mem: 893.22 MiB) 14:04:44 poseidon ext : 6522/17000 (mem: 893.22 MiB) 14:04:44 poseidon int : 37166/92000 (mem: 893.22 MiB) 14:04:44 overflow : 0/0 (mem: 893.22 MiB) 14:04:44 (mem: 893.22 MiB) 14:04:44 Total structured size: 242025 (mem: 893.22 MiB) 14:04:44 allocating polynomials object in proving key... (mem: 893.22 MiB) 14:04:44 populating trace... (mem: 893.22 MiB) 14:04:44 time to construct proving key: 56 ms. (mem: 893.22 MiB) 14:04:44 getting honk vk... precomputed?: 0x641172d9b5c0 (mem: 893.22 MiB) 14:04:44 computing folding proof (mem: 893.22 MiB) 14:04:44 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 893.22 MiB) 14:04:45 vkey hash in Oink prover: 0x00000000000000000000000000000000c34266b65f845e23d4a7efe5fad98647 (mem: 893.22 MiB) 14:04:45 oink prover on each incomplete key (mem: 893.22 MiB) 14:04:45 perturbator round (mem: 893.22 MiB) 14:04:45 combiner quotient round (mem: 898.08 MiB) 14:04:45 folded (mem: 898.08 MiB) 14:04:45 constructed folding proof (mem: 898.08 MiB) 14:04:45 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c34266b65f845e23d4a7efe5fad98647 (mem: 898.08 MiB) 14:04:45 ClientIVC: accumulating private_kernel_tail (mem: 898.08 MiB) 14:04:45 Constructing DeciderProvingKey (mem: 898.08 MiB) 14:04:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 898.08 MiB) 14:04:45 goblin ecc op : 392/1024 (mem: 898.08 MiB) 14:04:45 busread : 206/6000 (mem: 898.08 MiB) 14:04:45 lookups : 2/15000 (mem: 898.08 MiB) 14:04:45 pub inputs : 836/5000 (populated in decider pk constructor) (mem: 898.08 MiB) 14:04:45 arithmetic : 11623/56000 (mem: 898.08 MiB) 14:04:45 delta range : 2959/18000 (mem: 898.08 MiB) 14:04:45 elliptic : 2/6000 (mem: 898.08 MiB) 14:04:45 auxiliary : 2290/26000 (mem: 898.08 MiB) 14:04:45 poseidon ext : 2962/17000 (mem: 898.08 MiB) 14:04:45 poseidon int : 16874/92000 (mem: 898.08 MiB) 14:04:45 overflow : 0/0 (mem: 898.08 MiB) 14:04:45 (mem: 898.08 MiB) 14:04:45 Total structured size: 242025 (mem: 898.08 MiB) 14:04:45 allocating polynomials object in proving key... (mem: 898.08 MiB) 14:04:45 populating trace... (mem: 898.08 MiB) 14:04:45 time to construct proving key: 28 ms. (mem: 898.08 MiB) 14:04:45 getting honk vk... precomputed?: 0x64117269f1c0 (mem: 898.08 MiB) 14:04:45 computing folding proof (mem: 898.08 MiB) 14:04:45 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 898.08 MiB) 14:04:46 vkey hash in Oink prover: 0x000000000000000000000000000000003a498ca1e9130c40f3876b109e711d20 (mem: 898.08 MiB) 14:04:46 oink prover on each incomplete key (mem: 898.08 MiB) 14:04:46 perturbator round (mem: 898.08 MiB) 14:04:46 combiner quotient round (mem: 898.08 MiB) 14:04:46 folded (mem: 898.08 MiB) 14:04:46 constructed folding proof (mem: 898.08 MiB) 14:04:46 Largest circuit: 100856 gates. Trace details: (mem: 898.08 MiB) 14:04:46 Minimum required block sizes for structured trace: (mem: 898.08 MiB) 14:04:46 ecc_op : 792 14:04:46 busread : 4184 14:04:46 lookup : 11498 14:04:46 pub_inputs : 836 14:04:46 arithmetic : 44807 14:04:46 delta_range : 17450 14:04:46 elliptic : 1274 14:04:46 aux : 25394 14:04:46 poseidon2_external : 6522 14:04:46 poseidon2_internal : 37166 14:04:46 overflow : 0 14:04:46 (mem: 898.08 MiB) 14:04:46 prove decider... (mem: 898.08 MiB) 14:04:47 starting sumcheck rounds... (mem: 898.08 MiB) 14:04:47 completed 18 rounds of sumcheck (mem: 898.08 MiB) 14:04:47 executed multivariate-to-univariate reduction (mem: 898.08 MiB) 14:04:47 computed opening proof (mem: 898.08 MiB) 14:04:47 finished decider proving. (mem: 898.08 MiB) 14:04:47 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003a498ca1e9130c40f3876b109e711d20 (mem: 898.08 MiB) 14:04:47 Constructing DeciderProvingKey (mem: 898.08 MiB) 14:04:47 allocating polynomials object in proving key... (mem: 898.08 MiB) 14:04:47 populating trace... (mem: 898.08 MiB) 14:04:47 time to construct proving key: 38 ms. (mem: 898.08 MiB) 14:04:48 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 898.08 MiB) 14:04:48 vkey hash in Oink prover: 0x00000000000000000000000000000000000089aea8c5aafcb5eb89f7b2086912 (mem: 898.08 MiB) 14:04:48 created oink proof (mem: 898.08 MiB) 14:04:48 starting sumcheck rounds... (mem: 898.08 MiB) 14:04:48 completed 17 rounds of sumcheck (mem: 898.08 MiB) 14:04:49 executed multivariate-to-univariate reduction (mem: 898.08 MiB) 14:04:49 computed opening proof (mem: 898.08 MiB) 14:04:49 finished decider proving. (mem: 898.08 MiB) 14:04:49 Constructing a Goblin proof with num ultra ops = 5410 (mem: 898.08 MiB) 14:04:49 prove eccvm... (mem: 898.08 MiB) 14:04:49 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 898.08 MiB) 14:04:49 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 898.08 MiB) 14:04:50 starting sumcheck rounds... (mem: 898.08 MiB) 14:04:51 completed 16 rounds of sumcheck (mem: 898.08 MiB) 14:04:52 finished eccvm proving. (mem: 898.08 MiB) 14:04:52 prove translator... (mem: 898.08 MiB) 14:04:53 starting sumcheck rounds... (mem: 898.08 MiB) 14:04:55 completed 18 rounds of sumcheck (mem: 898.08 MiB) 14:04:55 computed opening proof (mem: 898.08 MiB) 14:04:55 finished translator proving. (mem: 898.08 MiB) 14:04:55 vkey hash in Oink verifier: 0x00000000000000000000000000000000000089aea8c5aafcb5eb89f7b2086912 (mem: 898.08 MiB) 14:04:55 sumcheck_verified: 1 (mem: 898.08 MiB) 14:04:55 libra_evals_verified: 1 (mem: 898.08 MiB) 14:04:55 pairing_check_verified: 1 (mem: 898.08 MiB) 14:04:55 Mega verified: 1 (mem: 898.08 MiB) 14:04:55 eccvm sumcheck verified?: 1 (mem: 898.08 MiB) 14:04:55 batch opening verified?: 1 (mem: 898.08 MiB) 14:04:55 eccvm consistency check verified?: 1 (mem: 898.08 MiB) 14:04:55 translation masking consistency checked?: 1 (mem: 898.08 MiB) 14:04:55 merge verified?: 1 (mem: 898.08 MiB) 14:04:55 eccvm verified?: 1 (mem: 898.08 MiB) 14:04:55 accumulator construction_verified?: 1 (mem: 898.08 MiB) 14:04:55 translation verified?: 1 (mem: 898.08 MiB) 14:04:55 consistency verified?: 1 (mem: 898.08 MiB) 14:04:55 Goblin verified: 1 (mem: 898.08 MiB) 14:04:55 writing ClientIVC proof in directory "bench-out/app-proving/deploy_ecdsar1+sponsored_fpc/native" (mem: 898.08 MiB) 14:04:56 deploy_ecdsar1+sponsored_fpc (native) has proven in 25s and peak memory of 898MB. 14:04:56 deploy_ecdsar1+sponsored_fpc (native) has verified.