feat: aggregated proofs explorer views

explorer/lib/explorer/models/aggregated_proofs.ex

@@ -1,6 +1,7 @@
 defmodule AggregatedProofs do
   require Logger
   use Ecto.Schema
+  import Ecto.Query
   import Ecto.Changeset
 
   @primary_key {:id, :binary_id, autogenerate: true}
@@ -59,4 +60,30 @@ defmodule AggregatedProofs do
         |> Explorer.Repo.update()
     end
   end
+
+  def get_aggregated_proof_by_id(id) do
+    Explorer.Repo.get_by(AggregatedProofs, id: id)
+  end
+
+  def get_paginated_proofs(%{page: page, page_size: size}) do
+    query =
+      from(proof in AggregatedProofs,
+        order_by: [desc: proof.block_number],
+        limit: ^size,
+        offset: ^((page - 1) * size),
+        select: proof
+      )
+
+    Explorer.Repo.all(query)
+  end
+
+  def get_last_page(page_size) do
+    total_proofs = Explorer.Repo.aggregate(AggregatedProofs, :count, :id)
+    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, :id)
+  end
 end

explorer/lib/explorer/models/aggregation_mode_proof.ex

@@ -2,6 +2,7 @@ defmodule AggregationModeProof do
   require Logger
   use Ecto.Schema
   import Ecto.Changeset
+  import Ecto.Query
 
   # Different from proofs.ex (we could use the same but the hashes are constructed different)
   @primary_key {:id, :id, autogenerate: true}
@@ -47,4 +48,14 @@ defmodule AggregationModeProof do
         |> Explorer.Repo.update()
     end
   end
+
+  def get_all_proof_hashes(id) do
+    query =
+      from(proof in AggregationModeProof,
+        where: proof.agg_proof_id == ^id,
+        select: proof.proof_hash
+      )
+
+    Explorer.Repo.all(query)
+  end
 end

explorer/lib/explorer_web/components/agg_proofs_table.ex

@@ -0,0 +1,50 @@
+defmodule ExplorerWeb.AggProofsTable do
+  use Phoenix.Component
+  use ExplorerWeb, :live_component
+
+  attr(:agg_proofs, :list, required: true)
+
+  def agg_proofs_table(assigns) do
+    ~H"""
+    <.table id="agg_proofs" rows={@proofs}>
+      <:col :let={proof} label="Merkle root" class="text-left">
+        <.link navigate={~p"/aggregated_proofs/#{proof.id}"}>
+          <span class="inline-flex gap-x-3 items-center group-hover:text-foreground/80">
+            <%= Helpers.shorten_hash(proof.merkle_root, 6) %>
+            <.right_arrow />
+            <.tooltip>
+              <%= proof.merkle_root %>
+            </.tooltip>
+          </span>
+        </.link>
+      </:col>
+      <:col :let={proof} label="Age">
+        <span class="md:px-0" title={proof.age}>
+          <%= proof.age %>
+        </span>
+      </:col>
+      <:col :let={proof} label="Block Number">
+        <%= proof.block_number |> Helpers.format_number() %>
+      </:col>
+
+      <:col :let={proof} label="Blob versioned hash" class="text-left">
+        <.a href={
+          "#{Helpers.get_blobscan_url()}/blob/#{proof.blob_versioned_hash}"}
+          class="inline-flex gap-x-3 items-center group-hover:text-foreground/80 no-underline font-normal"
+          >
+          <span class="inline-flex gap-x-3 items-center group-hover:text-foreground/80">
+            <%= Helpers.shorten_hash(proof.blob_versioned_hash, 6) %>
+            <.tooltip>
+              <%= proof.blob_versioned_hash %>
+            </.tooltip>
+          </span>
+        </.a>
+      </:col>
+
+      <:col :let={proof} label="Number of proofs">
+        <%= proof.number_of_proofs |> Helpers.format_number() %>
+      </:col>
+    </.table>
+    """
+  end
+end

explorer/lib/explorer_web/components/contracts.ex

@@ -11,6 +11,10 @@ defmodule ContractsComponent do
     {:ok,
      assign(socket,
        contracts: [
+         %{
+           contract_name: "AlignedProofAggregationService",
+           address: addresses["alignedProofAggregationService"]
+         },
          %{
            contract_name: "AlignedServiceManager",
            address: addresses["alignedLayerServiceManager"]

explorer/lib/explorer_web/components/core_components.ex

@@ -497,6 +497,39 @@ defmodule ExplorerWeb.CoreComponents do
     """
   end
 
+  @doc """
+    Renders a dynamic badge component for the batcher.
+  """
+  attr(:class, :string, default: nil)
+  attr(:status, :integer)
+  slot(:inner_block, default: nil)
+
+  def dynamic_badge_for_agg_proof(assigns) do
+    ~H"""
+    <.badge
+      variant={
+        case @status do
+          0 -> "accent"
+          1 -> "destructive"
+          2 -> "foreground"
+        end
+      }
+      class={
+        classes([
+          @class
+        ])
+      }
+    >
+      <%= case @status do
+        0 -> "Verified"
+        1 -> "Failed"
+        2 -> "Missed"
+      end %>
+      <%= render_slot(@inner_block) %>
+    </.badge>
+    """
+  end
+
   @doc """
     Renders a selector dropdown on hover component with buttons that trigger actions on click.
 

explorer/lib/explorer_web/components/footer.ex

@@ -9,6 +9,7 @@ defmodule FooterComponent do
          {"General",
           [
             {"Batches", "/batches"},
+            {"Aggregation", "/aggregated_proofs"},
             {"Operators", "/operators"},
             {"Restake", "/restaked"}
           ]},