feat: agg proofs statistic to home page

Author: MarcosNicolau

explorer/lib/explorer/models/aggregated_proofs.ex

@@ -83,4 +83,8 @@ defmodule AggregatedProofs do
     last_page = div(total_proofs, page_size)
     if rem(total_proofs, page_size) > 0, do: last_page + 1, else: last_page
   end
+
+  def get_number_of_agg_proofs() do
+    Explorer.Repo.aggregate(AggregatedProofs, :count, :number)
+  end
 end

explorer/lib/explorer_web/live/pages/home/index.ex

@@ -6,6 +6,7 @@ defmodule ExplorerWeb.Home.Index do
 
   def get_stats() do
     verified_batches = Batches.get_amount_of_verified_batches()
+    aggregated_proofs = AggregatedProofs.get_number_of_agg_proofs()
     avg_fee_per_proof = Batches.get_avg_fee_per_proof()
 
     avg_fee_per_proof_usd =
@@ -59,6 +60,12 @@ defmodule ExplorerWeb.Home.Index do
           end,
         link: nil
       },
+      %{
+        title: "Aggregated proofs",
+        value: aggregated_proofs,
+        tooltip_text: nil,
+        link: "/aggregated_proofs"
+      },
       %{
         title: "AVG proof cost",
         value: "#{avg_fee_per_proof_usd} USD",