feat: aggregator column on agg proof detail

Author: MarcosNicolau

explorer/lib/explorer_web/components/agg_proofs_table.ex

@@ -61,15 +61,15 @@ defmodule ExplorerWeb.AggProofsTable do
 
   defp sp1_badge(assigns) do
     ~H"""
-    <div class="rounded-full p-2 px-5 border w-fit" style="border-color: #FE11C5">
+    <div class="rounded-full p-1 px-5 border w-fit" style="border-color: #FE11C5">
         <p style="color: #FE11C5">SP1</p>
     </div>
     """
   end
 
   defp risc0_badge(assigns) do
     ~H"""
-    <div class="rounded-full p-2 px-5 w-fit" style="background-color: #FEFF9D">
+    <div class="rounded-full p-1 px-5 w-fit" style="background-color: #FEFF9D">
         <p class="text-black">RISC0</p>
     </div>
     """

explorer/lib/explorer_web/live/pages/agg_proof/index.html.heex

@@ -22,6 +22,18 @@
         </p>
       </div>
 
+      <div>
+        <h3>
+          Aggregator:
+        </h3>
+        <%= case @agg_proof.aggregator do %>
+          <% :sp1 ->  %>
+            <p>SP1</p>
+          <% :risc0 ->  %>
+            <p>RISC0</p>
+        <% end %>
+      </div>
+
       <div>
         <h3>
           Number of Proofs included:
@@ -110,7 +122,7 @@
     <div class="flex flex-col space-y-6 justify-center grow relative text-center md:pt-14">
       <h1 class="text-5xl font-semibold">Oops!</h1>
       <h2 class="text-xl font-medium">
-        The batch you are looking for <br /> doesn't exist.
+        The aggregated proof you are looking for <br /> doesn't exist.
       </h2>
       <img
         class="z-0 w-64 rounded-xl mx-auto"